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-3714343-1338189619/watcher-3714343-1338189619 -o /tmp/evaluation-result-3714343-1338189619/solver-3714343-1338189619 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3714343-1338189619.wbo 190571388 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 2/180 19558
/proc/meminfo: memFree=27853416/32873844 swapFree=7620/7620
[pid=19558] ppid=19556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19558/stat : 19558 (npSolver-wbo-I.) S 19556 19558 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285090414 9367552 275 33554432000 4194304 5064252 140736197271424 140736197270336 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19558/statm: 2287 275 233 213 0 72 0
[startup+0.0416921 s]
/proc/loadavg: 2.00 2.00 2.00 2/180 19558
/proc/meminfo: memFree=27853416/32873844 swapFree=7620/7620
[pid=19558] ppid=19556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19558/stat : 19558 (npSolver-wbo-I.) S 19556 19558 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285090414 9367552 275 33554432000 4194304 5064252 140736197271424 140736197270336 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19558/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100222 s]
/proc/loadavg: 2.00 2.00 2.00 2/180 19558
/proc/meminfo: memFree=27853416/32873844 swapFree=7620/7620
[pid=19558] ppid=19556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19558/stat : 19558 (npSolver-wbo-I.) S 19556 19558 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285090414 9367552 275 33554432000 4194304 5064252 140736197271424 140736197270336 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19558/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300229 s]
/proc/loadavg: 2.00 2.00 2.00 2/180 19558
/proc/meminfo: memFree=27853416/32873844 swapFree=7620/7620
[pid=19558] ppid=19556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19558/stat : 19558 (npSolver-wbo-I.) S 19556 19558 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285090414 9367552 275 33554432000 4194304 5064252 140736197271424 140736197270336 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19558/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700223 s]
/proc/loadavg: 2.00 2.00 2.00 2/180 19558
/proc/meminfo: memFree=27853416/32873844 swapFree=7620/7620
[pid=19558] ppid=19556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19558/stat : 19558 (npSolver-wbo-I.) S 19556 19558 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285090414 9367552 275 33554432000 4194304 5064252 140736197271424 140736197270336 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19558/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 19560
/proc/meminfo: memFree=27803708/32873844 swapFree=7620/7620
[pid=19558] ppid=19556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19558/stat : 19558 (npSolver-wbo-I.) S 19556 19558 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285090414 9367552 275 33554432000 4194304 5064252 140736197271424 140736197270336 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19558/statm: 2287 275 233 213 0 72 0
[pid=19559] ppid=19558 vsize=68316 CPUtime=1.49 cores=0,2,4,6
/proc/19559/stat : 19559 (npSolver-wbo) R 19558 19558 14026 0 -1 4202496 6278 0 0 0 147 2 0 0 20 0 1 0 285090414 69955584 11895 33554432000 4194304 5990268 140734665611584 140734665607464 4586672 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19559/statm: 17079 11895 145 439 0 16636 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 77464
[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 19560
/proc/meminfo: memFree=27796076/32873844 swapFree=7620/7620
[pid=19558] ppid=19556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19558/stat : 19558 (npSolver-wbo-I.) S 19556 19558 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285090414 9367552 275 33554432000 4194304 5064252 140736197271424 140736197270336 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19558/statm: 2287 275 233 213 0 72 0
[pid=19559] ppid=19558 vsize=68552 CPUtime=2.15 cores=0,2,4,6
/proc/19559/stat : 19559 (npSolver-wbo) S 19558 19558 14026 0 -1 4202496 7011 0 0 0 208 7 0 0 20 0 1 0 285090414 70197248 12980 33554432000 4194304 5990268 140734665611584 140734665604736 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19559/statm: 17138 12980 153 439 0 16695 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 77700
heavy processes:
[startup+6.30041 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 19562
/proc/meminfo: memFree=27389532/32873844 swapFree=7620/7620
[pid=19558] ppid=19556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19558/stat : 19558 (npSolver-wbo-I.) S 19556 19558 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285090414 9367552 275 33554432000 4194304 5064252 140736197271424 140736197270336 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19558/statm: 2287 275 233 213 0 72 0
[pid=19559] ppid=19558 vsize=68552 CPUtime=2.15 cores=0,2,4,6
/proc/19559/stat : 19559 (npSolver-wbo) S 19558 19558 14026 0 -1 4202496 7011 0 0 0 208 7 0 0 20 0 1 0 285090414 70197248 12980 33554432000 4194304 5990268 140734665611584 140734665604736 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19559/statm: 17138 12980 153 439 0 16695 0
[pid=19561] ppid=19559 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19561/stat : 19561 (cp2_pre.sh) S 19559 19558 14026 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 285090630 9367552 276 33554432000 4194304 5064252 140734299143216 140734299141920 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19561/statm: 2287 276 234 213 0 72 0
[pid=19562] ppid=19561 vsize=392872 CPUtime=4.12 cores=0,2,4,6
/proc/19562/stat : 19562 (coprocessor) R 19561 19558 14026 0 -1 4202496 51270 0 0 0 401 11 0 0 20 0 1 0 285090630 402300928 96201 33554432000 4194304 6586260 140735329076304 140735329071672 5599209 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/19562/statm: 98218 96201 192 584 0 97630 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 479720
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 19562
/proc/meminfo: memFree=27326320/32873844 swapFree=7620/7620
[pid=19558] ppid=19556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19558/stat : 19558 (npSolver-wbo-I.) S 19556 19558 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285090414 9367552 275 33554432000 4194304 5064252 140736197271424 140736197270336 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19558/statm: 2287 275 233 213 0 72 0
[pid=19559] ppid=19558 vsize=68552 CPUtime=2.15 cores=0,2,4,6
/proc/19559/stat : 19559 (npSolver-wbo) S 19558 19558 14026 0 -1 4202496 7011 0 0 0 208 7 0 0 20 0 1 0 285090414 70197248 12980 33554432000 4194304 5990268 140734665611584 140734665604736 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19559/statm: 17138 12980 153 439 0 16695 0
[pid=19561] ppid=19559 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19561/stat : 19561 (cp2_pre.sh) S 19559 19558 14026 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 285090630 9367552 276 33554432000 4194304 5064252 140734299143216 140734299141920 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19561/statm: 2287 276 234 213 0 72 0
[pid=19562] ppid=19561 vsize=465448 CPUtime=10.51 cores=0,2,4,6
/proc/19562/stat : 19562 (coprocessor) R 19561 19558 14026 0 -1 4202496 55370 0 0 0 968 83 0 0 20 0 1 0 285090630 476618752 111260 33554432000 4194304 6586260 140735329076304 140735329071928 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/19562/statm: 116362 111260 202 584 0 115774 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 552296
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 19572
/proc/meminfo: memFree=27323668/32873844 swapFree=7620/7620
[pid=19558] ppid=19556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19558/stat : 19558 (npSolver-wbo-I.) S 19556 19558 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285090414 9367552 275 33554432000 4194304 5064252 140736197271424 140736197270336 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19558/statm: 2287 275 233 213 0 72 0
[pid=19559] ppid=19558 vsize=243332 CPUtime=17.59 cores=0,2,4,6
/proc/19559/stat : 19559 (npSolver-wbo) S 19558 19558 14026 0 -1 4202496 15024 93492 0 0 322 99 1194 144 20 0 1 0 285090414 249171968 40921 33554432000 4194304 5990268 140734665611584 140734665603024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 68 0 0
/proc/19559/statm: 60833 40921 165 439 0 60390 0
[pid=19571] ppid=19559 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19571/stat : 19571 (satsolver.sh) S 19559 19558 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285092243 9367552 267 33554432000 4194304 5064252 140733776960144 140733776959056 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19571/statm: 2287 267 226 213 0 72 0
[pid=19572] ppid=19571 vsize=291340 CPUtime=7.19 cores=0,2,4,6
/proc/19572/stat : 19572 (glucose) R 19571 19558 14026 0 -1 4202496 50003 0 0 0 705 14 0 0 20 0 1 0 285092244 298332160 64356 33554432000 4194304 5208918 140735792593584 140735792591432 4214256 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19572/statm: 72835 64356 96 248 0 72584 0
Current children cumulated CPU time (s) 24.78
Current children cumulated vsize (KiB) 552968
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19572
/proc/meminfo: memFree=27315672/32873844 swapFree=7620/7620
[pid=19558] ppid=19556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19558/stat : 19558 (npSolver-wbo-I.) S 19556 19558 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285090414 9367552 275 33554432000 4194304 5064252 140736197271424 140736197270336 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19558/statm: 2287 275 233 213 0 72 0
[pid=19559] ppid=19558 vsize=243332 CPUtime=17.59 cores=0,2,4,6
/proc/19559/stat : 19559 (npSolver-wbo) S 19558 19558 14026 0 -1 4202496 15024 93492 0 0 322 99 1194 144 20 0 1 0 285090414 249171968 40921 33554432000 4194304 5990268 140734665611584 140734665603024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 68 0 0
/proc/19559/statm: 60833 40921 165 439 0 60390 0
[pid=19571] ppid=19559 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19571/stat : 19571 (satsolver.sh) S 19559 19558 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285092243 9367552 267 33554432000 4194304 5064252 140733776960144 140733776959056 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19571/statm: 2287 267 226 213 0 72 0
[pid=19572] ppid=19571 vsize=322328 CPUtime=32.79 cores=0,2,4,6
/proc/19572/stat : 19572 (glucose) R 19571 19558 14026 0 -1 4202496 50595 0 0 0 3264 15 0 0 20 0 1 0 285092244 330063872 65970 33554432000 4194304 5208918 140735792593584 140735792591544 4211635 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19572/statm: 80582 65970 96 248 0 80331 0
Current children cumulated CPU time (s) 50.38
Current children cumulated vsize (KiB) 583956
[startup+102.307 s]
/proc/loadavg: 2.06 2.01 2.00 3/183 19573
/proc/meminfo: memFree=27312824/32873844 swapFree=7620/7620
[pid=19558] ppid=19556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19558/stat : 19558 (npSolver-wbo-I.) S 19556 19558 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285090414 9367552 275 33554432000 4194304 5064252 140736197271424 140736197270336 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19558/statm: 2287 275 233 213 0 72 0
[pid=19559] ppid=19558 vsize=243332 CPUtime=17.59 cores=0,2,4,6
/proc/19559/stat : 19559 (npSolver-wbo) S 19558 19558 14026 0 -1 4202496 15024 93492 0 0 322 99 1194 144 20 0 1 0 285090414 249171968 40921 33554432000 4194304 5990268 140734665611584 140734665603024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 68 0 0
/proc/19559/statm: 60833 40921 165 439 0 60390 0
[pid=19571] ppid=19559 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19571/stat : 19571 (satsolver.sh) S 19559 19558 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285092243 9367552 267 33554432000 4194304 5064252 140733776960144 140733776959056 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19571/statm: 2287 267 226 213 0 72 0
[pid=19572] ppid=19571 vsize=297556 CPUtime=83.97 cores=0,2,4,6
/proc/19572/stat : 19572 (glucose) R 19571 19558 14026 0 -1 4202496 51725 0 0 0 8381 16 0 0 20 0 1 0 285092244 304697344 66239 33554432000 4194304 5208918 140735792593584 140735792591672 4210976 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19572/statm: 74389 66239 104 248 0 74138 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 559184
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 19573
/proc/meminfo: memFree=27308316/32873844 swapFree=7620/7620
[pid=19558] ppid=19556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19558/stat : 19558 (npSolver-wbo-I.) S 19556 19558 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285090414 9367552 275 33554432000 4194304 5064252 140736197271424 140736197270336 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19558/statm: 2287 275 233 213 0 72 0
[pid=19559] ppid=19558 vsize=243332 CPUtime=17.59 cores=0,2,4,6
/proc/19559/stat : 19559 (npSolver-wbo) S 19558 19558 14026 0 -1 4202496 15024 93492 0 0 322 99 1194 144 20 0 1 0 285090414 249171968 40921 33554432000 4194304 5990268 140734665611584 140734665603024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 68 0 0
/proc/19559/statm: 60833 40921 165 439 0 60390 0
[pid=19571] ppid=19559 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19571/stat : 19571 (satsolver.sh) S 19559 19558 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285092243 9367552 267 33554432000 4194304 5064252 140733776960144 140733776959056 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19571/statm: 2287 267 226 213 0 72 0
[pid=19572] ppid=19571 vsize=297556 CPUtime=143.95 cores=0,2,4,6
/proc/19572/stat : 19572 (glucose) R 19571 19558 14026 0 -1 4202496 51853 0 0 0 14379 16 0 0 20 0 1 0 285092244 304697344 66367 33554432000 4194304 5208918 140735792593584 140735792591672 4211656 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19572/statm: 74389 66367 104 248 0 74138 0
Current children cumulated CPU time (s) 161.54
Current children cumulated vsize (KiB) 559184
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19573
/proc/meminfo: memFree=27292872/32873844 swapFree=7620/7620
################
# More data... #
################
/proc/19815/stat : 19815 (glucose) R 19814 19558 14026 0 -1 4202496 47364 0 0 0 22683 11 0 0 20 0 1 0 285203945 270102528 59811 33554432000 4194304 5208918 140735056579728 140735056576104 4211019 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19815/statm: 65943 59811 105 248 0 65692 0
Current children cumulated CPU time (s) 1361.33
Current children cumulated vsize (KiB) 459864
[startup+1422.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/183 19819
/proc/meminfo: memFree=15577848/32873844 swapFree=7620/7620
[pid=19558] ppid=19556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19558/stat : 19558 (npSolver-wbo-I.) S 19556 19558 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285090414 9367552 275 33554432000 4194304 5064252 140736197271424 140736197270336 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19558/statm: 2287 275 233 213 0 72 0
[pid=19559] ppid=19558 vsize=177796 CPUtime=1134.39 cores=0,2,4,6
/proc/19559/stat : 19559 (npSolver-wbo) S 19558 19558 14026 0 -1 4202496 31608 227086 0 0 492 119 112566 262 20 0 1 0 285090414 182063104 37850 33554432000 4194304 5990268 140734665611584 140734665603024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 68 0 0
/proc/19559/statm: 44449 37850 166 439 0 44006 0
[pid=19814] ppid=19559 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19814/stat : 19814 (satsolver.sh) S 19559 19558 14026 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285203945 9367552 267 33554432000 4194304 5064252 140737206931952 140737206930864 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19814/statm: 2287 267 226 213 0 72 0
[pid=19815] ppid=19814 vsize=263772 CPUtime=286.93 cores=0,2,4,6
/proc/19815/stat : 19815 (glucose) R 19814 19558 14026 0 -1 4202496 47479 0 0 0 28682 11 0 0 20 0 1 0 285203945 270102528 59926 33554432000 4194304 5208918 140735056579728 140735056576104 4211656 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19815/statm: 65943 59926 105 248 0 65692 0
Current children cumulated CPU time (s) 1421.32
Current children cumulated vsize (KiB) 459864
[startup+1482.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 19819
/proc/meminfo: memFree=15573568/32873844 swapFree=7620/7620
[pid=19558] ppid=19556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19558/stat : 19558 (npSolver-wbo-I.) S 19556 19558 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285090414 9367552 275 33554432000 4194304 5064252 140736197271424 140736197270336 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19558/statm: 2287 275 233 213 0 72 0
[pid=19559] ppid=19558 vsize=177796 CPUtime=1134.39 cores=0,2,4,6
/proc/19559/stat : 19559 (npSolver-wbo) S 19558 19558 14026 0 -1 4202496 31608 227086 0 0 492 119 112566 262 20 0 1 0 285090414 182063104 37850 33554432000 4194304 5990268 140734665611584 140734665603024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 68 0 0
/proc/19559/statm: 44449 37850 166 439 0 44006 0
[pid=19814] ppid=19559 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19814/stat : 19814 (satsolver.sh) S 19559 19558 14026 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285203945 9367552 267 33554432000 4194304 5064252 140737206931952 140737206930864 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19814/statm: 2287 267 226 213 0 72 0
[pid=19815] ppid=19814 vsize=265116 CPUtime=346.92 cores=0,2,4,6
/proc/19815/stat : 19815 (glucose) R 19814 19558 14026 0 -1 4202496 47945 0 0 0 34681 11 0 0 20 0 1 0 285203945 271478784 60903 33554432000 4194304 5208918 140735056579728 140735056577480 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19815/statm: 66279 60903 105 248 0 66028 0
Current children cumulated CPU time (s) 1481.31
Current children cumulated vsize (KiB) 461208
[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 19819
/proc/meminfo: memFree=15569908/32873844 swapFree=7620/7620
[pid=19558] ppid=19556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19558/stat : 19558 (npSolver-wbo-I.) S 19556 19558 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285090414 9367552 275 33554432000 4194304 5064252 140736197271424 140736197270336 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19558/statm: 2287 275 233 213 0 72 0
[pid=19559] ppid=19558 vsize=177796 CPUtime=1134.39 cores=0,2,4,6
/proc/19559/stat : 19559 (npSolver-wbo) S 19558 19558 14026 0 -1 4202496 31608 227086 0 0 492 119 112566 262 20 0 1 0 285090414 182063104 37850 33554432000 4194304 5990268 140734665611584 140734665603024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 68 0 0
/proc/19559/statm: 44449 37850 166 439 0 44006 0
[pid=19814] ppid=19559 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19814/stat : 19814 (satsolver.sh) S 19559 19558 14026 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285203945 9367552 267 33554432000 4194304 5064252 140737206931952 140737206930864 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19814/statm: 2287 267 226 213 0 72 0
[pid=19815] ppid=19814 vsize=266744 CPUtime=406.92 cores=0,2,4,6
/proc/19815/stat : 19815 (glucose) R 19814 19558 14026 0 -1 4202496 48370 0 0 0 40681 11 0 0 20 0 1 0 285203945 273145856 61839 33554432000 4194304 5208918 140735056579728 140735056577480 4229748 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19815/statm: 66686 61839 105 248 0 66435 0
Current children cumulated CPU time (s) 1541.31
Current children cumulated vsize (KiB) 462836
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 19820
/proc/meminfo: memFree=15566744/32873844 swapFree=7620/7620
[pid=19558] ppid=19556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19558/stat : 19558 (npSolver-wbo-I.) S 19556 19558 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285090414 9367552 275 33554432000 4194304 5064252 140736197271424 140736197270336 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19558/statm: 2287 275 233 213 0 72 0
[pid=19559] ppid=19558 vsize=177796 CPUtime=1134.39 cores=0,2,4,6
/proc/19559/stat : 19559 (npSolver-wbo) S 19558 19558 14026 0 -1 4202496 31608 227086 0 0 492 119 112566 262 20 0 1 0 285090414 182063104 37850 33554432000 4194304 5990268 140734665611584 140734665603024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 68 0 0
/proc/19559/statm: 44449 37850 166 439 0 44006 0
[pid=19814] ppid=19559 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19814/stat : 19814 (satsolver.sh) S 19559 19558 14026 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285203945 9367552 267 33554432000 4194304 5064252 140737206931952 140737206930864 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19814/statm: 2287 267 226 213 0 72 0
[pid=19815] ppid=19814 vsize=267644 CPUtime=466.91 cores=0,2,4,6
/proc/19815/stat : 19815 (glucose) R 19814 19558 14026 0 -1 4202496 48575 0 0 0 46679 12 0 0 20 0 1 0 285203945 274067456 62555 33554432000 4194304 5208918 140735056579728 140735056577480 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19815/statm: 66911 62555 105 248 0 66660 0
Current children cumulated CPU time (s) 1601.3
Current children cumulated vsize (KiB) 463736
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 19827
/proc/meminfo: memFree=15599192/32873844 swapFree=7620/7620
[pid=19558] ppid=19556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19558/stat : 19558 (npSolver-wbo-I.) S 19556 19558 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285090414 9367552 275 33554432000 4194304 5064252 140736197271424 140736197270336 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19558/statm: 2287 275 233 213 0 72 0
[pid=19559] ppid=19558 vsize=177796 CPUtime=1632.9 cores=0,2,4,6
/proc/19559/stat : 19559 (npSolver-wbo) S 19558 19558 14026 0 -1 4202496 40172 290144 0 0 566 128 162291 305 20 0 1 0 285090414 182063104 36826 33554432000 4194304 5990268 140734665611584 140734665603024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 68 0 0
/proc/19559/statm: 44449 36826 166 439 0 44006 0
[pid=19826] ppid=19559 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19826/stat : 19826 (satsolver.sh) S 19559 19558 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285253802 9367552 267 33554432000 4194304 5064252 140737450858848 140737450857760 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19826/statm: 2287 267 226 213 0 72 0
[pid=19827] ppid=19826 vsize=259280 CPUtime=28.4 cores=0,2,4,6
/proc/19827/stat : 19827 (glucose) R 19826 19558 14026 0 -1 4202496 44149 0 0 0 2829 11 0 0 20 0 1 0 285253803 265502720 56747 33554432000 4194304 5208918 140735011457584 140735011455416 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19827/statm: 64820 56747 105 248 0 64569 0
Current children cumulated CPU time (s) 1661.3
Current children cumulated vsize (KiB) 455372
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19827
/proc/meminfo: memFree=15594540/32873844 swapFree=7620/7620
[pid=19558] ppid=19556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19558/stat : 19558 (npSolver-wbo-I.) S 19556 19558 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285090414 9367552 275 33554432000 4194304 5064252 140736197271424 140736197270336 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19558/statm: 2287 275 233 213 0 72 0
[pid=19559] ppid=19558 vsize=177796 CPUtime=1632.9 cores=0,2,4,6
/proc/19559/stat : 19559 (npSolver-wbo) S 19558 19558 14026 0 -1 4202496 40172 290144 0 0 566 128 162291 305 20 0 1 0 285090414 182063104 36826 33554432000 4194304 5990268 140734665611584 140734665603024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 68 0 0
/proc/19559/statm: 44449 36826 166 439 0 44006 0
[pid=19826] ppid=19559 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19826/stat : 19826 (satsolver.sh) S 19559 19558 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285253802 9367552 267 33554432000 4194304 5064252 140737450858848 140737450857760 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19826/statm: 2287 267 226 213 0 72 0
[pid=19827] ppid=19826 vsize=261164 CPUtime=88.39 cores=0,2,4,6
/proc/19827/stat : 19827 (glucose) R 19826 19558 14026 0 -1 4202496 44756 0 0 0 8827 12 0 0 20 0 1 0 285253803 267431936 57865 33554432000 4194304 5208918 140735011457584 140735011455256 4211147 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19827/statm: 65291 57865 105 248 0 65040 0
Current children cumulated CPU time (s) 1721.29
Current children cumulated vsize (KiB) 457256
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19827
/proc/meminfo: memFree=15591748/32873844 swapFree=7620/7620
[pid=19558] ppid=19556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19558/stat : 19558 (npSolver-wbo-I.) S 19556 19558 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285090414 9367552 275 33554432000 4194304 5064252 140736197271424 140736197270336 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19558/statm: 2287 275 233 213 0 72 0
[pid=19559] ppid=19558 vsize=177796 CPUtime=1632.9 cores=0,2,4,6
/proc/19559/stat : 19559 (npSolver-wbo) S 19558 19558 14026 0 -1 4202496 40172 290144 0 0 566 128 162291 305 20 0 1 0 285090414 182063104 36826 33554432000 4194304 5990268 140734665611584 140734665603024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 68 0 0
/proc/19559/statm: 44449 36826 166 439 0 44006 0
[pid=19826] ppid=19559 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19826/stat : 19826 (satsolver.sh) S 19559 19558 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285253802 9367552 267 33554432000 4194304 5064252 140737450858848 140737450857760 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19826/statm: 2287 267 226 213 0 72 0
[pid=19827] ppid=19826 vsize=261712 CPUtime=148.38 cores=0,2,4,6
/proc/19827/stat : 19827 (glucose) R 19826 19558 14026 0 -1 4202496 44943 0 0 0 14826 12 0 0 20 0 1 0 285253803 267993088 58563 33554432000 4194304 5208918 140735011457584 140735011455336 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19827/statm: 65428 58563 105 248 0 65177 0
Current children cumulated CPU time (s) 1781.28
Current children cumulated vsize (KiB) 457804
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 19830
/proc/meminfo: memFree=15592112/32873844 swapFree=7620/7620
[pid=19558] ppid=19556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19558/stat : 19558 (npSolver-wbo-I.) S 19556 19558 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285090414 9367552 275 33554432000 4194304 5064252 140736197271424 140736197270336 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19558/statm: 2287 275 233 213 0 72 0
[pid=19559] ppid=19558 vsize=177796 CPUtime=1632.9 cores=0,2,4,6
/proc/19559/stat : 19559 (npSolver-wbo) S 19558 19558 14026 0 -1 4202496 40172 290144 0 0 566 128 162291 305 20 0 1 0 285090414 182063104 36826 33554432000 4194304 5990268 140734665611584 140734665603024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 68 0 0
/proc/19559/statm: 44449 36826 166 439 0 44006 0
[pid=19826] ppid=19559 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19826/stat : 19826 (satsolver.sh) S 19559 19558 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285253802 9367552 267 33554432000 4194304 5064252 140737450858848 140737450857760 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19826/statm: 2287 267 226 213 0 72 0
[pid=19827] ppid=19826 vsize=261712 CPUtime=167.19 cores=0,2,4,6
/proc/19827/stat : 19827 (glucose) R 19826 19558 14026 0 -1 4202496 44945 0 0 0 16707 12 0 0 20 0 1 0 285253803 267993088 58565 33554432000 4194304 5208918 140735011457584 140735011455336 4211744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19827/statm: 65428 58565 105 248 0 65177 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 457804
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19558 and gives
# childrusage.ru_utime.tv_sec=1628
# childrusage.ru_utime.tv_usec=576418
# childrusage.ru_stime.tv_sec=4
# childrusage.ru_stime.tv_usec=345339
# CPU time returned by wait4() is 1632.92
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.11
CPU time (s): 1800.09
CPU user time (s): 1795.64
CPU system time (s): 4.45
CPU usage (%): 99.9431
Max. virtual memory (cumulated for all children) (KiB): 648724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1628.58
system time used= 4.34534
maximum resident set size= 450688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 331294
page faults= 0
swaps= 0
block input operations= 0
block output operations= 781512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6330
involuntary context switches= 1900
runsolver used 2.67259 second user time and 7.2069 second system time
The end