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-3717205-1338213434/watcher-3717205-1338213434 -o /tmp/evaluation-result-3717205-1338213434/solver-3717205-1338213434 -C 1800 -W 1900 -M 15500 HOME/runWbo2satCp2.sh HOME/instance-3717205-1338213434.wbo 359527002 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.09 2.04 2.00 3/179 6200
/proc/meminfo: memFree=26931384/32873648 swapFree=6848/6848
[pid=6200] ppid=6198 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6200/stat : 6200 (runWbo2satCp2.s) S 6198 6200 3198 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287470218 9367552 274 33554432000 4194304 5064252 140733961359984 140733961358896 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6200/statm: 2287 274 233 213 0 72 0
[startup+0.0868881 s]
/proc/loadavg: 2.09 2.04 2.00 3/179 6200
/proc/meminfo: memFree=26931384/32873648 swapFree=6848/6848
[pid=6200] ppid=6198 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6200/stat : 6200 (runWbo2satCp2.s) S 6198 6200 3198 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287470218 9367552 274 33554432000 4194304 5064252 140733961359984 140733961358896 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6200/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100305 s]
/proc/loadavg: 2.09 2.04 2.00 3/179 6200
/proc/meminfo: memFree=26931384/32873648 swapFree=6848/6848
[pid=6200] ppid=6198 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6200/stat : 6200 (runWbo2satCp2.s) S 6198 6200 3198 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287470218 9367552 274 33554432000 4194304 5064252 140733961359984 140733961358896 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6200/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300179 s]
/proc/loadavg: 2.09 2.04 2.00 3/179 6200
/proc/meminfo: memFree=26931384/32873648 swapFree=6848/6848
[pid=6200] ppid=6198 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6200/stat : 6200 (runWbo2satCp2.s) S 6198 6200 3198 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287470218 9367552 274 33554432000 4194304 5064252 140733961359984 140733961358896 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6200/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700113 s]
/proc/loadavg: 2.09 2.04 2.00 3/179 6200
/proc/meminfo: memFree=26931384/32873648 swapFree=6848/6848
[pid=6200] ppid=6198 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6200/stat : 6200 (runWbo2satCp2.s) S 6198 6200 3198 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287470218 9367552 274 33554432000 4194304 5064252 140733961359984 140733961358896 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6200/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50042 s]
/proc/loadavg: 2.09 2.04 2.00 3/183 6207
/proc/meminfo: memFree=26904748/32873648 swapFree=6848/6848
[pid=6200] ppid=6198 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6200/stat : 6200 (runWbo2satCp2.s) S 6198 6200 3198 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287470218 9367552 274 33554432000 4194304 5064252 140733961359984 140733961358896 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6200/statm: 2287 274 233 213 0 72 0
[pid=6201] ppid=6200 vsize=11040 CPUtime=0.09 cores=1,3,5,7
/proc/6201/stat : 6201 (wbo2sat) S 6200 6200 3198 0 -1 4202496 3097 1447 0 0 8 1 0 0 20 0 1 0 287470219 11304960 1946 33554432000 4194304 5872148 140734302774176 140734302767448 5123914 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6201/statm: 2760 1946 176 410 0 2342 0
[pid=6206] ppid=6201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6206/stat : 6206 (satsolver.sh) S 6201 6200 3198 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287470229 9367552 266 33554432000 4194304 5064252 140737008230288 140737008229200 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6206/statm: 2287 266 226 213 0 72 0
[pid=6207] ppid=6206 vsize=17952 CPUtime=1.37 cores=1,3,5,7
/proc/6207/stat : 6207 (glucose_static) R 6206 6200 3198 0 -1 4202496 4127 0 0 0 137 0 0 0 20 0 1 0 287470229 18382848 3862 33554432000 4194304 4896791 140734532962832 140734532959880 4202982 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6207/statm: 4488 3862 77 172 0 4314 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 47288
[startup+3.10043 s]
/proc/loadavg: 2.09 2.04 2.00 3/183 6207
/proc/meminfo: memFree=26903260/32873648 swapFree=6848/6848
[pid=6200] ppid=6198 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6200/stat : 6200 (runWbo2satCp2.s) S 6198 6200 3198 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287470218 9367552 274 33554432000 4194304 5064252 140733961359984 140733961358896 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6200/statm: 2287 274 233 213 0 72 0
[pid=6201] ppid=6200 vsize=11040 CPUtime=0.09 cores=1,3,5,7
/proc/6201/stat : 6201 (wbo2sat) S 6200 6200 3198 0 -1 4202496 3097 1447 0 0 8 1 0 0 20 0 1 0 287470219 11304960 1946 33554432000 4194304 5872148 140734302774176 140734302767448 5123914 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6201/statm: 2760 1946 176 410 0 2342 0
[pid=6206] ppid=6201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6206/stat : 6206 (satsolver.sh) S 6201 6200 3198 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287470229 9367552 266 33554432000 4194304 5064252 140737008230288 140737008229200 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6206/statm: 2287 266 226 213 0 72 0
[pid=6207] ppid=6206 vsize=21096 CPUtime=2.97 cores=1,3,5,7
/proc/6207/stat : 6207 (glucose_static) R 6206 6200 3198 0 -1 4202496 4481 0 0 0 297 0 0 0 20 0 1 0 287470229 21602304 4716 33554432000 4194304 4896791 140734532962832 140734532960152 4224687 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6207/statm: 5274 4716 78 172 0 5100 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 50432
[startup+6.30041 s]
/proc/loadavg: 2.08 2.04 2.00 3/183 6210
/proc/meminfo: memFree=26903740/32873648 swapFree=6848/6848
[pid=6200] ppid=6198 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6200/stat : 6200 (runWbo2satCp2.s) S 6198 6200 3198 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287470218 9367552 274 33554432000 4194304 5064252 140733961359984 140733961358896 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6200/statm: 2287 274 233 213 0 72 0
[pid=6201] ppid=6200 vsize=11108 CPUtime=4.1 cores=1,3,5,7
/proc/6201/stat : 6201 (wbo2sat) S 6200 6200 3198 0 -1 4202496 4921 7559 0 0 15 1 393 1 20 0 1 0 287470219 11374592 2418 33554432000 4194304 5872148 140734302774176 140734302767448 5123914 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6201/statm: 2777 2418 177 410 0 2359 0
[pid=6209] ppid=6201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6209/stat : 6209 (satsolver.sh) S 6201 6200 3198 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287470632 9367552 267 33554432000 4194304 5064252 140734722909824 140734722908736 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6209/statm: 2287 267 226 213 0 72 0
[pid=6210] ppid=6209 vsize=16700 CPUtime=2.15 cores=1,3,5,7
/proc/6210/stat : 6210 (glucose_static) R 6209 6200 3198 0 -1 4202496 4499 0 0 0 215 0 0 0 20 0 1 0 287470632 17100800 3752 33554432000 4194304 4896791 140735851568816 140735851565960 4225002 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6210/statm: 4175 3752 78 172 0 4001 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 46104
Solver just ended. Dumping a history of the last processes samples
[startup+9.5002 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 6213
/proc/meminfo: memFree=26904856/32873648 swapFree=6848/6848
[pid=6200] ppid=6198 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6200/stat : 6200 (runWbo2satCp2.s) S 6198 6200 3198 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287470218 9367552 274 33554432000 4194304 5064252 140733961359984 140733961358896 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6200/statm: 2287 274 233 213 0 72 0
[pid=6201] ppid=6200 vsize=11108 CPUtime=9.35 cores=1,3,5,7
/proc/6201/stat : 6201 (wbo2sat) S 6200 6200 3198 0 -1 4202496 8349 18628 0 0 25 3 903 4 20 0 1 0 287470219 11374592 2419 33554432000 4194304 5872148 140734302774176 140734302767448 5123914 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6201/statm: 2777 2419 177 410 0 2359 0
Current children cumulated CPU time (s) 9.35
Current children cumulated vsize (KiB) 20256
[startup+11.1004 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 6216
/proc/meminfo: memFree=26905600/32873648 swapFree=6848/6848
[pid=6200] ppid=6198 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6200/stat : 6200 (runWbo2satCp2.s) S 6198 6200 3198 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287470218 9367552 274 33554432000 4194304 5064252 140733961359984 140733961358896 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6200/statm: 2287 274 233 213 0 72 0
[pid=6201] ppid=6200 vsize=11108 CPUtime=9.35 cores=1,3,5,7
/proc/6201/stat : 6201 (wbo2sat) S 6200 6200 3198 0 -1 4202496 8349 18628 0 0 25 3 903 4 20 0 1 0 287470219 11374592 2419 33554432000 4194304 5872148 140734302774176 140734302767448 5123914 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6201/statm: 2777 2419 177 410 0 2359 0
[pid=6215] ppid=6201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6215/stat : 6215 (satsolver.sh) S 6201 6200 3198 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 287471157 9367552 267 33554432000 4194304 5064252 140734978213536 140734978212448 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6215/statm: 2287 267 226 213 0 72 0
[pid=6216] ppid=6215 vsize=15080 CPUtime=1.7 cores=1,3,5,7
/proc/6216/stat : 6216 (glucose_static) R 6215 6200 3198 0 -1 4202496 3489 0 0 0 170 0 0 0 20 0 1 0 287471157 15441920 3250 33554432000 4194304 4896791 140734190326608 140734190323816 4203775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6216/statm: 3770 3250 78 172 0 3596 0
Current children cumulated CPU time (s) 11.05
Current children cumulated vsize (KiB) 44484
[startup+11.9002 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 6216
/proc/meminfo: memFree=26905600/32873648 swapFree=6848/6848
[pid=6200] ppid=6198 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6200/stat : 6200 (runWbo2satCp2.s) S 6198 6200 3198 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287470218 9367552 274 33554432000 4194304 5064252 140733961359984 140733961358896 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6200/statm: 2287 274 233 213 0 72 0
[pid=6201] ppid=6200 vsize=11108 CPUtime=11.29 cores=1,3,5,7
/proc/6201/stat : 6201 (wbo2sat) S 6200 6200 3198 0 -1 4202496 9509 23295 0 0 28 3 1093 5 20 0 1 0 287470219 11374592 2419 33554432000 4194304 5872148 140734302774176 140734302767448 5123914 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6201/statm: 2777 2419 177 410 0 2359 0
Current children cumulated CPU time (s) 11.29
Current children cumulated vsize (KiB) 20256
[startup+12.1069 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 6222
/proc/meminfo: memFree=26903148/32873648 swapFree=6848/6848
[pid=6200] ppid=6198 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6200/stat : 6200 (runWbo2satCp2.s) S 6198 6200 3198 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287470218 9367552 274 33554432000 4194304 5064252 140733961359984 140733961358896 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6200/statm: 2287 274 233 213 0 72 0
[pid=6201] ppid=6200 vsize=11108 CPUtime=11.98 cores=1,3,5,7
/proc/6201/stat : 6201 (wbo2sat) S 6200 6200 3198 0 -1 4202496 11746 35197 0 0 32 4 1154 8 20 0 1 0 287470219 11374592 2419 33554432000 4194304 5872148 140734302774176 140734302767448 5123914 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6201/statm: 2777 2419 177 410 0 2359 0
Current children cumulated CPU time (s) 11.98
Current children cumulated vsize (KiB) 20256
Child status: 0
Real time (s): 12.1877
CPU time (s): 12.0932
CPU user time (s): 11.9292
CPU system time (s): 0.163975
CPU usage (%): 99.2247
Max. virtual memory (cumulated for all children) (KiB): 51068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.9292
system time used= 0.163975
maximum resident set size= 22508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59671
page faults= 0
swaps= 0
block input operations= 0
block output operations= 44304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117
involuntary context switches= 128
runsolver used 0.030995 second user time and 0.074988 second system time
The end