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-3753155-1339206246/watcher-3753155-1339206246 -o /tmp/evaluation-result-3753155-1339206246/solver-3753155-1339206246 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753155-1339206246.wbo 721694985 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.08 2.06 2.10 3/175 31652
/proc/meminfo: memFree=31055964/32873852 swapFree=6864/6864
[pid=31652] ppid=31650 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31652/stat : 31652 (npSolver-wbo-It) S 31650 31652 29754 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386750070 9367552 274 33554432000 4194304 5064252 140735421177024 140735421175936 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31652/statm: 2287 274 233 213 0 72 0
[startup+0.0524239 s]
/proc/loadavg: 2.08 2.06 2.10 3/175 31652
/proc/meminfo: memFree=31055964/32873852 swapFree=6864/6864
[pid=31652] ppid=31650 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31652/stat : 31652 (npSolver-wbo-It) S 31650 31652 29754 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386750070 9367552 274 33554432000 4194304 5064252 140735421177024 140735421175936 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31652/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100361 s]
/proc/loadavg: 2.08 2.06 2.10 3/175 31652
/proc/meminfo: memFree=31055964/32873852 swapFree=6864/6864
[pid=31652] ppid=31650 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31652/stat : 31652 (npSolver-wbo-It) S 31650 31652 29754 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386750070 9367552 274 33554432000 4194304 5064252 140735421177024 140735421175936 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31652/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300303 s]
/proc/loadavg: 2.08 2.06 2.10 3/175 31652
/proc/meminfo: memFree=31055964/32873852 swapFree=6864/6864
[pid=31652] ppid=31650 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31652/stat : 31652 (npSolver-wbo-It) S 31650 31652 29754 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386750070 9367552 274 33554432000 4194304 5064252 140735421177024 140735421175936 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31652/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700335 s]
/proc/loadavg: 2.08 2.06 2.10 3/175 31652
/proc/meminfo: memFree=31055964/32873852 swapFree=6864/6864
[pid=31652] ppid=31650 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31652/stat : 31652 (npSolver-wbo-It) S 31650 31652 29754 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386750070 9367552 274 33554432000 4194304 5064252 140735421177024 140735421175936 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31652/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50036 s]
/proc/loadavg: 2.08 2.06 2.10 3/179 31656
/proc/meminfo: memFree=30780112/32873852 swapFree=6864/6864
[pid=31652] ppid=31650 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31652/stat : 31652 (npSolver-wbo-It) S 31650 31652 29754 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386750070 9367552 274 33554432000 4194304 5064252 140735421177024 140735421175936 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31652/statm: 2287 274 233 213 0 72 0
[pid=31653] ppid=31652 vsize=183596 CPUtime=1.49 cores=1,3,5,7
/proc/31653/stat : 31653 (npSolver-wbo) R 31652 31652 29754 0 -1 4202496 26438 0 0 0 142 7 0 0 20 0 1 0 386750070 188002304 44432 33554432000 4194304 6006132 140734518827712 140734518823384 4535954 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31653/statm: 45899 44432 162 443 0 45452 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 192744
[startup+3.10032 s]
/proc/loadavg: 2.08 2.06 2.10 3/179 31656
/proc/meminfo: memFree=30675828/32873852 swapFree=6864/6864
[pid=31652] ppid=31650 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31652/stat : 31652 (npSolver-wbo-It) S 31650 31652 29754 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386750070 9367552 274 33554432000 4194304 5064252 140735421177024 140735421175936 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31652/statm: 2287 274 233 213 0 72 0
[pid=31653] ppid=31652 vsize=412972 CPUtime=3.08 cores=1,3,5,7
/proc/31653/stat : 31653 (npSolver-wbo) R 31652 31652 29754 0 -1 4202496 28136 0 0 0 295 13 0 0 20 0 1 0 386750070 422883328 71568 33554432000 4194304 6006132 140734518827712 140734518821272 4537479 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31653/statm: 103243 71568 162 443 0 102796 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 422120
[startup+6.30027 s]
/proc/loadavg: 2.07 2.06 2.10 3/179 31656
/proc/meminfo: memFree=30305760/32873852 swapFree=6864/6864
[pid=31652] ppid=31650 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31652/stat : 31652 (npSolver-wbo-It) S 31650 31652 29754 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386750070 9367552 274 33554432000 4194304 5064252 140735421177024 140735421175936 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31652/statm: 2287 274 233 213 0 72 0
[pid=31653] ppid=31652 vsize=675116 CPUtime=6.29 cores=1,3,5,7
/proc/31653/stat : 31653 (npSolver-wbo) R 31652 31652 29754 0 -1 4202496 30871 0 0 0 603 26 0 0 20 0 1 0 386750070 691318784 143668 33554432000 4194304 6006132 140734518827712 140734518823544 5056756 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31653/statm: 168779 143668 164 443 0 168332 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 684264
[startup+12.7003 s]
/proc/loadavg: 2.07 2.06 2.10 3/179 31735
/proc/meminfo: memFree=29308348/32873852 swapFree=6864/6864
[pid=31652] ppid=31650 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31652/stat : 31652 (npSolver-wbo-It) S 31650 31652 29754 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386750070 9367552 274 33554432000 4194304 5064252 140735421177024 140735421175936 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31652/statm: 2287 274 233 213 0 72 0
[pid=31653] ppid=31652 vsize=675120 CPUtime=7.03 cores=1,3,5,7
/proc/31653/stat : 31653 (npSolver-wbo) S 31652 31652 29754 0 -1 4204032 30887 0 0 0 619 84 0 0 20 0 1 0 386750070 691322880 143684 33554432000 4194304 6006132 140734518827712 140734518823128 5252949 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31653/statm: 168780 143684 177 443 0 168333 0
Current children cumulated CPU time (s) 7.03
Current children cumulated vsize (KiB) 684268
heavy processes:
%CPU=33 pid=31663 uid=0 cmd=
Solver just ended. Dumping a history of the last processes samples
[startup+20.1003 s]
/proc/loadavg: 2.36 2.12 2.12 3/180 31746
/proc/meminfo: memFree=29264600/32873852 swapFree=6864/6864
[pid=31652] ppid=31650 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31652/stat : 31652 (npSolver-wbo-It) S 31650 31652 29754 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386750070 9367552 274 33554432000 4194304 5064252 140735421177024 140735421175936 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31652/statm: 2287 274 233 213 0 72 0
[pid=31653] ppid=31652 vsize=675120 CPUtime=7.03 cores=1,3,5,7
/proc/31653/stat : 31653 (npSolver-wbo) S 31652 31652 29754 0 -1 4204032 30887 0 0 0 619 84 0 0 20 0 1 0 386750070 691322880 143684 33554432000 4194304 6006132 140734518827712 140734518823128 5252949 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31653/statm: 168780 143684 177 443 0 168333 0
Current children cumulated CPU time (s) 7.03
Current children cumulated vsize (KiB) 684268
[startup+23.3003 s]
/proc/loadavg: 2.49 2.16 2.13 2/180 31746
/proc/meminfo: memFree=29263988/32873852 swapFree=6864/6864
[pid=31652] ppid=31650 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31652/stat : 31652 (npSolver-wbo-It) S 31650 31652 29754 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386750070 9367552 274 33554432000 4194304 5064252 140735421177024 140735421175936 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31652/statm: 2287 274 233 213 0 72 0
[pid=31653] ppid=31652 vsize=675120 CPUtime=7.03 cores=1,3,5,7
/proc/31653/stat : 31653 (npSolver-wbo) S 31652 31652 29754 0 -1 4204032 30887 0 0 0 619 84 0 0 20 0 1 0 386750070 691322880 143684 33554432000 4194304 6006132 140734518827712 140734518823128 5252949 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31653/statm: 168780 143684 177 443 0 168333 0
Current children cumulated CPU time (s) 7.03
Current children cumulated vsize (KiB) 684268
[startup+24.1068 s]
/proc/loadavg: 2.49 2.16 2.13 2/180 31746
/proc/meminfo: memFree=29263988/32873852 swapFree=6864/6864
[pid=31652] ppid=31650 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31652/stat : 31652 (npSolver-wbo-It) S 31650 31652 29754 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386750070 9367552 274 33554432000 4194304 5064252 140735421177024 140735421175936 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31652/statm: 2287 274 233 213 0 72 0
[pid=31653] ppid=31652 vsize=675120 CPUtime=7.03 cores=1,3,5,7
/proc/31653/stat : 31653 (npSolver-wbo) S 31652 31652 29754 0 -1 4204032 30887 0 0 0 619 84 0 0 20 0 1 0 386750070 691322880 143684 33554432000 4194304 6006132 140734518827712 140734518823128 5252949 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31653/statm: 168780 143684 177 443 0 168333 0
Current children cumulated CPU time (s) 7.03
Current children cumulated vsize (KiB) 684268
[startup+24.9003 s]
/proc/loadavg: 2.49 2.16 2.13 2/180 31746
/proc/meminfo: memFree=29263988/32873852 swapFree=6864/6864
[pid=31652] ppid=31650 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31652/stat : 31652 (npSolver-wbo-It) S 31650 31652 29754 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386750070 9367552 274 33554432000 4194304 5064252 140735421177024 140735421175936 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31652/statm: 2287 274 233 213 0 72 0
[pid=31653] ppid=31652 vsize=675120 CPUtime=7.03 cores=1,3,5,7
/proc/31653/stat : 31653 (npSolver-wbo) S 31652 31652 29754 0 -1 4204032 30887 0 0 0 619 84 0 0 20 0 1 0 386750070 691322880 143684 33554432000 4194304 6006132 140734518827712 140734518823128 5252949 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31653/statm: 168780 143684 177 443 0 168333 0
Current children cumulated CPU time (s) 7.03
Current children cumulated vsize (KiB) 684268
[startup+25.1003 s]
/proc/loadavg: 2.49 2.16 2.13 2/180 31746
/proc/meminfo: memFree=29264112/32873852 swapFree=6864/6864
[pid=31652] ppid=31650 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31652/stat : 31652 (npSolver-wbo-It) S 31650 31652 29754 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386750070 9367552 274 33554432000 4194304 5064252 140735421177024 140735421175936 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31652/statm: 2287 274 233 213 0 72 0
[pid=31653] ppid=31652 vsize=675120 CPUtime=7.03 cores=1,3,5,7
/proc/31653/stat : 31653 (npSolver-wbo) S 31652 31652 29754 0 -1 4204032 30887 0 0 0 619 84 0 0 20 0 1 0 386750070 691322880 143684 33554432000 4194304 6006132 140734518827712 140734518823128 5252949 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31653/statm: 168780 143684 177 443 0 168333 0
Current children cumulated CPU time (s) 7.03
Current children cumulated vsize (KiB) 684268
[startup+25.2063 s]
/proc/loadavg: 2.49 2.16 2.13 2/180 31746
/proc/meminfo: memFree=29264112/32873852 swapFree=6864/6864
[pid=31652] ppid=31650 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31652/stat : 31652 (npSolver-wbo-It) S 31650 31652 29754 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386750070 9367552 274 33554432000 4194304 5064252 140735421177024 140735421175936 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31652/statm: 2287 274 233 213 0 72 0
[pid=31653] ppid=31652 vsize=675120 CPUtime=7.03 cores=1,3,5,7
/proc/31653/stat : 31653 (npSolver-wbo) S 31652 31652 29754 0 -1 4204032 30887 0 0 0 619 84 0 0 20 0 1 0 386750070 691322880 143684 33554432000 4194304 6006132 140734518827712 140734518823128 5252949 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31653/statm: 168780 143684 177 443 0 168333 0
Current children cumulated CPU time (s) 7.03
Current children cumulated vsize (KiB) 684268
Child status: 0
Real time (s): 25.2931
CPU time (s): 7.05093
CPU user time (s): 6.19106
CPU system time (s): 0.859869
CPU usage (%): 27.8769
Max. virtual memory (cumulated for all children) (KiB): 1025944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.19106
system time used= 0.859869
maximum resident set size= 836472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31261
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= 145170
involuntary context switches= 10
runsolver used 0.050992 second user time and 0.144977 second system time
The end