runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201109011757/aspuncud-user-1.0/29180036-5408-11df-9f57-00163e7a6f5e.cudf.dudf-real.log.runsolver ./aspuncud-user-1.0 /home/misc2010/data/2011/dudf-real//29180036-5408-11df-9f57-00163e7a6f5e.cudf /home/misc2010/tmp/201109011757/aspuncud-user-1.0/29180036-5408-11df-9f57-00163e7a6f5e.cudf.dudf-real.result -sum(pin-priority-1),-sum(pin-priority-500),-sum(pin-priority-700),-notuptodate,-removed,-changed Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.13 1.04 0.97 5/41 25641 /proc/meminfo: memFree=496924/1048576 swapFree=0/0 [pid=25638] ppid=25637 vsize=2584 CPUtime=0 /proc/25638/stat : 25638 (aspuncud-user-1) S 25637 25638 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72023743 2646016 279 1283457024 134512640 135304128 4287535728 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0 /proc/25638/statm: 646 279 234 194 0 33 0 [pid=25639] ppid=25638 vsize=2584 CPUtime=0 /proc/25639/stat : 25639 (aspuncud-user-1) S 25638 25638 22717 34817 22717 4202560 118 0 0 0 0 0 0 0 18 0 1 0 72023744 2646016 133 1283457024 134512640 135304128 4287535728 18446744073709551615 4294960130 0 0 0 65538 18446744071564457842 0 0 17 0 0 0 0 /proc/25639/statm: 646 133 87 194 0 33 0 [pid=25640] ppid=25639 vsize=2584 CPUtime=0 /proc/25640/stat : 25640 (aspuncud-user-1) R 25639 25638 22717 34817 22717 4202560 126 0 0 0 0 0 0 0 25 0 1 0 72023744 2646016 150 1283457024 134512640 135304128 4287535728 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/25640/statm: 646 150 104 194 0 33 0 [pid=25641] ppid=25640 vsize=2584 CPUtime=0 /proc/25641/stat : 25641 (aspuncud-user-1) R 25640 25638 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 1 0 72023744 2646016 46 1283457024 134512640 135304128 4287535728 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/25641/statm: 646 46 0 194 0 33 0 [startup+0.105356 s] /proc/loadavg: 1.13 1.04 0.97 5/41 25641 /proc/meminfo: memFree=496924/1048576 swapFree=0/0 [pid=25638] ppid=25637 vsize=2588 CPUtime=0.01 /proc/25638/stat : 25638 (aspuncud-user-1) R 25637 25638 22717 34817 22717 4202496 550 1520 0 0 0 0 0 1 25 0 1 0 72023743 2650112 296 1283457024 134512640 135304128 4287535728 18446744073709551615 4294960130 0 65538 4 1132560123 0 0 0 17 0 0 0 0 /proc/25638/statm: 647 296 250 194 0 34 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2588 [startup+0.205378 s] /proc/loadavg: 1.13 1.04 0.97 5/41 25641 /proc/meminfo: memFree=496924/1048576 swapFree=0/0 [pid=25638] ppid=25637 vsize=2588 CPUtime=0.01 /proc/25638/stat : 25638 (aspuncud-user-1) S 25637 25638 22717 34817 22717 4202496 576 1520 0 0 0 0 0 1 25 0 1 0 72023743 2650112 297 1283457024 134512640 135304128 4287535728 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/25638/statm: 647 297 251 194 0 34 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2588 [startup+0.305404 s] /proc/loadavg: 1.13 1.04 0.97 5/41 25641 /proc/meminfo: memFree=496924/1048576 swapFree=0/0 [pid=25638] ppid=25637 vsize=2588 CPUtime=0.01 /proc/25638/stat : 25638 (aspuncud-user-1) S 25637 25638 22717 34817 22717 4202496 576 1520 0 0 0 0 0 1 25 0 1 0 72023743 2650112 297 1283457024 134512640 135304128 4287535728 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/25638/statm: 647 297 251 194 0 34 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2588 [startup+0.705473 s] /proc/loadavg: 1.13 1.04 0.97 5/41 25641 /proc/meminfo: memFree=496924/1048576 swapFree=0/0 [pid=25638] ppid=25637 vsize=2588 CPUtime=0.01 /proc/25638/stat : 25638 (aspuncud-user-1) S 25637 25638 22717 34817 22717 4202496 576 1520 0 0 0 0 0 1 25 0 1 0 72023743 2650112 297 1283457024 134512640 135304128 4287535728 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/25638/statm: 647 297 251 194 0 34 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2588 Solver just ended. Dumping a history of the last processes samples [startup+0.805498 s] /proc/loadavg: 1.13 1.04 0.97 5/41 25641 /proc/meminfo: memFree=496924/1048576 swapFree=0/0 [pid=25638] ppid=25637 vsize=2588 CPUtime=0.01 /proc/25638/stat : 25638 (aspuncud-user-1) S 25637 25638 22717 34817 22717 4202496 576 1520 0 0 0 0 0 1 25 0 1 0 72023743 2650112 297 1283457024 134512640 135304128 4287535728 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/25638/statm: 647 297 251 194 0 34 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2588 [startup+1.20556 s] /proc/loadavg: 1.13 1.04 0.97 2/42 25649 /proc/meminfo: memFree=477568/1048576 swapFree=0/0 [pid=25638] ppid=25637 vsize=2588 CPUtime=1.01 /proc/25638/stat : 25638 (aspuncud-user-1) S 25637 25638 22717 34817 22717 4202496 576 8597 0 0 0 0 95 6 18 0 1 0 72023743 2650112 297 1283457024 134512640 135304128 4287535728 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/25638/statm: 647 297 251 194 0 34 0 [pid=25647] ppid=25638 vsize=8460 CPUtime=0.01 /proc/25647/stat : 25647 (unclasp) R 25638 25638 22717 34817 22717 4202496 1708 0 0 0 1 0 0 0 18 0 1 0 72023745 8663040 1532 1283457024 134512640 135121179 4290784880 18446744073709551615 134765374 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/25647/statm: 2115 1532 277 149 0 1306 0 [pid=25648] ppid=25638 vsize=9516 CPUtime=0.17 /proc/25648/stat : 25648 (gringo) R 25638 25638 22717 34817 22717 4202496 2227 0 0 0 16 1 0 0 18 0 1 0 72023745 9744384 1824 1283457024 134512640 137056543 4287830832 18446744073709551615 4294960130 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/25648/statm: 2379 1824 268 622 0 1754 0 Current children cumulated CPU time (s) 1.19 Current children cumulated vsize (KiB) 20564 [startup+1.30558 s] /proc/loadavg: 1.13 1.04 0.97 2/42 25649 /proc/meminfo: memFree=477568/1048576 swapFree=0/0 [pid=25638] ppid=25637 vsize=2588 CPUtime=1.01 /proc/25638/stat : 25638 (aspuncud-user-1) R 25637 25638 22717 34817 22717 4202496 576 8597 0 0 0 0 95 6 18 0 1 0 72023743 2650112 297 1283457024 134512640 135304128 4287535728 18446744073709551615 4294960130 0 65536 4 1132560123 0 0 0 17 0 0 0 0 /proc/25638/statm: 647 297 251 194 0 34 0 [pid=25647] ppid=25638 vsize=11416 CPUtime=0.07 /proc/25647/stat : 25647 (unclasp) R 25638 25638 22717 34817 22717 4202496 2576 0 0 0 7 0 0 0 18 0 1 0 72023745 11689984 2348 1283457024 134512640 135121179 4290784880 18446744073709551615 134878406 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/25647/statm: 2854 2348 318 149 0 2045 0 [pid=25648] ppid=25638 vsize=0 CPUtime=0.21 /proc/25648/stat : 25648 (gringo) Z 25638 25638 22717 34817 22717 4202508 2820 0 0 0 19 2 0 0 18 0 1 0 72023745 0 0 1283457024 0 0 0 0 0 0 0 6 16384 18446744071564254338 0 0 17 0 0 0 0 /proc/25648/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.29 Current children cumulated vsize (KiB) 14004 Child status: 0 Real time (s): 1.36396 CPU time (s): 1.36008 CPU user time (s): 1.27608 CPU system time (s): 0.084005 CPU usage (%): 99.7155 Max. virtual memory (cumulated for all children) (KiB): 29068 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.27608 system time used= 0.084005 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17214 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 455 involuntary context switches= 341 runsolver used 0 second user time and 0 second system time The end