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/rand692.cudf.dudf-random.log.runsolver ./aspcud-1.5 /home/misc2010/data/2011/dudf-random//rand692.cudf /home/misc2010/tmp/201109011757/aspcud-1.5/rand692.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.12 1.03 1.01 5/37 29084 /proc/meminfo: memFree=744164/1048576 swapFree=0/0 [pid=29082] ppid=29081 vsize=2584 CPUtime=0 /proc/29082/stat : 29082 (aspcud-1.5) S 29081 29082 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 23 0 1 0 72585827 2646016 279 1283457024 134512640 135304128 4294183184 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0 /proc/29082/statm: 646 279 234 194 0 33 0 [pid=29083] ppid=29082 vsize=2584 CPUtime=0 /proc/29083/stat : 29083 (aspcud-1.5) R 29082 29082 22717 34817 22717 4202560 110 0 0 0 0 0 0 0 25 0 1 0 72585827 2646016 132 1283457024 134512640 135304128 4294183184 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/29083/statm: 646 132 86 194 0 33 0 [pid=29084] ppid=29083 vsize=2584 CPUtime=0 /proc/29084/stat : 29084 (aspcud-1.5) R 29083 29082 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 1 0 72585827 2646016 46 1283457024 134512640 135304128 4294183184 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/29084/statm: 646 46 0 194 0 33 0 [startup+0.16241 s] /proc/loadavg: 1.12 1.03 1.01 5/37 29084 /proc/meminfo: memFree=744164/1048576 swapFree=0/0 [pid=29082] ppid=29081 vsize=2592 CPUtime=0.01 /proc/29082/stat : 29082 (aspcud-1.5) S 29081 29082 22717 34817 22717 4202496 581 1518 0 0 0 1 0 0 25 0 1 0 72585827 2654208 298 1283457024 134512640 135304128 4294183184 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/29082/statm: 648 298 251 194 0 35 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2592 [startup+0.206421 s] /proc/loadavg: 1.12 1.03 1.01 5/37 29084 /proc/meminfo: memFree=744164/1048576 swapFree=0/0 [pid=29082] ppid=29081 vsize=2592 CPUtime=0.01 /proc/29082/stat : 29082 (aspcud-1.5) S 29081 29082 22717 34817 22717 4202496 581 1518 0 0 0 1 0 0 25 0 1 0 72585827 2654208 298 1283457024 134512640 135304128 4294183184 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/29082/statm: 648 298 251 194 0 35 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2592 [startup+0.306436 s] /proc/loadavg: 1.12 1.03 1.01 5/37 29084 /proc/meminfo: memFree=744164/1048576 swapFree=0/0 [pid=29082] ppid=29081 vsize=2592 CPUtime=0.01 /proc/29082/stat : 29082 (aspcud-1.5) S 29081 29082 22717 34817 22717 4202496 581 1518 0 0 0 1 0 0 25 0 1 0 72585827 2654208 298 1283457024 134512640 135304128 4294183184 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/29082/statm: 648 298 251 194 0 35 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2592 [startup+0.706591 s] /proc/loadavg: 1.12 1.03 1.01 5/37 29084 /proc/meminfo: memFree=744164/1048576 swapFree=0/0 [pid=29082] ppid=29081 vsize=2592 CPUtime=0.01 /proc/29082/stat : 29082 (aspcud-1.5) S 29081 29082 22717 34817 22717 4202496 581 1518 0 0 0 1 0 0 25 0 1 0 72585827 2654208 298 1283457024 134512640 135304128 4294183184 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/29082/statm: 648 298 251 194 0 35 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2592 [startup+1.50912 s] /proc/loadavg: 1.12 1.03 1.01 2/39 29094 /proc/meminfo: memFree=713008/1048576 swapFree=0/0 [pid=29082] ppid=29081 vsize=2592 CPUtime=0.01 /proc/29082/stat : 29082 (aspcud-1.5) S 29081 29082 22717 34817 22717 4202496 581 1518 0 0 0 1 0 0 25 0 1 0 72585827 2654208 298 1283457024 134512640 135304128 4294183184 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/29082/statm: 648 298 251 194 0 35 0 [pid=29091] ppid=29082 vsize=3064 CPUtime=0 /proc/29091/stat : 29091 (clasp) S 29082 29082 22717 34817 22717 4202496 615 0 0 0 0 0 0 0 18 0 1 0 72585828 3137536 482 1283457024 134512640 136285277 4289774848 18446744073709551615 4294960130 0 0 6 18944 18446744071564457842 0 0 17 0 0 0 0 /proc/29091/statm: 766 482 176 433 0 331 0 [pid=29092] ppid=29082 vsize=4380 CPUtime=0.04 /proc/29092/stat : 29092 (gringo) R 29082 29082 22717 34817 22717 4202496 862 0 0 0 4 0 0 0 18 0 1 0 72585828 4485120 631 1283457024 134512640 136933539 4287622000 18446744073709551615 134815682 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/29092/statm: 1095 631 242 592 0 500 0 [pid=29093] ppid=29082 vsize=27836 CPUtime=1.24 /proc/29093/stat : 29093 (cudf2lp) R 29082 29082 22717 34817 22717 4202496 9007 0 0 0 115 9 0 0 25 0 1 0 72585828 28504064 6761 1283457024 134512640 135786343 4294793744 18446744073709551615 135258574 0 0 6 0 0 0 0 17 0 0 0 0 /proc/29093/statm: 6959 6761 139 311 0 6646 0 Current children cumulated CPU time (s) 1.29 Current children cumulated vsize (KiB) 37872 Solver just ended. Dumping a history of the last processes samples [startup+1.61012 s] /proc/loadavg: 1.12 1.03 1.01 2/39 29094 /proc/meminfo: memFree=713008/1048576 swapFree=0/0 [pid=29082] ppid=29081 vsize=2592 CPUtime=0.01 /proc/29082/stat : 29082 (aspcud-1.5) S 29081 29082 22717 34817 22717 4202496 581 1518 0 0 0 1 0 0 25 0 1 0 72585827 2654208 298 1283457024 134512640 135304128 4294183184 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/29082/statm: 648 298 251 194 0 35 0 [pid=29091] ppid=29082 vsize=3760 CPUtime=0 /proc/29091/stat : 29091 (clasp) S 29082 29082 22717 34817 22717 4202496 798 0 0 0 0 0 0 0 18 0 1 0 72585828 3850240 665 1283457024 134512640 136285277 4289774848 18446744073709551615 4294960130 0 0 6 18944 18446744071564457842 0 0 17 0 0 0 0 /proc/29091/statm: 940 665 177 433 0 505 0 [pid=29092] ppid=29082 vsize=4980 CPUtime=0.08 /proc/29092/stat : 29092 (gringo) S 29082 29082 22717 34817 22717 4202496 1077 0 0 0 8 0 0 0 18 0 1 0 72585828 5099520 846 1283457024 134512640 136933539 4287622000 18446744073709551615 135633806 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0 /proc/29092/statm: 1245 846 242 592 0 650 0 [pid=29093] ppid=29082 vsize=27836 CPUtime=1.3 /proc/29093/stat : 29093 (cudf2lp) R 29082 29082 22717 34817 22717 4202496 9007 0 0 0 120 10 0 0 25 0 1 0 72585828 28504064 4713 1283457024 134512640 135786343 4294793744 18446744073709551615 135407694 0 0 6 0 0 0 0 17 0 0 0 0 /proc/29093/statm: 6959 4713 139 311 0 6646 0 Current children cumulated CPU time (s) 1.39 Current children cumulated vsize (KiB) 39168 [startup+1.80922 s] /proc/loadavg: 1.12 1.03 1.01 2/39 29094 /proc/meminfo: memFree=713008/1048576 swapFree=0/0 [pid=29082] ppid=29081 vsize=2592 CPUtime=1.31 /proc/29082/stat : 29082 (aspcud-1.5) S 29081 29082 22717 34817 22717 4202496 581 10528 0 0 0 1 120 10 18 0 1 0 72585827 2654208 298 1283457024 134512640 135304128 4294183184 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/29082/statm: 648 298 251 194 0 35 0 [pid=29091] ppid=29082 vsize=8392 CPUtime=0.02 /proc/29091/stat : 29091 (clasp) R 29082 29082 22717 34817 22717 4202496 2014 0 0 0 2 0 0 0 18 0 1 0 72585828 8593408 1799 1283457024 134512640 136285277 4289774848 18446744073709551615 4294960130 0 0 6 18944 0 0 0 17 0 0 0 0 /proc/29091/statm: 2098 1799 177 433 0 1663 0 [pid=29092] ppid=29082 vsize=14128 CPUtime=0.25 /proc/29092/stat : 29092 (gringo) R 29082 29082 22717 34817 22717 4202496 3324 0 0 0 25 0 0 0 18 0 1 0 72585828 14467072 2707 1283457024 134512640 136933539 4287622000 18446744073709551615 134810064 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/29092/statm: 3532 2707 253 592 0 2937 0 Current children cumulated CPU time (s) 1.58 Current children cumulated vsize (KiB) 25112 [startup+1.90925 s] /proc/loadavg: 1.12 1.03 1.01 2/39 29094 /proc/meminfo: memFree=713008/1048576 swapFree=0/0 [pid=29082] ppid=29081 vsize=2592 CPUtime=1.59 /proc/29082/stat : 29082 (aspcud-1.5) S 29081 29082 22717 34817 22717 4202496 581 13975 0 0 0 1 148 10 18 0 1 0 72585827 2654208 298 1283457024 134512640 135304128 4294183184 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/29082/statm: 648 298 251 194 0 35 0 [pid=29091] ppid=29082 vsize=9864 CPUtime=0.1 /proc/29091/stat : 29091 (clasp) R 29082 29082 22717 34817 22717 4202496 2635 0 0 0 10 0 0 0 18 0 1 0 72585828 10100736 2244 1283457024 134512640 136285277 4289774848 18446744073709551615 134733794 0 0 6 18944 0 0 0 17 0 0 0 0 /proc/29091/statm: 2466 2244 234 433 0 2031 0 Current children cumulated CPU time (s) 1.69 Current children cumulated vsize (KiB) 12456 Child status: 0 Real time (s): 2.00207 CPU time (s): 1.79211 CPU user time (s): 1.6481 CPU system time (s): 0.144009 CPU usage (%): 89.513 Max. virtual memory (cumulated for all children) (KiB): 39168 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.6481 system time used= 0.144009 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20888 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= 363 involuntary context switches= 339 runsolver used 0 second user time and 0 second system time The end