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-3699768-1338069852/watcher-3699768-1338069852 -o /tmp/evaluation-result-3699768-1338069852/solver-3699768-1338069852 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699768-1338069852.opb 818827512 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.07 2.08 2.02 3/178 1926
/proc/meminfo: memFree=28071760/32873648 swapFree=6844/6844
[pid=1926] ppid=1924 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1926/stat : 1926 (npSolver-pbo-I.) S 1924 1926 339 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273111980 9367552 274 33554432000 4194304 5064252 140736474517264 140736474516176 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1926/statm: 2287 274 233 213 0 72 0
[startup+0.039369 s]
/proc/loadavg: 2.07 2.08 2.02 3/178 1926
/proc/meminfo: memFree=28071760/32873648 swapFree=6844/6844
[pid=1926] ppid=1924 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1926/stat : 1926 (npSolver-pbo-I.) S 1924 1926 339 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273111980 9367552 274 33554432000 4194304 5064252 140736474517264 140736474516176 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1926/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10029 s]
/proc/loadavg: 2.07 2.08 2.02 3/178 1926
/proc/meminfo: memFree=28071760/32873648 swapFree=6844/6844
[pid=1926] ppid=1924 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1926/stat : 1926 (npSolver-pbo-I.) S 1924 1926 339 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273111980 9367552 274 33554432000 4194304 5064252 140736474517264 140736474516176 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1926/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300301 s]
/proc/loadavg: 2.07 2.08 2.02 3/178 1926
/proc/meminfo: memFree=28071760/32873648 swapFree=6844/6844
[pid=1926] ppid=1924 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1926/stat : 1926 (npSolver-pbo-I.) S 1924 1926 339 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273111980 9367552 274 33554432000 4194304 5064252 140736474517264 140736474516176 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1926/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700163 s]
/proc/loadavg: 2.07 2.08 2.02 3/178 1926
/proc/meminfo: memFree=28071760/32873648 swapFree=6844/6844
[pid=1926] ppid=1924 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1926/stat : 1926 (npSolver-pbo-I.) S 1924 1926 339 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273111980 9367552 274 33554432000 4194304 5064252 140736474517264 140736474516176 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1926/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50042 s]
/proc/loadavg: 2.07 2.08 2.02 3/182 1930
/proc/meminfo: memFree=27894548/32873648 swapFree=6844/6844
[pid=1926] ppid=1924 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1926/stat : 1926 (npSolver-pbo-I.) S 1924 1926 339 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273111980 9367552 274 33554432000 4194304 5064252 140736474517264 140736474516176 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1926/statm: 2287 274 233 213 0 72 0
[pid=1927] ppid=1926 vsize=40052 CPUtime=0.47 cores=1,3,5,7
/proc/1927/stat : 1927 (npSolver-pbo) S 1926 1926 339 0 -1 4202496 11207 0 0 0 44 3 0 0 20 0 1 0 273111981 41013248 9483 33554432000 4194304 5992684 140735173910192 140735173904640 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1927/statm: 10013 9483 164 440 0 9569 0
[pid=1929] ppid=1927 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1929/stat : 1929 (cp2_pre.sh) S 1927 1926 339 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 273112029 9367552 277 33554432000 4194304 5064252 140736344376736 140736344375440 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1929/statm: 2287 277 234 213 0 72 0
[pid=1930] ppid=1929 vsize=154344 CPUtime=1.01 cores=1,3,5,7
/proc/1930/stat : 1930 (coprocessor) R 1929 1926 339 0 -1 4202496 25736 0 0 0 96 5 0 0 20 0 1 0 273112029 158048256 34447 33554432000 4194304 6586260 140734568182752 140734568179016 4498526 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/1930/statm: 38586 34447 170 584 0 37998 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 212692
[startup+3.10036 s]
/proc/loadavg: 2.07 2.08 2.02 3/182 1930
/proc/meminfo: memFree=27837488/32873648 swapFree=6844/6844
[pid=1926] ppid=1924 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1926/stat : 1926 (npSolver-pbo-I.) S 1924 1926 339 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273111980 9367552 274 33554432000 4194304 5064252 140736474517264 140736474516176 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1926/statm: 2287 274 233 213 0 72 0
[pid=1927] ppid=1926 vsize=40052 CPUtime=0.47 cores=1,3,5,7
/proc/1927/stat : 1927 (npSolver-pbo) S 1926 1926 339 0 -1 4202496 11207 0 0 0 44 3 0 0 20 0 1 0 273111981 41013248 9483 33554432000 4194304 5992684 140735173910192 140735173904640 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1927/statm: 10013 9483 164 440 0 9569 0
[pid=1929] ppid=1927 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1929/stat : 1929 (cp2_pre.sh) S 1927 1926 339 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 273112029 9367552 277 33554432000 4194304 5064252 140736344376736 140736344375440 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1929/statm: 2287 277 234 213 0 72 0
[pid=1930] ppid=1929 vsize=187724 CPUtime=2.61 cores=1,3,5,7
/proc/1930/stat : 1930 (coprocessor) R 1929 1926 339 0 -1 4202496 32321 0 0 0 252 9 0 0 20 0 1 0 273112029 192229376 45578 33554432000 4194304 6586260 140734568182752 140734568178504 5732496 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/1930/statm: 46931 45578 198 584 0 46343 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 246072
[startup+6.30039 s]
/proc/loadavg: 2.07 2.08 2.02 3/181 1932
/proc/meminfo: memFree=27937328/32873648 swapFree=6844/6844
[pid=1926] ppid=1924 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1926/stat : 1926 (npSolver-pbo-I.) S 1924 1926 339 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273111980 9367552 274 33554432000 4194304 5064252 140736474517264 140736474516176 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1926/statm: 2287 274 233 213 0 72 0
[pid=1927] ppid=1926 vsize=40052 CPUtime=3.31 cores=1,3,5,7
/proc/1927/stat : 1927 (npSolver-pbo) S 1926 1926 339 0 -1 4202496 11223 33225 0 0 44 3 273 11 20 0 1 0 273111981 41013248 9485 33554432000 4194304 5992684 140735173910192 140735173896456 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1927/statm: 10013 9485 166 440 0 9569 0
[pid=1932] ppid=1927 vsize=88076 CPUtime=2.95 cores=1,3,5,7
/proc/1932/stat : 1932 (glucosInc) R 1927 1926 339 0 -1 4202496 18098 0 0 0 292 3 0 0 20 0 1 0 273112314 90189824 19932 33554432000 4194304 5654031 140735324571984 140735324569768 4215353 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1932/statm: 22019 19932 131 357 0 21659 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 137276
[startup+12.7004 s]
/proc/loadavg: 2.06 2.07 2.02 3/181 1932
/proc/meminfo: memFree=27934000/32873648 swapFree=6844/6844
[pid=1926] ppid=1924 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1926/stat : 1926 (npSolver-pbo-I.) S 1924 1926 339 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273111980 9367552 274 33554432000 4194304 5064252 140736474517264 140736474516176 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1926/statm: 2287 274 233 213 0 72 0
[pid=1927] ppid=1926 vsize=40052 CPUtime=3.31 cores=1,3,5,7
/proc/1927/stat : 1927 (npSolver-pbo) S 1926 1926 339 0 -1 4202496 11223 33225 0 0 44 3 273 11 20 0 1 0 273111981 41013248 9485 33554432000 4194304 5992684 140735173910192 140735173896456 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1927/statm: 10013 9485 166 440 0 9569 0
[pid=1932] ppid=1927 vsize=88208 CPUtime=9.35 cores=1,3,5,7
/proc/1932/stat : 1932 (glucosInc) R 1927 1926 339 0 -1 4202496 18128 0 0 0 932 3 0 0 20 0 1 0 273112314 90324992 20473 33554432000 4194304 5654031 140735324571984 140735324569768 4216337 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1932/statm: 22052 20473 131 357 0 21692 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 137408
[startup+25.5004 s]
/proc/loadavg: 2.05 2.07 2.02 3/181 1932
/proc/meminfo: memFree=27929976/32873648 swapFree=6844/6844
[pid=1926] ppid=1924 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1926/stat : 1926 (npSolver-pbo-I.) S 1924 1926 339 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273111980 9367552 274 33554432000 4194304 5064252 140736474517264 140736474516176 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1926/statm: 2287 274 233 213 0 72 0
[pid=1927] ppid=1926 vsize=40052 CPUtime=3.31 cores=1,3,5,7
/proc/1927/stat : 1927 (npSolver-pbo) S 1926 1926 339 0 -1 4202496 11223 33225 0 0 44 3 273 11 20 0 1 0 273111981 41013248 9485 33554432000 4194304 5992684 140735173910192 140735173896456 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1927/statm: 10013 9485 166 440 0 9569 0
[pid=1932] ppid=1927 vsize=100016 CPUtime=22.15 cores=1,3,5,7
/proc/1932/stat : 1932 (glucosInc) R 1927 1926 339 0 -1 4202496 18694 0 0 0 2211 4 0 0 20 0 1 0 273112314 102416384 21550 33554432000 4194304 5654031 140735324571984 140735324570072 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1932/statm: 25004 21550 131 357 0 24644 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 149216
[startup+51.1004 s]
/proc/loadavg: 2.03 2.06 2.01 3/181 1932
/proc/meminfo: memFree=27925812/32873648 swapFree=6844/6844
[pid=1926] ppid=1924 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1926/stat : 1926 (npSolver-pbo-I.) S 1924 1926 339 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273111980 9367552 274 33554432000 4194304 5064252 140736474517264 140736474516176 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1926/statm: 2287 274 233 213 0 72 0
[pid=1927] ppid=1926 vsize=40052 CPUtime=3.31 cores=1,3,5,7
/proc/1927/stat : 1927 (npSolver-pbo) S 1926 1926 339 0 -1 4202496 11223 33225 0 0 44 3 273 11 20 0 1 0 273111981 41013248 9485 33554432000 4194304 5992684 140735173910192 140735173896456 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1927/statm: 10013 9485 166 440 0 9569 0
[pid=1932] ppid=1927 vsize=100420 CPUtime=47.75 cores=1,3,5,7
/proc/1932/stat : 1932 (glucosInc) R 1927 1926 339 0 -1 4202496 19717 0 0 0 4770 5 0 0 20 0 1 0 273112314 102830080 22114 33554432000 4194304 5654031 140735324571984 140735324569768 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1932/statm: 25105 22114 132 357 0 24745 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 149620
[startup+102.307 s]
/proc/loadavg: 2.10 2.08 2.02 3/181 1932
/proc/meminfo: memFree=27949196/32873648 swapFree=6844/6844
[pid=1926] ppid=1924 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1926/stat : 1926 (npSolver-pbo-I.) S 1924 1926 339 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273111980 9367552 274 33554432000 4194304 5064252 140736474517264 140736474516176 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1926/statm: 2287 274 233 213 0 72 0
[pid=1927] ppid=1926 vsize=40052 CPUtime=3.31 cores=1,3,5,7
/proc/1927/stat : 1927 (npSolver-pbo) S 1926 1926 339 0 -1 4202496 11223 33225 0 0 44 3 273 11 20 0 1 0 273111981 41013248 9485 33554432000 4194304 5992684 140735173910192 140735173896456 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1927/statm: 10013 9485 166 440 0 9569 0
[pid=1932] ppid=1927 vsize=101292 CPUtime=98.94 cores=1,3,5,7
/proc/1932/stat : 1932 (glucosInc) R 1927 1926 339 0 -1 4202496 20381 0 0 0 9888 6 0 0 20 0 1 0 273112314 103723008 22844 33554432000 4194304 5654031 140735324571984 140735324569880 4208595 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1932/statm: 25323 22844 141 357 0 24963 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 150492
[startup+162.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/181 1932
/proc/meminfo: memFree=27897472/32873648 swapFree=6844/6844
[pid=1926] ppid=1924 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1926/stat : 1926 (npSolver-pbo-I.) S 1924 1926 339 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273111980 9367552 274 33554432000 4194304 5064252 140736474517264 140736474516176 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1926/statm: 2287 274 233 213 0 72 0
[pid=1927] ppid=1926 vsize=40052 CPUtime=3.31 cores=1,3,5,7
/proc/1927/stat : 1927 (npSolver-pbo) S 1926 1926 339 0 -1 4202496 11223 33225 0 0 44 3 273 11 20 0 1 0 273111981 41013248 9485 33554432000 4194304 5992684 140735173910192 140735173896456 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1927/statm: 10013 9485 166 440 0 9569 0
[pid=1932] ppid=1927 vsize=132028 CPUtime=158.91 cores=1,3,5,7
/proc/1932/stat : 1932 (glucosInc) R 1927 1926 339 0 -1 4202496 20778 0 0 0 15885 6 0 0 20 0 1 0 273112314 135196672 30477 33554432000 4194304 5654031 140735324571984 140735324569784 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1932/statm: 33007 30477 141 357 0 32647 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 181228
[startup+222.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/181 1976
/proc/meminfo: memFree=28338184/32873648 swapFree=6844/6844
[pid=1926] ppid=1924 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1926/stat : 1926 (npSolver-pbo-I.) S 1924 1926 339 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273111980 9367552 274 33554432000 4194304 5064252 140736474517264 140736474516176 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1926/statm: 2287 274 233 213 0 72 0
[pid=1927] ppid=1926 vsize=40052 CPUtime=3.31 cores=1,3,5,7
/proc/1927/stat : 1927 (npSolver-pbo) S 1926 1926 339 0 -1 4202496 11223 33225 0 0 44 3 273 11 20 0 1 0 273111981 41013248 9485 33554432000 4194304 5992684 140735173910192 140735173896456 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1927/statm: 10013 9485 166 440 0 9569 0
[pid=1932] ppid=1927 vsize=181348 CPUtime=218.9 cores=1,3,5,7
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/181 1987
/proc/meminfo: memFree=28244976/32873648 swapFree=6844/6844
[pid=1926] ppid=1924 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1926/stat : 1926 (npSolver-pbo-I.) S 1924 1926 339 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273111980 9367552 274 33554432000 4194304 5064252 140736474517264 140736474516176 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1926/statm: 2287 274 233 213 0 72 0
[pid=1927] ppid=1926 vsize=40052 CPUtime=3.31 cores=1,3,5,7
/proc/1927/stat : 1927 (npSolver-pbo) S 1926 1926 339 0 -1 4202496 11223 33225 0 0 44 3 273 11 20 0 1 0 273111981 41013248 9485 33554432000 4194304 5992684 140735173910192 140735173896456 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1927/statm: 10013 9485 166 440 0 9569 0
[pid=1932] ppid=1927 vsize=181348 CPUtime=1298.75 cores=1,3,5,7
/proc/1932/stat : 1932 (glucosInc) R 1927 1926 339 0 -1 4202496 25776 0 0 0 129862 13 0 0 20 0 1 0 273112314 185700352 41935 33554432000 4194304 5654031 140735324571984 140735324570008 4232800 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1932/statm: 45337 41935 141 357 0 44977 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 230548
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1987
/proc/meminfo: memFree=28245224/32873648 swapFree=6844/6844
[pid=1926] ppid=1924 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1926/stat : 1926 (npSolver-pbo-I.) S 1924 1926 339 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273111980 9367552 274 33554432000 4194304 5064252 140736474517264 140736474516176 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1926/statm: 2287 274 233 213 0 72 0
[pid=1927] ppid=1926 vsize=40052 CPUtime=3.31 cores=1,3,5,7
/proc/1927/stat : 1927 (npSolver-pbo) S 1926 1926 339 0 -1 4202496 11223 33225 0 0 44 3 273 11 20 0 1 0 273111981 41013248 9485 33554432000 4194304 5992684 140735173910192 140735173896456 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1927/statm: 10013 9485 166 440 0 9569 0
[pid=1932] ppid=1927 vsize=181348 CPUtime=1358.73 cores=1,3,5,7
/proc/1932/stat : 1932 (glucosInc) R 1927 1926 339 0 -1 4202496 25778 0 0 0 135860 13 0 0 20 0 1 0 273112314 185700352 42959 33554432000 4194304 5654031 140735324571984 140735324570008 4232800 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1932/statm: 45337 42959 141 357 0 44977 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 230548
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1987
/proc/meminfo: memFree=28236040/32873648 swapFree=6844/6844
[pid=1926] ppid=1924 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1926/stat : 1926 (npSolver-pbo-I.) S 1924 1926 339 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273111980 9367552 274 33554432000 4194304 5064252 140736474517264 140736474516176 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1926/statm: 2287 274 233 213 0 72 0
[pid=1927] ppid=1926 vsize=40052 CPUtime=3.31 cores=1,3,5,7
/proc/1927/stat : 1927 (npSolver-pbo) S 1926 1926 339 0 -1 4202496 11223 33225 0 0 44 3 273 11 20 0 1 0 273111981 41013248 9485 33554432000 4194304 5992684 140735173910192 140735173896456 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1927/statm: 10013 9485 166 440 0 9569 0
[pid=1932] ppid=1927 vsize=212168 CPUtime=1418.73 cores=1,3,5,7
/proc/1932/stat : 1932 (glucosInc) R 1927 1926 339 0 -1 4202496 26180 0 0 0 141860 13 0 0 20 0 1 0 273112314 217260032 44382 33554432000 4194304 5654031 140735324571984 140735324570072 4232810 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1932/statm: 53042 44382 141 357 0 52682 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 261368
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 1987
/proc/meminfo: memFree=28249144/32873648 swapFree=6844/6844
[pid=1926] ppid=1924 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1926/stat : 1926 (npSolver-pbo-I.) S 1924 1926 339 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273111980 9367552 274 33554432000 4194304 5064252 140736474517264 140736474516176 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1926/statm: 2287 274 233 213 0 72 0
[pid=1927] ppid=1926 vsize=40052 CPUtime=3.31 cores=1,3,5,7
/proc/1927/stat : 1927 (npSolver-pbo) S 1926 1926 339 0 -1 4202496 11223 33225 0 0 44 3 273 11 20 0 1 0 273111981 41013248 9485 33554432000 4194304 5992684 140735173910192 140735173896456 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1927/statm: 10013 9485 166 440 0 9569 0
[pid=1932] ppid=1927 vsize=181348 CPUtime=1478.71 cores=1,3,5,7
/proc/1932/stat : 1932 (glucosInc) R 1927 1926 339 0 -1 4202496 26275 0 0 0 147857 14 0 0 20 0 1 0 273112314 185700352 41980 33554432000 4194304 5654031 140735324571984 140735324570008 4215084 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1932/statm: 45337 41980 141 357 0 44977 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 230548
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1988
/proc/meminfo: memFree=28236724/32873648 swapFree=6844/6844
[pid=1926] ppid=1924 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1926/stat : 1926 (npSolver-pbo-I.) S 1924 1926 339 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273111980 9367552 274 33554432000 4194304 5064252 140736474517264 140736474516176 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1926/statm: 2287 274 233 213 0 72 0
[pid=1927] ppid=1926 vsize=40052 CPUtime=3.31 cores=1,3,5,7
/proc/1927/stat : 1927 (npSolver-pbo) S 1926 1926 339 0 -1 4202496 11223 33225 0 0 44 3 273 11 20 0 1 0 273111981 41013248 9485 33554432000 4194304 5992684 140735173910192 140735173896456 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1927/statm: 10013 9485 166 440 0 9569 0
[pid=1932] ppid=1927 vsize=181348 CPUtime=1538.71 cores=1,3,5,7
/proc/1932/stat : 1932 (glucosInc) R 1927 1926 339 0 -1 4202496 26278 0 0 0 153857 14 0 0 20 0 1 0 273112314 185700352 43516 33554432000 4194304 5654031 140735324571984 140735324570008 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1932/statm: 45337 43516 141 357 0 44977 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 230548
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 1991
/proc/meminfo: memFree=28227552/32873648 swapFree=6844/6844
[pid=1926] ppid=1924 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1926/stat : 1926 (npSolver-pbo-I.) S 1924 1926 339 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273111980 9367552 274 33554432000 4194304 5064252 140736474517264 140736474516176 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1926/statm: 2287 274 233 213 0 72 0
[pid=1927] ppid=1926 vsize=40052 CPUtime=3.31 cores=1,3,5,7
/proc/1927/stat : 1927 (npSolver-pbo) S 1926 1926 339 0 -1 4202496 11223 33225 0 0 44 3 273 11 20 0 1 0 273111981 41013248 9485 33554432000 4194304 5992684 140735173910192 140735173896456 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1927/statm: 10013 9485 166 440 0 9569 0
[pid=1932] ppid=1927 vsize=212168 CPUtime=1598.69 cores=1,3,5,7
/proc/1932/stat : 1932 (glucosInc) R 1927 1926 339 0 -1 4202496 26644 0 0 0 159855 14 0 0 20 0 1 0 273112314 217260032 44387 33554432000 4194304 5654031 140735324571984 140735324570072 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1932/statm: 53042 44387 141 357 0 52682 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 261368
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1991
/proc/meminfo: memFree=28240908/32873648 swapFree=6844/6844
[pid=1926] ppid=1924 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1926/stat : 1926 (npSolver-pbo-I.) S 1924 1926 339 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273111980 9367552 274 33554432000 4194304 5064252 140736474517264 140736474516176 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1926/statm: 2287 274 233 213 0 72 0
[pid=1927] ppid=1926 vsize=40052 CPUtime=3.31 cores=1,3,5,7
/proc/1927/stat : 1927 (npSolver-pbo) S 1926 1926 339 0 -1 4202496 11223 33225 0 0 44 3 273 11 20 0 1 0 273111981 41013248 9485 33554432000 4194304 5992684 140735173910192 140735173896456 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1927/statm: 10013 9485 166 440 0 9569 0
[pid=1932] ppid=1927 vsize=181348 CPUtime=1658.68 cores=1,3,5,7
/proc/1932/stat : 1932 (glucosInc) R 1927 1926 339 0 -1 4202496 27280 0 0 0 165854 14 0 0 20 0 1 0 273112314 185700352 42408 33554432000 4194304 5654031 140735324571984 140735324570008 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1932/statm: 45337 42408 141 357 0 44977 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 230548
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 1991
/proc/meminfo: memFree=28230668/32873648 swapFree=6844/6844
[pid=1926] ppid=1924 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1926/stat : 1926 (npSolver-pbo-I.) S 1924 1926 339 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273111980 9367552 274 33554432000 4194304 5064252 140736474517264 140736474516176 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1926/statm: 2287 274 233 213 0 72 0
[pid=1927] ppid=1926 vsize=40052 CPUtime=3.31 cores=1,3,5,7
/proc/1927/stat : 1927 (npSolver-pbo) S 1926 1926 339 0 -1 4202496 11223 33225 0 0 44 3 273 11 20 0 1 0 273111981 41013248 9485 33554432000 4194304 5992684 140735173910192 140735173896456 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1927/statm: 10013 9485 166 440 0 9569 0
[pid=1932] ppid=1927 vsize=181348 CPUtime=1718.68 cores=1,3,5,7
/proc/1932/stat : 1932 (glucosInc) R 1927 1926 339 0 -1 4202496 27282 0 0 0 171853 15 0 0 20 0 1 0 273112314 185700352 43432 33554432000 4194304 5654031 140735324571984 140735324570008 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1932/statm: 45337 43432 141 357 0 44977 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 230548
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 1991
/proc/meminfo: memFree=28230980/32873648 swapFree=6844/6844
[pid=1926] ppid=1924 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1926/stat : 1926 (npSolver-pbo-I.) S 1924 1926 339 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273111980 9367552 274 33554432000 4194304 5064252 140736474517264 140736474516176 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1926/statm: 2287 274 233 213 0 72 0
[pid=1927] ppid=1926 vsize=40052 CPUtime=3.31 cores=1,3,5,7
/proc/1927/stat : 1927 (npSolver-pbo) S 1926 1926 339 0 -1 4202496 11223 33225 0 0 44 3 273 11 20 0 1 0 273111981 41013248 9485 33554432000 4194304 5992684 140735173910192 140735173896456 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1927/statm: 10013 9485 166 440 0 9569 0
[pid=1932] ppid=1927 vsize=212168 CPUtime=1778.67 cores=1,3,5,7
/proc/1932/stat : 1932 (glucosInc) R 1927 1926 339 0 -1 4202496 27866 0 0 0 177851 16 0 0 20 0 1 0 273112314 217260032 45035 33554432000 4194304 5654031 140735324571984 140735324570072 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1932/statm: 53042 45035 141 357 0 52682 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 261368
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 1992
/proc/meminfo: memFree=28227008/32873648 swapFree=6844/6844
[pid=1926] ppid=1924 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1926/stat : 1926 (npSolver-pbo-I.) S 1924 1926 339 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273111980 9367552 274 33554432000 4194304 5064252 140736474517264 140736474516176 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1926/statm: 2287 274 233 213 0 72 0
[pid=1927] ppid=1926 vsize=40052 CPUtime=3.31 cores=1,3,5,7
/proc/1927/stat : 1927 (npSolver-pbo) S 1926 1926 339 0 -1 4202496 11223 33225 0 0 44 3 273 11 20 0 1 0 273111981 41013248 9485 33554432000 4194304 5992684 140735173910192 140735173896456 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1927/statm: 10013 9485 166 440 0 9569 0
[pid=1932] ppid=1927 vsize=212168 CPUtime=1796.77 cores=1,3,5,7
/proc/1932/stat : 1932 (glucosInc) R 1927 1926 339 0 -1 4202496 27867 0 0 0 179661 16 0 0 20 0 1 0 273112314 217260032 45547 33554432000 4194304 5654031 140735324571984 140735324570072 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1932/statm: 53042 45547 141 357 0 52682 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 261368
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1926 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=178516
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=158975
# CPU time returned by wait4() is 3.33749
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1799.78
CPU system time (s): 0.3
CPU usage (%): 99.9815
Max. virtual memory (cumulated for all children) (KiB): 310688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.17852
system time used= 0.158975
maximum resident set size= 188644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44822
page faults= 0
swaps= 0
block input operations= 0
block output operations= 63552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 21
runsolver used 3.42548 second user time and 9.64553 second system time
The end