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-3698524-1338080895/watcher-3698524-1338080895 -o /tmp/evaluation-result-3698524-1338080895/solver-3698524-1338080895 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698524-1338080895.opb 202702781 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: 3.84 2.87 2.33 3/179 5968
/proc/meminfo: memFree=29249708/32873844 swapFree=7384/7384
[pid=5968] ppid=5966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5968/stat : 5968 (npSolver-pbo-It) S 5966 5968 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274215008 9367552 274 33554432000 4194304 5064252 140734121594256 140734121593168 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5968/statm: 2287 274 233 213 0 72 0
[startup+0.616539 s]
/proc/loadavg: 3.84 2.87 2.33 3/179 5968
/proc/meminfo: memFree=29249708/32873844 swapFree=7384/7384
[pid=5968] ppid=5966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5968/stat : 5968 (npSolver-pbo-It) S 5966 5968 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274215008 9367552 274 33554432000 4194304 5064252 140734121594256 140734121593168 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5968/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700215 s]
/proc/loadavg: 3.84 2.87 2.33 3/179 5968
/proc/meminfo: memFree=29249708/32873844 swapFree=7384/7384
[pid=5968] ppid=5966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5968/stat : 5968 (npSolver-pbo-It) S 5966 5968 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274215008 9367552 274 33554432000 4194304 5064252 140734121594256 140734121593168 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5968/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.800197 s]
/proc/loadavg: 3.84 2.87 2.33 3/179 5968
/proc/meminfo: memFree=29249708/32873844 swapFree=7384/7384
[pid=5968] ppid=5966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5968/stat : 5968 (npSolver-pbo-It) S 5966 5968 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274215008 9367552 274 33554432000 4194304 5064252 140734121594256 140734121593168 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5968/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.900197 s]
/proc/loadavg: 3.84 2.87 2.33 3/179 5968
/proc/meminfo: memFree=29249708/32873844 swapFree=7384/7384
[pid=5968] ppid=5966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5968/stat : 5968 (npSolver-pbo-It) S 5966 5968 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274215008 9367552 274 33554432000 4194304 5064252 140734121594256 140734121593168 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5968/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50016 s]
/proc/loadavg: 3.84 2.87 2.33 3/179 5968
/proc/meminfo: memFree=29249708/32873844 swapFree=7384/7384
[pid=5968] ppid=5966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5968/stat : 5968 (npSolver-pbo-It) S 5966 5968 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274215008 9367552 274 33554432000 4194304 5064252 140734121594256 140734121593168 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5968/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+3.10023 s]
/proc/loadavg: 3.84 2.87 2.33 3/183 5972
/proc/meminfo: memFree=28946792/32873844 swapFree=7384/7384
[pid=5968] ppid=5966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5968/stat : 5968 (npSolver-pbo-It) S 5966 5968 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274215008 9367552 274 33554432000 4194304 5064252 140734121594256 140734121593168 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5968/statm: 2287 274 233 213 0 72 0
[pid=5969] ppid=5968 vsize=50176 CPUtime=0.6 cores=0,2,4,6
/proc/5969/stat : 5969 (npSolver-pbo) S 5968 5968 1914 0 -1 4202496 7221 0 0 0 56 4 0 0 20 0 1 0 274215008 51380224 9274 33554432000 4194304 5992684 140735837744704 140735837739152 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5969/statm: 12544 9274 171 440 0 12100 0
[pid=5971] ppid=5969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5971/stat : 5971 (cp2_pre.sh) S 5969 5968 1914 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 274215069 9367552 277 33554432000 4194304 5064252 140735862736208 140735862734912 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5971/statm: 2287 277 234 213 0 72 0
[pid=5972] ppid=5971 vsize=268008 CPUtime=2.45 cores=0,2,4,6
/proc/5972/stat : 5972 (coprocessor) R 5971 5968 1914 0 -1 4202496 39319 0 0 0 224 21 0 0 20 0 1 0 274215070 274440192 64428 33554432000 4194304 6586260 140734217917104 140734217912856 5259904 0 0 4096 8404994 0 0 0 17 6 0 0 0 0 0
/proc/5972/statm: 67002 64428 200 584 0 66414 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 336480
[startup+10.067 s]
/proc/loadavg: 3.84 2.87 2.33 3/183 5972
/proc/meminfo: memFree=28919940/32873844 swapFree=7384/7384
[pid=5968] ppid=5966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5968/stat : 5968 (npSolver-pbo-It) S 5966 5968 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274215008 9367552 274 33554432000 4194304 5064252 140734121594256 140734121593168 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5968/statm: 2287 274 233 213 0 72 0
[pid=5969] ppid=5968 vsize=57856 CPUtime=4.15 cores=0,2,4,6
/proc/5969/stat : 5969 (npSolver-pbo) R 5968 5968 1914 0 -1 4202496 8546 40223 0 0 57 8 323 27 20 0 1 0 274215008 59244544 10957 33554432000 4194304 5992684 140735837744704 140735837740504 5045246 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5969/statm: 14464 10957 175 440 0 14020 0
Current children cumulated CPU time (s) 4.15
Current children cumulated vsize (KiB) 67004
heavy processes:
[startup+108.328 s]
/proc/loadavg: 3.41 2.81 2.31 7/183 5975
/proc/meminfo: memFree=29042248/32873844 swapFree=7384/7384
[pid=5968] ppid=5966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5968/stat : 5968 (npSolver-pbo-It) S 5966 5968 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274215008 9367552 274 33554432000 4194304 5064252 140734121594256 140734121593168 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5968/statm: 2287 274 233 213 0 72 0
[pid=5969] ppid=5968 vsize=62592 CPUtime=5.96 cores=0,2,4,6
/proc/5969/stat : 5969 (npSolver-pbo) S 5968 5968 1914 0 -1 4202496 10012 40223 0 0 99 147 323 27 20 0 1 0 274215008 64094208 12387 33554432000 4194304 5992684 140735837744704 140735837738736 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5969/statm: 15648 12387 180 440 0 15204 0
[pid=5974] ppid=5969 vsize=127356 CPUtime=5.92 cores=0,2,4,6
/proc/5974/stat : 5974 (glucosInc) S 5969 5968 1914 0 -1 4202496 23951 0 0 0 589 3 0 0 20 0 1 0 274215421 130412544 26499 33554432000 4194304 5654031 140736268115584 140736268113896 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/5974/statm: 31839 26499 145 357 0 31479 0
[pid=5975] ppid=5969 vsize=16712 CPUtime=0 cores=0,2,4,6
/proc/5975/stat : 5975 (cp) D 5969 5968 1914 0 -1 4202496 502 0 0 0 0 0 0 0 20 0 1 0 274216195 17113088 186 33554432000 4194304 4305796 140734354324176 140734354322120 239873115024 0 0 4096 0 18446744072099229941 0 0 17 2 0 0 0 0 0
/proc/5975/statm: 4178 186 154 28 0 74 0
Current children cumulated CPU time (s) 11.88
Current children cumulated vsize (KiB) 215808
heavy processes:
[startup+108.431 s]
/proc/loadavg: 6.25 3.51 2.56 7/184 5976
/proc/meminfo: memFree=29011196/32873844 swapFree=7388/7388
[pid=5968] ppid=5966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5968/stat : 5968 (npSolver-pbo-It) S 5966 5968 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274215008 9367552 274 33554432000 4194304 5064252 140734121594256 140734121593168 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5968/statm: 2287 274 233 213 0 72 0
[pid=5969] ppid=5968 vsize=62592 CPUtime=11.98 cores=0,2,4,6
/proc/5969/stat : 5969 (npSolver-pbo) S 5968 5968 1914 0 -1 4202496 11044 65214 0 0 101 147 912 38 20 0 1 0 274215008 64094208 12390 33554432000 4194304 5992684 140735837744704 140735837730536 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5969/statm: 15648 12390 183 440 0 15204 0
Current children cumulated CPU time (s) 11.98
Current children cumulated vsize (KiB) 71740
heavy processes:
[startup+108.623 s]
/proc/loadavg: 5.35 3.91 2.77 3/185 5980
/proc/meminfo: memFree=29113864/32873844 swapFree=7388/7388
[pid=5968] ppid=5966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5968/stat : 5968 (npSolver-pbo-It) S 5966 5968 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274215008 9367552 274 33554432000 4194304 5064252 140734121594256 140734121593168 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5968/statm: 2287 274 233 213 0 72 0
[pid=5969] ppid=5968 vsize=62592 CPUtime=11.98 cores=0,2,4,6
/proc/5969/stat : 5969 (npSolver-pbo) S 5968 5968 1914 0 -1 4202496 11044 65214 0 0 101 147 912 38 20 0 1 0 274215008 64094208 12390 33554432000 4194304 5992684 140735837744704 140735837730536 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5969/statm: 15648 12390 183 440 0 15204 0
[pid=5980] ppid=5969 vsize=92160 CPUtime=0.18 cores=0,2,4,6
/proc/5980/stat : 5980 (glucosInc) R 5969 5968 1914 0 -1 4202496 17948 0 0 0 15 3 0 0 20 0 1 0 274225851 94371840 19241 33554432000 4194304 5654031 140736022660032 140735837731768 4797458 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5980/statm: 23040 19242 109 357 0 22680 0
Current children cumulated CPU time (s) 12.16
Current children cumulated vsize (KiB) 163900
heavy processes:
[startup+108.733 s]
/proc/loadavg: 5.35 3.91 2.77 3/185 5980
/proc/meminfo: memFree=29037152/32873844 swapFree=7388/7388
[pid=5968] ppid=5966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5968/stat : 5968 (npSolver-pbo-It) S 5966 5968 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274215008 9367552 274 33554432000 4194304 5064252 140734121594256 140734121593168 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5968/statm: 2287 274 233 213 0 72 0
[pid=5969] ppid=5968 vsize=62592 CPUtime=11.98 cores=0,2,4,6
/proc/5969/stat : 5969 (npSolver-pbo) S 5968 5968 1914 0 -1 4202496 11044 65214 0 0 101 147 912 38 20 0 1 0 274215008 64094208 12390 33554432000 4194304 5992684 140735837744704 140735837730536 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5969/statm: 15648 12390 183 440 0 15204 0
[pid=5980] ppid=5969 vsize=123480 CPUtime=0.29 cores=0,2,4,6
/proc/5980/stat : 5980 (glucosInc) R 5969 5968 1914 0 -1 4202496 23603 0 0 0 25 4 0 0 20 0 1 0 274225851 126443520 25860 33554432000 4194304 5654031 140736022660032 140735837731768 4797458 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5980/statm: 30870 25862 109 357 0 30510 0
Current children cumulated CPU time (s) 12.27
Current children cumulated vsize (KiB) 195220
heavy processes:
[startup+162.3 s]
/proc/loadavg: 3.61 3.67 2.75 3/183 5983
/proc/meminfo: memFree=29028260/32873844 swapFree=7384/7384
[pid=5968] ppid=5966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5968/stat : 5968 (npSolver-pbo-It) S 5966 5968 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274215008 9367552 274 33554432000 4194304 5064252 140734121594256 140734121593168 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5968/statm: 2287 274 233 213 0 72 0
[pid=5969] ppid=5968 vsize=66976 CPUtime=59.22 cores=0,2,4,6
/proc/5969/stat : 5969 (npSolver-pbo) S 5968 5968 1914 0 -1 4202496 14939 93231 0 0 114 148 5612 48 20 0 1 0 274215008 68583424 13160 33554432000 4194304 5992684 140735837744704 140735837730536 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5969/statm: 16744 13160 183 440 0 16300 0
[pid=5983] ppid=5969 vsize=132104 CPUtime=6.62 cores=0,2,4,6
/proc/5983/stat : 5983 (glucosInc) R 5969 5968 1914 0 -1 4202496 26335 0 0 0 657 5 0 0 20 0 1 0 274230575 135274496 29180 33554432000 4194304 5654031 140736417182224 140736417170040 4232625 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5983/statm: 33026 29180 140 357 0 32666 0
Current children cumulated CPU time (s) 65.84
Current children cumulated vsize (KiB) 208228
heavy processes:
[startup+222.3 s]
/proc/loadavg: 2.59 3.36 2.70 3/182 5987
/proc/meminfo: memFree=28990340/32873844 swapFree=7384/7384
[pid=5968] ppid=5966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5968/stat : 5968 (npSolver-pbo-It) S 5966 5968 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274215008 9367552 274 33554432000 4194304 5064252 140734121594256 140734121593168 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5968/statm: 2287 274 233 213 0 72 0
[pid=5969] ppid=5968 vsize=66976 CPUtime=117.5 cores=0,2,4,6
/proc/5969/stat : 5969 (npSolver-pbo) S 5968 5968 1914 0 -1 4202496 21481 147416 0 0 139 149 11396 66 20 0 1 0 274215008 68583424 13486 33554432000 4194304 5992684 140735837744704 140735837730536 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5969/statm: 16744 13486 183 440 0 16300 0
[pid=5987] ppid=5969 vsize=132236 CPUtime=8.3 cores=0,2,4,6
/proc/5987/stat : 5987 (glucosInc) R 5969 5968 1914 0 -1 4202496 26732 0 0 0 825 5 0 0 20 0 1 0 274236406 135409664 29612 33554432000 4194304 5654031 140735385294928 140735385282744 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5987/statm: 33059 29612 140 357 0 32699 0
Current children cumulated CPU time (s) 125.8
Current children cumulated vsize (KiB) 208360
heavy processes:
################
# More data... #
################
/proc/meminfo: memFree=28955168/32873844 swapFree=7384/7384
[pid=5968] ppid=5966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5968/stat : 5968 (npSolver-pbo-It) S 5966 5968 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274215008 9367552 274 33554432000 4194304 5064252 140734121594256 140734121593168 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5968/statm: 2287 274 233 213 0 72 0
[pid=5969] ppid=5968 vsize=66976 CPUtime=882.12 cores=0,2,4,6
/proc/5969/stat : 5969 (npSolver-pbo) S 5968 5968 1914 0 -1 4202496 36270 289620 0 0 202 153 87741 116 20 0 1 0 274215008 68583424 13486 33554432000 4194304 5992684 140735837744704 140735837730536 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5969/statm: 16744 13486 183 440 0 16300 0
[pid=6214] ppid=5969 vsize=191660 CPUtime=323.47 cores=0,2,4,6
/proc/6214/stat : 6214 (glucosInc) R 5969 5968 1914 0 -1 4202496 30307 0 0 0 32340 7 0 0 20 0 1 0 274312884 196259840 41842 33554432000 4194304 5654031 140737130170656 140737130158472 4233232 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6214/statm: 47915 41842 142 357 0 47555 0
Current children cumulated CPU time (s) 1205.59
Current children cumulated vsize (KiB) 267784
[startup+1362.3 s]
/proc/loadavg: 2.02 2.04 2.18 3/182 6221
/proc/meminfo: memFree=28924252/32873844 swapFree=7384/7384
[pid=5968] ppid=5966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5968/stat : 5968 (npSolver-pbo-It) S 5966 5968 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274215008 9367552 274 33554432000 4194304 5064252 140734121594256 140734121593168 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5968/statm: 2287 274 233 213 0 72 0
[pid=5969] ppid=5968 vsize=66976 CPUtime=882.12 cores=0,2,4,6
/proc/5969/stat : 5969 (npSolver-pbo) S 5968 5968 1914 0 -1 4202496 36270 289620 0 0 202 153 87741 116 20 0 1 0 274215008 68583424 13486 33554432000 4194304 5992684 140735837744704 140735837730536 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5969/statm: 16744 13486 183 440 0 16300 0
[pid=6214] ppid=5969 vsize=172720 CPUtime=383.45 cores=0,2,4,6
/proc/6214/stat : 6214 (glucosInc) R 5969 5968 1914 0 -1 4202496 30741 0 0 0 38338 7 0 0 20 0 1 0 274312884 176865280 41662 33554432000 4194304 5654031 140737130170656 140737130158472 4233344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6214/statm: 43180 41662 142 357 0 42820 0
Current children cumulated CPU time (s) 1265.57
Current children cumulated vsize (KiB) 248844
[startup+1422.3 s]
/proc/loadavg: 2.00 2.03 2.17 3/181 6221
/proc/meminfo: memFree=28921528/32873844 swapFree=7384/7384
[pid=5968] ppid=5966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5968/stat : 5968 (npSolver-pbo-It) S 5966 5968 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274215008 9367552 274 33554432000 4194304 5064252 140734121594256 140734121593168 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5968/statm: 2287 274 233 213 0 72 0
[pid=5969] ppid=5968 vsize=66976 CPUtime=882.12 cores=0,2,4,6
/proc/5969/stat : 5969 (npSolver-pbo) S 5968 5968 1914 0 -1 4202496 36270 289620 0 0 202 153 87741 116 20 0 1 0 274215008 68583424 13486 33554432000 4194304 5992684 140735837744704 140735837730536 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5969/statm: 16744 13486 183 440 0 16300 0
[pid=6214] ppid=5969 vsize=222040 CPUtime=443.44 cores=0,2,4,6
/proc/6214/stat : 6214 (glucosInc) R 5969 5968 1914 0 -1 4202496 30891 0 0 0 44336 8 0 0 20 0 1 0 274312884 227368960 49983 33554432000 4194304 5654031 140737130170656 140737130158472 4232551 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6214/statm: 55510 49983 142 357 0 55150 0
Current children cumulated CPU time (s) 1325.56
Current children cumulated vsize (KiB) 298164
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.16 3/181 6221
/proc/meminfo: memFree=28954232/32873844 swapFree=7384/7384
[pid=5968] ppid=5966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5968/stat : 5968 (npSolver-pbo-It) S 5966 5968 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274215008 9367552 274 33554432000 4194304 5064252 140734121594256 140734121593168 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5968/statm: 2287 274 233 213 0 72 0
[pid=5969] ppid=5968 vsize=66976 CPUtime=882.12 cores=0,2,4,6
/proc/5969/stat : 5969 (npSolver-pbo) S 5968 5968 1914 0 -1 4202496 36270 289620 0 0 202 153 87741 116 20 0 1 0 274215008 68583424 13486 33554432000 4194304 5992684 140735837744704 140735837730536 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5969/statm: 16744 13486 183 440 0 16300 0
[pid=6214] ppid=5969 vsize=172720 CPUtime=503.44 cores=0,2,4,6
/proc/6214/stat : 6214 (glucosInc) R 5969 5968 1914 0 -1 4202496 30892 0 0 0 50336 8 0 0 20 0 1 0 274312884 176865280 41762 33554432000 4194304 5654031 140737130170656 140737130158472 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6214/statm: 43180 41762 142 357 0 42820 0
Current children cumulated CPU time (s) 1385.56
Current children cumulated vsize (KiB) 248844
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.15 3/181 6223
/proc/meminfo: memFree=28964484/32873844 swapFree=7384/7384
[pid=5968] ppid=5966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5968/stat : 5968 (npSolver-pbo-It) S 5966 5968 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274215008 9367552 274 33554432000 4194304 5064252 140734121594256 140734121593168 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5968/statm: 2287 274 233 213 0 72 0
[pid=5969] ppid=5968 vsize=66976 CPUtime=1393.89 cores=0,2,4,6
/proc/5969/stat : 5969 (npSolver-pbo) S 5968 5968 1914 0 -1 4202496 39229 321124 0 0 215 153 138893 128 20 0 1 0 274215008 68583424 13486 33554432000 4194304 5992684 140735837744704 140735837730536 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5969/statm: 16744 13486 183 440 0 16300 0
[pid=6223] ppid=5969 vsize=134036 CPUtime=51.66 cores=0,2,4,6
/proc/6223/stat : 6223 (glucosInc) R 5969 5968 1914 0 -1 4202496 26570 0 0 0 5161 5 0 0 20 0 1 0 274364071 137252864 30636 33554432000 4194304 5654031 140734176835984 140734176823800 4216337 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6223/statm: 33509 30636 141 357 0 33149 0
Current children cumulated CPU time (s) 1445.55
Current children cumulated vsize (KiB) 210160
[startup+1602.3 s]
/proc/loadavg: 2.32 2.09 2.16 3/181 6270
/proc/meminfo: memFree=26482052/32873844 swapFree=7384/7384
[pid=5968] ppid=5966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5968/stat : 5968 (npSolver-pbo-It) S 5966 5968 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274215008 9367552 274 33554432000 4194304 5064252 140734121594256 140734121593168 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5968/statm: 2287 274 233 213 0 72 0
[pid=5969] ppid=5968 vsize=66976 CPUtime=1393.89 cores=0,2,4,6
/proc/5969/stat : 5969 (npSolver-pbo) S 5968 5968 1914 0 -1 4202496 39229 321124 0 0 215 153 138893 128 20 0 1 0 274215008 68583424 13486 33554432000 4194304 5992684 140735837744704 140735837730536 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5969/statm: 16744 13486 183 440 0 16300 0
[pid=6223] ppid=5969 vsize=135780 CPUtime=111.62 cores=0,2,4,6
/proc/6223/stat : 6223 (glucosInc) R 5969 5968 1914 0 -1 4202496 27074 0 0 0 11157 5 0 0 20 0 1 0 274364071 139038720 32235 33554432000 4194304 5654031 140734176835984 140734176823800 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6223/statm: 33945 32235 141 357 0 33585 0
Current children cumulated CPU time (s) 1505.51
Current children cumulated vsize (KiB) 211904
[startup+1662.3 s]
/proc/loadavg: 2.11 2.07 2.15 3/181 6271
/proc/meminfo: memFree=26494432/32873844 swapFree=7384/7384
[pid=5968] ppid=5966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5968/stat : 5968 (npSolver-pbo-It) S 5966 5968 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274215008 9367552 274 33554432000 4194304 5064252 140734121594256 140734121593168 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5968/statm: 2287 274 233 213 0 72 0
[pid=5969] ppid=5968 vsize=66976 CPUtime=1393.89 cores=0,2,4,6
/proc/5969/stat : 5969 (npSolver-pbo) S 5968 5968 1914 0 -1 4202496 39229 321124 0 0 215 153 138893 128 20 0 1 0 274215008 68583424 13486 33554432000 4194304 5992684 140735837744704 140735837730536 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5969/statm: 16744 13486 183 440 0 16300 0
[pid=6223] ppid=5969 vsize=138276 CPUtime=171.61 cores=0,2,4,6
/proc/6223/stat : 6223 (glucosInc) R 5969 5968 1914 0 -1 4202496 27968 0 0 0 17155 6 0 0 20 0 1 0 274364071 141594624 32253 33554432000 4194304 5654031 140734176835984 140734176823800 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6223/statm: 34569 32253 142 357 0 34209 0
Current children cumulated CPU time (s) 1565.5
Current children cumulated vsize (KiB) 214400
[startup+1722.3 s]
/proc/loadavg: 2.04 2.06 2.14 3/181 6271
/proc/meminfo: memFree=26482152/32873844 swapFree=7384/7384
[pid=5968] ppid=5966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5968/stat : 5968 (npSolver-pbo-It) S 5966 5968 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274215008 9367552 274 33554432000 4194304 5064252 140734121594256 140734121593168 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5968/statm: 2287 274 233 213 0 72 0
[pid=5969] ppid=5968 vsize=66976 CPUtime=1393.89 cores=0,2,4,6
/proc/5969/stat : 5969 (npSolver-pbo) S 5968 5968 1914 0 -1 4202496 39229 321124 0 0 215 153 138893 128 20 0 1 0 274215008 68583424 13486 33554432000 4194304 5992684 140735837744704 140735837730536 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5969/statm: 16744 13486 183 440 0 16300 0
[pid=6223] ppid=5969 vsize=139464 CPUtime=231.6 cores=0,2,4,6
/proc/6223/stat : 6223 (glucosInc) R 5969 5968 1914 0 -1 4202496 28290 0 0 0 23154 6 0 0 20 0 1 0 274364071 142811136 33597 33554432000 4194304 5654031 140734176835984 140734176823800 4208659 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6223/statm: 34866 33597 142 357 0 34506 0
Current children cumulated CPU time (s) 1625.49
Current children cumulated vsize (KiB) 215588
[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.13 3/181 6271
/proc/meminfo: memFree=26458092/32873844 swapFree=7384/7384
[pid=5968] ppid=5966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5968/stat : 5968 (npSolver-pbo-It) S 5966 5968 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274215008 9367552 274 33554432000 4194304 5064252 140734121594256 140734121593168 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5968/statm: 2287 274 233 213 0 72 0
[pid=5969] ppid=5968 vsize=66976 CPUtime=1393.89 cores=0,2,4,6
/proc/5969/stat : 5969 (npSolver-pbo) S 5968 5968 1914 0 -1 4202496 39229 321124 0 0 215 153 138893 128 20 0 1 0 274215008 68583424 13486 33554432000 4194304 5992684 140735837744704 140735837730536 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5969/statm: 16744 13486 183 440 0 16300 0
[pid=6223] ppid=5969 vsize=140548 CPUtime=291.59 cores=0,2,4,6
/proc/6223/stat : 6223 (glucosInc) R 5969 5968 1914 0 -1 4202496 28771 0 0 0 29152 7 0 0 20 0 1 0 274364071 143921152 32699 33554432000 4194304 5654031 140734176835984 140734176823800 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6223/statm: 35137 32699 142 357 0 34777 0
Current children cumulated CPU time (s) 1685.48
Current children cumulated vsize (KiB) 216672
[startup+1842.31 s]
/proc/loadavg: 2.00 2.03 2.11 3/181 6271
/proc/meminfo: memFree=26443544/32873844 swapFree=7384/7384
[pid=5968] ppid=5966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5968/stat : 5968 (npSolver-pbo-It) S 5966 5968 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274215008 9367552 274 33554432000 4194304 5064252 140734121594256 140734121593168 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5968/statm: 2287 274 233 213 0 72 0
[pid=5969] ppid=5968 vsize=66976 CPUtime=1393.89 cores=0,2,4,6
/proc/5969/stat : 5969 (npSolver-pbo) S 5968 5968 1914 0 -1 4202496 39229 321124 0 0 215 153 138893 128 20 0 1 0 274215008 68583424 13486 33554432000 4194304 5992684 140735837744704 140735837730536 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5969/statm: 16744 13486 183 440 0 16300 0
[pid=6223] ppid=5969 vsize=141892 CPUtime=351.59 cores=0,2,4,6
/proc/6223/stat : 6223 (glucosInc) R 5969 5968 1914 0 -1 4202496 29075 0 0 0 35152 7 0 0 20 0 1 0 274364071 145297408 34025 33554432000 4194304 5654031 140734176835984 140734176823800 4208595 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6223/statm: 35473 34025 142 357 0 35113 0
Current children cumulated CPU time (s) 1745.48
Current children cumulated vsize (KiB) 218016
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1896.9 s]
/proc/loadavg: 2.00 2.02 2.10 3/181 6271
/proc/meminfo: memFree=26416036/32873844 swapFree=7384/7384
[pid=5968] ppid=5966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5968/stat : 5968 (npSolver-pbo-It) S 5966 5968 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274215008 9367552 274 33554432000 4194304 5064252 140734121594256 140734121593168 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5968/statm: 2287 274 233 213 0 72 0
[pid=5969] ppid=5968 vsize=66976 CPUtime=1393.89 cores=0,2,4,6
/proc/5969/stat : 5969 (npSolver-pbo) S 5968 5968 1914 0 -1 4202496 39229 321124 0 0 215 153 138893 128 20 0 1 0 274215008 68583424 13486 33554432000 4194304 5992684 140735837744704 140735837730536 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5969/statm: 16744 13486 183 440 0 16300 0
[pid=6223] ppid=5969 vsize=172956 CPUtime=406.18 cores=0,2,4,6
/proc/6223/stat : 6223 (glucosInc) R 5969 5968 1914 0 -1 4202496 30152 0 0 0 40610 8 0 0 20 0 1 0 274364071 177106944 40782 33554432000 4194304 5654031 140734176835984 140734176823800 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6223/statm: 43239 40782 142 357 0 42879 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 249080
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1896.91
CPU time (s): 1800.11
CPU user time (s): 1797.19
CPU system time (s): 2.92255
CPU usage (%): 94.897
Max. virtual memory (cumulated for all children) (KiB): 336480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.19
system time used= 2.92256
maximum resident set size= 265776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 390887
page faults= 0
swaps= 0
block input operations= 0
block output operations= 568912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7181
involuntary context switches= 2869
runsolver used 3.19251 second user time and 8.95664 second system time
The end