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-3740992-1339249740/watcher-3740992-1339249740 -o /tmp/evaluation-result-3740992-1339249740/solver-3740992-1339249740 -C 1800 -W 1900 -M 15500 run HOME/instance-3740992-1339249740.opb
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: 7.04 7.33 5.53 4/177 30492
/proc/meminfo: memFree=29200576/32873844 swapFree=7628/7628
[pid=30492] ppid=30490 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30492/stat : 30492 (run) S 30490 30492 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391098405 9367552 269 33554432000 4194304 5064252 140736646818640 140736646817552 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30492/statm: 2287 269 229 213 0 72 0
[startup+0.0351369 s]
/proc/loadavg: 7.04 7.33 5.53 4/177 30492
/proc/meminfo: memFree=29200576/32873844 swapFree=7628/7628
[pid=30492] ppid=30490 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30492/stat : 30492 (run) S 30490 30492 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391098405 9367552 269 33554432000 4194304 5064252 140736646818640 140736646817552 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30492/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100305 s]
/proc/loadavg: 7.04 7.33 5.53 4/177 30492
/proc/meminfo: memFree=29200576/32873844 swapFree=7628/7628
[pid=30492] ppid=30490 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30492/stat : 30492 (run) S 30490 30492 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391098405 9367552 269 33554432000 4194304 5064252 140736646818640 140736646817552 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30492/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300282 s]
/proc/loadavg: 7.04 7.33 5.53 4/177 30492
/proc/meminfo: memFree=29200576/32873844 swapFree=7628/7628
[pid=30492] ppid=30490 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30492/stat : 30492 (run) S 30490 30492 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391098405 9367552 269 33554432000 4194304 5064252 140736646818640 140736646817552 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30492/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700284 s]
/proc/loadavg: 7.04 7.33 5.53 4/177 30492
/proc/meminfo: memFree=29200576/32873844 swapFree=7628/7628
[pid=30492] ppid=30490 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30492/stat : 30492 (run) S 30490 30492 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391098405 9367552 269 33554432000 4194304 5064252 140736646818640 140736646817552 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30492/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 7.04 7.33 5.53 3/179 30494
/proc/meminfo: memFree=29163716/32873844 swapFree=7628/7628
[pid=30492] ppid=30490 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30492/stat : 30492 (run) S 30490 30492 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391098405 9367552 269 33554432000 4194304 5064252 140736646818640 140736646817552 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30492/statm: 2287 269 229 213 0 72 0
[pid=30493] ppid=30492 vsize=135944 CPUtime=1.48 cores=0,2,4,6
/proc/30493/stat : 30493 (pb_cplex) R 30492 30492 29579 0 -1 4202496 34624 0 0 0 143 5 0 0 20 0 1 0 391098405 139206656 30043 33554432000 134512640 146736320 4289414672 4289412672 135724015 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/30493/statm: 33986 30043 537 2985 0 30920 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 145092
[startup+11.1766 s]
/proc/loadavg: 7.04 7.33 5.53 3/179 30494
/proc/meminfo: memFree=29079004/32873844 swapFree=7628/7628
[pid=30492] ppid=30490 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30492/stat : 30492 (run) S 30490 30492 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391098405 9367552 269 33554432000 4194304 5064252 140736646818640 140736646817552 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30492/statm: 2287 269 229 213 0 72 0
[pid=30493] ppid=30492 vsize=343952 CPUtime=11.17 cores=0,2,4,6
/proc/30493/stat : 30493 (pb_cplex) R 30492 30492 29579 0 -1 4202496 85453 0 0 0 1101 16 0 0 20 0 1 0 391098405 352206848 45106 33554432000 134512640 146736320 4289414672 4289408696 135997313 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/30493/statm: 85988 45106 711 2985 0 82922 0
Current children cumulated CPU time (s) 11.17
Current children cumulated vsize (KiB) 353100
[startup+11.2503 s]
/proc/loadavg: 7.04 7.33 5.53 3/179 30494
/proc/meminfo: memFree=29079004/32873844 swapFree=7628/7628
[pid=30492] ppid=30490 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30492/stat : 30492 (run) S 30490 30492 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391098405 9367552 269 33554432000 4194304 5064252 140736646818640 140736646817552 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30492/statm: 2287 269 229 213 0 72 0
[pid=30493] ppid=30492 vsize=343956 CPUtime=11.24 cores=0,2,4,6
/proc/30493/stat : 30493 (pb_cplex) R 30492 30492 29579 0 -1 4202496 85454 0 0 0 1108 16 0 0 20 0 1 0 391098405 352210944 45107 33554432000 134512640 146736320 4289414672 4289408936 135983312 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/30493/statm: 85989 45107 711 2985 0 82923 0
Current children cumulated CPU time (s) 11.24
Current children cumulated vsize (KiB) 353104
[startup+23.1604 s]
/proc/loadavg: 6.42 7.19 5.50 3/179 30494
/proc/meminfo: memFree=29022328/32873844 swapFree=7628/7628
[pid=30492] ppid=30490 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30492/stat : 30492 (run) S 30490 30492 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391098405 9367552 269 33554432000 4194304 5064252 140736646818640 140736646817552 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30492/statm: 2287 269 229 213 0 72 0
[pid=30493] ppid=30492 vsize=344076 CPUtime=23.15 cores=0,2,4,6
/proc/30493/stat : 30493 (pb_cplex) R 30492 30492 29579 0 -1 4202496 85513 0 0 0 2299 16 0 0 20 0 1 0 391098405 352333824 45166 33554432000 134512640 146736320 4289414672 4289407500 135465182 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/30493/statm: 86019 45166 711 2985 0 82953 0
Current children cumulated CPU time (s) 23.15
Current children cumulated vsize (KiB) 353224
[startup+28.6973 s]
/proc/loadavg: 5.45 6.91 5.44 4/179 30494
/proc/meminfo: memFree=29022088/32873844 swapFree=7628/7628
[pid=30492] ppid=30490 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30492/stat : 30492 (run) S 30490 30492 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391098405 9367552 269 33554432000 4194304 5064252 140736646818640 140736646817552 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30492/statm: 2287 269 229 213 0 72 0
[pid=30493] ppid=30492 vsize=344096 CPUtime=28.69 cores=0,2,4,6
/proc/30493/stat : 30493 (pb_cplex) R 30492 30492 29579 0 -1 4202496 85520 0 0 0 2853 16 0 0 20 0 1 0 391098405 352354304 45173 33554432000 134512640 146736320 4289414672 4289409640 136015607 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/30493/statm: 86024 45173 711 2985 0 82958 0
Current children cumulated CPU time (s) 28.69
Current children cumulated vsize (KiB) 353244
[startup+52.5735 s]
/proc/loadavg: 5.25 6.85 5.43 3/179 30494
/proc/meminfo: memFree=29022096/32873844 swapFree=7628/7628
[pid=30492] ppid=30490 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30492/stat : 30492 (run) S 30490 30492 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391098405 9367552 269 33554432000 4194304 5064252 140736646818640 140736646817552 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30492/statm: 2287 269 229 213 0 72 0
[pid=30493] ppid=30492 vsize=344124 CPUtime=52.55 cores=0,2,4,6
/proc/30493/stat : 30493 (pb_cplex) R 30492 30492 29579 0 -1 4202496 85532 0 0 0 5239 16 0 0 20 0 1 0 391098405 352382976 45185 33554432000 134512640 146736320 4289414672 4289407936 138462642 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/30493/statm: 86031 45185 711 2985 0 82965 0
Current children cumulated CPU time (s) 52.55
Current children cumulated vsize (KiB) 353272
[startup+102.561 s]
/proc/loadavg: 3.37 6.00 5.23 3/180 30497
/proc/meminfo: memFree=29021196/32873844 swapFree=7628/7628
[pid=30492] ppid=30490 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30492/stat : 30492 (run) S 30490 30492 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391098405 9367552 269 33554432000 4194304 5064252 140736646818640 140736646817552 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30492/statm: 2287 269 229 213 0 72 0
[pid=30493] ppid=30492 vsize=344748 CPUtime=102.53 cores=0,2,4,6
/proc/30493/stat : 30493 (pb_cplex) R 30492 30492 29579 0 -1 4202496 85656 0 0 0 10237 16 0 0 20 0 1 0 391098405 353021952 45309 33554432000 134512640 146736320 4289414672 4289409640 136015567 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/30493/statm: 86187 45309 711 2985 0 83121 0
Current children cumulated CPU time (s) 102.53
Current children cumulated vsize (KiB) 353896
[startup+164.64 s]
/proc/loadavg: 2.59 5.38 5.06 3/179 30498
/proc/meminfo: memFree=29020980/32873844 swapFree=7628/7628
[pid=30492] ppid=30490 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30492/stat : 30492 (run) S 30490 30492 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391098405 9367552 269 33554432000 4194304 5064252 140736646818640 140736646817552 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30492/statm: 2287 269 229 213 0 72 0
[pid=30493] ppid=30492 vsize=344756 CPUtime=164.6 cores=0,2,4,6
/proc/30493/stat : 30493 (pb_cplex) R 30492 30492 29579 0 -1 4202496 85663 0 0 0 16443 17 0 0 20 0 1 0 391098405 353030144 45316 33554432000 134512640 146736320 4289414672 4289409608 136461573 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/30493/statm: 86189 45316 711 2985 0 83123 0
Current children cumulated CPU time (s) 164.6
Current children cumulated vsize (KiB) 353904
[startup+230.926 s]
/proc/loadavg: 2.22 4.76 4.87 3/179 30498
/proc/meminfo: memFree=29020728/32873844 swapFree=7628/7628
[pid=30492] ppid=30490 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30492/stat : 30492 (run) S 30490 30492 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391098405 9367552 269 33554432000 4194304 5064252 140736646818640 140736646817552 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30492/statm: 2287 269 229 213 0 72 0
[pid=30493] ppid=30492 vsize=344756 CPUtime=230.87 cores=0,2,4,6
/proc/30493/stat : 30493 (pb_cplex) R 30492 30492 29579 0 -1 4202496 85671 0 0 0 23070 17 0 0 20 0 1 0 391098405 353030144 45324 33554432000 134512640 146736320 4289414672 4289408696 135997316 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/30493/statm: 86189 45324 711 2985 0 83123 0
Current children cumulated CPU time (s) 230.87
Current children cumulated vsize (KiB) 353904
[startup+282.572 s]
/proc/loadavg: 2.08 4.26 4.68 3/179 30498
/proc/meminfo: memFree=29020660/32873844 swapFree=7628/7628
[pid=30492] ppid=30490 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30492/stat : 30492 (run) S 30490 30492 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391098405 9367552 269 33554432000 4194304 5064252 140736646818640 140736646817552 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30492/statm: 2287 269 229 213 0 72 0
[pid=30493] ppid=30492 vsize=344756 CPUtime=282.51 cores=0,2,4,6
/proc/30493/stat : 30493 (pb_cplex) R 30492 30492 29579 0 -1 4202496 85672 0 0 0 28234 17 0 0 20 0 1 0 391098405 353030144 45325 33554432000 134512640 146736320 4289414672 4289409640 136015689 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/30493/statm: 86189 45325 711 2985 0 83123 0
Current children cumulated CPU time (s) 282.51
Current children cumulated vsize (KiB) 353904
[startup+342.3 s]
/proc/loadavg: 3.54 4.12 4.60 10/186 30555
/proc/meminfo: memFree=29205624/32873844 swapFree=7628/7628
[pid=30492] ppid=30490 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30492/stat : 30492 (run) S 30490 30492 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391098405 9367552 269 33554432000 4194304 5064252 140736646818640 140736646817552 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30492/statm: 2287 269 229 213 0 72 0
[pid=30493] ppid=30492 vsize=344756 CPUtime=342.23 cores=0,2,4,6
/proc/30493/stat : 30493 (pb_cplex) R 30492 30492 29579 0 -1 4202496 85684 0 0 0 34205 18 0 0 20 0 1 0 391098405 353030144 47024 33554432000 134512640 146736320 4289414672 4289409608 136461487 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/30493/statm: 86189 47024 711 2985 0 83123 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 353904
[startup+402.3 s]
/proc/loadavg: 5.04 4.51 4.70 5/186 30569
/proc/meminfo: memFree=29050644/32873844 swapFree=7628/7628
[pid=30492] ppid=30490 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=30493] ppid=30492 vsize=620664 CPUtime=1062.11 cores=0,2,4,6
/proc/30493/stat : 30493 (pb_cplex) R 30492 30492 29579 0 -1 4202496 331594 0 0 0 106133 78 0 0 20 0 1 0 391098405 635559936 111563 33554432000 134512640 146736320 4289414672 4289408904 136461557 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/30493/statm: 155166 111563 832 2985 0 152100 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 629812
[startup+1122.3 s]
/proc/loadavg: 2.37 4.68 5.12 3/179 30725
/proc/meminfo: memFree=28950960/32873844 swapFree=7628/7628
[pid=30492] ppid=30490 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30492/stat : 30492 (run) S 30490 30492 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391098405 9367552 269 33554432000 4194304 5064252 140736646818640 140736646817552 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30492/statm: 2287 269 229 213 0 72 0
[pid=30493] ppid=30492 vsize=453708 CPUtime=1122.1 cores=0,2,4,6
/proc/30493/stat : 30493 (pb_cplex) R 30492 30492 29579 0 -1 4202496 387901 0 0 0 112118 92 0 0 20 0 1 0 391098405 464596992 68992 33554432000 134512640 146736320 4289414672 4289409232 136403103 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/30493/statm: 113427 68992 834 2985 0 110361 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 462856
[startup+1182.3 s]
/proc/loadavg: 2.13 4.19 4.92 3/179 30725
/proc/meminfo: memFree=29119552/32873844 swapFree=7628/7628
[pid=30492] ppid=30490 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30492/stat : 30492 (run) S 30490 30492 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391098405 9367552 269 33554432000 4194304 5064252 140736646818640 140736646817552 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30492/statm: 2287 269 229 213 0 72 0
[pid=30493] ppid=30492 vsize=457168 CPUtime=1182.1 cores=0,2,4,6
/proc/30493/stat : 30493 (pb_cplex) R 30492 30492 29579 0 -1 4202496 393385 0 0 0 118116 94 0 0 20 0 1 0 391098405 468140032 72593 33554432000 134512640 146736320 4289414672 4289409232 136403116 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/30493/statm: 114292 72593 834 2985 0 111226 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 466316
[startup+1242.3 s]
/proc/loadavg: 2.05 3.79 4.73 3/179 30725
/proc/meminfo: memFree=29118684/32873844 swapFree=7628/7628
[pid=30492] ppid=30490 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30492/stat : 30492 (run) S 30490 30492 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391098405 9367552 269 33554432000 4194304 5064252 140736646818640 140736646817552 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30492/statm: 2287 269 229 213 0 72 0
[pid=30493] ppid=30492 vsize=458040 CPUtime=1242.09 cores=0,2,4,6
/proc/30493/stat : 30493 (pb_cplex) R 30492 30492 29579 0 -1 4202496 398487 0 0 0 124113 96 0 0 20 0 1 0 391098405 469032960 72860 33554432000 134512640 146736320 4289414672 4289408680 139044505 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/30493/statm: 114510 72860 834 2985 0 111444 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 467188
[startup+1302.3 s]
/proc/loadavg: 2.10 3.48 4.57 3/180 30728
/proc/meminfo: memFree=29114316/32873844 swapFree=7628/7628
[pid=30492] ppid=30490 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30492/stat : 30492 (run) S 30490 30492 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391098405 9367552 269 33554432000 4194304 5064252 140736646818640 140736646817552 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30492/statm: 2287 269 229 213 0 72 0
[pid=30493] ppid=30492 vsize=458584 CPUtime=1302.08 cores=0,2,4,6
/proc/30493/stat : 30493 (pb_cplex) R 30492 30492 29579 0 -1 4202496 403622 0 0 0 130110 98 0 0 20 0 1 0 391098405 469590016 73255 33554432000 134512640 146736320 4289414672 4289408844 136017519 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/30493/statm: 114646 73255 834 2985 0 111580 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 467732
[startup+1362.3 s]
/proc/loadavg: 2.03 3.21 4.40 3/185 30735
/proc/meminfo: memFree=29070364/32873844 swapFree=7628/7628
[pid=30492] ppid=30490 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30492/stat : 30492 (run) S 30490 30492 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391098405 9367552 269 33554432000 4194304 5064252 140736646818640 140736646817552 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30492/statm: 2287 269 229 213 0 72 0
[pid=30493] ppid=30492 vsize=458924 CPUtime=1362.08 cores=0,2,4,6
/proc/30493/stat : 30493 (pb_cplex) R 30492 30492 29579 0 -1 4202496 408348 0 0 0 136108 100 0 0 20 0 1 0 391098405 469938176 74046 33554432000 134512640 146736320 4289414672 4289408532 136017763 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/30493/statm: 114731 74046 834 2985 0 111665 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 468072
[startup+1422.3 s]
/proc/loadavg: 2.01 2.98 4.25 3/186 30736
/proc/meminfo: memFree=29064508/32873844 swapFree=7628/7628
[pid=30492] ppid=30490 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30492/stat : 30492 (run) S 30490 30492 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391098405 9367552 269 33554432000 4194304 5064252 140736646818640 140736646817552 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30492/statm: 2287 269 229 213 0 72 0
[pid=30493] ppid=30492 vsize=459232 CPUtime=1422.06 cores=0,2,4,6
/proc/30493/stat : 30493 (pb_cplex) R 30492 30492 29579 0 -1 4202496 413116 0 0 0 142104 102 0 0 20 0 1 0 391098405 470253568 75441 33554432000 134512640 146736320 4289414672 4289408532 136017474 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/30493/statm: 114808 75441 834 2985 0 111742 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 468380
[startup+1482.31 s]
/proc/loadavg: 3.55 3.14 4.22 10/186 30736
/proc/meminfo: memFree=29030284/32873844 swapFree=7628/7628
[pid=30492] ppid=30490 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30492/stat : 30492 (run) S 30490 30492 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391098405 9367552 269 33554432000 4194304 5064252 140736646818640 140736646817552 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30492/statm: 2287 269 229 213 0 72 0
[pid=30493] ppid=30492 vsize=459336 CPUtime=1482.05 cores=0,2,4,6
/proc/30493/stat : 30493 (pb_cplex) R 30492 30492 29579 0 -1 4202496 417821 0 0 0 148102 103 0 0 20 0 1 0 391098405 470360064 75471 33554432000 134512640 146736320 4289414672 4289408532 136017491 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/30493/statm: 114834 75471 834 2985 0 111768 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 468484
[startup+1542.3 s]
/proc/loadavg: 7.00 4.21 4.51 10/186 30736
/proc/meminfo: memFree=29026192/32873844 swapFree=7628/7628
[pid=30492] ppid=30490 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30492/stat : 30492 (run) S 30490 30492 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391098405 9367552 269 33554432000 4194304 5064252 140736646818640 140736646817552 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30492/statm: 2287 269 229 213 0 72 0
[pid=30493] ppid=30492 vsize=459432 CPUtime=1542.04 cores=0,2,4,6
/proc/30493/stat : 30493 (pb_cplex) R 30492 30492 29579 0 -1 4202496 422527 0 0 0 154099 105 0 0 20 0 1 0 391098405 470458368 75490 33554432000 134512640 146736320 4289414672 4289408532 136017763 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/30493/statm: 114858 75490 834 2985 0 111792 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 468580
[startup+1602.3 s]
/proc/loadavg: 8.26 5.08 4.79 10/186 30736
/proc/meminfo: memFree=29017600/32873844 swapFree=7628/7628
[pid=30492] ppid=30490 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30492/stat : 30492 (run) S 30490 30492 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391098405 9367552 269 33554432000 4194304 5064252 140736646818640 140736646817552 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30492/statm: 2287 269 229 213 0 72 0
[pid=30493] ppid=30492 vsize=459432 CPUtime=1602.04 cores=0,2,4,6
/proc/30493/stat : 30493 (pb_cplex) R 30492 30492 29579 0 -1 4202496 426750 0 0 0 160097 107 0 0 20 0 1 0 391098405 470458368 75491 33554432000 134512640 146736320 4289414672 4289408844 136017763 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/30493/statm: 114858 75491 834 2985 0 111792 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 468580
[startup+1662.3 s]
/proc/loadavg: 8.73 5.79 5.05 10/186 30736
/proc/meminfo: memFree=29012000/32873844 swapFree=7628/7628
[pid=30492] ppid=30490 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30492/stat : 30492 (run) S 30490 30492 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391098405 9367552 269 33554432000 4194304 5064252 140736646818640 140736646817552 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30492/statm: 2287 269 229 213 0 72 0
[pid=30493] ppid=30492 vsize=459532 CPUtime=1662.02 cores=0,2,4,6
/proc/30493/stat : 30493 (pb_cplex) R 30492 30492 29579 0 -1 4202496 431420 0 0 0 166093 109 0 0 20 0 1 0 391098405 470560768 75515 33554432000 134512640 146736320 4289414672 4289408744 136384743 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/30493/statm: 114883 75515 834 2985 0 111817 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 468680
[startup+1722.3 s]
/proc/loadavg: 8.90 6.37 5.30 9/186 30737
/proc/meminfo: memFree=29011504/32873844 swapFree=7628/7628
[pid=30492] ppid=30490 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30492/stat : 30492 (run) S 30490 30492 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391098405 9367552 269 33554432000 4194304 5064252 140736646818640 140736646817552 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30492/statm: 2287 269 229 213 0 72 0
[pid=30493] ppid=30492 vsize=459584 CPUtime=1722.01 cores=0,2,4,6
/proc/30493/stat : 30493 (pb_cplex) R 30492 30492 29579 0 -1 4202496 435620 0 0 0 172091 110 0 0 20 0 1 0 391098405 470614016 75527 33554432000 134512640 146736320 4289414672 4289408844 135846887 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/30493/statm: 114896 75527 834 2985 0 111830 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 468732
[startup+1782.3 s]
/proc/loadavg: 7.57 6.46 5.39 6/186 30737
/proc/meminfo: memFree=29011008/32873844 swapFree=7628/7628
[pid=30492] ppid=30490 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30492/stat : 30492 (run) S 30490 30492 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391098405 9367552 269 33554432000 4194304 5064252 140736646818640 140736646817552 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30492/statm: 2287 269 229 213 0 72 0
[pid=30493] ppid=30492 vsize=459584 CPUtime=1782 cores=0,2,4,6
/proc/30493/stat : 30493 (pb_cplex) R 30492 30492 29579 0 -1 4202496 440332 0 0 0 178089 111 0 0 20 0 1 0 391098405 470614016 75531 33554432000 134512640 146736320 4289414672 4289409280 139046538 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/30493/statm: 114896 75531 834 2985 0 111830 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 468732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 6.31 6.25 5.35 3/179 30787
/proc/meminfo: memFree=29121768/32873844 swapFree=7628/7628
[pid=30492] ppid=30490 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30492/stat : 30492 (run) S 30490 30492 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391098405 9367552 269 33554432000 4194304 5064252 140736646818640 140736646817552 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30492/statm: 2287 269 229 213 0 72 0
[pid=30493] ppid=30492 vsize=459584 CPUtime=1800.01 cores=0,2,4,6
/proc/30493/stat : 30493 (pb_cplex) R 30492 30492 29579 0 -1 4202496 441747 0 0 0 179889 112 0 0 20 0 1 0 391098405 470614016 75531 33554432000 134512640 146736320 4289414672 4289408752 136384892 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/30493/statm: 114896 75531 834 2985 0 111830 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 468732
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)
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1798.9
CPU system time (s): 1.12883
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 674092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.9
system time used= 1.12883
maximum resident set size= 480676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 442104
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= 31
involuntary context switches= 2134
runsolver used 3.09053 second user time and 8.06677 second system time
The end