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-3701657-1338117417/watcher-3701657-1338117417 -o /tmp/evaluation-result-3701657-1338117417/solver-3701657-1338117417 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701657-1338117417.opb 1239148882 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 18449
/proc/meminfo: memFree=29900344/32873844 swapFree=7116/7116
[pid=18449] ppid=18447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18449/stat : 18449 (npSolver-pbo.sh) S 18447 18449 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277866657 9367552 275 33554432000 4194304 5064252 140737152292784 140737152291696 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18449/statm: 2287 275 233 213 0 72 0
[startup+0.077049 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 18449
/proc/meminfo: memFree=29900344/32873844 swapFree=7116/7116
[pid=18449] ppid=18447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18449/stat : 18449 (npSolver-pbo.sh) S 18447 18449 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277866657 9367552 275 33554432000 4194304 5064252 140737152292784 140737152291696 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18449/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100265 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 18449
/proc/meminfo: memFree=29900344/32873844 swapFree=7116/7116
[pid=18449] ppid=18447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18449/stat : 18449 (npSolver-pbo.sh) S 18447 18449 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277866657 9367552 275 33554432000 4194304 5064252 140737152292784 140737152291696 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18449/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300245 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 18449
/proc/meminfo: memFree=29900344/32873844 swapFree=7116/7116
[pid=18449] ppid=18447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18449/stat : 18449 (npSolver-pbo.sh) S 18447 18449 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277866657 9367552 275 33554432000 4194304 5064252 140737152292784 140737152291696 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18449/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700314 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 18449
/proc/meminfo: memFree=29900344/32873844 swapFree=7116/7116
[pid=18449] ppid=18447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18449/stat : 18449 (npSolver-pbo.sh) S 18447 18449 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277866657 9367552 275 33554432000 4194304 5064252 140737152292784 140737152291696 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18449/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50046 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 18453
/proc/meminfo: memFree=29754832/32873844 swapFree=7116/7116
[pid=18449] ppid=18447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18449/stat : 18449 (npSolver-pbo.sh) S 18447 18449 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277866657 9367552 275 33554432000 4194304 5064252 140737152292784 140737152291696 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18449/statm: 2287 275 233 213 0 72 0
[pid=18450] ppid=18449 vsize=33288 CPUtime=0.47 cores=1,3,5,7
/proc/18450/stat : 18450 (npSolver-pbo) S 18449 18449 12793 0 -1 4202496 6735 0 0 0 44 3 0 0 20 0 1 0 277866658 34086912 6691 33554432000 4194304 5992684 140735296227232 140735296221264 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18450/statm: 8322 6691 167 440 0 7878 0
[pid=18452] ppid=18450 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18452/stat : 18452 (cp2_pre.sh) S 18450 18449 12793 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 277866706 9367552 277 33554432000 4194304 5064252 140734536481984 140734536480688 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18452/statm: 2287 277 234 213 0 72 0
[pid=18453] ppid=18452 vsize=137676 CPUtime=1 cores=1,3,5,7
/proc/18453/stat : 18453 (coprocessor) R 18452 18449 12793 0 -1 4202496 25621 0 0 0 95 5 0 0 20 0 1 0 277866706 140980224 33057 33554432000 4194304 6586260 140735875977680 140735875973944 4788668 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/18453/statm: 34419 33057 182 584 0 33831 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 189260
[startup+3.10036 s]
/proc/loadavg: 2.00 2.00 2.00 2/175 18480
/proc/meminfo: memFree=30814012/32873844 swapFree=7116/7116
[pid=18449] ppid=18447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18449/stat : 18449 (npSolver-pbo.sh) S 18447 18449 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277866657 9367552 275 33554432000 4194304 5064252 140737152292784 140737152291696 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18449/statm: 2287 275 233 213 0 72 0
[pid=18450] ppid=18449 vsize=33288 CPUtime=2.46 cores=1,3,5,7
/proc/18450/stat : 18450 (npSolver-pbo) S 18449 18449 12793 0 -1 4202496 6743 30617 0 0 44 3 186 13 20 0 1 0 277866658 34086912 6691 33554432000 4194304 5992684 140735296227232 140735296222352 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18450/statm: 8322 6691 167 440 0 7878 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 42436
heavy processes:
[startup+6.30042 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 18498
/proc/meminfo: memFree=30418512/32873844 swapFree=7116/7116
[pid=18449] ppid=18447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18449/stat : 18449 (npSolver-pbo.sh) S 18447 18449 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277866657 9367552 275 33554432000 4194304 5064252 140737152292784 140737152291696 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18449/statm: 2287 275 233 213 0 72 0
[pid=18450] ppid=18449 vsize=33288 CPUtime=2.46 cores=1,3,5,7
/proc/18450/stat : 18450 (npSolver-pbo) S 18449 18449 12793 0 -1 4202496 6743 30617 0 0 44 3 186 13 20 0 1 0 277866658 34086912 6691 33554432000 4194304 5992684 140735296227232 140735296222352 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18450/statm: 8322 6691 167 440 0 7878 0
[pid=18495] ppid=18450 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18495/stat : 18495 (satsolver.sh) S 18450 18449 12793 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277866907 9367552 267 33554432000 4194304 5064252 140735171746368 140735171745280 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18495/statm: 2287 267 226 213 0 72 0
[pid=18496] ppid=18495 vsize=72556 CPUtime=3.79 cores=1,3,5,7
/proc/18496/stat : 18496 (glucose) R 18495 18449 12793 0 -1 4202496 13913 0 0 0 377 2 0 0 20 0 1 0 277866907 74297344 15505 33554432000 4194304 5208918 140736875062016 140736875059848 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18496/statm: 18139 15505 101 248 0 17888 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 124140
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 18501
/proc/meminfo: memFree=30594968/32873844 swapFree=7116/7116
[pid=18449] ppid=18447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18449/stat : 18449 (npSolver-pbo.sh) S 18447 18449 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277866657 9367552 275 33554432000 4194304 5064252 140737152292784 140737152291696 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18449/statm: 2287 275 233 213 0 72 0
[pid=18450] ppid=18449 vsize=38552 CPUtime=12.68 cores=1,3,5,7
/proc/18450/stat : 18450 (npSolver-pbo) R 18449 18449 12793 0 -1 4202496 9244 49606 0 0 58 16 1176 18 20 0 1 0 277866658 39477248 7774 33554432000 4194304 5992684 140735296227232 140735296221840 5179696 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18450/statm: 9638 7774 174 440 0 9194 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 47700
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 18508
/proc/meminfo: memFree=30558104/32873844 swapFree=7116/7116
[pid=18449] ppid=18447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18449/stat : 18449 (npSolver-pbo.sh) S 18447 18449 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277866657 9367552 275 33554432000 4194304 5064252 140737152292784 140737152291696 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18449/statm: 2287 275 233 213 0 72 0
[pid=18450] ppid=18449 vsize=43744 CPUtime=13.31 cores=1,3,5,7
/proc/18450/stat : 18450 (npSolver-pbo) S 18449 18449 12793 0 -1 4202496 11012 50122 0 0 72 63 1176 20 20 0 1 0 277866658 44793856 9222 33554432000 4194304 5992684 140735296227232 140735296219552 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18450/statm: 10936 9222 184 440 0 10492 0
[pid=18507] ppid=18450 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18507/stat : 18507 (satsolver.sh) S 18450 18449 12793 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 277867990 9367552 267 33554432000 4194304 5064252 140735538202736 140735538201648 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18507/statm: 2287 267 226 213 0 72 0
[pid=18508] ppid=18507 vsize=75036 CPUtime=12.16 cores=1,3,5,7
/proc/18508/stat : 18508 (glucose) R 18507 18449 12793 0 -1 4202496 15704 0 0 0 1212 4 0 0 20 0 1 0 277867990 76836864 16707 33554432000 4194304 5208918 140737427021136 140737427018968 4205139 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18508/statm: 18759 16707 103 248 0 18508 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 137076
[startup+51.1005 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 18508
/proc/meminfo: memFree=30556616/32873844 swapFree=7116/7116
[pid=18449] ppid=18447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18449/stat : 18449 (npSolver-pbo.sh) S 18447 18449 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277866657 9367552 275 33554432000 4194304 5064252 140737152292784 140737152291696 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18449/statm: 2287 275 233 213 0 72 0
[pid=18450] ppid=18449 vsize=43744 CPUtime=13.31 cores=1,3,5,7
/proc/18450/stat : 18450 (npSolver-pbo) S 18449 18449 12793 0 -1 4202496 11012 50122 0 0 72 63 1176 20 20 0 1 0 277866658 44793856 9222 33554432000 4194304 5992684 140735296227232 140735296219552 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18450/statm: 10936 9222 184 440 0 10492 0
[pid=18507] ppid=18450 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18507/stat : 18507 (satsolver.sh) S 18450 18449 12793 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 277867990 9367552 267 33554432000 4194304 5064252 140735538202736 140735538201648 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18507/statm: 2287 267 226 213 0 72 0
[pid=18508] ppid=18507 vsize=76504 CPUtime=37.75 cores=1,3,5,7
/proc/18508/stat : 18508 (glucose) R 18507 18449 12793 0 -1 4202496 16472 0 0 0 3771 4 0 0 20 0 1 0 277867990 78340096 17007 33554432000 4194304 5208918 140737427021136 140737427019288 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18508/statm: 19126 17007 104 248 0 18875 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 138544
[startup+102.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 18508
/proc/meminfo: memFree=30549972/32873844 swapFree=7116/7116
[pid=18449] ppid=18447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18449/stat : 18449 (npSolver-pbo.sh) S 18447 18449 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277866657 9367552 275 33554432000 4194304 5064252 140737152292784 140737152291696 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18449/statm: 2287 275 233 213 0 72 0
[pid=18450] ppid=18449 vsize=43744 CPUtime=13.31 cores=1,3,5,7
/proc/18450/stat : 18450 (npSolver-pbo) S 18449 18449 12793 0 -1 4202496 11012 50122 0 0 72 63 1176 20 20 0 1 0 277866658 44793856 9222 33554432000 4194304 5992684 140735296227232 140735296219552 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18450/statm: 10936 9222 184 440 0 10492 0
[pid=18507] ppid=18450 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18507/stat : 18507 (satsolver.sh) S 18450 18449 12793 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 277867990 9367552 267 33554432000 4194304 5064252 140735538202736 140735538201648 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18507/statm: 2287 267 226 213 0 72 0
[pid=18508] ppid=18507 vsize=84696 CPUtime=88.95 cores=1,3,5,7
/proc/18508/stat : 18508 (glucose) R 18507 18449 12793 0 -1 4202496 16944 0 0 0 8891 4 0 0 20 0 1 0 277867990 86728704 17475 33554432000 4194304 5208918 140737427021136 140737427019288 4229251 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18508/statm: 21174 17475 105 248 0 20923 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 146736
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 18508
/proc/meminfo: memFree=30549924/32873844 swapFree=7116/7116
[pid=18449] ppid=18447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18449/stat : 18449 (npSolver-pbo.sh) S 18447 18449 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277866657 9367552 275 33554432000 4194304 5064252 140737152292784 140737152291696 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18449/statm: 2287 275 233 213 0 72 0
[pid=18450] ppid=18449 vsize=43744 CPUtime=161.89 cores=1,3,5,7
/proc/18450/stat : 18450 (npSolver-pbo) S 18449 18449 12793 0 -1 4202496 12841 72550 0 0 76 64 16020 29 20 0 1 0 277866658 44793856 9222 33554432000 4194304 5992684 140735296227232 140735296219552 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18450/statm: 10936 9222 184 440 0 10492 0
Current children cumulated CPU time (s) 161.89
Current children cumulated vsize (KiB) 52892
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 18518
/proc/meminfo: memFree=30545496/32873844 swapFree=7116/7116
[pid=18449] ppid=18447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18449/stat : 18449 (npSolver-pbo.sh) S 18447 18449 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277866657 9367552 275 33554432000 4194304 5064252 140737152292784 140737152291696 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18449/statm: 2287 275 233 213 0 72 0
[pid=18450] ppid=18449 vsize=43744 CPUtime=161.89 cores=1,3,5,7
/proc/18450/stat : 18450 (npSolver-pbo) S 18449 18449 12793 0 -1 4202496 12841 72550 0 0 76 64 16020 29 20 0 1 0 277866658 44793856 9222 33554432000 4194304 5992684 140735296227232 140735296219552 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18450/statm: 10936 9222 184 440 0 10492 0
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 18543
/proc/meminfo: memFree=30494956/32873844 swapFree=7116/7116
[pid=18449] ppid=18447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18449/stat : 18449 (npSolver-pbo.sh) S 18447 18449 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277866657 9367552 275 33554432000 4194304 5064252 140737152292784 140737152291696 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18449/statm: 2287 275 233 213 0 72 0
[pid=18450] ppid=18449 vsize=43744 CPUtime=978.41 cores=1,3,5,7
/proc/18450/stat : 18450 (npSolver-pbo) S 18449 18449 12793 0 -1 4202496 16494 120872 0 0 85 66 97643 47 20 0 1 0 277866658 44793856 9222 33554432000 4194304 5992684 140735296227232 140735296219552 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18450/statm: 10936 9222 184 440 0 10492 0
[pid=18537] ppid=18450 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18537/stat : 18537 (satsolver.sh) S 18450 18449 12793 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 277964520 9367552 267 33554432000 4194304 5064252 140736665737120 140736665736032 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18537/statm: 2287 267 226 213 0 72 0
[pid=18538] ppid=18537 vsize=125232 CPUtime=443.59 cores=1,3,5,7
/proc/18538/stat : 18538 (glucose) R 18537 18449 12793 0 -1 4202496 19609 0 0 0 44351 8 0 0 20 0 1 0 277964520 128237568 24195 33554432000 4194304 5208918 140737346125296 140737346123240 4211792 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18538/statm: 31308 24195 105 248 0 31057 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 187272
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 18543
/proc/meminfo: memFree=30475352/32873844 swapFree=7116/7116
[pid=18449] ppid=18447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18449/stat : 18449 (npSolver-pbo.sh) S 18447 18449 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277866657 9367552 275 33554432000 4194304 5064252 140737152292784 140737152291696 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18449/statm: 2287 275 233 213 0 72 0
[pid=18450] ppid=18449 vsize=43744 CPUtime=978.41 cores=1,3,5,7
/proc/18450/stat : 18450 (npSolver-pbo) S 18449 18449 12793 0 -1 4202496 16494 120872 0 0 85 66 97643 47 20 0 1 0 277866658 44793856 9222 33554432000 4194304 5992684 140735296227232 140735296219552 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18450/statm: 10936 9222 184 440 0 10492 0
[pid=18537] ppid=18450 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18537/stat : 18537 (satsolver.sh) S 18450 18449 12793 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 277964520 9367552 267 33554432000 4194304 5064252 140736665737120 140736665736032 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18537/statm: 2287 267 226 213 0 72 0
[pid=18538] ppid=18537 vsize=125232 CPUtime=503.57 cores=1,3,5,7
/proc/18538/stat : 18538 (glucose) R 18537 18449 12793 0 -1 4202496 20038 0 0 0 50349 8 0 0 20 0 1 0 277964520 128237568 29219 33554432000 4194304 5208918 140737346125296 140737346121672 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18538/statm: 31308 29219 105 248 0 31057 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 187272
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 18544
/proc/meminfo: memFree=30475600/32873844 swapFree=7116/7116
[pid=18449] ppid=18447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18449/stat : 18449 (npSolver-pbo.sh) S 18447 18449 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277866657 9367552 275 33554432000 4194304 5064252 140737152292784 140737152291696 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18449/statm: 2287 275 233 213 0 72 0
[pid=18450] ppid=18449 vsize=43744 CPUtime=978.41 cores=1,3,5,7
/proc/18450/stat : 18450 (npSolver-pbo) S 18449 18449 12793 0 -1 4202496 16494 120872 0 0 85 66 97643 47 20 0 1 0 277866658 44793856 9222 33554432000 4194304 5992684 140735296227232 140735296219552 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18450/statm: 10936 9222 184 440 0 10492 0
[pid=18537] ppid=18450 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18537/stat : 18537 (satsolver.sh) S 18450 18449 12793 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 277964520 9367552 267 33554432000 4194304 5064252 140736665737120 140736665736032 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18537/statm: 2287 267 226 213 0 72 0
[pid=18538] ppid=18537 vsize=125232 CPUtime=563.57 cores=1,3,5,7
/proc/18538/stat : 18538 (glucose) R 18537 18449 12793 0 -1 4202496 20038 0 0 0 56349 8 0 0 20 0 1 0 277964520 128237568 29219 33554432000 4194304 5208918 140737346125296 140737346121608 4211726 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18538/statm: 31308 29219 105 248 0 31057 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 187272
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 18544
/proc/meminfo: memFree=30472684/32873844 swapFree=7116/7116
[pid=18449] ppid=18447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18449/stat : 18449 (npSolver-pbo.sh) S 18447 18449 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277866657 9367552 275 33554432000 4194304 5064252 140737152292784 140737152291696 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18449/statm: 2287 275 233 213 0 72 0
[pid=18450] ppid=18449 vsize=43744 CPUtime=978.41 cores=1,3,5,7
/proc/18450/stat : 18450 (npSolver-pbo) S 18449 18449 12793 0 -1 4202496 16494 120872 0 0 85 66 97643 47 20 0 1 0 277866658 44793856 9222 33554432000 4194304 5992684 140735296227232 140735296219552 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18450/statm: 10936 9222 184 440 0 10492 0
[pid=18537] ppid=18450 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18537/stat : 18537 (satsolver.sh) S 18450 18449 12793 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 277964520 9367552 267 33554432000 4194304 5064252 140736665737120 140736665736032 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18537/statm: 2287 267 226 213 0 72 0
[pid=18538] ppid=18537 vsize=125232 CPUtime=623.55 cores=1,3,5,7
/proc/18538/stat : 18538 (glucose) R 18537 18449 12793 0 -1 4202496 20039 0 0 0 62347 8 0 0 20 0 1 0 277964520 128237568 29731 33554432000 4194304 5208918 140737346125296 140737346121672 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18538/statm: 31308 29731 105 248 0 31057 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 187272
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 18551
/proc/meminfo: memFree=30514996/32873844 swapFree=7116/7116
[pid=18449] ppid=18447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18449/stat : 18449 (npSolver-pbo.sh) S 18447 18449 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277866657 9367552 275 33554432000 4194304 5064252 140737152292784 140737152291696 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18449/statm: 2287 275 233 213 0 72 0
[pid=18450] ppid=18449 vsize=43744 CPUtime=1633.9 cores=1,3,5,7
/proc/18450/stat : 18450 (npSolver-pbo) S 18449 18449 12793 0 -1 4202496 18319 145339 0 0 89 67 163175 59 20 0 1 0 277866658 44793856 9222 33554432000 4194304 5992684 140735296227232 140735296219552 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18450/statm: 10936 9222 184 440 0 10492 0
[pid=18550] ppid=18450 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18550/stat : 18550 (satsolver.sh) S 18450 18449 12793 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278030080 9367552 267 33554432000 4194304 5064252 140735603414992 140735603413904 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18550/statm: 2287 267 226 213 0 72 0
[pid=18551] ppid=18550 vsize=84272 CPUtime=28.05 cores=1,3,5,7
/proc/18551/stat : 18551 (glucose) R 18550 18449 12793 0 -1 4202496 16794 0 0 0 2801 4 0 0 20 0 1 0 278030081 86294528 18746 33554432000 4194304 5208918 140734792497488 140734792495640 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18551/statm: 21068 18746 103 248 0 20817 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 146312
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 18551
/proc/meminfo: memFree=30513440/32873844 swapFree=7116/7116
[pid=18449] ppid=18447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18449/stat : 18449 (npSolver-pbo.sh) S 18447 18449 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277866657 9367552 275 33554432000 4194304 5064252 140737152292784 140737152291696 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18449/statm: 2287 275 233 213 0 72 0
[pid=18450] ppid=18449 vsize=43744 CPUtime=1633.9 cores=1,3,5,7
/proc/18450/stat : 18450 (npSolver-pbo) S 18449 18449 12793 0 -1 4202496 18319 145339 0 0 89 67 163175 59 20 0 1 0 277866658 44793856 9222 33554432000 4194304 5992684 140735296227232 140735296219552 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18450/statm: 10936 9222 184 440 0 10492 0
[pid=18550] ppid=18450 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18550/stat : 18550 (satsolver.sh) S 18450 18449 12793 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278030080 9367552 267 33554432000 4194304 5064252 140735603414992 140735603413904 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18550/statm: 2287 267 226 213 0 72 0
[pid=18551] ppid=18550 vsize=85340 CPUtime=88.04 cores=1,3,5,7
/proc/18551/stat : 18551 (glucose) R 18550 18449 12793 0 -1 4202496 18195 0 0 0 8799 5 0 0 20 0 1 0 278030081 87388160 18585 33554432000 4194304 5208918 140734792497488 140734792495320 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18551/statm: 21335 18585 105 248 0 21084 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 147380
[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 18551
/proc/meminfo: memFree=30484172/32873844 swapFree=7116/7116
[pid=18449] ppid=18447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18449/stat : 18449 (npSolver-pbo.sh) S 18447 18449 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277866657 9367552 275 33554432000 4194304 5064252 140737152292784 140737152291696 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18449/statm: 2287 275 233 213 0 72 0
[pid=18450] ppid=18449 vsize=43744 CPUtime=1633.9 cores=1,3,5,7
/proc/18450/stat : 18450 (npSolver-pbo) S 18449 18449 12793 0 -1 4202496 18319 145339 0 0 89 67 163175 59 20 0 1 0 277866658 44793856 9222 33554432000 4194304 5992684 140735296227232 140735296219552 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18450/statm: 10936 9222 184 440 0 10492 0
[pid=18550] ppid=18450 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18550/stat : 18550 (satsolver.sh) S 18450 18449 12793 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278030080 9367552 267 33554432000 4194304 5064252 140735603414992 140735603413904 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18550/statm: 2287 267 226 213 0 72 0
[pid=18551] ppid=18550 vsize=106720 CPUtime=148.02 cores=1,3,5,7
/proc/18551/stat : 18551 (glucose) R 18550 18449 12793 0 -1 4202496 20488 0 0 0 14796 6 0 0 20 0 1 0 278030081 109281280 25230 33554432000 4194304 5208918 140734792497488 140734792495352 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18551/statm: 26680 25230 105 248 0 26429 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 168760
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 18551
/proc/meminfo: memFree=30504204/32873844 swapFree=7116/7116
[pid=18449] ppid=18447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18449/stat : 18449 (npSolver-pbo.sh) S 18447 18449 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277866657 9367552 275 33554432000 4194304 5064252 140737152292784 140737152291696 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18449/statm: 2287 275 233 213 0 72 0
[pid=18450] ppid=18449 vsize=43744 CPUtime=1633.9 cores=1,3,5,7
/proc/18450/stat : 18450 (npSolver-pbo) S 18449 18449 12793 0 -1 4202496 18319 145339 0 0 89 67 163175 59 20 0 1 0 277866658 44793856 9222 33554432000 4194304 5992684 140735296227232 140735296219552 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18450/statm: 10936 9222 184 440 0 10492 0
[pid=18550] ppid=18450 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18550/stat : 18550 (satsolver.sh) S 18450 18449 12793 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278030080 9367552 267 33554432000 4194304 5064252 140735603414992 140735603413904 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18550/statm: 2287 267 226 213 0 72 0
[pid=18551] ppid=18550 vsize=106720 CPUtime=166.12 cores=1,3,5,7
/proc/18551/stat : 18551 (glucose) R 18550 18449 12793 0 -1 4202496 20492 0 0 0 16606 6 0 0 20 0 1 0 278030081 109281280 25230 33554432000 4194304 5208918 140734792497488 140734792495352 4211712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18551/statm: 26680 25230 105 248 0 26429 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 168760
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 18551
/proc/meminfo: memFree=30504204/32873844 swapFree=7116/7116
[pid=18449] ppid=18447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18449/stat : 18449 (npSolver-pbo.sh) S 18447 18449 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277866657 9367552 275 33554432000 4194304 5064252 140737152292784 140737152291696 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18449/statm: 2287 275 233 213 0 72 0
[pid=18450] ppid=18449 vsize=43744 CPUtime=1633.9 cores=1,3,5,7
/proc/18450/stat : 18450 (npSolver-pbo) S 18449 18449 12793 0 -1 4202496 18319 145339 0 0 89 67 163175 59 20 0 1 0 277866658 44793856 9222 33554432000 4194304 5992684 140735296227232 140735296219552 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18450/statm: 10936 9222 184 440 0 10492 0
[pid=18550] ppid=18450 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18550/stat : 18550 (satsolver.sh) S 18450 18449 12793 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278030080 9367552 267 33554432000 4194304 5064252 140735603414992 140735603413904 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18550/statm: 2287 267 226 213 0 72 0
[pid=18551] ppid=18550 vsize=106720 CPUtime=166.12 cores=1,3,5,7
/proc/18551/stat : 18551 (glucose) R 18550 18449 12793 0 -1 4202496 20492 0 0 0 16606 6 0 0 20 0 1 0 278030081 109281280 25230 33554432000 4194304 5208918 140734792497488 140734792495352 4211712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18551/statm: 26680 25230 105 248 0 26429 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 168760
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.06
CPU user time (s): 1798.72
CPU system time (s): 1.3388
CPU usage (%): 99.9803
Max. virtual memory (cumulated for all children) (KiB): 212640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.72
system time used= 1.3388
maximum resident set size= 160844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185141
page faults= 0
swaps= 0
block input operations= 0
block output operations= 173448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 590
involuntary context switches= 1987
runsolver used 3.04954 second user time and 8.47471 second system time
The end