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/aspcud-1.5/8222799a-9af8-11df-8b50-00163e46d37a.cudf.dudf-real.log.runsolver ./aspcud-1.5 /home/misc2010/data/2011/dudf-real//8222799a-9af8-11df-8b50-00163e46d37a.cudf /home/misc2010/tmp/201109011757/aspcud-1.5/8222799a-9af8-11df-8b50-00163e46d37a.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.05 0.99 0.99 5/35 32746 /proc/meminfo: memFree=449512/1048576 swapFree=0/0 [pid=32744] ppid=32743 vsize=2584 CPUtime=0 /proc/32744/stat : 32744 (aspcud-1.5) S 32743 32744 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 20 0 1 0 73169305 2646016 279 1283457024 134512640 135304128 4294521136 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0 /proc/32744/statm: 646 279 234 194 0 33 0 [pid=32745] ppid=32744 vsize=2584 CPUtime=0 /proc/32745/stat : 32745 (aspcud-1.5) R 32744 32744 22717 34817 22717 4202560 110 0 0 0 0 0 0 0 25 0 1 0 73169305 2646016 132 1283457024 134512640 135304128 4294521136 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/32745/statm: 646 132 86 194 0 33 0 [pid=32746] ppid=32745 vsize=2584 CPUtime=0 /proc/32746/stat : 32746 (aspcud-1.5) R 32745 32744 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 1 0 73169305 2646016 46 1283457024 134512640 135304128 4294521136 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/32746/statm: 646 46 0 194 0 33 0 [startup+0.191568 s] /proc/loadavg: 1.05 0.99 0.99 5/35 32746 /proc/meminfo: memFree=449512/1048576 swapFree=0/0 [pid=32744] ppid=32743 vsize=2592 CPUtime=0 /proc/32744/stat : 32744 (aspcud-1.5) S 32743 32744 22717 34817 22717 4202496 583 1521 0 0 0 0 0 0 25 0 1 0 73169305 2654208 298 1283457024 134512640 135304128 4294521136 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/32744/statm: 648 298 251 194 0 35 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2592 [startup+0.21596 s] /proc/loadavg: 1.05 0.99 0.99 5/35 32746 /proc/meminfo: memFree=449512/1048576 swapFree=0/0 [pid=32744] ppid=32743 vsize=2592 CPUtime=0 /proc/32744/stat : 32744 (aspcud-1.5) S 32743 32744 22717 34817 22717 4202496 583 1521 0 0 0 0 0 0 25 0 1 0 73169305 2654208 298 1283457024 134512640 135304128 4294521136 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/32744/statm: 648 298 251 194 0 35 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2592 [startup+0.315667 s] /proc/loadavg: 1.05 0.99 0.99 5/35 32746 /proc/meminfo: memFree=449512/1048576 swapFree=0/0 [pid=32744] ppid=32743 vsize=2592 CPUtime=0 /proc/32744/stat : 32744 (aspcud-1.5) S 32743 32744 22717 34817 22717 4202496 583 1521 0 0 0 0 0 0 25 0 1 0 73169305 2654208 298 1283457024 134512640 135304128 4294521136 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/32744/statm: 648 298 251 194 0 35 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2592 [startup+0.707628 s] /proc/loadavg: 1.05 0.99 0.99 5/35 32746 /proc/meminfo: memFree=449512/1048576 swapFree=0/0 [pid=32744] ppid=32743 vsize=2592 CPUtime=0 /proc/32744/stat : 32744 (aspcud-1.5) S 32743 32744 22717 34817 22717 4202496 583 1521 0 0 0 0 0 0 25 0 1 0 73169305 2654208 298 1283457024 134512640 135304128 4294521136 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/32744/statm: 648 298 251 194 0 35 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2592 [startup+1.50905 s] /proc/loadavg: 1.05 0.99 0.99 2/37 32755 /proc/meminfo: memFree=411472/1048576 swapFree=0/0 [pid=32744] ppid=32743 vsize=2592 CPUtime=0 /proc/32744/stat : 32744 (aspcud-1.5) S 32743 32744 22717 34817 22717 4202496 583 1521 0 0 0 0 0 0 25 0 1 0 73169305 2654208 298 1283457024 134512640 135304128 4294521136 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/32744/statm: 648 298 251 194 0 35 0 [pid=32753] ppid=32744 vsize=1932 CPUtime=0 /proc/32753/stat : 32753 (clasp) S 32744 32744 22717 34817 22717 4202496 292 0 0 0 0 0 0 0 25 0 1 0 73169306 1978368 160 1283457024 134512640 136285277 4288549856 18446744073709551615 4294960130 0 0 6 18944 18446744071564457842 0 0 17 0 0 0 0 /proc/32753/statm: 483 160 144 433 0 48 0 [pid=32754] ppid=32744 vsize=2584 CPUtime=0 /proc/32754/stat : 32754 (gringo) S 32744 32744 22717 34817 22717 4202496 404 0 0 0 0 0 0 0 25 0 1 0 73169306 2646016 272 1283457024 134512640 136933539 4294492672 18446744073709551615 135633806 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0 /proc/32754/statm: 646 272 242 592 0 51 0 [pid=32755] ppid=32744 vsize=38448 CPUtime=1.31 /proc/32755/stat : 32755 (cudf2lp) R 32744 32744 22717 34817 22717 4202496 10770 0 0 0 129 2 0 0 25 0 1 0 73169306 39370752 9018 1283457024 134512640 135786343 4290457056 18446744073709551615 135199344 0 0 6 0 0 0 0 17 0 0 0 0 /proc/32755/statm: 9612 9018 135 311 0 9299 0 Current children cumulated CPU time (s) 1.31 Current children cumulated vsize (KiB) 45556 Solver just ended. Dumping a history of the last processes samples [startup+1.60908 s] /proc/loadavg: 1.05 0.99 0.99 2/37 32755 /proc/meminfo: memFree=411472/1048576 swapFree=0/0 [pid=32744] ppid=32743 vsize=2592 CPUtime=0 /proc/32744/stat : 32744 (aspcud-1.5) S 32743 32744 22717 34817 22717 4202496 583 1521 0 0 0 0 0 0 25 0 1 0 73169305 2654208 298 1283457024 134512640 135304128 4294521136 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/32744/statm: 648 298 251 194 0 35 0 [pid=32753] ppid=32744 vsize=1932 CPUtime=0 /proc/32753/stat : 32753 (clasp) S 32744 32744 22717 34817 22717 4202496 292 0 0 0 0 0 0 0 25 0 1 0 73169306 1978368 160 1283457024 134512640 136285277 4288549856 18446744073709551615 4294960130 0 0 6 18944 18446744071564457842 0 0 17 0 0 0 0 /proc/32753/statm: 483 160 144 433 0 48 0 [pid=32754] ppid=32744 vsize=2584 CPUtime=0 /proc/32754/stat : 32754 (gringo) S 32744 32744 22717 34817 22717 4202496 404 0 0 0 0 0 0 0 25 0 1 0 73169306 2646016 272 1283457024 134512640 136933539 4294492672 18446744073709551615 135633806 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0 /proc/32754/statm: 646 272 242 592 0 51 0 [pid=32755] ppid=32744 vsize=35584 CPUtime=1.42 /proc/32755/stat : 32755 (cudf2lp) R 32744 32744 22717 34817 22717 4202496 11450 0 0 0 138 4 0 0 25 0 1 0 73169306 36438016 8683 1283457024 134512640 135786343 4290457056 18446744073709551615 135208245 0 0 6 0 0 0 0 17 0 0 0 0 /proc/32755/statm: 8896 8683 136 311 0 8583 0 Current children cumulated CPU time (s) 1.42 Current children cumulated vsize (KiB) 42692 [startup+2.00916 s] /proc/loadavg: 1.05 0.99 0.99 2/37 32755 /proc/meminfo: memFree=411472/1048576 swapFree=0/0 [pid=32744] ppid=32743 vsize=2592 CPUtime=1.56 /proc/32744/stat : 32744 (aspcud-1.5) S 32743 32744 22717 34817 22717 4202496 583 12978 0 0 0 0 150 6 18 0 1 0 73169305 2654208 298 1283457024 134512640 135304128 4294521136 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/32744/statm: 648 298 251 194 0 35 0 [pid=32753] ppid=32744 vsize=7060 CPUtime=0.02 /proc/32753/stat : 32753 (clasp) R 32744 32744 22717 34817 22717 4202496 1693 0 0 0 2 0 0 0 18 0 1 0 73169306 7229440 1479 1283457024 134512640 136285277 4288549856 18446744073709551615 4294960130 0 0 6 18944 0 0 0 17 0 0 0 0 /proc/32753/statm: 1765 1479 177 433 0 1330 0 [pid=32754] ppid=32744 vsize=11316 CPUtime=0.22 /proc/32754/stat : 32754 (gringo) R 32744 32744 22717 34817 22717 4202496 2816 0 0 0 20 2 0 0 18 0 1 0 73169306 11587584 2054 1283457024 134512640 136933539 4294492672 18446744073709551615 134804310 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/32754/statm: 2829 2054 253 592 0 2234 0 Current children cumulated CPU time (s) 1.8 Current children cumulated vsize (KiB) 20968 [startup+2.20922 s] /proc/loadavg: 1.05 0.99 0.99 3/36 32755 /proc/meminfo: memFree=406800/1048576 swapFree=0/0 [pid=32744] ppid=32743 vsize=2592 CPUtime=1.56 /proc/32744/stat : 32744 (aspcud-1.5) S 32743 32744 22717 34817 22717 4202496 583 12978 0 0 0 0 150 6 18 0 1 0 73169305 2654208 298 1283457024 134512640 135304128 4294521136 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/32744/statm: 648 298 251 194 0 35 0 [pid=32753] ppid=32744 vsize=11812 CPUtime=0.05 /proc/32753/stat : 32753 (clasp) R 32744 32744 22717 34817 22717 4202496 2987 0 0 0 4 1 0 0 18 0 1 0 73169306 12095488 2651 1283457024 134512640 136285277 4288549856 18446744073709551615 4294960130 0 0 6 18944 0 0 0 17 0 0 0 0 /proc/32753/statm: 2953 2651 177 433 0 2518 0 [pid=32754] ppid=32744 vsize=18384 CPUtime=0.38 /proc/32754/stat : 32754 (gringo) R 32744 32744 22717 34817 22717 4202496 4434 0 0 0 36 2 0 0 18 0 1 0 73169306 18825216 3672 1283457024 134512640 136933539 4294492672 18446744073709551615 134588789 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/32754/statm: 4596 3672 253 592 0 4001 0 Current children cumulated CPU time (s) 1.99 Current children cumulated vsize (KiB) 32788 [startup+2.30927 s] /proc/loadavg: 1.05 0.99 0.99 3/36 32755 /proc/meminfo: memFree=406800/1048576 swapFree=0/0 [pid=32744] ppid=32743 vsize=2592 CPUtime=1.98 /proc/32744/stat : 32744 (aspcud-1.5) S 32743 32744 22717 34817 22717 4202496 583 17682 0 0 0 0 190 8 16 0 1 0 73169305 2654208 298 1283457024 134512640 135304128 4294521136 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/32744/statm: 648 298 251 194 0 35 0 [pid=32753] ppid=32744 vsize=15212 CPUtime=0.12 /proc/32753/stat : 32753 (clasp) R 32744 32744 22717 34817 22717 4202496 3885 0 0 0 11 1 0 0 18 0 1 0 73169306 15577088 3458 1283457024 134512640 136285277 4288549856 18446744073709551615 134614760 0 0 6 18944 0 0 0 17 0 0 0 0 /proc/32753/statm: 3803 3458 198 433 0 3368 0 Current children cumulated CPU time (s) 2.1 Current children cumulated vsize (KiB) 17804 Child status: 0 Real time (s): 2.39501 CPU time (s): 2.20414 CPU user time (s): 2.09213 CPU system time (s): 0.112007 CPU usage (%): 92.0303 Max. virtual memory (cumulated for all children) (KiB): 50048 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2.09213 system time used= 0.112007 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25935 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= 573 involuntary context switches= 480 runsolver used 0.012 second user time and 0 second system time The end