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-3743226-1339251655/watcher-3743226-1339251655 -o /tmp/evaluation-result-3743226-1339251655/solver-3743226-1339251655 -C 1800 -W 1900 -M 15500 run HOME/instance-3743226-1339251655.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: 2.06 2.02 2.61 3/180 22069
/proc/meminfo: memFree=31164056/32873844 swapFree=7632/7632
[pid=22069] ppid=22067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22069/stat : 22069 (run) S 22067 22069 20922 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35132263 9367552 270 33554432000 4194304 5064252 140733812277456 140733812276368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22069/statm: 2287 270 229 213 0 72 0

[startup+0.101645 s]
/proc/loadavg: 2.06 2.02 2.61 3/180 22069
/proc/meminfo: memFree=31164056/32873844 swapFree=7632/7632
[pid=22069] ppid=22067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22069/stat : 22069 (run) S 22067 22069 20922 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35132263 9367552 270 33554432000 4194304 5064252 140733812277456 140733812276368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22069/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.200263 s]
/proc/loadavg: 2.06 2.02 2.61 3/180 22069
/proc/meminfo: memFree=31164056/32873844 swapFree=7632/7632
[pid=22069] ppid=22067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22069/stat : 22069 (run) S 22067 22069 20922 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35132263 9367552 270 33554432000 4194304 5064252 140733812277456 140733812276368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22069/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300273 s]
/proc/loadavg: 2.06 2.02 2.61 3/180 22069
/proc/meminfo: memFree=31164056/32873844 swapFree=7632/7632
[pid=22069] ppid=22067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22069/stat : 22069 (run) S 22067 22069 20922 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35132263 9367552 270 33554432000 4194304 5064252 140733812277456 140733812276368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22069/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700221 s]
/proc/loadavg: 2.06 2.02 2.61 3/180 22069
/proc/meminfo: memFree=31164056/32873844 swapFree=7632/7632
[pid=22069] ppid=22067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22069/stat : 22069 (run) S 22067 22069 20922 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35132263 9367552 270 33554432000 4194304 5064252 140733812277456 140733812276368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22069/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50025 s]
/proc/loadavg: 2.06 2.02 2.61 3/182 22071
/proc/meminfo: memFree=31140208/32873844 swapFree=7632/7632
[pid=22069] ppid=22067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22069/stat : 22069 (run) S 22067 22069 20922 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35132263 9367552 270 33554432000 4194304 5064252 140733812277456 140733812276368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22069/statm: 2287 270 229 213 0 72 0
[pid=22070] ppid=22069 vsize=64716 CPUtime=1.49 cores=0,2,4,6
/proc/22070/stat : 22070 (pb_cplex) R 22069 22069 20922 0 -1 4202496 7521 0 0 0 149 0 0 0 20 0 1 0 35132263 66269184 7128 33554432000 134512640 146736320 4292863472 4292861484 140683248 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/22070/statm: 16179 7128 1104 2985 0 6221 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 73864

[startup+3.10025 s]
/proc/loadavg: 2.06 2.02 2.61 3/182 22071
/proc/meminfo: memFree=31139092/32873844 swapFree=7632/7632
[pid=22069] ppid=22067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22069/stat : 22069 (run) S 22067 22069 20922 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35132263 9367552 270 33554432000 4194304 5064252 140733812277456 140733812276368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22069/statm: 2287 270 229 213 0 72 0
[pid=22070] ppid=22069 vsize=65640 CPUtime=3.09 cores=0,2,4,6
/proc/22070/stat : 22070 (pb_cplex) R 22069 22069 20922 0 -1 4202496 7878 0 0 0 309 0 0 0 20 0 1 0 35132263 67215360 7485 33554432000 134512640 146736320 4292863472 4292861308 140526528 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/22070/statm: 16410 7485 1247 2985 0 6452 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 74788

[startup+6.3003 s]
/proc/loadavg: 2.06 2.01 2.60 3/181 22071
/proc/meminfo: memFree=31064140/32873844 swapFree=7632/7632
[pid=22069] ppid=22067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22069/stat : 22069 (run) S 22067 22069 20922 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35132263 9367552 270 33554432000 4194304 5064252 140733812277456 140733812276368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22069/statm: 2287 270 229 213 0 72 0
[pid=22070] ppid=22069 vsize=181780 CPUtime=6.29 cores=0,2,4,6
/proc/22070/stat : 22070 (pb_cplex) R 22069 22069 20922 0 -1 4202496 40267 0 0 0 621 8 0 0 20 0 1 0 35132263 186142720 38390 33554432000 134512640 146736320 4292863472 4292861384 144716523 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/22070/statm: 45445 38391 4576 2985 0 35487 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 190928

[startup+12.7003 s]
/proc/loadavg: 2.05 2.01 2.60 3/181 22071
/proc/meminfo: memFree=30994536/32873844 swapFree=7632/7632
[pid=22069] ppid=22067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22069/stat : 22069 (run) S 22067 22069 20922 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35132263 9367552 270 33554432000 4194304 5064252 140733812277456 140733812276368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22069/statm: 2287 270 229 213 0 72 0
[pid=22070] ppid=22069 vsize=216336 CPUtime=12.69 cores=0,2,4,6
/proc/22070/stat : 22070 (pb_cplex) R 22069 22069 20922 0 -1 4202496 48625 0 0 0 1259 10 0 0 20 0 1 0 35132263 221528064 48404 33554432000 134512640 146736320 4292863472 4292860472 144924791 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/22070/statm: 54084 48404 5991 2985 0 44126 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 225484

[startup+25.5003 s]
/proc/loadavg: 2.04 2.01 2.59 3/181 22071
/proc/meminfo: memFree=30986616/32873844 swapFree=7632/7632
[pid=22069] ppid=22067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22069/stat : 22069 (run) S 22067 22069 20922 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35132263 9367552 270 33554432000 4194304 5064252 140733812277456 140733812276368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22069/statm: 2287 270 229 213 0 72 0
[pid=22070] ppid=22069 vsize=223812 CPUtime=25.48 cores=0,2,4,6
/proc/22070/stat : 22070 (pb_cplex) R 22069 22069 20922 0 -1 4202496 51703 0 0 0 2538 10 0 0 20 0 1 0 35132263 229183488 51482 33554432000 134512640 146736320 4292863472 4292861320 134814118 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/22070/statm: 55953 51482 7180 2985 0 45995 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 232960

[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 2.57 3/181 22071
/proc/meminfo: memFree=30986616/32873844 swapFree=7632/7632
[pid=22069] ppid=22067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22069/stat : 22069 (run) S 22067 22069 20922 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35132263 9367552 270 33554432000 4194304 5064252 140733812277456 140733812276368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22069/statm: 2287 270 229 213 0 72 0
[pid=22070] ppid=22069 vsize=223944 CPUtime=51.08 cores=0,2,4,6
/proc/22070/stat : 22070 (pb_cplex) R 22069 22069 20922 0 -1 4202496 51735 0 0 0 5098 10 0 0 20 0 1 0 35132263 229318656 51514 33554432000 134512640 146736320 4292863472 4292861448 134814118 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/22070/statm: 55986 51514 7180 2985 0 46028 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 233092

[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.54 3/181 22071
/proc/meminfo: memFree=30986172/32873844 swapFree=7632/7632
[pid=22069] ppid=22067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22069/stat : 22069 (run) S 22067 22069 20922 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35132263 9367552 270 33554432000 4194304 5064252 140733812277456 140733812276368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22069/statm: 2287 270 229 213 0 72 0
[pid=22070] ppid=22069 vsize=224076 CPUtime=102.27 cores=0,2,4,6
/proc/22070/stat : 22070 (pb_cplex) R 22069 22069 20922 0 -1 4202496 51779 0 0 0 10217 10 0 0 20 0 1 0 35132263 229453824 51549 33554432000 134512640 146736320 4292863472 4292861328 140528799 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/22070/statm: 56019 51549 7180 2985 0 46061 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 233224

[startup+162.3 s]
/proc/loadavg: 2.08 2.02 2.51 3/181 22072
/proc/meminfo: memFree=30985544/32873844 swapFree=7632/7632
[pid=22069] ppid=22067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22069/stat : 22069 (run) S 22067 22069 20922 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35132263 9367552 270 33554432000 4194304 5064252 140733812277456 140733812276368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22069/statm: 2287 270 229 213 0 72 0
[pid=22070] ppid=22069 vsize=224208 CPUtime=162.25 cores=0,2,4,6
/proc/22070/stat : 22070 (pb_cplex) R 22069 22069 20922 0 -1 4202496 51807 0 0 0 16215 10 0 0 20 0 1 0 35132263 229588992 51576 33554432000 134512640 146736320 4292863472 4292861328 140528767 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/22070/statm: 56052 51576 7180 2985 0 46094 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 233356

[startup+222.306 s]
/proc/loadavg: 2.03 2.01 2.47 3/181 22072
/proc/meminfo: memFree=30985420/32873844 swapFree=7632/7632
[pid=22069] ppid=22067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22069/stat : 22069 (run) S 22067 22069 20922 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35132263 9367552 270 33554432000 4194304 5064252 140733812277456 140733812276368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22069/statm: 2287 270 229 213 0 72 0
[pid=22070] ppid=22069 vsize=224340 CPUtime=222.25 cores=0,2,4,6
/proc/22070/stat : 22070 (pb_cplex) R 22069 22069 20922 0 -1 4202496 51830 0 0 0 22215 10 0 0 20 0 1 0 35132263 229724160 51599 33554432000 134512640 146736320 4292863472 4292861360 141028044 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/22070/statm: 56085 51599 7180 2985 0 46127 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 233488

[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.44 3/181 22072
/proc/meminfo: memFree=30985544/32873844 swapFree=7632/7632
[pid=22069] ppid=22067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22069/stat : 22069 (run) S 22067 22069 20922 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35132263 9367552 270 33554432000 4194304 5064252 140733812277456 140733812276368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22069/statm: 2287 270 229 213 0 72 0
[pid=22070] ppid=22069 vsize=224340 CPUtime=282.23 cores=0,2,4,6
/proc/22070/stat : 22070 (pb_cplex) R 22069 22069 20922 0 -1 4202496 51849 0 0 0 28213 10 0 0 20 0 1 0 35132263 229724160 51618 33554432000 134512640 146736320 4292863472 4292861356 134814122 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/22070/statm: 56085 51618 7180 2985 0 46127 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 233488

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.41 3/181 22072
/proc/meminfo: memFree=30778600/32873844 swapFree=7632/7632
[pid=22069] ppid=22067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22069/stat : 22069 (run) S 22067 22069 20922 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35132263 9367552 270 33554432000 4194304 5064252 140733812277456 140733812276368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22069/statm: 2287 270 229 213 0 72 0
[pid=22070] ppid=22069 vsize=444940 CPUtime=342.22 cores=0,2,4,6
/proc/22070/stat : 22070 (pb_cplex) R 22069 22069 20922 0 -1 4202496 95919 0 0 0 34202 20 0 0 20 0 1 0 35132263 455618560 99157 33554432000 134512640 146736320 4292863472 4292861916 135718320 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/22070/statm: 111235 99157 613 2985 0 108169 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 454088

[startup+402.3 s]
/proc/loadavg: 2.07 2.02 2.39 3/181 22072
/proc/meminfo: memFree=30388852/32873844 swapFree=7632/7632
[pid=22069] ppid=22067 vsize=9148 CPUtime=0 cores=0,2,4,6

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

/proc/22070/task/22115/stat : 22115 (pb_cplex) S 22069 22069 20922 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 35267224 2121560064 369199 33554432000 134512640 146736320 4292863472 2490564240 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22070/tid=22116] ppid=22069 vsize=2071836 CPUtime=0 cores=0,2,4,6
/proc/22070/task/22116/stat : 22116 (pb_cplex) S 22069 22069 20922 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 35267224 2121560064 369199 33554432000 134512640 146736320 4292863472 2480078480 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 2080984

[startup+1542.31 s]
/proc/loadavg: 1.01 1.36 1.81 2/181 22116
/proc/meminfo: memFree=29761436/32873844 swapFree=7632/7632
[pid=22069] ppid=22067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22069/stat : 22069 (run) S 22067 22069 20922 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35132263 9367552 270 33554432000 4194304 5064252 140733812277456 140733812276368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22069/statm: 2287 270 229 213 0 72 0
[pid=22070] ppid=22069 vsize=2072484 CPUtime=1542.07 cores=0,2,4,6
/proc/22070/stat : 22070 (pb_cplex) R 22069 22069 20922 0 -1 4202496 1171599 0 0 0 153875 332 0 0 20 0 8 0 35132263 2122223616 370744 33554432000 134512640 146736320 4292863472 4292856196 136385174 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22070/statm: 518121 370744 962 2985 0 515055 0
[pid=22070/tid=22110] ppid=22069 vsize=2072484 CPUtime=0 cores=0,2,4,6
/proc/22070/task/22110/stat : 22110 (pb_cplex) S 22069 22069 20922 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 8 0 35267224 2122223616 370744 33554432000 134512640 146736320 4292863472 2542993040 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22070/tid=22111] ppid=22069 vsize=2072484 CPUtime=0 cores=0,2,4,6
/proc/22070/task/22111/stat : 22111 (pb_cplex) S 22069 22069 20922 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 35267224 2122223616 370744 33554432000 134512640 146736320 4292863472 2532507280 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22070/tid=22112] ppid=22069 vsize=2072484 CPUtime=0 cores=0,2,4,6
/proc/22070/task/22112/stat : 22112 (pb_cplex) S 22069 22069 20922 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 35267224 2122223616 370744 33554432000 134512640 146736320 4292863472 2522021520 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22070/tid=22113] ppid=22069 vsize=2072484 CPUtime=0 cores=0,2,4,6
/proc/22070/task/22113/stat : 22113 (pb_cplex) S 22069 22069 20922 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 35267224 2122223616 370744 33554432000 134512640 146736320 4292863472 2511535760 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22070/tid=22114] ppid=22069 vsize=2072484 CPUtime=0 cores=0,2,4,6
/proc/22070/task/22114/stat : 22114 (pb_cplex) S 22069 22069 20922 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 35267224 2122223616 370744 33554432000 134512640 146736320 4292863472 2501050000 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22070/tid=22115] ppid=22069 vsize=2072484 CPUtime=0 cores=0,2,4,6
/proc/22070/task/22115/stat : 22115 (pb_cplex) S 22069 22069 20922 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 35267224 2122223616 370744 33554432000 134512640 146736320 4292863472 2490564240 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22070/tid=22116] ppid=22069 vsize=2072484 CPUtime=0 cores=0,2,4,6
/proc/22070/task/22116/stat : 22116 (pb_cplex) S 22069 22069 20922 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 35267224 2122223616 370744 33554432000 134512640 146736320 4292863472 2480078480 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1542.07
Current children cumulated vsize (KiB) 2081632

[startup+1602.3 s]
/proc/loadavg: 1.00 1.29 1.75 2/181 22116
/proc/meminfo: memFree=29760568/32873844 swapFree=7632/7632
[pid=22069] ppid=22067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22069/stat : 22069 (run) S 22067 22069 20922 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35132263 9367552 270 33554432000 4194304 5064252 140733812277456 140733812276368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22069/statm: 2287 270 229 213 0 72 0
[pid=22070] ppid=22069 vsize=2073084 CPUtime=1602.04 cores=0,2,4,6
/proc/22070/stat : 22070 (pb_cplex) R 22069 22069 20922 0 -1 4202496 1177010 0 0 0 159869 335 0 0 20 0 8 0 35132263 2122838016 370971 33554432000 134512640 146736320 4292863472 4292856320 136400653 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22070/statm: 518271 370971 962 2985 0 515205 0
[pid=22070/tid=22110] ppid=22069 vsize=2073084 CPUtime=0 cores=0,2,4,6
/proc/22070/task/22110/stat : 22110 (pb_cplex) S 22069 22069 20922 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 8 0 35267224 2122838016 370971 33554432000 134512640 146736320 4292863472 2542993040 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22070/tid=22111] ppid=22069 vsize=2073084 CPUtime=0 cores=0,2,4,6
/proc/22070/task/22111/stat : 22111 (pb_cplex) S 22069 22069 20922 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 35267224 2122838016 370971 33554432000 134512640 146736320 4292863472 2532507280 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22070/tid=22112] ppid=22069 vsize=2073084 CPUtime=0 cores=0,2,4,6
/proc/22070/task/22112/stat : 22112 (pb_cplex) S 22069 22069 20922 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 35267224 2122838016 370971 33554432000 134512640 146736320 4292863472 2522021520 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22070/tid=22113] ppid=22069 vsize=2073084 CPUtime=0 cores=0,2,4,6
/proc/22070/task/22113/stat : 22113 (pb_cplex) S 22069 22069 20922 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 35267224 2122838016 370971 33554432000 134512640 146736320 4292863472 2511535760 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22070/tid=22114] ppid=22069 vsize=2073084 CPUtime=0 cores=0,2,4,6
/proc/22070/task/22114/stat : 22114 (pb_cplex) S 22069 22069 20922 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 35267224 2122838016 370971 33554432000 134512640 146736320 4292863472 2501050000 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22070/tid=22115] ppid=22069 vsize=2073084 CPUtime=0 cores=0,2,4,6
/proc/22070/task/22115/stat : 22115 (pb_cplex) S 22069 22069 20922 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 35267224 2122838016 370971 33554432000 134512640 146736320 4292863472 2490564240 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22070/tid=22116] ppid=22069 vsize=2073084 CPUtime=0 cores=0,2,4,6
/proc/22070/task/22116/stat : 22116 (pb_cplex) S 22069 22069 20922 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 35267224 2122838016 370971 33554432000 134512640 146736320 4292863472 2480078480 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 2082232

[startup+1662.3 s]
/proc/loadavg: 1.00 1.23 1.70 2/181 22117
/proc/meminfo: memFree=29747856/32873844 swapFree=7632/7632
[pid=22069] ppid=22067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22069/stat : 22069 (run) S 22067 22069 20922 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35132263 9367552 270 33554432000 4194304 5064252 140733812277456 140733812276368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22069/statm: 2287 270 229 213 0 72 0
[pid=22070] ppid=22069 vsize=2081120 CPUtime=1662.04 cores=0,2,4,6
/proc/22070/stat : 22070 (pb_cplex) R 22069 22069 20922 0 -1 4202496 1188696 0 0 0 165864 340 0 0 20 0 8 0 35132263 2131066880 374152 33554432000 134512640 146736320 4292863472 4292856196 136385179 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22070/statm: 520280 374152 962 2985 0 517214 0
[pid=22070/tid=22110] ppid=22069 vsize=2081120 CPUtime=0 cores=0,2,4,6
/proc/22070/task/22110/stat : 22110 (pb_cplex) S 22069 22069 20922 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 8 0 35267224 2131066880 374152 33554432000 134512640 146736320 4292863472 2542993040 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22070/tid=22111] ppid=22069 vsize=2081120 CPUtime=0 cores=0,2,4,6
/proc/22070/task/22111/stat : 22111 (pb_cplex) S 22069 22069 20922 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 35267224 2131066880 374152 33554432000 134512640 146736320 4292863472 2532507280 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22070/tid=22112] ppid=22069 vsize=2081120 CPUtime=0 cores=0,2,4,6
/proc/22070/task/22112/stat : 22112 (pb_cplex) S 22069 22069 20922 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 35267224 2131066880 374152 33554432000 134512640 146736320 4292863472 2522021520 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22070/tid=22113] ppid=22069 vsize=2081120 CPUtime=0 cores=0,2,4,6
/proc/22070/task/22113/stat : 22113 (pb_cplex) S 22069 22069 20922 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 35267224 2131066880 374152 33554432000 134512640 146736320 4292863472 2511535760 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22070/tid=22114] ppid=22069 vsize=2081120 CPUtime=0 cores=0,2,4,6
/proc/22070/task/22114/stat : 22114 (pb_cplex) S 22069 22069 20922 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 35267224 2131066880 374152 33554432000 134512640 146736320 4292863472 2501050000 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22070/tid=22115] ppid=22069 vsize=2081120 CPUtime=0 cores=0,2,4,6
/proc/22070/task/22115/stat : 22115 (pb_cplex) S 22069 22069 20922 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 35267224 2131066880 374152 33554432000 134512640 146736320 4292863472 2490564240 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22070/tid=22116] ppid=22069 vsize=2081120 CPUtime=0 cores=0,2,4,6
/proc/22070/task/22116/stat : 22116 (pb_cplex) S 22069 22069 20922 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 35267224 2131066880 374152 33554432000 134512640 146736320 4292863472 2480078480 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 2090268

[startup+1722.3 s]
/proc/loadavg: 1.00 1.19 1.66 2/181 22117
/proc/meminfo: memFree=29744072/32873844 swapFree=7632/7632
[pid=22069] ppid=22067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22069/stat : 22069 (run) S 22067 22069 20922 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35132263 9367552 270 33554432000 4194304 5064252 140733812277456 140733812276368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22069/statm: 2287 270 229 213 0 72 0
[pid=22070] ppid=22069 vsize=2083184 CPUtime=1722.03 cores=0,2,4,6
/proc/22070/stat : 22070 (pb_cplex) R 22069 22069 20922 0 -1 4202496 1198433 0 0 0 171857 346 0 0 20 0 8 0 35132263 2133180416 375047 33554432000 134512640 146736320 4292863472 4292856220 135855170 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22070/statm: 520796 375047 962 2985 0 517730 0
[pid=22070/tid=22110] ppid=22069 vsize=2083184 CPUtime=0 cores=0,2,4,6
/proc/22070/task/22110/stat : 22110 (pb_cplex) S 22069 22069 20922 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 8 0 35267224 2133180416 375047 33554432000 134512640 146736320 4292863472 2542993040 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22070/tid=22111] ppid=22069 vsize=2083184 CPUtime=0 cores=0,2,4,6
/proc/22070/task/22111/stat : 22111 (pb_cplex) S 22069 22069 20922 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 35267224 2133180416 375047 33554432000 134512640 146736320 4292863472 2532507280 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22070/tid=22112] ppid=22069 vsize=2083184 CPUtime=0 cores=0,2,4,6
/proc/22070/task/22112/stat : 22112 (pb_cplex) S 22069 22069 20922 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 35267224 2133180416 375047 33554432000 134512640 146736320 4292863472 2522021520 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22070/tid=22113] ppid=22069 vsize=2083184 CPUtime=0 cores=0,2,4,6
/proc/22070/task/22113/stat : 22113 (pb_cplex) S 22069 22069 20922 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 35267224 2133180416 375047 33554432000 134512640 146736320 4292863472 2511535760 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22070/tid=22114] ppid=22069 vsize=2083184 CPUtime=0 cores=0,2,4,6
/proc/22070/task/22114/stat : 22114 (pb_cplex) S 22069 22069 20922 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 35267224 2133180416 375047 33554432000 134512640 146736320 4292863472 2501050000 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22070/tid=22115] ppid=22069 vsize=2083184 CPUtime=0 cores=0,2,4,6
/proc/22070/task/22115/stat : 22115 (pb_cplex) S 22069 22069 20922 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 35267224 2133180416 375047 33554432000 134512640 146736320 4292863472 2490564240 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22070/tid=22116] ppid=22069 vsize=2083184 CPUtime=0 cores=0,2,4,6
/proc/22070/task/22116/stat : 22116 (pb_cplex) S 22069 22069 20922 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 35267224 2133180416 375047 33554432000 134512640 146736320 4292863472 2480078480 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 2092332

[startup+1782.3 s]
/proc/loadavg: 1.00 1.15 1.61 2/182 22120
/proc/meminfo: memFree=29718040/32873844 swapFree=7632/7632
[pid=22069] ppid=22067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22069/stat : 22069 (run) S 22067 22069 20922 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35132263 9367552 270 33554432000 4194304 5064252 140733812277456 140733812276368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22069/statm: 2287 270 229 213 0 72 0
[pid=22070] ppid=22069 vsize=2084536 CPUtime=1782.01 cores=0,2,4,6
/proc/22070/stat : 22070 (pb_cplex) R 22069 22069 20922 0 -1 4202496 1201900 0 0 0 177849 352 0 0 20 0 8 0 35132263 2134564864 381704 33554432000 134512640 146736320 4292863472 4292856220 135855178 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22070/statm: 521134 381704 962 2985 0 518068 0
[pid=22070/tid=22110] ppid=22069 vsize=2084536 CPUtime=0 cores=0,2,4,6
/proc/22070/task/22110/stat : 22110 (pb_cplex) S 22069 22069 20922 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 8 0 35267224 2134564864 381704 33554432000 134512640 146736320 4292863472 2542993040 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22070/tid=22111] ppid=22069 vsize=2084536 CPUtime=0 cores=0,2,4,6
/proc/22070/task/22111/stat : 22111 (pb_cplex) S 22069 22069 20922 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 35267224 2134564864 381704 33554432000 134512640 146736320 4292863472 2532507280 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22070/tid=22112] ppid=22069 vsize=2084536 CPUtime=0 cores=0,2,4,6
/proc/22070/task/22112/stat : 22112 (pb_cplex) S 22069 22069 20922 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 35267224 2134564864 381704 33554432000 134512640 146736320 4292863472 2522021520 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22070/tid=22113] ppid=22069 vsize=2084536 CPUtime=0 cores=0,2,4,6
/proc/22070/task/22113/stat : 22113 (pb_cplex) S 22069 22069 20922 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 35267224 2134564864 381704 33554432000 134512640 146736320 4292863472 2511535760 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22070/tid=22114] ppid=22069 vsize=2084536 CPUtime=0 cores=0,2,4,6
/proc/22070/task/22114/stat : 22114 (pb_cplex) S 22069 22069 20922 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 35267224 2134564864 381704 33554432000 134512640 146736320 4292863472 2501050000 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22070/tid=22115] ppid=22069 vsize=2084536 CPUtime=0 cores=0,2,4,6
/proc/22070/task/22115/stat : 22115 (pb_cplex) S 22069 22069 20922 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 35267224 2134564864 381704 33554432000 134512640 146736320 4292863472 2490564240 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22070/tid=22116] ppid=22069 vsize=2084536 CPUtime=0 cores=0,2,4,6
/proc/22070/task/22116/stat : 22116 (pb_cplex) S 22069 22069 20922 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 35267224 2134564864 381704 33554432000 134512640 146736320 4292863472 2480078480 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 2093684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 1.00 1.14 1.60 2/175 22120
/proc/meminfo: memFree=30726152/32873844 swapFree=7632/7632
[pid=22069] ppid=22067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22069/stat : 22069 (run) S 22067 22069 20922 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35132263 9367552 270 33554432000 4194304 5064252 140733812277456 140733812276368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22069/statm: 2287 270 229 213 0 72 0
[pid=22070] ppid=22069 vsize=600688 CPUtime=1800.01 cores=0,2,4,6
/proc/22070/stat : 22070 (pb_cplex) R 22069 22069 20922 0 -1 4202496 1212042 0 0 0 179640 361 0 0 20 0 1 0 35132263 615104512 130258 33554432000 134512640 146736320 4292863472 4292862360 136765704 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/22070/statm: 150172 130258 968 2985 0 147106 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 609836

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 22069 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=1999
# CPU time returned by wait4() is 0.001999
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.31
CPU time (s): 1800.01
CPU user time (s): 1796.4
CPU system time (s): 3.61
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 2100692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001999
maximum resident set size= 1080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 355
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 3.44148 second user time and 10.5144 second system time

The end