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-3754000-1339194982/watcher-3754000-1339194982 -o /tmp/evaluation-result-3754000-1339194982/solver-3754000-1339194982 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3754000-1339194982.wbo 1056980356 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/177 7997
/proc/meminfo: memFree=29808028/32873844 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7997/stat : 7997 (npSolver-wbo-I.) S 7995 7997 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385626760 9367552 275 33554432000 4194304 5064252 140737392628400 140737392627312 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7997/statm: 2287 275 233 213 0 72 0

[startup+0.0439781 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7997
/proc/meminfo: memFree=29808028/32873844 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7997/stat : 7997 (npSolver-wbo-I.) S 7995 7997 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385626760 9367552 275 33554432000 4194304 5064252 140737392628400 140737392627312 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7997/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100364 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7997
/proc/meminfo: memFree=29808028/32873844 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7997/stat : 7997 (npSolver-wbo-I.) S 7995 7997 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385626760 9367552 275 33554432000 4194304 5064252 140737392628400 140737392627312 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7997/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300289 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7997
/proc/meminfo: memFree=29808028/32873844 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7997/stat : 7997 (npSolver-wbo-I.) S 7995 7997 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385626760 9367552 275 33554432000 4194304 5064252 140737392628400 140737392627312 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7997/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700303 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7997
/proc/meminfo: memFree=29808028/32873844 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7997/stat : 7997 (npSolver-wbo-I.) S 7995 7997 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385626760 9367552 275 33554432000 4194304 5064252 140737392628400 140737392627312 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7997/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50035 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8009
/proc/meminfo: memFree=29738976/32873844 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7997/stat : 7997 (npSolver-wbo-I.) S 7995 7997 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385626760 9367552 275 33554432000 4194304 5064252 140737392628400 140737392627312 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7997/statm: 2287 275 233 213 0 72 0
[pid=7998] ppid=7997 vsize=93276 CPUtime=1.06 cores=1,3,5,7
/proc/7998/stat : 7998 (npSolver-wbo) S 7997 7997 23558 0 -1 4202496 8927 8904 0 0 65 13 26 2 20 0 1 0 385626760 95514624 16763 33554432000 4194304 6006132 140736224441008 140736224432416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7998/statm: 23319 16763 178 443 0 22872 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 102424

[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8011
/proc/meminfo: memFree=29599980/32873844 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7997/stat : 7997 (npSolver-wbo-I.) S 7995 7997 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385626760 9367552 275 33554432000 4194304 5064252 140737392628400 140737392627312 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7997/statm: 2287 275 233 213 0 72 0
[pid=7998] ppid=7997 vsize=93276 CPUtime=1.06 cores=1,3,5,7
/proc/7998/stat : 7998 (npSolver-wbo) S 7997 7997 23558 0 -1 4202496 8927 8904 0 0 65 13 26 2 20 0 1 0 385626760 95514624 16763 33554432000 4194304 6006132 140736224441008 140736224432416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7998/statm: 23319 16763 178 443 0 22872 0
[pid=8010] ppid=7998 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8010/stat : 8010 (satsolver.sh) S 7998 7997 23558 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385626868 9367552 266 33554432000 4194304 5064252 140736300813152 140736300812064 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8010/statm: 2287 266 226 213 0 72 0
[pid=8011] ppid=8010 vsize=122160 CPUtime=2.01 cores=1,3,5,7
/proc/8011/stat : 8011 (glucose) R 8010 7997 23558 0 -1 4202496 24499 0 0 0 194 7 0 0 20 0 1 0 385626868 125091840 24987 33554432000 4194304 5208918 140733889343920 140733889341592 4205479 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8011/statm: 30540 24987 104 248 0 30289 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 233732

[startup+6.30041 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8011
/proc/meminfo: memFree=29594716/32873844 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7997/stat : 7997 (npSolver-wbo-I.) S 7995 7997 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385626760 9367552 275 33554432000 4194304 5064252 140737392628400 140737392627312 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7997/statm: 2287 275 233 213 0 72 0
[pid=7998] ppid=7997 vsize=93276 CPUtime=1.06 cores=1,3,5,7
/proc/7998/stat : 7998 (npSolver-wbo) S 7997 7997 23558 0 -1 4202496 8927 8904 0 0 65 13 26 2 20 0 1 0 385626760 95514624 16763 33554432000 4194304 6006132 140736224441008 140736224432416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7998/statm: 23319 16763 178 443 0 22872 0
[pid=8010] ppid=7998 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8010/stat : 8010 (satsolver.sh) S 7998 7997 23558 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385626868 9367552 266 33554432000 4194304 5064252 140736300813152 140736300812064 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8010/statm: 2287 266 226 213 0 72 0
[pid=8011] ppid=8010 vsize=122160 CPUtime=5.21 cores=1,3,5,7
/proc/8011/stat : 8011 (glucose) R 8010 7997 23558 0 -1 4202496 24501 0 0 0 514 7 0 0 20 0 1 0 385626868 125091840 24989 33554432000 4194304 5208918 140733889343920 140733889341592 4205249 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8011/statm: 30540 24989 104 248 0 30289 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 233732

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8011
/proc/meminfo: memFree=29591860/32873844 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7997/stat : 7997 (npSolver-wbo-I.) S 7995 7997 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385626760 9367552 275 33554432000 4194304 5064252 140737392628400 140737392627312 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7997/statm: 2287 275 233 213 0 72 0
[pid=7998] ppid=7997 vsize=93276 CPUtime=1.06 cores=1,3,5,7
/proc/7998/stat : 7998 (npSolver-wbo) S 7997 7997 23558 0 -1 4202496 8927 8904 0 0 65 13 26 2 20 0 1 0 385626760 95514624 16763 33554432000 4194304 6006132 140736224441008 140736224432416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7998/statm: 23319 16763 178 443 0 22872 0
[pid=8010] ppid=7998 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8010/stat : 8010 (satsolver.sh) S 7998 7997 23558 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385626868 9367552 266 33554432000 4194304 5064252 140736300813152 140736300812064 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8010/statm: 2287 266 226 213 0 72 0
[pid=8011] ppid=8010 vsize=122292 CPUtime=11.61 cores=1,3,5,7
/proc/8011/stat : 8011 (glucose) R 8010 7997 23558 0 -1 4202496 24547 0 0 0 1154 7 0 0 20 0 1 0 385626868 125227008 25546 33554432000 4194304 5208918 140733889343920 140733889341768 4211019 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8011/statm: 30573 25546 104 248 0 30322 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 233864

[startup+25.5005 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 8011
/proc/meminfo: memFree=29627488/32873844 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7997/stat : 7997 (npSolver-wbo-I.) S 7995 7997 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385626760 9367552 275 33554432000 4194304 5064252 140737392628400 140737392627312 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7997/statm: 2287 275 233 213 0 72 0
[pid=7998] ppid=7997 vsize=93276 CPUtime=1.06 cores=1,3,5,7
/proc/7998/stat : 7998 (npSolver-wbo) S 7997 7997 23558 0 -1 4202496 8927 8904 0 0 65 13 26 2 20 0 1 0 385626760 95514624 16763 33554432000 4194304 6006132 140736224441008 140736224432416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7998/statm: 23319 16763 178 443 0 22872 0
[pid=8010] ppid=7998 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8010/stat : 8010 (satsolver.sh) S 7998 7997 23558 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385626868 9367552 266 33554432000 4194304 5064252 140736300813152 140736300812064 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8010/statm: 2287 266 226 213 0 72 0
[pid=8011] ppid=8010 vsize=123392 CPUtime=24.4 cores=1,3,5,7
/proc/8011/stat : 8011 (glucose) R 8010 7997 23558 0 -1 4202496 24816 0 0 0 2433 7 0 0 20 0 1 0 385626868 126353408 25815 33554432000 4194304 5208918 140733889343920 140733889341768 4211156 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8011/statm: 30848 25815 105 248 0 30597 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 234964

[startup+51.1005 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 8011
/proc/meminfo: memFree=29621284/32873844 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7997/stat : 7997 (npSolver-wbo-I.) S 7995 7997 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385626760 9367552 275 33554432000 4194304 5064252 140737392628400 140737392627312 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7997/statm: 2287 275 233 213 0 72 0
[pid=7998] ppid=7997 vsize=93276 CPUtime=1.06 cores=1,3,5,7
/proc/7998/stat : 7998 (npSolver-wbo) S 7997 7997 23558 0 -1 4202496 8927 8904 0 0 65 13 26 2 20 0 1 0 385626760 95514624 16763 33554432000 4194304 6006132 140736224441008 140736224432416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7998/statm: 23319 16763 178 443 0 22872 0
[pid=8010] ppid=7998 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8010/stat : 8010 (satsolver.sh) S 7998 7997 23558 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385626868 9367552 266 33554432000 4194304 5064252 140736300813152 140736300812064 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8010/statm: 2287 266 226 213 0 72 0
[pid=8011] ppid=8010 vsize=124132 CPUtime=50 cores=1,3,5,7
/proc/8011/stat : 8011 (glucose) R 8010 7997 23558 0 -1 4202496 25006 0 0 0 4993 7 0 0 20 0 1 0 385626868 127111168 26005 33554432000 4194304 5208918 140733889343920 140733889341768 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8011/statm: 31033 26005 105 248 0 30782 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 235704

[startup+102.306 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 8011
/proc/meminfo: memFree=29594556/32873844 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7997/stat : 7997 (npSolver-wbo-I.) S 7995 7997 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385626760 9367552 275 33554432000 4194304 5064252 140737392628400 140737392627312 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7997/statm: 2287 275 233 213 0 72 0
[pid=7998] ppid=7997 vsize=93276 CPUtime=1.06 cores=1,3,5,7
/proc/7998/stat : 7998 (npSolver-wbo) S 7997 7997 23558 0 -1 4202496 8927 8904 0 0 65 13 26 2 20 0 1 0 385626760 95514624 16763 33554432000 4194304 6006132 140736224441008 140736224432416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7998/statm: 23319 16763 178 443 0 22872 0
[pid=8010] ppid=7998 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8010/stat : 8010 (satsolver.sh) S 7998 7997 23558 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385626868 9367552 266 33554432000 4194304 5064252 140736300813152 140736300812064 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8010/statm: 2287 266 226 213 0 72 0
[pid=8011] ppid=8010 vsize=126204 CPUtime=101.18 cores=1,3,5,7
/proc/8011/stat : 8011 (glucose) R 8010 7997 23558 0 -1 4202496 25529 0 0 0 10111 7 0 0 20 0 1 0 385626868 129232896 27098 33554432000 4194304 5208918 140733889343920 140733889341768 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8011/statm: 31551 27098 105 248 0 31300 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 237776

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8018
/proc/meminfo: memFree=29618516/32873844 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7997/stat : 7997 (npSolver-wbo-I.) S 7995 7997 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385626760 9367552 275 33554432000 4194304 5064252 140737392628400 140737392627312 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7997/statm: 2287 275 233 213 0 72 0
[pid=7998] ppid=7997 vsize=76196 CPUtime=155.35 cores=1,3,5,7
/proc/7998/stat : 7998 (npSolver-wbo) S 7997 7997 23558 0 -1 4202496 14990 39757 0 0 118 21 15375 21 20 0 1 0 385626760 78024704 10992 33554432000 4194304 6006132 140736224441008 140736224432416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7998/statm: 19049 10992 180 443 0 18602 0
[pid=8017] ppid=7998 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8017/stat : 8017 (satsolver.sh) S 7998 7997 23558 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385642301 9367552 267 33554432000 4194304 5064252 140735986697232 140735986696144 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8017/statm: 2287 267 226 213 0 72 0
[pid=8018] ppid=8017 vsize=113124 CPUtime=6.88 cores=1,3,5,7
/proc/8018/stat : 8018 (glucose) R 8017 7997 23558 0 -1 4202496 20067 0 0 0 683 5 0 0 20 0 1 0 385642301 115838976 23230 33554432000 4194304 5208918 140734774133056 140734774131016 4229344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8018/statm: 28281 23230 104 248 0 28030 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 207616

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

[startup+179.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8025
/proc/meminfo: memFree=29636676/32873844 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7997/stat : 7997 (npSolver-wbo-I.) S 7995 7997 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385626760 9367552 275 33554432000 4194304 5064252 140737392628400 140737392627312 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7997/statm: 2287 275 233 213 0 72 0
[pid=7998] ppid=7997 vsize=43428 CPUtime=171.58 cores=1,3,5,7
/proc/7998/stat : 7998 (npSolver-wbo) S 7997 7997 23558 0 -1 4202496 19963 65391 0 0 162 28 16932 36 20 0 1 0 385626760 44470272 9968 33554432000 4194304 6006132 140736224441008 140736224432416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7998/statm: 10857 9968 180 443 0 10410 0
[pid=8024] ppid=7998 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8024/stat : 8024 (satsolver.sh) S 7998 7997 23558 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385643923 9367552 267 33554432000 4194304 5064252 140736321180912 140736321179824 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8024/statm: 2287 267 226 213 0 72 0
[pid=8025] ppid=8024 vsize=90248 CPUtime=7.45 cores=1,3,5,7
/proc/8025/stat : 8025 (glucose) R 8024 7997 23558 0 -1 4202496 18890 0 0 0 741 4 0 0 20 0 1 0 385643924 92413952 20331 33554432000 4194304 5208918 140735337243760 140735337241608 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8025/statm: 22562 20331 104 248 0 22311 0
Current children cumulated CPU time (s) 179.03
Current children cumulated vsize (KiB) 151972

[startup+204.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8032
/proc/meminfo: memFree=29637272/32873844 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7997/stat : 7997 (npSolver-wbo-I.) S 7995 7997 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385626760 9367552 275 33554432000 4194304 5064252 140737392628400 140737392627312 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7997/statm: 2287 275 233 213 0 72 0
[pid=7998] ppid=7997 vsize=74996 CPUtime=197.92 cores=1,3,5,7
/proc/7998/stat : 7998 (npSolver-wbo) S 7997 7997 23558 0 -1 4202496 24209 89465 0 0 196 33 19513 50 20 0 1 0 385626760 76795904 15799 33554432000 4194304 6006132 140736224441008 140736224432416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7998/statm: 18749 15799 180 443 0 18302 0
[pid=8031] ppid=7998 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8031/stat : 8031 (satsolver.sh) S 7998 7997 23558 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385646558 9367552 267 33554432000 4194304 5064252 140736273462624 140736273461536 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8031/statm: 2287 267 226 213 0 72 0
[pid=8032] ppid=8031 vsize=75072 CPUtime=6.71 cores=1,3,5,7
/proc/8032/stat : 8032 (glucose) R 8031 7997 23558 0 -1 4202496 14945 0 0 0 666 5 0 0 20 0 1 0 385646558 76873728 16206 33554432000 4194304 5208918 140737169827760 140737169825720 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8032/statm: 18768 16206 104 248 0 18517 0
Current children cumulated CPU time (s) 204.63
Current children cumulated vsize (KiB) 168364

[startup+211.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8032
/proc/meminfo: memFree=29637008/32873844 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7997/stat : 7997 (npSolver-wbo-I.) S 7995 7997 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385626760 9367552 275 33554432000 4194304 5064252 140737392628400 140737392627312 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7997/statm: 2287 275 233 213 0 72 0
[pid=7998] ppid=7997 vsize=74996 CPUtime=197.92 cores=1,3,5,7
/proc/7998/stat : 7998 (npSolver-wbo) S 7997 7997 23558 0 -1 4202496 24209 89465 0 0 196 33 19513 50 20 0 1 0 385626760 76795904 15799 33554432000 4194304 6006132 140736224441008 140736224432416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7998/statm: 18749 15799 180 443 0 18302 0
[pid=8031] ppid=7998 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8031/stat : 8031 (satsolver.sh) S 7998 7997 23558 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385646558 9367552 267 33554432000 4194304 5064252 140736273462624 140736273461536 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8031/statm: 2287 267 226 213 0 72 0
[pid=8032] ppid=8031 vsize=76760 CPUtime=13.11 cores=1,3,5,7
/proc/8032/stat : 8032 (glucose) R 8031 7997 23558 0 -1 4202496 15196 0 0 0 1306 5 0 0 20 0 1 0 385646558 78602240 16452 33554432000 4194304 5208918 140737169827760 140737169825592 4211019 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8032/statm: 19190 16452 104 248 0 18939 0
Current children cumulated CPU time (s) 211.03
Current children cumulated vsize (KiB) 170052

[startup+217.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8032
/proc/meminfo: memFree=29637132/32873844 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7997/stat : 7997 (npSolver-wbo-I.) S 7995 7997 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385626760 9367552 275 33554432000 4194304 5064252 140737392628400 140737392627312 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7997/statm: 2287 275 233 213 0 72 0
[pid=7998] ppid=7997 vsize=74996 CPUtime=197.92 cores=1,3,5,7
/proc/7998/stat : 7998 (npSolver-wbo) S 7997 7997 23558 0 -1 4202496 24209 89465 0 0 196 33 19513 50 20 0 1 0 385626760 76795904 15799 33554432000 4194304 6006132 140736224441008 140736224432416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7998/statm: 18749 15799 180 443 0 18302 0
[pid=8031] ppid=7998 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8031/stat : 8031 (satsolver.sh) S 7998 7997 23558 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385646558 9367552 267 33554432000 4194304 5064252 140736273462624 140736273461536 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8031/statm: 2287 267 226 213 0 72 0
[pid=8032] ppid=8031 vsize=76760 CPUtime=19.5 cores=1,3,5,7
/proc/8032/stat : 8032 (glucose) R 8031 7997 23558 0 -1 4202496 15199 0 0 0 1945 5 0 0 20 0 1 0 385646558 78602240 16476 33554432000 4194304 5208918 140737169827760 140737169825592 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8032/statm: 19190 16476 104 248 0 18939 0
Current children cumulated CPU time (s) 217.42
Current children cumulated vsize (KiB) 170052

[startup+220.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 8042
/proc/meminfo: memFree=29708744/32873844 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7997/stat : 7997 (npSolver-wbo-I.) S 7995 7997 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385626760 9367552 275 33554432000 4194304 5064252 140737392628400 140737392627312 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7997/statm: 2287 275 233 213 0 72 0
[pid=7998] ppid=7997 vsize=42228 CPUtime=218.31 cores=1,3,5,7
/proc/7998/stat : 7998 (npSolver-wbo) S 7997 7997 23558 0 -1 4202496 27902 108954 0 0 210 35 21524 62 20 0 1 0 385626760 43241472 10177 33554432000 4194304 6006132 140736224441008 140736224432416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7998/statm: 10557 10177 180 443 0 10110 0
[pid=8038] ppid=7998 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8038/stat : 8038 (satsolver.sh) S 7998 7997 23558 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385648597 9367552 267 33554432000 4194304 5064252 140734911684784 140734911683696 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8038/statm: 2287 267 226 213 0 72 0
[pid=8039] ppid=8038 vsize=34028 CPUtime=2.31 cores=1,3,5,7
/proc/8039/stat : 8039 (glucose) R 8038 7997 23558 0 -1 4202496 8079 0 0 0 229 2 0 0 20 0 1 0 385648598 34844672 7572 33554432000 4194304 5208918 140734847233728 140734847231560 4211038 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8039/statm: 8507 7572 104 248 0 8256 0
Current children cumulated CPU time (s) 220.62
Current children cumulated vsize (KiB) 94552

[startup+221.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 8042
/proc/meminfo: memFree=29708248/32873844 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7997/stat : 7997 (npSolver-wbo-I.) S 7995 7997 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385626760 9367552 275 33554432000 4194304 5064252 140737392628400 140737392627312 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7997/statm: 2287 275 233 213 0 72 0
[pid=7998] ppid=7997 vsize=42228 CPUtime=221.38 cores=1,3,5,7
/proc/7998/stat : 7998 (npSolver-wbo) S 7997 7997 23558 0 -1 4202496 29236 124974 0 0 213 35 21820 70 20 0 1 0 385626760 43241472 10178 33554432000 4194304 6006132 140736224441008 140736224431904 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7998/statm: 10557 10178 181 443 0 10110 0
Current children cumulated CPU time (s) 221.38
Current children cumulated vsize (KiB) 51376

[startup+221.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 8042
/proc/meminfo: memFree=29708248/32873844 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7997/stat : 7997 (npSolver-wbo-I.) S 7995 7997 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385626760 9367552 275 33554432000 4194304 5064252 140737392628400 140737392627312 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7997/statm: 2287 275 233 213 0 72 0
[pid=7998] ppid=7997 vsize=42228 CPUtime=221.46 cores=1,3,5,7
/proc/7998/stat : 7998 (npSolver-wbo) S 7997 7997 23558 0 -1 4202496 29610 127911 0 0 213 35 21826 72 20 0 1 0 385626760 43241472 10179 33554432000 4194304 6006132 140736224441008 140736224432416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7998/statm: 10557 10179 182 443 0 10110 0
Current children cumulated CPU time (s) 221.46
Current children cumulated vsize (KiB) 51376

[startup+222.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 8056
/proc/meminfo: memFree=29742336/32873844 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7997/stat : 7997 (npSolver-wbo-I.) S 7995 7997 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385626760 9367552 275 33554432000 4194304 5064252 140737392628400 140737392627312 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7997/statm: 2287 275 233 213 0 72 0
[pid=7998] ppid=7997 vsize=42228 CPUtime=221.46 cores=1,3,5,7
/proc/7998/stat : 7998 (npSolver-wbo) S 7997 7997 23558 0 -1 4202496 29610 127911 0 0 213 35 21826 72 20 0 1 0 385626760 43241472 10179 33554432000 4194304 6006132 140736224441008 140736224432416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7998/statm: 10557 10179 182 443 0 10110 0
[pid=8055] ppid=7998 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8055/stat : 8055 (satsolver.sh) S 7998 7997 23558 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385648914 9367552 267 33554432000 4194304 5064252 140735178299536 140735178298448 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8055/statm: 2287 267 226 213 0 72 0
[pid=8056] ppid=8055 vsize=7748 CPUtime=0.56 cores=1,3,5,7
/proc/8056/stat : 8056 (glucose) R 8055 7997 23558 0 -1 4202496 1900 0 0 0 56 0 0 0 20 0 1 0 385648914 7933952 1372 33554432000 4194304 5208918 140734738615376 140734738613320 4212818 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8056/statm: 1937 1372 96 248 0 1686 0
Current children cumulated CPU time (s) 222.02
Current children cumulated vsize (KiB) 68272

Child status: 0
Real time (s): 222.129
CPU time (s): 222.08
CPU user time (s): 220.978
CPU system time (s): 1.10183
CPU usage (%): 99.9779
Max. virtual memory (cumulated for all children) (KiB): 239128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 220.978
system time used= 1.10183
maximum resident set size= 129236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163612
page faults= 0
swaps= 0
block input operations= 0
block output operations= 297408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1735
involuntary context switches= 319

runsolver used 0.550916 second user time and 1.25581 second system time

The end