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-3700887-1338130409/watcher-3700887-1338130409 -o /tmp/evaluation-result-3700887-1338130409/solver-3700887-1338130409 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3700887-1338130409.opb 1670740952 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.62 2.21 2.07 3/174 22281
/proc/meminfo: memFree=29524124/32873648 swapFree=7116/7116
[pid=22281] ppid=22279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22281/stat : 22281 (npSolver-pbo.sh) S 22279 22281 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279168357 9367552 275 33554432000 4194304 5064252 140735792770448 140735792769360 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22281/statm: 2287 275 233 213 0 72 0
[startup+0.076953 s]
/proc/loadavg: 2.62 2.21 2.07 3/174 22281
/proc/meminfo: memFree=29524124/32873648 swapFree=7116/7116
[pid=22281] ppid=22279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22281/stat : 22281 (npSolver-pbo.sh) S 22279 22281 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279168357 9367552 275 33554432000 4194304 5064252 140735792770448 140735792769360 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22281/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100208 s]
/proc/loadavg: 2.62 2.21 2.07 3/174 22281
/proc/meminfo: memFree=29524124/32873648 swapFree=7116/7116
[pid=22281] ppid=22279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22281/stat : 22281 (npSolver-pbo.sh) S 22279 22281 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279168357 9367552 275 33554432000 4194304 5064252 140735792770448 140735792769360 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22281/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300272 s]
/proc/loadavg: 2.62 2.21 2.07 3/174 22281
/proc/meminfo: memFree=29524124/32873648 swapFree=7116/7116
[pid=22281] ppid=22279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22281/stat : 22281 (npSolver-pbo.sh) S 22279 22281 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279168357 9367552 275 33554432000 4194304 5064252 140735792770448 140735792769360 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22281/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700228 s]
/proc/loadavg: 2.62 2.21 2.07 3/174 22281
/proc/meminfo: memFree=29524124/32873648 swapFree=7116/7116
[pid=22281] ppid=22279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22281/stat : 22281 (npSolver-pbo.sh) S 22279 22281 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279168357 9367552 275 33554432000 4194304 5064252 140735792770448 140735792769360 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22281/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 2.62 2.21 2.07 3/180 22294
/proc/meminfo: memFree=29496708/32873648 swapFree=7116/7116
[pid=22281] ppid=22279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22281/stat : 22281 (npSolver-pbo.sh) S 22279 22281 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279168357 9367552 275 33554432000 4194304 5064252 140735792770448 140735792769360 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22281/statm: 2287 275 233 213 0 72 0
[pid=22282] ppid=22281 vsize=13548 CPUtime=1.49 cores=1,3,5,7
/proc/22282/stat : 22282 (npSolver-pbo) R 22281 22281 21157 0 -1 4202496 2663 0 0 0 149 0 0 0 20 0 1 0 279168357 13873152 2676 33554432000 4194304 5992684 140734962876144 140734962872264 4381228 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22282/statm: 3387 2676 146 440 0 2943 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22696
[startup+3.10027 s]
/proc/loadavg: 2.62 2.21 2.07 3/180 22294
/proc/meminfo: memFree=29479708/32873648 swapFree=7116/7116
[pid=22281] ppid=22279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22281/stat : 22281 (npSolver-pbo.sh) S 22279 22281 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279168357 9367552 275 33554432000 4194304 5064252 140735792770448 140735792769360 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22281/statm: 2287 275 233 213 0 72 0
[pid=22282] ppid=22281 vsize=49772 CPUtime=3.09 cores=1,3,5,7
/proc/22282/stat : 22282 (npSolver-pbo) R 22281 22281 21157 0 -1 4202496 10104 0 0 0 307 2 0 0 20 0 1 0 279168357 50966528 11646 33554432000 4194304 5992684 140734962876144 140734962872264 4377827 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22282/statm: 12443 11646 159 440 0 11999 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58920
[startup+6.30034 s]
/proc/loadavg: 2.65 2.22 2.07 2/181 22295
/proc/meminfo: memFree=28752840/32873648 swapFree=7116/7116
[pid=22281] ppid=22279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22281/stat : 22281 (npSolver-pbo.sh) S 22279 22281 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279168357 9367552 275 33554432000 4194304 5064252 140735792770448 140735792769360 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22281/statm: 2287 275 233 213 0 72 0
[pid=22282] ppid=22281 vsize=360152 CPUtime=5.56 cores=1,3,5,7
/proc/22282/stat : 22282 (npSolver-pbo) S 22281 22281 21157 0 -1 4202496 29235 0 0 0 523 33 0 0 20 0 1 0 279168357 368795648 62308 33554432000 4194304 5992684 140734962876144 140734962870176 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22282/statm: 90038 62308 174 440 0 89594 0
Current children cumulated CPU time (s) 5.56
Current children cumulated vsize (KiB) 369300
[startup+12.7005 s]
/proc/loadavg: 2.60 2.21 2.07 3/182 22336
/proc/meminfo: memFree=28199452/32873648 swapFree=7116/7116
[pid=22281] ppid=22279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22281/stat : 22281 (npSolver-pbo.sh) S 22279 22281 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279168357 9367552 275 33554432000 4194304 5064252 140735792770448 140735792769360 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22281/statm: 2287 275 233 213 0 72 0
[pid=22282] ppid=22281 vsize=360152 CPUtime=5.56 cores=1,3,5,7
/proc/22282/stat : 22282 (npSolver-pbo) S 22281 22281 21157 0 -1 4202496 29235 0 0 0 523 33 0 0 20 0 1 0 279168357 368795648 62308 33554432000 4194304 5992684 140734962876144 140734962870176 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22282/statm: 90038 62308 174 440 0 89594 0
[pid=22296] ppid=22282 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22296/stat : 22296 (cp2_pre.sh) S 22282 22281 21157 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 279168914 9367552 277 33554432000 4194304 5064252 140734529960112 140734529958816 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22296/statm: 2287 277 234 213 0 72 0
[pid=22297] ppid=22296 vsize=901584 CPUtime=7.11 cores=1,3,5,7
/proc/22297/stat : 22297 (coprocessor) R 22296 22281 21157 0 -1 4202496 79427 0 0 0 689 22 0 0 20 0 1 0 279168914 923222016 219541 33554432000 4194304 6586260 140735224955904 140735224951928 4756569 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/22297/statm: 225396 219541 180 584 0 224808 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 1280032
[startup+25.5004 s]
/proc/loadavg: 2.54 2.22 2.07 2/183 22380
/proc/meminfo: memFree=28453528/32873648 swapFree=7116/7116
[pid=22281] ppid=22279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22281/stat : 22281 (npSolver-pbo.sh) S 22279 22281 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279168357 9367552 275 33554432000 4194304 5064252 140735792770448 140735792769360 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22281/statm: 2287 275 233 213 0 72 0
[pid=22282] ppid=22281 vsize=360152 CPUtime=16.83 cores=1,3,5,7
/proc/22282/stat : 22282 (npSolver-pbo) S 22281 22281 21157 0 -1 4202496 29244 95581 0 0 523 33 1077 50 20 0 1 0 279168357 368795648 62308 33554432000 4194304 5992684 140734962876144 140734962871264 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22282/statm: 90038 62308 174 440 0 89594 0
[pid=22339] ppid=22282 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22339/stat : 22339 (satsolver.sh) S 22282 22281 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279170081 9367552 267 33554432000 4194304 5064252 140734812604512 140734812603424 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22339/statm: 2287 267 226 213 0 72 0
[pid=22340] ppid=22339 vsize=435808 CPUtime=8.23 cores=1,3,5,7
/proc/22340/stat : 22340 (glucose) R 22339 22281 21157 0 -1 4202496 66747 0 0 0 810 13 0 0 20 0 1 0 279170082 446267392 97774 33554432000 4194304 5208918 140736049333360 140736049331208 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22340/statm: 108952 97774 95 248 0 108701 0
Current children cumulated CPU time (s) 25.06
Current children cumulated vsize (KiB) 814256
[startup+51.1004 s]
/proc/loadavg: 2.49 2.23 2.08 2/183 22500
/proc/meminfo: memFree=28425884/32873648 swapFree=7116/7116
[pid=22281] ppid=22279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22281/stat : 22281 (npSolver-pbo.sh) S 22279 22281 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279168357 9367552 275 33554432000 4194304 5064252 140735792770448 140735792769360 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22281/statm: 2287 275 233 213 0 72 0
[pid=22282] ppid=22281 vsize=360152 CPUtime=16.83 cores=1,3,5,7
/proc/22282/stat : 22282 (npSolver-pbo) S 22281 22281 21157 0 -1 4202496 29244 95581 0 0 523 33 1077 50 20 0 1 0 279168357 368795648 62308 33554432000 4194304 5992684 140734962876144 140734962871264 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22282/statm: 90038 62308 174 440 0 89594 0
[pid=22339] ppid=22282 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22339/stat : 22339 (satsolver.sh) S 22282 22281 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279170081 9367552 267 33554432000 4194304 5064252 140734812604512 140734812603424 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22339/statm: 2287 267 226 213 0 72 0
[pid=22340] ppid=22339 vsize=449728 CPUtime=33.83 cores=1,3,5,7
/proc/22340/stat : 22340 (glucose) R 22339 22281 21157 0 -1 4202496 67876 0 0 0 3370 13 0 0 20 0 1 0 279170082 460521472 99925 33554432000 4194304 5208918 140736049333360 140736049331192 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22340/statm: 112432 99925 103 248 0 112181 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 828176
[startup+102.3 s]
/proc/loadavg: 2.27 2.21 2.08 3/184 22624
/proc/meminfo: memFree=28048312/32873648 swapFree=7116/7116
[pid=22281] ppid=22279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22281/stat : 22281 (npSolver-pbo.sh) S 22279 22281 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279168357 9367552 275 33554432000 4194304 5064252 140735792770448 140735792769360 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22281/statm: 2287 275 233 213 0 72 0
[pid=22282] ppid=22281 vsize=360152 CPUtime=16.83 cores=1,3,5,7
/proc/22282/stat : 22282 (npSolver-pbo) S 22281 22281 21157 0 -1 4202496 29244 95581 0 0 523 33 1077 50 20 0 1 0 279168357 368795648 62308 33554432000 4194304 5992684 140734962876144 140734962871264 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22282/statm: 90038 62308 174 440 0 89594 0
[pid=22339] ppid=22282 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22339/stat : 22339 (satsolver.sh) S 22282 22281 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279170081 9367552 267 33554432000 4194304 5064252 140734812604512 140734812603424 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22339/statm: 2287 267 226 213 0 72 0
[pid=22340] ppid=22339 vsize=449728 CPUtime=85.03 cores=1,3,5,7
/proc/22340/stat : 22340 (glucose) R 22339 22281 21157 0 -1 4202496 68005 0 0 0 8489 14 0 0 20 0 1 0 279170082 460521472 102098 33554432000 4194304 5208918 140736049333360 140736049331192 4211744 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22340/statm: 112432 102098 104 248 0 112181 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 828176
[startup+162.3 s]
/proc/loadavg: 2.10 2.17 2.08 3/183 22624
/proc/meminfo: memFree=28036908/32873648 swapFree=7116/7116
[pid=22281] ppid=22279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22281/stat : 22281 (npSolver-pbo.sh) S 22279 22281 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279168357 9367552 275 33554432000 4194304 5064252 140735792770448 140735792769360 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22281/statm: 2287 275 233 213 0 72 0
[pid=22282] ppid=22281 vsize=360152 CPUtime=16.83 cores=1,3,5,7
/proc/22282/stat : 22282 (npSolver-pbo) S 22281 22281 21157 0 -1 4202496 29244 95581 0 0 523 33 1077 50 20 0 1 0 279168357 368795648 62308 33554432000 4194304 5992684 140734962876144 140734962871264 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22282/statm: 90038 62308 174 440 0 89594 0
[pid=22339] ppid=22282 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22339/stat : 22339 (satsolver.sh) S 22282 22281 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279170081 9367552 267 33554432000 4194304 5064252 140734812604512 140734812603424 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22339/statm: 2287 267 226 213 0 72 0
[pid=22340] ppid=22339 vsize=449728 CPUtime=145.02 cores=1,3,5,7
/proc/22340/stat : 22340 (glucose) R 22339 22281 21157 0 -1 4202496 68008 0 0 0 14488 14 0 0 20 0 1 0 279170082 460521472 103634 33554432000 4194304 5208918 140736049333360 140736049329736 4229251 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22340/statm: 112432 103634 104 248 0 112181 0
Current children cumulated CPU time (s) 161.85
Current children cumulated vsize (KiB) 828176
[startup+222.3 s]
/proc/loadavg: 2.10 2.15 2.08 3/183 22624
/proc/meminfo: memFree=28020096/32873648 swapFree=7116/7116
[pid=22281] ppid=22279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22281/stat : 22281 (npSolver-pbo.sh) S 22279 22281 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279168357 9367552 275 33554432000 4194304 5064252 140735792770448 140735792769360 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22281/statm: 2287 275 233 213 0 72 0
[pid=22282] ppid=22281 vsize=360152 CPUtime=16.83 cores=1,3,5,7
/proc/22282/stat : 22282 (npSolver-pbo) S 22281 22281 21157 0 -1 4202496 29244 95581 0 0 523 33 1077 50 20 0 1 0 279168357 368795648 62308 33554432000 4194304 5992684 140734962876144 140734962871264 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22282/statm: 90038 62308 174 440 0 89594 0
[pid=22339] ppid=22282 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22671
/proc/meminfo: memFree=27696548/32873648 swapFree=7116/7116
[pid=22281] ppid=22279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22281/stat : 22281 (npSolver-pbo.sh) S 22279 22281 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279168357 9367552 275 33554432000 4194304 5064252 140735792770448 140735792769360 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22281/statm: 2287 275 233 213 0 72 0
[pid=22282] ppid=22281 vsize=396036 CPUtime=836.21 cores=1,3,5,7
/proc/22282/stat : 22282 (npSolver-pbo) S 22281 22281 21157 0 -1 4202496 41173 174703 0 0 737 489 82309 86 20 0 1 0 279168357 405540864 71279 33554432000 4194304 5992684 140734962876144 140734962868464 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/22282/statm: 99009 71279 183 440 0 98565 0
[pid=22665] ppid=22282 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22665/stat : 22665 (satsolver.sh) S 22282 22281 21157 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279252048 9367552 266 33554432000 4194304 5064252 140735719530560 140735719529472 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22665/statm: 2287 266 226 213 0 72 0
[pid=22666] ppid=22665 vsize=553052 CPUtime=525.3 cores=1,3,5,7
/proc/22666/stat : 22666 (glucose) R 22665 22281 21157 0 -1 4202496 76051 0 0 0 52504 26 0 0 20 0 1 0 279252048 566325248 113118 33554432000 4194304 5208918 140735902594816 140735902592568 4229251 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22666/statm: 138263 113118 105 248 0 138012 0
Current children cumulated CPU time (s) 1361.51
Current children cumulated vsize (KiB) 967384
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22671
/proc/meminfo: memFree=27733360/32873648 swapFree=7116/7116
[pid=22281] ppid=22279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22281/stat : 22281 (npSolver-pbo.sh) S 22279 22281 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279168357 9367552 275 33554432000 4194304 5064252 140735792770448 140735792769360 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22281/statm: 2287 275 233 213 0 72 0
[pid=22282] ppid=22281 vsize=396036 CPUtime=836.21 cores=1,3,5,7
/proc/22282/stat : 22282 (npSolver-pbo) S 22281 22281 21157 0 -1 4202496 41173 174703 0 0 737 489 82309 86 20 0 1 0 279168357 405540864 71279 33554432000 4194304 5992684 140734962876144 140734962868464 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/22282/statm: 99009 71279 183 440 0 98565 0
[pid=22665] ppid=22282 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22665/stat : 22665 (satsolver.sh) S 22282 22281 21157 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279252048 9367552 266 33554432000 4194304 5064252 140735719530560 140735719529472 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22665/statm: 2287 266 226 213 0 72 0
[pid=22666] ppid=22665 vsize=554844 CPUtime=585.29 cores=1,3,5,7
/proc/22666/stat : 22666 (glucose) R 22665 22281 21157 0 -1 4202496 77391 0 0 0 58499 30 0 0 20 0 1 0 279252048 568160256 108344 33554432000 4194304 5208918 140735902594816 140735902592968 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22666/statm: 138711 108344 105 248 0 138460 0
Current children cumulated CPU time (s) 1421.5
Current children cumulated vsize (KiB) 969176
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22672
/proc/meminfo: memFree=27708608/32873648 swapFree=7116/7116
[pid=22281] ppid=22279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22281/stat : 22281 (npSolver-pbo.sh) S 22279 22281 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279168357 9367552 275 33554432000 4194304 5064252 140735792770448 140735792769360 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22281/statm: 2287 275 233 213 0 72 0
[pid=22282] ppid=22281 vsize=396036 CPUtime=836.21 cores=1,3,5,7
/proc/22282/stat : 22282 (npSolver-pbo) S 22281 22281 21157 0 -1 4202496 41173 174703 0 0 737 489 82309 86 20 0 1 0 279168357 405540864 71279 33554432000 4194304 5992684 140734962876144 140734962868464 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/22282/statm: 99009 71279 183 440 0 98565 0
[pid=22665] ppid=22282 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22665/stat : 22665 (satsolver.sh) S 22282 22281 21157 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279252048 9367552 266 33554432000 4194304 5064252 140735719530560 140735719529472 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22665/statm: 2287 266 226 213 0 72 0
[pid=22666] ppid=22665 vsize=555512 CPUtime=645.27 cores=1,3,5,7
/proc/22666/stat : 22666 (glucose) R 22665 22281 21157 0 -1 4202496 77623 0 0 0 64497 30 0 0 20 0 1 0 279252048 568844288 112153 33554432000 4194304 5208918 140735902594816 140735902592664 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22666/statm: 138878 112153 105 248 0 138627 0
Current children cumulated CPU time (s) 1481.48
Current children cumulated vsize (KiB) 969844
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22672
/proc/meminfo: memFree=27684688/32873648 swapFree=7116/7116
[pid=22281] ppid=22279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22281/stat : 22281 (npSolver-pbo.sh) S 22279 22281 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279168357 9367552 275 33554432000 4194304 5064252 140735792770448 140735792769360 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22281/statm: 2287 275 233 213 0 72 0
[pid=22282] ppid=22281 vsize=396036 CPUtime=836.21 cores=1,3,5,7
/proc/22282/stat : 22282 (npSolver-pbo) S 22281 22281 21157 0 -1 4202496 41173 174703 0 0 737 489 82309 86 20 0 1 0 279168357 405540864 71279 33554432000 4194304 5992684 140734962876144 140734962868464 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/22282/statm: 99009 71279 183 440 0 98565 0
[pid=22665] ppid=22282 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22665/stat : 22665 (satsolver.sh) S 22282 22281 21157 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279252048 9367552 266 33554432000 4194304 5064252 140735719530560 140735719529472 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22665/statm: 2287 266 226 213 0 72 0
[pid=22666] ppid=22665 vsize=556180 CPUtime=705.26 cores=1,3,5,7
/proc/22666/stat : 22666 (glucose) R 22665 22281 21157 0 -1 4202496 77807 0 0 0 70495 31 0 0 20 0 1 0 279252048 569528320 115392 33554432000 4194304 5208918 140735902594816 140735902592568 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22666/statm: 139045 115392 105 248 0 138794 0
Current children cumulated CPU time (s) 1541.47
Current children cumulated vsize (KiB) 970512
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 22675
/proc/meminfo: memFree=27694084/32873648 swapFree=7116/7116
[pid=22281] ppid=22279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22281/stat : 22281 (npSolver-pbo.sh) S 22279 22281 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279168357 9367552 275 33554432000 4194304 5064252 140735792770448 140735792769360 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22281/statm: 2287 275 233 213 0 72 0
[pid=22282] ppid=22281 vsize=396036 CPUtime=836.21 cores=1,3,5,7
/proc/22282/stat : 22282 (npSolver-pbo) S 22281 22281 21157 0 -1 4202496 41173 174703 0 0 737 489 82309 86 20 0 1 0 279168357 405540864 71279 33554432000 4194304 5992684 140734962876144 140734962868464 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/22282/statm: 99009 71279 183 440 0 98565 0
[pid=22665] ppid=22282 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22665/stat : 22665 (satsolver.sh) S 22282 22281 21157 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279252048 9367552 266 33554432000 4194304 5064252 140735719530560 140735719529472 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22665/statm: 2287 266 226 213 0 72 0
[pid=22666] ppid=22665 vsize=557260 CPUtime=765.25 cores=1,3,5,7
/proc/22666/stat : 22666 (glucose) R 22665 22281 21157 0 -1 4202496 78382 0 0 0 76492 33 0 0 20 0 1 0 279252048 570634240 109327 33554432000 4194304 5208918 140735902594816 140735902592904 4229483 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22666/statm: 139315 109327 105 248 0 139064 0
Current children cumulated CPU time (s) 1601.46
Current children cumulated vsize (KiB) 971592
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22675
/proc/meminfo: memFree=27703636/32873648 swapFree=7116/7116
[pid=22281] ppid=22279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22281/stat : 22281 (npSolver-pbo.sh) S 22279 22281 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279168357 9367552 275 33554432000 4194304 5064252 140735792770448 140735792769360 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22281/statm: 2287 275 233 213 0 72 0
[pid=22282] ppid=22281 vsize=396036 CPUtime=836.21 cores=1,3,5,7
/proc/22282/stat : 22282 (npSolver-pbo) S 22281 22281 21157 0 -1 4202496 41173 174703 0 0 737 489 82309 86 20 0 1 0 279168357 405540864 71279 33554432000 4194304 5992684 140734962876144 140734962868464 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/22282/statm: 99009 71279 183 440 0 98565 0
[pid=22665] ppid=22282 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22665/stat : 22665 (satsolver.sh) S 22282 22281 21157 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279252048 9367552 266 33554432000 4194304 5064252 140735719530560 140735719529472 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22665/statm: 2287 266 226 213 0 72 0
[pid=22666] ppid=22665 vsize=558192 CPUtime=825.23 cores=1,3,5,7
/proc/22666/stat : 22666 (glucose) R 22665 22281 21157 0 -1 4202496 78628 0 0 0 82489 34 0 0 20 0 1 0 279252048 571588608 113654 33554432000 4194304 5208918 140735902594816 140735902592664 4211888 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22666/statm: 139548 113654 105 248 0 139297 0
Current children cumulated CPU time (s) 1661.44
Current children cumulated vsize (KiB) 972524
[startup+1722.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22675
/proc/meminfo: memFree=27693612/32873648 swapFree=7116/7116
[pid=22281] ppid=22279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22281/stat : 22281 (npSolver-pbo.sh) S 22279 22281 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279168357 9367552 275 33554432000 4194304 5064252 140735792770448 140735792769360 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22281/statm: 2287 275 233 213 0 72 0
[pid=22282] ppid=22281 vsize=396036 CPUtime=836.21 cores=1,3,5,7
/proc/22282/stat : 22282 (npSolver-pbo) S 22281 22281 21157 0 -1 4202496 41173 174703 0 0 737 489 82309 86 20 0 1 0 279168357 405540864 71279 33554432000 4194304 5992684 140734962876144 140734962868464 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/22282/statm: 99009 71279 183 440 0 98565 0
[pid=22665] ppid=22282 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22665/stat : 22665 (satsolver.sh) S 22282 22281 21157 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279252048 9367552 266 33554432000 4194304 5064252 140735719530560 140735719529472 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22665/statm: 2287 266 226 213 0 72 0
[pid=22666] ppid=22665 vsize=559144 CPUtime=885.22 cores=1,3,5,7
/proc/22666/stat : 22666 (glucose) R 22665 22281 21157 0 -1 4202496 79346 0 0 0 88487 35 0 0 20 0 1 0 279252048 572563456 112246 33554432000 4194304 5208918 140735902594816 140735902592664 4212881 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22666/statm: 139786 112246 105 248 0 139535 0
Current children cumulated CPU time (s) 1721.43
Current children cumulated vsize (KiB) 973476
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22683
/proc/meminfo: memFree=27753272/32873648 swapFree=7116/7116
[pid=22281] ppid=22279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22281/stat : 22281 (npSolver-pbo.sh) S 22279 22281 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279168357 9367552 275 33554432000 4194304 5064252 140735792770448 140735792769360 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22281/statm: 2287 275 233 213 0 72 0
[pid=22282] ppid=22281 vsize=396036 CPUtime=836.21 cores=1,3,5,7
/proc/22282/stat : 22282 (npSolver-pbo) S 22281 22281 21157 0 -1 4202496 41173 174703 0 0 737 489 82309 86 20 0 1 0 279168357 405540864 71279 33554432000 4194304 5992684 140734962876144 140734962868464 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/22282/statm: 99009 71279 183 440 0 98565 0
[pid=22665] ppid=22282 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22665/stat : 22665 (satsolver.sh) S 22282 22281 21157 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279252048 9367552 266 33554432000 4194304 5064252 140735719530560 140735719529472 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22665/statm: 2287 266 226 213 0 72 0
[pid=22666] ppid=22665 vsize=560336 CPUtime=945.2 cores=1,3,5,7
/proc/22666/stat : 22666 (glucose) R 22665 22281 21157 0 -1 4202496 79877 0 0 0 94484 36 0 0 20 0 1 0 279252048 573784064 112939 33554432000 4194304 5208918 140735902594816 140735902591128 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22666/statm: 140084 112939 105 248 0 139833 0
Current children cumulated CPU time (s) 1781.41
Current children cumulated vsize (KiB) 974668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22683
/proc/meminfo: memFree=27744712/32873648 swapFree=7116/7116
[pid=22281] ppid=22279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22281/stat : 22281 (npSolver-pbo.sh) S 22279 22281 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279168357 9367552 275 33554432000 4194304 5064252 140735792770448 140735792769360 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22281/statm: 2287 275 233 213 0 72 0
[pid=22282] ppid=22281 vsize=396036 CPUtime=836.21 cores=1,3,5,7
/proc/22282/stat : 22282 (npSolver-pbo) S 22281 22281 21157 0 -1 4202496 41173 174703 0 0 737 489 82309 86 20 0 1 0 279168357 405540864 71279 33554432000 4194304 5992684 140734962876144 140734962868464 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/22282/statm: 99009 71279 183 440 0 98565 0
[pid=22665] ppid=22282 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22665/stat : 22665 (satsolver.sh) S 22282 22281 21157 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279252048 9367552 266 33554432000 4194304 5064252 140735719530560 140735719529472 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22665/statm: 2287 266 226 213 0 72 0
[pid=22666] ppid=22665 vsize=560468 CPUtime=963.8 cores=1,3,5,7
/proc/22666/stat : 22666 (glucose) R 22665 22281 21157 0 -1 4202496 79922 0 0 0 96344 36 0 0 20 0 1 0 279252048 573919232 114006 33554432000 4194304 5208918 140735902594816 140735902592664 4211540 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22666/statm: 140117 114006 105 248 0 139866 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 974800
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.92
CPU time (s): 1800.07
CPU user time (s): 1793.93
CPU system time (s): 6.14107
CPU usage (%): 99.9527
Max. virtual memory (cumulated for all children) (KiB): 1406040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.93
system time used= 6.14107
maximum resident set size= 1045448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 296790
page faults= 0
swaps= 0
block input operations= 0
block output operations= 832800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2984
involuntary context switches= 1868
runsolver used 2.93155 second user time and 7.48486 second system time
The end