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/201108251442/aspcud-paranoid-1.5/ca8f656c-db9e-11df-b9cf-00163e3d3b7c.cudf.dudf-real.log.runsolver ./aspcud-paranoid-1.5 /home/misc2010/data/2011/dudf-real//ca8f656c-db9e-11df-b9cf-00163e3d3b7c.cudf /home/misc2010/tmp/201108251442/aspcud-paranoid-1.5/ca8f656c-db9e-11df-b9cf-00163e3d3b7c.cudf.dudf-real.result 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.52 1.47 1.34 5/37 27659 /proc/meminfo: memFree=273352/1048576 swapFree=0/0 [pid=27656] ppid=27655 vsize=2588 CPUtime=0 /proc/27656/stat : 27656 (aspcud-paranoid) S 27655 27656 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11230721 2650112 279 1283457024 134512640 135304128 4291784416 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0 /proc/27656/statm: 647 279 234 194 0 34 0 [pid=27657] ppid=27656 vsize=2588 CPUtime=0 /proc/27657/stat : 27657 (aspcud-paranoid) S 27656 27656 4778 34817 4778 4202560 118 0 0 0 0 0 0 0 18 0 1 0 11230721 2650112 133 1283457024 134512640 135304128 4291784416 18446744073709551615 4294960130 0 0 0 65538 18446744071564457842 0 0 17 0 0 0 0 /proc/27657/statm: 647 133 87 194 0 34 0 [pid=27658] ppid=27657 vsize=2588 CPUtime=0 /proc/27658/stat : 27658 (aspcud-paranoid) R 27657 27656 4778 34817 4778 4202560 127 0 0 0 0 0 0 0 25 0 1 0 11230721 2650112 150 1283457024 134512640 135304128 4291784416 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/27658/statm: 647 150 104 194 0 34 0 [pid=27659] ppid=27658 vsize=2588 CPUtime=0 /proc/27659/stat : 27659 (aspcud-paranoid) R 27658 27656 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 1 0 11230721 2650112 46 1283457024 134512640 135304128 4291784416 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/27659/statm: 647 46 0 194 0 34 0 [startup+0.196686 s] /proc/loadavg: 1.52 1.47 1.34 5/37 27659 /proc/meminfo: memFree=273352/1048576 swapFree=0/0 [pid=27656] ppid=27655 vsize=2596 CPUtime=0.01 /proc/27656/stat : 27656 (aspcud-paranoid) S 27655 27656 4778 34817 4778 4202496 648 2936 0 0 0 0 1 0 25 0 1 0 11230721 2658304 298 1283457024 134512640 135304128 4291784416 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/27656/statm: 649 298 251 194 0 36 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2596 [startup+0.208619 s] /proc/loadavg: 1.52 1.47 1.34 5/37 27659 /proc/meminfo: memFree=273352/1048576 swapFree=0/0 [pid=27656] ppid=27655 vsize=2596 CPUtime=0.01 /proc/27656/stat : 27656 (aspcud-paranoid) S 27655 27656 4778 34817 4778 4202496 648 2936 0 0 0 0 1 0 25 0 1 0 11230721 2658304 298 1283457024 134512640 135304128 4291784416 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/27656/statm: 649 298 251 194 0 36 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2596 [startup+0.300683 s] /proc/loadavg: 1.52 1.47 1.34 5/37 27659 /proc/meminfo: memFree=273352/1048576 swapFree=0/0 [pid=27656] ppid=27655 vsize=2596 CPUtime=0.01 /proc/27656/stat : 27656 (aspcud-paranoid) S 27655 27656 4778 34817 4778 4202496 648 2936 0 0 0 0 1 0 25 0 1 0 11230721 2658304 298 1283457024 134512640 135304128 4291784416 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/27656/statm: 649 298 251 194 0 36 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2596 [startup+0.704726 s] /proc/loadavg: 1.52 1.47 1.34 5/37 27659 /proc/meminfo: memFree=273352/1048576 swapFree=0/0 [pid=27656] ppid=27655 vsize=2596 CPUtime=0.01 /proc/27656/stat : 27656 (aspcud-paranoid) S 27655 27656 4778 34817 4778 4202496 648 2936 0 0 0 0 1 0 25 0 1 0 11230721 2658304 298 1283457024 134512640 135304128 4291784416 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/27656/statm: 649 298 251 194 0 36 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2596 [startup+1.50941 s] /proc/loadavg: 1.52 1.47 1.34 2/38 27673 /proc/meminfo: memFree=235352/1048576 swapFree=0/0 [pid=27656] ppid=27655 vsize=2596 CPUtime=0.01 /proc/27656/stat : 27656 (aspcud-paranoid) R 27655 27656 4778 34817 4778 4202496 648 2936 0 0 0 0 1 0 18 0 1 0 11230721 2658304 298 1283457024 134512640 135304128 4291784416 18446744073709551615 4294960130 0 65536 4 1132560123 0 0 0 17 0 0 0 0 /proc/27656/statm: 649 298 251 194 0 36 0 [pid=27671] ppid=27656 vsize=5420 CPUtime=0.01 /proc/27671/stat : 27671 (clasp) R 27656 27656 4778 34817 4778 4202496 1189 0 0 0 1 0 0 0 18 0 1 0 11230722 5550080 1057 1283457024 134512640 136285277 4291360368 18446744073709551615 4294960130 0 0 6 18944 0 0 0 17 0 0 0 0 /proc/27671/statm: 1355 1057 177 433 0 920 0 [pid=27672] ppid=27656 vsize=7860 CPUtime=0.18 /proc/27672/stat : 27672 (gringo) R 27656 27656 4778 34817 4778 4202496 1963 0 0 0 18 0 0 0 18 0 1 0 11230722 8048640 1458 1283457024 134512640 136933539 4292667440 18446744073709551615 134688195 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/27672/statm: 1965 1458 253 592 0 1370 0 [pid=27673] ppid=27656 vsize=0 CPUtime=1.1 /proc/27673/stat : 27673 (cudf2lp) Z 27656 27656 4778 34817 4778 4202508 8647 0 0 0 108 2 0 0 25 0 1 0 11230722 0 0 1283457024 0 0 0 0 0 0 0 6 0 18446744071564254338 0 0 17 0 0 0 0 /proc/27673/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.3 Current children cumulated vsize (KiB) 15876 Solver just ended. Dumping a history of the last processes samples [startup+1.60943 s] /proc/loadavg: 1.52 1.47 1.34 2/38 27673 /proc/meminfo: memFree=235352/1048576 swapFree=0/0 [pid=27656] ppid=27655 vsize=2596 CPUtime=1.11 /proc/27656/stat : 27656 (aspcud-paranoid) S 27655 27656 4778 34817 4778 4202496 648 11583 0 0 0 0 109 2 18 0 1 0 11230721 2658304 298 1283457024 134512640 135304128 4291784416 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/27656/statm: 649 298 251 194 0 36 0 [pid=27671] ppid=27656 vsize=8488 CPUtime=0.02 /proc/27671/stat : 27671 (clasp) R 27656 27656 4778 34817 4778 4202496 2140 0 0 0 2 0 0 0 18 0 1 0 11230722 8691712 1804 1283457024 134512640 136285277 4291360368 18446744073709551615 134869770 0 0 6 18944 0 0 0 17 0 0 0 0 /proc/27671/statm: 2122 1804 177 433 0 1687 0 [pid=27672] ppid=27656 vsize=12520 CPUtime=0.27 /proc/27672/stat : 27672 (gringo) R 27656 27656 4778 34817 4778 4202496 3197 0 0 0 27 0 0 0 18 0 1 0 11230722 12820480 2435 1283457024 134512640 136933539 4292667440 18446744073709551615 135633710 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/27672/statm: 3130 2435 253 592 0 2535 0 Current children cumulated CPU time (s) 1.4 Current children cumulated vsize (KiB) 23604 [startup+2.00954 s] /proc/loadavg: 1.52 1.47 1.34 2/38 27673 /proc/meminfo: memFree=235352/1048576 swapFree=0/0 [pid=27656] ppid=27655 vsize=2728 CPUtime=1.81 /proc/27656/stat : 27656 (aspcud-paranoid) R 27655 27656 4778 34817 4778 4202496 927 23532 0 0 0 0 175 6 18 0 1 0 11230721 2793472 333 1283457024 134512640 135304128 4291784416 18446744073709551615 134796862 0 0 16902 1132543225 0 0 0 17 0 0 0 0 /proc/27656/statm: 682 333 256 194 0 69 0 Current children cumulated CPU time (s) 1.81 Current children cumulated vsize (KiB) 2728 Child status: 0 Real time (s): 2.01518 CPU time (s): 1.82411 CPU user time (s): 1.76411 CPU system time (s): 0.060003 CPU usage (%): 90.5185 Max. virtual memory (cumulated for all children) (KiB): 40992 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.76411 system time used= 0.060003 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25495 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= 616 involuntary context switches= 488 runsolver used 0.008 second user time and 0 second system time The end