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-3754396-1339189122/watcher-3754396-1339189122 -o /tmp/evaluation-result-3754396-1339189122/solver-3754396-1339189122 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3754396-1339189122.wbo 1652173471 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.00 2.00 2.00 3/179 26443
/proc/meminfo: memFree=31787496/32873844 swapFree=7124/7124
[pid=26443] ppid=26441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26443/stat : 26443 (npSolver-wbo-I.) S 26441 26443 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385037294 9367552 274 33554432000 4194304 5064252 140737405041456 140737405040368 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26443/statm: 2287 274 233 213 0 72 0

[startup+0.09599 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26443
/proc/meminfo: memFree=31787496/32873844 swapFree=7124/7124
[pid=26443] ppid=26441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26443/stat : 26443 (npSolver-wbo-I.) S 26441 26443 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385037294 9367552 274 33554432000 4194304 5064252 140737405041456 140737405040368 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26443/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100322 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26443
/proc/meminfo: memFree=31787496/32873844 swapFree=7124/7124
[pid=26443] ppid=26441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26443/stat : 26443 (npSolver-wbo-I.) S 26441 26443 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385037294 9367552 274 33554432000 4194304 5064252 140737405041456 140737405040368 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26443/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300288 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26443
/proc/meminfo: memFree=31787496/32873844 swapFree=7124/7124
[pid=26443] ppid=26441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26443/stat : 26443 (npSolver-wbo-I.) S 26441 26443 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385037294 9367552 274 33554432000 4194304 5064252 140737405041456 140737405040368 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26443/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700252 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26443
/proc/meminfo: memFree=31787496/32873844 swapFree=7124/7124
[pid=26443] ppid=26441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26443/stat : 26443 (npSolver-wbo-I.) S 26441 26443 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385037294 9367552 274 33554432000 4194304 5064252 140737405041456 140737405040368 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26443/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26455
/proc/meminfo: memFree=31758240/32873844 swapFree=7124/7124
[pid=26443] ppid=26441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26443/stat : 26443 (npSolver-wbo-I.) S 26441 26443 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385037294 9367552 274 33554432000 4194304 5064252 140737405041456 140737405040368 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26443/statm: 2287 274 233 213 0 72 0
[pid=26444] ppid=26443 vsize=97748 CPUtime=1.21 cores=0,2,4,6
/proc/26444/stat : 26444 (npSolver-wbo) R 26443 26443 24582 0 -1 4202496 9632 11100 0 0 71 9 39 2 20 0 1 0 385037294 100093952 17586 33554432000 4194304 6006132 140736721944320 140736721937424 4537521 0 0 4096 0 0 0 0 17 2 0 0 26 0 0
/proc/26444/statm: 24437 17586 179 443 0 23990 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 106896

[startup+3.10042 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26457
/proc/meminfo: memFree=31581284/32873844 swapFree=7124/7124
[pid=26443] ppid=26441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26443/stat : 26443 (npSolver-wbo-I.) S 26441 26443 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385037294 9367552 274 33554432000 4194304 5064252 140737405041456 140737405040368 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26443/statm: 2287 274 233 213 0 72 0
[pid=26444] ppid=26443 vsize=97748 CPUtime=1.58 cores=0,2,4,6
/proc/26444/stat : 26444 (npSolver-wbo) S 26443 26443 24582 0 -1 4202496 10285 11100 0 0 99 18 39 2 20 0 1 0 385037294 100093952 22707 33554432000 4194304 6006132 140736721944320 140736721935728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 26 0 0
/proc/26444/statm: 24437 22707 180 443 0 23990 0
[pid=26456] ppid=26444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26456/stat : 26456 (satsolver.sh) S 26444 26443 24582 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385037482 9367552 266 33554432000 4194304 5064252 140734536601184 140734536600096 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26456/statm: 2287 266 226 213 0 72 0
[pid=26457] ppid=26456 vsize=184036 CPUtime=1.2 cores=0,2,4,6
/proc/26457/stat : 26457 (glucose) R 26456 26443 24582 0 -1 4202496 32792 0 0 0 113 7 0 0 20 0 1 0 385037482 188452864 37271 33554432000 4194304 5208918 140734911247248 140734911245560 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26457/statm: 46009 37271 96 248 0 45758 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 300080

[startup+6.30039 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26457
/proc/meminfo: memFree=31482916/32873844 swapFree=7124/7124
[pid=26443] ppid=26441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26443/stat : 26443 (npSolver-wbo-I.) S 26441 26443 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385037294 9367552 274 33554432000 4194304 5064252 140737405041456 140737405040368 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26443/statm: 2287 274 233 213 0 72 0
[pid=26444] ppid=26443 vsize=97748 CPUtime=1.58 cores=0,2,4,6
/proc/26444/stat : 26444 (npSolver-wbo) S 26443 26443 24582 0 -1 4202496 10285 11100 0 0 99 18 39 2 20 0 1 0 385037294 100093952 22707 33554432000 4194304 6006132 140736721944320 140736721935728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 26 0 0
/proc/26444/statm: 24437 22707 180 443 0 23990 0
[pid=26456] ppid=26444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26456/stat : 26456 (satsolver.sh) S 26444 26443 24582 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385037482 9367552 266 33554432000 4194304 5064252 140734536601184 140734536600096 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26456/statm: 2287 266 226 213 0 72 0
[pid=26457] ppid=26456 vsize=186152 CPUtime=4.41 cores=0,2,4,6
/proc/26457/stat : 26457 (glucose) R 26456 26443 24582 0 -1 4202496 33185 0 0 0 433 8 0 0 20 0 1 0 385037482 190619648 37664 33554432000 4194304 5208918 140734911247248 140734911244920 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26457/statm: 46538 37664 102 248 0 46287 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 302196

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26457
/proc/meminfo: memFree=31481564/32873844 swapFree=7124/7124
[pid=26443] ppid=26441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26443/stat : 26443 (npSolver-wbo-I.) S 26441 26443 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385037294 9367552 274 33554432000 4194304 5064252 140737405041456 140737405040368 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26443/statm: 2287 274 233 213 0 72 0
[pid=26444] ppid=26443 vsize=97748 CPUtime=1.58 cores=0,2,4,6
/proc/26444/stat : 26444 (npSolver-wbo) S 26443 26443 24582 0 -1 4202496 10285 11100 0 0 99 18 39 2 20 0 1 0 385037294 100093952 22707 33554432000 4194304 6006132 140736721944320 140736721935728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 26 0 0
/proc/26444/statm: 24437 22707 180 443 0 23990 0
[pid=26456] ppid=26444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26456/stat : 26456 (satsolver.sh) S 26444 26443 24582 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385037482 9367552 266 33554432000 4194304 5064252 140734536601184 140734536600096 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26456/statm: 2287 266 226 213 0 72 0
[pid=26457] ppid=26456 vsize=186152 CPUtime=10.8 cores=0,2,4,6
/proc/26457/stat : 26457 (glucose) R 26456 26443 24582 0 -1 4202496 33186 0 0 0 1072 8 0 0 20 0 1 0 385037482 190619648 37665 33554432000 4194304 5208918 140734911247248 140734911245080 4211166 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26457/statm: 46538 37665 102 248 0 46287 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 302196

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26457
/proc/meminfo: memFree=31478448/32873844 swapFree=7124/7124
[pid=26443] ppid=26441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26443/stat : 26443 (npSolver-wbo-I.) S 26441 26443 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385037294 9367552 274 33554432000 4194304 5064252 140737405041456 140737405040368 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26443/statm: 2287 274 233 213 0 72 0
[pid=26444] ppid=26443 vsize=97748 CPUtime=1.58 cores=0,2,4,6
/proc/26444/stat : 26444 (npSolver-wbo) S 26443 26443 24582 0 -1 4202496 10285 11100 0 0 99 18 39 2 20 0 1 0 385037294 100093952 22707 33554432000 4194304 6006132 140736721944320 140736721935728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 26 0 0
/proc/26444/statm: 24437 22707 180 443 0 23990 0
[pid=26456] ppid=26444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26456/stat : 26456 (satsolver.sh) S 26444 26443 24582 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385037482 9367552 266 33554432000 4194304 5064252 140734536601184 140734536600096 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26456/statm: 2287 266 226 213 0 72 0
[pid=26457] ppid=26456 vsize=186152 CPUtime=23.6 cores=0,2,4,6
/proc/26457/stat : 26457 (glucose) R 26456 26443 24582 0 -1 4202496 33186 0 0 0 2352 8 0 0 20 0 1 0 385037482 190619648 37665 33554432000 4194304 5208918 140734911247248 140734911245080 4211071 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26457/statm: 46538 37665 102 248 0 46287 0
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (KiB) 302196

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26465
/proc/meminfo: memFree=31506812/32873844 swapFree=7124/7124
[pid=26443] ppid=26441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26443/stat : 26443 (npSolver-wbo-I.) S 26441 26443 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385037294 9367552 274 33554432000 4194304 5064252 140737405041456 140737405040368 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26443/statm: 2287 274 233 213 0 72 0
[pid=26444] ppid=26443 vsize=97748 CPUtime=1.58 cores=0,2,4,6
/proc/26444/stat : 26444 (npSolver-wbo) S 26443 26443 24582 0 -1 4202496 10285 11100 0 0 99 18 39 2 20 0 1 0 385037294 100093952 22707 33554432000 4194304 6006132 140736721944320 140736721935728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 26 0 0
/proc/26444/statm: 24437 22707 180 443 0 23990 0
[pid=26456] ppid=26444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26456/stat : 26456 (satsolver.sh) S 26444 26443 24582 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385037482 9367552 266 33554432000 4194304 5064252 140734536601184 140734536600096 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26456/statm: 2287 266 226 213 0 72 0
[pid=26457] ppid=26456 vsize=186152 CPUtime=49.2 cores=0,2,4,6
/proc/26457/stat : 26457 (glucose) R 26456 26443 24582 0 -1 4202496 33186 0 0 0 4912 8 0 0 20 0 1 0 385037482 190619648 37665 33554432000 4194304 5208918 140734911247248 140734911245080 4210675 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26457/statm: 46538 37665 102 248 0 46287 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 302196

[startup+102.307 s]
/proc/loadavg: 2.04 2.01 2.00 3/184 26468
/proc/meminfo: memFree=31494608/32873844 swapFree=7124/7124
[pid=26443] ppid=26441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26443/stat : 26443 (npSolver-wbo-I.) S 26441 26443 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385037294 9367552 274 33554432000 4194304 5064252 140737405041456 140737405040368 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26443/statm: 2287 274 233 213 0 72 0
[pid=26444] ppid=26443 vsize=97748 CPUtime=1.58 cores=0,2,4,6
/proc/26444/stat : 26444 (npSolver-wbo) S 26443 26443 24582 0 -1 4202496 10285 11100 0 0 99 18 39 2 20 0 1 0 385037294 100093952 22707 33554432000 4194304 6006132 140736721944320 140736721935728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 26 0 0
/proc/26444/statm: 24437 22707 180 443 0 23990 0
[pid=26456] ppid=26444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26456/stat : 26456 (satsolver.sh) S 26444 26443 24582 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385037482 9367552 266 33554432000 4194304 5064252 140734536601184 140734536600096 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26456/statm: 2287 266 226 213 0 72 0
[pid=26457] ppid=26456 vsize=187460 CPUtime=100.39 cores=0,2,4,6
/proc/26457/stat : 26457 (glucose) R 26456 26443 24582 0 -1 4202496 33301 0 0 0 10031 8 0 0 20 0 1 0 385037482 191959040 38281 33554432000 4194304 5208918 140734911247248 140734911245080 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26457/statm: 46865 38281 103 248 0 46614 0
Current children cumulated CPU time (s) 101.97
Current children cumulated vsize (KiB) 303504

[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/184 26519
/proc/meminfo: memFree=31514660/32873844 swapFree=7124/7124
[pid=26443] ppid=26441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26443/stat : 26443 (npSolver-wbo-I.) S 26441 26443 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385037294 9367552 274 33554432000 4194304 5064252 140737405041456 140737405040368 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26443/statm: 2287 274 233 213 0 72 0
[pid=26444] ppid=26443 vsize=97748 CPUtime=1.58 cores=0,2,4,6
/proc/26444/stat : 26444 (npSolver-wbo) S 26443 26443 24582 0 -1 4202496 10285 11100 0 0 99 18 39 2 20 0 1 0 385037294 100093952 22707 33554432000 4194304 6006132 140736721944320 140736721935728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 26 0 0
/proc/26444/statm: 24437 22707 180 443 0 23990 0
[pid=26456] ppid=26444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26456/stat : 26456 (satsolver.sh) S 26444 26443 24582 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385037482 9367552 266 33554432000 4194304 5064252 140734536601184 140734536600096 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26456/statm: 2287 266 226 213 0 72 0
[pid=26457] ppid=26456 vsize=187460 CPUtime=160.37 cores=0,2,4,6
/proc/26457/stat : 26457 (glucose) R 26456 26443 24582 0 -1 4202496 33311 0 0 0 16029 8 0 0 20 0 1 0 385037482 191959040 38703 33554432000 4194304 5208918 140734911247248 140734911245080 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26457/statm: 46865 38703 103 248 0 46614 0
Current children cumulated CPU time (s) 161.95

################
# More data... #
################

/proc/26843/statm: 2287 267 226 213 0 72 0
[pid=26844] ppid=26843 vsize=130024 CPUtime=12.81 cores=0,2,4,6
/proc/26844/stat : 26844 (glucose) R 26843 26443 24582 0 -1 4202496 26959 0 0 0 1275 6 0 0 20 0 1 0 385136242 133144576 30123 33554432000 4194304 5208918 140735633028384 140735633026216 4210724 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26844/statm: 32506 30123 104 248 0 32255 0
Current children cumulated CPU time (s) 1001.81
Current children cumulated vsize (KiB) 227940

[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 26844
/proc/meminfo: memFree=31131264/32873844 swapFree=7124/7124
[pid=26443] ppid=26441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26443/stat : 26443 (npSolver-wbo-I.) S 26441 26443 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385037294 9367552 274 33554432000 4194304 5064252 140737405041456 140737405040368 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26443/statm: 2287 274 233 213 0 72 0
[pid=26444] ppid=26443 vsize=79620 CPUtime=989 cores=0,2,4,6
/proc/26444/stat : 26444 (npSolver-wbo) S 26443 26443 24582 0 -1 4202496 27836 128912 0 0 315 46 98434 105 20 0 1 0 385037294 81530880 14111 33554432000 4194304 6006132 140736721944320 140736721935728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 26 0 0
/proc/26444/statm: 19905 14111 180 443 0 19458 0
[pid=26843] ppid=26444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26843/stat : 26843 (satsolver.sh) S 26444 26443 24582 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385136241 9367552 267 33554432000 4194304 5064252 140734763861856 140734763860768 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26843/statm: 2287 267 226 213 0 72 0
[pid=26844] ppid=26843 vsize=131068 CPUtime=72.78 cores=0,2,4,6
/proc/26844/stat : 26844 (glucose) R 26843 26443 24582 0 -1 4202496 27272 0 0 0 7271 7 0 0 20 0 1 0 385136242 134213632 30425 33554432000 4194304 5208918 140735633028384 140735633026232 4211122 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26844/statm: 32767 30425 104 248 0 32516 0
Current children cumulated CPU time (s) 1061.78
Current children cumulated vsize (KiB) 228984

[startup+1122.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/183 26851
/proc/meminfo: memFree=31155980/32873844 swapFree=7124/7124
[pid=26443] ppid=26441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26443/stat : 26443 (npSolver-wbo-I.) S 26441 26443 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385037294 9367552 274 33554432000 4194304 5064252 140737405041456 140737405040368 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26443/statm: 2287 274 233 213 0 72 0
[pid=26444] ppid=26443 vsize=79620 CPUtime=1102.21 cores=0,2,4,6
/proc/26444/stat : 26444 (npSolver-wbo) S 26443 26443 24582 0 -1 4202496 33422 162605 0 0 372 54 109664 131 20 0 1 0 385037294 81530880 13087 33554432000 4194304 6006132 140736721944320 140736721935728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 26 0 0
/proc/26444/statm: 19905 13087 180 443 0 19458 0
[pid=26850] ppid=26444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26850/stat : 26850 (satsolver.sh) S 26444 26443 24582 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385147566 9367552 267 33554432000 4194304 5064252 140733600490032 140733600488944 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26850/statm: 2287 267 226 213 0 72 0
[pid=26851] ppid=26850 vsize=120808 CPUtime=19.56 cores=0,2,4,6
/proc/26851/stat : 26851 (glucose) R 26850 26443 24582 0 -1 4202496 23054 0 0 0 1950 6 0 0 20 0 1 0 385147566 123707392 26506 33554432000 4194304 5208918 140733743222112 140733743219960 4211623 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26851/statm: 30202 26506 105 248 0 29951 0
Current children cumulated CPU time (s) 1121.77
Current children cumulated vsize (KiB) 218724

[startup+1182.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 26858
/proc/meminfo: memFree=31203852/32873844 swapFree=7124/7124
[pid=26443] ppid=26441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26443/stat : 26443 (npSolver-wbo-I.) S 26441 26443 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385037294 9367552 274 33554432000 4194304 5064252 140737405041456 140737405040368 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26443/statm: 2287 274 233 213 0 72 0
[pid=26444] ppid=26443 vsize=45336 CPUtime=1147.48 cores=0,2,4,6
/proc/26444/stat : 26444 (npSolver-wbo) S 26443 26443 24582 0 -1 4202496 36119 191665 0 0 413 59 114121 155 20 0 1 0 385037294 46424064 10148 33554432000 4194304 6006132 140736721944320 140736721935728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 26 0 0
/proc/26444/statm: 11334 10148 180 443 0 10887 0
[pid=26857] ppid=26444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26857/stat : 26857 (satsolver.sh) S 26444 26443 24582 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385152094 9367552 266 33554432000 4194304 5064252 140736304529504 140736304528416 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26857/statm: 2287 266 226 213 0 72 0
[pid=26858] ppid=26857 vsize=88136 CPUtime=34.28 cores=0,2,4,6
/proc/26858/stat : 26858 (glucose) R 26857 26443 24582 0 -1 4202496 18288 0 0 0 3425 3 0 0 20 0 1 0 385152095 90251264 19895 33554432000 4194304 5208918 140735600509664 140735600507496 4229824 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26858/statm: 22034 19895 104 248 0 21783 0
Current children cumulated CPU time (s) 1181.76
Current children cumulated vsize (KiB) 151768

Solver just ended. Dumping a history of the last processes samples

[startup+1190.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 26858
/proc/meminfo: memFree=31203728/32873844 swapFree=7124/7124
[pid=26443] ppid=26441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26443/stat : 26443 (npSolver-wbo-I.) S 26441 26443 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385037294 9367552 274 33554432000 4194304 5064252 140737405041456 140737405040368 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26443/statm: 2287 274 233 213 0 72 0
[pid=26444] ppid=26443 vsize=45336 CPUtime=1147.48 cores=0,2,4,6
/proc/26444/stat : 26444 (npSolver-wbo) S 26443 26443 24582 0 -1 4202496 36119 191665 0 0 413 59 114121 155 20 0 1 0 385037294 46424064 10148 33554432000 4194304 6006132 140736721944320 140736721935728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 26 0 0
/proc/26444/statm: 11334 10148 180 443 0 10887 0
[pid=26857] ppid=26444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26857/stat : 26857 (satsolver.sh) S 26444 26443 24582 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385152094 9367552 266 33554432000 4194304 5064252 140736304529504 140736304528416 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26857/statm: 2287 266 226 213 0 72 0
[pid=26858] ppid=26857 vsize=88136 CPUtime=42.28 cores=0,2,4,6
/proc/26858/stat : 26858 (glucose) R 26857 26443 24582 0 -1 4202496 18316 0 0 0 4225 3 0 0 20 0 1 0 385152095 90251264 19923 33554432000 4194304 5208918 140735600509664 140735600507496 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26858/statm: 22034 19923 105 248 0 21783 0
Current children cumulated CPU time (s) 1189.76
Current children cumulated vsize (KiB) 151768

[startup+1196.7 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 26865
/proc/meminfo: memFree=31262712/32873844 swapFree=7124/7124
[pid=26443] ppid=26441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26443/stat : 26443 (npSolver-wbo-I.) S 26441 26443 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385037294 9367552 274 33554432000 4194304 5064252 140737405041456 140737405040368 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26443/statm: 2287 274 233 213 0 72 0
[pid=26444] ppid=26443 vsize=43220 CPUtime=1195.71 cores=0,2,4,6
/proc/26444/stat : 26444 (npSolver-wbo) S 26443 26443 24582 0 -1 4202496 38086 215368 0 0 431 61 118907 172 20 0 1 0 385037294 44257280 9871 33554432000 4194304 6006132 140736721944320 140736721935728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 26 0 0
/proc/26444/statm: 10805 9871 180 443 0 10358 0
[pid=26864] ppid=26444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26864/stat : 26864 (satsolver.sh) S 26444 26443 24582 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385156917 9367552 267 33554432000 4194304 5064252 140735728174592 140735728173504 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26864/statm: 2287 267 226 213 0 72 0
[pid=26865] ppid=26864 vsize=46476 CPUtime=0.45 cores=0,2,4,6
/proc/26865/stat : 26865 (glucose) R 26864 26443 24582 0 -1 4202496 9358 0 0 0 44 1 0 0 20 0 1 0 385156918 47591424 9805 33554432000 4194304 5208918 140735079230096 140735728173528 4211156 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26865/statm: 11619 9805 107 248 0 11368 0
Current children cumulated CPU time (s) 1196.16
Current children cumulated vsize (KiB) 107992

[startup+1198.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 26865
/proc/meminfo: memFree=31262200/32873844 swapFree=7124/7124
[pid=26443] ppid=26441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26443/stat : 26443 (npSolver-wbo-I.) S 26441 26443 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385037294 9367552 274 33554432000 4194304 5064252 140737405041456 140737405040368 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26443/statm: 2287 274 233 213 0 72 0
[pid=26444] ppid=26443 vsize=43220 CPUtime=1195.71 cores=0,2,4,6
/proc/26444/stat : 26444 (npSolver-wbo) S 26443 26443 24582 0 -1 4202496 38086 215368 0 0 431 61 118907 172 20 0 1 0 385037294 44257280 9871 33554432000 4194304 6006132 140736721944320 140736721935728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 26 0 0
/proc/26444/statm: 10805 9871 180 443 0 10358 0
[pid=26864] ppid=26444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26864/stat : 26864 (satsolver.sh) S 26444 26443 24582 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385156917 9367552 267 33554432000 4194304 5064252 140735728174592 140735728173504 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26864/statm: 2287 267 226 213 0 72 0
[pid=26865] ppid=26864 vsize=46476 CPUtime=2.05 cores=0,2,4,6
/proc/26865/stat : 26865 (glucose) R 26864 26443 24582 0 -1 4202496 9364 0 0 0 204 1 0 0 20 0 1 0 385156918 47591424 9811 33554432000 4194304 5208918 140735079230096 140735079227768 4211049 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26865/statm: 11619 9811 107 248 0 11368 0
Current children cumulated CPU time (s) 1197.76
Current children cumulated vsize (KiB) 107992

[startup+1199.9 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 26865
/proc/meminfo: memFree=31262200/32873844 swapFree=7124/7124
[pid=26443] ppid=26441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26443/stat : 26443 (npSolver-wbo-I.) S 26441 26443 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385037294 9367552 274 33554432000 4194304 5064252 140737405041456 140737405040368 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26443/statm: 2287 274 233 213 0 72 0
[pid=26444] ppid=26443 vsize=43220 CPUtime=1195.71 cores=0,2,4,6
/proc/26444/stat : 26444 (npSolver-wbo) S 26443 26443 24582 0 -1 4202496 38086 215368 0 0 431 61 118907 172 20 0 1 0 385037294 44257280 9871 33554432000 4194304 6006132 140736721944320 140736721935728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 26 0 0
/proc/26444/statm: 10805 9871 180 443 0 10358 0
[pid=26864] ppid=26444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26864/stat : 26864 (satsolver.sh) S 26444 26443 24582 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385156917 9367552 267 33554432000 4194304 5064252 140735728174592 140735728173504 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26864/statm: 2287 267 226 213 0 72 0
[pid=26865] ppid=26864 vsize=46608 CPUtime=3.65 cores=0,2,4,6
/proc/26865/stat : 26865 (glucose) R 26864 26443 24582 0 -1 4202496 9392 0 0 0 364 1 0 0 20 0 1 0 385156918 47726592 9839 33554432000 4194304 5208918 140735079230096 140735079227768 4205640 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26865/statm: 11652 9839 107 248 0 11401 0
Current children cumulated CPU time (s) 1199.36
Current children cumulated vsize (KiB) 108124

[startup+1200.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 26865
/proc/meminfo: memFree=31262076/32873844 swapFree=7124/7124
[pid=26443] ppid=26441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26443/stat : 26443 (npSolver-wbo-I.) S 26441 26443 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385037294 9367552 274 33554432000 4194304 5064252 140737405041456 140737405040368 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26443/statm: 2287 274 233 213 0 72 0
[pid=26444] ppid=26443 vsize=43220 CPUtime=1199.7 cores=0,2,4,6
/proc/26444/stat : 26444 (npSolver-wbo) S 26443 26443 24582 0 -1 4202496 39926 229132 0 0 434 62 119294 180 20 0 1 0 385037294 44257280 9872 33554432000 4194304 6006132 140736721944320 140736721935728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 26 0 0
/proc/26444/statm: 10805 9872 181 443 0 10358 0
Current children cumulated CPU time (s) 1199.7
Current children cumulated vsize (KiB) 52368

[startup+1200.5 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 26865
/proc/meminfo: memFree=31262076/32873844 swapFree=7124/7124
[pid=26443] ppid=26441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26443/stat : 26443 (npSolver-wbo-I.) S 26441 26443 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385037294 9367552 274 33554432000 4194304 5064252 140737405041456 140737405040368 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26443/statm: 2287 274 233 213 0 72 0
[pid=26444] ppid=26443 vsize=43220 CPUtime=1199.96 cores=0,2,4,6
/proc/26444/stat : 26444 (npSolver-wbo) S 26443 26443 24582 0 -1 4202496 40435 238820 0 0 434 62 119313 187 20 0 1 0 385037294 44257280 9872 33554432000 4194304 6006132 140736721944320 140736721935728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 26 0 0
/proc/26444/statm: 10805 9872 181 443 0 10358 0
Current children cumulated CPU time (s) 1199.96
Current children cumulated vsize (KiB) 52368

[startup+1200.6 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 26865
/proc/meminfo: memFree=31262076/32873844 swapFree=7124/7124
[pid=26443] ppid=26441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26443/stat : 26443 (npSolver-wbo-I.) S 26441 26443 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385037294 9367552 274 33554432000 4194304 5064252 140737405041456 140737405040368 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26443/statm: 2287 274 233 213 0 72 0
[pid=26444] ppid=26443 vsize=43220 CPUtime=1200.07 cores=0,2,4,6
/proc/26444/stat : 26444 (npSolver-wbo) S 26443 26443 24582 0 -1 4202496 40938 246777 0 0 435 62 119321 189 20 0 1 0 385037294 44257280 9872 33554432000 4194304 6006132 140736721944320 140736721935216 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 26 0 0
/proc/26444/statm: 10805 9872 181 443 0 10358 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 52368

Child status: 0
Real time (s): 1200.7
CPU time (s): 1200.19
CPU user time (s): 1197.64
CPU system time (s): 2.55761
CPU usage (%): 99.9582
Max. virtual memory (cumulated for all children) (KiB): 345276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1197.64
system time used= 2.55761
maximum resident set size= 192516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 297621
page faults= 0
swaps= 0
block input operations= 0
block output operations= 626416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3683
involuntary context switches= 1491

runsolver used 2.77258 second user time and 7.29389 second system time

The end