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-3743248-1339251684/watcher-3743248-1339251684 -o /tmp/evaluation-result-3743248-1339251684/solver-3743248-1339251684 -C 1800 -W 1900 -M 15500 run HOME/instance-3743248-1339251684.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.00 2.78 4.30 3/177 21015
/proc/meminfo: memFree=28298216/32873648 swapFree=7628/7628
[pid=21015] ppid=21013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21015/stat : 21015 (run) S 21013 21015 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391294499 9367552 270 33554432000 4194304 5064252 140736131578064 140736131576976 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21015/statm: 2287 270 229 213 0 72 0
[startup+0.0384221 s]
/proc/loadavg: 2.00 2.78 4.30 3/177 21015
/proc/meminfo: memFree=28298216/32873648 swapFree=7628/7628
[pid=21015] ppid=21013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21015/stat : 21015 (run) S 21013 21015 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391294499 9367552 270 33554432000 4194304 5064252 140736131578064 140736131576976 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21015/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10015 s]
/proc/loadavg: 2.00 2.78 4.30 3/177 21015
/proc/meminfo: memFree=28298216/32873648 swapFree=7628/7628
[pid=21015] ppid=21013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21015/stat : 21015 (run) S 21013 21015 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391294499 9367552 270 33554432000 4194304 5064252 140736131578064 140736131576976 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21015/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300147 s]
/proc/loadavg: 2.00 2.78 4.30 3/177 21015
/proc/meminfo: memFree=28298216/32873648 swapFree=7628/7628
[pid=21015] ppid=21013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21015/stat : 21015 (run) S 21013 21015 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391294499 9367552 270 33554432000 4194304 5064252 140736131578064 140736131576976 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21015/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700102 s]
/proc/loadavg: 2.00 2.78 4.30 3/177 21015
/proc/meminfo: memFree=28298216/32873648 swapFree=7628/7628
[pid=21015] ppid=21013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21015/stat : 21015 (run) S 21013 21015 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391294499 9367552 270 33554432000 4194304 5064252 140736131578064 140736131576976 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21015/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50013 s]
/proc/loadavg: 2.00 2.78 4.30 3/179 21017
/proc/meminfo: memFree=28274996/32873648 swapFree=7628/7628
[pid=21015] ppid=21013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21015/stat : 21015 (run) S 21013 21015 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391294499 9367552 270 33554432000 4194304 5064252 140736131578064 140736131576976 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21015/statm: 2287 270 229 213 0 72 0
[pid=21016] ppid=21015 vsize=64716 CPUtime=1.49 cores=0,2,4,6
/proc/21016/stat : 21016 (pb_cplex) R 21015 21015 19841 0 -1 4202496 7521 0 0 0 148 1 0 0 20 0 1 0 391294499 66269184 7128 33554432000 134512640 146736320 4287825264 4287823312 140665567 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/21016/statm: 16179 7128 1104 2985 0 6221 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 73864
[startup+3.10014 s]
/proc/loadavg: 2.00 2.78 4.30 3/179 21017
/proc/meminfo: memFree=28274004/32873648 swapFree=7628/7628
[pid=21015] ppid=21013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21015/stat : 21015 (run) S 21013 21015 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391294499 9367552 270 33554432000 4194304 5064252 140736131578064 140736131576976 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21015/statm: 2287 270 229 213 0 72 0
[pid=21016] ppid=21015 vsize=65640 CPUtime=3.09 cores=0,2,4,6
/proc/21016/stat : 21016 (pb_cplex) R 21015 21015 19841 0 -1 4202496 7877 0 0 0 308 1 0 0 20 0 1 0 391294499 67215360 7484 33554432000 134512640 146736320 4287825264 4287823244 140681168 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/21016/statm: 16410 7484 1246 2985 0 6452 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 74788
[startup+6.3002 s]
/proc/loadavg: 2.00 2.77 4.29 4/179 21017
/proc/meminfo: memFree=28201896/32873648 swapFree=7628/7628
[pid=21015] ppid=21013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21015/stat : 21015 (run) S 21013 21015 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391294499 9367552 270 33554432000 4194304 5064252 140736131578064 140736131576976 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21015/statm: 2287 270 229 213 0 72 0
[pid=21016] ppid=21015 vsize=182044 CPUtime=6.29 cores=0,2,4,6
/proc/21016/stat : 21016 (pb_cplex) R 21015 21015 19841 0 -1 4202496 40379 0 0 0 621 8 0 0 20 0 1 0 391294499 186413056 38502 33554432000 134512640 146736320 4287825264 4287823064 144716523 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/21016/statm: 45511 38504 4588 2985 0 35553 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 191192
[startup+12.7003 s]
/proc/loadavg: 2.00 2.76 4.28 3/179 21017
/proc/meminfo: memFree=28129456/32873648 swapFree=7628/7628
[pid=21015] ppid=21013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21015/stat : 21015 (run) S 21013 21015 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391294499 9367552 270 33554432000 4194304 5064252 140736131578064 140736131576976 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21015/statm: 2287 270 229 213 0 72 0
[pid=21016] ppid=21015 vsize=216336 CPUtime=12.69 cores=0,2,4,6
/proc/21016/stat : 21016 (pb_cplex) R 21015 21015 19841 0 -1 4202496 48601 0 0 0 1259 10 0 0 20 0 1 0 391294499 221528064 48380 33554432000 134512640 146736320 4287825264 4287823184 140679077 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/21016/statm: 54084 48380 5992 2985 0 44126 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 225484
[startup+25.5002 s]
/proc/loadavg: 2.00 2.72 4.24 3/179 21018
/proc/meminfo: memFree=28121404/32873648 swapFree=7628/7628
[pid=21015] ppid=21013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21015/stat : 21015 (run) S 21013 21015 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391294499 9367552 270 33554432000 4194304 5064252 140736131578064 140736131576976 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21015/statm: 2287 270 229 213 0 72 0
[pid=21016] ppid=21015 vsize=223812 CPUtime=25.48 cores=0,2,4,6
/proc/21016/stat : 21016 (pb_cplex) R 21015 21015 19841 0 -1 4202496 51675 0 0 0 2538 10 0 0 20 0 1 0 391294499 229183488 51454 33554432000 134512640 146736320 4287825264 4287823280 140684732 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/21016/statm: 55953 51454 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.00 2.66 4.18 3/179 21018
/proc/meminfo: memFree=28121068/32873648 swapFree=7628/7628
[pid=21015] ppid=21013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21015/stat : 21015 (run) S 21013 21015 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391294499 9367552 270 33554432000 4194304 5064252 140736131578064 140736131576976 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21015/statm: 2287 270 229 213 0 72 0
[pid=21016] ppid=21015 vsize=223944 CPUtime=51.07 cores=0,2,4,6
/proc/21016/stat : 21016 (pb_cplex) R 21015 21015 19841 0 -1 4202496 51716 0 0 0 5097 10 0 0 20 0 1 0 391294499 229318656 51486 33554432000 134512640 146736320 4287825264 4287823100 140526528 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/21016/statm: 55986 51486 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.00 2.56 4.06 3/179 21018
/proc/meminfo: memFree=28120492/32873648 swapFree=7628/7628
[pid=21015] ppid=21013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21015/stat : 21015 (run) S 21013 21015 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391294499 9367552 270 33554432000 4194304 5064252 140736131578064 140736131576976 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21015/statm: 2287 270 229 213 0 72 0
[pid=21016] ppid=21015 vsize=224076 CPUtime=102.27 cores=0,2,4,6
/proc/21016/stat : 21016 (pb_cplex) R 21015 21015 19841 0 -1 4202496 51751 0 0 0 10217 10 0 0 20 0 1 0 391294499 229453824 51521 33554432000 134512640 146736320 4287825264 4287823116 140528657 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/21016/statm: 56019 51521 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.00 2.45 3.93 3/179 21018
/proc/meminfo: memFree=28119212/32873648 swapFree=7628/7628
[pid=21015] ppid=21013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21015/stat : 21015 (run) S 21013 21015 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391294499 9367552 270 33554432000 4194304 5064252 140736131578064 140736131576976 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21015/statm: 2287 270 229 213 0 72 0
[pid=21016] ppid=21015 vsize=224208 CPUtime=162.25 cores=0,2,4,6
/proc/21016/stat : 21016 (pb_cplex) R 21015 21015 19841 0 -1 4202496 51780 0 0 0 16215 10 0 0 20 0 1 0 391294499 229588992 51548 33554432000 134512640 146736320 4287825264 4287823360 140714076 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/21016/statm: 56052 51548 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.00 2.37 3.81 3/179 21018
/proc/meminfo: memFree=28119868/32873648 swapFree=7628/7628
[pid=21015] ppid=21013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21015/stat : 21015 (run) S 21013 21015 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391294499 9367552 270 33554432000 4194304 5064252 140736131578064 140736131576976 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21015/statm: 2287 270 229 213 0 72 0
[pid=21016] ppid=21015 vsize=224340 CPUtime=222.25 cores=0,2,4,6
/proc/21016/stat : 21016 (pb_cplex) R 21015 21015 19841 0 -1 4202496 51803 0 0 0 22214 11 0 0 20 0 1 0 391294499 229724160 51571 33554432000 134512640 146736320 4287825264 4287823152 141028095 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/21016/statm: 56085 51571 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.00 2.30 3.69 3/179 21018
/proc/meminfo: memFree=28119868/32873648 swapFree=7628/7628
[pid=21015] ppid=21013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21015/stat : 21015 (run) S 21013 21015 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391294499 9367552 270 33554432000 4194304 5064252 140736131578064 140736131576976 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21015/statm: 2287 270 229 213 0 72 0
[pid=21016] ppid=21015 vsize=224340 CPUtime=282.24 cores=0,2,4,6
/proc/21016/stat : 21016 (pb_cplex) R 21015 21015 19841 0 -1 4202496 51822 0 0 0 28213 11 0 0 20 0 1 0 391294499 229724160 51590 33554432000 134512640 146736320 4287825264 4287823096 134814118 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/21016/statm: 56085 51590 7180 2985 0 46127 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 233488
[startup+342.3 s]
/proc/loadavg: 2.00 2.24 3.58 3/180 21020
/proc/meminfo: memFree=27922476/32873648 swapFree=7628/7628
[pid=21015] ppid=21013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21015/stat : 21015 (run) S 21013 21015 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391294499 9367552 270 33554432000 4194304 5064252 140736131578064 140736131576976 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21015/statm: 2287 270 229 213 0 72 0
[pid=21016] ppid=21015 vsize=444940 CPUtime=342.22 cores=0,2,4,6
/proc/21016/stat : 21016 (pb_cplex) R 21015 21015 19841 0 -1 4202496 95822 0 0 0 34203 19 0 0 20 0 1 0 391294499 455618560 99088 33554432000 134512640 146736320 4287825264 4287823480 136729814 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/21016/statm: 111235 99088 614 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.00 2.20 3.48 3/179 21020
/proc/meminfo: memFree=27507720/32873648 swapFree=7628/7628
[pid=21015] ppid=21013 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=21016/tid=21031] ppid=21015 vsize=3891276 CPUtime=0 cores=0,2,4,6
/proc/21016/task/21031/stat : 21031 (pb_cplex) S 21015 21015 19841 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391387355 3984666624 615370 33554432000 134512640 146736320 4287825264 795115152 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1062.16
Current children cumulated vsize (KiB) 3900424
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.66 3/187 21035
/proc/meminfo: memFree=25793984/32873648 swapFree=7628/7628
[pid=21015] ppid=21013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21015/stat : 21015 (run) S 21013 21015 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391294499 9367552 270 33554432000 4194304 5064252 140736131578064 140736131576976 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21015/statm: 2287 270 229 213 0 72 0
[pid=21016] ppid=21015 vsize=3896972 CPUtime=1122.16 cores=0,2,4,6
/proc/21016/stat : 21016 (pb_cplex) R 21015 21015 19841 0 -1 4202496 966651 0 0 0 111916 300 0 0 20 0 8 0 391294499 3990499328 616660 33554432000 134512640 146736320 4287825264 4287820408 136852327 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21016/statm: 974243 616660 941 2985 0 971177 0
[pid=21016/tid=21025] ppid=21015 vsize=3896972 CPUtime=0 cores=0,2,4,6
/proc/21016/task/21025/stat : 21025 (pb_cplex) S 21015 21015 19841 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 8 0 391387355 3990499328 616660 33554432000 134512640 146736320 4287825264 858029712 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21016/tid=21026] ppid=21015 vsize=3896972 CPUtime=0 cores=0,2,4,6
/proc/21016/task/21026/stat : 21026 (pb_cplex) S 21015 21015 19841 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391387355 3990499328 616660 33554432000 134512640 146736320 4287825264 847543952 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21016/tid=21027] ppid=21015 vsize=3896972 CPUtime=0 cores=0,2,4,6
/proc/21016/task/21027/stat : 21027 (pb_cplex) S 21015 21015 19841 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391387355 3990499328 616660 33554432000 134512640 146736320 4287825264 837058192 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21016/tid=21028] ppid=21015 vsize=3896972 CPUtime=0 cores=0,2,4,6
/proc/21016/task/21028/stat : 21028 (pb_cplex) S 21015 21015 19841 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391387355 3990499328 616660 33554432000 134512640 146736320 4287825264 826572432 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21016/tid=21029] ppid=21015 vsize=3896972 CPUtime=0 cores=0,2,4,6
/proc/21016/task/21029/stat : 21029 (pb_cplex) S 21015 21015 19841 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391387355 3990499328 616660 33554432000 134512640 146736320 4287825264 816086672 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21016/tid=21030] ppid=21015 vsize=3896972 CPUtime=0 cores=0,2,4,6
/proc/21016/task/21030/stat : 21030 (pb_cplex) S 21015 21015 19841 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391387355 3990499328 616660 33554432000 134512640 146736320 4287825264 805600912 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21016/tid=21031] ppid=21015 vsize=3896972 CPUtime=0 cores=0,2,4,6
/proc/21016/task/21031/stat : 21031 (pb_cplex) S 21015 21015 19841 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391387355 3990499328 616660 33554432000 134512640 146736320 4287825264 795115152 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1122.16
Current children cumulated vsize (KiB) 3906120
Solver just ended. Dumping a history of the last processes samples
[startup+1126.3 s]
/proc/loadavg: 2.00 2.01 2.66 3/187 21035
/proc/meminfo: memFree=25793848/32873648 swapFree=7628/7628
[pid=21015] ppid=21013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21015/stat : 21015 (run) S 21013 21015 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391294499 9367552 270 33554432000 4194304 5064252 140736131578064 140736131576976 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21015/statm: 2287 270 229 213 0 72 0
[pid=21016] ppid=21015 vsize=3892380 CPUtime=1126.16 cores=0,2,4,6
/proc/21016/stat : 21016 (pb_cplex) R 21015 21015 19841 0 -1 4202496 967126 0 0 0 112316 300 0 0 20 0 8 0 391294499 3985797120 615612 33554432000 134512640 146736320 4287825264 4287818128 136008364 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21016/statm: 973095 615612 941 2985 0 970029 0
[pid=21016/tid=21025] ppid=21015 vsize=3892380 CPUtime=0 cores=0,2,4,6
/proc/21016/task/21025/stat : 21025 (pb_cplex) S 21015 21015 19841 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 8 0 391387355 3985797120 615612 33554432000 134512640 146736320 4287825264 858029712 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21016/tid=21026] ppid=21015 vsize=3892380 CPUtime=0 cores=0,2,4,6
/proc/21016/task/21026/stat : 21026 (pb_cplex) S 21015 21015 19841 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391387355 3985797120 615612 33554432000 134512640 146736320 4287825264 847543952 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21016/tid=21027] ppid=21015 vsize=3892380 CPUtime=0 cores=0,2,4,6
/proc/21016/task/21027/stat : 21027 (pb_cplex) S 21015 21015 19841 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391387355 3985797120 615612 33554432000 134512640 146736320 4287825264 837058192 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21016/tid=21028] ppid=21015 vsize=3892380 CPUtime=0 cores=0,2,4,6
/proc/21016/task/21028/stat : 21028 (pb_cplex) S 21015 21015 19841 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391387355 3985797120 615612 33554432000 134512640 146736320 4287825264 826572432 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21016/tid=21029] ppid=21015 vsize=3892380 CPUtime=0 cores=0,2,4,6
/proc/21016/task/21029/stat : 21029 (pb_cplex) S 21015 21015 19841 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391387355 3985797120 615612 33554432000 134512640 146736320 4287825264 816086672 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21016/tid=21030] ppid=21015 vsize=3892380 CPUtime=0 cores=0,2,4,6
/proc/21016/task/21030/stat : 21030 (pb_cplex) S 21015 21015 19841 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391387355 3985797120 615612 33554432000 134512640 146736320 4287825264 805600912 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21016/tid=21031] ppid=21015 vsize=3892380 CPUtime=0 cores=0,2,4,6
/proc/21016/task/21031/stat : 21031 (pb_cplex) S 21015 21015 19841 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391387355 3985797120 615612 33554432000 134512640 146736320 4287825264 795115152 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1126.16
Current children cumulated vsize (KiB) 3901528
[startup+1139.1 s]
/proc/loadavg: 2.00 2.01 2.65 3/187 21035
/proc/meminfo: memFree=25793880/32873648 swapFree=7628/7628
[pid=21015] ppid=21013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21015/stat : 21015 (run) S 21013 21015 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391294499 9367552 270 33554432000 4194304 5064252 140736131578064 140736131576976 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21015/statm: 2287 270 229 213 0 72 0
[pid=21016] ppid=21015 vsize=3892380 CPUtime=1138.95 cores=0,2,4,6
/proc/21016/stat : 21016 (pb_cplex) R 21015 21015 19841 0 -1 4202496 968201 0 0 0 113594 301 0 0 20 0 8 0 391294499 3985797120 615612 33554432000 134512640 146736320 4287825264 4287818080 136006325 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21016/statm: 973095 615612 941 2985 0 970029 0
[pid=21016/tid=21025] ppid=21015 vsize=3892380 CPUtime=0 cores=0,2,4,6
/proc/21016/task/21025/stat : 21025 (pb_cplex) S 21015 21015 19841 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 8 0 391387355 3985797120 615612 33554432000 134512640 146736320 4287825264 858029712 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21016/tid=21026] ppid=21015 vsize=3892380 CPUtime=0 cores=0,2,4,6
/proc/21016/task/21026/stat : 21026 (pb_cplex) S 21015 21015 19841 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391387355 3985797120 615612 33554432000 134512640 146736320 4287825264 847543952 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21016/tid=21027] ppid=21015 vsize=3892380 CPUtime=0 cores=0,2,4,6
/proc/21016/task/21027/stat : 21027 (pb_cplex) S 21015 21015 19841 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391387355 3985797120 615612 33554432000 134512640 146736320 4287825264 837058192 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21016/tid=21028] ppid=21015 vsize=3892380 CPUtime=0 cores=0,2,4,6
/proc/21016/task/21028/stat : 21028 (pb_cplex) S 21015 21015 19841 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391387355 3985797120 615612 33554432000 134512640 146736320 4287825264 826572432 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21016/tid=21029] ppid=21015 vsize=3892380 CPUtime=0 cores=0,2,4,6
/proc/21016/task/21029/stat : 21029 (pb_cplex) S 21015 21015 19841 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391387355 3985797120 615612 33554432000 134512640 146736320 4287825264 816086672 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21016/tid=21030] ppid=21015 vsize=3892380 CPUtime=0 cores=0,2,4,6
/proc/21016/task/21030/stat : 21030 (pb_cplex) S 21015 21015 19841 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391387355 3985797120 615612 33554432000 134512640 146736320 4287825264 805600912 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21016/tid=21031] ppid=21015 vsize=3892380 CPUtime=0 cores=0,2,4,6
/proc/21016/task/21031/stat : 21031 (pb_cplex) S 21015 21015 19841 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391387355 3985797120 615612 33554432000 134512640 146736320 4287825264 795115152 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1138.95
Current children cumulated vsize (KiB) 3901528
[startup+1145.5 s]
/proc/loadavg: 2.00 2.01 2.64 3/187 21035
/proc/meminfo: memFree=25546640/32873648 swapFree=7628/7628
[pid=21015] ppid=21013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21015/stat : 21015 (run) S 21013 21015 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391294499 9367552 270 33554432000 4194304 5064252 140736131578064 140736131576976 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21015/statm: 2287 270 229 213 0 72 0
[pid=21016] ppid=21015 vsize=4138380 CPUtime=1146.06 cores=0,2,4,6
/proc/21016/stat : 21016 (pb_cplex) R 21015 21015 19841 0 -1 4202496 1009486 0 0 0 114291 315 0 0 20 0 8 0 391294499 4237701120 677565 33554432000 134512640 146736320 4287825264 4287818128 136008450 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21016/statm: 1034595 677565 941 2985 0 1031529 0
[pid=21016/tid=21025] ppid=21015 vsize=4138380 CPUtime=0.11 cores=0,2,4,6
/proc/21016/task/21025/stat : 21025 (pb_cplex) S 21015 21015 19841 0 -1 4202560 5294 0 0 0 9 2 0 0 20 0 8 0 391387355 4237701120 677565 33554432000 134512640 146736320 4287825264 858029712 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21016/tid=21026] ppid=21015 vsize=4138380 CPUtime=0.11 cores=0,2,4,6
/proc/21016/task/21026/stat : 21026 (pb_cplex) S 21015 21015 19841 0 -1 4202560 3963 0 0 0 9 2 0 0 20 0 8 0 391387355 4237701120 677565 33554432000 134512640 146736320 4287825264 847543952 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21016/tid=21027] ppid=21015 vsize=4138380 CPUtime=0.11 cores=0,2,4,6
/proc/21016/task/21027/stat : 21027 (pb_cplex) S 21015 21015 19841 0 -1 4202560 4652 0 0 0 9 2 0 0 20 0 8 0 391387355 4237701120 677565 33554432000 134512640 146736320 4287825264 837058192 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 1 0 0
[pid=21016/tid=21028] ppid=21015 vsize=4138380 CPUtime=0.11 cores=0,2,4,6
/proc/21016/task/21028/stat : 21028 (pb_cplex) S 21015 21015 19841 0 -1 4202560 3547 0 0 0 9 2 0 0 20 0 8 0 391387355 4237701120 677565 33554432000 134512640 146736320 4287825264 826572432 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21016/tid=21029] ppid=21015 vsize=4138380 CPUtime=0.1 cores=0,2,4,6
/proc/21016/task/21029/stat : 21029 (pb_cplex) S 21015 21015 19841 0 -1 4202560 3068 0 0 0 10 0 0 0 20 0 8 0 391387355 4237701120 677565 33554432000 134512640 146736320 4287825264 816086672 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21016/tid=21030] ppid=21015 vsize=4138380 CPUtime=0.13 cores=0,2,4,6
/proc/21016/task/21030/stat : 21030 (pb_cplex) S 21015 21015 19841 0 -1 4202560 3781 0 0 0 11 2 0 0 20 0 8 0 391387355 4237701120 677565 33554432000 134512640 146736320 4287825264 805600912 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21016/tid=21031] ppid=21015 vsize=4138380 CPUtime=0.11 cores=0,2,4,6
/proc/21016/task/21031/stat : 21031 (pb_cplex) S 21015 21015 19841 0 -1 4202560 5231 0 0 0 9 2 0 0 20 0 8 0 391387355 4237701120 677565 33554432000 134512640 146736320 4287825264 795115152 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1146.06
Current children cumulated vsize (KiB) 4147528
[startup+1151.9 s]
/proc/loadavg: 2.00 2.01 2.64 2/181 21036
/proc/meminfo: memFree=26831656/32873648 swapFree=7628/7628
[pid=21015] ppid=21013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21015/stat : 21015 (run) S 21013 21015 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391294499 9367552 270 33554432000 4194304 5064252 140736131578064 140736131576976 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21015/statm: 2287 270 229 213 0 72 0
[pid=21016] ppid=21015 vsize=980608 CPUtime=1146.83 cores=0,2,4,6
/proc/21016/stat : 21016 (pb_cplex) S 21015 21015 19841 0 -1 4204032 1014279 0 0 0 114323 360 0 0 20 0 1 0 391294499 1004142592 147371 33554432000 134512640 146736320 4287825264 4287823756 144864592 0 0 4096 16387 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21016/statm: 245152 147371 1266 2985 0 242086 0
Current children cumulated CPU time (s) 1146.83
Current children cumulated vsize (KiB) 989756
[startup+1155.1 s]
/proc/loadavg: 2.16 2.04 2.64 2/181 21036
/proc/meminfo: memFree=26830912/32873648 swapFree=7628/7628
[pid=21015] ppid=21013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21015/stat : 21015 (run) S 21013 21015 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391294499 9367552 270 33554432000 4194304 5064252 140736131578064 140736131576976 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21015/statm: 2287 270 229 213 0 72 0
[pid=21016] ppid=21015 vsize=980608 CPUtime=1146.83 cores=0,2,4,6
/proc/21016/stat : 21016 (pb_cplex) S 21015 21015 19841 0 -1 4204032 1014279 0 0 0 114323 360 0 0 20 0 1 0 391294499 1004142592 147371 33554432000 134512640 146736320 4287825264 4287823756 144864592 0 0 4096 16387 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21016/statm: 245152 147371 1266 2985 0 242086 0
Current children cumulated CPU time (s) 1146.83
Current children cumulated vsize (KiB) 989756
[startup+1156.7 s]
/proc/loadavg: 2.16 2.04 2.64 2/181 21036
/proc/meminfo: memFree=26831036/32873648 swapFree=7628/7628
[pid=21015] ppid=21013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21015/stat : 21015 (run) S 21013 21015 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391294499 9367552 270 33554432000 4194304 5064252 140736131578064 140736131576976 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21015/statm: 2287 270 229 213 0 72 0
[pid=21016] ppid=21015 vsize=980608 CPUtime=1146.83 cores=0,2,4,6
/proc/21016/stat : 21016 (pb_cplex) S 21015 21015 19841 0 -1 4204032 1014279 0 0 0 114323 360 0 0 20 0 1 0 391294499 1004142592 147371 33554432000 134512640 146736320 4287825264 4287823756 144864592 0 0 4096 16387 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21016/statm: 245152 147371 1266 2985 0 242086 0
Current children cumulated CPU time (s) 1146.83
Current children cumulated vsize (KiB) 989756
[startup+1157.1 s]
/proc/loadavg: 2.16 2.04 2.64 2/181 21036
/proc/meminfo: memFree=26831160/32873648 swapFree=7628/7628
[pid=21015] ppid=21013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21015/stat : 21015 (run) S 21013 21015 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391294499 9367552 270 33554432000 4194304 5064252 140736131578064 140736131576976 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21015/statm: 2287 270 229 213 0 72 0
[pid=21016] ppid=21015 vsize=980608 CPUtime=1146.83 cores=0,2,4,6
/proc/21016/stat : 21016 (pb_cplex) S 21015 21015 19841 0 -1 4204032 1014279 0 0 0 114323 360 0 0 20 0 1 0 391294499 1004142592 147371 33554432000 134512640 146736320 4287825264 4287823756 144864592 0 0 4096 16387 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21016/statm: 245152 147371 1266 2985 0 242086 0
Current children cumulated CPU time (s) 1146.83
Current children cumulated vsize (KiB) 989756
[startup+1157.5 s]
/proc/loadavg: 2.16 2.04 2.64 2/181 21036
/proc/meminfo: memFree=26831160/32873648 swapFree=7628/7628
[pid=21015] ppid=21013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21015/stat : 21015 (run) S 21013 21015 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391294499 9367552 270 33554432000 4194304 5064252 140736131578064 140736131576976 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21015/statm: 2287 270 229 213 0 72 0
[pid=21016] ppid=21015 vsize=980608 CPUtime=1146.83 cores=0,2,4,6
/proc/21016/stat : 21016 (pb_cplex) S 21015 21015 19841 0 -1 4204032 1014279 0 0 0 114323 360 0 0 20 0 1 0 391294499 1004142592 147371 33554432000 134512640 146736320 4287825264 4287823756 144864592 0 0 4096 16387 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21016/statm: 245152 147371 1266 2985 0 242086 0
Current children cumulated CPU time (s) 1146.83
Current children cumulated vsize (KiB) 989756
Child status: 134
Real time (s): 1157.59
CPU time (s): 1146.85
CPU user time (s): 1143.24
CPU system time (s): 3.61245
CPU usage (%): 99.0722
Max. virtual memory (cumulated for all children) (KiB): 4147528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1143.24
system time used= 3.61245
maximum resident set size= 2713204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1014646
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 221491
involuntary context switches= 1514
runsolver used 2.82057 second user time and 6.01509 second system time
The end