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-3750398-1339120376/watcher-3750398-1339120376 -o /tmp/evaluation-result-3750398-1339120376/solver-3750398-1339120376 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750398-1339120376.opb 1409383400 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.00 2.00 2.00 3/179 12254
/proc/meminfo: memFree=29997180/32873844 swapFree=7636/7636
[pid=12254] ppid=12252 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12254/stat : 12254 (npSolver-pbo.sh) S 12252 12254 9764 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378166221 9367552 274 33554432000 4194304 5064252 140734604386496 140734604385408 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12254/statm: 2287 274 233 213 0 72 0
[startup+0.0830389 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12254
/proc/meminfo: memFree=29997180/32873844 swapFree=7636/7636
[pid=12254] ppid=12252 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12254/stat : 12254 (npSolver-pbo.sh) S 12252 12254 9764 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378166221 9367552 274 33554432000 4194304 5064252 140734604386496 140734604385408 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12254/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100197 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12254
/proc/meminfo: memFree=29997180/32873844 swapFree=7636/7636
[pid=12254] ppid=12252 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12254/stat : 12254 (npSolver-pbo.sh) S 12252 12254 9764 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378166221 9367552 274 33554432000 4194304 5064252 140734604386496 140734604385408 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12254/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300276 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12254
/proc/meminfo: memFree=29997180/32873844 swapFree=7636/7636
[pid=12254] ppid=12252 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12254/stat : 12254 (npSolver-pbo.sh) S 12252 12254 9764 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378166221 9367552 274 33554432000 4194304 5064252 140734604386496 140734604385408 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12254/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700227 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12254
/proc/meminfo: memFree=29997180/32873844 swapFree=7636/7636
[pid=12254] ppid=12252 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12254/stat : 12254 (npSolver-pbo.sh) S 12252 12254 9764 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378166221 9367552 274 33554432000 4194304 5064252 140734604386496 140734604385408 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12254/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12282
/proc/meminfo: memFree=29982716/32873844 swapFree=7636/7636
[pid=12254] ppid=12252 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12254/stat : 12254 (npSolver-pbo.sh) S 12252 12254 9764 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378166221 9367552 274 33554432000 4194304 5064252 140734604386496 140734604385408 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12254/statm: 2287 274 233 213 0 72 0
[pid=12255] ppid=12254 vsize=8180 CPUtime=1.39 cores=1,3,5,7
/proc/12255/stat : 12255 (npSolver-pbo) S 12254 12254 9764 0 -1 4202496 5374 20176 0 0 10 3 121 5 20 0 1 0 378166221 8376320 1731 33554432000 4194304 6004724 140737330562352 140737330554704 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12255/statm: 2045 1731 172 442 0 1599 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 17328
[startup+3.10035 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12289
/proc/meminfo: memFree=29951060/32873844 swapFree=7636/7636
[pid=12254] ppid=12252 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12254/stat : 12254 (npSolver-pbo.sh) S 12252 12254 9764 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378166221 9367552 274 33554432000 4194304 5064252 140734604386496 140734604385408 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12254/statm: 2287 274 233 213 0 72 0
[pid=12255] ppid=12254 vsize=8180 CPUtime=1.39 cores=1,3,5,7
/proc/12255/stat : 12255 (npSolver-pbo) S 12254 12254 9764 0 -1 4202496 5374 20176 0 0 10 3 121 5 20 0 1 0 378166221 8376320 1731 33554432000 4194304 6004724 140737330562352 140737330554704 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12255/statm: 2045 1731 172 442 0 1599 0
[pid=12288] ppid=12255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12288/stat : 12288 (satsolver.sh) S 12255 12254 9764 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378166363 9367552 267 33554432000 4194304 5064252 140735432227312 140735432226224 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12288/statm: 2287 267 226 213 0 72 0
[pid=12289] ppid=12288 vsize=14032 CPUtime=1.67 cores=1,3,5,7
/proc/12289/stat : 12289 (glucose) R 12288 12254 9764 0 -1 4202496 4040 0 0 0 167 0 0 0 20 0 1 0 378166363 14368768 2983 33554432000 4194304 5208918 140735503441312 140735503439256 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12289/statm: 3508 2983 105 248 0 3257 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 40508
[startup+6.30034 s]
/proc/loadavg: 1.92 1.98 1.99 3/183 12310
/proc/meminfo: memFree=29951184/32873844 swapFree=7636/7636
[pid=12254] ppid=12252 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12254/stat : 12254 (npSolver-pbo.sh) S 12252 12254 9764 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378166221 9367552 274 33554432000 4194304 5064252 140734604386496 140734604385408 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12254/statm: 2287 274 233 213 0 72 0
[pid=12255] ppid=12254 vsize=8180 CPUtime=5.02 cores=1,3,5,7
/proc/12255/stat : 12255 (npSolver-pbo) S 12254 12254 9764 0 -1 4202496 6627 38824 0 0 14 4 473 11 20 0 1 0 378166221 8376320 1731 33554432000 4194304 6004724 140737330562352 140737330554704 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12255/statm: 2045 1731 172 442 0 1599 0
[pid=12309] ppid=12255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12309/stat : 12309 (satsolver.sh) S 12255 12254 9764 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378166735 9367552 267 33554432000 4194304 5064252 140733685189840 140733685188752 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12309/statm: 2287 267 226 213 0 72 0
[pid=12310] ppid=12309 vsize=10660 CPUtime=1.14 cores=1,3,5,7
/proc/12310/stat : 12310 (glucose) R 12309 12254 9764 0 -1 4202496 3098 0 0 0 114 0 0 0 20 0 1 0 378166735 10915840 2139 33554432000 4194304 5208918 140736739386544 140736739384568 4229757 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12310/statm: 2665 2139 105 248 0 2414 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 37136
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 12324
/proc/meminfo: memFree=29943556/32873844 swapFree=7636/7636
[pid=12254] ppid=12252 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12254/stat : 12254 (npSolver-pbo.sh) S 12252 12254 9764 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378166221 9367552 274 33554432000 4194304 5064252 140734604386496 140734604385408 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12254/statm: 2287 274 233 213 0 72 0
[pid=12255] ppid=12254 vsize=8180 CPUtime=8.46 cores=1,3,5,7
/proc/12255/stat : 12255 (npSolver-pbo) S 12254 12254 9764 0 -1 4202496 7470 52322 0 0 18 4 808 16 20 0 1 0 378166221 8376320 1731 33554432000 4194304 6004724 140737330562352 140737330554704 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12255/statm: 2045 1731 172 442 0 1599 0
[pid=12323] ppid=12255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12323/stat : 12323 (satsolver.sh) S 12255 12254 9764 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378167079 9367552 266 33554432000 4194304 5064252 140735761587520 140735761586432 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12323/statm: 2287 266 226 213 0 72 0
[pid=12324] ppid=12323 vsize=15832 CPUtime=4.1 cores=1,3,5,7
/proc/12324/stat : 12324 (glucose) R 12323 12254 9764 0 -1 4202496 4618 0 0 0 410 0 0 0 20 0 1 0 378167079 16211968 3520 33554432000 4194304 5208918 140735685190032 140735685187896 4211656 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12324/statm: 3958 3520 105 248 0 3707 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 42308
Solver just ended. Dumping a history of the last processes samples
[startup+14.307 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 12324
/proc/meminfo: memFree=29941828/32873844 swapFree=7636/7636
[pid=12254] ppid=12252 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12254/stat : 12254 (npSolver-pbo.sh) S 12252 12254 9764 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378166221 9367552 274 33554432000 4194304 5064252 140734604386496 140734604385408 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12254/statm: 2287 274 233 213 0 72 0
[pid=12255] ppid=12254 vsize=8180 CPUtime=8.46 cores=1,3,5,7
/proc/12255/stat : 12255 (npSolver-pbo) S 12254 12254 9764 0 -1 4202496 7470 52322 0 0 18 4 808 16 20 0 1 0 378166221 8376320 1731 33554432000 4194304 6004724 140737330562352 140737330554704 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12255/statm: 2045 1731 172 442 0 1599 0
[pid=12323] ppid=12255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12323/stat : 12323 (satsolver.sh) S 12255 12254 9764 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378167079 9367552 266 33554432000 4194304 5064252 140735761587520 140735761586432 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12323/statm: 2287 266 226 213 0 72 0
[pid=12324] ppid=12323 vsize=15832 CPUtime=5.71 cores=1,3,5,7
/proc/12324/stat : 12324 (glucose) R 12323 12254 9764 0 -1 4202496 4618 0 0 0 571 0 0 0 20 0 1 0 378167079 16211968 3520 33554432000 4194304 5208918 140735685190032 140735685187896 4228982 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12324/statm: 3958 3520 105 248 0 3707 0
Current children cumulated CPU time (s) 14.17
Current children cumulated vsize (KiB) 42308
[startup+15.1003 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 12324
/proc/meminfo: memFree=29941828/32873844 swapFree=7636/7636
[pid=12254] ppid=12252 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12254/stat : 12254 (npSolver-pbo.sh) S 12252 12254 9764 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378166221 9367552 274 33554432000 4194304 5064252 140734604386496 140734604385408 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12254/statm: 2287 274 233 213 0 72 0
[pid=12255] ppid=12254 vsize=8180 CPUtime=8.46 cores=1,3,5,7
/proc/12255/stat : 12255 (npSolver-pbo) S 12254 12254 9764 0 -1 4202496 7470 52322 0 0 18 4 808 16 20 0 1 0 378166221 8376320 1731 33554432000 4194304 6004724 140737330562352 140737330554704 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12255/statm: 2045 1731 172 442 0 1599 0
[pid=12323] ppid=12255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12323/stat : 12323 (satsolver.sh) S 12255 12254 9764 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378167079 9367552 266 33554432000 4194304 5064252 140735761587520 140735761586432 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12323/statm: 2287 266 226 213 0 72 0
[pid=12324] ppid=12323 vsize=15832 CPUtime=6.5 cores=1,3,5,7
/proc/12324/stat : 12324 (glucose) R 12323 12254 9764 0 -1 4202496 4618 0 0 0 650 0 0 0 20 0 1 0 378167079 16211968 3520 33554432000 4194304 5208918 140735685190032 140735685186344 4229374 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12324/statm: 3958 3520 105 248 0 3707 0
Current children cumulated CPU time (s) 14.96
Current children cumulated vsize (KiB) 42308
[startup+15.9003 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 12324
/proc/meminfo: memFree=29941828/32873844 swapFree=7636/7636
[pid=12254] ppid=12252 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12254/stat : 12254 (npSolver-pbo.sh) S 12252 12254 9764 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378166221 9367552 274 33554432000 4194304 5064252 140734604386496 140734604385408 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12254/statm: 2287 274 233 213 0 72 0
[pid=12255] ppid=12254 vsize=8180 CPUtime=8.46 cores=1,3,5,7
/proc/12255/stat : 12255 (npSolver-pbo) S 12254 12254 9764 0 -1 4202496 7470 52322 0 0 18 4 808 16 20 0 1 0 378166221 8376320 1731 33554432000 4194304 6004724 140737330562352 140737330554704 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12255/statm: 2045 1731 172 442 0 1599 0
[pid=12323] ppid=12255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12323/stat : 12323 (satsolver.sh) S 12255 12254 9764 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378167079 9367552 266 33554432000 4194304 5064252 140735761587520 140735761586432 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12323/statm: 2287 266 226 213 0 72 0
[pid=12324] ppid=12323 vsize=16860 CPUtime=7.3 cores=1,3,5,7
/proc/12324/stat : 12324 (glucose) R 12323 12254 9764 0 -1 4202496 4816 0 0 0 730 0 0 0 20 0 1 0 378167079 17264640 3708 33554432000 4194304 5208918 140735685190032 140735685187896 4229328 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12324/statm: 4215 3708 105 248 0 3964 0
Current children cumulated CPU time (s) 15.76
Current children cumulated vsize (KiB) 43336
[startup+16.1003 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 12324
/proc/meminfo: memFree=29941828/32873844 swapFree=7636/7636
[pid=12254] ppid=12252 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12254/stat : 12254 (npSolver-pbo.sh) S 12252 12254 9764 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378166221 9367552 274 33554432000 4194304 5064252 140734604386496 140734604385408 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12254/statm: 2287 274 233 213 0 72 0
[pid=12255] ppid=12254 vsize=8180 CPUtime=8.46 cores=1,3,5,7
/proc/12255/stat : 12255 (npSolver-pbo) S 12254 12254 9764 0 -1 4202496 7470 52322 0 0 18 4 808 16 20 0 1 0 378166221 8376320 1731 33554432000 4194304 6004724 140737330562352 140737330554704 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12255/statm: 2045 1731 172 442 0 1599 0
[pid=12323] ppid=12255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12323/stat : 12323 (satsolver.sh) S 12255 12254 9764 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378167079 9367552 266 33554432000 4194304 5064252 140735761587520 140735761586432 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12323/statm: 2287 266 226 213 0 72 0
[pid=12324] ppid=12323 vsize=16860 CPUtime=7.5 cores=1,3,5,7
/proc/12324/stat : 12324 (glucose) R 12323 12254 9764 0 -1 4202496 4878 0 0 0 750 0 0 0 20 0 1 0 378167079 17264640 3769 33554432000 4194304 5208918 140735685190032 140735685187896 4211674 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12324/statm: 4215 3769 105 248 0 3964 0
Current children cumulated CPU time (s) 15.96
Current children cumulated vsize (KiB) 43336
[startup+16.2006 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 12324
/proc/meminfo: memFree=29941828/32873844 swapFree=7636/7636
[pid=12254] ppid=12252 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12254/stat : 12254 (npSolver-pbo.sh) S 12252 12254 9764 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378166221 9367552 274 33554432000 4194304 5064252 140734604386496 140734604385408 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12254/statm: 2287 274 233 213 0 72 0
[pid=12255] ppid=12254 vsize=8180 CPUtime=16.07 cores=1,3,5,7
/proc/12255/stat : 12255 (npSolver-pbo) S 12254 12254 9764 0 -1 4202496 7476 57815 0 0 18 4 1568 17 20 0 1 0 378166221 8376320 1731 33554432000 4194304 6004724 140737330562352 140737330554192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12255/statm: 2045 1731 172 442 0 1599 0
Current children cumulated CPU time (s) 16.07
Current children cumulated vsize (KiB) 17328
Child status: 0
Real time (s): 16.2598
CPU time (s): 16.1615
CPU user time (s): 15.9186
CPU system time (s): 0.242963
CPU usage (%): 99.3956
Max. virtual memory (cumulated for all children) (KiB): 43336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.9186
system time used= 0.242963
maximum resident set size= 34120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69114
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 195
involuntary context switches= 125
runsolver used 0.023996 second user time and 0.112982 second system time
The end