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-3697328-1338085090/watcher-3697328-1338085090 -o /tmp/evaluation-result-3697328-1338085090/solver-3697328-1338085090 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3697328-1338085090.opb 311128807 HOME HOME
running on 4 cores: 0,2,4,6
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.22 2.27 2.20 3/181 10396
/proc/meminfo: memFree=18679032/32873844 swapFree=7124/7124
[pid=10396] ppid=10394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10396/stat : 10396 (npSolver-pbo-It) S 10394 10396 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274635134 9367552 274 33554432000 4194304 5064252 140734858914816 140734858913728 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10396/statm: 2287 274 233 213 0 72 0
[startup+0.00973096 s]
/proc/loadavg: 2.22 2.27 2.20 3/181 10396
/proc/meminfo: memFree=18679032/32873844 swapFree=7124/7124
[pid=10396] ppid=10394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10396/stat : 10396 (npSolver-pbo-It) S 10394 10396 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274635134 9367552 274 33554432000 4194304 5064252 140734858914816 140734858913728 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10396/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100255 s]
/proc/loadavg: 2.22 2.27 2.20 3/181 10396
/proc/meminfo: memFree=18679032/32873844 swapFree=7124/7124
[pid=10396] ppid=10394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10396/stat : 10396 (npSolver-pbo-It) S 10394 10396 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274635134 9367552 274 33554432000 4194304 5064252 140734858914816 140734858913728 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10396/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300218 s]
/proc/loadavg: 2.22 2.27 2.20 3/181 10396
/proc/meminfo: memFree=18679032/32873844 swapFree=7124/7124
[pid=10396] ppid=10394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10396/stat : 10396 (npSolver-pbo-It) S 10394 10396 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274635134 9367552 274 33554432000 4194304 5064252 140734858914816 140734858913728 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10396/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.933285 s]
/proc/loadavg: 2.22 2.27 2.20 3/181 10396
/proc/meminfo: memFree=18679032/32873844 swapFree=7124/7124
[pid=10396] ppid=10394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10396/stat : 10396 (npSolver-pbo-It) S 10394 10396 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274635134 9367552 274 33554432000 4194304 5064252 140734858914816 140734858913728 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10396/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5002 s]
/proc/loadavg: 2.22 2.27 2.20 3/183 10398
/proc/meminfo: memFree=18668844/32873844 swapFree=7124/7124
[pid=10396] ppid=10394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10396/stat : 10396 (npSolver-pbo-It) S 10394 10396 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274635134 9367552 274 33554432000 4194304 5064252 140734858914816 140734858913728 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10396/statm: 2287 274 233 213 0 72 0
[pid=10397] ppid=10396 vsize=10308 CPUtime=1.49 cores=0,2,4,6
/proc/10397/stat : 10397 (npSolver-pbo) R 10396 10396 4265 0 -1 4202496 2013 0 0 0 149 0 0 0 20 0 1 0 274635134 10555392 1487 33554432000 4194304 5992684 140736620499440 140736620495176 4483410 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10397/statm: 2577 1487 146 440 0 2133 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19456
[startup+3.10028 s]
/proc/loadavg: 2.22 2.27 2.20 3/183 10398
/proc/meminfo: memFree=18665128/32873844 swapFree=7124/7124
[pid=10396] ppid=10394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10396/stat : 10396 (npSolver-pbo-It) S 10394 10396 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274635134 9367552 274 33554432000 4194304 5064252 140734858914816 140734858913728 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10396/statm: 2287 274 233 213 0 72 0
[pid=10397] ppid=10396 vsize=18632 CPUtime=3.08 cores=0,2,4,6
/proc/10397/stat : 10397 (npSolver-pbo) R 10396 10396 4265 0 -1 4202496 2557 0 0 0 308 0 0 0 20 0 1 0 274635134 19079168 3049 33554432000 4194304 5992684 140736620499440 140736620495432 5179600 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10397/statm: 4658 3049 146 440 0 4214 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 27780
[startup+6.30025 s]
/proc/loadavg: 2.28 2.28 2.20 3/183 10398
/proc/meminfo: memFree=18658976/32873844 swapFree=7124/7124
[pid=10396] ppid=10394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10396/stat : 10396 (npSolver-pbo-It) S 10394 10396 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274635134 9367552 274 33554432000 4194304 5064252 140734858914816 140734858913728 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10396/statm: 2287 274 233 213 0 72 0
[pid=10397] ppid=10396 vsize=35388 CPUtime=6.28 cores=0,2,4,6
/proc/10397/stat : 10397 (npSolver-pbo) R 10396 10396 4265 0 -1 4202496 3141 0 0 0 627 1 0 0 20 0 1 0 274635134 36237312 6691 33554432000 4194304 5992684 140736620499440 140736620495560 5179600 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10397/statm: 8847 6691 146 440 0 8403 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 44536
[startup+12.7003 s]
/proc/loadavg: 2.26 2.27 2.20 3/183 10398
/proc/meminfo: memFree=18632468/32873844 swapFree=7124/7124
[pid=10396] ppid=10394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10396/stat : 10396 (npSolver-pbo-It) S 10394 10396 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274635134 9367552 274 33554432000 4194304 5064252 140734858914816 140734858913728 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10396/statm: 2287 274 233 213 0 72 0
[pid=10397] ppid=10396 vsize=68664 CPUtime=12.68 cores=0,2,4,6
/proc/10397/stat : 10397 (npSolver-pbo) R 10396 10396 4265 0 -1 4202496 3797 0 0 0 1265 3 0 0 20 0 1 0 274635134 70311936 12952 33554432000 4194304 5992684 140736620499440 140736620495560 4374596 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10397/statm: 17166 12952 146 440 0 16722 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 77812
[startup+25.5003 s]
/proc/loadavg: 2.20 2.26 2.20 3/183 10398
/proc/meminfo: memFree=18583308/32873844 swapFree=7124/7124
[pid=10396] ppid=10394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10396/stat : 10396 (npSolver-pbo-It) S 10394 10396 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274635134 9367552 274 33554432000 4194304 5064252 140734858914816 140734858913728 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10396/statm: 2287 274 233 213 0 72 0
[pid=10397] ppid=10396 vsize=135244 CPUtime=25.48 cores=0,2,4,6
/proc/10397/stat : 10397 (npSolver-pbo) R 10396 10396 4265 0 -1 4202496 4592 0 0 0 2541 7 0 0 20 0 1 0 274635134 138489856 26490 33554432000 4194304 5992684 140736620499440 140736620495560 4375112 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10397/statm: 33811 26490 149 440 0 33367 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 144392
[startup+51.1067 s]
/proc/loadavg: 2.13 2.24 2.19 3/183 10398
/proc/meminfo: memFree=18460568/32873844 swapFree=7124/7124
[pid=10396] ppid=10394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10396/stat : 10396 (npSolver-pbo-It) S 10394 10396 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274635134 9367552 274 33554432000 4194304 5064252 140734858914816 140734858913728 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10396/statm: 2287 274 233 213 0 72 0
[pid=10397] ppid=10396 vsize=268304 CPUtime=51.09 cores=0,2,4,6
/proc/10397/stat : 10397 (npSolver-pbo) R 10396 10396 4265 0 -1 4202496 5654 0 0 0 5094 15 0 0 20 0 1 0 274635134 274743296 56104 33554432000 4194304 5992684 140736620499440 140736620495176 4375487 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10397/statm: 67076 56104 149 440 0 66632 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 277452
Solver just ended. Dumping a history of the last processes samples
[startup+51.6003 s]
/proc/loadavg: 2.13 2.24 2.19 3/183 10398
/proc/meminfo: memFree=18460568/32873844 swapFree=7124/7124
[pid=10396] ppid=10394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10396/stat : 10396 (npSolver-pbo-It) S 10394 10396 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274635134 9367552 274 33554432000 4194304 5064252 140734858914816 140734858913728 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10396/statm: 2287 274 233 213 0 72 0
[pid=10397] ppid=10396 vsize=268308 CPUtime=51.58 cores=0,2,4,6
/proc/10397/stat : 10397 (npSolver-pbo) R 10396 10396 4265 0 -1 4202496 5658 0 0 0 5143 15 0 0 20 0 1 0 274635134 274747392 56619 33554432000 4194304 5992684 140736620499440 140736620495176 4951506 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10397/statm: 67077 56619 149 440 0 66633 0
Current children cumulated CPU time (s) 51.58
Current children cumulated vsize (KiB) 277456
[startup+58.0003 s]
/proc/loadavg: 2.12 2.23 2.19 3/182 10398
/proc/meminfo: memFree=18431904/32873844 swapFree=7124/7124
[pid=10396] ppid=10394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10396/stat : 10396 (npSolver-pbo-It) S 10394 10396 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274635134 9367552 274 33554432000 4194304 5064252 140734858914816 140734858913728 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10396/statm: 2287 274 233 213 0 72 0
[pid=10397] ppid=10396 vsize=268336 CPUtime=57.97 cores=0,2,4,6
/proc/10397/stat : 10397 (npSolver-pbo) R 10396 10396 4265 0 -1 4202496 5706 0 0 0 5781 16 0 0 20 0 1 0 274635134 274776064 63821 33554432000 4194304 5992684 140736620499440 140736620495560 4374815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10397/statm: 67084 63821 149 440 0 66640 0
Current children cumulated CPU time (s) 57.97
Current children cumulated vsize (KiB) 277484
[startup+64.4003 s]
/proc/loadavg: 2.10 2.23 2.18 2/184 10400
/proc/meminfo: memFree=17809992/32873844 swapFree=7124/7124
[pid=10396] ppid=10394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10396/stat : 10396 (npSolver-pbo-It) S 10394 10396 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274635134 9367552 274 33554432000 4194304 5064252 140734858914816 140734858913728 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10396/statm: 2287 274 233 213 0 72 0
[pid=10397] ppid=10396 vsize=539116 CPUtime=60.61 cores=0,2,4,6
/proc/10397/stat : 10397 (npSolver-pbo) S 10396 10396 4265 0 -1 4204032 8310 0 0 0 6010 51 0 0 20 0 1 0 274635134 552054784 70385 33554432000 4194304 5992684 140736620499440 140736620495912 4336000 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10397/statm: 134779 70385 166 440 0 134335 0
Current children cumulated CPU time (s) 60.61
Current children cumulated vsize (KiB) 548264
[startup+66.0003 s]
/proc/loadavg: 2.10 2.23 2.18 2/184 10400
/proc/meminfo: memFree=17810488/32873844 swapFree=7124/7124
[pid=10396] ppid=10394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10396/stat : 10396 (npSolver-pbo-It) S 10394 10396 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274635134 9367552 274 33554432000 4194304 5064252 140734858914816 140734858913728 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10396/statm: 2287 274 233 213 0 72 0
[pid=10397] ppid=10396 vsize=539116 CPUtime=60.61 cores=0,2,4,6
/proc/10397/stat : 10397 (npSolver-pbo) S 10396 10396 4265 0 -1 4204032 8310 0 0 0 6010 51 0 0 20 0 1 0 274635134 552054784 70385 33554432000 4194304 5992684 140736620499440 140736620495912 4336000 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10397/statm: 134779 70385 166 440 0 134335 0
Current children cumulated CPU time (s) 60.61
Current children cumulated vsize (KiB) 548264
[startup+66.8002 s]
/proc/loadavg: 2.10 2.23 2.18 2/184 10400
/proc/meminfo: memFree=17809744/32873844 swapFree=7124/7124
[pid=10396] ppid=10394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10396/stat : 10396 (npSolver-pbo-It) S 10394 10396 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274635134 9367552 274 33554432000 4194304 5064252 140734858914816 140734858913728 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10396/statm: 2287 274 233 213 0 72 0
[pid=10397] ppid=10396 vsize=539116 CPUtime=60.61 cores=0,2,4,6
/proc/10397/stat : 10397 (npSolver-pbo) S 10396 10396 4265 0 -1 4204032 8310 0 0 0 6010 51 0 0 20 0 1 0 274635134 552054784 70385 33554432000 4194304 5992684 140736620499440 140736620495912 4336000 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10397/statm: 134779 70385 166 440 0 134335 0
Current children cumulated CPU time (s) 60.61
Current children cumulated vsize (KiB) 548264
[startup+67.6065 s]
/proc/loadavg: 2.10 2.23 2.18 2/184 10400
/proc/meminfo: memFree=17809372/32873844 swapFree=7124/7124
[pid=10396] ppid=10394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10396/stat : 10396 (npSolver-pbo-It) S 10394 10396 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274635134 9367552 274 33554432000 4194304 5064252 140734858914816 140734858913728 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10396/statm: 2287 274 233 213 0 72 0
[pid=10397] ppid=10396 vsize=539116 CPUtime=60.61 cores=0,2,4,6
/proc/10397/stat : 10397 (npSolver-pbo) S 10396 10396 4265 0 -1 4204032 8310 0 0 0 6010 51 0 0 20 0 1 0 274635134 552054784 70385 33554432000 4194304 5992684 140736620499440 140736620495912 4336000 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10397/statm: 134779 70385 166 440 0 134335 0
Current children cumulated CPU time (s) 60.61
Current children cumulated vsize (KiB) 548264
[startup+68.0003 s]
/proc/loadavg: 2.10 2.23 2.18 2/184 10400
/proc/meminfo: memFree=17809372/32873844 swapFree=7124/7124
[pid=10396] ppid=10394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10396/stat : 10396 (npSolver-pbo-It) S 10394 10396 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274635134 9367552 274 33554432000 4194304 5064252 140734858914816 140734858913728 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10396/statm: 2287 274 233 213 0 72 0
[pid=10397] ppid=10396 vsize=539116 CPUtime=60.61 cores=0,2,4,6
/proc/10397/stat : 10397 (npSolver-pbo) S 10396 10396 4265 0 -1 4204032 8310 0 0 0 6010 51 0 0 20 0 1 0 274635134 552054784 70385 33554432000 4194304 5992684 140736620499440 140736620495912 4336000 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10397/statm: 134779 70385 166 440 0 134335 0
Current children cumulated CPU time (s) 60.61
Current children cumulated vsize (KiB) 548264
Child status: 0
Real time (s): 68.0123
CPU time (s): 60.6188
CPU user time (s): 60.1029
CPU system time (s): 0.515921
CPU usage (%): 89.1291
Max. virtual memory (cumulated for all children) (KiB): 807940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 60.1029
system time used= 0.515921
maximum resident set size= 535068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8684
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= 132756
involuntary context switches= 67
runsolver used 0.13098 second user time and 0.331949 second system time
The end