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-3702860-1338061678/watcher-3702860-1338061678 -o /tmp/evaluation-result-3702860-1338061678/solver-3702860-1338061678 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702860-1338061678.opb 413830676 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 3/178 2739
/proc/meminfo: memFree=27210308/32873844 swapFree=6088/6088
[pid=2739] ppid=2737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2739/stat : 2739 (npSolver-pbo-It) S 2737 2739 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272296369 9367552 274 33554432000 4194304 5064252 140735756496608 140735756495520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2739/statm: 2287 274 233 213 0 72 0
[startup+0.063996 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2739
/proc/meminfo: memFree=27210308/32873844 swapFree=6088/6088
[pid=2739] ppid=2737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2739/stat : 2739 (npSolver-pbo-It) S 2737 2739 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272296369 9367552 274 33554432000 4194304 5064252 140735756496608 140735756495520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2739/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100207 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2739
/proc/meminfo: memFree=27210308/32873844 swapFree=6088/6088
[pid=2739] ppid=2737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2739/stat : 2739 (npSolver-pbo-It) S 2737 2739 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272296369 9367552 274 33554432000 4194304 5064252 140735756496608 140735756495520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2739/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300192 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2739
/proc/meminfo: memFree=27210308/32873844 swapFree=6088/6088
[pid=2739] ppid=2737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2739/stat : 2739 (npSolver-pbo-It) S 2737 2739 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272296369 9367552 274 33554432000 4194304 5064252 140735756496608 140735756495520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2739/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700179 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2739
/proc/meminfo: memFree=27210308/32873844 swapFree=6088/6088
[pid=2739] ppid=2737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2739/stat : 2739 (npSolver-pbo-It) S 2737 2739 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272296369 9367552 274 33554432000 4194304 5064252 140735756496608 140735756495520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2739/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2748
/proc/meminfo: memFree=27167300/32873844 swapFree=6088/6088
[pid=2739] ppid=2737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2739/stat : 2739 (npSolver-pbo-It) S 2737 2739 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272296369 9367552 274 33554432000 4194304 5064252 140735756496608 140735756495520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2739/statm: 2287 274 233 213 0 72 0
[pid=2740] ppid=2739 vsize=9820 CPUtime=1.48 cores=1,3,5,7
/proc/2740/stat : 2740 (npSolver-pbo) R 2739 2739 1653 0 -1 4202496 4664 14291 0 0 57 15 72 4 20 0 1 0 272296369 10055680 1934 33554432000 4194304 5992684 140736392591872 140736392587344 5044353 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2740/statm: 2455 1935 193 440 0 2011 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 18968
[startup+3.10036 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2750
/proc/meminfo: memFree=27167300/32873844 swapFree=6088/6088
[pid=2739] ppid=2737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2739/stat : 2739 (npSolver-pbo-It) S 2737 2739 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272296369 9367552 274 33554432000 4194304 5064252 140735756496608 140735756495520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2739/statm: 2287 274 233 213 0 72 0
[pid=2740] ppid=2739 vsize=5788 CPUtime=1.5 cores=1,3,5,7
/proc/2740/stat : 2740 (npSolver-pbo) S 2739 2739 1653 0 -1 4202496 5705 14807 0 0 58 16 72 4 20 0 1 0 272296369 5926912 986 33554432000 4194304 5992684 140736392591872 140736392577704 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2740/statm: 1447 986 193 440 0 1003 0
[pid=2750] ppid=2740 vsize=39060 CPUtime=1.55 cores=1,3,5,7
/proc/2750/stat : 2750 (glucosInc) R 2740 2739 1653 0 -1 4202496 8115 0 0 0 154 1 0 0 20 0 1 0 272296522 39997440 8780 33554432000 4194304 5654031 140733652311552 140733652309320 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2750/statm: 9765 8780 131 357 0 9405 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 53996
[startup+6.30036 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2752
/proc/meminfo: memFree=27167300/32873844 swapFree=6088/6088
[pid=2739] ppid=2737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2739/stat : 2739 (npSolver-pbo-It) S 2737 2739 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272296369 9367552 274 33554432000 4194304 5064252 140735756496608 140735756495520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2739/statm: 2287 274 233 213 0 72 0
[pid=2740] ppid=2739 vsize=5668 CPUtime=4.45 cores=1,3,5,7
/proc/2740/stat : 2740 (npSolver-pbo) S 2739 2739 1653 0 -1 4202496 8117 23476 0 0 75 17 346 7 20 0 1 0 272296369 5804032 956 33554432000 4194304 5992684 140736392591872 140736392577704 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2740/statm: 1417 956 193 440 0 973 0
[pid=2752] ppid=2740 vsize=38756 CPUtime=1.82 cores=1,3,5,7
/proc/2752/stat : 2752 (glucosInc) R 2740 2739 1653 0 -1 4202496 8487 0 0 0 180 2 0 0 20 0 1 0 272296816 39686144 8359 33554432000 4194304 5654031 140735017106224 140735017103992 4232707 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2752/statm: 9689 8359 131 357 0 9329 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 53572
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2754
/proc/meminfo: memFree=27166580/32873844 swapFree=6088/6088
[pid=2739] ppid=2737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2739/stat : 2739 (npSolver-pbo-It) S 2737 2739 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272296369 9367552 274 33554432000 4194304 5064252 140735756496608 140735756495520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2739/statm: 2287 274 233 213 0 72 0
[pid=2740] ppid=2739 vsize=5668 CPUtime=8.17 cores=1,3,5,7
/proc/2740/stat : 2740 (npSolver-pbo) S 2739 2739 1653 0 -1 4202496 10529 32550 0 0 92 18 697 10 20 0 1 0 272296369 5804032 956 33554432000 4194304 5992684 140736392591872 140736392577704 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2740/statm: 1417 956 193 440 0 973 0
[pid=2754] ppid=2740 vsize=39032 CPUtime=4.49 cores=1,3,5,7
/proc/2754/stat : 2754 (glucosInc) R 2740 2739 1653 0 -1 4202496 8446 0 0 0 448 1 0 0 20 0 1 0 272297188 39968768 8401 33554432000 4194304 5654031 140735534878432 140735534876200 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2754/statm: 9758 8401 131 357 0 9398 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 53848
[startup+25.5004 s]
/proc/loadavg: 2.08 2.02 2.01 3/181 2756
/proc/meminfo: memFree=27149392/32873844 swapFree=6088/6088
[pid=2739] ppid=2737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2739/stat : 2739 (npSolver-pbo-It) S 2737 2739 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272296369 9367552 274 33554432000 4194304 5064252 140735756496608 140735756495520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2739/statm: 2287 274 233 213 0 72 0
[pid=2740] ppid=2739 vsize=5668 CPUtime=18.08 cores=1,3,5,7
/proc/2740/stat : 2740 (npSolver-pbo) S 2739 2739 1653 0 -1 4202496 12941 41732 0 0 109 19 1667 13 20 0 1 0 272296369 5804032 956 33554432000 4194304 5992684 140736392591872 140736392577704 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2740/statm: 1417 956 193 440 0 973 0
[pid=2756] ppid=2740 vsize=39212 CPUtime=7.39 cores=1,3,5,7
/proc/2756/stat : 2756 (glucosInc) R 2740 2739 1653 0 -1 4202496 8530 0 0 0 738 1 0 0 20 0 1 0 272298179 40153088 8537 33554432000 4194304 5654031 140733971522192 140733971510008 4208595 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2756/statm: 9803 8537 140 357 0 9443 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 54028
[startup+51.1004 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 2760
/proc/meminfo: memFree=27145416/32873844 swapFree=6088/6088
[pid=2739] ppid=2737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2739/stat : 2739 (npSolver-pbo-It) S 2737 2739 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272296369 9367552 274 33554432000 4194304 5064252 140735756496608 140735756495520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2739/statm: 2287 274 233 213 0 72 0
[pid=2740] ppid=2739 vsize=5668 CPUtime=42.89 cores=1,3,5,7
/proc/2740/stat : 2740 (npSolver-pbo) S 2739 2739 1653 0 -1 4202496 17765 60877 0 0 143 20 4108 18 20 0 1 0 272296369 5804032 956 33554432000 4194304 5992684 140736392591872 140736392577704 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2740/statm: 1417 956 193 440 0 973 0
[pid=2760] ppid=2740 vsize=39204 CPUtime=8.14 cores=1,3,5,7
/proc/2760/stat : 2760 (glucosInc) R 2740 2739 1653 0 -1 4202496 8356 0 0 0 813 1 0 0 20 0 1 0 272300663 40144896 8948 33554432000 4194304 5654031 140735340083840 140735340071656 4208659 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2760/statm: 9801 8948 140 357 0 9441 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 54020
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 2768
/proc/meminfo: memFree=27166684/32873844 swapFree=6088/6088
[pid=2739] ppid=2737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2739/stat : 2739 (npSolver-pbo-It) S 2737 2739 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272296369 9367552 274 33554432000 4194304 5064252 140735756496608 140735756495520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2739/statm: 2287 274 233 213 0 72 0
[pid=2740] ppid=2739 vsize=5668 CPUtime=96.77 cores=1,3,5,7
/proc/2740/stat : 2740 (npSolver-pbo) S 2739 2739 1653 0 -1 4202496 25001 92792 0 0 194 24 9430 29 20 0 1 0 272296369 5804032 956 33554432000 4194304 5992684 140736392591872 140736392577704 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2740/statm: 1417 956 193 440 0 973 0
[pid=2768] ppid=2740 vsize=39212 CPUtime=5.46 cores=1,3,5,7
/proc/2768/stat : 2768 (glucosInc) R 2740 2739 1653 0 -1 4202496 8439 0 0 0 545 1 0 0 20 0 1 0 272306053 40153088 8451 33554432000 4194304 5654031 140736918455600 140736918443416 4233204 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2768/statm: 9803 8451 140 357 0 9443 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 54028
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 2777
/proc/meminfo: memFree=27189324/32873844 swapFree=6088/6088
[pid=2739] ppid=2737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2739/stat : 2739 (npSolver-pbo-It) S 2737 2739 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272296369 9367552 274 33554432000 4194304 5064252 140735756496608 140735756495520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2739/statm: 2287 274 233 213 0 72 0
[pid=2740] ppid=2739 vsize=5668 CPUtime=152.64 cores=1,3,5,7
/proc/2740/stat : 2740 (npSolver-pbo) S 2739 2739 1653 0 -1 4202496 29825 116436 0 0 228 26 14972 38 20 0 1 0 272296369 5804032 956 33554432000 4194304 5992684 140736392591872 140736392577704 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2740/statm: 1417 956 193 440 0 973 0
[pid=2777] ppid=2740 vsize=39208 CPUtime=9.57 cores=1,3,5,7
/proc/2777/stat : 2777 (glucosInc) R 2740 2739 1653 0 -1 4202496 8744 0 0 0 955 2 0 0 20 0 1 0 272311641 40148992 8662 33554432000 4194304 5654031 140736036226544 140736036214360 4232386 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2777/statm: 9802 8662 140 357 0 9442 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 54024
[startup+222.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/181 2784
/proc/meminfo: memFree=27180880/32873844 swapFree=6088/6088
[pid=2739] ppid=2737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2739/stat : 2739 (npSolver-pbo-It) S 2737 2739 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272296369 9367552 274 33554432000 4194304 5064252 140735756496608 140735756495520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2739/statm: 2287 274 233 213 0 72 0
[pid=2740] ppid=2739 vsize=5668 CPUtime=219.21 cores=1,3,5,7
/proc/2740/stat : 2740 (npSolver-pbo) S 2739 2739 1653 0 -1 4202496 34649 141500 0 0 263 28 21581 49 20 0 1 0 272296369 5804032 956 33554432000 4194304 5992684 140736392591872 140736392577704 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2740/statm: 1417 956 193 440 0 973 0
[pid=2784] ppid=2740 vsize=38760 CPUtime=2.96 cores=1,3,5,7
/proc/2784/stat : 2784 (glucosInc) R 2740 2739 1653 0 -1 4202496 8502 0 0 0 295 1 0 0 20 0 1 0 272318302 39690240 8373 33554432000 4194304 5654031 140735709848928 140735709846696 4219806 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2784/statm: 9690 8373 131 357 0 9330 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 53576
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 2786
/proc/meminfo: memFree=27126884/32873844 swapFree=6088/6088
[pid=2739] ppid=2737 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/loadavg: 2.01 2.03 2.00 3/182 2906
/proc/meminfo: memFree=27025156/32873844 swapFree=6088/6088
[pid=2739] ppid=2737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2739/stat : 2739 (npSolver-pbo-It) S 2737 2739 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272296369 9367552 274 33554432000 4194304 5064252 140735756496608 140735756495520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2739/statm: 2287 274 233 213 0 72 0
[pid=2740] ppid=2739 vsize=5668 CPUtime=381.54 cores=1,3,5,7
/proc/2740/stat : 2740 (npSolver-pbo) S 2739 2739 1653 0 -1 4202496 39473 169455 0 0 297 30 37766 61 20 0 1 0 272296369 5804032 956 33554432000 4194304 5992684 140736392591872 140736392577704 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2740/statm: 1417 956 193 440 0 973 0
[pid=2788] ppid=2740 vsize=169268 CPUtime=980.41 cores=1,3,5,7
/proc/2788/stat : 2788 (glucosInc) R 2740 2739 1653 0 -1 4202496 29063 0 0 0 98003 38 0 0 20 0 1 0 272334538 173330432 34837 33554432000 4194304 5654031 140733862864400 140733862852216 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2788/statm: 42317 34837 142 357 0 41957 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 184084
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 2906
/proc/meminfo: memFree=26975784/32873844 swapFree=6088/6088
[pid=2739] ppid=2737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2739/stat : 2739 (npSolver-pbo-It) S 2737 2739 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272296369 9367552 274 33554432000 4194304 5064252 140735756496608 140735756495520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2739/statm: 2287 274 233 213 0 72 0
[pid=2740] ppid=2739 vsize=5668 CPUtime=381.54 cores=1,3,5,7
/proc/2740/stat : 2740 (npSolver-pbo) S 2739 2739 1653 0 -1 4202496 39473 169455 0 0 297 30 37766 61 20 0 1 0 272296369 5804032 956 33554432000 4194304 5992684 140736392591872 140736392577704 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2740/statm: 1417 956 193 440 0 973 0
[pid=2788] ppid=2740 vsize=215688 CPUtime=1040.41 cores=1,3,5,7
/proc/2788/stat : 2788 (glucosInc) R 2740 2739 1653 0 -1 4202496 31144 0 0 0 104000 41 0 0 20 0 1 0 272334538 220864512 47280 33554432000 4194304 5654031 140733862864400 140733862862488 4215112 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2788/statm: 53922 47280 142 357 0 53562 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 230504
[startup+1482.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/181 2907
/proc/meminfo: memFree=26969592/32873844 swapFree=6088/6088
[pid=2739] ppid=2737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2739/stat : 2739 (npSolver-pbo-It) S 2737 2739 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272296369 9367552 274 33554432000 4194304 5064252 140735756496608 140735756495520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2739/statm: 2287 274 233 213 0 72 0
[pid=2740] ppid=2739 vsize=5668 CPUtime=381.54 cores=1,3,5,7
/proc/2740/stat : 2740 (npSolver-pbo) S 2739 2739 1653 0 -1 4202496 39473 169455 0 0 297 30 37766 61 20 0 1 0 272296369 5804032 956 33554432000 4194304 5992684 140736392591872 140736392577704 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2740/statm: 1417 956 193 440 0 973 0
[pid=2788] ppid=2740 vsize=135548 CPUtime=1100.39 cores=1,3,5,7
/proc/2788/stat : 2788 (glucosInc) R 2740 2739 1653 0 -1 4202496 32026 0 0 0 109997 42 0 0 20 0 1 0 272334538 138801152 33125 33554432000 4194304 5654031 140733862864400 140733862862424 4233184 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2788/statm: 33887 33125 142 357 0 33527 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 150364
[startup+1542.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/181 2907
/proc/meminfo: memFree=27031868/32873844 swapFree=6088/6088
[pid=2739] ppid=2737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2739/stat : 2739 (npSolver-pbo-It) S 2737 2739 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272296369 9367552 274 33554432000 4194304 5064252 140735756496608 140735756495520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2739/statm: 2287 274 233 213 0 72 0
[pid=2740] ppid=2739 vsize=5668 CPUtime=381.54 cores=1,3,5,7
/proc/2740/stat : 2740 (npSolver-pbo) S 2739 2739 1653 0 -1 4202496 39473 169455 0 0 297 30 37766 61 20 0 1 0 272296369 5804032 956 33554432000 4194304 5992684 140736392591872 140736392577704 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2740/statm: 1417 956 193 440 0 973 0
[pid=2788] ppid=2740 vsize=135548 CPUtime=1160.38 cores=1,3,5,7
/proc/2788/stat : 2788 (glucosInc) R 2740 2739 1653 0 -1 4202496 32914 0 0 0 115994 44 0 0 20 0 1 0 272334538 138801152 33125 33554432000 4194304 5654031 140733862864400 140733862862424 4232901 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2788/statm: 33887 33125 142 357 0 33527 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 150364
[startup+1602.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/181 2907
/proc/meminfo: memFree=26997876/32873844 swapFree=6088/6088
[pid=2739] ppid=2737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2739/stat : 2739 (npSolver-pbo-It) S 2737 2739 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272296369 9367552 274 33554432000 4194304 5064252 140735756496608 140735756495520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2739/statm: 2287 274 233 213 0 72 0
[pid=2740] ppid=2739 vsize=5668 CPUtime=381.54 cores=1,3,5,7
/proc/2740/stat : 2740 (npSolver-pbo) S 2739 2739 1653 0 -1 4202496 39473 169455 0 0 297 30 37766 61 20 0 1 0 272296369 5804032 956 33554432000 4194304 5992684 140736392591872 140736392577704 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2740/statm: 1417 956 193 440 0 973 0
[pid=2788] ppid=2740 vsize=135548 CPUtime=1220.37 cores=1,3,5,7
/proc/2788/stat : 2788 (glucosInc) R 2740 2739 1653 0 -1 4202496 33796 0 0 0 121991 46 0 0 20 0 1 0 272334538 138801152 33125 33554432000 4194304 5654031 140733862864400 140733862852216 4232495 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2788/statm: 33887 33125 142 357 0 33527 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 150364
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 2907
/proc/meminfo: memFree=26956436/32873844 swapFree=6088/6088
[pid=2739] ppid=2737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2739/stat : 2739 (npSolver-pbo-It) S 2737 2739 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272296369 9367552 274 33554432000 4194304 5064252 140735756496608 140735756495520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2739/statm: 2287 274 233 213 0 72 0
[pid=2740] ppid=2739 vsize=5668 CPUtime=381.54 cores=1,3,5,7
/proc/2740/stat : 2740 (npSolver-pbo) S 2739 2739 1653 0 -1 4202496 39473 169455 0 0 297 30 37766 61 20 0 1 0 272296369 5804032 956 33554432000 4194304 5992684 140736392591872 140736392577704 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2740/statm: 1417 956 193 440 0 973 0
[pid=2788] ppid=2740 vsize=184868 CPUtime=1280.36 cores=1,3,5,7
/proc/2788/stat : 2788 (glucosInc) R 2740 2739 1653 0 -1 4202496 34962 0 0 0 127987 49 0 0 20 0 1 0 272334538 189304832 42605 33554432000 4194304 5654031 140733862864400 140733862862328 4232495 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2788/statm: 46217 42605 142 357 0 45857 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 199684
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 2907
/proc/meminfo: memFree=26950060/32873844 swapFree=6088/6088
[pid=2739] ppid=2737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2739/stat : 2739 (npSolver-pbo-It) S 2737 2739 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272296369 9367552 274 33554432000 4194304 5064252 140735756496608 140735756495520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2739/statm: 2287 274 233 213 0 72 0
[pid=2740] ppid=2739 vsize=5668 CPUtime=381.54 cores=1,3,5,7
/proc/2740/stat : 2740 (npSolver-pbo) S 2739 2739 1653 0 -1 4202496 39473 169455 0 0 297 30 37766 61 20 0 1 0 272296369 5804032 956 33554432000 4194304 5992684 140736392591872 140736392577704 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2740/statm: 1417 956 193 440 0 973 0
[pid=2788] ppid=2740 vsize=184868 CPUtime=1340.35 cores=1,3,5,7
/proc/2788/stat : 2788 (glucosInc) R 2740 2739 1653 0 -1 4202496 35842 0 0 0 133984 51 0 0 20 0 1 0 272334538 189304832 43117 33554432000 4194304 5654031 140733862864400 140733862862328 4232752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2788/statm: 46217 43117 142 357 0 45857 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 199684
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 2908
/proc/meminfo: memFree=26985916/32873844 swapFree=6088/6088
[pid=2739] ppid=2737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2739/stat : 2739 (npSolver-pbo-It) S 2737 2739 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272296369 9367552 274 33554432000 4194304 5064252 140735756496608 140735756495520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2739/statm: 2287 274 233 213 0 72 0
[pid=2740] ppid=2739 vsize=5668 CPUtime=381.54 cores=1,3,5,7
/proc/2740/stat : 2740 (npSolver-pbo) S 2739 2739 1653 0 -1 4202496 39473 169455 0 0 297 30 37766 61 20 0 1 0 272296369 5804032 956 33554432000 4194304 5992684 140736392591872 140736392577704 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2740/statm: 1417 956 193 440 0 973 0
[pid=2788] ppid=2740 vsize=184868 CPUtime=1400.34 cores=1,3,5,7
/proc/2788/stat : 2788 (glucosInc) R 2740 2739 1653 0 -1 4202496 36726 0 0 0 139980 54 0 0 20 0 1 0 272334538 189304832 44653 33554432000 4194304 5654031 140733862864400 140733862862328 4215061 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2788/statm: 46217 44653 142 357 0 45857 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 199684
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 2908
/proc/meminfo: memFree=26935340/32873844 swapFree=6088/6088
[pid=2739] ppid=2737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2739/stat : 2739 (npSolver-pbo-It) S 2737 2739 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272296369 9367552 274 33554432000 4194304 5064252 140735756496608 140735756495520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2739/statm: 2287 274 233 213 0 72 0
[pid=2740] ppid=2739 vsize=5668 CPUtime=381.54 cores=1,3,5,7
/proc/2740/stat : 2740 (npSolver-pbo) S 2739 2739 1653 0 -1 4202496 39473 169455 0 0 297 30 37766 61 20 0 1 0 272296369 5804032 956 33554432000 4194304 5992684 140736392591872 140736392577704 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2740/statm: 1417 956 193 440 0 973 0
[pid=2788] ppid=2740 vsize=215688 CPUtime=1418.55 cores=1,3,5,7
/proc/2788/stat : 2788 (glucosInc) R 2740 2739 1653 0 -1 4202496 37315 0 0 0 141800 55 0 0 20 0 1 0 272334538 220864512 46768 33554432000 4194304 5654031 140733862864400 140733862862488 4232994 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2788/statm: 53922 46768 142 357 0 53562 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 230504
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.00 2.01 2.00 3/181 2908
/proc/meminfo: memFree=26935340/32873844 swapFree=6088/6088
[pid=2739] ppid=2737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2739/stat : 2739 (npSolver-pbo-It) S 2737 2739 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272296369 9367552 274 33554432000 4194304 5064252 140735756496608 140735756495520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2739/statm: 2287 274 233 213 0 72 0
[pid=2740] ppid=2739 vsize=5668 CPUtime=381.54 cores=1,3,5,7
/proc/2740/stat : 2740 (npSolver-pbo) S 2739 2739 1653 0 -1 4202496 39473 169455 0 0 297 30 37766 61 20 0 1 0 272296369 5804032 956 33554432000 4194304 5992684 140736392591872 140736392577704 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2740/statm: 1417 956 193 440 0 973 0
[pid=2788] ppid=2740 vsize=215688 CPUtime=1418.55 cores=1,3,5,7
/proc/2788/stat : 2788 (glucosInc) R 2740 2739 1653 0 -1 4202496 37315 0 0 0 141800 55 0 0 20 0 1 0 272334538 220864512 46768 33554432000 4194304 5654031 140733862864400 140733862862488 4232994 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2788/statm: 53922 46768 142 357 0 53562 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 230504
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2739 and gives
# childrusage.ru_utime.tv_sec=380
# childrusage.ru_utime.tv_usec=634134
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=915860
# CPU time returned by wait4() is 381.55
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.51
CPU time (s): 1800.09
CPU user time (s): 1798.63
CPU system time (s): 1.46
CPU usage (%): 99.9765
Max. virtual memory (cumulated for all children) (KiB): 230504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 380.634
system time used= 0.91586
maximum resident set size= 87484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 209301
page faults= 0
swaps= 0
block input operations= 0
block output operations= 149304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2973
involuntary context switches= 849
runsolver used 3.44048 second user time and 9.14161 second system time
The end