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-3700228-1338073657/watcher-3700228-1338073657 -o /tmp/evaluation-result-3700228-1338073657/solver-3700228-1338073657 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3700228-1338073657.opb 366725818 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.02 2.13 3/178 3305
/proc/meminfo: memFree=29712324/32873844 swapFree=7108/7108
[pid=3305] ppid=3303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3305/stat : 3305 (npSolver-pbo-I.) S 3303 3305 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273494230 9367552 275 33554432000 4194304 5064252 140733940019744 140733940018656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3305/statm: 2287 275 233 213 0 72 0
[startup+0.033825 s]
/proc/loadavg: 2.00 2.02 2.13 3/178 3305
/proc/meminfo: memFree=29712324/32873844 swapFree=7108/7108
[pid=3305] ppid=3303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3305/stat : 3305 (npSolver-pbo-I.) S 3303 3305 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273494230 9367552 275 33554432000 4194304 5064252 140733940019744 140733940018656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3305/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10026 s]
/proc/loadavg: 2.00 2.02 2.13 3/178 3305
/proc/meminfo: memFree=29712324/32873844 swapFree=7108/7108
[pid=3305] ppid=3303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3305/stat : 3305 (npSolver-pbo-I.) S 3303 3305 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273494230 9367552 275 33554432000 4194304 5064252 140733940019744 140733940018656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3305/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300246 s]
/proc/loadavg: 2.00 2.02 2.13 3/178 3305
/proc/meminfo: memFree=29712324/32873844 swapFree=7108/7108
[pid=3305] ppid=3303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3305/stat : 3305 (npSolver-pbo-I.) S 3303 3305 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273494230 9367552 275 33554432000 4194304 5064252 140733940019744 140733940018656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3305/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700224 s]
/proc/loadavg: 2.00 2.02 2.13 3/178 3305
/proc/meminfo: memFree=29712324/32873844 swapFree=7108/7108
[pid=3305] ppid=3303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3305/stat : 3305 (npSolver-pbo-I.) S 3303 3305 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273494230 9367552 275 33554432000 4194304 5064252 140733940019744 140733940018656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3305/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50025 s]
/proc/loadavg: 2.00 2.02 2.13 3/180 3307
/proc/meminfo: memFree=29689992/32873844 swapFree=7108/7108
[pid=3305] ppid=3303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3305/stat : 3305 (npSolver-pbo-I.) S 3303 3305 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273494230 9367552 275 33554432000 4194304 5064252 140733940019744 140733940018656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3305/statm: 2287 275 233 213 0 72 0
[pid=3306] ppid=3305 vsize=34896 CPUtime=1.49 cores=0,2,4,6
/proc/3306/stat : 3306 (npSolver-pbo) R 3305 3305 1127 0 -1 4202496 2999 0 0 0 148 1 0 0 20 0 1 0 273494230 35733504 8082 33554432000 4194304 5992684 140733371725360 140733371720456 4768491 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3306/statm: 8724 8082 147 440 0 8280 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44044
[startup+3.10027 s]
/proc/loadavg: 2.00 2.02 2.13 3/180 3307
/proc/meminfo: memFree=29666472/32873844 swapFree=7108/7108
[pid=3305] ppid=3303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3305/stat : 3305 (npSolver-pbo-I.) S 3303 3305 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273494230 9367552 275 33554432000 4194304 5064252 140733940019744 140733940018656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3305/statm: 2287 275 233 213 0 72 0
[pid=3306] ppid=3305 vsize=67664 CPUtime=3.08 cores=0,2,4,6
/proc/3306/stat : 3306 (npSolver-pbo) R 3305 3305 1127 0 -1 4202496 3542 0 0 0 307 1 0 0 20 0 1 0 273494230 69287936 16274 33554432000 4194304 5992684 140733371725360 140733371720456 5044320 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3306/statm: 16916 16274 147 440 0 16472 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 76812
[startup+6.30026 s]
/proc/loadavg: 2.00 2.02 2.13 3/180 3307
/proc/meminfo: memFree=29600936/32873844 swapFree=7108/7108
[pid=3305] ppid=3303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3305/stat : 3305 (npSolver-pbo-I.) S 3303 3305 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273494230 9367552 275 33554432000 4194304 5064252 140733940019744 140733940018656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3305/statm: 2287 275 233 213 0 72 0
[pid=3306] ppid=3305 vsize=133200 CPUtime=6.29 cores=0,2,4,6
/proc/3306/stat : 3306 (npSolver-pbo) R 3305 3305 1127 0 -1 4202496 4116 0 0 0 626 3 0 0 20 0 1 0 273494230 136396800 32146 33554432000 4194304 5992684 140733371725360 140733371720808 4374808 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3306/statm: 33300 32146 147 440 0 32856 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 142348
[startup+12.7002 s]
/proc/loadavg: 2.00 2.02 2.13 3/180 3307
/proc/meminfo: memFree=28803792/32873844 swapFree=7108/7108
[pid=3305] ppid=3303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3305/stat : 3305 (npSolver-pbo-I.) S 3303 3305 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273494230 9367552 275 33554432000 4194304 5064252 140733940019744 140733940018656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3305/statm: 2287 275 233 213 0 72 0
[pid=3306] ppid=3305 vsize=658748 CPUtime=12.04 cores=0,2,4,6
/proc/3306/stat : 3306 (npSolver-pbo) S 3305 3305 1127 0 -1 4202496 18662 0 0 0 1150 54 0 0 20 0 1 0 273494230 674557952 101058 33554432000 4194304 5992684 140733371725360 140733371719808 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3306/statm: 164687 101058 164 440 0 164243 0
Current children cumulated CPU time (s) 12.04
Current children cumulated vsize (KiB) 667896
[startup+25.5004 s]
/proc/loadavg: 2.07 2.03 2.13 3/182 3309
/proc/meminfo: memFree=27904632/32873844 swapFree=7108/7108
[pid=3305] ppid=3303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3305/stat : 3305 (npSolver-pbo-I.) S 3303 3305 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273494230 9367552 275 33554432000 4194304 5064252 140733940019744 140733940018656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3305/statm: 2287 275 233 213 0 72 0
[pid=3306] ppid=3305 vsize=658748 CPUtime=12.04 cores=0,2,4,6
/proc/3306/stat : 3306 (npSolver-pbo) S 3305 3305 1127 0 -1 4202496 18662 0 0 0 1150 54 0 0 20 0 1 0 273494230 674557952 101058 33554432000 4194304 5992684 140733371725360 140733371719808 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3306/statm: 164687 101058 164 440 0 164243 0
[pid=3308] ppid=3306 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3308/stat : 3308 (cp2_pre.sh) S 3306 3305 1127 0 -1 4202496 611 0 0 0 0 0 0 0 20 0 1 0 273495436 9367552 277 33554432000 4194304 5064252 140737420571584 140737420570288 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3308/statm: 2287 277 234 213 0 72 0
[pid=3309] ppid=3308 vsize=1210048 CPUtime=13.41 cores=0,2,4,6
/proc/3309/stat : 3309 (coprocessor) R 3308 3305 1127 0 -1 4202496 125146 0 0 0 1308 33 0 0 20 0 1 0 273495436 1239089152 287793 33554432000 4194304 6586260 140735346100416 140735346096440 4753952 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/3309/statm: 302512 287793 179 584 0 301924 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 1887092
[startup+51.1004 s]
/proc/loadavg: 2.26 2.08 2.14 3/181 3311
/proc/meminfo: memFree=28457980/32873844 swapFree=7108/7108
[pid=3305] ppid=3303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3305/stat : 3305 (npSolver-pbo-I.) S 3303 3305 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273494230 9367552 275 33554432000 4194304 5064252 140733940019744 140733940018656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3305/statm: 2287 275 233 213 0 72 0
[pid=3306] ppid=3305 vsize=658748 CPUtime=46 cores=0,2,4,6
/proc/3306/stat : 3306 (npSolver-pbo) S 3305 3305 1127 0 -1 4202496 18678 147102 0 0 1150 55 3299 96 20 0 1 0 273494230 674557952 101060 33554432000 4194304 5992684 140733371725360 140733371711624 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3306/statm: 164687 101060 166 440 0 164243 0
[pid=3311] ppid=3306 vsize=732428 CPUtime=4.92 cores=0,2,4,6
/proc/3311/stat : 3311 (glucosInc) R 3306 3305 1127 0 -1 4202496 70507 0 0 0 470 22 0 0 20 0 1 0 273498847 750006272 152149 33554432000 4194304 5654031 140733424401136 140733424398920 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3311/statm: 183107 152149 130 357 0 182747 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 1400324
[startup+102.307 s]
/proc/loadavg: 2.18 2.08 2.14 3/181 3311
/proc/meminfo: memFree=28403848/32873844 swapFree=7108/7108
[pid=3305] ppid=3303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3305/stat : 3305 (npSolver-pbo-I.) S 3303 3305 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273494230 9367552 275 33554432000 4194304 5064252 140733940019744 140733940018656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3305/statm: 2287 275 233 213 0 72 0
[pid=3306] ppid=3305 vsize=658748 CPUtime=46 cores=0,2,4,6
/proc/3306/stat : 3306 (npSolver-pbo) S 3305 3305 1127 0 -1 4202496 18678 147102 0 0 1150 55 3299 96 20 0 1 0 273494230 674557952 101060 33554432000 4194304 5992684 140733371725360 140733371711624 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3306/statm: 164687 101060 166 440 0 164243 0
[pid=3311] ppid=3306 vsize=782128 CPUtime=56.11 cores=0,2,4,6
/proc/3311/stat : 3311 (glucosInc) R 3306 3305 1127 0 -1 4202496 82637 0 0 0 5587 24 0 0 20 0 1 0 273498847 800899072 165812 33554432000 4194304 5654031 140733424401136 140733424388952 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3311/statm: 195532 165812 140 357 0 195172 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 1450024
[startup+162.3 s]
/proc/loadavg: 2.06 2.06 2.13 3/182 3315
/proc/meminfo: memFree=28419732/32873844 swapFree=7108/7108
[pid=3305] ppid=3303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3305/stat : 3305 (npSolver-pbo-I.) S 3303 3305 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273494230 9367552 275 33554432000 4194304 5064252 140733940019744 140733940018656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3305/statm: 2287 275 233 213 0 72 0
[pid=3306] ppid=3305 vsize=658748 CPUtime=46 cores=0,2,4,6
/proc/3306/stat : 3306 (npSolver-pbo) S 3305 3305 1127 0 -1 4202496 18678 147102 0 0 1150 55 3299 96 20 0 1 0 273494230 674557952 101060 33554432000 4194304 5992684 140733371725360 140733371711624 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3306/statm: 164687 101060 166 440 0 164243 0
[pid=3311] ppid=3306 vsize=784176 CPUtime=116.09 cores=0,2,4,6
/proc/3311/stat : 3311 (glucosInc) R 3306 3305 1127 0 -1 4202496 83136 0 0 0 11585 24 0 0 20 0 1 0 273498847 802996224 166311 33554432000 4194304 5654031 140733424401136 140733424398920 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3311/statm: 196044 166311 140 357 0 195684 0
Current children cumulated CPU time (s) 162.09
Current children cumulated vsize (KiB) 1452072
[startup+222.3 s]
/proc/loadavg: 2.02 2.05 2.12 3/181 3315
/proc/meminfo: memFree=28404356/32873844 swapFree=7108/7108
[pid=3305] ppid=3303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3305/stat : 3305 (npSolver-pbo-I.) S 3303 3305 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273494230 9367552 275 33554432000 4194304 5064252 140733940019744 140733940018656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3305/statm: 2287 275 233 213 0 72 0
[pid=3306] ppid=3305 vsize=658748 CPUtime=46 cores=0,2,4,6
/proc/3306/stat : 3306 (npSolver-pbo) S 3305 3305 1127 0 -1 4202496 18678 147102 0 0 1150 55 3299 96 20 0 1 0 273494230 674557952 101060 33554432000 4194304 5992684 140733371725360 140733371711624 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3306/statm: 164687 101060 166 440 0 164243 0
[pid=3311] ppid=3306 vsize=789720 CPUtime=176.09 cores=0,2,4,6
/proc/3311/stat : 3311 (glucosInc) R 3306 3305 1127 0 -1 4202496 84735 0 0 0 17584 25 0 0 20 0 1 0 273498847 808673280 168932 33554432000 4194304 5654031 140733424401136 140733424398920 4232772 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3311/statm: 197430 168932 140 357 0 197070 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 1457616
[startup+282.3 s]
/proc/loadavg: 2.01 2.04 2.10 3/181 3315
/proc/meminfo: memFree=28400012/32873844 swapFree=7108/7108
[pid=3305] ppid=3303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3305/stat : 3305 (npSolver-pbo-I.) S 3303 3305 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273494230 9367552 275 33554432000 4194304 5064252 140733940019744 140733940018656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3305/statm: 2287 275 233 213 0 72 0
[pid=3306] ppid=3305 vsize=658748 CPUtime=46 cores=0,2,4,6
/proc/3306/stat : 3306 (npSolver-pbo) S 3305 3305 1127 0 -1 4202496 18678 147102 0 0 1150 55 3299 96 20 0 1 0 273494230 674557952 101060 33554432000 4194304 5992684 140733371725360 140733371711624 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3306/statm: 164687 101060 166 440 0 164243 0
[pid=3311] ppid=3306 vsize=789888 CPUtime=236.08 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=28114012/32873844 swapFree=7108/7108
[pid=3305] ppid=3303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3305/stat : 3305 (npSolver-pbo-I.) S 3303 3305 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273494230 9367552 275 33554432000 4194304 5064252 140733940019744 140733940018656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3305/statm: 2287 275 233 213 0 72 0
[pid=3306] ppid=3305 vsize=658748 CPUtime=46 cores=0,2,4,6
/proc/3306/stat : 3306 (npSolver-pbo) S 3305 3305 1127 0 -1 4202496 18678 147102 0 0 1150 55 3299 96 20 0 1 0 273494230 674557952 101060 33554432000 4194304 5992684 140733371725360 140733371711624 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3306/statm: 164687 101060 166 440 0 164243 0
[pid=3311] ppid=3306 vsize=955512 CPUtime=1315.9 cores=0,2,4,6
/proc/3311/stat : 3311 (glucosInc) R 3306 3305 1127 0 -1 4202496 97088 0 0 0 131555 35 0 0 20 0 1 0 273498847 978444288 210633 33554432000 4194304 5654031 140733424401136 140733424388952 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3311/statm: 238878 210633 141 357 0 238518 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1623408
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 3416
/proc/meminfo: memFree=28111216/32873844 swapFree=7108/7108
[pid=3305] ppid=3303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3305/stat : 3305 (npSolver-pbo-I.) S 3303 3305 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273494230 9367552 275 33554432000 4194304 5064252 140733940019744 140733940018656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3305/statm: 2287 275 233 213 0 72 0
[pid=3306] ppid=3305 vsize=658748 CPUtime=46 cores=0,2,4,6
/proc/3306/stat : 3306 (npSolver-pbo) S 3305 3305 1127 0 -1 4202496 18678 147102 0 0 1150 55 3299 96 20 0 1 0 273494230 674557952 101060 33554432000 4194304 5992684 140733371725360 140733371711624 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3306/statm: 164687 101060 166 440 0 164243 0
[pid=3311] ppid=3306 vsize=955512 CPUtime=1375.9 cores=0,2,4,6
/proc/3311/stat : 3311 (glucosInc) R 3306 3305 1127 0 -1 4202496 97102 0 0 0 137555 35 0 0 20 0 1 0 273498847 978444288 210647 33554432000 4194304 5654031 140733424401136 140733424388952 4208595 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3311/statm: 238878 210647 141 357 0 238518 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1623408
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 3416
/proc/meminfo: memFree=28104948/32873844 swapFree=7108/7108
[pid=3305] ppid=3303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3305/stat : 3305 (npSolver-pbo-I.) S 3303 3305 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273494230 9367552 275 33554432000 4194304 5064252 140733940019744 140733940018656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3305/statm: 2287 275 233 213 0 72 0
[pid=3306] ppid=3305 vsize=658748 CPUtime=46 cores=0,2,4,6
/proc/3306/stat : 3306 (npSolver-pbo) S 3305 3305 1127 0 -1 4202496 18678 147102 0 0 1150 55 3299 96 20 0 1 0 273494230 674557952 101060 33554432000 4194304 5992684 140733371725360 140733371711624 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3306/statm: 164687 101060 166 440 0 164243 0
[pid=3311] ppid=3306 vsize=955512 CPUtime=1435.88 cores=0,2,4,6
/proc/3311/stat : 3311 (glucosInc) R 3306 3305 1127 0 -1 4202496 97153 0 0 0 143553 35 0 0 20 0 1 0 273498847 978444288 211720 33554432000 4194304 5654031 140733424401136 140733424388952 4232794 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3311/statm: 238878 211720 141 357 0 238518 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1623408
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 3416
/proc/meminfo: memFree=28087096/32873844 swapFree=7108/7108
[pid=3305] ppid=3303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3305/stat : 3305 (npSolver-pbo-I.) S 3303 3305 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273494230 9367552 275 33554432000 4194304 5064252 140733940019744 140733940018656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3305/statm: 2287 275 233 213 0 72 0
[pid=3306] ppid=3305 vsize=658748 CPUtime=46 cores=0,2,4,6
/proc/3306/stat : 3306 (npSolver-pbo) S 3305 3305 1127 0 -1 4202496 18678 147102 0 0 1150 55 3299 96 20 0 1 0 273494230 674557952 101060 33554432000 4194304 5992684 140733371725360 140733371711624 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3306/statm: 164687 101060 166 440 0 164243 0
[pid=3311] ppid=3306 vsize=962804 CPUtime=1495.87 cores=0,2,4,6
/proc/3311/stat : 3311 (glucosInc) R 3306 3305 1127 0 -1 4202496 97589 0 0 0 149552 35 0 0 20 0 1 0 273498847 985911296 214200 33554432000 4194304 5654031 140733424401136 140733424388952 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3311/statm: 240701 214200 141 357 0 240341 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1630700
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 3416
/proc/meminfo: memFree=28080644/32873844 swapFree=7108/7108
[pid=3305] ppid=3303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3305/stat : 3305 (npSolver-pbo-I.) S 3303 3305 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273494230 9367552 275 33554432000 4194304 5064252 140733940019744 140733940018656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3305/statm: 2287 275 233 213 0 72 0
[pid=3306] ppid=3305 vsize=658748 CPUtime=46 cores=0,2,4,6
/proc/3306/stat : 3306 (npSolver-pbo) S 3305 3305 1127 0 -1 4202496 18678 147102 0 0 1150 55 3299 96 20 0 1 0 273494230 674557952 101060 33554432000 4194304 5992684 140733371725360 140733371711624 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3306/statm: 164687 101060 166 440 0 164243 0
[pid=3311] ppid=3306 vsize=962804 CPUtime=1555.86 cores=0,2,4,6
/proc/3311/stat : 3311 (glucosInc) R 3306 3305 1127 0 -1 4202496 97590 0 0 0 155551 35 0 0 20 0 1 0 273498847 985911296 214712 33554432000 4194304 5654031 140733424401136 140733424388952 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3311/statm: 240701 214712 141 357 0 240341 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1630700
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 3416
/proc/meminfo: memFree=28076868/32873844 swapFree=7108/7108
[pid=3305] ppid=3303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3305/stat : 3305 (npSolver-pbo-I.) S 3303 3305 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273494230 9367552 275 33554432000 4194304 5064252 140733940019744 140733940018656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3305/statm: 2287 275 233 213 0 72 0
[pid=3306] ppid=3305 vsize=658748 CPUtime=46 cores=0,2,4,6
/proc/3306/stat : 3306 (npSolver-pbo) S 3305 3305 1127 0 -1 4202496 18678 147102 0 0 1150 55 3299 96 20 0 1 0 273494230 674557952 101060 33554432000 4194304 5992684 140733371725360 140733371711624 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3306/statm: 164687 101060 166 440 0 164243 0
[pid=3311] ppid=3306 vsize=962804 CPUtime=1615.85 cores=0,2,4,6
/proc/3311/stat : 3311 (glucosInc) R 3306 3305 1127 0 -1 4202496 97590 0 0 0 161550 35 0 0 20 0 1 0 273498847 985911296 214712 33554432000 4194304 5654031 140733424401136 140733424388952 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3311/statm: 240701 214712 141 357 0 240341 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1630700
[startup+1722.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/181 3417
/proc/meminfo: memFree=28072896/32873844 swapFree=7108/7108
[pid=3305] ppid=3303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3305/stat : 3305 (npSolver-pbo-I.) S 3303 3305 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273494230 9367552 275 33554432000 4194304 5064252 140733940019744 140733940018656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3305/statm: 2287 275 233 213 0 72 0
[pid=3306] ppid=3305 vsize=658748 CPUtime=46 cores=0,2,4,6
/proc/3306/stat : 3306 (npSolver-pbo) S 3305 3305 1127 0 -1 4202496 18678 147102 0 0 1150 55 3299 96 20 0 1 0 273494230 674557952 101060 33554432000 4194304 5992684 140733371725360 140733371711624 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3306/statm: 164687 101060 166 440 0 164243 0
[pid=3311] ppid=3306 vsize=962804 CPUtime=1675.84 cores=0,2,4,6
/proc/3311/stat : 3311 (glucosInc) R 3306 3305 1127 0 -1 4202496 97592 0 0 0 167549 35 0 0 20 0 1 0 273498847 985911296 215225 33554432000 4194304 5654031 140733424401136 140733424388952 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3311/statm: 240701 215225 141 357 0 240341 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1630700
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 3418
/proc/meminfo: memFree=28068668/32873844 swapFree=7108/7108
[pid=3305] ppid=3303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3305/stat : 3305 (npSolver-pbo-I.) S 3303 3305 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273494230 9367552 275 33554432000 4194304 5064252 140733940019744 140733940018656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3305/statm: 2287 275 233 213 0 72 0
[pid=3306] ppid=3305 vsize=658748 CPUtime=46 cores=0,2,4,6
/proc/3306/stat : 3306 (npSolver-pbo) S 3305 3305 1127 0 -1 4202496 18678 147102 0 0 1150 55 3299 96 20 0 1 0 273494230 674557952 101060 33554432000 4194304 5992684 140733371725360 140733371711624 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3306/statm: 164687 101060 166 440 0 164243 0
[pid=3311] ppid=3306 vsize=962804 CPUtime=1735.84 cores=0,2,4,6
/proc/3311/stat : 3311 (glucosInc) R 3306 3305 1127 0 -1 4202496 97593 0 0 0 173549 35 0 0 20 0 1 0 273498847 985911296 215737 33554432000 4194304 5654031 140733424401136 140733424388952 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3311/statm: 240701 215737 141 357 0 240341 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1630700
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 3418
/proc/meminfo: memFree=28068676/32873844 swapFree=7108/7108
[pid=3305] ppid=3303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3305/stat : 3305 (npSolver-pbo-I.) S 3303 3305 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273494230 9367552 275 33554432000 4194304 5064252 140733940019744 140733940018656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3305/statm: 2287 275 233 213 0 72 0
[pid=3306] ppid=3305 vsize=658748 CPUtime=46 cores=0,2,4,6
/proc/3306/stat : 3306 (npSolver-pbo) S 3305 3305 1127 0 -1 4202496 18678 147102 0 0 1150 55 3299 96 20 0 1 0 273494230 674557952 101060 33554432000 4194304 5992684 140733371725360 140733371711624 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3306/statm: 164687 101060 166 440 0 164243 0
[pid=3311] ppid=3306 vsize=962804 CPUtime=1754.04 cores=0,2,4,6
/proc/3311/stat : 3311 (glucosInc) R 3306 3305 1127 0 -1 4202496 97593 0 0 0 175369 35 0 0 20 0 1 0 273498847 985911296 215737 33554432000 4194304 5654031 140733424401136 140733424388952 4232813 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3311/statm: 240701 215737 141 357 0 240341 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1630700
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 3418
/proc/meminfo: memFree=28068676/32873844 swapFree=7108/7108
[pid=3305] ppid=3303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3305/stat : 3305 (npSolver-pbo-I.) S 3303 3305 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273494230 9367552 275 33554432000 4194304 5064252 140733940019744 140733940018656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3305/statm: 2287 275 233 213 0 72 0
[pid=3306] ppid=3305 vsize=658748 CPUtime=46 cores=0,2,4,6
/proc/3306/stat : 3306 (npSolver-pbo) S 3305 3305 1127 0 -1 4202496 18678 147102 0 0 1150 55 3299 96 20 0 1 0 273494230 674557952 101060 33554432000 4194304 5992684 140733371725360 140733371711624 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3306/statm: 164687 101060 166 440 0 164243 0
[pid=3311] ppid=3306 vsize=962804 CPUtime=1754.04 cores=0,2,4,6
/proc/3311/stat : 3311 (glucosInc) R 3306 3305 1127 0 -1 4202496 97593 0 0 0 175369 35 0 0 20 0 1 0 273498847 985911296 215737 33554432000 4194304 5654031 140733424401136 140733424388952 4232813 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3311/statm: 240701 215737 141 357 0 240341 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1630700
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3305 and gives
# childrusage.ru_utime.tv_sec=44
# childrusage.ru_utime.tv_usec=499235
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=517769
# CPU time returned by wait4() is 46.017
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.52
CPU time (s): 1800.04
CPU user time (s): 1798.18
CPU system time (s): 1.86
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 2049240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.4992
system time used= 1.51777
maximum resident set size= 1347788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166138
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1058944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 67
runsolver used 3.3215 second user time and 11.0723 second system time
The end