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-3743424-1339251994/watcher-3743424-1339251994 -o /tmp/evaluation-result-3743424-1339251994/solver-3743424-1339251994 -C 1800 -W 1900 -M 15500 run HOME/instance-3743424-1339251994.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: 4.96 5.43 4.41 3/178 18046
/proc/meminfo: memFree=26803848/32873648 swapFree=7376/7376
[pid=18046] ppid=18044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18046/stat : 18046 (run) S 18044 18046 15880 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391324947 9367552 269 33554432000 4194304 5064252 140735867145648 140735867144560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18046/statm: 2287 269 229 213 0 72 0
[startup+0.0738001 s]
/proc/loadavg: 4.96 5.43 4.41 3/178 18046
/proc/meminfo: memFree=26803848/32873648 swapFree=7376/7376
[pid=18046] ppid=18044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18046/stat : 18046 (run) S 18044 18046 15880 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391324947 9367552 269 33554432000 4194304 5064252 140735867145648 140735867144560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18046/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100209 s]
/proc/loadavg: 4.96 5.43 4.41 3/178 18046
/proc/meminfo: memFree=26803848/32873648 swapFree=7376/7376
[pid=18046] ppid=18044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18046/stat : 18046 (run) S 18044 18046 15880 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391324947 9367552 269 33554432000 4194304 5064252 140735867145648 140735867144560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18046/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300134 s]
/proc/loadavg: 4.96 5.43 4.41 3/178 18046
/proc/meminfo: memFree=26803848/32873648 swapFree=7376/7376
[pid=18046] ppid=18044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18046/stat : 18046 (run) S 18044 18046 15880 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391324947 9367552 269 33554432000 4194304 5064252 140735867145648 140735867144560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18046/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700225 s]
/proc/loadavg: 4.96 5.43 4.41 3/178 18046
/proc/meminfo: memFree=26803848/32873648 swapFree=7376/7376
[pid=18046] ppid=18044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18046/stat : 18046 (run) S 18044 18046 15880 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391324947 9367552 269 33554432000 4194304 5064252 140735867145648 140735867144560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18046/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: 4.96 5.43 4.41 3/180 18048
/proc/meminfo: memFree=26780164/32873648 swapFree=7376/7376
[pid=18046] ppid=18044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18046/stat : 18046 (run) S 18044 18046 15880 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391324947 9367552 269 33554432000 4194304 5064252 140735867145648 140735867144560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18046/statm: 2287 269 229 213 0 72 0
[pid=18047] ppid=18046 vsize=64716 CPUtime=1.49 cores=1,3,5,7
/proc/18047/stat : 18047 (pb_cplex) R 18046 18046 15880 0 -1 4202496 7520 0 0 0 148 1 0 0 20 0 1 0 391324947 66269184 7127 33554432000 134512640 146736320 4289363152 4289361136 140683260 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/18047/statm: 16179 7127 1103 2985 0 6221 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 73864
[startup+3.10021 s]
/proc/loadavg: 4.96 5.43 4.41 3/180 18048
/proc/meminfo: memFree=26779024/32873648 swapFree=7376/7376
[pid=18046] ppid=18044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18046/stat : 18046 (run) S 18044 18046 15880 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391324947 9367552 269 33554432000 4194304 5064252 140735867145648 140735867144560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18046/statm: 2287 269 229 213 0 72 0
[pid=18047] ppid=18046 vsize=65640 CPUtime=3.09 cores=1,3,5,7
/proc/18047/stat : 18047 (pb_cplex) R 18046 18046 15880 0 -1 4202496 7877 0 0 0 308 1 0 0 20 0 1 0 391324947 67215360 7484 33554432000 134512640 146736320 4289363152 4289361008 140528792 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/18047/statm: 16410 7484 1246 2985 0 6452 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 74788
[startup+6.30026 s]
/proc/loadavg: 4.72 5.37 4.39 3/180 18048
/proc/meminfo: memFree=26711500/32873648 swapFree=7376/7376
[pid=18046] ppid=18044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18046/stat : 18046 (run) S 18044 18046 15880 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391324947 9367552 269 33554432000 4194304 5064252 140735867145648 140735867144560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18046/statm: 2287 269 229 213 0 72 0
[pid=18047] ppid=18046 vsize=182044 CPUtime=6.29 cores=1,3,5,7
/proc/18047/stat : 18047 (pb_cplex) R 18046 18046 15880 0 -1 4202496 40374 0 0 0 622 7 0 0 20 0 1 0 391324947 186413056 38497 33554432000 134512640 146736320 4289363152 4289360952 144716523 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/18047/statm: 45511 38497 4588 2985 0 35553 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 191192
[startup+12.7002 s]
/proc/loadavg: 4.50 5.32 4.38 3/180 18048
/proc/meminfo: memFree=26638240/32873648 swapFree=7376/7376
[pid=18046] ppid=18044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18046/stat : 18046 (run) S 18044 18046 15880 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391324947 9367552 269 33554432000 4194304 5064252 140735867145648 140735867144560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18046/statm: 2287 269 229 213 0 72 0
[pid=18047] ppid=18046 vsize=216336 CPUtime=12.68 cores=1,3,5,7
/proc/18047/stat : 18047 (pb_cplex) R 18046 18046 15880 0 -1 4202496 48990 0 0 0 1259 9 0 0 20 0 1 0 391324947 221528064 48256 33554432000 134512640 146736320 4289363152 4289361068 141028032 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/18047/statm: 54084 48256 5991 2985 0 44126 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 225484
[startup+25.5001 s]
/proc/loadavg: 4.02 5.17 4.35 3/180 18049
/proc/meminfo: memFree=26630180/32873648 swapFree=7376/7376
[pid=18046] ppid=18044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18046/stat : 18046 (run) S 18044 18046 15880 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391324947 9367552 269 33554432000 4194304 5064252 140735867145648 140735867144560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18046/statm: 2287 269 229 213 0 72 0
[pid=18047] ppid=18046 vsize=223812 CPUtime=25.47 cores=1,3,5,7
/proc/18047/stat : 18047 (pb_cplex) R 18046 18046 15880 0 -1 4202496 52075 0 0 0 2537 10 0 0 20 0 1 0 391324947 229183488 51334 33554432000 134512640 146736320 4289363152 4289361072 140679034 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/18047/statm: 55953 51334 7180 2985 0 45995 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 232960
[startup+51.1002 s]
/proc/loadavg: 3.40 4.93 4.29 3/179 18049
/proc/meminfo: memFree=26631940/32873648 swapFree=7376/7376
[pid=18046] ppid=18044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18046/stat : 18046 (run) S 18044 18046 15880 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391324947 9367552 269 33554432000 4194304 5064252 140735867145648 140735867144560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18046/statm: 2287 269 229 213 0 72 0
[pid=18047] ppid=18046 vsize=223944 CPUtime=51.07 cores=1,3,5,7
/proc/18047/stat : 18047 (pb_cplex) R 18046 18046 15880 0 -1 4202496 52107 0 0 0 5097 10 0 0 20 0 1 0 391324947 229318656 51366 33554432000 134512640 146736320 4289363152 4289361132 134814122 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/18047/statm: 55986 51366 7180 2985 0 46028 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 233092
[startup+102.306 s]
/proc/loadavg: 2.61 4.48 4.17 3/179 18049
/proc/meminfo: memFree=26631576/32873648 swapFree=7376/7376
[pid=18046] ppid=18044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18046/stat : 18046 (run) S 18044 18046 15880 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391324947 9367552 269 33554432000 4194304 5064252 140735867145648 140735867144560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18046/statm: 2287 269 229 213 0 72 0
[pid=18047] ppid=18046 vsize=224076 CPUtime=102.27 cores=1,3,5,7
/proc/18047/stat : 18047 (pb_cplex) R 18046 18046 15880 0 -1 4202496 52145 0 0 0 10217 10 0 0 20 0 1 0 391324947 229453824 51401 33554432000 134512640 146736320 4289363152 4289361032 134814118 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/18047/statm: 56019 51401 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.22 4.02 4.03 3/179 18049
/proc/meminfo: memFree=26630368/32873648 swapFree=7376/7376
[pid=18046] ppid=18044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18046/stat : 18046 (run) S 18044 18046 15880 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391324947 9367552 269 33554432000 4194304 5064252 140735867145648 140735867144560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18046/statm: 2287 269 229 213 0 72 0
[pid=18047] ppid=18046 vsize=224208 CPUtime=162.25 cores=1,3,5,7
/proc/18047/stat : 18047 (pb_cplex) R 18046 18046 15880 0 -1 4202496 52172 0 0 0 16215 10 0 0 20 0 1 0 391324947 229588992 51428 33554432000 134512640 146736320 4289363152 4289361040 141028058 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/18047/statm: 56052 51428 7180 2985 0 46094 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 233356
[startup+222.3 s]
/proc/loadavg: 2.08 3.65 3.90 3/180 18052
/proc/meminfo: memFree=26630252/32873648 swapFree=7376/7376
[pid=18046] ppid=18044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18046/stat : 18046 (run) S 18044 18046 15880 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391324947 9367552 269 33554432000 4194304 5064252 140735867145648 140735867144560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18046/statm: 2287 269 229 213 0 72 0
[pid=18047] ppid=18046 vsize=224340 CPUtime=222.24 cores=1,3,5,7
/proc/18047/stat : 18047 (pb_cplex) R 18046 18046 15880 0 -1 4202496 52195 0 0 0 22214 10 0 0 20 0 1 0 391324947 229724160 51451 33554432000 134512640 146736320 4289363152 4289361100 140653489 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/18047/statm: 56085 51451 7180 2985 0 46127 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 233488
[startup+282.3 s]
/proc/loadavg: 2.03 3.35 3.78 3/179 18052
/proc/meminfo: memFree=26629764/32873648 swapFree=7376/7376
[pid=18046] ppid=18044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18046/stat : 18046 (run) S 18044 18046 15880 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391324947 9367552 269 33554432000 4194304 5064252 140735867145648 140735867144560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18046/statm: 2287 269 229 213 0 72 0
[pid=18047] ppid=18046 vsize=224340 CPUtime=282.23 cores=1,3,5,7
/proc/18047/stat : 18047 (pb_cplex) R 18046 18046 15880 0 -1 4202496 52214 0 0 0 28213 10 0 0 20 0 1 0 391324947 229724160 51470 33554432000 134512640 146736320 4289363152 4289361128 134814118 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/18047/statm: 56085 51470 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.01 3.10 3.66 3/179 18053
/proc/meminfo: memFree=26525340/32873648 swapFree=7376/7376
[pid=18046] ppid=18044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18046/stat : 18046 (run) S 18044 18046 15880 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391324947 9367552 269 33554432000 4194304 5064252 140735867145648 140735867144560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18046/statm: 2287 269 229 213 0 72 0
[pid=18047] ppid=18046 vsize=432756 CPUtime=342.22 cores=1,3,5,7
/proc/18047/stat : 18047 (pb_cplex) R 18046 18046 15880 0 -1 4202496 92327 0 0 0 34204 18 0 0 20 0 1 0 391324947 443142144 94398 33554432000 134512640 146736320 4289363152 4289361096 135811968 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/18047/statm: 108189 94398 596 2985 0 105123 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 441904
[startup+402.3 s]
/proc/loadavg: 2.00 2.90 3.56 3/179 18053
/proc/meminfo: memFree=26010640/32873648 swapFree=7376/7376
[pid=18046] ppid=18044 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/18047/statm: 335598 232935 798 2985 0 332532 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 1351540
[startup+1182.3 s]
/proc/loadavg: 1.07 1.53 2.43 2/172 18085
/proc/meminfo: memFree=25972904/32873648 swapFree=7376/7376
[pid=18046] ppid=18044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18046/stat : 18046 (run) S 18044 18046 15880 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391324947 9367552 269 33554432000 4194304 5064252 140735867145648 140735867144560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18046/statm: 2287 269 229 213 0 72 0
[pid=18047] ppid=18046 vsize=1342392 CPUtime=1182.09 cores=1,3,5,7
/proc/18047/stat : 18047 (pb_cplex) R 18046 18046 15880 0 -1 4202496 361822 0 0 0 118091 118 0 0 20 0 1 0 391324947 1374609408 232937 33554432000 134512640 146736320 4289363152 4289358208 139046866 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/18047/statm: 335598 232937 798 2985 0 332532 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 1351540
[startup+1242.3 s]
/proc/loadavg: 1.06 1.45 2.34 2/172 18086
/proc/meminfo: memFree=25972904/32873648 swapFree=7376/7376
[pid=18046] ppid=18044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18046/stat : 18046 (run) S 18044 18046 15880 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391324947 9367552 269 33554432000 4194304 5064252 140735867145648 140735867144560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18046/statm: 2287 269 229 213 0 72 0
[pid=18047] ppid=18046 vsize=1342392 CPUtime=1242.08 cores=1,3,5,7
/proc/18047/stat : 18047 (pb_cplex) R 18046 18046 15880 0 -1 4202496 373154 0 0 0 124081 127 0 0 20 0 1 0 391324947 1374609408 232942 33554432000 134512640 146736320 4289363152 4289357900 136017665 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/18047/statm: 335598 232942 798 2985 0 332532 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1351540
[startup+1302.3 s]
/proc/loadavg: 1.05 1.38 2.26 2/172 18086
/proc/meminfo: memFree=25973028/32873648 swapFree=7376/7376
[pid=18046] ppid=18044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18046/stat : 18046 (run) S 18044 18046 15880 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391324947 9367552 269 33554432000 4194304 5064252 140735867145648 140735867144560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18046/statm: 2287 269 229 213 0 72 0
[pid=18047] ppid=18046 vsize=1342392 CPUtime=1302.07 cores=1,3,5,7
/proc/18047/stat : 18047 (pb_cplex) R 18046 18046 15880 0 -1 4202496 377272 0 0 0 130077 130 0 0 20 0 1 0 391324947 1374609408 232945 33554432000 134512640 146736320 4289363152 4289357980 135855165 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/18047/statm: 335598 232945 798 2985 0 332532 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1351540
[startup+1362.3 s]
/proc/loadavg: 1.05 1.32 2.19 2/172 18086
/proc/meminfo: memFree=25957424/32873648 swapFree=7376/7376
[pid=18046] ppid=18044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18046/stat : 18046 (run) S 18044 18046 15880 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391324947 9367552 269 33554432000 4194304 5064252 140735867145648 140735867144560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18046/statm: 2287 269 229 213 0 72 0
[pid=18047] ppid=18046 vsize=1372268 CPUtime=1362.06 cores=1,3,5,7
/proc/18047/stat : 18047 (pb_cplex) R 18046 18046 15880 0 -1 4202496 394891 0 0 0 136066 140 0 0 20 0 1 0 391324947 1405202432 236872 33554432000 134512640 146736320 4289363152 4289357576 136077393 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/18047/statm: 343067 236872 819 2985 0 340001 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1381416
[startup+1422.31 s]
/proc/loadavg: 1.09 1.29 2.12 2/173 18089
/proc/meminfo: memFree=25956764/32873648 swapFree=7376/7376
[pid=18046] ppid=18044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18046/stat : 18046 (run) S 18044 18046 15880 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391324947 9367552 269 33554432000 4194304 5064252 140735867145648 140735867144560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18046/statm: 2287 269 229 213 0 72 0
[pid=18047] ppid=18046 vsize=1372268 CPUtime=1422.06 cores=1,3,5,7
/proc/18047/stat : 18047 (pb_cplex) R 18046 18046 15880 0 -1 4202496 398352 0 0 0 142062 144 0 0 20 0 1 0 391324947 1405202432 236875 33554432000 134512640 146736320 4289363152 4289357888 136077385 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/18047/statm: 343067 236875 819 2985 0 340001 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1381416
[startup+1482.3 s]
/proc/loadavg: 1.06 1.25 2.05 2/172 18089
/proc/meminfo: memFree=25957340/32873648 swapFree=7376/7376
[pid=18046] ppid=18044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18046/stat : 18046 (run) S 18044 18046 15880 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391324947 9367552 269 33554432000 4194304 5064252 140735867145648 140735867144560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18046/statm: 2287 269 229 213 0 72 0
[pid=18047] ppid=18046 vsize=1372268 CPUtime=1482.04 cores=1,3,5,7
/proc/18047/stat : 18047 (pb_cplex) R 18046 18046 15880 0 -1 4202496 401264 0 0 0 148058 146 0 0 20 0 1 0 391324947 1405202432 236885 33554432000 134512640 146736320 4289363152 4289358160 136403116 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/18047/statm: 343067 236885 819 2985 0 340001 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1381416
[startup+1542.3 s]
/proc/loadavg: 1.02 1.20 1.98 2/171 18089
/proc/meminfo: memFree=25957348/32873648 swapFree=7376/7376
[pid=18046] ppid=18044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18046/stat : 18046 (run) S 18044 18046 15880 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391324947 9367552 269 33554432000 4194304 5064252 140735867145648 140735867144560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18046/statm: 2287 269 229 213 0 72 0
[pid=18047] ppid=18046 vsize=1372268 CPUtime=1542.03 cores=1,3,5,7
/proc/18047/stat : 18047 (pb_cplex) R 18046 18046 15880 0 -1 4202496 410797 0 0 0 154049 154 0 0 20 0 1 0 391324947 1405202432 236947 33554432000 134512640 146736320 4289363152 4289358124 139028313 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/18047/statm: 343067 236947 819 2985 0 340001 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1381416
[startup+1602.3 s]
/proc/loadavg: 1.04 1.17 1.92 2/172 18090
/proc/meminfo: memFree=25957464/32873648 swapFree=7376/7376
[pid=18046] ppid=18044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18046/stat : 18046 (run) S 18044 18046 15880 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391324947 9367552 269 33554432000 4194304 5064252 140735867145648 140735867144560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18046/statm: 2287 269 229 213 0 72 0
[pid=18047] ppid=18046 vsize=1372268 CPUtime=1602.02 cores=1,3,5,7
/proc/18047/stat : 18047 (pb_cplex) R 18046 18046 15880 0 -1 4202496 419100 0 0 0 160042 160 0 0 20 0 1 0 391324947 1405202432 236997 33554432000 134512640 146736320 4289363152 4289357824 136027510 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/18047/statm: 343067 236997 819 2985 0 340001 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1381416
[startup+1662.3 s]
/proc/loadavg: 1.05 1.15 1.87 2/172 18090
/proc/meminfo: memFree=25957220/32873648 swapFree=7376/7376
[pid=18046] ppid=18044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18046/stat : 18046 (run) S 18044 18046 15880 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391324947 9367552 269 33554432000 4194304 5064252 140735867145648 140735867144560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18046/statm: 2287 269 229 213 0 72 0
[pid=18047] ppid=18046 vsize=1372268 CPUtime=1662.01 cores=1,3,5,7
/proc/18047/stat : 18047 (pb_cplex) R 18046 18046 15880 0 -1 4202496 423701 0 0 0 166038 163 0 0 20 0 1 0 391324947 1405202432 236998 33554432000 134512640 146736320 4289363152 4289358160 136403117 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/18047/statm: 343067 236998 820 2985 0 340001 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1381416
[startup+1722.3 s]
/proc/loadavg: 1.02 1.12 1.81 2/172 18090
/proc/meminfo: memFree=25956972/32873648 swapFree=7376/7376
[pid=18046] ppid=18044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18046/stat : 18046 (run) S 18044 18046 15880 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391324947 9367552 269 33554432000 4194304 5064252 140735867145648 140735867144560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18046/statm: 2287 269 229 213 0 72 0
[pid=18047] ppid=18046 vsize=1372412 CPUtime=1722.01 cores=1,3,5,7
/proc/18047/stat : 18047 (pb_cplex) R 18046 18046 15880 0 -1 4202496 430829 0 0 0 172032 169 0 0 20 0 1 0 391324947 1405349888 237034 33554432000 134512640 146736320 4289363152 4289357992 136385265 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/18047/statm: 343103 237034 820 2985 0 340037 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1381560
[startup+1782.3 s]
/proc/loadavg: 1.00 1.10 1.76 2/172 18090
/proc/meminfo: memFree=25956024/32873648 swapFree=7376/7376
[pid=18046] ppid=18044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18046/stat : 18046 (run) S 18044 18046 15880 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391324947 9367552 269 33554432000 4194304 5064252 140735867145648 140735867144560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18046/statm: 2287 269 229 213 0 72 0
[pid=18047] ppid=18046 vsize=1373012 CPUtime=1782 cores=1,3,5,7
/proc/18047/stat : 18047 (pb_cplex) R 18046 18046 15880 0 -1 4202496 432731 0 0 0 178029 171 0 0 20 0 1 0 391324947 1405964288 237259 33554432000 134512640 146736320 4289363152 4289358336 139047346 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/18047/statm: 343253 237259 823 2985 0 340187 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1382160
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 1.00 1.09 1.74 2/172 18090
/proc/meminfo: memFree=25694616/32873648 swapFree=7376/7376
[pid=18046] ppid=18044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18046/stat : 18046 (run) S 18044 18046 15880 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391324947 9367552 269 33554432000 4194304 5064252 140735867145648 140735867144560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18046/statm: 2287 269 229 213 0 72 0
[pid=18047] ppid=18046 vsize=1741036 CPUtime=1800.1 cores=1,3,5,7
/proc/18047/stat : 18047 (pb_cplex) R 18046 18046 15880 0 -1 4202496 452517 0 0 0 179834 176 0 0 20 0 1 0 391324947 1782820864 302602 33554432000 134512640 146736320 4289363152 4289357896 136064058 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/18047/statm: 435259 302602 831 2985 0 432193 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1750184
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 18046 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.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1798.34
CPU system time (s): 1.76
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 1750184
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= 353
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= 1
involuntary context switches= 1
runsolver used 3.86041 second user time and 9.2136 second system time
The end