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-3700835-1338110095/watcher-3700835-1338110095 -o /tmp/evaluation-result-3700835-1338110095/solver-3700835-1338110095 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3700835-1338110095.opb 427280729 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.02 3/177 31388
/proc/meminfo: memFree=17534824/32873852 swapFree=6856/6856
[pid=31388] ppid=31386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31388/stat : 31388 (npSolver-pbo.sh) S 31386 31388 23596 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277135415 9367552 274 33554432000 4194304 5064252 140736553988432 140736553987344 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31388/statm: 2287 274 233 213 0 72 0
[startup+0.0994629 s]
/proc/loadavg: 2.00 2.00 2.02 3/177 31388
/proc/meminfo: memFree=17534824/32873852 swapFree=6856/6856
[pid=31388] ppid=31386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31388/stat : 31388 (npSolver-pbo.sh) S 31386 31388 23596 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277135415 9367552 274 33554432000 4194304 5064252 140736553988432 140736553987344 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31388/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100346 s]
/proc/loadavg: 2.00 2.00 2.02 3/177 31388
/proc/meminfo: memFree=17534824/32873852 swapFree=6856/6856
[pid=31388] ppid=31386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31388/stat : 31388 (npSolver-pbo.sh) S 31386 31388 23596 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277135415 9367552 274 33554432000 4194304 5064252 140736553988432 140736553987344 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31388/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300317 s]
/proc/loadavg: 2.00 2.00 2.02 3/177 31388
/proc/meminfo: memFree=17534824/32873852 swapFree=6856/6856
[pid=31388] ppid=31386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31388/stat : 31388 (npSolver-pbo.sh) S 31386 31388 23596 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277135415 9367552 274 33554432000 4194304 5064252 140736553988432 140736553987344 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31388/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70031 s]
/proc/loadavg: 2.00 2.00 2.02 3/177 31388
/proc/meminfo: memFree=17534824/32873852 swapFree=6856/6856
[pid=31388] ppid=31386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31388/stat : 31388 (npSolver-pbo.sh) S 31386 31388 23596 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277135415 9367552 274 33554432000 4194304 5064252 140736553988432 140736553987344 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31388/statm: 2287 274 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.02 3/179 31390
/proc/meminfo: memFree=17451368/32873852 swapFree=6856/6856
[pid=31388] ppid=31386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31388/stat : 31388 (npSolver-pbo.sh) S 31386 31388 23596 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277135415 9367552 274 33554432000 4194304 5064252 140736553988432 140736553987344 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31388/statm: 2287 274 233 213 0 72 0
[pid=31389] ppid=31388 vsize=123216 CPUtime=1.49 cores=1,3,5,7
/proc/31389/stat : 31389 (npSolver-pbo) R 31388 31388 23596 0 -1 4202496 30058 0 0 0 145 4 0 0 20 0 1 0 277135415 126173184 29560 33554432000 4194304 5992684 140734055853696 140734055835928 4956952 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31389/statm: 30804 29560 165 440 0 30360 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 132364
[startup+3.10036 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 31390
/proc/meminfo: memFree=17363432/32873852 swapFree=6856/6856
[pid=31388] ppid=31386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31388/stat : 31388 (npSolver-pbo.sh) S 31386 31388 23596 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277135415 9367552 274 33554432000 4194304 5064252 140736553988432 140736553987344 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31388/statm: 2287 274 233 213 0 72 0
[pid=31389] ppid=31388 vsize=252848 CPUtime=3.09 cores=1,3,5,7
/proc/31389/stat : 31389 (npSolver-pbo) R 31388 31388 23596 0 -1 4202496 60926 0 0 0 300 9 0 0 20 0 1 0 277135415 258916352 61446 33554432000 4194304 5992684 140734055853696 140734055839672 4229135 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31389/statm: 63212 61446 165 440 0 62768 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 261996
[startup+6.30028 s]
/proc/loadavg: 2.08 2.02 2.02 3/181 31392
/proc/meminfo: memFree=17111240/32873852 swapFree=6856/6856
[pid=31388] ppid=31386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31388/stat : 31388 (npSolver-pbo.sh) S 31386 31388 23596 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277135415 9367552 274 33554432000 4194304 5064252 140736553988432 140736553987344 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31388/statm: 2287 274 233 213 0 72 0
[pid=31389] ppid=31388 vsize=339572 CPUtime=5.8 cores=1,3,5,7
/proc/31389/stat : 31389 (npSolver-pbo) S 31388 31388 23596 0 -1 4202496 83489 16233 0 0 425 17 132 6 20 0 1 0 277135415 347721728 83665 33554432000 4194304 5992684 140734055853696 140734055848816 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31389/statm: 84893 83665 173 440 0 84449 0
Current children cumulated CPU time (s) 5.8
Current children cumulated vsize (KiB) 348720
[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 2.02 3/181 31395
/proc/meminfo: memFree=17150452/32873852 swapFree=6856/6856
[pid=31388] ppid=31386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31388/stat : 31388 (npSolver-pbo.sh) S 31386 31388 23596 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277135415 9367552 274 33554432000 4194304 5064252 140736553988432 140736553987344 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31388/statm: 2287 274 233 213 0 72 0
[pid=31389] ppid=31388 vsize=339572 CPUtime=5.8 cores=1,3,5,7
/proc/31389/stat : 31389 (npSolver-pbo) S 31388 31388 23596 0 -1 4202496 83489 16233 0 0 425 17 132 6 20 0 1 0 277135415 347721728 83665 33554432000 4194304 5992684 140734055853696 140734055848816 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31389/statm: 84893 83665 173 440 0 84449 0
[pid=31394] ppid=31389 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31394/stat : 31394 (satsolver.sh) S 31389 31388 23596 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277135997 9367552 267 33554432000 4194304 5064252 140734109781376 140734109780288 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31394/statm: 2287 267 226 213 0 72 0
[pid=31395] ppid=31394 vsize=46744 CPUtime=6.85 cores=1,3,5,7
/proc/31395/stat : 31395 (glucose) R 31394 31388 23596 0 -1 4202496 9162 0 0 0 683 2 0 0 20 0 1 0 277135999 47865856 10428 33554432000 4194304 5208918 140735197330960 140735197328904 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31395/statm: 11686 10428 104 248 0 11435 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 404612
[startup+25.5002 s]
/proc/loadavg: 2.06 2.01 2.02 3/181 31395
/proc/meminfo: memFree=17121476/32873852 swapFree=6856/6856
[pid=31388] ppid=31386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31388/stat : 31388 (npSolver-pbo.sh) S 31386 31388 23596 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277135415 9367552 274 33554432000 4194304 5064252 140736553988432 140736553987344 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31388/statm: 2287 274 233 213 0 72 0
[pid=31389] ppid=31388 vsize=341204 CPUtime=25.47 cores=1,3,5,7
/proc/31389/stat : 31389 (npSolver-pbo) R 31388 31388 23596 0 -1 4202496 83866 30212 0 0 428 33 2074 12 20 0 1 0 277135415 349392896 84002 33554432000 4194304 5992684 140734055853696 140734055847880 5179696 0 0 4096 0 0 0 0 17 7 0 0 0 0 0
/proc/31389/statm: 85301 84002 179 440 0 84857 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 350352
[startup+51.1005 s]
/proc/loadavg: 2.11 2.03 2.02 3/181 31403
/proc/meminfo: memFree=16955556/32873852 swapFree=6856/6856
[pid=31388] ppid=31386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31388/stat : 31388 (npSolver-pbo.sh) S 31386 31388 23596 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277135415 9367552 274 33554432000 4194304 5064252 140736553988432 140736553987344 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31388/statm: 2287 274 233 213 0 72 0
[pid=31389] ppid=31388 vsize=425304 CPUtime=26.46 cores=1,3,5,7
/proc/31389/stat : 31389 (npSolver-pbo) S 31388 31388 23596 0 -1 4202496 88754 30727 0 0 486 72 2074 14 20 0 1 0 277135415 435511296 97496 33554432000 4194304 5992684 140734055853696 140734055846016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/31389/statm: 106326 97496 182 440 0 105882 0
[pid=31401] ppid=31389 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31401/stat : 31401 (satsolver.sh) S 31389 31388 23596 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 277138074 9367552 267 33554432000 4194304 5064252 140736046867824 140736046866736 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31401/statm: 2287 267 226 213 0 72 0
[pid=31402] ppid=31401 vsize=132028 CPUtime=24.44 cores=1,3,5,7
/proc/31402/stat : 31402 (glucose) R 31401 31388 23596 0 -1 4202496 28017 0 0 0 2437 7 0 0 20 0 1 0 277138076 135196672 29954 33554432000 4194304 5208918 140734065585136 140734065583224 4229824 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 33007 29954 105 248 0 32756 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 575628
[startup+102.307 s]
/proc/loadavg: 2.05 2.02 2.02 3/181 31403
/proc/meminfo: memFree=16895180/32873852 swapFree=6856/6856
[pid=31388] ppid=31386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31388/stat : 31388 (npSolver-pbo.sh) S 31386 31388 23596 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277135415 9367552 274 33554432000 4194304 5064252 140736553988432 140736553987344 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31388/statm: 2287 274 233 213 0 72 0
[pid=31389] ppid=31388 vsize=425304 CPUtime=26.46 cores=1,3,5,7
/proc/31389/stat : 31389 (npSolver-pbo) S 31388 31388 23596 0 -1 4202496 88754 30727 0 0 486 72 2074 14 20 0 1 0 277135415 435511296 97496 33554432000 4194304 5992684 140734055853696 140734055846016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/31389/statm: 106326 97496 182 440 0 105882 0
[pid=31401] ppid=31389 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31401/stat : 31401 (satsolver.sh) S 31389 31388 23596 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 277138074 9367552 267 33554432000 4194304 5064252 140736046867824 140736046866736 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31401/statm: 2287 267 226 213 0 72 0
[pid=31402] ppid=31401 vsize=162068 CPUtime=75.64 cores=1,3,5,7
/proc/31402/stat : 31402 (glucose) R 31401 31388 23596 0 -1 4202496 29862 0 0 0 7553 11 0 0 20 0 1 0 277138076 165957632 38901 33554432000 4194304 5208918 140734065585136 140734065581512 4212649 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 40517 38901 105 248 0 40266 0
Current children cumulated CPU time (s) 102.1
Current children cumulated vsize (KiB) 605668
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.01 3/181 31403
/proc/meminfo: memFree=17191880/32873852 swapFree=6856/6856
[pid=31388] ppid=31386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31388/stat : 31388 (npSolver-pbo.sh) S 31386 31388 23596 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277135415 9367552 274 33554432000 4194304 5064252 140736553988432 140736553987344 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31388/statm: 2287 274 233 213 0 72 0
[pid=31389] ppid=31388 vsize=425304 CPUtime=26.46 cores=1,3,5,7
/proc/31389/stat : 31389 (npSolver-pbo) S 31388 31388 23596 0 -1 4202496 88754 30727 0 0 486 72 2074 14 20 0 1 0 277135415 435511296 97496 33554432000 4194304 5992684 140734055853696 140734055846016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/31389/statm: 106326 97496 182 440 0 105882 0
[pid=31401] ppid=31389 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31401/stat : 31401 (satsolver.sh) S 31389 31388 23596 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 277138074 9367552 267 33554432000 4194304 5064252 140736046867824 140736046866736 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31401/statm: 2287 267 226 213 0 72 0
[pid=31402] ppid=31401 vsize=211388 CPUtime=135.62 cores=1,3,5,7
/proc/31402/stat : 31402 (glucose) R 31401 31388 23596 0 -1 4202496 30681 0 0 0 13549 13 0 0 20 0 1 0 277138076 216461312 47751 33554432000 4194304 5208918 140734065585136 140734065581448 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 52847 47751 105 248 0 52596 0
Current children cumulated CPU time (s) 162.08
Current children cumulated vsize (KiB) 654988
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 31403
/proc/meminfo: memFree=17155248/32873852 swapFree=6856/6856
[pid=31388] ppid=31386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31388/stat : 31388 (npSolver-pbo.sh) S 31386 31388 23596 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277135415 9367552 274 33554432000 4194304 5064252 140736553988432 140736553987344 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31388/statm: 2287 274 233 213 0 72 0
[pid=31389] ppid=31388 vsize=425304 CPUtime=26.46 cores=1,3,5,7
/proc/31389/stat : 31389 (npSolver-pbo) S 31388 31388 23596 0 -1 4202496 88754 30727 0 0 486 72 2074 14 20 0 1 0 277135415 435511296 97496 33554432000 4194304 5992684 140734055853696 140734055846016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/31389/statm: 106326 97496 182 440 0 105882 0
[pid=31401] ppid=31389 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31401/stat : 31401 (satsolver.sh) S 31389 31388 23596 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 277138074 9367552 267 33554432000 4194304 5064252 140736046867824 140736046866736 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31401/statm: 2287 267 226 213 0 72 0
[pid=31402] ppid=31401 vsize=211388 CPUtime=195.61 cores=1,3,5,7
/proc/31402/stat : 31402 (glucose) R 31401 31388 23596 0 -1 4202496 31531 0 0 0 19545 16 0 0 20 0 1 0 277138076 216461312 48316 33554432000 4194304 5208918 140734065585136 140734065581512 4215154 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 52847 48316 105 248 0 52596 0
Current children cumulated CPU time (s) 222.07
################
# More data... #
################
/proc/31479/statm: 53239 47210 104 248 0 52988 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 640316
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 31479
/proc/meminfo: memFree=24061720/32873852 swapFree=6856/6856
[pid=31388] ppid=31386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31388/stat : 31388 (npSolver-pbo.sh) S 31386 31388 23596 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277135415 9367552 274 33554432000 4194304 5064252 140736553988432 140736553987344 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31388/statm: 2287 274 233 213 0 72 0
[pid=31389] ppid=31388 vsize=409064 CPUtime=1316.38 cores=1,3,5,7
/proc/31389/stat : 31389 (npSolver-pbo) S 31388 31388 23596 0 -1 4202496 98212 129145 0 0 590 92 130848 108 20 0 1 0 277135415 418881536 93468 33554432000 4194304 5992684 140734055853696 140734055846016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/31389/statm: 102266 93468 182 440 0 101822 0
[pid=31478] ppid=31389 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31478/stat : 31478 (satsolver.sh) S 31389 31388 23596 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 277267095 9367552 267 33554432000 4194304 5064252 140734756636144 140734756635056 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31478/statm: 2287 267 226 213 0 72 0
[pid=31479] ppid=31478 vsize=212956 CPUtime=105.47 cores=1,3,5,7
/proc/31479/stat : 31479 (glucose) R 31478 31388 23596 0 -1 4202496 31703 0 0 0 10533 14 0 0 20 0 1 0 277267097 218066944 47787 33554432000 4194304 5208918 140734202497424 140734202493800 4229493 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31479/statm: 53239 47787 104 248 0 52988 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 640316
[startup+1482.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/182 31480
/proc/meminfo: memFree=24061712/32873852 swapFree=6856/6856
[pid=31388] ppid=31386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31388/stat : 31388 (npSolver-pbo.sh) S 31386 31388 23596 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277135415 9367552 274 33554432000 4194304 5064252 140736553988432 140736553987344 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31388/statm: 2287 274 233 213 0 72 0
[pid=31389] ppid=31388 vsize=409064 CPUtime=1316.38 cores=1,3,5,7
/proc/31389/stat : 31389 (npSolver-pbo) S 31388 31388 23596 0 -1 4202496 98212 129145 0 0 590 92 130848 108 20 0 1 0 277135415 418881536 93468 33554432000 4194304 5992684 140734055853696 140734055846016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/31389/statm: 102266 93468 182 440 0 101822 0
[pid=31478] ppid=31389 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31478/stat : 31478 (satsolver.sh) S 31389 31388 23596 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 277267095 9367552 267 33554432000 4194304 5064252 140734756636144 140734756635056 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31478/statm: 2287 267 226 213 0 72 0
[pid=31479] ppid=31478 vsize=212956 CPUtime=165.45 cores=1,3,5,7
/proc/31479/stat : 31479 (glucose) R 31478 31388 23596 0 -1 4202496 32657 0 0 0 16528 17 0 0 20 0 1 0 277267097 218066944 47787 33554432000 4194304 5208918 140734202497424 140734202495416 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31479/statm: 53239 47787 104 248 0 52988 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 640316
[startup+1542.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/182 31482
/proc/meminfo: memFree=24061960/32873852 swapFree=6856/6856
[pid=31388] ppid=31386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31388/stat : 31388 (npSolver-pbo.sh) S 31386 31388 23596 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277135415 9367552 274 33554432000 4194304 5064252 140736553988432 140736553987344 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31388/statm: 2287 274 233 213 0 72 0
[pid=31389] ppid=31388 vsize=409064 CPUtime=1316.38 cores=1,3,5,7
/proc/31389/stat : 31389 (npSolver-pbo) S 31388 31388 23596 0 -1 4202496 98212 129145 0 0 590 92 130848 108 20 0 1 0 277135415 418881536 93468 33554432000 4194304 5992684 140734055853696 140734055846016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/31389/statm: 102266 93468 182 440 0 101822 0
[pid=31478] ppid=31389 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31478/stat : 31478 (satsolver.sh) S 31389 31388 23596 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 277267095 9367552 267 33554432000 4194304 5064252 140734756636144 140734756635056 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31478/statm: 2287 267 226 213 0 72 0
[pid=31479] ppid=31478 vsize=212956 CPUtime=225.44 cores=1,3,5,7
/proc/31479/stat : 31479 (glucose) R 31478 31388 23596 0 -1 4202496 33384 0 0 0 22525 19 0 0 20 0 1 0 277267097 218066944 47793 33554432000 4194304 5208918 140734202497424 140734202495416 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31479/statm: 53239 47793 104 248 0 52988 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 640316
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 31483
/proc/meminfo: memFree=24048936/32873852 swapFree=6856/6856
[pid=31388] ppid=31386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31388/stat : 31388 (npSolver-pbo.sh) S 31386 31388 23596 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277135415 9367552 274 33554432000 4194304 5064252 140736553988432 140736553987344 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31388/statm: 2287 274 233 213 0 72 0
[pid=31389] ppid=31388 vsize=409064 CPUtime=1316.38 cores=1,3,5,7
/proc/31389/stat : 31389 (npSolver-pbo) S 31388 31388 23596 0 -1 4202496 98212 129145 0 0 590 92 130848 108 20 0 1 0 277135415 418881536 93468 33554432000 4194304 5992684 140734055853696 140734055846016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/31389/statm: 102266 93468 182 440 0 101822 0
[pid=31478] ppid=31389 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31478/stat : 31478 (satsolver.sh) S 31389 31388 23596 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 277267095 9367552 267 33554432000 4194304 5064252 140734756636144 140734756635056 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31478/statm: 2287 267 226 213 0 72 0
[pid=31479] ppid=31478 vsize=212956 CPUtime=285.43 cores=1,3,5,7
/proc/31479/stat : 31479 (glucose) R 31478 31388 23596 0 -1 4202496 34235 0 0 0 28521 22 0 0 20 0 1 0 277267097 218066944 47281 33554432000 4194304 5208918 140734202497424 140734202493800 4229347 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31479/statm: 53239 47281 104 248 0 52988 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 640316
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 31483
/proc/meminfo: memFree=24057128/32873852 swapFree=6856/6856
[pid=31388] ppid=31386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31388/stat : 31388 (npSolver-pbo.sh) S 31386 31388 23596 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277135415 9367552 274 33554432000 4194304 5064252 140736553988432 140736553987344 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31388/statm: 2287 274 233 213 0 72 0
[pid=31389] ppid=31388 vsize=409064 CPUtime=1316.38 cores=1,3,5,7
/proc/31389/stat : 31389 (npSolver-pbo) S 31388 31388 23596 0 -1 4202496 98212 129145 0 0 590 92 130848 108 20 0 1 0 277135415 418881536 93468 33554432000 4194304 5992684 140734055853696 140734055846016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/31389/statm: 102266 93468 182 440 0 101822 0
[pid=31478] ppid=31389 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31478/stat : 31478 (satsolver.sh) S 31389 31388 23596 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 277267095 9367552 267 33554432000 4194304 5064252 140734756636144 140734756635056 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31478/statm: 2287 267 226 213 0 72 0
[pid=31479] ppid=31478 vsize=212956 CPUtime=345.43 cores=1,3,5,7
/proc/31479/stat : 31479 (glucose) R 31478 31388 23596 0 -1 4202496 34845 0 0 0 34519 24 0 0 20 0 1 0 277267097 218066944 48817 33554432000 4194304 5208918 140734202497424 140734202493800 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31479/statm: 53239 48817 104 248 0 52988 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 640316
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 31483
/proc/meminfo: memFree=24052784/32873852 swapFree=6856/6856
[pid=31388] ppid=31386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31388/stat : 31388 (npSolver-pbo.sh) S 31386 31388 23596 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277135415 9367552 274 33554432000 4194304 5064252 140736553988432 140736553987344 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31388/statm: 2287 274 233 213 0 72 0
[pid=31389] ppid=31388 vsize=409064 CPUtime=1316.38 cores=1,3,5,7
/proc/31389/stat : 31389 (npSolver-pbo) S 31388 31388 23596 0 -1 4202496 98212 129145 0 0 590 92 130848 108 20 0 1 0 277135415 418881536 93468 33554432000 4194304 5992684 140734055853696 140734055846016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/31389/statm: 102266 93468 182 440 0 101822 0
[pid=31478] ppid=31389 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31478/stat : 31478 (satsolver.sh) S 31389 31388 23596 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 277267095 9367552 267 33554432000 4194304 5064252 140734756636144 140734756635056 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31478/statm: 2287 267 226 213 0 72 0
[pid=31479] ppid=31478 vsize=212956 CPUtime=405.42 cores=1,3,5,7
/proc/31479/stat : 31479 (glucose) R 31478 31388 23596 0 -1 4202496 36128 0 0 0 40516 26 0 0 20 0 1 0 277267097 218066944 49925 33554432000 4194304 5208918 140734202497424 140734202493800 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31479/statm: 53239 49925 104 248 0 52988 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 640316
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 31483
/proc/meminfo: memFree=24046656/32873852 swapFree=6856/6856
[pid=31388] ppid=31386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31388/stat : 31388 (npSolver-pbo.sh) S 31386 31388 23596 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277135415 9367552 274 33554432000 4194304 5064252 140736553988432 140736553987344 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31388/statm: 2287 274 233 213 0 72 0
[pid=31389] ppid=31388 vsize=409064 CPUtime=1316.38 cores=1,3,5,7
/proc/31389/stat : 31389 (npSolver-pbo) S 31388 31388 23596 0 -1 4202496 98212 129145 0 0 590 92 130848 108 20 0 1 0 277135415 418881536 93468 33554432000 4194304 5992684 140734055853696 140734055846016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/31389/statm: 102266 93468 182 440 0 101822 0
[pid=31478] ppid=31389 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31478/stat : 31478 (satsolver.sh) S 31389 31388 23596 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 277267095 9367552 267 33554432000 4194304 5064252 140734756636144 140734756635056 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31478/statm: 2287 267 226 213 0 72 0
[pid=31479] ppid=31478 vsize=212956 CPUtime=465.41 cores=1,3,5,7
/proc/31479/stat : 31479 (glucose) R 31478 31388 23596 0 -1 4202496 37672 0 0 0 46512 29 0 0 20 0 1 0 277267097 218066944 51377 33554432000 4194304 5208918 140734202497424 140734202493800 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31479/statm: 53239 51377 104 248 0 52988 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 640316
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 31483
/proc/meminfo: memFree=24054740/32873852 swapFree=6856/6856
[pid=31388] ppid=31386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31388/stat : 31388 (npSolver-pbo.sh) S 31386 31388 23596 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277135415 9367552 274 33554432000 4194304 5064252 140736553988432 140736553987344 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31388/statm: 2287 274 233 213 0 72 0
[pid=31389] ppid=31388 vsize=409064 CPUtime=1316.38 cores=1,3,5,7
/proc/31389/stat : 31389 (npSolver-pbo) S 31388 31388 23596 0 -1 4202496 98212 129145 0 0 590 92 130848 108 20 0 1 0 277135415 418881536 93468 33554432000 4194304 5992684 140734055853696 140734055846016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/31389/statm: 102266 93468 182 440 0 101822 0
[pid=31478] ppid=31389 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31478/stat : 31478 (satsolver.sh) S 31389 31388 23596 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 277267095 9367552 267 33554432000 4194304 5064252 140734756636144 140734756635056 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31478/statm: 2287 267 226 213 0 72 0
[pid=31479] ppid=31478 vsize=212956 CPUtime=483.72 cores=1,3,5,7
/proc/31479/stat : 31479 (glucose) R 31478 31388 23596 0 -1 4202496 38556 0 0 0 48341 31 0 0 20 0 1 0 277267097 218066944 49329 33554432000 4194304 5208918 140734202497424 140734202495512 4229776 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31479/statm: 53239 49329 104 248 0 52988 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 640316
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31388 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.63
CPU time (s): 1800.1
CPU user time (s): 1797.79
CPU system time (s): 2.31
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 820764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 356
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1
runsolver used 4.01139 second user time and 12.2721 second system time
The end