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-3743446-1339252002/watcher-3743446-1339252002 -o /tmp/evaluation-result-3743446-1339252002/solver-3743446-1339252002 -C 1800 -W 1900 -M 15500 run HOME/instance-3743446-1339252002.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: 5.53 8.18 6.61 3/177 19364
/proc/meminfo: memFree=31218956/32873844 swapFree=8656/8656
[pid=19364] ppid=19362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19364/stat : 19364 (run) S 19362 19364 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391328857 9367552 270 33554432000 4194304 5064252 140735625472032 140735625470944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19364/statm: 2287 270 229 213 0 72 0
[startup+0.105312 s]
/proc/loadavg: 5.53 8.18 6.61 3/177 19364
/proc/meminfo: memFree=31218956/32873844 swapFree=8656/8656
[pid=19364] ppid=19362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19364/stat : 19364 (run) S 19362 19364 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391328857 9367552 270 33554432000 4194304 5064252 140735625472032 140735625470944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19364/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200257 s]
/proc/loadavg: 5.53 8.18 6.61 3/177 19364
/proc/meminfo: memFree=31218956/32873844 swapFree=8656/8656
[pid=19364] ppid=19362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19364/stat : 19364 (run) S 19362 19364 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391328857 9367552 270 33554432000 4194304 5064252 140735625472032 140735625470944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19364/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300266 s]
/proc/loadavg: 5.53 8.18 6.61 3/177 19364
/proc/meminfo: memFree=31218956/32873844 swapFree=8656/8656
[pid=19364] ppid=19362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19364/stat : 19364 (run) S 19362 19364 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391328857 9367552 270 33554432000 4194304 5064252 140735625472032 140735625470944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19364/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700286 s]
/proc/loadavg: 5.53 8.18 6.61 3/177 19364
/proc/meminfo: memFree=31218956/32873844 swapFree=8656/8656
[pid=19364] ppid=19362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19364/stat : 19364 (run) S 19362 19364 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391328857 9367552 270 33554432000 4194304 5064252 140735625472032 140735625470944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19364/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 5.53 8.18 6.61 3/179 19366
/proc/meminfo: memFree=31195388/32873844 swapFree=8656/8656
[pid=19364] ppid=19362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19364/stat : 19364 (run) S 19362 19364 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391328857 9367552 270 33554432000 4194304 5064252 140735625472032 140735625470944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19364/statm: 2287 270 229 213 0 72 0
[pid=19365] ppid=19364 vsize=64840 CPUtime=1.49 cores=1,3,5,7
/proc/19365/stat : 19365 (pb_cplex) R 19364 19364 17566 0 -1 4202496 7493 0 0 0 148 1 0 0 20 0 1 0 391328857 66396160 7132 33554432000 134512640 146736320 4293779264 4293777120 140528792 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19365/statm: 16210 7132 1095 2985 0 6251 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 73988
[startup+3.10026 s]
/proc/loadavg: 5.53 8.18 6.61 3/179 19366
/proc/meminfo: memFree=31194496/32873844 swapFree=8656/8656
[pid=19364] ppid=19362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19364/stat : 19364 (run) S 19362 19364 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391328857 9367552 270 33554432000 4194304 5064252 140735625472032 140735625470944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19364/statm: 2287 270 229 213 0 72 0
[pid=19365] ppid=19364 vsize=65632 CPUtime=3.09 cores=1,3,5,7
/proc/19365/stat : 19365 (pb_cplex) R 19364 19364 17566 0 -1 4202496 7848 0 0 0 308 1 0 0 20 0 1 0 391328857 67207168 7487 33554432000 134512640 146736320 4293779264 4293777120 140528787 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19365/statm: 16408 7487 1237 2985 0 6449 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 74780
[startup+6.30032 s]
/proc/loadavg: 5.24 8.08 6.59 3/179 19366
/proc/meminfo: memFree=31121396/32873844 swapFree=8656/8656
[pid=19364] ppid=19362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19364/stat : 19364 (run) S 19362 19364 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391328857 9367552 270 33554432000 4194304 5064252 140735625472032 140735625470944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19364/statm: 2287 270 229 213 0 72 0
[pid=19365] ppid=19364 vsize=176180 CPUtime=6.29 cores=1,3,5,7
/proc/19365/stat : 19365 (pb_cplex) R 19364 19364 17566 0 -1 4202496 37232 0 0 0 621 8 0 0 20 0 1 0 391328857 180408320 36920 33554432000 134512640 146736320 4293779264 4293777216 134542843 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19365/statm: 44045 36920 4342 2985 0 34086 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 185328
[startup+12.7003 s]
/proc/loadavg: 4.98 7.98 6.56 3/179 19366
/proc/meminfo: memFree=31050108/32873844 swapFree=8656/8656
[pid=19364] ppid=19362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19364/stat : 19364 (run) S 19362 19364 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391328857 9367552 270 33554432000 4194304 5064252 140735625472032 140735625470944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19364/statm: 2287 270 229 213 0 72 0
[pid=19365] ppid=19364 vsize=216148 CPUtime=12.69 cores=1,3,5,7
/proc/19365/stat : 19365 (pb_cplex) R 19364 19364 17566 0 -1 4202496 47851 0 0 0 1258 11 0 0 20 0 1 0 391328857 221335552 48170 33554432000 134512640 146736320 4293779264 4293777312 140665576 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19365/statm: 54037 48170 5962 2985 0 44078 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 225296
[startup+25.5062 s]
/proc/loadavg: 4.32 7.69 6.49 3/179 19367
/proc/meminfo: memFree=30962788/32873844 swapFree=8656/8656
[pid=19364] ppid=19362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19364/stat : 19364 (run) S 19362 19364 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391328857 9367552 270 33554432000 4194304 5064252 140735625472032 140735625470944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19364/statm: 2287 270 229 213 0 72 0
[pid=19365] ppid=19364 vsize=223856 CPUtime=25.48 cores=1,3,5,7
/proc/19365/stat : 19365 (pb_cplex) R 19364 19364 17566 0 -1 4202496 51007 0 0 0 2537 11 0 0 20 0 1 0 391328857 229228544 51320 33554432000 134512640 146736320 4293779264 4293777244 134814122 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19365/statm: 55964 51320 7181 2985 0 46005 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 233004
[startup+51.1002 s]
/proc/loadavg: 4.60 7.46 6.44 10/186 19374
/proc/meminfo: memFree=30850204/32873844 swapFree=8656/8656
[pid=19364] ppid=19362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19364/stat : 19364 (run) S 19362 19364 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391328857 9367552 270 33554432000 4194304 5064252 140735625472032 140735625470944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19364/statm: 2287 270 229 213 0 72 0
[pid=19365] ppid=19364 vsize=223988 CPUtime=51.07 cores=1,3,5,7
/proc/19365/stat : 19365 (pb_cplex) R 19364 19364 17566 0 -1 4202496 51039 0 0 0 5096 11 0 0 20 0 1 0 391328857 229363712 51352 33554432000 134512640 146736320 4293779264 4293777112 140526598 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19365/statm: 55997 51352 7181 2985 0 46038 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 233136
[startup+102.3 s]
/proc/loadavg: 4.65 7.12 6.38 3/179 19424
/proc/meminfo: memFree=30878924/32873844 swapFree=8656/8656
[pid=19364] ppid=19362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19364/stat : 19364 (run) S 19362 19364 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391328857 9367552 270 33554432000 4194304 5064252 140735625472032 140735625470944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19364/statm: 2287 270 229 213 0 72 0
[pid=19365] ppid=19364 vsize=224120 CPUtime=102.26 cores=1,3,5,7
/proc/19365/stat : 19365 (pb_cplex) R 19364 19364 17566 0 -1 4202496 51074 0 0 0 10215 11 0 0 20 0 1 0 391328857 229498880 51589 33554432000 134512640 146736320 4293779264 4293777312 140665567 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19365/statm: 56030 51589 7181 2985 0 46071 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 233268
[startup+162.3 s]
/proc/loadavg: 2.97 6.18 6.11 3/179 19424
/proc/meminfo: memFree=30862292/32873844 swapFree=8656/8656
[pid=19364] ppid=19362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19364/stat : 19364 (run) S 19362 19364 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391328857 9367552 270 33554432000 4194304 5064252 140735625472032 140735625470944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19364/statm: 2287 270 229 213 0 72 0
[pid=19365] ppid=19364 vsize=224252 CPUtime=162.25 cores=1,3,5,7
/proc/19365/stat : 19365 (pb_cplex) R 19364 19364 17566 0 -1 4202496 51102 0 0 0 16214 11 0 0 20 0 1 0 391328857 229634048 51617 33554432000 134512640 146736320 4293779264 4293777184 140679020 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19365/statm: 56063 51617 7181 2985 0 46104 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 233400
[startup+222.3 s]
/proc/loadavg: 4.74 5.98 6.03 10/187 19434
/proc/meminfo: memFree=30184540/32873844 swapFree=8656/8656
[pid=19364] ppid=19362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19364/stat : 19364 (run) S 19362 19364 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391328857 9367552 270 33554432000 4194304 5064252 140735625472032 140735625470944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19364/statm: 2287 270 229 213 0 72 0
[pid=19365] ppid=19364 vsize=224384 CPUtime=222.25 cores=1,3,5,7
/proc/19365/stat : 19365 (pb_cplex) R 19364 19364 17566 0 -1 4202496 51124 0 0 0 22214 11 0 0 20 0 1 0 391328857 229769216 51639 33554432000 134512640 146736320 4293779264 4293777276 140683248 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19365/statm: 56096 51639 7181 2985 0 46137 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 233532
[startup+282.3 s]
/proc/loadavg: 6.80 6.35 6.15 9/186 19434
/proc/meminfo: memFree=30146708/32873844 swapFree=8656/8656
[pid=19364] ppid=19362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19364/stat : 19364 (run) S 19362 19364 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391328857 9367552 270 33554432000 4194304 5064252 140735625472032 140735625470944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19364/statm: 2287 270 229 213 0 72 0
[pid=19365] ppid=19364 vsize=224384 CPUtime=282.23 cores=1,3,5,7
/proc/19365/stat : 19365 (pb_cplex) R 19364 19364 17566 0 -1 4202496 51144 0 0 0 28212 11 0 0 20 0 1 0 391328857 229769216 51659 33554432000 134512640 146736320 4293779264 4293777108 134814125 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19365/statm: 56096 51659 7181 2985 0 46137 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 233532
[startup+342.307 s]
/proc/loadavg: 5.98 6.25 6.14 4/186 19435
/proc/meminfo: memFree=30017608/32873844 swapFree=8656/8656
[pid=19364] ppid=19362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19364/stat : 19364 (run) S 19362 19364 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391328857 9367552 270 33554432000 4194304 5064252 140735625472032 140735625470944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19364/statm: 2287 270 229 213 0 72 0
[pid=19365] ppid=19364 vsize=390020 CPUtime=342.22 cores=1,3,5,7
/proc/19365/stat : 19365 (pb_cplex) R 19364 19364 17566 0 -1 4202496 82311 0 0 0 34204 18 0 0 20 0 1 0 391328857 399380480 85019 33554432000 134512640 146736320 4293779264 4293777864 136180515 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19365/statm: 97505 85019 549 2985 0 94439 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 399168
[startup+402.3 s]
/proc/loadavg: 7.55 6.60 6.26 10/186 19435
/proc/meminfo: memFree=29529888/32873844 swapFree=8656/8656
[pid=19364] ppid=19362 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/19365/statm: 328581 218447 794 2985 0 325515 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 1323472
[startup+1242.3 s]
/proc/loadavg: 1.00 1.85 3.97 2/172 19470
/proc/meminfo: memFree=30433968/32873844 swapFree=8656/8656
[pid=19364] ppid=19362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19364/stat : 19364 (run) S 19362 19364 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391328857 9367552 270 33554432000 4194304 5064252 140735625472032 140735625470944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19364/statm: 2287 270 229 213 0 72 0
[pid=19365] ppid=19364 vsize=1314544 CPUtime=1242.09 cores=1,3,5,7
/proc/19365/stat : 19365 (pb_cplex) R 19364 19364 17566 0 -1 4202496 305099 0 0 0 124103 106 0 0 20 0 1 0 391328857 1346093056 218838 33554432000 134512640 146736320 4293779264 4293773916 135855174 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19365/statm: 328636 218838 794 2985 0 325570 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1323692
[startup+1302.3 s]
/proc/loadavg: 1.00 1.69 3.78 2/172 19470
/proc/meminfo: memFree=30433020/32873844 swapFree=8656/8656
[pid=19364] ppid=19362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19364/stat : 19364 (run) S 19362 19364 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391328857 9367552 270 33554432000 4194304 5064252 140735625472032 140735625470944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19364/statm: 2287 270 229 213 0 72 0
[pid=19365] ppid=19364 vsize=1314748 CPUtime=1302.08 cores=1,3,5,7
/proc/19365/stat : 19365 (pb_cplex) R 19364 19364 17566 0 -1 4202496 306295 0 0 0 130100 108 0 0 20 0 1 0 391328857 1346301952 218989 33554432000 134512640 146736320 4293779264 4293774216 136388010 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19365/statm: 328687 218989 794 2985 0 325621 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1323896
[startup+1362.3 s]
/proc/loadavg: 1.00 1.56 3.60 2/172 19470
/proc/meminfo: memFree=30425732/32873844 swapFree=8656/8656
[pid=19364] ppid=19362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19364/stat : 19364 (run) S 19362 19364 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391328857 9367552 270 33554432000 4194304 5064252 140735625472032 140735625470944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19364/statm: 2287 270 229 213 0 72 0
[pid=19365] ppid=19364 vsize=1314944 CPUtime=1362.06 cores=1,3,5,7
/proc/19365/stat : 19365 (pb_cplex) R 19364 19364 17566 0 -1 4202496 307517 0 0 0 136097 109 0 0 20 0 1 0 391328857 1346502656 220877 33554432000 134512640 146736320 4293779264 4293773916 135855165 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19365/statm: 328736 220877 794 2985 0 325670 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1324092
[startup+1422.3 s]
/proc/loadavg: 1.00 1.46 3.44 2/173 19473
/proc/meminfo: memFree=30421252/32873844 swapFree=8656/8656
[pid=19364] ppid=19362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19364/stat : 19364 (run) S 19362 19364 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391328857 9367552 270 33554432000 4194304 5064252 140735625472032 140735625470944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19364/statm: 2287 270 229 213 0 72 0
[pid=19365] ppid=19364 vsize=1315152 CPUtime=1422.06 cores=1,3,5,7
/proc/19365/stat : 19365 (pb_cplex) R 19364 19364 17566 0 -1 4202496 308481 0 0 0 142095 111 0 0 20 0 1 0 391328857 1346715648 222026 33554432000 134512640 146736320 4293779264 4293773916 135855174 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19365/statm: 328788 222026 794 2985 0 325722 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1324300
[startup+1482.3 s]
/proc/loadavg: 1.00 1.37 3.28 2/172 19473
/proc/meminfo: memFree=30420888/32873844 swapFree=8656/8656
[pid=19364] ppid=19362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19364/stat : 19364 (run) S 19362 19364 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391328857 9367552 270 33554432000 4194304 5064252 140735625472032 140735625470944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19364/statm: 2287 270 229 213 0 72 0
[pid=19365] ppid=19364 vsize=1316224 CPUtime=1482.05 cores=1,3,5,7
/proc/19365/stat : 19365 (pb_cplex) R 19364 19364 17566 0 -1 4202496 309238 0 0 0 148093 112 0 0 20 0 1 0 391328857 1347813376 222205 33554432000 134512640 146736320 4293779264 4293774024 136388555 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19365/statm: 329056 222205 794 2985 0 325990 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1325372
[startup+1542.3 s]
/proc/loadavg: 1.00 1.30 3.14 2/171 19473
/proc/meminfo: memFree=30418096/32873844 swapFree=8656/8656
[pid=19364] ppid=19362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19364/stat : 19364 (run) S 19362 19364 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391328857 9367552 270 33554432000 4194304 5064252 140735625472032 140735625470944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19364/statm: 2287 270 229 213 0 72 0
[pid=19365] ppid=19364 vsize=1316428 CPUtime=1542.04 cores=1,3,5,7
/proc/19365/stat : 19365 (pb_cplex) R 19364 19364 17566 0 -1 4202496 309763 0 0 0 154090 114 0 0 20 0 1 0 391328857 1348022272 222902 33554432000 134512640 146736320 4293779264 4293774032 136007975 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19365/statm: 329107 222902 794 2985 0 326041 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1325576
[startup+1602.3 s]
/proc/loadavg: 1.00 1.24 3.00 2/172 19474
/proc/meminfo: memFree=30416784/32873844 swapFree=8656/8656
[pid=19364] ppid=19362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19364/stat : 19364 (run) S 19362 19364 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391328857 9367552 270 33554432000 4194304 5064252 140735625472032 140735625470944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19364/statm: 2287 270 229 213 0 72 0
[pid=19365] ppid=19364 vsize=1316624 CPUtime=1602.03 cores=1,3,5,7
/proc/19365/stat : 19365 (pb_cplex) R 19364 19364 17566 0 -1 4202496 310285 0 0 0 160087 116 0 0 20 0 1 0 391328857 1348222976 223199 33554432000 134512640 146736320 4293779264 4293773808 136477557 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19365/statm: 329156 223199 794 2985 0 326090 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1325772
[startup+1662.31 s]
/proc/loadavg: 1.00 1.20 2.87 2/172 19474
/proc/meminfo: memFree=30416348/32873844 swapFree=8656/8656
[pid=19364] ppid=19362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19364/stat : 19364 (run) S 19362 19364 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391328857 9367552 270 33554432000 4194304 5064252 140735625472032 140735625470944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19364/statm: 2287 270 229 213 0 72 0
[pid=19365] ppid=19364 vsize=1316832 CPUtime=1662.03 cores=1,3,5,7
/proc/19365/stat : 19365 (pb_cplex) R 19364 19364 17566 0 -1 4202496 310719 0 0 0 166086 117 0 0 20 0 1 0 391328857 1348435968 223346 33554432000 134512640 146736320 4293779264 4293773916 135855165 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19365/statm: 329208 223346 794 2985 0 326142 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1325980
[startup+1722.3 s]
/proc/loadavg: 1.00 1.16 2.75 2/172 19474
/proc/meminfo: memFree=30416224/32873844 swapFree=8656/8656
[pid=19364] ppid=19362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19364/stat : 19364 (run) S 19362 19364 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391328857 9367552 270 33554432000 4194304 5064252 140735625472032 140735625470944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19364/statm: 2287 270 229 213 0 72 0
[pid=19365] ppid=19364 vsize=1317028 CPUtime=1722.01 cores=1,3,5,7
/proc/19365/stat : 19365 (pb_cplex) R 19364 19364 17566 0 -1 4202496 311235 0 0 0 172083 118 0 0 20 0 1 0 391328857 1348636672 223378 33554432000 134512640 146736320 4293779264 4293773916 135855174 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19365/statm: 329257 223378 794 2985 0 326191 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1326176
[startup+1782.3 s]
/proc/loadavg: 1.00 1.13 2.64 2/172 19474
/proc/meminfo: memFree=30416100/32873844 swapFree=8656/8656
[pid=19364] ppid=19362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19364/stat : 19364 (run) S 19362 19364 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391328857 9367552 270 33554432000 4194304 5064252 140735625472032 140735625470944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19364/statm: 2287 270 229 213 0 72 0
[pid=19365] ppid=19364 vsize=1317236 CPUtime=1782 cores=1,3,5,7
/proc/19365/stat : 19365 (pb_cplex) R 19364 19364 17566 0 -1 4202496 311302 0 0 0 178081 119 0 0 20 0 1 0 391328857 1348849664 223411 33554432000 134512640 146736320 4293779264 4293773916 135855165 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19365/statm: 329309 223411 794 2985 0 326243 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1326384
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 1.00 1.12 2.60 2/172 19474
/proc/meminfo: memFree=30820568/32873844 swapFree=8656/8656
[pid=19364] ppid=19362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19364/stat : 19364 (run) S 19362 19364 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391328857 9367552 270 33554432000 4194304 5064252 140735625472032 140735625470944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19364/statm: 2287 270 229 213 0 72 0
[pid=19365] ppid=19364 vsize=792636 CPUtime=1800.01 cores=1,3,5,7
/proc/19365/stat : 19365 (pb_cplex) R 19364 19364 17566 0 -1 4202496 328187 0 0 0 179871 130 0 0 20 0 1 0 391328857 811659264 111462 33554432000 134512640 146736320 4293779264 4293777804 144797937 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19365/statm: 198159 111462 831 2985 0 195093 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 801784
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 1.00 1.12 2.60 2/172 19474
/proc/meminfo: memFree=30820568/32873844 swapFree=8656/8656
[pid=19364] ppid=19362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19364/stat : 19364 (run) S 19362 19364 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391328857 9367552 270 33554432000 4194304 5064252 140735625472032 140735625470944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19364/statm: 2287 270 229 213 0 72 0
[pid=19365] ppid=19364 vsize=792636 CPUtime=1800.01 cores=1,3,5,7
/proc/19365/stat : 19365 (pb_cplex) R 19364 19364 17566 0 -1 4202496 328187 0 0 0 179871 130 0 0 20 0 1 0 391328857 811659264 111462 33554432000 134512640 146736320 4293779264 4293777804 144797937 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19365/statm: 198159 111462 831 2985 0 195093 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 801784
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19364 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.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): 1798.71
CPU system time (s): 1.3
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 1647956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
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 4.50232 second user time and 10.5634 second system time
The end