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-3698807-1338049116/watcher-3698807-1338049116 -o /tmp/evaluation-result-3698807-1338049116/solver-3698807-1338049116 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3698807-1338049116.opb 800720970 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: 4.73 3.66 2.62 3/176 17563
/proc/meminfo: memFree=28046572/32873852 swapFree=6848/6848
[pid=17563] ppid=17561 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17563/stat : 17563 (npSolver-pbo-I.) S 17561 17563 14323 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271037499 9367552 274 33554432000 4194304 5064252 140736919829808 140736919828720 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17563/statm: 2287 274 233 213 0 72 0
[startup+0.0403819 s]
/proc/loadavg: 4.73 3.66 2.62 3/176 17563
/proc/meminfo: memFree=28046572/32873852 swapFree=6848/6848
[pid=17563] ppid=17561 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17563/stat : 17563 (npSolver-pbo-I.) S 17561 17563 14323 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271037499 9367552 274 33554432000 4194304 5064252 140736919829808 140736919828720 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17563/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100264 s]
/proc/loadavg: 4.73 3.66 2.62 3/176 17563
/proc/meminfo: memFree=28046572/32873852 swapFree=6848/6848
[pid=17563] ppid=17561 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17563/stat : 17563 (npSolver-pbo-I.) S 17561 17563 14323 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271037499 9367552 274 33554432000 4194304 5064252 140736919829808 140736919828720 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17563/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30023 s]
/proc/loadavg: 4.73 3.66 2.62 3/176 17563
/proc/meminfo: memFree=28046572/32873852 swapFree=6848/6848
[pid=17563] ppid=17561 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17563/stat : 17563 (npSolver-pbo-I.) S 17561 17563 14323 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271037499 9367552 274 33554432000 4194304 5064252 140736919829808 140736919828720 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17563/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700253 s]
/proc/loadavg: 4.73 3.66 2.62 3/176 17563
/proc/meminfo: memFree=28046572/32873852 swapFree=6848/6848
[pid=17563] ppid=17561 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17563/stat : 17563 (npSolver-pbo-I.) S 17561 17563 14323 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271037499 9367552 274 33554432000 4194304 5064252 140736919829808 140736919828720 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17563/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 4.73 3.66 2.62 3/178 17565
/proc/meminfo: memFree=27941436/32873852 swapFree=6848/6848
[pid=17563] ppid=17561 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17563/stat : 17563 (npSolver-pbo-I.) S 17561 17563 14323 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271037499 9367552 274 33554432000 4194304 5064252 140736919829808 140736919828720 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17563/statm: 2287 274 233 213 0 72 0
[pid=17564] ppid=17563 vsize=18496 CPUtime=1.49 cores=1,3,5,7
/proc/17564/stat : 17564 (npSolver-pbo) R 17563 17563 14323 0 -1 4202496 2741 0 0 0 149 0 0 0 20 0 1 0 271037499 18939904 3742 33554432000 4194304 5992684 140735972016720 140735972012168 4374668 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17564/statm: 4624 3742 145 440 0 4180 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27644
[startup+3.10026 s]
/proc/loadavg: 4.60 3.65 2.62 3/178 17565
/proc/meminfo: memFree=27834436/32873852 swapFree=6848/6848
[pid=17563] ppid=17561 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17563/stat : 17563 (npSolver-pbo-I.) S 17561 17563 14323 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271037499 9367552 274 33554432000 4194304 5064252 140736919829808 140736919828720 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17563/statm: 2287 274 233 213 0 72 0
[pid=17564] ppid=17563 vsize=34880 CPUtime=3.09 cores=1,3,5,7
/proc/17564/stat : 17564 (npSolver-pbo) R 17563 17563 14323 0 -1 4202496 3267 0 0 0 308 1 0 0 20 0 1 0 271037499 35717120 7326 33554432000 4194304 5992684 140735972016720 140735972012840 4571247 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17564/statm: 8720 7326 145 440 0 8276 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44028
[startup+6.30026 s]
/proc/loadavg: 4.60 3.65 2.62 3/178 17565
/proc/meminfo: memFree=27504764/32873852 swapFree=6848/6848
[pid=17563] ppid=17561 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17563/stat : 17563 (npSolver-pbo-I.) S 17561 17563 14323 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271037499 9367552 274 33554432000 4194304 5064252 140736919829808 140736919828720 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17563/statm: 2287 274 233 213 0 72 0
[pid=17564] ppid=17563 vsize=67648 CPUtime=6.29 cores=1,3,5,7
/proc/17564/stat : 17564 (npSolver-pbo) R 17563 17563 14323 0 -1 4202496 3810 0 0 0 627 2 0 0 20 0 1 0 271037499 69271552 15518 33554432000 4194304 5992684 140735972016720 140735972012840 4374614 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17564/statm: 16912 15518 145 440 0 16468 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 76796
[startup+12.7003 s]
/proc/loadavg: 4.20 3.59 2.62 3/178 17565
/proc/meminfo: memFree=26835752/32873852 swapFree=6848/6848
[pid=17563] ppid=17561 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17563/stat : 17563 (npSolver-pbo-I.) S 17561 17563 14323 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271037499 9367552 274 33554432000 4194304 5064252 140736919829808 140736919828720 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17563/statm: 2287 274 233 213 0 72 0
[pid=17564] ppid=17563 vsize=133184 CPUtime=12.68 cores=1,3,5,7
/proc/17564/stat : 17564 (npSolver-pbo) R 17563 17563 14323 0 -1 4202496 4384 0 0 0 1264 4 0 0 20 0 1 0 271037499 136380416 31390 33554432000 4194304 5992684 140735972016720 140735972012456 4768661 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17564/statm: 33296 31390 145 440 0 32852 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 142332
Solver just ended. Dumping a history of the last processes samples
[startup+15.9004 s]
/proc/loadavg: 4.20 3.59 2.62 2/179 17566
/proc/meminfo: memFree=26203568/32873852 swapFree=6848/6848
[pid=17563] ppid=17561 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17563/stat : 17563 (npSolver-pbo-I.) S 17561 17563 14323 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271037499 9367552 274 33554432000 4194304 5064252 140736919829808 140736919828720 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17563/statm: 2287 274 233 213 0 72 0
[pid=17564] ppid=17563 vsize=264500 CPUtime=14.65 cores=1,3,5,7
/proc/17564/stat : 17564 (npSolver-pbo) S 17563 17563 14323 0 -1 4204032 5016 0 0 0 1444 21 0 0 20 0 1 0 271037499 270848000 36046 33554432000 4194304 5992684 140735972016720 140735972013176 4336000 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/17564/statm: 66125 36046 155 440 0 65681 0
Current children cumulated CPU time (s) 14.65
Current children cumulated vsize (KiB) 273648
[startup+17.5004 s]
/proc/loadavg: 4.10 3.58 2.62 2/179 17566
/proc/meminfo: memFree=25995884/32873852 swapFree=6848/6848
[pid=17563] ppid=17561 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17563/stat : 17563 (npSolver-pbo-I.) S 17561 17563 14323 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271037499 9367552 274 33554432000 4194304 5064252 140736919829808 140736919828720 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17563/statm: 2287 274 233 213 0 72 0
[pid=17564] ppid=17563 vsize=264500 CPUtime=14.65 cores=1,3,5,7
/proc/17564/stat : 17564 (npSolver-pbo) S 17563 17563 14323 0 -1 4204032 5016 0 0 0 1444 21 0 0 20 0 1 0 271037499 270848000 36046 33554432000 4194304 5992684 140735972016720 140735972013176 4336000 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/17564/statm: 66125 36046 155 440 0 65681 0
Current children cumulated CPU time (s) 14.65
Current children cumulated vsize (KiB) 273648
[startup+19.1004 s]
/proc/loadavg: 4.10 3.58 2.62 2/179 17566
/proc/meminfo: memFree=25890868/32873852 swapFree=6848/6848
[pid=17563] ppid=17561 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17563/stat : 17563 (npSolver-pbo-I.) S 17561 17563 14323 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271037499 9367552 274 33554432000 4194304 5064252 140736919829808 140736919828720 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17563/statm: 2287 274 233 213 0 72 0
[pid=17564] ppid=17563 vsize=264500 CPUtime=14.65 cores=1,3,5,7
/proc/17564/stat : 17564 (npSolver-pbo) S 17563 17563 14323 0 -1 4204032 5016 0 0 0 1444 21 0 0 20 0 1 0 271037499 270848000 36046 33554432000 4194304 5992684 140735972016720 140735972013176 4336000 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/17564/statm: 66125 36046 155 440 0 65681 0
Current children cumulated CPU time (s) 14.65
Current children cumulated vsize (KiB) 273648
[startup+19.9004 s]
/proc/loadavg: 4.10 3.58 2.62 2/179 17566
/proc/meminfo: memFree=25789016/32873852 swapFree=6848/6848
[pid=17563] ppid=17561 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17563/stat : 17563 (npSolver-pbo-I.) S 17561 17563 14323 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271037499 9367552 274 33554432000 4194304 5064252 140736919829808 140736919828720 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17563/statm: 2287 274 233 213 0 72 0
[pid=17564] ppid=17563 vsize=264500 CPUtime=14.65 cores=1,3,5,7
/proc/17564/stat : 17564 (npSolver-pbo) S 17563 17563 14323 0 -1 4204032 5016 0 0 0 1444 21 0 0 20 0 1 0 271037499 270848000 36046 33554432000 4194304 5992684 140735972016720 140735972013176 4336000 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/17564/statm: 66125 36046 155 440 0 65681 0
Current children cumulated CPU time (s) 14.65
Current children cumulated vsize (KiB) 273648
[startup+20.1004 s]
/proc/loadavg: 4.10 3.58 2.62 2/179 17566
/proc/meminfo: memFree=25789016/32873852 swapFree=6848/6848
[pid=17563] ppid=17561 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17563/stat : 17563 (npSolver-pbo-I.) S 17561 17563 14323 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271037499 9367552 274 33554432000 4194304 5064252 140736919829808 140736919828720 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17563/statm: 2287 274 233 213 0 72 0
[pid=17564] ppid=17563 vsize=264500 CPUtime=14.65 cores=1,3,5,7
/proc/17564/stat : 17564 (npSolver-pbo) S 17563 17563 14323 0 -1 4204032 5016 0 0 0 1444 21 0 0 20 0 1 0 271037499 270848000 36046 33554432000 4194304 5992684 140735972016720 140735972013176 4336000 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/17564/statm: 66125 36046 155 440 0 65681 0
Current children cumulated CPU time (s) 14.65
Current children cumulated vsize (KiB) 273648
[startup+20.2004 s]
/proc/loadavg: 4.10 3.58 2.62 2/179 17566
/proc/meminfo: memFree=25789016/32873852 swapFree=6848/6848
[pid=17563] ppid=17561 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17563/stat : 17563 (npSolver-pbo-I.) S 17561 17563 14323 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271037499 9367552 274 33554432000 4194304 5064252 140736919829808 140736919828720 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17563/statm: 2287 274 233 213 0 72 0
[pid=17564] ppid=17563 vsize=264500 CPUtime=14.65 cores=1,3,5,7
/proc/17564/stat : 17564 (npSolver-pbo) S 17563 17563 14323 0 -1 4204032 5016 0 0 0 1444 21 0 0 20 0 1 0 271037499 270848000 36046 33554432000 4194304 5992684 140735972016720 140735972013176 4336000 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/17564/statm: 66125 36046 155 440 0 65681 0
Current children cumulated CPU time (s) 14.65
Current children cumulated vsize (KiB) 273648
Child status: 0
Real time (s): 20.274
CPU time (s): 14.6608
CPU user time (s): 14.4478
CPU system time (s): 0.212967
CPU usage (%): 72.3131
Max. virtual memory (cumulated for all children) (KiB): 404476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.4478
system time used= 0.212967
maximum resident set size= 264824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5390
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= 65430
involuntary context switches= 18
runsolver used 0.058991 second user time and 0.152976 second system time
The end