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-3737194-1339248580/watcher-3737194-1339248580 -o /tmp/evaluation-result-3737194-1339248580/solver-3737194-1339248580 -C 1800 -W 1900 -M 15500 run HOME/instance-3737194-1339248580.opb
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: 8.33 5.67 4.43 3/184 4418
/proc/meminfo: memFree=29945944/32873844 swapFree=7632/7632
[pid=4418] ppid=4416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4418/stat : 4418 (run) S 4416 4418 3419 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390982353 9367552 269 33554432000 4194304 5064252 140734463201296 140734463200208 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4418/statm: 2287 269 229 213 0 72 0
[startup+0.069151 s]
/proc/loadavg: 8.33 5.67 4.43 3/184 4418
/proc/meminfo: memFree=29945944/32873844 swapFree=7632/7632
[pid=4418] ppid=4416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4418/stat : 4418 (run) S 4416 4418 3419 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390982353 9367552 269 33554432000 4194304 5064252 140734463201296 140734463200208 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4418/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100209 s]
/proc/loadavg: 8.33 5.67 4.43 3/184 4418
/proc/meminfo: memFree=29945944/32873844 swapFree=7632/7632
[pid=4418] ppid=4416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4418/stat : 4418 (run) S 4416 4418 3419 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390982353 9367552 269 33554432000 4194304 5064252 140734463201296 140734463200208 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4418/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300189 s]
/proc/loadavg: 8.33 5.67 4.43 3/184 4418
/proc/meminfo: memFree=29945944/32873844 swapFree=7632/7632
[pid=4418] ppid=4416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4418/stat : 4418 (run) S 4416 4418 3419 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390982353 9367552 269 33554432000 4194304 5064252 140734463201296 140734463200208 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4418/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700195 s]
/proc/loadavg: 8.33 5.67 4.43 3/184 4418
/proc/meminfo: memFree=29945944/32873844 swapFree=7632/7632
[pid=4418] ppid=4416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4418/stat : 4418 (run) S 4416 4418 3419 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390982353 9367552 269 33554432000 4194304 5064252 140734463201296 140734463200208 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4418/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 8.33 5.67 4.43 4/186 4420
/proc/meminfo: memFree=29919052/32873844 swapFree=7632/7632
[pid=4418] ppid=4416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4418/stat : 4418 (run) S 4416 4418 3419 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390982353 9367552 269 33554432000 4194304 5064252 140734463201296 140734463200208 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4418/statm: 2287 269 229 213 0 72 0
[pid=4419] ppid=4418 vsize=48664 CPUtime=1.49 cores=1,3,5,7
/proc/4419/stat : 4419 (pb_cplex) R 4418 4418 3419 0 -1 4202496 11456 0 0 0 148 1 0 0 20 0 1 0 390982353 49831936 7546 33554432000 134512640 146736320 4290325968 4290320468 135855162 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4419/statm: 12166 7546 790 2985 0 9100 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 57812
[startup+3.10029 s]
/proc/loadavg: 8.33 5.67 4.43 3/186 4420
/proc/meminfo: memFree=29918068/32873844 swapFree=7632/7632
[pid=4418] ppid=4416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4418/stat : 4418 (run) S 4416 4418 3419 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390982353 9367552 269 33554432000 4194304 5064252 140734463201296 140734463200208 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4418/statm: 2287 269 229 213 0 72 0
[pid=4419] ppid=4418 vsize=55944 CPUtime=3.09 cores=1,3,5,7
/proc/4419/stat : 4419 (pb_cplex) R 4418 4418 3419 0 -1 4202496 13404 0 0 0 307 2 0 0 20 0 1 0 390982353 57286656 8831 33554432000 134512640 146736320 4290325968 4290318920 139043577 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4419/statm: 13986 8831 856 2985 0 10920 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 65092
[startup+6.30024 s]
/proc/loadavg: 7.82 5.61 4.41 3/186 4420
/proc/meminfo: memFree=29909076/32873844 swapFree=7632/7632
[pid=4418] ppid=4416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4418/stat : 4418 (run) S 4416 4418 3419 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390982353 9367552 269 33554432000 4194304 5064252 140734463201296 140734463200208 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4418/statm: 2287 269 229 213 0 72 0
[pid=4419] ppid=4418 vsize=59608 CPUtime=6.29 cores=1,3,5,7
/proc/4419/stat : 4419 (pb_cplex) R 4418 4418 3419 0 -1 4202496 19578 0 0 0 626 3 0 0 20 0 1 0 390982353 61038592 9938 33554432000 134512640 146736320 4290325968 4290319052 136017777 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4419/statm: 14902 9938 913 2985 0 11836 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 68756
[startup+12.7002 s]
/proc/loadavg: 7.36 5.55 4.40 3/186 4420
/proc/meminfo: memFree=29903692/32873844 swapFree=7632/7632
[pid=4418] ppid=4416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4418/stat : 4418 (run) S 4416 4418 3419 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390982353 9367552 269 33554432000 4194304 5064252 140734463201296 140734463200208 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4418/statm: 2287 269 229 213 0 72 0
[pid=4419] ppid=4418 vsize=60816 CPUtime=12.69 cores=1,3,5,7
/proc/4419/stat : 4419 (pb_cplex) R 4418 4418 3419 0 -1 4202496 28314 0 0 0 1265 4 0 0 20 0 1 0 390982353 62275584 10398 33554432000 134512640 146736320 4290325968 4290320392 136000404 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4419/statm: 15204 10398 913 2985 0 12138 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 69964
[startup+25.5002 s]
/proc/loadavg: 6.40 5.42 4.38 3/187 4423
/proc/meminfo: memFree=29908396/32873844 swapFree=7632/7632
[pid=4418] ppid=4416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4418/stat : 4418 (run) S 4416 4418 3419 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390982353 9367552 269 33554432000 4194304 5064252 140734463201296 140734463200208 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4418/statm: 2287 269 229 213 0 72 0
[pid=4419] ppid=4418 vsize=60064 CPUtime=25.49 cores=1,3,5,7
/proc/4419/stat : 4419 (pb_cplex) R 4418 4418 3419 0 -1 4202496 29861 0 0 0 2544 5 0 0 20 0 1 0 390982353 61505536 10172 33554432000 134512640 146736320 4290325968 4290320600 144757825 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4419/statm: 15016 10172 913 2985 0 11950 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 69212
[startup+51.1003 s]
/proc/loadavg: 5.05 5.18 4.32 6/187 4423
/proc/meminfo: memFree=29907828/32873844 swapFree=7632/7632
[pid=4418] ppid=4416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4418/stat : 4418 (run) S 4416 4418 3419 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390982353 9367552 269 33554432000 4194304 5064252 140734463201296 140734463200208 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4418/statm: 2287 269 229 213 0 72 0
[pid=4419] ppid=4418 vsize=60064 CPUtime=51.08 cores=1,3,5,7
/proc/4419/stat : 4419 (pb_cplex) R 4418 4418 3419 0 -1 4202496 29865 0 0 0 5103 5 0 0 20 0 1 0 390982353 61505536 10295 33554432000 134512640 146736320 4290325968 4290320144 136403103 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4419/statm: 15016 10295 913 2985 0 11950 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 69212
[startup+102.307 s]
/proc/loadavg: 5.71 5.24 4.38 11/193 4430
/proc/meminfo: memFree=29822192/32873844 swapFree=7632/7632
[pid=4418] ppid=4416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4418/stat : 4418 (run) S 4416 4418 3419 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390982353 9367552 269 33554432000 4194304 5064252 140734463201296 140734463200208 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4418/statm: 2287 269 229 213 0 72 0
[pid=4419] ppid=4418 vsize=237720 CPUtime=183.53 cores=1,3,5,7
/proc/4419/stat : 4419 (pb_cplex) R 4418 4418 3419 0 -1 4202496 94222 0 0 0 18329 24 0 0 20 0 8 0 390982353 243425280 30917 33554432000 134512640 146736320 4290325968 4290318632 139044585 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4419/statm: 59430 30917 947 2985 0 56364 0
[pid=4419/tid=4424] ppid=4418 vsize=237720 CPUtime=13.52 cores=1,3,5,7
/proc/4419/task/4424/stat : 4424 (pb_cplex) R 4418 4418 3419 0 -1 4202560 1467 0 0 0 1352 0 0 0 20 0 8 0 390987608 243425280 30917 33554432000 134512640 146736320 4290325968 4110434896 136403112 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4419/tid=4425] ppid=4418 vsize=237720 CPUtime=13.46 cores=1,3,5,7
/proc/4419/task/4425/stat : 4425 (pb_cplex) R 4418 4418 3419 0 -1 4202560 11241 0 0 0 1342 4 0 0 20 0 8 0 390987608 243425280 30917 33554432000 134512640 146736320 4290325968 4099948752 136008065 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4419/tid=4426] ppid=4418 vsize=237720 CPUtime=13.4 cores=1,3,5,7
/proc/4419/task/4426/stat : 4426 (pb_cplex) R 4418 4418 3419 0 -1 4202560 6340 0 0 0 1338 2 0 0 20 0 8 0 390987608 243425280 30917 33554432000 134512640 146736320 4290325968 4089462876 135854505 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=4419/tid=4427] ppid=4418 vsize=237720 CPUtime=13.6 cores=1,3,5,7
/proc/4419/task/4427/stat : 4427 (pb_cplex) R 4418 4418 3419 0 -1 4202560 1678 0 0 0 1359 1 0 0 20 0 8 0 390987608 243425280 30917 33554432000 134512640 146736320 4290325968 4078977232 136008050 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4419/tid=4428] ppid=4418 vsize=237720 CPUtime=13.65 cores=1,3,5,7
/proc/4419/task/4428/stat : 4428 (pb_cplex) R 4418 4418 3419 0 -1 4202560 1676 0 0 0 1365 0 0 0 20 0 8 0 390987608 243425280 30917 33554432000 134512640 146736320 4290325968 4068491856 136403109 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=4419/tid=4429] ppid=4418 vsize=237720 CPUtime=13.54 cores=1,3,5,7
/proc/4419/task/4429/stat : 4429 (pb_cplex) R 4418 4418 3419 0 -1 4202560 11719 0 0 0 1351 3 0 0 20 0 8 0 390987608 243425280 30917 33554432000 134512640 146736320 4290325968 4058005712 136008042 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4419/tid=4430] ppid=4418 vsize=237720 CPUtime=13.49 cores=1,3,5,7
/proc/4419/task/4430/stat : 4430 (pb_cplex) R 4418 4418 3419 0 -1 4202560 18717 0 0 0 1344 5 0 0 20 0 8 0 390987608 243425280 30917 33554432000 134512640 146736320 4290325968 4047519952 136008416 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 183.53
Current children cumulated vsize (KiB) 246868
[startup+162.3 s]
/proc/loadavg: 7.99 5.96 4.68 12/193 4430
/proc/meminfo: memFree=29811940/32873844 swapFree=7632/7632
[pid=4418] ppid=4416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4418/stat : 4418 (run) S 4416 4418 3419 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390982353 9367552 269 33554432000 4194304 5064252 140734463201296 140734463200208 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4418/statm: 2287 269 229 213 0 72 0
[pid=4419] ppid=4418 vsize=239644 CPUtime=415.4 cores=1,3,5,7
/proc/4419/stat : 4419 (pb_cplex) R 4418 4418 3419 0 -1 4202496 154089 0 0 0 41492 48 0 0 20 0 8 0 390982353 245395456 33273 33554432000 134512640 146736320 4290325968 4290317712 136008178 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4419/statm: 59911 33273 947 2985 0 56845 0
[pid=4419/tid=4424] ppid=4418 vsize=239644 CPUtime=43.92 cores=1,3,5,7
/proc/4419/task/4424/stat : 4424 (pb_cplex) R 4418 4418 3419 0 -1 4202560 1761 0 0 0 4391 1 0 0 20 0 8 0 390987608 245395456 33273 33554432000 134512640 146736320 4290325968 4110434512 136008178 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4419/tid=4425] ppid=4418 vsize=239644 CPUtime=46.01 cores=1,3,5,7
/proc/4419/task/4425/stat : 4425 (pb_cplex) R 4418 4418 3419 0 -1 4202560 11517 0 0 0 4597 4 0 0 20 0 8 0 390987608 245395456 33273 33554432000 134512640 146736320 4290325968 4099947912 135999693 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4419/tid=4426] ppid=4418 vsize=239644 CPUtime=46.65 cores=1,3,5,7
/proc/4419/task/4426/stat : 4426 (pb_cplex) R 4418 4418 3419 0 -1 4202560 6581 0 0 0 4662 3 0 0 20 0 8 0 390987608 245395456 33273 33554432000 134512640 146736320 4290325968 4089462992 136008423 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4419/tid=4427] ppid=4418 vsize=239644 CPUtime=42.09 cores=1,3,5,7
/proc/4419/task/4427/stat : 4427 (pb_cplex) R 4418 4418 3419 0 -1 4202560 2016 0 0 0 4208 1 0 0 20 0 8 0 390987608 245395456 33273 33554432000 134512640 146736320 4290325968 4078977616 136403112 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4419/tid=4428] ppid=4418 vsize=239644 CPUtime=42.38 cores=1,3,5,7
/proc/4419/task/4428/stat : 4428 (pb_cplex) R 4418 4418 3419 0 -1 4202560 20161 0 0 0 4231 7 0 0 20 0 8 0 390987608 245395456 33273 33554432000 134512640 146736320 4290325968 4068492116 135983319 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4419/tid=4429] ppid=4418 vsize=239644 CPUtime=38.76 cores=1,3,5,7
/proc/4419/task/4429/stat : 4429 (pb_cplex) R 4418 4418 3419 0 -1 4202560 34962 0 0 0 3865 11 0 0 20 0 8 0 390987608 245395456 33273 33554432000 134512640 146736320 4290325968 4058005728 139028294 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=4419/tid=4430] ppid=4418 vsize=239644 CPUtime=42.89 cores=1,3,5,7
/proc/4419/task/4430/stat : 4430 (pb_cplex) R 4418 4418 3419 0 -1 4202560 27880 0 0 0 4280 9 0 0 20 0 8 0 390987608 245395456 33273 33554432000 134512640 146736320 4290325968 4047517072 135460385 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 415.4
Current children cumulated vsize (KiB) 248792
[startup+222.3 s]
/proc/loadavg: 8.30 6.41 4.91 9/185 4541
/proc/meminfo: memFree=29830276/32873844 swapFree=7632/7632
[pid=4418] ppid=4416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4418/stat : 4418 (run) S 4416 4418 3419 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390982353 9367552 269 33554432000 4194304 5064252 140734463201296 140734463200208 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4418/statm: 2287 269 229 213 0 72 0
[pid=4419] ppid=4418 vsize=241752 CPUtime=654.46 cores=1,3,5,7
/proc/4419/stat : 4419 (pb_cplex) S 4418 4418 3419 0 -1 4202496 270436 0 0 0 65360 86 0 0 20 0 8 0 390982353 247554048 35124 33554432000 134512640 146736320 4290325968 4290322320 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4419/statm: 60438 35124 947 2985 0 57372 0
[pid=4419/tid=4424] ppid=4418 vsize=241752 CPUtime=74.1 cores=1,3,5,7
/proc/4419/task/4424/stat : 4424 (pb_cplex) R 4418 4418 3419 0 -1 4202560 40381 0 0 0 7396 14 0 0 20 0 8 0 390987608 247554048 35124 33554432000 134512640 146736320 4290325968 4110433424 136008256 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4419/tid=4425] ppid=4418 vsize=241752 CPUtime=76.71 cores=1,3,5,7
################
# More data... #
################
############
# WARNING:
# current cumulated CPU time (1185.65 s) is less than in the last sample (1186.75 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1.09998 s) to the 'lost time'.
[startup+378 s]
/proc/loadavg: 11.62 8.15 5.76 10/193 4563
/proc/meminfo: memFree=29743364/32873844 swapFree=7632/7632
[pid=4418] ppid=4416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4418/stat : 4418 (run) S 4416 4418 3419 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390982353 9367552 269 33554432000 4194304 5064252 140734463201296 140734463200208 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4418/statm: 2287 269 229 213 0 72 0
[pid=4419] ppid=4418 vsize=242748 CPUtime=1186.75 cores=1,3,5,7
/proc/4419/stat : 4419 (pb_cplex) S 4418 4418 3419 0 -1 4202496 364344 0 0 0 118552 123 0 0 20 0 8 0 390982353 248573952 35434 33554432000 134512640 146736320 4290325968 4290322320 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4419/statm: 60687 35434 947 2985 0 57621 0
[pid=4419/tid=4424] ppid=4418 vsize=242748 CPUtime=164.17 cores=1,3,5,7
/proc/4419/task/4424/stat : 4424 (pb_cplex) S 4418 4418 3419 0 -1 4202560 75381 0 0 0 16393 24 0 0 20 0 8 0 390987608 248573952 35434 33554432000 134512640 146736320 4290325968 4110438032 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4419/tid=4425] ppid=4418 vsize=242748 CPUtime=153.91 cores=1,3,5,7
/proc/4419/task/4425/stat : 4425 (pb_cplex) S 4418 4418 3419 0 -1 4202560 44186 0 0 0 15375 16 0 0 20 0 8 0 390987608 248573952 35434 33554432000 134512640 146736320 4290325968 4099952272 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4419/tid=4426] ppid=4418 vsize=242748 CPUtime=162.19 cores=1,3,5,7
/proc/4419/task/4426/stat : 4426 (pb_cplex) R 4418 4418 3419 0 -1 4202560 7788 0 0 0 16212 7 0 0 20 0 8 0 390987608 248573952 35434 33554432000 134512640 146736320 4290325968 4089462288 136403129 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4419/tid=4427] ppid=4418 vsize=242748 CPUtime=103.81 cores=1,3,5,7
/proc/4419/task/4427/stat : 4427 (pb_cplex) S 4418 4418 3419 0 -1 4202560 2514 0 0 0 10376 5 0 0 20 0 8 0 390987608 248573952 35434 33554432000 134512640 146736320 4290325968 4078980752 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4419/tid=4428] ppid=4418 vsize=242748 CPUtime=128.78 cores=1,3,5,7
/proc/4419/task/4428/stat : 4428 (pb_cplex) S 4418 4418 3419 0 -1 4202560 66164 0 0 0 12855 23 0 0 20 0 8 0 390987608 248573952 35434 33554432000 134512640 146736320 4290325968 4068494992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4419/tid=4429] ppid=4418 vsize=242748 CPUtime=105.8 cores=1,3,5,7
/proc/4419/task/4429/stat : 4429 (pb_cplex) S 4418 4418 3419 0 -1 4202560 77585 0 0 0 10554 26 0 0 20 0 8 0 390987608 248573952 35434 33554432000 134512640 146736320 4290325968 4058009232 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4419/tid=4430] ppid=4418 vsize=242748 CPUtime=138.08 cores=1,3,5,7
/proc/4419/task/4430/stat : 4430 (pb_cplex) S 4418 4418 3419 0 -1 4202560 29696 0 0 0 13794 14 0 0 20 0 8 0 390987608 248573952 35434 33554432000 134512640 146736320 4290325968 4047523472 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1186.75
Current children cumulated vsize (KiB) 251896
[startup+378.1 s]
/proc/loadavg: 11.62 8.15 5.76 10/193 4563
/proc/meminfo: memFree=29743364/32873844 swapFree=7632/7632
[pid=4418] ppid=4416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4418/stat : 4418 (run) S 4416 4418 3419 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390982353 9367552 269 33554432000 4194304 5064252 140734463201296 140734463200208 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4418/statm: 2287 269 229 213 0 72 0
[pid=4419] ppid=4418 vsize=171896 CPUtime=1185.65 cores=1,3,5,7
/proc/4419/stat : 4419 (pb_cplex) R 4418 4418 3419 0 -1 4202496 364348 0 0 0 118427 138 0 0 20 0 1 0 390982353 176021504 26084 33554432000 134512640 146736320 4290325968 4290322712 144757825 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/4419/statm: 42974 26084 947 2985 0 39908 0
Current children cumulated CPU time (s) 1185.65
Current children cumulated vsize (KiB) 181044
#
############
[startup+402.3 s]
/proc/loadavg: 9.81 8.02 5.78 10/186 4563
/proc/meminfo: memFree=29802012/32873844 swapFree=7632/7632
[pid=4418] ppid=4416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4418/stat : 4418 (run) S 4416 4418 3419 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390982353 9367552 269 33554432000 4194304 5064252 140734463201296 140734463200208 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4418/statm: 2287 269 229 213 0 72 0
[pid=4419] ppid=4418 vsize=136236 CPUtime=1209.85 cores=1,3,5,7
/proc/4419/stat : 4419 (pb_cplex) R 4418 4418 3419 0 -1 4202496 364795 0 0 0 120846 139 0 0 20 0 1 0 390982353 139505664 20861 33554432000 134512640 146736320 4290325968 4290320008 135999808 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/4419/statm: 34059 20861 949 2985 0 30993 0
Current children cumulated CPU time (s) 1209.85
Current children cumulated vsize (KiB) 145384
[startup+462.3 s]
/proc/loadavg: 10.82 8.55 6.10 11/193 4577
/proc/meminfo: memFree=29651344/32873844 swapFree=7632/7632
[pid=4418] ppid=4416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4418/stat : 4418 (run) S 4416 4418 3419 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390982353 9367552 269 33554432000 4194304 5064252 140734463201296 140734463200208 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4418/statm: 2287 269 229 213 0 72 0
[pid=4419] ppid=4418 vsize=342972 CPUtime=1337.15 cores=1,3,5,7
/proc/4419/stat : 4419 (pb_cplex) R 4418 4418 3419 0 -1 4202496 445994 0 0 0 133545 170 0 0 20 0 8 0 390982353 351203328 57598 33554432000 134512640 146736320 4290325968 4290318800 136008050 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4419/statm: 85743 57598 976 2985 0 82677 0
[pid=4419/tid=4571] ppid=4418 vsize=342972 CPUtime=10.74 cores=1,3,5,7
/proc/4419/task/4571/stat : 4571 (pb_cplex) R 4418 4418 3419 0 -1 4202560 5722 0 0 0 1072 2 0 0 20 0 8 0 391022744 351203328 57598 33554432000 134512640 146736320 4290325968 4113063944 139042981 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4419/tid=4572] ppid=4418 vsize=342972 CPUtime=10.61 cores=1,3,5,7
/proc/4419/task/4572/stat : 4572 (pb_cplex) R 4418 4418 3419 0 -1 4202560 4660 0 0 0 1060 1 0 0 20 0 8 0 391022744 351203328 57598 33554432000 134512640 146736320 4290325968 4123554000 136008306 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4419/tid=4573] ppid=4418 vsize=342972 CPUtime=11.17 cores=1,3,5,7
/proc/4419/task/4573/stat : 4573 (pb_cplex) R 4418 4418 3419 0 -1 4202560 154 0 0 0 1117 0 0 0 20 0 8 0 391022744 351203328 57598 33554432000 134512640 146736320 4290325968 4134039760 136008263 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4419/tid=4574] ppid=4418 vsize=342972 CPUtime=10.64 cores=1,3,5,7
/proc/4419/task/4574/stat : 4574 (pb_cplex) R 4418 4418 3419 0 -1 4202560 5045 0 0 0 1062 2 0 0 20 0 8 0 391022744 351203328 57598 33554432000 134512640 146736320 4290325968 4078977232 136008056 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=4419/tid=4575] ppid=4418 vsize=342972 CPUtime=11.19 cores=1,3,5,7
/proc/4419/task/4575/stat : 4575 (pb_cplex) R 4418 4418 3419 0 -1 4202560 1286 0 0 0 1119 0 0 0 20 0 8 0 391022744 351203328 57598 33554432000 134512640 146736320 4290325968 3961270416 136008165 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4419/tid=4576] ppid=4418 vsize=342972 CPUtime=11.01 cores=1,3,5,7
/proc/4419/task/4576/stat : 4576 (pb_cplex) R 4418 4418 3419 0 -1 4202560 7675 0 0 0 1099 2 0 0 20 0 8 0 391022744 351203328 57598 33554432000 134512640 146736320 4290325968 3950784652 136388881 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4419/tid=4577] ppid=4418 vsize=342972 CPUtime=10.86 cores=1,3,5,7
/proc/4419/task/4577/stat : 4577 (pb_cplex) R 4418 4418 3419 0 -1 4202560 7848 0 0 0 1083 3 0 0 20 0 8 0 391022744 351203328 57598 33554432000 134512640 146736320 4290325968 3940302920 139042883 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1337.15
Current children cumulated vsize (KiB) 352120
[startup+522.3 s]
/proc/loadavg: 12.49 9.50 6.58 10/193 4578
/proc/meminfo: memFree=29652580/32873844 swapFree=7632/7632
[pid=4418] ppid=4416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4418/stat : 4418 (run) S 4416 4418 3419 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390982353 9367552 269 33554432000 4194304 5064252 140734463201296 140734463200208 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4418/statm: 2287 269 229 213 0 72 0
[pid=4419] ppid=4418 vsize=342732 CPUtime=1566.31 cores=1,3,5,7
/proc/4419/stat : 4419 (pb_cplex) S 4418 4418 3419 0 -1 4202496 482994 0 0 0 156446 185 0 0 20 0 8 0 390982353 350957568 57623 33554432000 134512640 146736320 4290325968 4290322320 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4419/statm: 85683 57623 976 2985 0 82617 0
[pid=4419/tid=4571] ppid=4418 vsize=342732 CPUtime=41.7 cores=1,3,5,7
/proc/4419/task/4571/stat : 4571 (pb_cplex) S 4418 4418 3419 0 -1 4202560 7047 0 0 0 4168 2 0 0 20 0 8 0 391022744 350957568 57623 33554432000 134512640 146736320 4290325968 4113071760 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4419/tid=4572] ppid=4418 vsize=342732 CPUtime=40.15 cores=1,3,5,7
/proc/4419/task/4572/stat : 4572 (pb_cplex) S 4418 4418 3419 0 -1 4202560 8417 0 0 0 4013 2 0 0 20 0 8 0 391022744 350957568 57623 33554432000 134512640 146736320 4290325968 4123557520 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4419/tid=4573] ppid=4418 vsize=342732 CPUtime=44.53 cores=1,3,5,7
/proc/4419/task/4573/stat : 4573 (pb_cplex) S 4418 4418 3419 0 -1 4202560 2497 0 0 0 4452 1 0 0 20 0 8 0 391022744 350957568 57623 33554432000 134512640 146736320 4290325968 4134043280 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4419/tid=4574] ppid=4418 vsize=342732 CPUtime=38.28 cores=1,3,5,7
/proc/4419/task/4574/stat : 4574 (pb_cplex) S 4418 4418 3419 0 -1 4202560 8101 0 0 0 3824 4 0 0 20 0 8 0 391022744 350957568 57623 33554432000 134512640 146736320 4290325968 4078980752 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4419/tid=4575] ppid=4418 vsize=342732 CPUtime=39.14 cores=1,3,5,7
/proc/4419/task/4575/stat : 4575 (pb_cplex) S 4418 4418 3419 0 -1 4202560 4295 0 0 0 3912 2 0 0 20 0 8 0 391022744 350957568 57623 33554432000 134512640 146736320 4290325968 3961278096 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4419/tid=4576] ppid=4418 vsize=342732 CPUtime=45.19 cores=1,3,5,7
/proc/4419/task/4576/stat : 4576 (pb_cplex) R 4418 4418 3419 0 -1 4202560 9437 0 0 0 4515 4 0 0 20 0 8 0 391022744 350957568 57623 33554432000 134512640 146736320 4290325968 3950788944 139023058 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4419/tid=4577] ppid=4418 vsize=342732 CPUtime=37.37 cores=1,3,5,7
/proc/4419/task/4577/stat : 4577 (pb_cplex) S 4418 4418 3419 0 -1 4202560 13338 0 0 0 3731 6 0 0 20 0 8 0 391022744 350957568 57623 33554432000 134512640 146736320 4290325968 3940306576 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1566.31
Current children cumulated vsize (KiB) 351880
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+581 s]
/proc/loadavg: 13.01 10.29 7.04 10/186 4578
/proc/meminfo: memFree=29698380/32873844 swapFree=7632/7632
[pid=4418] ppid=4416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4418/stat : 4418 (run) S 4416 4418 3419 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390982353 9367552 269 33554432000 4194304 5064252 140734463201296 140734463200208 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4418/statm: 2287 269 229 213 0 72 0
[pid=4419] ppid=4418 vsize=342540 CPUtime=1799.17 cores=1,3,5,7
/proc/4419/stat : 4419 (pb_cplex) R 4418 4418 3419 0 -1 4202496 532566 0 0 0 179714 203 0 0 20 0 8 0 390982353 350760960 59125 33554432000 134512640 146736320 4290325968 4290319048 136000488 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4419/statm: 85635 59125 976 2985 0 82569 0
[pid=4419/tid=4571] ppid=4418 vsize=342540 CPUtime=70.87 cores=1,3,5,7
/proc/4419/task/4571/stat : 4571 (pb_cplex) R 4418 4418 3419 0 -1 4202560 10254 0 0 0 7082 5 0 0 20 0 8 0 391022744 350760960 59125 33554432000 134512640 146736320 4290325968 4113067536 136403116 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=4419/tid=4572] ppid=4418 vsize=342540 CPUtime=68.81 cores=1,3,5,7
/proc/4419/task/4572/stat : 4572 (pb_cplex) R 4418 4418 3419 0 -1 4202560 11767 0 0 0 6876 5 0 0 20 0 8 0 391022744 350760960 59125 33554432000 134512640 146736320 4290325968 4123552960 135468697 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4419/tid=4573] ppid=4418 vsize=342540 CPUtime=73.64 cores=1,3,5,7
/proc/4419/task/4573/stat : 4573 (pb_cplex) R 4418 4418 3419 0 -1 4202560 5655 0 0 0 7360 4 0 0 20 0 8 0 391022744 350760960 59125 33554432000 134512640 146736320 4290325968 4134038672 136008309 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4419/tid=4574] ppid=4418 vsize=342540 CPUtime=67.4 cores=1,3,5,7
/proc/4419/task/4574/stat : 4574 (pb_cplex) R 4418 4418 3419 0 -1 4202560 10457 0 0 0 6735 5 0 0 20 0 8 0 391022744 350760960 59125 33554432000 134512640 146736320 4290325968 4078977232 136008065 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4419/tid=4575] ppid=4418 vsize=342540 CPUtime=68.24 cores=1,3,5,7
/proc/4419/task/4575/stat : 4575 (pb_cplex) R 4418 4418 3419 0 -1 4202560 7108 0 0 0 6820 4 0 0 20 0 8 0 391022744 350760960 59125 33554432000 134512640 146736320 4290325968 3961274576 136008177 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4419/tid=4576] ppid=4418 vsize=342540 CPUtime=74.5 cores=1,3,5,7
/proc/4419/task/4576/stat : 4576 (pb_cplex) R 4418 4418 3419 0 -1 4202560 13464 0 0 0 7443 7 0 0 20 0 8 0 391022744 350760960 59125 33554432000 134512640 146736320 4290325968 3950787912 136388081 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4419/tid=4577] ppid=4418 vsize=342540 CPUtime=66.42 cores=1,3,5,7
/proc/4419/task/4577/stat : 4577 (pb_cplex) R 4418 4418 3419 0 -1 4202560 18530 0 0 0 6633 9 0 0 20 0 8 0 391022744 350760960 59125 33554432000 134512640 146736320 4290325968 3940303056 136008056 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1799.17
Current children cumulated vsize (KiB) 351688
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4418 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1799.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 1.09998
# lost CPU user time (s): 1.25
# lost CPU system time (s): -0.15
Real time (s): 581.017
CPU time (s): 1800.27
CPU user time (s): 1798.39
CPU system time (s): 1.88
CPU usage (%): 309.848
Max. virtual memory (cumulated for all children) (KiB): 369632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 354
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 1
runsolver used 1.61075 second user time and 4.07538 second system time
The end