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-3701379-1338068742/watcher-3701379-1338068742 -o /tmp/evaluation-result-3701379-1338068742/solver-3701379-1338068742 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701379-1338068742.opb 1948553735 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.08 2.02 2.01 3/179 13229
/proc/meminfo: memFree=31212944/32873844 swapFree=6080/6080
[pid=13229] ppid=13227 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13229/stat : 13229 (npSolver-pbo.sh) S 13227 13229 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272998794 9367552 275 33554432000 4194304 5064252 140737104673184 140737104672096 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13229/statm: 2287 275 233 213 0 72 0
[startup+0.0303691 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 13229
/proc/meminfo: memFree=31212944/32873844 swapFree=6080/6080
[pid=13229] ppid=13227 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13229/stat : 13229 (npSolver-pbo.sh) S 13227 13229 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272998794 9367552 275 33554432000 4194304 5064252 140737104673184 140737104672096 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13229/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100314 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 13229
/proc/meminfo: memFree=31212944/32873844 swapFree=6080/6080
[pid=13229] ppid=13227 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13229/stat : 13229 (npSolver-pbo.sh) S 13227 13229 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272998794 9367552 275 33554432000 4194304 5064252 140737104673184 140737104672096 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13229/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300329 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 13229
/proc/meminfo: memFree=31212944/32873844 swapFree=6080/6080
[pid=13229] ppid=13227 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13229/stat : 13229 (npSolver-pbo.sh) S 13227 13229 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272998794 9367552 275 33554432000 4194304 5064252 140737104673184 140737104672096 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13229/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700308 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 13229
/proc/meminfo: memFree=31212944/32873844 swapFree=6080/6080
[pid=13229] ppid=13227 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13229/stat : 13229 (npSolver-pbo.sh) S 13227 13229 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272998794 9367552 275 33554432000 4194304 5064252 140737104673184 140737104672096 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13229/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50038 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 13233
/proc/meminfo: memFree=31040060/32873844 swapFree=6080/6080
[pid=13229] ppid=13227 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13229/stat : 13229 (npSolver-pbo.sh) S 13227 13229 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272998794 9367552 275 33554432000 4194304 5064252 140737104673184 140737104672096 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13229/statm: 2287 275 233 213 0 72 0
[pid=13230] ppid=13229 vsize=39828 CPUtime=0.46 cores=0,2,4,6
/proc/13230/stat : 13230 (npSolver-pbo) S 13229 13229 11113 0 -1 4202496 10508 0 0 0 43 3 0 0 20 0 1 0 272998794 40783872 9487 33554432000 4194304 5992684 140735135214592 140735135208624 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13230/statm: 9957 9487 164 440 0 9513 0
[pid=13232] ppid=13230 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13232/stat : 13232 (cp2_pre.sh) S 13230 13229 11113 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 272998842 9367552 277 33554432000 4194304 5064252 140733771304672 140733771303376 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13232/statm: 2287 277 234 213 0 72 0
[pid=13233] ppid=13232 vsize=148956 CPUtime=1.01 cores=0,2,4,6
/proc/13233/stat : 13233 (coprocessor) R 13232 13229 11113 0 -1 4202496 24991 0 0 0 96 5 0 0 20 0 1 0 272998842 152530944 32938 33554432000 4194304 6586260 140735568463680 140735568459928 4500669 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/13233/statm: 37239 32938 170 584 0 36651 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 207080
[startup+3.10037 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 13233
/proc/meminfo: memFree=30983240/32873844 swapFree=6080/6080
[pid=13229] ppid=13227 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13229/stat : 13229 (npSolver-pbo.sh) S 13227 13229 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272998794 9367552 275 33554432000 4194304 5064252 140737104673184 140737104672096 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13229/statm: 2287 275 233 213 0 72 0
[pid=13230] ppid=13229 vsize=39828 CPUtime=0.46 cores=0,2,4,6
/proc/13230/stat : 13230 (npSolver-pbo) S 13229 13229 11113 0 -1 4202496 10508 0 0 0 43 3 0 0 20 0 1 0 272998794 40783872 9487 33554432000 4194304 5992684 140735135214592 140735135208624 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13230/statm: 9957 9487 164 440 0 9513 0
[pid=13232] ppid=13230 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13232/stat : 13232 (cp2_pre.sh) S 13230 13229 11113 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 272998842 9367552 277 33554432000 4194304 5064252 140733771304672 140733771303376 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13232/statm: 2287 277 234 213 0 72 0
[pid=13233] ppid=13232 vsize=180488 CPUtime=2.61 cores=0,2,4,6
/proc/13233/stat : 13233 (coprocessor) R 13232 13229 11113 0 -1 4202496 31417 0 0 0 252 9 0 0 20 0 1 0 272998842 184819712 43975 33554432000 4194304 6586260 140735568463680 140735568459432 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/13233/statm: 45122 43975 198 584 0 44534 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 238612
[startup+6.30038 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 13236
/proc/meminfo: memFree=31080316/32873844 swapFree=6080/6080
[pid=13229] ppid=13227 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13229/stat : 13229 (npSolver-pbo.sh) S 13227 13229 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272998794 9367552 275 33554432000 4194304 5064252 140737104673184 140737104672096 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13229/statm: 2287 275 233 213 0 72 0
[pid=13230] ppid=13229 vsize=39828 CPUtime=3.16 cores=0,2,4,6
/proc/13230/stat : 13230 (npSolver-pbo) S 13229 13229 11113 0 -1 4202496 10515 32320 0 0 43 3 260 10 20 0 1 0 272998794 40783872 9487 33554432000 4194304 5992684 140735135214592 140735135209712 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13230/statm: 9957 9487 164 440 0 9513 0
[pid=13235] ppid=13230 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13235/stat : 13235 (satsolver.sh) S 13230 13229 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272999114 9367552 267 33554432000 4194304 5064252 140733404280800 140733404279712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13235/statm: 2287 267 226 213 0 72 0
[pid=13236] ppid=13235 vsize=86888 CPUtime=3.09 cores=0,2,4,6
/proc/13236/stat : 13236 (glucose) R 13235 13229 11113 0 -1 4202496 18012 0 0 0 306 3 0 0 20 0 1 0 272999114 88973312 19729 33554432000 4194304 5208918 140734694959840 140734694957688 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13236/statm: 21722 19729 103 248 0 21471 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 145012
[startup+12.7004 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 13236
/proc/meminfo: memFree=31079596/32873844 swapFree=6080/6080
[pid=13229] ppid=13227 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13229/stat : 13229 (npSolver-pbo.sh) S 13227 13229 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272998794 9367552 275 33554432000 4194304 5064252 140737104673184 140737104672096 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13229/statm: 2287 275 233 213 0 72 0
[pid=13230] ppid=13229 vsize=39828 CPUtime=3.16 cores=0,2,4,6
/proc/13230/stat : 13230 (npSolver-pbo) S 13229 13229 11113 0 -1 4202496 10515 32320 0 0 43 3 260 10 20 0 1 0 272998794 40783872 9487 33554432000 4194304 5992684 140735135214592 140735135209712 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13230/statm: 9957 9487 164 440 0 9513 0
[pid=13235] ppid=13230 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13235/stat : 13235 (satsolver.sh) S 13230 13229 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272999114 9367552 267 33554432000 4194304 5064252 140733404280800 140733404279712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13235/statm: 2287 267 226 213 0 72 0
[pid=13236] ppid=13235 vsize=87160 CPUtime=9.49 cores=0,2,4,6
/proc/13236/stat : 13236 (glucose) R 13235 13229 11113 0 -1 4202496 18066 0 0 0 946 3 0 0 20 0 1 0 272999114 89251840 19783 33554432000 4194304 5208918 140734694959840 140734694957800 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13236/statm: 21790 19783 103 248 0 21539 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 145284
[startup+25.5004 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 13236
/proc/meminfo: memFree=31076680/32873844 swapFree=6080/6080
[pid=13229] ppid=13227 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13229/stat : 13229 (npSolver-pbo.sh) S 13227 13229 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272998794 9367552 275 33554432000 4194304 5064252 140737104673184 140737104672096 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13229/statm: 2287 275 233 213 0 72 0
[pid=13230] ppid=13229 vsize=39828 CPUtime=3.16 cores=0,2,4,6
/proc/13230/stat : 13230 (npSolver-pbo) S 13229 13229 11113 0 -1 4202496 10515 32320 0 0 43 3 260 10 20 0 1 0 272998794 40783872 9487 33554432000 4194304 5992684 140735135214592 140735135209712 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13230/statm: 9957 9487 164 440 0 9513 0
[pid=13235] ppid=13230 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13235/stat : 13235 (satsolver.sh) S 13230 13229 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272999114 9367552 267 33554432000 4194304 5064252 140733404280800 140733404279712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13235/statm: 2287 267 226 213 0 72 0
[pid=13236] ppid=13235 vsize=87340 CPUtime=22.29 cores=0,2,4,6
/proc/13236/stat : 13236 (glucose) R 13235 13229 11113 0 -1 4202496 18119 0 0 0 2226 3 0 0 20 0 1 0 272999114 89436160 20347 33554432000 4194304 5208918 140734694959840 140734694957800 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13236/statm: 21835 20347 103 248 0 21584 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 145464
[startup+51.1004 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 13236
/proc/meminfo: memFree=31072276/32873844 swapFree=6080/6080
[pid=13229] ppid=13227 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13229/stat : 13229 (npSolver-pbo.sh) S 13227 13229 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272998794 9367552 275 33554432000 4194304 5064252 140737104673184 140737104672096 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13229/statm: 2287 275 233 213 0 72 0
[pid=13230] ppid=13229 vsize=39828 CPUtime=3.16 cores=0,2,4,6
/proc/13230/stat : 13230 (npSolver-pbo) S 13229 13229 11113 0 -1 4202496 10515 32320 0 0 43 3 260 10 20 0 1 0 272998794 40783872 9487 33554432000 4194304 5992684 140735135214592 140735135209712 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13230/statm: 9957 9487 164 440 0 9513 0
[pid=13235] ppid=13230 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13235/stat : 13235 (satsolver.sh) S 13230 13229 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272999114 9367552 267 33554432000 4194304 5064252 140733404280800 140733404279712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13235/statm: 2287 267 226 213 0 72 0
[pid=13236] ppid=13235 vsize=88668 CPUtime=47.88 cores=0,2,4,6
/proc/13236/stat : 13236 (glucose) R 13235 13229 11113 0 -1 4202496 18677 0 0 0 4785 3 0 0 20 0 1 0 272999114 90796032 20901 33554432000 4194304 5208918 140734694959840 140734694957688 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13236/statm: 22167 20901 103 248 0 21916 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 146792
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 13243
/proc/meminfo: memFree=31013492/32873844 swapFree=6080/6080
[pid=13229] ppid=13227 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13229/stat : 13229 (npSolver-pbo.sh) S 13227 13229 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272998794 9367552 275 33554432000 4194304 5064252 140737104673184 140737104672096 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13229/statm: 2287 275 233 213 0 72 0
[pid=13230] ppid=13229 vsize=41920 CPUtime=53.53 cores=0,2,4,6
/proc/13230/stat : 13230 (npSolver-pbo) S 13229 13229 11113 0 -1 4202496 12613 56357 0 0 68 107 5159 19 20 0 1 0 272998794 42926080 10064 33554432000 4194304 5992684 140735135214592 140735135206912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13230/statm: 10480 10064 175 440 0 10036 0
[pid=13242] ppid=13230 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13242/stat : 13242 (satsolver.sh) S 13230 13229 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273004150 9367552 267 33554432000 4194304 5064252 140736054587040 140736054585952 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13242/statm: 2287 267 226 213 0 72 0
[pid=13243] ppid=13242 vsize=126848 CPUtime=48.73 cores=0,2,4,6
/proc/13243/stat : 13243 (glucose) R 13242 13229 11113 0 -1 4202496 22697 0 0 0 4866 7 0 0 20 0 1 0 273004150 129892352 30024 33554432000 4194304 5208918 140734673094832 140734673092824 4211897 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13243/statm: 31712 30024 96 248 0 31461 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 187064
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13243
/proc/meminfo: memFree=30945512/32873844 swapFree=6080/6080
[pid=13229] ppid=13227 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13229/stat : 13229 (npSolver-pbo.sh) S 13227 13229 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272998794 9367552 275 33554432000 4194304 5064252 140737104673184 140737104672096 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13229/statm: 2287 275 233 213 0 72 0
[pid=13230] ppid=13229 vsize=41920 CPUtime=53.53 cores=0,2,4,6
/proc/13230/stat : 13230 (npSolver-pbo) S 13229 13229 11113 0 -1 4202496 12613 56357 0 0 68 107 5159 19 20 0 1 0 272998794 42926080 10064 33554432000 4194304 5992684 140735135214592 140735135206912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13230/statm: 10480 10064 175 440 0 10036 0
[pid=13242] ppid=13230 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.42 2.36 2.15 3/181 13400
/proc/meminfo: memFree=27229940/32873844 swapFree=6080/6080
[pid=13229] ppid=13227 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13229/stat : 13229 (npSolver-pbo.sh) S 13227 13229 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272998794 9367552 275 33554432000 4194304 5064252 140737104673184 140737104672096 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13229/statm: 2287 275 233 213 0 72 0
[pid=13230] ppid=13229 vsize=45988 CPUtime=802.66 cores=0,2,4,6
/proc/13230/stat : 13230 (npSolver-pbo) S 13229 13229 11113 0 -1 4202496 18364 174042 0 0 78 108 79989 91 20 0 1 0 272998794 47091712 11088 33554432000 4194304 5992684 140735135214592 140735135206912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13230/statm: 11497 11088 175 440 0 11053 0
[pid=13286] ppid=13230 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13286/stat : 13286 (satsolver.sh) S 13230 13229 11113 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 273079078 9367552 267 33554432000 4194304 5064252 140736050397904 140736050396816 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13286/statm: 2287 267 226 213 0 72 0
[pid=13287] ppid=13286 vsize=136316 CPUtime=559.36 cores=0,2,4,6
/proc/13287/stat : 13287 (glucose) R 13286 13229 11113 0 -1 4202496 21829 0 0 0 55890 46 0 0 20 0 1 0 273079078 139587584 32924 33554432000 4194304 5208918 140734267232208 140734267230296 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13287/statm: 34079 32924 96 248 0 33828 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 200600
[startup+1422.31 s]
/proc/loadavg: 2.15 2.30 2.14 3/181 13400
/proc/meminfo: memFree=22495392/32873844 swapFree=6080/6080
[pid=13229] ppid=13227 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13229/stat : 13229 (npSolver-pbo.sh) S 13227 13229 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272998794 9367552 275 33554432000 4194304 5064252 140737104673184 140737104672096 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13229/statm: 2287 275 233 213 0 72 0
[pid=13230] ppid=13229 vsize=45988 CPUtime=802.66 cores=0,2,4,6
/proc/13230/stat : 13230 (npSolver-pbo) S 13229 13229 11113 0 -1 4202496 18364 174042 0 0 78 108 79989 91 20 0 1 0 272998794 47091712 11088 33554432000 4194304 5992684 140735135214592 140735135206912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13230/statm: 11497 11088 175 440 0 11053 0
[pid=13286] ppid=13230 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13286/stat : 13286 (satsolver.sh) S 13230 13229 11113 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 273079078 9367552 267 33554432000 4194304 5064252 140736050397904 140736050396816 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13286/statm: 2287 267 226 213 0 72 0
[pid=13287] ppid=13286 vsize=136316 CPUtime=619.36 cores=0,2,4,6
/proc/13287/stat : 13287 (glucose) R 13286 13229 11113 0 -1 4202496 22109 0 0 0 61889 47 0 0 20 0 1 0 273079078 139587584 32935 33554432000 4194304 5208918 140734267232208 140734267230296 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13287/statm: 34079 32935 104 248 0 33828 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 200600
[startup+1482.3 s]
/proc/loadavg: 2.69 2.40 2.18 3/184 13412
/proc/meminfo: memFree=14043412/32873844 swapFree=6080/6080
[pid=13229] ppid=13227 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13229/stat : 13229 (npSolver-pbo.sh) S 13227 13229 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272998794 9367552 275 33554432000 4194304 5064252 140737104673184 140737104672096 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13229/statm: 2287 275 233 213 0 72 0
[pid=13230] ppid=13229 vsize=45988 CPUtime=1441.23 cores=0,2,4,6
/proc/13230/stat : 13230 (npSolver-pbo) S 13229 13229 11113 0 -1 4202496 19571 201714 0 0 80 109 143791 143 20 0 1 0 272998794 47091712 11088 33554432000 4194304 5992684 140735135214592 140735135206912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13230/statm: 11497 11088 175 440 0 11053 0
[pid=13406] ppid=13230 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13406/stat : 13406 (satsolver.sh) S 13230 13229 11113 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 273142946 9367552 267 33554432000 4194304 5064252 140736157385680 140736157384592 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13406/statm: 2287 267 226 213 0 72 0
[pid=13407] ppid=13406 vsize=98480 CPUtime=40.76 cores=0,2,4,6
/proc/13407/stat : 13407 (glucose) R 13406 13229 11113 0 -1 4202496 19005 0 0 0 4070 6 0 0 20 0 1 0 273142946 100843520 20554 33554432000 4194304 5208918 140734212961952 140734212960104 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13407/statm: 24620 20554 96 248 0 24369 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 162764
[startup+1542.3 s]
/proc/loadavg: 2.69 2.47 2.22 3/183 13456
/proc/meminfo: memFree=30093756/32873844 swapFree=6080/6080
[pid=13229] ppid=13227 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13229/stat : 13229 (npSolver-pbo.sh) S 13227 13229 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272998794 9367552 275 33554432000 4194304 5064252 140737104673184 140737104672096 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13229/statm: 2287 275 233 213 0 72 0
[pid=13230] ppid=13229 vsize=45988 CPUtime=1441.23 cores=0,2,4,6
/proc/13230/stat : 13230 (npSolver-pbo) S 13229 13229 11113 0 -1 4202496 19571 201714 0 0 80 109 143791 143 20 0 1 0 272998794 47091712 11088 33554432000 4194304 5992684 140735135214592 140735135206912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13230/statm: 11497 11088 175 440 0 11053 0
[pid=13406] ppid=13230 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13406/stat : 13406 (satsolver.sh) S 13230 13229 11113 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 273142946 9367552 267 33554432000 4194304 5064252 140736157385680 140736157384592 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13406/statm: 2287 267 226 213 0 72 0
[pid=13407] ppid=13406 vsize=135912 CPUtime=100.74 cores=0,2,4,6
/proc/13407/stat : 13407 (glucose) R 13406 13229 11113 0 -1 4202496 20750 0 0 0 10066 8 0 0 20 0 1 0 273142946 139173888 31184 33554432000 4194304 5208918 140734212961952 140734212959816 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13407/statm: 33978 31184 96 248 0 33727 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 200196
[startup+1602.3 s]
/proc/loadavg: 2.29 2.40 2.21 3/183 13466
/proc/meminfo: memFree=30317464/32873844 swapFree=6080/6080
[pid=13229] ppid=13227 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13229/stat : 13229 (npSolver-pbo.sh) S 13227 13229 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272998794 9367552 275 33554432000 4194304 5064252 140737104673184 140737104672096 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13229/statm: 2287 275 233 213 0 72 0
[pid=13230] ppid=13229 vsize=45988 CPUtime=1441.23 cores=0,2,4,6
/proc/13230/stat : 13230 (npSolver-pbo) S 13229 13229 11113 0 -1 4202496 19571 201714 0 0 80 109 143791 143 20 0 1 0 272998794 47091712 11088 33554432000 4194304 5992684 140735135214592 140735135206912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13230/statm: 11497 11088 175 440 0 11053 0
[pid=13406] ppid=13230 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13406/stat : 13406 (satsolver.sh) S 13230 13229 11113 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 273142946 9367552 267 33554432000 4194304 5064252 140736157385680 140736157384592 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13406/statm: 2287 267 226 213 0 72 0
[pid=13407] ppid=13406 vsize=135912 CPUtime=160.73 cores=0,2,4,6
/proc/13407/stat : 13407 (glucose) R 13406 13229 11113 0 -1 4202496 20758 0 0 0 16065 8 0 0 20 0 1 0 273142946 139173888 31832 33554432000 4194304 5208918 140734212961952 140734212959816 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13407/statm: 33978 31832 96 248 0 33727 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 200196
[startup+1662.3 s]
/proc/loadavg: 2.10 2.32 2.19 3/183 13466
/proc/meminfo: memFree=30310084/32873844 swapFree=6080/6080
[pid=13229] ppid=13227 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13229/stat : 13229 (npSolver-pbo.sh) S 13227 13229 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272998794 9367552 275 33554432000 4194304 5064252 140737104673184 140737104672096 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13229/statm: 2287 275 233 213 0 72 0
[pid=13230] ppid=13229 vsize=45988 CPUtime=1441.23 cores=0,2,4,6
/proc/13230/stat : 13230 (npSolver-pbo) S 13229 13229 11113 0 -1 4202496 19571 201714 0 0 80 109 143791 143 20 0 1 0 272998794 47091712 11088 33554432000 4194304 5992684 140735135214592 140735135206912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13230/statm: 11497 11088 175 440 0 11053 0
[pid=13406] ppid=13230 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13406/stat : 13406 (satsolver.sh) S 13230 13229 11113 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 273142946 9367552 267 33554432000 4194304 5064252 140736157385680 140736157384592 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13406/statm: 2287 267 226 213 0 72 0
[pid=13407] ppid=13406 vsize=135912 CPUtime=220.72 cores=0,2,4,6
/proc/13407/stat : 13407 (glucose) R 13406 13229 11113 0 -1 4202496 20758 0 0 0 22064 8 0 0 20 0 1 0 273142946 139173888 31832 33554432000 4194304 5208918 140734212961952 140734212959816 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13407/statm: 33978 31832 96 248 0 33727 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 200196
[startup+1722.3 s]
/proc/loadavg: 2.08 2.27 2.18 3/183 13480
/proc/meminfo: memFree=30306140/32873844 swapFree=6080/6080
[pid=13229] ppid=13227 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13229/stat : 13229 (npSolver-pbo.sh) S 13227 13229 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272998794 9367552 275 33554432000 4194304 5064252 140737104673184 140737104672096 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13229/statm: 2287 275 233 213 0 72 0
[pid=13230] ppid=13229 vsize=45988 CPUtime=1441.23 cores=0,2,4,6
/proc/13230/stat : 13230 (npSolver-pbo) S 13229 13229 11113 0 -1 4202496 19571 201714 0 0 80 109 143791 143 20 0 1 0 272998794 47091712 11088 33554432000 4194304 5992684 140735135214592 140735135206912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13230/statm: 11497 11088 175 440 0 11053 0
[pid=13406] ppid=13230 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13406/stat : 13406 (satsolver.sh) S 13230 13229 11113 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 273142946 9367552 267 33554432000 4194304 5064252 140736157385680 140736157384592 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13406/statm: 2287 267 226 213 0 72 0
[pid=13407] ppid=13406 vsize=135912 CPUtime=280.71 cores=0,2,4,6
/proc/13407/stat : 13407 (glucose) R 13406 13229 11113 0 -1 4202496 20759 0 0 0 28063 8 0 0 20 0 1 0 273142946 139173888 32344 33554432000 4194304 5208918 140734212961952 140734212959816 4229125 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13407/statm: 33978 32344 96 248 0 33727 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 200196
[startup+1782.3 s]
/proc/loadavg: 2.08 2.24 2.17 3/183 13480
/proc/meminfo: memFree=30298384/32873844 swapFree=6080/6080
[pid=13229] ppid=13227 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13229/stat : 13229 (npSolver-pbo.sh) S 13227 13229 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272998794 9367552 275 33554432000 4194304 5064252 140737104673184 140737104672096 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13229/statm: 2287 275 233 213 0 72 0
[pid=13230] ppid=13229 vsize=45988 CPUtime=1441.23 cores=0,2,4,6
/proc/13230/stat : 13230 (npSolver-pbo) S 13229 13229 11113 0 -1 4202496 19571 201714 0 0 80 109 143791 143 20 0 1 0 272998794 47091712 11088 33554432000 4194304 5992684 140735135214592 140735135206912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13230/statm: 11497 11088 175 440 0 11053 0
[pid=13406] ppid=13230 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13406/stat : 13406 (satsolver.sh) S 13230 13229 11113 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 273142946 9367552 267 33554432000 4194304 5064252 140736157385680 140736157384592 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13406/statm: 2287 267 226 213 0 72 0
[pid=13407] ppid=13406 vsize=135912 CPUtime=340.7 cores=0,2,4,6
/proc/13407/stat : 13407 (glucose) R 13406 13229 11113 0 -1 4202496 20760 0 0 0 34062 8 0 0 20 0 1 0 273142946 139173888 32856 33554432000 4194304 5208918 140734212961952 140734212959816 4229483 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13407/statm: 33978 32856 96 248 0 33727 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 200196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.06 2.22 2.17 3/183 13480
/proc/meminfo: memFree=30298476/32873844 swapFree=6080/6080
[pid=13229] ppid=13227 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13229/stat : 13229 (npSolver-pbo.sh) S 13227 13229 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272998794 9367552 275 33554432000 4194304 5064252 140737104673184 140737104672096 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13229/statm: 2287 275 233 213 0 72 0
[pid=13230] ppid=13229 vsize=45988 CPUtime=1441.23 cores=0,2,4,6
/proc/13230/stat : 13230 (npSolver-pbo) S 13229 13229 11113 0 -1 4202496 19571 201714 0 0 80 109 143791 143 20 0 1 0 272998794 47091712 11088 33554432000 4194304 5992684 140735135214592 140735135206912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13230/statm: 11497 11088 175 440 0 11053 0
[pid=13406] ppid=13230 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13406/stat : 13406 (satsolver.sh) S 13230 13229 11113 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 273142946 9367552 267 33554432000 4194304 5064252 140736157385680 140736157384592 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13406/statm: 2287 267 226 213 0 72 0
[pid=13407] ppid=13406 vsize=135912 CPUtime=358.8 cores=0,2,4,6
/proc/13407/stat : 13407 (glucose) R 13406 13229 11113 0 -1 4202496 20760 0 0 0 35872 8 0 0 20 0 1 0 273142946 139173888 32856 33554432000 4194304 5208918 140734212961952 140734212959816 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13407/statm: 33978 32856 96 248 0 33727 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 200196
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.41
CPU time (s): 1800.07
CPU user time (s): 1797.45
CPU system time (s): 2.6176
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 318972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.45
system time used= 2.6176
maximum resident set size= 210816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 243035
page faults= 0
swaps= 0
block input operations= 0
block output operations= 327040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3211
involuntary context switches= 2482
runsolver used 3.04554 second user time and 13.058 second system time
The end