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-3743193-1339251640/watcher-3743193-1339251640 -o /tmp/evaluation-result-3743193-1339251640/solver-3743193-1339251640 -C 1800 -W 1900 -M 15500 run HOME/instance-3743193-1339251640.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: 2.43 4.64 5.62 3/178 5997
/proc/meminfo: memFree=29767268/32873844 swapFree=7628/7628
[pid=5997] ppid=5995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5997/stat : 5997 (run) S 5995 5997 4561 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391289040 9367552 269 33554432000 4194304 5064252 140733310230640 140733310229552 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5997/statm: 2287 269 229 213 0 72 0

[startup+0.106042 s]
/proc/loadavg: 2.43 4.64 5.62 3/178 5997
/proc/meminfo: memFree=29767268/32873844 swapFree=7628/7628
[pid=5997] ppid=5995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5997/stat : 5997 (run) S 5995 5997 4561 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391289040 9367552 269 33554432000 4194304 5064252 140733310230640 140733310229552 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5997/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.200266 s]
/proc/loadavg: 2.43 4.64 5.62 3/178 5997
/proc/meminfo: memFree=29767268/32873844 swapFree=7628/7628
[pid=5997] ppid=5995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5997/stat : 5997 (run) S 5995 5997 4561 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391289040 9367552 269 33554432000 4194304 5064252 140733310230640 140733310229552 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5997/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300257 s]
/proc/loadavg: 2.43 4.64 5.62 3/178 5997
/proc/meminfo: memFree=29767268/32873844 swapFree=7628/7628
[pid=5997] ppid=5995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5997/stat : 5997 (run) S 5995 5997 4561 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391289040 9367552 269 33554432000 4194304 5064252 140733310230640 140733310229552 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5997/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.70029 s]
/proc/loadavg: 2.43 4.64 5.62 3/178 5997
/proc/meminfo: memFree=29767268/32873844 swapFree=7628/7628
[pid=5997] ppid=5995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5997/stat : 5997 (run) S 5995 5997 4561 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391289040 9367552 269 33554432000 4194304 5064252 140733310230640 140733310229552 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5997/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: 2.43 4.64 5.62 3/180 5999
/proc/meminfo: memFree=29744080/32873844 swapFree=7628/7628
[pid=5997] ppid=5995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5997/stat : 5997 (run) S 5995 5997 4561 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391289040 9367552 269 33554432000 4194304 5064252 140733310230640 140733310229552 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5997/statm: 2287 269 229 213 0 72 0
[pid=5998] ppid=5997 vsize=64748 CPUtime=1.49 cores=1,3,5,7
/proc/5998/stat : 5998 (pb_cplex) R 5997 5997 4561 0 -1 4202496 7534 0 0 0 148 1 0 0 20 0 1 0 391289040 66301952 7141 33554432000 134512640 146736320 4289280080 4289278000 140679052 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/5998/statm: 16187 7141 1090 2985 0 6227 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 73896

[startup+3.10027 s]
/proc/loadavg: 2.39 4.60 5.61 3/180 5999
/proc/meminfo: memFree=29742716/32873844 swapFree=7628/7628
[pid=5997] ppid=5995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5997/stat : 5997 (run) S 5995 5997 4561 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391289040 9367552 269 33554432000 4194304 5064252 140733310230640 140733310229552 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5997/statm: 2287 269 229 213 0 72 0
[pid=5998] ppid=5997 vsize=65672 CPUtime=3.09 cores=1,3,5,7
/proc/5998/stat : 5998 (pb_cplex) R 5997 5997 4561 0 -1 4202496 7889 0 0 0 308 1 0 0 20 0 1 0 391289040 67248128 7496 33554432000 134512640 146736320 4289280080 4289277916 140526528 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/5998/statm: 16418 7496 1232 2985 0 6458 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 74820

[startup+6.30031 s]
/proc/loadavg: 2.39 4.60 5.61 3/180 5999
/proc/meminfo: memFree=29677280/32873844 swapFree=7628/7628
[pid=5997] ppid=5995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5997/stat : 5997 (run) S 5995 5997 4561 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391289040 9367552 269 33554432000 4194304 5064252 140733310230640 140733310229552 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5997/statm: 2287 269 229 213 0 72 0
[pid=5998] ppid=5997 vsize=172936 CPUtime=6.28 cores=1,3,5,7
/proc/5998/stat : 5998 (pb_cplex) R 5997 5997 4561 0 -1 4202496 36240 0 0 0 622 6 0 0 20 0 1 0 391289040 177086464 35698 33554432000 134512640 146736320 4289280080 4289278104 144716523 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/5998/statm: 43234 35698 4260 2985 0 33274 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 182084

[startup+12.7003 s]
/proc/loadavg: 2.33 4.51 5.57 3/180 5999
/proc/meminfo: memFree=29601680/32873844 swapFree=7628/7628
[pid=5997] ppid=5995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5997/stat : 5997 (run) S 5995 5997 4561 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391289040 9367552 269 33554432000 4194304 5064252 140733310230640 140733310229552 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5997/statm: 2287 269 229 213 0 72 0
[pid=5998] ppid=5997 vsize=216136 CPUtime=12.69 cores=1,3,5,7
/proc/5998/stat : 5998 (pb_cplex) R 5997 5997 4561 0 -1 4202496 48346 0 0 0 1260 9 0 0 20 0 1 0 391289040 221323264 47614 33554432000 134512640 146736320 4289280080 4289277936 140528748 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/5998/statm: 54034 47614 5953 2985 0 44074 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 225284

[startup+25.5003 s]
/proc/loadavg: 2.28 4.43 5.53 3/179 5999
/proc/meminfo: memFree=29593132/32873844 swapFree=7628/7628
[pid=5997] ppid=5995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5997/stat : 5997 (run) S 5995 5997 4561 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391289040 9367552 269 33554432000 4194304 5064252 140733310230640 140733310229552 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5997/statm: 2287 269 229 213 0 72 0
[pid=5998] ppid=5997 vsize=223872 CPUtime=25.48 cores=1,3,5,7
/proc/5998/stat : 5998 (pb_cplex) R 5997 5997 4561 0 -1 4202496 51517 0 0 0 2538 10 0 0 20 0 1 0 391289040 229244928 50785 33554432000 134512640 146736320 4289280080 4289278064 140683296 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/5998/statm: 55968 50785 7182 2985 0 46008 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 233020

[startup+51.1003 s]
/proc/loadavg: 2.18 4.23 5.43 3/179 5999
/proc/meminfo: memFree=29593000/32873844 swapFree=7628/7628
[pid=5997] ppid=5995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5997/stat : 5997 (run) S 5995 5997 4561 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391289040 9367552 269 33554432000 4194304 5064252 140733310230640 140733310229552 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5997/statm: 2287 269 229 213 0 72 0
[pid=5998] ppid=5997 vsize=224004 CPUtime=51.07 cores=1,3,5,7
/proc/5998/stat : 5998 (pb_cplex) R 5997 5997 4561 0 -1 4202496 51559 0 0 0 5097 10 0 0 20 0 1 0 391289040 229380096 50820 33554432000 134512640 146736320 4289280080 4289277968 141028044 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/5998/statm: 56001 50820 7182 2985 0 46041 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 233152

[startup+102.3 s]
/proc/loadavg: 2.07 3.85 5.23 3/179 6000
/proc/meminfo: memFree=29592656/32873844 swapFree=7628/7628
[pid=5997] ppid=5995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5997/stat : 5997 (run) S 5995 5997 4561 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391289040 9367552 269 33554432000 4194304 5064252 140733310230640 140733310229552 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5997/statm: 2287 269 229 213 0 72 0
[pid=5998] ppid=5997 vsize=224136 CPUtime=102.27 cores=1,3,5,7
/proc/5998/stat : 5998 (pb_cplex) R 5997 5997 4561 0 -1 4202496 51594 0 0 0 10217 10 0 0 20 0 1 0 391289040 229515264 50855 33554432000 134512640 146736320 4289280080 4289278000 140679015 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/5998/statm: 56034 50855 7182 2985 0 46074 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 233284

[startup+162.3 s]
/proc/loadavg: 2.03 3.54 5.04 3/179 6000
/proc/meminfo: memFree=29591688/32873844 swapFree=7628/7628
[pid=5997] ppid=5995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5997/stat : 5997 (run) S 5995 5997 4561 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391289040 9367552 269 33554432000 4194304 5064252 140733310230640 140733310229552 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5997/statm: 2287 269 229 213 0 72 0
[pid=5998] ppid=5997 vsize=224268 CPUtime=162.26 cores=1,3,5,7
/proc/5998/stat : 5998 (pb_cplex) R 5997 5997 4561 0 -1 4202496 51622 0 0 0 16216 10 0 0 20 0 1 0 391289040 229650432 51010 33554432000 134512640 146736320 4289280080 4289277936 140528748 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/5998/statm: 56067 51010 7182 2985 0 46107 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 233416

[startup+222.306 s]
/proc/loadavg: 2.04 3.25 4.84 3/179 6000
/proc/meminfo: memFree=29591812/32873844 swapFree=7628/7628
[pid=5997] ppid=5995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5997/stat : 5997 (run) S 5995 5997 4561 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391289040 9367552 269 33554432000 4194304 5064252 140733310230640 140733310229552 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5997/statm: 2287 269 229 213 0 72 0
[pid=5998] ppid=5997 vsize=224400 CPUtime=222.25 cores=1,3,5,7
/proc/5998/stat : 5998 (pb_cplex) R 5997 5997 4561 0 -1 4202496 51645 0 0 0 22215 10 0 0 20 0 1 0 391289040 229785600 51033 33554432000 134512640 146736320 4289280080 4289277932 140528640 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/5998/statm: 56100 51033 7182 2985 0 46140 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 233548

[startup+282.3 s]
/proc/loadavg: 2.01 3.04 4.67 3/179 6000
/proc/meminfo: memFree=29591688/32873844 swapFree=7628/7628
[pid=5997] ppid=5995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5997/stat : 5997 (run) S 5995 5997 4561 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391289040 9367552 269 33554432000 4194304 5064252 140733310230640 140733310229552 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5997/statm: 2287 269 229 213 0 72 0
[pid=5998] ppid=5997 vsize=224400 CPUtime=282.24 cores=1,3,5,7
/proc/5998/stat : 5998 (pb_cplex) R 5997 5997 4561 0 -1 4202496 51663 0 0 0 28214 10 0 0 20 0 1 0 391289040 229785600 51051 33554432000 134512640 146736320 4289280080 4289278064 140683304 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/5998/statm: 56100 51051 7182 2985 0 46140 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 233548

[startup+342.3 s]
/proc/loadavg: 2.00 2.83 4.49 3/179 6000
/proc/meminfo: memFree=29591688/32873844 swapFree=7628/7628
[pid=5997] ppid=5995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5997/stat : 5997 (run) S 5995 5997 4561 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391289040 9367552 269 33554432000 4194304 5064252 140733310230640 140733310229552 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5997/statm: 2287 269 229 213 0 72 0
[pid=5998] ppid=5997 vsize=272984 CPUtime=342.23 cores=1,3,5,7
/proc/5998/stat : 5998 (pb_cplex) R 5997 5997 4561 0 -1 4202496 66771 0 0 0 34209 14 0 0 20 0 1 0 391289040 279535616 61808 33554432000 134512640 146736320 4289280080 4289278248 144716523 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/5998/statm: 68246 61808 530 2985 0 65180 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 282132

[startup+402.3 s]
/proc/loadavg: 2.08 2.70 4.35 3/179 6001
/proc/meminfo: memFree=28971796/32873844 swapFree=7628/7628
[pid=5997] ppid=5995 vsize=9148 CPUtime=0 cores=1,3,5,7

################
# More data... #
################

[startup+1362.3 s]
/proc/loadavg: 1.01 1.46 2.58 2/172 6038
/proc/meminfo: memFree=29263772/32873844 swapFree=7628/7628
[pid=5997] ppid=5995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5997/stat : 5997 (run) S 5995 5997 4561 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391289040 9367552 269 33554432000 4194304 5064252 140733310230640 140733310229552 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5997/statm: 2287 269 229 213 0 72 0
[pid=5998] ppid=5997 vsize=702912 CPUtime=1362.06 cores=1,3,5,7
/proc/5998/stat : 5998 (pb_cplex) R 5997 5997 4561 0 -1 4202496 1413935 0 0 0 135630 576 0 0 20 0 1 0 391289040 719781888 147564 33554432000 134512640 146736320 4289280080 4289274716 135855174 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/5998/statm: 175728 147564 921 2985 0 172662 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 712060

[startup+1422.3 s]
/proc/loadavg: 1.00 1.37 2.48 2/172 6038
/proc/meminfo: memFree=29249220/32873844 swapFree=7628/7628
[pid=5997] ppid=5995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5997/stat : 5997 (run) S 5995 5997 4561 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391289040 9367552 269 33554432000 4194304 5064252 140733310230640 140733310229552 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5997/statm: 2287 269 229 213 0 72 0
[pid=5998] ppid=5997 vsize=703572 CPUtime=1422.06 cores=1,3,5,7
/proc/5998/stat : 5998 (pb_cplex) R 5997 5997 4561 0 -1 4202496 1426422 0 0 0 141625 581 0 0 20 0 1 0 391289040 720457728 151157 33554432000 134512640 146736320 4289280080 4289274672 136384852 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/5998/statm: 175893 151157 921 2985 0 172827 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 712720

[startup+1482.3 s]
/proc/loadavg: 1.00 1.30 2.38 2/172 6038
/proc/meminfo: memFree=29228620/32873844 swapFree=7628/7628
[pid=5997] ppid=5995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5997/stat : 5997 (run) S 5995 5997 4561 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391289040 9367552 269 33554432000 4194304 5064252 140733310230640 140733310229552 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5997/statm: 2287 269 229 213 0 72 0
[pid=5998] ppid=5997 vsize=720496 CPUtime=1482.04 cores=1,3,5,7
/proc/5998/stat : 5998 (pb_cplex) R 5997 5997 4561 0 -1 4202496 1446163 0 0 0 147615 589 0 0 20 0 1 0 391289040 737787904 156544 33554432000 134512640 146736320 4289280080 4289274864 136485501 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/5998/statm: 180124 156544 941 2985 0 177058 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 729644

[startup+1542.31 s]
/proc/loadavg: 1.00 1.24 2.29 2/172 6038
/proc/meminfo: memFree=29237560/32873844 swapFree=7628/7628
[pid=5997] ppid=5995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5997/stat : 5997 (run) S 5995 5997 4561 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391289040 9367552 269 33554432000 4194304 5064252 140733310230640 140733310229552 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5997/statm: 2287 269 229 213 0 72 0
[pid=5998] ppid=5997 vsize=720908 CPUtime=1542.04 cores=1,3,5,7
/proc/5998/stat : 5998 (pb_cplex) R 5997 5997 4561 0 -1 4202496 1515428 0 0 0 153590 614 0 0 20 0 1 0 391289040 738209792 154278 33554432000 134512640 146736320 4289280080 4289274120 135999265 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/5998/statm: 180227 154278 945 2985 0 177161 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 730056

[startup+1602.3 s]
/proc/loadavg: 1.00 1.20 2.21 2/172 6038
/proc/meminfo: memFree=29225992/32873844 swapFree=7628/7628
[pid=5997] ppid=5995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5997/stat : 5997 (run) S 5995 5997 4561 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391289040 9367552 269 33554432000 4194304 5064252 140733310230640 140733310229552 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5997/statm: 2287 269 229 213 0 72 0
[pid=5998] ppid=5997 vsize=722316 CPUtime=1602.02 cores=1,3,5,7
/proc/5998/stat : 5998 (pb_cplex) R 5997 5997 4561 0 -1 4202496 1527666 0 0 0 159580 622 0 0 20 0 1 0 391289040 739651584 157340 33554432000 134512640 146736320 4289280080 4289273756 135855165 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/5998/statm: 180579 157340 945 2985 0 177513 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 731464

[startup+1662.3 s]
/proc/loadavg: 1.00 1.16 2.13 2/172 6039
/proc/meminfo: memFree=29202760/32873844 swapFree=7628/7628
[pid=5997] ppid=5995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5997/stat : 5997 (run) S 5995 5997 4561 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391289040 9367552 269 33554432000 4194304 5064252 140733310230640 140733310229552 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5997/statm: 2287 269 229 213 0 72 0
[pid=5998] ppid=5997 vsize=722968 CPUtime=1662.01 cores=1,3,5,7
/proc/5998/stat : 5998 (pb_cplex) R 5997 5997 4561 0 -1 4202496 1545515 0 0 0 165569 632 0 0 20 0 1 0 391289040 740319232 162957 33554432000 134512640 146736320 4289280080 4289273756 135855162 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/5998/statm: 180742 162957 945 2985 0 177676 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 732116

[startup+1722.3 s]
/proc/loadavg: 1.00 1.13 2.06 2/179 6046
/proc/meminfo: memFree=28374268/32873844 swapFree=7628/7628
[pid=5997] ppid=5995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5997/stat : 5997 (run) S 5995 5997 4561 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391289040 9367552 269 33554432000 4194304 5064252 140733310230640 140733310229552 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5997/statm: 2287 269 229 213 0 72 0
[pid=5998] ppid=5997 vsize=2078080 CPUtime=1722.02 cores=1,3,5,7
/proc/5998/stat : 5998 (pb_cplex) R 5997 5997 4561 0 -1 4202496 1752117 0 0 0 171516 686 0 0 20 0 8 0 391289040 2127953920 369421 33554432000 134512640 146736320 4289280080 4289272760 136475862 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5998/statm: 519520 369421 967 2985 0 516454 0
[pid=5998/tid=6040] ppid=5997 vsize=2078080 CPUtime=0 cores=1,3,5,7
/proc/5998/task/6040/stat : 6040 (pb_cplex) S 5997 5997 4561 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391459328 2127953920 369421 33554432000 134512640 146736320 4289280080 2524663440 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5998/tid=6041] ppid=5997 vsize=2078080 CPUtime=0 cores=1,3,5,7
/proc/5998/task/6041/stat : 6041 (pb_cplex) S 5997 5997 4561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391459328 2127953920 369421 33554432000 134512640 146736320 4289280080 2514177680 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5998/tid=6042] ppid=5997 vsize=2078080 CPUtime=0 cores=1,3,5,7
/proc/5998/task/6042/stat : 6042 (pb_cplex) S 5997 5997 4561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391459328 2127953920 369421 33554432000 134512640 146736320 4289280080 2503691920 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5998/tid=6043] ppid=5997 vsize=2078080 CPUtime=0 cores=1,3,5,7
/proc/5998/task/6043/stat : 6043 (pb_cplex) S 5997 5997 4561 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391459328 2127953920 369421 33554432000 134512640 146736320 4289280080 2493206160 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5998/tid=6044] ppid=5997 vsize=2078080 CPUtime=0 cores=1,3,5,7
/proc/5998/task/6044/stat : 6044 (pb_cplex) S 5997 5997 4561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391459328 2127953920 369421 33554432000 134512640 146736320 4289280080 2482720400 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5998/tid=6045] ppid=5997 vsize=2078080 CPUtime=0 cores=1,3,5,7
/proc/5998/task/6045/stat : 6045 (pb_cplex) S 5997 5997 4561 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391459328 2127953920 369421 33554432000 134512640 146736320 4289280080 2472234640 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5998/tid=6046] ppid=5997 vsize=2078080 CPUtime=0 cores=1,3,5,7
/proc/5998/task/6046/stat : 6046 (pb_cplex) S 5997 5997 4561 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391459328 2127953920 369421 33554432000 134512640 146736320 4289280080 2461748880 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 2087228

[startup+1782.3 s]
/proc/loadavg: 1.00 1.10 1.99 2/180 6049
/proc/meminfo: memFree=28360292/32873844 swapFree=7628/7628
[pid=5997] ppid=5995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5997/stat : 5997 (run) S 5995 5997 4561 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391289040 9367552 269 33554432000 4194304 5064252 140733310230640 140733310229552 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5997/statm: 2287 269 229 213 0 72 0
[pid=5998] ppid=5997 vsize=2082148 CPUtime=1782.02 cores=1,3,5,7
/proc/5998/stat : 5998 (pb_cplex) R 5997 5997 4561 0 -1 4202496 1776176 0 0 0 177506 696 0 0 20 0 8 0 391289040 2132119552 372727 33554432000 134512640 146736320 4289280080 4289272772 136385177 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5998/statm: 520537 372727 969 2985 0 517471 0
[pid=5998/tid=6040] ppid=5997 vsize=2082148 CPUtime=0 cores=1,3,5,7
/proc/5998/task/6040/stat : 6040 (pb_cplex) S 5997 5997 4561 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391459328 2132119552 372727 33554432000 134512640 146736320 4289280080 2524663440 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5998/tid=6041] ppid=5997 vsize=2082148 CPUtime=0 cores=1,3,5,7
/proc/5998/task/6041/stat : 6041 (pb_cplex) S 5997 5997 4561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391459328 2132119552 372727 33554432000 134512640 146736320 4289280080 2514177680 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5998/tid=6042] ppid=5997 vsize=2082148 CPUtime=0 cores=1,3,5,7
/proc/5998/task/6042/stat : 6042 (pb_cplex) S 5997 5997 4561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391459328 2132119552 372727 33554432000 134512640 146736320 4289280080 2503691920 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5998/tid=6043] ppid=5997 vsize=2082148 CPUtime=0 cores=1,3,5,7
/proc/5998/task/6043/stat : 6043 (pb_cplex) S 5997 5997 4561 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391459328 2132119552 372727 33554432000 134512640 146736320 4289280080 2493206160 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5998/tid=6044] ppid=5997 vsize=2082148 CPUtime=0 cores=1,3,5,7
/proc/5998/task/6044/stat : 6044 (pb_cplex) S 5997 5997 4561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391459328 2132119552 372727 33554432000 134512640 146736320 4289280080 2482720400 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5998/tid=6045] ppid=5997 vsize=2082148 CPUtime=0 cores=1,3,5,7
/proc/5998/task/6045/stat : 6045 (pb_cplex) S 5997 5997 4561 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391459328 2132119552 372727 33554432000 134512640 146736320 4289280080 2472234640 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5998/tid=6046] ppid=5997 vsize=2082148 CPUtime=0 cores=1,3,5,7
/proc/5998/task/6046/stat : 6046 (pb_cplex) S 5997 5997 4561 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391459328 2132119552 372727 33554432000 134512640 146736320 4289280080 2461748880 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 2091296



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.2 s]
/proc/loadavg: 1.00 1.09 1.97 2/173 6049
/proc/meminfo: memFree=29309168/32873844 swapFree=7628/7628
[pid=5997] ppid=5995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5997/stat : 5997 (run) S 5995 5997 4561 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391289040 9367552 269 33554432000 4194304 5064252 140733310230640 140733310229552 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5997/statm: 2287 269 229 213 0 72 0
[pid=5998] ppid=5997 vsize=621320 CPUtime=1800 cores=1,3,5,7
/proc/5998/stat : 5998 (pb_cplex) R 5997 5997 4561 0 -1 4202496 1799304 0 0 0 179285 715 0 0 20 0 1 0 391289040 636231680 136264 33554432000 134512640 146736320 4289280080 4289278968 136765704 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/5998/statm: 155330 136264 975 2985 0 152264 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 630468

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.2 s]
/proc/loadavg: 1.00 1.09 1.97 2/173 6049
/proc/meminfo: memFree=29309168/32873844 swapFree=7628/7628
[pid=5997] ppid=5995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5997/stat : 5997 (run) S 5995 5997 4561 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391289040 9367552 269 33554432000 4194304 5064252 140733310230640 140733310229552 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5997/statm: 2287 269 229 213 0 72 0
[pid=5998] ppid=5997 vsize=621320 CPUtime=1800 cores=1,3,5,7
/proc/5998/stat : 5998 (pb_cplex) R 5997 5997 4561 0 -1 4202496 1799304 0 0 0 179285 715 0 0 20 0 1 0 391289040 636231680 136264 33554432000 134512640 146736320 4289280080 4289278968 136765704 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/5998/statm: 155330 136264 975 2985 0 152264 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 630468

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5997 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 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.21
CPU time (s): 1800
CPU user time (s): 1792.85
CPU system time (s): 7.15
CPU usage (%): 99.9883
Max. virtual memory (cumulated for all children) (KiB): 2104508

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 5.2702 second user time and 9.03463 second system time

The end