runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3717197-1338213459/watcher-3717197-1338213459 -o /tmp/evaluation-result-3717197-1338213459/solver-3717197-1338213459 -C 1800 -W 1900 -M 15500 HOME/runWbo2satCp2.sh HOME/instance-3717197-1338213459.wbo 1951225572 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 6425
/proc/meminfo: memFree=26930128/32873648 swapFree=6848/6848
[pid=6425] ppid=6423 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6425/stat : 6425 (runWbo2satCp2.s) S 6423 6425 3198 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287472787 9367552 275 33554432000 4194304 5064252 140734531355888 140734531354800 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6425/statm: 2287 275 233 213 0 72 0
[startup+0.074897 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 6425
/proc/meminfo: memFree=26930128/32873648 swapFree=6848/6848
[pid=6425] ppid=6423 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6425/stat : 6425 (runWbo2satCp2.s) S 6423 6425 3198 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287472787 9367552 275 33554432000 4194304 5064252 140734531355888 140734531354800 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6425/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100299 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 6425
/proc/meminfo: memFree=26930128/32873648 swapFree=6848/6848
[pid=6425] ppid=6423 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6425/stat : 6425 (runWbo2satCp2.s) S 6423 6425 3198 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287472787 9367552 275 33554432000 4194304 5064252 140734531355888 140734531354800 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6425/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300185 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 6425
/proc/meminfo: memFree=26930128/32873648 swapFree=6848/6848
[pid=6425] ppid=6423 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6425/stat : 6425 (runWbo2satCp2.s) S 6423 6425 3198 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287472787 9367552 275 33554432000 4194304 5064252 140734531355888 140734531354800 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6425/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700138 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 6425
/proc/meminfo: memFree=26930128/32873648 swapFree=6848/6848
[pid=6425] ppid=6423 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6425/stat : 6425 (runWbo2satCp2.s) S 6423 6425 3198 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287472787 9367552 275 33554432000 4194304 5064252 140734531355888 140734531354800 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6425/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 6432
/proc/meminfo: memFree=26907720/32873648 swapFree=6848/6848
[pid=6425] ppid=6423 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6425/stat : 6425 (runWbo2satCp2.s) S 6423 6425 3198 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287472787 9367552 275 33554432000 4194304 5064252 140734531355888 140734531354800 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6425/statm: 2287 275 233 213 0 72 0
[pid=6426] ppid=6425 vsize=7060 CPUtime=0.08 cores=1,3,5,7
/proc/6426/stat : 6426 (wbo2sat) S 6425 6425 3198 0 -1 4202496 2952 1459 0 0 7 1 0 0 20 0 1 0 287472787 7229440 1379 33554432000 4194304 5872148 140733743065408 140733743058680 5123914 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6426/statm: 1765 1379 176 410 0 1347 0
[pid=6431] ppid=6426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6431/stat : 6431 (satsolver.sh) S 6426 6425 3198 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 287472797 9367552 267 33554432000 4194304 5064252 140735532778656 140735532777568 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6431/statm: 2287 267 226 213 0 72 0
[pid=6432] ppid=6431 vsize=16592 CPUtime=1.38 cores=1,3,5,7
/proc/6432/stat : 6432 (glucose_static) R 6431 6425 3198 0 -1 4202496 4198 0 0 0 138 0 0 0 20 0 1 0 287472797 16990208 3590 33554432000 4194304 4896791 140737350652048 140737350649272 4204062 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6432/statm: 4148 3590 78 172 0 3974 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 41948
[startup+3.10017 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 6432
/proc/meminfo: memFree=26906356/32873648 swapFree=6848/6848
[pid=6425] ppid=6423 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6425/stat : 6425 (runWbo2satCp2.s) S 6423 6425 3198 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287472787 9367552 275 33554432000 4194304 5064252 140734531355888 140734531354800 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6425/statm: 2287 275 233 213 0 72 0
[pid=6426] ppid=6425 vsize=11224 CPUtime=2.51 cores=1,3,5,7
/proc/6426/stat : 6426 (wbo2sat) S 6425 6425 3198 0 -1 4202496 4681 6933 0 0 13 1 236 1 20 0 1 0 287472787 11493376 2305 33554432000 4194304 5872148 140733743065408 140733743058680 5123914 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 12 0 0
/proc/6426/statm: 2806 2305 177 410 0 2388 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 20372
[startup+6.30024 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 6438
/proc/meminfo: memFree=26904904/32873648 swapFree=6848/6848
[pid=6425] ppid=6423 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6425/stat : 6425 (runWbo2satCp2.s) S 6423 6425 3198 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287472787 9367552 275 33554432000 4194304 5064252 140734531355888 140734531354800 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6425/statm: 2287 275 233 213 0 72 0
[pid=6426] ppid=6425 vsize=11224 CPUtime=4.84 cores=1,3,5,7
/proc/6426/stat : 6426 (wbo2sat) S 6425 6425 3198 0 -1 4202496 6317 11477 0 0 18 2 461 3 20 0 1 0 287472787 11493376 2219 33554432000 4194304 5872148 140733743065408 140733743058680 5123914 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 12 0 0
/proc/6426/statm: 2806 2219 177 410 0 2388 0
[pid=6437] ppid=6426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6437/stat : 6437 (satsolver.sh) S 6426 6425 3198 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287473288 9367552 267 33554432000 4194304 5064252 140735206095168 140735206094080 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6437/statm: 2287 267 226 213 0 72 0
[pid=6438] ppid=6437 vsize=14684 CPUtime=1.27 cores=1,3,5,7
/proc/6438/stat : 6438 (glucose_static) R 6437 6425 3198 0 -1 4202496 3420 0 0 0 127 0 0 0 20 0 1 0 287473288 15036416 2976 33554432000 4194304 4896791 140735246198512 140735246196040 4224983 0 0 4096 0 0 0 0 17 7 0 0 0 0 0
/proc/6438/statm: 3671 2976 78 172 0 3497 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 44204
Solver just ended. Dumping a history of the last processes samples
[startup+7.10035 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 6438
/proc/meminfo: memFree=26904036/32873648 swapFree=6848/6848
[pid=6425] ppid=6423 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6425/stat : 6425 (runWbo2satCp2.s) S 6423 6425 3198 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287472787 9367552 275 33554432000 4194304 5064252 140734531355888 140734531354800 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6425/statm: 2287 275 233 213 0 72 0
[pid=6426] ppid=6425 vsize=11224 CPUtime=4.84 cores=1,3,5,7
/proc/6426/stat : 6426 (wbo2sat) S 6425 6425 3198 0 -1 4202496 6317 11477 0 0 18 2 461 3 20 0 1 0 287472787 11493376 2219 33554432000 4194304 5872148 140733743065408 140733743058680 5123914 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 12 0 0
/proc/6426/statm: 2806 2219 177 410 0 2388 0
[pid=6437] ppid=6426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6437/stat : 6437 (satsolver.sh) S 6426 6425 3198 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287473288 9367552 267 33554432000 4194304 5064252 140735206095168 140735206094080 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6437/statm: 2287 267 226 213 0 72 0
[pid=6438] ppid=6437 vsize=14740 CPUtime=2.06 cores=1,3,5,7
/proc/6438/stat : 6438 (glucose_static) R 6437 6425 3198 0 -1 4202496 3598 0 0 0 206 0 0 0 20 0 1 0 287473288 15093760 3152 33554432000 4194304 4896791 140735246198512 140735246196040 4203806 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6438/statm: 3685 3152 78 172 0 3511 0
Current children cumulated CPU time (s) 6.9
Current children cumulated vsize (KiB) 44260
[startup+7.90022 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 6438
/proc/meminfo: memFree=26903792/32873648 swapFree=6848/6848
[pid=6425] ppid=6423 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6425/stat : 6425 (runWbo2satCp2.s) S 6423 6425 3198 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287472787 9367552 275 33554432000 4194304 5064252 140734531355888 140734531354800 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6425/statm: 2287 275 233 213 0 72 0
[pid=6426] ppid=6425 vsize=7000 CPUtime=7.48 cores=1,3,5,7
/proc/6426/stat : 6426 (wbo2sat) S 6425 6425 3198 0 -1 4202496 7439 16321 0 0 20 3 721 4 20 0 1 0 287472787 7168000 1237 33554432000 4194304 5872148 140733743065408 140733743058680 5123914 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 12 0 0
/proc/6426/statm: 1750 1237 177 410 0 1332 0
Current children cumulated CPU time (s) 7.48
Current children cumulated vsize (KiB) 16148
[startup+8.10016 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 6438
/proc/meminfo: memFree=26903792/32873648 swapFree=6848/6848
[pid=6425] ppid=6423 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6425/stat : 6425 (runWbo2satCp2.s) S 6423 6425 3198 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287472787 9367552 275 33554432000 4194304 5064252 140734531355888 140734531354800 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6425/statm: 2287 275 233 213 0 72 0
[pid=6426] ppid=6425 vsize=8816 CPUtime=7.84 cores=1,3,5,7
/proc/6426/stat : 6426 (wbo2sat) S 6425 6425 3198 0 -1 4202496 9049 19552 0 0 23 3 753 5 20 0 1 0 287472787 9027584 1814 33554432000 4194304 5872148 140733743065408 140733743058680 5123914 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 12 0 0
/proc/6426/statm: 2204 1814 177 410 0 1786 0
Current children cumulated CPU time (s) 7.84
Current children cumulated vsize (KiB) 17964
[startup+8.2002 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 6438
/proc/meminfo: memFree=26903792/32873648 swapFree=6848/6848
[pid=6425] ppid=6423 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6425/stat : 6425 (runWbo2satCp2.s) S 6423 6425 3198 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287472787 9367552 275 33554432000 4194304 5064252 140734531355888 140734531354800 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6425/statm: 2287 275 233 213 0 72 0
[pid=6426] ppid=6425 vsize=8816 CPUtime=7.96 cores=1,3,5,7
/proc/6426/stat : 6426 (wbo2sat) S 6425 6425 3198 0 -1 4202496 9980 29592 0 0 24 3 761 8 20 0 1 0 287472787 9027584 1814 33554432000 4194304 5872148 140733743065408 140733743059176 5123914 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 12 0 0
/proc/6426/statm: 2204 1814 177 410 0 1786 0
Current children cumulated CPU time (s) 7.96
Current children cumulated vsize (KiB) 17964
Child status: 0
Real time (s): 8.26555
CPU time (s): 8.04278
CPU user time (s): 7.9048
CPU system time (s): 0.137979
CPU usage (%): 97.3048
Max. virtual memory (cumulated for all children) (KiB): 44760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.9048
system time used= 0.137979
maximum resident set size= 17076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48394
page faults= 0
swaps= 0
block input operations= 0
block output operations= 33544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119
involuntary context switches= 113
runsolver used 0.012998 second user time and 0.06299 second system time
The end