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/rand929.cudf.dudf-random.log.runsolver ./aspcud-1.5 /home/misc2010/data/2011/dudf-random//rand929.cudf /home/misc2010/tmp/201109011757/aspcud-1.5/rand929.cudf.dudf-random.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.06 1.01 5/35 30477 /proc/meminfo: memFree=527420/1048576 swapFree=0/0 [pid=30475] ppid=30474 vsize=2584 CPUtime=0 /proc/30475/stat : 30475 (aspcud-1.5) S 30474 30475 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 21 0 1 0 72762530 2646016 279 1283457024 134512640 135304128 4289715408 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0 /proc/30475/statm: 646 279 234 194 0 33 0 [pid=30476] ppid=30475 vsize=2584 CPUtime=0 /proc/30476/stat : 30476 (aspcud-1.5) R 30475 30475 22717 34817 22717 4202560 110 0 0 0 0 0 0 0 25 0 1 0 72762530 2646016 132 1283457024 134512640 135304128 4289715408 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/30476/statm: 646 132 86 194 0 33 0 [pid=30477] ppid=30476 vsize=2584 CPUtime=0 /proc/30477/stat : 30477 (aspcud-1.5) R 30476 30475 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 1 0 72762530 2646016 46 1283457024 134512640 135304128 4289715408 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/30477/statm: 646 46 0 194 0 33 0 [startup+0.171271 s] /proc/loadavg: 1.13 1.06 1.01 5/35 30477 /proc/meminfo: memFree=527420/1048576 swapFree=0/0 [pid=30475] ppid=30474 vsize=2592 CPUtime=0 /proc/30475/stat : 30475 (aspcud-1.5) S 30474 30475 22717 34817 22717 4202496 579 1521 0 0 0 0 0 0 25 0 1 0 72762530 2654208 298 1283457024 134512640 135304128 4289715408 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/30475/statm: 648 298 251 194 0 35 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2592 [startup+0.213333 s] /proc/loadavg: 1.13 1.06 1.01 5/35 30477 /proc/meminfo: memFree=527420/1048576 swapFree=0/0 [pid=30475] ppid=30474 vsize=2592 CPUtime=0 /proc/30475/stat : 30475 (aspcud-1.5) S 30474 30475 22717 34817 22717 4202496 579 1521 0 0 0 0 0 0 25 0 1 0 72762530 2654208 298 1283457024 134512640 135304128 4289715408 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/30475/statm: 648 298 251 194 0 35 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2592 [startup+0.303356 s] /proc/loadavg: 1.13 1.06 1.01 5/35 30477 /proc/meminfo: memFree=527420/1048576 swapFree=0/0 [pid=30475] ppid=30474 vsize=2592 CPUtime=0 /proc/30475/stat : 30475 (aspcud-1.5) S 30474 30475 22717 34817 22717 4202496 579 1521 0 0 0 0 0 0 25 0 1 0 72762530 2654208 298 1283457024 134512640 135304128 4289715408 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/30475/statm: 648 298 251 194 0 35 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2592 [startup+0.707307 s] /proc/loadavg: 1.13 1.06 1.01 5/35 30477 /proc/meminfo: memFree=527420/1048576 swapFree=0/0 [pid=30475] ppid=30474 vsize=2592 CPUtime=0 /proc/30475/stat : 30475 (aspcud-1.5) S 30474 30475 22717 34817 22717 4202496 579 1521 0 0 0 0 0 0 25 0 1 0 72762530 2654208 298 1283457024 134512640 135304128 4289715408 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/30475/statm: 648 298 251 194 0 35 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2592 [startup+1.50443 s] /proc/loadavg: 1.12 1.06 1.01 2/37 30486 /proc/meminfo: memFree=488016/1048576 swapFree=0/0 [pid=30475] ppid=30474 vsize=2592 CPUtime=0 /proc/30475/stat : 30475 (aspcud-1.5) S 30474 30475 22717 34817 22717 4202496 579 1521 0 0 0 0 0 0 25 0 1 0 72762530 2654208 298 1283457024 134512640 135304128 4289715408 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/30475/statm: 648 298 251 194 0 35 0 [pid=30484] ppid=30475 vsize=3892 CPUtime=0 /proc/30484/stat : 30484 (clasp) S 30475 30475 22717 34817 22717 4202496 819 0 0 0 0 0 0 0 18 0 1 0 72762531 3985408 687 1283457024 134512640 136285277 4293654720 18446744073709551615 4294960130 0 0 6 18944 18446744071564457842 0 0 17 0 0 0 0 /proc/30484/statm: 973 687 177 433 0 538 0 [pid=30485] ppid=30475 vsize=4964 CPUtime=0.09 /proc/30485/stat : 30485 (gringo) S 30475 30475 22717 34817 22717 4202496 1095 0 0 0 9 0 0 0 18 0 1 0 72762531 5083136 865 1283457024 134512640 136933539 4294293968 18446744073709551615 135633806 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0 /proc/30485/statm: 1241 865 242 592 0 646 0 [pid=30486] ppid=30475 vsize=27980 CPUtime=1.3 /proc/30486/stat : 30486 (cudf2lp) R 30475 30475 22717 34817 22717 4202496 9029 0 0 0 128 2 0 0 25 0 1 0 72762531 28651520 6784 1283457024 134512640 135786343 4293654768 18446744073709551615 135191376 0 0 6 0 0 0 0 17 0 0 0 0 /proc/30486/statm: 6995 6784 139 311 0 6682 0 Current children cumulated CPU time (s) 1.39 Current children cumulated vsize (KiB) 39428 Solver just ended. Dumping a history of the last processes samples [startup+1.60443 s] /proc/loadavg: 1.12 1.06 1.01 2/37 30486 /proc/meminfo: memFree=488016/1048576 swapFree=0/0 [pid=30475] ppid=30474 vsize=2592 CPUtime=1.32 /proc/30475/stat : 30475 (aspcud-1.5) S 30474 30475 22717 34817 22717 4202496 580 10553 0 0 0 0 129 3 18 0 1 0 72762530 2654208 298 1283457024 134512640 135304128 4289715408 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/30475/statm: 648 298 251 194 0 35 0 [pid=30484] ppid=30475 vsize=6236 CPUtime=0.02 /proc/30484/stat : 30484 (clasp) R 30475 30475 22717 34817 22717 4202496 1469 0 0 0 2 0 0 0 18 0 1 0 72762531 6385664 1255 1283457024 134512640 136285277 4293654720 18446744073709551615 4294960130 0 0 6 18944 0 0 0 17 0 0 0 0 /proc/30484/statm: 1559 1255 177 433 0 1124 0 [pid=30485] ppid=30475 vsize=8888 CPUtime=0.16 /proc/30485/stat : 30485 (gringo) R 30475 30475 22717 34817 22717 4202496 2087 0 0 0 16 0 0 0 18 0 1 0 72762531 9101312 1728 1283457024 134512640 136933539 4294293968 18446744073709551615 134903604 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/30485/statm: 2222 1728 253 592 0 1627 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 17716 [startup+1.80453 s] /proc/loadavg: 1.12 1.06 1.01 2/37 30486 /proc/meminfo: memFree=488016/1048576 swapFree=0/0 [pid=30475] ppid=30474 vsize=2592 CPUtime=1.69 /proc/30475/stat : 30475 (aspcud-1.5) R 30474 30475 22717 34817 22717 4202496 673 17269 0 0 0 0 165 4 17 0 1 0 72762530 2654208 303 1283457024 134512640 135304128 4289715408 18446744073709551615 4294960130 0 65538 16902 1132543225 0 0 0 17 0 0 0 0 /proc/30475/statm: 648 303 256 194 0 35 0 Current children cumulated CPU time (s) 1.69 Current children cumulated vsize (KiB) 2592 Child status: 0 Real time (s): 1.82133 CPU time (s): 1.72411 CPU user time (s): 1.6681 CPU system time (s): 0.056003 CPU usage (%): 94.6618 Max. virtual memory (cumulated for all children) (KiB): 39428 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.6681 system time used= 0.056003 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20968 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= 382 involuntary context switches= 357 runsolver used 0 second user time and 0.012 second system time The end