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-3752812-1339213450/watcher-3752812-1339213450 -o /tmp/evaluation-result-3752812-1339213450/solver-3752812-1339213450 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752812-1339213450.wbo 1346810494 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: 1.98 1.96 1.94 3/179 32431
/proc/meminfo: memFree=31155156/32873844 swapFree=7116/7116
[pid=32431] ppid=32429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32431/stat : 32431 (npSolver-wbo-It) S 32429 32431 3271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387473597 9367552 275 33554432000 4194304 5064252 140733855958208 140733855957120 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32431/statm: 2287 275 233 213 0 72 0
[startup+0.0799169 s]
/proc/loadavg: 1.98 1.96 1.94 3/179 32431
/proc/meminfo: memFree=31155156/32873844 swapFree=7116/7116
[pid=32431] ppid=32429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32431/stat : 32431 (npSolver-wbo-It) S 32429 32431 3271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387473597 9367552 275 33554432000 4194304 5064252 140733855958208 140733855957120 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32431/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100359 s]
/proc/loadavg: 1.98 1.96 1.94 3/179 32431
/proc/meminfo: memFree=31155156/32873844 swapFree=7116/7116
[pid=32431] ppid=32429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32431/stat : 32431 (npSolver-wbo-It) S 32429 32431 3271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387473597 9367552 275 33554432000 4194304 5064252 140733855958208 140733855957120 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32431/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300295 s]
/proc/loadavg: 1.98 1.96 1.94 3/179 32431
/proc/meminfo: memFree=31155156/32873844 swapFree=7116/7116
[pid=32431] ppid=32429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32431/stat : 32431 (npSolver-wbo-It) S 32429 32431 3271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387473597 9367552 275 33554432000 4194304 5064252 140733855958208 140733855957120 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32431/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700227 s]
/proc/loadavg: 1.98 1.96 1.94 3/179 32431
/proc/meminfo: memFree=31155156/32873844 swapFree=7116/7116
[pid=32431] ppid=32429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32431/stat : 32431 (npSolver-wbo-It) S 32429 32431 3271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387473597 9367552 275 33554432000 4194304 5064252 140733855958208 140733855957120 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32431/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 1.98 1.96 1.94 3/183 32435
/proc/meminfo: memFree=31106448/32873844 swapFree=7116/7116
[pid=32431] ppid=32429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32431/stat : 32431 (npSolver-wbo-It) S 32429 32431 3271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387473597 9367552 275 33554432000 4194304 5064252 140733855958208 140733855957120 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32431/statm: 2287 275 233 213 0 72 0
[pid=32432] ppid=32431 vsize=18572 CPUtime=0.35 cores=1,3,5,7
/proc/32432/stat : 32432 (npSolver-wbo) S 32431 32431 3271 0 -1 4202496 6247 0 0 0 26 9 0 0 20 0 1 0 387473597 19017728 4079 33554432000 4194304 6006132 140736486081408 140736486074512 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32432/statm: 4643 4079 157 443 0 4196 0
[pid=32434] ppid=32432 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32434/stat : 32434 (cp2_pre.sh) S 32432 32431 3271 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 387473633 9367552 277 33554432000 4194304 5064252 140734582385168 140734582383872 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32434/statm: 2287 277 234 213 0 72 0
[pid=32435] ppid=32434 vsize=34380 CPUtime=1.12 cores=1,3,5,7
/proc/32435/stat : 32435 (coprocessor) R 32434 32431 3271 0 -1 4202496 7359 0 0 0 112 0 0 0 20 0 1 0 387473633 35205120 8081 33554432000 4194304 6586260 140736938003248 140736937998568 5599267 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 8595 8081 190 584 0 8007 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 71248
[startup+3.10024 s]
/proc/loadavg: 1.98 1.96 1.94 3/184 32441
/proc/meminfo: memFree=31134696/32873844 swapFree=7116/7116
[pid=32431] ppid=32429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32431/stat : 32431 (npSolver-wbo-It) S 32429 32431 3271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387473597 9367552 275 33554432000 4194304 5064252 140733855958208 140733855957120 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32431/statm: 2287 275 233 213 0 72 0
[pid=32432] ppid=32431 vsize=121348 CPUtime=2.79 cores=1,3,5,7
/proc/32432/stat : 32432 (npSolver-wbo) R 32431 32431 3271 0 -1 4202496 27823 29005 0 0 71 18 182 8 20 0 1 0 387473597 124260352 28920 33554432000 4194304 6006132 140736486081408 140736486073432 4583817 0 0 4096 0 0 0 0 17 7 0 0 29 0 0
/proc/32432/statm: 30337 28920 192 443 0 29890 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 130496
[startup+6.30035 s]
/proc/loadavg: 1.98 1.96 1.94 3/181 32457
/proc/meminfo: memFree=30879108/32873844 swapFree=7116/7116
[pid=32431] ppid=32429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32431/stat : 32431 (npSolver-wbo-It) S 32429 32431 3271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387473597 9367552 275 33554432000 4194304 5064252 140733855958208 140733855957120 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32431/statm: 2287 275 233 213 0 72 0
[pid=32432] ppid=32431 vsize=367108 CPUtime=5.99 cores=1,3,5,7
/proc/32432/stat : 32432 (npSolver-wbo) R 32431 32431 3271 0 -1 4202496 30098 29005 0 0 382 27 182 8 20 0 1 0 387473597 375918592 85752 33554432000 4194304 6006132 140736486081408 140736486073752 4583839 0 0 4096 0 0 0 0 17 1 0 0 29 0 0
/proc/32432/statm: 91777 85752 192 443 0 91330 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 376256
[startup+12.7004 s]
/proc/loadavg: 1.98 1.96 1.94 3/181 32464
/proc/meminfo: memFree=30399544/32873844 swapFree=7116/7116
[pid=32431] ppid=32429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32431/stat : 32431 (npSolver-wbo-It) S 32429 32431 3271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387473597 9367552 275 33554432000 4194304 5064252 140733855958208 140733855957120 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32431/statm: 2287 275 233 213 0 72 0
[pid=32432] ppid=32431 vsize=1153540 CPUtime=12.39 cores=1,3,5,7
/proc/32432/stat : 32432 (npSolver-wbo) R 32431 32431 3271 0 -1 4202496 31730 29005 0 0 1000 49 182 8 20 0 1 0 387473597 1181224960 201464 33554432000 4194304 6006132 140736486081408 140736486073752 4583942 0 0 4096 0 0 0 0 17 3 0 0 29 0 0
/proc/32432/statm: 288385 201464 192 443 0 287938 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 1162688
[startup+25.5005 s]
/proc/loadavg: 2.14 1.99 1.95 3/183 32480
/proc/meminfo: memFree=27951956/32873844 swapFree=7116/7116
[pid=32431] ppid=32429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32431/stat : 32431 (npSolver-wbo-It) S 32429 32431 3271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387473597 9367552 275 33554432000 4194304 5064252 140733855958208 140733855957120 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32431/statm: 2287 275 233 213 0 72 0
[pid=32432] ppid=32431 vsize=1070092 CPUtime=14.79 cores=1,3,5,7
/proc/32432/stat : 32432 (npSolver-wbo) S 32431 32431 3271 0 -1 4202496 32791 29005 0 0 1113 176 182 8 20 0 1 0 387473597 1095774208 197531 33554432000 4194304 6006132 140736486081408 140736486072800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 212 0 0
/proc/32432/statm: 267523 197531 193 443 0 267076 0
[pid=32472] ppid=32432 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32472/stat : 32472 (satsolver.sh) S 32432 32431 3271 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387475292 9367552 266 33554432000 4194304 5064252 140734434688528 140734434687440 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32472/statm: 2287 266 226 213 0 72 0
[pid=32473] ppid=32472 vsize=2202192 CPUtime=8.53 cores=1,3,5,7
/proc/32473/stat : 32473 (glucose) R 32472 32431 3271 0 -1 4202496 180927 0 0 0 773 80 0 0 20 0 1 0 387475292 2255044608 421103 33554432000 4194304 5208918 140735696273568 140735695222968 4465602 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32473/statm: 550548 421104 70 248 0 550297 0
Current children cumulated CPU time (s) 23.32
Current children cumulated vsize (KiB) 3290580
[startup+51.1004 s]
/proc/loadavg: 2.15 2.01 1.96 3/183 32508
/proc/meminfo: memFree=27922344/32873844 swapFree=7116/7116
[pid=32431] ppid=32429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32431/stat : 32431 (npSolver-wbo-It) S 32429 32431 3271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387473597 9367552 275 33554432000 4194304 5064252 140733855958208 140733855957120 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32431/statm: 2287 275 233 213 0 72 0
[pid=32432] ppid=32431 vsize=1070092 CPUtime=14.79 cores=1,3,5,7
/proc/32432/stat : 32432 (npSolver-wbo) S 32431 32431 3271 0 -1 4202496 32791 29005 0 0 1113 176 182 8 20 0 1 0 387473597 1095774208 197531 33554432000 4194304 6006132 140736486081408 140736486072800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 212 0 0
/proc/32432/statm: 267523 197531 193 443 0 267076 0
[pid=32472] ppid=32432 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32472/stat : 32472 (satsolver.sh) S 32432 32431 3271 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387475292 9367552 266 33554432000 4194304 5064252 140734434688528 140734434687440 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32472/statm: 2287 266 226 213 0 72 0
[pid=32473] ppid=32472 vsize=1982508 CPUtime=34.12 cores=1,3,5,7
/proc/32473/stat : 32473 (glucose) R 32472 32431 3271 0 -1 4202496 214301 0 0 0 3315 97 0 0 20 0 1 0 387475292 2030088192 417201 33554432000 4194304 5208918 140735696273568 140735696271416 4205556 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32473/statm: 495627 417201 105 248 0 495376 0
Current children cumulated CPU time (s) 48.91
Current children cumulated vsize (KiB) 3070896
[startup+102.308 s]
/proc/loadavg: 2.11 2.02 1.96 3/183 32571
/proc/meminfo: memFree=27839196/32873844 swapFree=7116/7116
[pid=32431] ppid=32429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32431/stat : 32431 (npSolver-wbo-It) S 32429 32431 3271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387473597 9367552 275 33554432000 4194304 5064252 140733855958208 140733855957120 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32431/statm: 2287 275 233 213 0 72 0
[pid=32432] ppid=32431 vsize=1070092 CPUtime=14.79 cores=1,3,5,7
/proc/32432/stat : 32432 (npSolver-wbo) S 32431 32431 3271 0 -1 4202496 32791 29005 0 0 1113 176 182 8 20 0 1 0 387473597 1095774208 197531 33554432000 4194304 6006132 140736486081408 140736486072800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 212 0 0
/proc/32432/statm: 267523 197531 193 443 0 267076 0
[pid=32472] ppid=32432 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32472/stat : 32472 (satsolver.sh) S 32432 32431 3271 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387475292 9367552 266 33554432000 4194304 5064252 140734434688528 140734434687440 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32472/statm: 2287 266 226 213 0 72 0
[pid=32473] ppid=32472 vsize=1995344 CPUtime=85.33 cores=1,3,5,7
/proc/32473/stat : 32473 (glucose) R 32472 32431 3271 0 -1 4202496 217538 0 0 0 8433 100 0 0 20 0 1 0 387475292 2043232256 437301 33554432000 4194304 5208918 140735696273568 140735696271416 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32473/statm: 498836 437301 105 248 0 498585 0
Current children cumulated CPU time (s) 100.12
Current children cumulated vsize (KiB) 3083732
[startup+162.3 s]
/proc/loadavg: 2.20 2.06 1.98 3/183 32642
/proc/meminfo: memFree=27868312/32873844 swapFree=7116/7116
[pid=32431] ppid=32429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32431/stat : 32431 (npSolver-wbo-It) S 32429 32431 3271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387473597 9367552 275 33554432000 4194304 5064252 140733855958208 140733855957120 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32431/statm: 2287 275 233 213 0 72 0
[pid=32432] ppid=32431 vsize=1070092 CPUtime=14.79 cores=1,3,5,7
/proc/32432/stat : 32432 (npSolver-wbo) S 32431 32431 3271 0 -1 4202496 32791 29005 0 0 1113 176 182 8 20 0 1 0 387473597 1095774208 197531 33554432000 4194304 6006132 140736486081408 140736486072800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 212 0 0
/proc/32432/statm: 267523 197531 193 443 0 267076 0
[pid=32472] ppid=32432 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32472/stat : 32472 (satsolver.sh) S 32432 32431 3271 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387475292 9367552 266 33554432000 4194304 5064252 140734434688528 140734434687440 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32472/statm: 2287 266 226 213 0 72 0
[pid=32473] ppid=32472 vsize=2005308 CPUtime=145.31 cores=1,3,5,7
/proc/32473/stat : 32473 (glucose) R 32472 32431 3271 0 -1 4202496 220465 0 0 0 14421 110 0 0 20 0 1 0 387475292 2053435392 430883 33554432000 4194304 5208918 140735696273568 140735696271416 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32473/statm: 501327 430883 105 248 0 501076 0
Current children cumulated CPU time (s) 160.1
Current children cumulated vsize (KiB) 3093696
[startup+222.3 s]
/proc/loadavg: 2.11 2.06 1.98 3/183 32712
/proc/meminfo: memFree=27887416/32873844 swapFree=7116/7116
[pid=32431] ppid=32429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32431/stat : 32431 (npSolver-wbo-It) S 32429 32431 3271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387473597 9367552 275 33554432000 4194304 5064252 140733855958208 140733855957120 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32431/statm: 2287 275 233 213 0 72 0
[pid=32432] ppid=32431 vsize=1070092 CPUtime=14.79 cores=1,3,5,7
/proc/32432/stat : 32432 (npSolver-wbo) S 32431 32431 3271 0 -1 4202496 32791 29005 0 0 1113 176 182 8 20 0 1 0 387473597 1095774208 197531 33554432000 4194304 6006132 140736486081408 140736486072800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 212 0 0
/proc/32432/statm: 267523 197531 193 443 0 267076 0
[pid=32472] ppid=32432 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/32473/stat : 32473 (glucose) R 32472 32431 3271 0 -1 4202496 250555 0 0 0 140230 275 0 0 20 0 1 0 387475292 2513764352 485267 33554432000 4194304 5208918 140735696273568 140735696271416 4212343 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32473/statm: 613712 485267 105 248 0 613461 0
Current children cumulated CPU time (s) 1419.84
Current children cumulated vsize (KiB) 3543236
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 1789
/proc/meminfo: memFree=27691624/32873844 swapFree=7116/7116
[pid=32431] ppid=32429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32431/stat : 32431 (npSolver-wbo-It) S 32429 32431 3271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387473597 9367552 275 33554432000 4194304 5064252 140733855958208 140733855957120 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32431/statm: 2287 275 233 213 0 72 0
[pid=32432] ppid=32431 vsize=1070092 CPUtime=14.79 cores=1,3,5,7
/proc/32432/stat : 32432 (npSolver-wbo) S 32431 32431 3271 0 -1 4202496 32791 29005 0 0 1113 176 182 8 20 0 1 0 387473597 1095774208 197531 33554432000 4194304 6006132 140736486081408 140736486072800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 212 0 0
/proc/32432/statm: 267523 197531 193 443 0 267076 0
[pid=32472] ppid=32432 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32472/stat : 32472 (satsolver.sh) S 32432 32431 3271 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387475292 9367552 266 33554432000 4194304 5064252 140734434688528 140734434687440 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32472/statm: 2287 266 226 213 0 72 0
[pid=32473] ppid=32472 vsize=2108300 CPUtime=1465.03 cores=1,3,5,7
/proc/32473/stat : 32473 (glucose) R 32472 32431 3271 0 -1 4202496 251859 0 0 0 146215 288 0 0 20 0 1 0 387475292 2158899200 470930 33554432000 4194304 5208918 140735696273568 140735696269944 4229332 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32473/statm: 527075 470930 105 248 0 526824 0
Current children cumulated CPU time (s) 1479.82
Current children cumulated vsize (KiB) 3196688
[startup+1542.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 1870
/proc/meminfo: memFree=27629884/32873844 swapFree=7116/7116
[pid=32431] ppid=32429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32431/stat : 32431 (npSolver-wbo-It) S 32429 32431 3271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387473597 9367552 275 33554432000 4194304 5064252 140733855958208 140733855957120 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32431/statm: 2287 275 233 213 0 72 0
[pid=32432] ppid=32431 vsize=1070092 CPUtime=14.79 cores=1,3,5,7
/proc/32432/stat : 32432 (npSolver-wbo) S 32431 32431 3271 0 -1 4202496 32791 29005 0 0 1113 176 182 8 20 0 1 0 387473597 1095774208 197531 33554432000 4194304 6006132 140736486081408 140736486072800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 212 0 0
/proc/32432/statm: 267523 197531 193 443 0 267076 0
[pid=32472] ppid=32432 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32472/stat : 32472 (satsolver.sh) S 32432 32431 3271 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387475292 9367552 266 33554432000 4194304 5064252 140734434688528 140734434687440 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32472/statm: 2287 266 226 213 0 72 0
[pid=32473] ppid=32472 vsize=2459480 CPUtime=1525.03 cores=1,3,5,7
/proc/32473/stat : 32473 (glucose) R 32472 32431 3271 0 -1 4202496 252457 0 0 0 152209 294 0 0 20 0 1 0 387475292 2518507520 486166 33554432000 4194304 5208918 140735696273568 140735696271416 4229296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32473/statm: 614870 486166 105 248 0 614619 0
Current children cumulated CPU time (s) 1539.82
Current children cumulated vsize (KiB) 3547868
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 1943
/proc/meminfo: memFree=27706212/32873844 swapFree=7116/7116
[pid=32431] ppid=32429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32431/stat : 32431 (npSolver-wbo-It) S 32429 32431 3271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387473597 9367552 275 33554432000 4194304 5064252 140733855958208 140733855957120 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32431/statm: 2287 275 233 213 0 72 0
[pid=32432] ppid=32431 vsize=1070092 CPUtime=14.79 cores=1,3,5,7
/proc/32432/stat : 32432 (npSolver-wbo) S 32431 32431 3271 0 -1 4202496 32791 29005 0 0 1113 176 182 8 20 0 1 0 387473597 1095774208 197531 33554432000 4194304 6006132 140736486081408 140736486072800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 212 0 0
/proc/32432/statm: 267523 197531 193 443 0 267076 0
[pid=32472] ppid=32432 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32472/stat : 32472 (satsolver.sh) S 32432 32431 3271 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387475292 9367552 266 33554432000 4194304 5064252 140734434688528 140734434687440 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32472/statm: 2287 266 226 213 0 72 0
[pid=32473] ppid=32472 vsize=2112324 CPUtime=1585.01 cores=1,3,5,7
/proc/32473/stat : 32473 (glucose) R 32472 32431 3271 0 -1 4202496 253594 0 0 0 158193 308 0 0 20 0 1 0 387475292 2163019776 469611 33554432000 4194304 5208918 140735696273568 140735696271416 4229403 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32473/statm: 528081 469611 105 248 0 527830 0
Current children cumulated CPU time (s) 1599.8
Current children cumulated vsize (KiB) 3200712
[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 2013
/proc/meminfo: memFree=27634344/32873844 swapFree=7116/7116
[pid=32431] ppid=32429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32431/stat : 32431 (npSolver-wbo-It) S 32429 32431 3271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387473597 9367552 275 33554432000 4194304 5064252 140733855958208 140733855957120 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32431/statm: 2287 275 233 213 0 72 0
[pid=32432] ppid=32431 vsize=1070092 CPUtime=14.79 cores=1,3,5,7
/proc/32432/stat : 32432 (npSolver-wbo) S 32431 32431 3271 0 -1 4202496 32791 29005 0 0 1113 176 182 8 20 0 1 0 387473597 1095774208 197531 33554432000 4194304 6006132 140736486081408 140736486072800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 212 0 0
/proc/32432/statm: 267523 197531 193 443 0 267076 0
[pid=32472] ppid=32432 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32472/stat : 32472 (satsolver.sh) S 32432 32431 3271 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387475292 9367552 266 33554432000 4194304 5064252 140734434688528 140734434687440 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32472/statm: 2287 266 226 213 0 72 0
[pid=32473] ppid=32472 vsize=2463628 CPUtime=1645 cores=1,3,5,7
/proc/32473/stat : 32473 (glucose) R 32472 32431 3271 0 -1 4202496 254209 0 0 0 164187 313 0 0 20 0 1 0 387475292 2522755072 486667 33554432000 4194304 5208918 140735696273568 140735696269944 4229780 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32473/statm: 615907 486667 105 248 0 615656 0
Current children cumulated CPU time (s) 1659.79
Current children cumulated vsize (KiB) 3552016
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 2084
/proc/meminfo: memFree=27702612/32873844 swapFree=7116/7116
[pid=32431] ppid=32429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32431/stat : 32431 (npSolver-wbo-It) S 32429 32431 3271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387473597 9367552 275 33554432000 4194304 5064252 140733855958208 140733855957120 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32431/statm: 2287 275 233 213 0 72 0
[pid=32432] ppid=32431 vsize=1070092 CPUtime=14.79 cores=1,3,5,7
/proc/32432/stat : 32432 (npSolver-wbo) S 32431 32431 3271 0 -1 4202496 32791 29005 0 0 1113 176 182 8 20 0 1 0 387473597 1095774208 197531 33554432000 4194304 6006132 140736486081408 140736486072800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 212 0 0
/proc/32432/statm: 267523 197531 193 443 0 267076 0
[pid=32472] ppid=32432 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32472/stat : 32472 (satsolver.sh) S 32432 32431 3271 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387475292 9367552 266 33554432000 4194304 5064252 140734434688528 140734434687440 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32472/statm: 2287 266 226 213 0 72 0
[pid=32473] ppid=32472 vsize=2116128 CPUtime=1704.99 cores=1,3,5,7
/proc/32473/stat : 32473 (glucose) R 32472 32431 3271 0 -1 4202496 255325 0 0 0 170173 326 0 0 20 0 1 0 387475292 2166915072 470088 33554432000 4194304 5208918 140735696273568 140735696271416 4229517 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32473/statm: 529032 470088 105 248 0 528781 0
Current children cumulated CPU time (s) 1719.78
Current children cumulated vsize (KiB) 3204516
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 2179
/proc/meminfo: memFree=27725152/32873844 swapFree=7116/7116
[pid=32431] ppid=32429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32431/stat : 32431 (npSolver-wbo-It) S 32429 32431 3271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387473597 9367552 275 33554432000 4194304 5064252 140733855958208 140733855957120 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32431/statm: 2287 275 233 213 0 72 0
[pid=32432] ppid=32431 vsize=1070092 CPUtime=14.79 cores=1,3,5,7
/proc/32432/stat : 32432 (npSolver-wbo) S 32431 32431 3271 0 -1 4202496 32791 29005 0 0 1113 176 182 8 20 0 1 0 387473597 1095774208 197531 33554432000 4194304 6006132 140736486081408 140736486072800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 212 0 0
/proc/32432/statm: 267523 197531 193 443 0 267076 0
[pid=32472] ppid=32432 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32472/stat : 32472 (satsolver.sh) S 32432 32431 3271 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387475292 9367552 266 33554432000 4194304 5064252 140734434688528 140734434687440 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32472/statm: 2287 266 226 213 0 72 0
[pid=32473] ppid=32472 vsize=2118348 CPUtime=1764.98 cores=1,3,5,7
/proc/32473/stat : 32473 (glucose) R 32472 32431 3271 0 -1 4202496 255876 0 0 0 176171 327 0 0 20 0 1 0 387475292 2169188352 484436 33554432000 4194304 5208918 140735696273568 140735696271416 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32473/statm: 529587 484436 105 248 0 529336 0
Current children cumulated CPU time (s) 1779.77
Current children cumulated vsize (KiB) 3206736
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.6 s]
/proc/loadavg: 1.72 1.94 1.98 2/174 2179
/proc/meminfo: memFree=27703992/32873844 swapFree=7116/7116
[pid=32431] ppid=32429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32431/stat : 32431 (npSolver-wbo-It) S 32429 32431 3271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387473597 9367552 275 33554432000 4194304 5064252 140733855958208 140733855957120 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32431/statm: 2287 275 233 213 0 72 0
[pid=32432] ppid=32431 vsize=1070092 CPUtime=14.79 cores=1,3,5,7
/proc/32432/stat : 32432 (npSolver-wbo) S 32431 32431 3271 0 -1 4202496 32791 29005 0 0 1113 176 182 8 20 0 1 0 387473597 1095774208 197531 33554432000 4194304 6006132 140736486081408 140736486072800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 212 0 0
/proc/32432/statm: 267523 197531 193 443 0 267076 0
[pid=32472] ppid=32432 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32472/stat : 32472 (satsolver.sh) S 32432 32431 3271 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387475292 9367552 266 33554432000 4194304 5064252 140734434688528 140734434687440 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32472/statm: 2287 266 226 213 0 72 0
[pid=32473] ppid=32472 vsize=2468444 CPUtime=1785.28 cores=1,3,5,7
/proc/32473/stat : 32473 (glucose) R 32472 32431 3271 0 -1 4202496 256173 0 0 0 178197 331 0 0 20 0 1 0 387475292 2527686656 489839 33554432000 4194304 5208918 140735696273568 140735696269944 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32473/statm: 617111 489839 105 248 0 616860 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 3556832
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1802.6 s]
/proc/loadavg: 1.72 1.94 1.98 2/174 2179
/proc/meminfo: memFree=27703992/32873844 swapFree=7116/7116
[pid=32431] ppid=32429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32431/stat : 32431 (npSolver-wbo-It) S 32429 32431 3271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387473597 9367552 275 33554432000 4194304 5064252 140733855958208 140733855957120 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32431/statm: 2287 275 233 213 0 72 0
[pid=32432] ppid=32431 vsize=1070092 CPUtime=14.79 cores=1,3,5,7
/proc/32432/stat : 32432 (npSolver-wbo) S 32431 32431 3271 0 -1 4202496 32791 29005 0 0 1113 176 182 8 20 0 1 0 387473597 1095774208 197531 33554432000 4194304 6006132 140736486081408 140736486072800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 212 0 0
/proc/32432/statm: 267523 197531 193 443 0 267076 0
[pid=32472] ppid=32432 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32472/stat : 32472 (satsolver.sh) S 32432 32431 3271 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387475292 9367552 266 33554432000 4194304 5064252 140734434688528 140734434687440 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32472/statm: 2287 266 226 213 0 72 0
[pid=32473] ppid=32472 vsize=2468444 CPUtime=1785.28 cores=1,3,5,7
/proc/32473/stat : 32473 (glucose) R 32472 32431 3271 0 -1 4202496 256173 0 0 0 178197 331 0 0 20 0 1 0 387475292 2527686656 489839 33554432000 4194304 5208918 140735696273568 140735696269944 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32473/statm: 617111 489839 105 248 0 616860 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 3556832
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32431 and gives
# childrusage.ru_utime.tv_sec=12
# childrusage.ru_utime.tv_usec=960029
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=860717
# CPU time returned by wait4() is 14.8207
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1802.62
CPU time (s): 1800.07
CPU user time (s): 1794.92
CPU system time (s): 5.15
CPU usage (%): 99.8587
Max. virtual memory (cumulated for all children) (KiB): 4111528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.96
system time used= 1.86072
maximum resident set size= 1558680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62773
page faults= 0
swaps= 0
block input operations= 24
block output operations= 1555888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 136
involuntary context switches= 65
runsolver used 10.6594 second user time and 14.3188 second system time
The end