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-3700775-1338084254/watcher-3700775-1338084254 -o /tmp/evaluation-result-3700775-1338084254/solver-3700775-1338084254 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3700775-1338084254.opb 174845953 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11140
/proc/meminfo: memFree=31211140/32873844 swapFree=7364/7364
[pid=11140] ppid=11138 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11140/stat : 11140 (npSolver-pbo.sh) S 11138 11140 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274553967 9367552 275 33554432000 4194304 5064252 140734217590736 140734217589648 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11140/statm: 2287 275 233 213 0 72 0
[startup+0.0410829 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11140
/proc/meminfo: memFree=31211140/32873844 swapFree=7364/7364
[pid=11140] ppid=11138 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11140/stat : 11140 (npSolver-pbo.sh) S 11138 11140 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274553967 9367552 275 33554432000 4194304 5064252 140734217590736 140734217589648 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11140/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100271 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11140
/proc/meminfo: memFree=31211140/32873844 swapFree=7364/7364
[pid=11140] ppid=11138 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11140/stat : 11140 (npSolver-pbo.sh) S 11138 11140 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274553967 9367552 275 33554432000 4194304 5064252 140734217590736 140734217589648 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11140/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300242 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11140
/proc/meminfo: memFree=31211140/32873844 swapFree=7364/7364
[pid=11140] ppid=11138 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11140/stat : 11140 (npSolver-pbo.sh) S 11138 11140 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274553967 9367552 275 33554432000 4194304 5064252 140734217590736 140734217589648 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11140/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70013 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11140
/proc/meminfo: memFree=31211140/32873844 swapFree=7364/7364
[pid=11140] ppid=11138 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11140/stat : 11140 (npSolver-pbo.sh) S 11138 11140 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274553967 9367552 275 33554432000 4194304 5064252 140734217590736 140734217589648 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11140/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11144
/proc/meminfo: memFree=31171780/32873844 swapFree=7364/7364
[pid=11140] ppid=11138 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11140/stat : 11140 (npSolver-pbo.sh) S 11138 11140 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274553967 9367552 275 33554432000 4194304 5064252 140734217590736 140734217589648 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11140/statm: 2287 275 233 213 0 72 0
[pid=11141] ppid=11140 vsize=10096 CPUtime=1.46 cores=0,2,4,6
/proc/11141/stat : 11141 (npSolver-pbo) R 11140 11140 5140 0 -1 4202496 3347 14222 0 0 78 7 58 3 20 0 1 0 274553967 10338304 1885 33554432000 4194304 5992684 140737328054528 140737328049136 5179696 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11141/statm: 2524 1885 173 440 0 2080 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 19244
[startup+3.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11152
/proc/meminfo: memFree=31155136/32873844 swapFree=7364/7364
[pid=11140] ppid=11138 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11140/stat : 11140 (npSolver-pbo.sh) S 11138 11140 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274553967 9367552 275 33554432000 4194304 5064252 140734217590736 140734217589648 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11140/statm: 2287 275 233 213 0 72 0
[pid=11141] ppid=11140 vsize=85640 CPUtime=2.48 cores=0,2,4,6
/proc/11141/stat : 11141 (npSolver-pbo) S 11140 11140 5140 0 -1 4202496 8853 14739 0 0 160 26 58 4 20 0 1 0 274553967 87695360 18751 33554432000 4194304 5992684 140737328054528 140737328046848 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11141/statm: 21410 18751 183 440 0 20966 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 94788
heavy processes:
[startup+6.30037 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 11154
/proc/meminfo: memFree=30929976/32873844 swapFree=7364/7364
[pid=11140] ppid=11138 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11140/stat : 11140 (npSolver-pbo.sh) S 11138 11140 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274553967 9367552 275 33554432000 4194304 5064252 140734217590736 140734217589648 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11140/statm: 2287 275 233 213 0 72 0
[pid=11141] ppid=11140 vsize=85640 CPUtime=2.48 cores=0,2,4,6
/proc/11141/stat : 11141 (npSolver-pbo) S 11140 11140 5140 0 -1 4202496 8853 14739 0 0 160 26 58 4 20 0 1 0 274553967 87695360 18751 33554432000 4194304 5992684 140737328054528 140737328046848 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11141/statm: 21410 18751 183 440 0 20966 0
[pid=11153] ppid=11141 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11153/stat : 11153 (satsolver.sh) S 11141 11140 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 274554219 9367552 267 33554432000 4194304 5064252 140735914078976 140735914077888 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11153/statm: 2287 267 226 213 0 72 0
[pid=11154] ppid=11153 vsize=181952 CPUtime=3.77 cores=0,2,4,6
/proc/11154/stat : 11154 (glucose) R 11153 11140 5140 0 -1 4202496 32603 0 0 0 370 7 0 0 20 0 1 0 274554219 186318848 36608 33554432000 4194304 5208918 140736754194464 140736754192296 4229319 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11154/statm: 45488 36608 105 248 0 45237 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 285888
[startup+12.7004 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 11154
/proc/meminfo: memFree=30918404/32873844 swapFree=7364/7364
[pid=11140] ppid=11138 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11140/stat : 11140 (npSolver-pbo.sh) S 11138 11140 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274553967 9367552 275 33554432000 4194304 5064252 140734217590736 140734217589648 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11140/statm: 2287 275 233 213 0 72 0
[pid=11141] ppid=11140 vsize=85640 CPUtime=2.48 cores=0,2,4,6
/proc/11141/stat : 11141 (npSolver-pbo) S 11140 11140 5140 0 -1 4202496 8853 14739 0 0 160 26 58 4 20 0 1 0 274553967 87695360 18751 33554432000 4194304 5992684 140737328054528 140737328046848 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11141/statm: 21410 18751 183 440 0 20966 0
[pid=11153] ppid=11141 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11153/stat : 11153 (satsolver.sh) S 11141 11140 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 274554219 9367552 267 33554432000 4194304 5064252 140735914078976 140735914077888 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11153/statm: 2287 267 226 213 0 72 0
[pid=11154] ppid=11153 vsize=181952 CPUtime=10.16 cores=0,2,4,6
/proc/11154/stat : 11154 (glucose) R 11153 11140 5140 0 -1 4202496 32603 0 0 0 1009 7 0 0 20 0 1 0 274554219 186318848 36608 33554432000 4194304 5208918 140736754194464 140736754192296 4211197 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11154/statm: 45488 36608 105 248 0 45237 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 285888
[startup+25.5004 s]
/proc/loadavg: 2.06 2.01 2.00 3/183 11154
/proc/meminfo: memFree=30917596/32873844 swapFree=7364/7364
[pid=11140] ppid=11138 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11140/stat : 11140 (npSolver-pbo.sh) S 11138 11140 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274553967 9367552 275 33554432000 4194304 5064252 140734217590736 140734217589648 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11140/statm: 2287 275 233 213 0 72 0
[pid=11141] ppid=11140 vsize=85640 CPUtime=2.48 cores=0,2,4,6
/proc/11141/stat : 11141 (npSolver-pbo) S 11140 11140 5140 0 -1 4202496 8853 14739 0 0 160 26 58 4 20 0 1 0 274553967 87695360 18751 33554432000 4194304 5992684 140737328054528 140737328046848 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11141/statm: 21410 18751 183 440 0 20966 0
[pid=11153] ppid=11141 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11153/stat : 11153 (satsolver.sh) S 11141 11140 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 274554219 9367552 267 33554432000 4194304 5064252 140735914078976 140735914077888 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11153/statm: 2287 267 226 213 0 72 0
[pid=11154] ppid=11153 vsize=181952 CPUtime=22.96 cores=0,2,4,6
/proc/11154/stat : 11154 (glucose) R 11153 11140 5140 0 -1 4202496 32603 0 0 0 2289 7 0 0 20 0 1 0 274554219 186318848 36608 33554432000 4194304 5208918 140736754194464 140736754192296 4211182 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11154/statm: 45488 36608 105 248 0 45237 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 285888
[startup+51.1005 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 11154
/proc/meminfo: memFree=30894080/32873844 swapFree=7364/7364
[pid=11140] ppid=11138 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11140/stat : 11140 (npSolver-pbo.sh) S 11138 11140 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274553967 9367552 275 33554432000 4194304 5064252 140734217590736 140734217589648 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11140/statm: 2287 275 233 213 0 72 0
[pid=11141] ppid=11140 vsize=85640 CPUtime=2.48 cores=0,2,4,6
/proc/11141/stat : 11141 (npSolver-pbo) S 11140 11140 5140 0 -1 4202496 8853 14739 0 0 160 26 58 4 20 0 1 0 274553967 87695360 18751 33554432000 4194304 5992684 140737328054528 140737328046848 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11141/statm: 21410 18751 183 440 0 20966 0
[pid=11153] ppid=11141 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11153/stat : 11153 (satsolver.sh) S 11141 11140 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 274554219 9367552 267 33554432000 4194304 5064252 140735914078976 140735914077888 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11153/statm: 2287 267 226 213 0 72 0
[pid=11154] ppid=11153 vsize=186076 CPUtime=48.56 cores=0,2,4,6
/proc/11154/stat : 11154 (glucose) R 11153 11140 5140 0 -1 4202496 33510 0 0 0 4848 8 0 0 20 0 1 0 274554219 190541824 38537 33554432000 4194304 5208918 140736754194464 140736754192296 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11154/statm: 46519 38537 105 248 0 46268 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 290012
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 11154
/proc/meminfo: memFree=30878440/32873844 swapFree=7364/7364
[pid=11140] ppid=11138 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11140/stat : 11140 (npSolver-pbo.sh) S 11138 11140 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274553967 9367552 275 33554432000 4194304 5064252 140734217590736 140734217589648 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11140/statm: 2287 275 233 213 0 72 0
[pid=11141] ppid=11140 vsize=85640 CPUtime=2.48 cores=0,2,4,6
/proc/11141/stat : 11141 (npSolver-pbo) S 11140 11140 5140 0 -1 4202496 8853 14739 0 0 160 26 58 4 20 0 1 0 274553967 87695360 18751 33554432000 4194304 5992684 140737328054528 140737328046848 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11141/statm: 21410 18751 183 440 0 20966 0
[pid=11153] ppid=11141 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11153/stat : 11153 (satsolver.sh) S 11141 11140 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 274554219 9367552 267 33554432000 4194304 5064252 140735914078976 140735914077888 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11153/statm: 2287 267 226 213 0 72 0
[pid=11154] ppid=11153 vsize=192828 CPUtime=99.74 cores=0,2,4,6
/proc/11154/stat : 11154 (glucose) R 11153 11140 5140 0 -1 4202496 35879 0 0 0 9964 10 0 0 20 0 1 0 274554219 197455872 41734 33554432000 4194304 5208918 140736754194464 140736754192312 4229039 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11154/statm: 48207 41734 105 248 0 47956 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 296764
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11155
/proc/meminfo: memFree=30836328/32873844 swapFree=7364/7364
[pid=11140] ppid=11138 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11140/stat : 11140 (npSolver-pbo.sh) S 11138 11140 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274553967 9367552 275 33554432000 4194304 5064252 140734217590736 140734217589648 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11140/statm: 2287 275 233 213 0 72 0
[pid=11141] ppid=11140 vsize=85640 CPUtime=2.48 cores=0,2,4,6
/proc/11141/stat : 11141 (npSolver-pbo) S 11140 11140 5140 0 -1 4202496 8853 14739 0 0 160 26 58 4 20 0 1 0 274553967 87695360 18751 33554432000 4194304 5992684 140737328054528 140737328046848 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11141/statm: 21410 18751 183 440 0 20966 0
[pid=11153] ppid=11141 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11153/stat : 11153 (satsolver.sh) S 11141 11140 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 274554219 9367552 267 33554432000 4194304 5064252 140735914078976 140735914077888 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11153/statm: 2287 267 226 213 0 72 0
[pid=11154] ppid=11153 vsize=205324 CPUtime=159.71 cores=0,2,4,6
/proc/11154/stat : 11154 (glucose) R 11153 11140 5140 0 -1 4202496 39489 0 0 0 15958 13 0 0 20 0 1 0 274554219 210251776 44736 33554432000 4194304 5208918 140736754194464 140736754192296 4212859 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11154/statm: 51331 44736 105 248 0 51080 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 309260
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11162
/proc/meminfo: memFree=30854032/32873844 swapFree=7364/7364
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 11231
/proc/meminfo: memFree=30577624/32873844 swapFree=7368/7368
[pid=11140] ppid=11138 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11140/stat : 11140 (npSolver-pbo.sh) S 11138 11140 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274553967 9367552 275 33554432000 4194304 5064252 140734217590736 140734217589648 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11140/statm: 2287 275 233 213 0 72 0
[pid=11141] ppid=11140 vsize=85640 CPUtime=2.48 cores=0,2,4,6
/proc/11141/stat : 11141 (npSolver-pbo) S 11140 11140 5140 0 -1 4202496 8853 14739 0 0 160 26 58 4 20 0 1 0 274553967 87695360 18751 33554432000 4194304 5992684 140737328054528 140737328046848 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11141/statm: 21410 18751 183 440 0 20966 0
[pid=11153] ppid=11141 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11153/stat : 11153 (satsolver.sh) S 11141 11140 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 274554219 9367552 267 33554432000 4194304 5064252 140735914078976 140735914077888 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11153/statm: 2287 267 226 213 0 72 0
[pid=11154] ppid=11153 vsize=382000 CPUtime=1419.47 cores=0,2,4,6
/proc/11154/stat : 11154 (glucose) R 11153 11140 5140 0 -1 4202496 84661 0 0 0 141858 89 0 0 20 0 1 0 274554219 391168000 85594 33554432000 4194304 5208918 140736754194464 140736754190840 4229748 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11154/statm: 95500 85594 105 248 0 95249 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 485936
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 11231
/proc/meminfo: memFree=30591092/32873844 swapFree=7364/7364
[pid=11140] ppid=11138 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11140/stat : 11140 (npSolver-pbo.sh) S 11138 11140 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274553967 9367552 275 33554432000 4194304 5064252 140734217590736 140734217589648 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11140/statm: 2287 275 233 213 0 72 0
[pid=11141] ppid=11140 vsize=85640 CPUtime=2.48 cores=0,2,4,6
/proc/11141/stat : 11141 (npSolver-pbo) S 11140 11140 5140 0 -1 4202496 8853 14739 0 0 160 26 58 4 20 0 1 0 274553967 87695360 18751 33554432000 4194304 5992684 140737328054528 140737328046848 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11141/statm: 21410 18751 183 440 0 20966 0
[pid=11153] ppid=11141 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11153/stat : 11153 (satsolver.sh) S 11141 11140 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 274554219 9367552 267 33554432000 4194304 5064252 140735914078976 140735914077888 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11153/statm: 2287 267 226 213 0 72 0
[pid=11154] ppid=11153 vsize=384684 CPUtime=1479.46 cores=0,2,4,6
/proc/11154/stat : 11154 (glucose) R 11153 11140 5140 0 -1 4202496 86021 0 0 0 147853 93 0 0 20 0 1 0 274554219 393916416 83147 33554432000 4194304 5208918 140736754194464 140736754192216 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11154/statm: 96171 83147 105 248 0 95920 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 488620
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 11231
/proc/meminfo: memFree=30575644/32873844 swapFree=7364/7364
[pid=11140] ppid=11138 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11140/stat : 11140 (npSolver-pbo.sh) S 11138 11140 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274553967 9367552 275 33554432000 4194304 5064252 140734217590736 140734217589648 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11140/statm: 2287 275 233 213 0 72 0
[pid=11141] ppid=11140 vsize=85640 CPUtime=2.48 cores=0,2,4,6
/proc/11141/stat : 11141 (npSolver-pbo) S 11140 11140 5140 0 -1 4202496 8853 14739 0 0 160 26 58 4 20 0 1 0 274553967 87695360 18751 33554432000 4194304 5992684 140737328054528 140737328046848 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11141/statm: 21410 18751 183 440 0 20966 0
[pid=11153] ppid=11141 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11153/stat : 11153 (satsolver.sh) S 11141 11140 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 274554219 9367552 267 33554432000 4194304 5064252 140735914078976 140735914077888 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11153/statm: 2287 267 226 213 0 72 0
[pid=11154] ppid=11153 vsize=386212 CPUtime=1539.45 cores=0,2,4,6
/proc/11154/stat : 11154 (glucose) R 11153 11140 5140 0 -1 4202496 86948 0 0 0 153850 95 0 0 20 0 1 0 274554219 395481088 82877 33554432000 4194304 5208918 140736754194464 140736754190840 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11154/statm: 96553 82877 105 248 0 96302 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 490148
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 11234
/proc/meminfo: memFree=30575388/32873844 swapFree=7364/7364
[pid=11140] ppid=11138 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11140/stat : 11140 (npSolver-pbo.sh) S 11138 11140 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274553967 9367552 275 33554432000 4194304 5064252 140734217590736 140734217589648 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11140/statm: 2287 275 233 213 0 72 0
[pid=11141] ppid=11140 vsize=85640 CPUtime=2.48 cores=0,2,4,6
/proc/11141/stat : 11141 (npSolver-pbo) S 11140 11140 5140 0 -1 4202496 8853 14739 0 0 160 26 58 4 20 0 1 0 274553967 87695360 18751 33554432000 4194304 5992684 140737328054528 140737328046848 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11141/statm: 21410 18751 183 440 0 20966 0
[pid=11153] ppid=11141 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11153/stat : 11153 (satsolver.sh) S 11141 11140 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 274554219 9367552 267 33554432000 4194304 5064252 140735914078976 140735914077888 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11153/statm: 2287 267 226 213 0 72 0
[pid=11154] ppid=11153 vsize=389656 CPUtime=1599.43 cores=0,2,4,6
/proc/11154/stat : 11154 (glucose) R 11153 11140 5140 0 -1 4202496 87973 0 0 0 159846 97 0 0 20 0 1 0 274554219 399007744 87067 33554432000 4194304 5208918 140736754194464 140736754190840 4229760 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11154/statm: 97414 87067 105 248 0 97163 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 493592
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11235
/proc/meminfo: memFree=30591552/32873844 swapFree=7364/7364
[pid=11140] ppid=11138 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11140/stat : 11140 (npSolver-pbo.sh) S 11138 11140 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274553967 9367552 275 33554432000 4194304 5064252 140734217590736 140734217589648 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11140/statm: 2287 275 233 213 0 72 0
[pid=11141] ppid=11140 vsize=85640 CPUtime=2.48 cores=0,2,4,6
/proc/11141/stat : 11141 (npSolver-pbo) S 11140 11140 5140 0 -1 4202496 8853 14739 0 0 160 26 58 4 20 0 1 0 274553967 87695360 18751 33554432000 4194304 5992684 140737328054528 140737328046848 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11141/statm: 21410 18751 183 440 0 20966 0
[pid=11153] ppid=11141 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11153/stat : 11153 (satsolver.sh) S 11141 11140 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 274554219 9367552 267 33554432000 4194304 5064252 140735914078976 140735914077888 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11153/statm: 2287 267 226 213 0 72 0
[pid=11154] ppid=11153 vsize=393552 CPUtime=1659.43 cores=0,2,4,6
/proc/11154/stat : 11154 (glucose) R 11153 11140 5140 0 -1 4202496 89573 0 0 0 165842 101 0 0 20 0 1 0 274554219 402997248 84998 33554432000 4194304 5208918 140736754194464 140736754190840 4229296 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11154/statm: 98388 84998 105 248 0 98137 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 497488
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11235
/proc/meminfo: memFree=30560900/32873844 swapFree=7364/7364
[pid=11140] ppid=11138 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11140/stat : 11140 (npSolver-pbo.sh) S 11138 11140 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274553967 9367552 275 33554432000 4194304 5064252 140734217590736 140734217589648 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11140/statm: 2287 275 233 213 0 72 0
[pid=11141] ppid=11140 vsize=85640 CPUtime=2.48 cores=0,2,4,6
/proc/11141/stat : 11141 (npSolver-pbo) S 11140 11140 5140 0 -1 4202496 8853 14739 0 0 160 26 58 4 20 0 1 0 274553967 87695360 18751 33554432000 4194304 5992684 140737328054528 140737328046848 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11141/statm: 21410 18751 183 440 0 20966 0
[pid=11153] ppid=11141 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11153/stat : 11153 (satsolver.sh) S 11141 11140 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 274554219 9367552 267 33554432000 4194304 5064252 140735914078976 140735914077888 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11153/statm: 2287 267 226 213 0 72 0
[pid=11154] ppid=11153 vsize=397256 CPUtime=1719.42 cores=0,2,4,6
/proc/11154/stat : 11154 (glucose) R 11153 11140 5140 0 -1 4202496 90835 0 0 0 171839 103 0 0 20 0 1 0 274554219 406790144 87103 33554432000 4194304 5208918 140736754194464 140736754190280 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11154/statm: 99314 87103 105 248 0 99063 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 501192
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 11235
/proc/meminfo: memFree=30573328/32873844 swapFree=7364/7364
[pid=11140] ppid=11138 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11140/stat : 11140 (npSolver-pbo.sh) S 11138 11140 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274553967 9367552 275 33554432000 4194304 5064252 140734217590736 140734217589648 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11140/statm: 2287 275 233 213 0 72 0
[pid=11141] ppid=11140 vsize=85640 CPUtime=2.48 cores=0,2,4,6
/proc/11141/stat : 11141 (npSolver-pbo) S 11140 11140 5140 0 -1 4202496 8853 14739 0 0 160 26 58 4 20 0 1 0 274553967 87695360 18751 33554432000 4194304 5992684 140737328054528 140737328046848 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11141/statm: 21410 18751 183 440 0 20966 0
[pid=11153] ppid=11141 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11153/stat : 11153 (satsolver.sh) S 11141 11140 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 274554219 9367552 267 33554432000 4194304 5064252 140735914078976 140735914077888 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11153/statm: 2287 267 226 213 0 72 0
[pid=11154] ppid=11153 vsize=398812 CPUtime=1779.41 cores=0,2,4,6
/proc/11154/stat : 11154 (glucose) R 11153 11140 5140 0 -1 4202496 91569 0 0 0 177836 105 0 0 20 0 1 0 274554219 408383488 87415 33554432000 4194304 5208918 140736754194464 140736754190840 4229688 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11154/statm: 99703 87415 105 248 0 99452 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 502748
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 11235
/proc/meminfo: memFree=30546272/32873844 swapFree=7364/7364
[pid=11140] ppid=11138 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11140/stat : 11140 (npSolver-pbo.sh) S 11138 11140 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274553967 9367552 275 33554432000 4194304 5064252 140734217590736 140734217589648 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11140/statm: 2287 275 233 213 0 72 0
[pid=11141] ppid=11140 vsize=85640 CPUtime=2.48 cores=0,2,4,6
/proc/11141/stat : 11141 (npSolver-pbo) S 11140 11140 5140 0 -1 4202496 8853 14739 0 0 160 26 58 4 20 0 1 0 274553967 87695360 18751 33554432000 4194304 5992684 140737328054528 140737328046848 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11141/statm: 21410 18751 183 440 0 20966 0
[pid=11153] ppid=11141 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11153/stat : 11153 (satsolver.sh) S 11141 11140 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 274554219 9367552 267 33554432000 4194304 5064252 140735914078976 140735914077888 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11153/statm: 2287 267 226 213 0 72 0
[pid=11154] ppid=11153 vsize=399964 CPUtime=1797.61 cores=0,2,4,6
/proc/11154/stat : 11154 (glucose) R 11153 11140 5140 0 -1 4202496 91859 0 0 0 179656 105 0 0 20 0 1 0 274554219 409563136 91282 33554432000 4194304 5208918 140736754194464 140736754190840 4211888 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11154/statm: 99991 91282 105 248 0 99740 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 503900
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 11235
/proc/meminfo: memFree=30546272/32873844 swapFree=7364/7364
[pid=11140] ppid=11138 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11140/stat : 11140 (npSolver-pbo.sh) S 11138 11140 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274553967 9367552 275 33554432000 4194304 5064252 140734217590736 140734217589648 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11140/statm: 2287 275 233 213 0 72 0
[pid=11141] ppid=11140 vsize=85640 CPUtime=2.48 cores=0,2,4,6
/proc/11141/stat : 11141 (npSolver-pbo) S 11140 11140 5140 0 -1 4202496 8853 14739 0 0 160 26 58 4 20 0 1 0 274553967 87695360 18751 33554432000 4194304 5992684 140737328054528 140737328046848 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11141/statm: 21410 18751 183 440 0 20966 0
[pid=11153] ppid=11141 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11153/stat : 11153 (satsolver.sh) S 11141 11140 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 274554219 9367552 267 33554432000 4194304 5064252 140735914078976 140735914077888 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11153/statm: 2287 267 226 213 0 72 0
[pid=11154] ppid=11153 vsize=399964 CPUtime=1797.61 cores=0,2,4,6
/proc/11154/stat : 11154 (glucose) R 11153 11140 5140 0 -1 4202496 91859 0 0 0 179656 105 0 0 20 0 1 0 274554219 409563136 91282 33554432000 4194304 5208918 140736754194464 140736754190840 4211888 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11154/statm: 99991 91282 105 248 0 99740 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 503900
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.14
CPU user time (s): 1798.76
CPU system time (s): 1.37879
CPU usage (%): 99.9791
Max. virtual memory (cumulated for all children) (KiB): 632844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.76
system time used= 1.37879
maximum resident set size= 467620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116442
page faults= 0
swaps= 0
block input operations= 0
block output operations= 132896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 166
involuntary context switches= 2751
runsolver used 6.69698 second user time and 19.1611 second system time
The end