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-3742484-1339251134/watcher-3742484-1339251134 -o /tmp/evaluation-result-3742484-1339251134/solver-3742484-1339251134 -C 1800 -W 1900 -M 15500 run HOME/instance-3742484-1339251134.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.04 2.05 3.04 3/177 17927
/proc/meminfo: memFree=25304104/32873648 swapFree=7376/7376
[pid=17927] ppid=17925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17927/stat : 17927 (run) S 17925 17927 15880 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391238843 9367552 270 33554432000 4194304 5064252 140735680120368 140735680119280 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17927/statm: 2287 270 229 213 0 72 0
[startup+0.0325579 s]
/proc/loadavg: 2.04 2.05 3.04 3/177 17927
/proc/meminfo: memFree=25304104/32873648 swapFree=7376/7376
[pid=17927] ppid=17925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17927/stat : 17927 (run) S 17925 17927 15880 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391238843 9367552 270 33554432000 4194304 5064252 140735680120368 140735680119280 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17927/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100256 s]
/proc/loadavg: 2.04 2.05 3.04 3/177 17927
/proc/meminfo: memFree=25304104/32873648 swapFree=7376/7376
[pid=17927] ppid=17925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17927/stat : 17927 (run) S 17925 17927 15880 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391238843 9367552 270 33554432000 4194304 5064252 140735680120368 140735680119280 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17927/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300216 s]
/proc/loadavg: 2.04 2.05 3.04 3/177 17927
/proc/meminfo: memFree=25304104/32873648 swapFree=7376/7376
[pid=17927] ppid=17925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17927/stat : 17927 (run) S 17925 17927 15880 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391238843 9367552 270 33554432000 4194304 5064252 140735680120368 140735680119280 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17927/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700225 s]
/proc/loadavg: 2.04 2.05 3.04 3/177 17927
/proc/meminfo: memFree=25304104/32873648 swapFree=7376/7376
[pid=17927] ppid=17925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17927/stat : 17927 (run) S 17925 17927 15880 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391238843 9367552 270 33554432000 4194304 5064252 140735680120368 140735680119280 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17927/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 2.04 2.05 3.04 3/179 17929
/proc/meminfo: memFree=25279188/32873648 swapFree=7376/7376
[pid=17927] ppid=17925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17927/stat : 17927 (run) S 17925 17927 15880 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391238843 9367552 270 33554432000 4194304 5064252 140735680120368 140735680119280 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17927/statm: 2287 270 229 213 0 72 0
[pid=17928] ppid=17927 vsize=68132 CPUtime=1.48 cores=0,2,4,6
/proc/17928/stat : 17928 (pb_cplex) R 17927 17927 15880 0 -1 4202496 15283 0 0 0 147 1 0 0 20 0 1 0 391238843 69767168 9875 33554432000 134512640 146736320 4291068240 4291062784 136413781 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/17928/statm: 17033 9875 726 2985 0 13967 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 77280
[startup+3.10027 s]
/proc/loadavg: 2.04 2.05 3.04 3/179 17929
/proc/meminfo: memFree=25266556/32873648 swapFree=7376/7376
[pid=17927] ppid=17925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17927/stat : 17927 (run) S 17925 17927 15880 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391238843 9367552 270 33554432000 4194304 5064252 140735680120368 140735680119280 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17927/statm: 2287 270 229 213 0 72 0
[pid=17928] ppid=17927 vsize=68244 CPUtime=3.09 cores=0,2,4,6
/proc/17928/stat : 17928 (pb_cplex) R 17927 17927 15880 0 -1 4202496 17242 0 0 0 307 2 0 0 20 0 1 0 391238843 69881856 9916 33554432000 134512640 146736320 4291068240 4291062676 136017787 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/17928/statm: 17061 9916 726 2985 0 13995 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 77392
[startup+6.30028 s]
/proc/loadavg: 2.03 2.05 3.03 3/179 17929
/proc/meminfo: memFree=25265440/32873648 swapFree=7376/7376
[pid=17927] ppid=17925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17927/stat : 17927 (run) S 17925 17927 15880 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391238843 9367552 270 33554432000 4194304 5064252 140735680120368 140735680119280 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17927/statm: 2287 270 229 213 0 72 0
[pid=17928] ppid=17927 vsize=68436 CPUtime=6.29 cores=0,2,4,6
/proc/17928/stat : 17928 (pb_cplex) R 17927 17927 15880 0 -1 4202496 21138 0 0 0 627 2 0 0 20 0 1 0 391238843 70078464 9976 33554432000 134512640 146736320 4291068240 4291062876 135855174 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/17928/statm: 17109 9976 726 2985 0 14043 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 77584
[startup+12.7003 s]
/proc/loadavg: 2.03 2.04 3.03 3/179 17929
/proc/meminfo: memFree=25263632/32873648 swapFree=7376/7376
[pid=17927] ppid=17925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17927/stat : 17927 (run) S 17925 17927 15880 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391238843 9367552 270 33554432000 4194304 5064252 140735680120368 140735680119280 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17927/statm: 2287 270 229 213 0 72 0
[pid=17928] ppid=17927 vsize=68604 CPUtime=12.69 cores=0,2,4,6
/proc/17928/stat : 17928 (pb_cplex) R 17927 17927 15880 0 -1 4202496 27077 0 0 0 1266 3 0 0 20 0 1 0 391238843 70250496 10024 33554432000 134512640 146736320 4291068240 4291063240 136000795 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/17928/statm: 17151 10024 726 2985 0 14085 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 77752
[startup+25.5003 s]
/proc/loadavg: 2.02 2.04 3.01 3/179 17929
/proc/meminfo: memFree=25264016/32873648 swapFree=7376/7376
[pid=17927] ppid=17925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17927/stat : 17927 (run) S 17925 17927 15880 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391238843 9367552 270 33554432000 4194304 5064252 140735680120368 140735680119280 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17927/statm: 2287 270 229 213 0 72 0
[pid=17928] ppid=17927 vsize=68724 CPUtime=25.48 cores=0,2,4,6
/proc/17928/stat : 17928 (pb_cplex) R 17927 17927 15880 0 -1 4202496 36714 0 0 0 2543 5 0 0 20 0 1 0 391238843 70373376 10071 33554432000 134512640 146736320 4291068240 4291063060 136003522 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/17928/statm: 17181 10071 726 2985 0 14115 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 77872
[startup+51.1003 s]
/proc/loadavg: 2.09 2.05 2.99 3/179 17929
/proc/meminfo: memFree=25257684/32873648 swapFree=7376/7376
[pid=17927] ppid=17925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17927/stat : 17927 (run) S 17925 17927 15880 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391238843 9367552 270 33554432000 4194304 5064252 140735680120368 140735680119280 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17927/statm: 2287 270 229 213 0 72 0
[pid=17928] ppid=17927 vsize=69948 CPUtime=51.08 cores=0,2,4,6
/proc/17928/stat : 17928 (pb_cplex) R 17927 17927 15880 0 -1 4202496 46186 0 0 0 5102 6 0 0 20 0 1 0 391238843 71626752 10364 33554432000 134512640 146736320 4291068240 4291062992 136008450 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/17928/statm: 17487 10364 726 2985 0 14421 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 79096
[startup+102.307 s]
/proc/loadavg: 2.04 2.04 2.93 3/179 17929
/proc/meminfo: memFree=25255680/32873648 swapFree=7376/7376
[pid=17927] ppid=17925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17927/stat : 17927 (run) S 17925 17927 15880 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391238843 9367552 270 33554432000 4194304 5064252 140735680120368 140735680119280 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17927/statm: 2287 270 229 213 0 72 0
[pid=17928] ppid=17927 vsize=68704 CPUtime=102.28 cores=0,2,4,6
/proc/17928/stat : 17928 (pb_cplex) R 17927 17927 15880 0 -1 4202496 64233 0 0 0 10219 9 0 0 20 0 1 0 391238843 70352896 10538 33554432000 134512640 146736320 4291068240 4291062264 136475800 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/17928/statm: 17176 10538 781 2985 0 14110 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 77852
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.87 3/179 17929
/proc/meminfo: memFree=25254064/32873648 swapFree=7376/7376
[pid=17927] ppid=17925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17927/stat : 17927 (run) S 17925 17927 15880 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391238843 9367552 270 33554432000 4194304 5064252 140735680120368 140735680119280 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17927/statm: 2287 270 229 213 0 72 0
[pid=17928] ppid=17927 vsize=68716 CPUtime=162.26 cores=0,2,4,6
/proc/17928/stat : 17928 (pb_cplex) R 17927 17927 15880 0 -1 4202496 102871 0 0 0 16210 16 0 0 20 0 1 0 391238843 70365184 10543 33554432000 134512640 146736320 4291068240 4291062320 136384852 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/17928/statm: 17179 10543 781 2985 0 14113 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 77864
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.82 3/179 17929
/proc/meminfo: memFree=25245604/32873648 swapFree=7376/7376
[pid=17927] ppid=17925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17927/stat : 17927 (run) S 17925 17927 15880 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391238843 9367552 270 33554432000 4194304 5064252 140735680120368 140735680119280 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17927/statm: 2287 270 229 213 0 72 0
[pid=17928] ppid=17927 vsize=68752 CPUtime=222.25 cores=0,2,4,6
/proc/17928/stat : 17928 (pb_cplex) R 17927 17927 15880 0 -1 4202496 142756 0 0 0 22202 23 0 0 20 0 1 0 391238843 70402048 12686 33554432000 134512640 146736320 4291068240 4291062520 136015579 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/17928/statm: 17188 12686 781 2985 0 14122 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 77900
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.76 3/179 17930
/proc/meminfo: memFree=25245232/32873648 swapFree=7376/7376
[pid=17927] ppid=17925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17927/stat : 17927 (run) S 17925 17927 15880 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391238843 9367552 270 33554432000 4194304 5064252 140735680120368 140735680119280 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17927/statm: 2287 270 229 213 0 72 0
[pid=17928] ppid=17927 vsize=68768 CPUtime=282.24 cores=0,2,4,6
/proc/17928/stat : 17928 (pb_cplex) R 17927 17927 15880 0 -1 4202496 183451 0 0 0 28195 29 0 0 20 0 1 0 391238843 70418432 12692 33554432000 134512640 146736320 4291068240 4291062520 136015579 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/17928/statm: 17192 12692 782 2985 0 14126 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 77916
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.71 3/186 17986
/proc/meminfo: memFree=26826644/32873648 swapFree=7376/7376
[pid=17927] ppid=17925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17927/stat : 17927 (run) S 17925 17927 15880 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391238843 9367552 270 33554432000 4194304 5064252 140735680120368 140735680119280 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17927/statm: 2287 270 229 213 0 72 0
[pid=17928] ppid=17927 vsize=68768 CPUtime=342.23 cores=0,2,4,6
/proc/17928/stat : 17928 (pb_cplex) R 17927 17927 15880 0 -1 4202496 223729 0 0 0 34187 36 0 0 20 0 1 0 391238843 70418432 12692 33554432000 134512640 146736320 4291068240 4291062300 135855165 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/17928/statm: 17192 12692 782 2985 0 14126 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 77916
[startup+402.3 s]
/proc/loadavg: 5.95 3.13 3.05 10/186 17986
/proc/meminfo: memFree=26789952/32873648 swapFree=7376/7376
[pid=17927] ppid=17925 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.64 3.39 3/179 18053
/proc/meminfo: memFree=26015324/32873648 swapFree=7376/7376
[pid=17927] ppid=17925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17927/stat : 17927 (run) S 17925 17927 15880 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391238843 9367552 270 33554432000 4194304 5064252 140735680120368 140735680119280 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17927/statm: 2287 270 229 213 0 72 0
[pid=17928] ppid=17927 vsize=85136 CPUtime=1362.07 cores=0,2,4,6
/proc/17928/stat : 17928 (pb_cplex) R 17927 17927 15880 0 -1 4202496 839350 0 0 0 136058 149 0 0 20 0 1 0 391238843 87179264 16434 33554432000 134512640 146736320 4291068240 4291062248 139044591 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/17928/statm: 21284 16434 843 2985 0 18218 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 94284
[startup+1422.31 s]
/proc/loadavg: 2.00 2.52 3.30 3/179 18053
/proc/meminfo: memFree=25991804/32873648 swapFree=7376/7376
[pid=17927] ppid=17925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17927/stat : 17927 (run) S 17925 17927 15880 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391238843 9367552 270 33554432000 4194304 5064252 140735680120368 140735680119280 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17927/statm: 2287 270 229 213 0 72 0
[pid=17928] ppid=17927 vsize=85436 CPUtime=1422.07 cores=0,2,4,6
/proc/17928/stat : 17928 (pb_cplex) R 17927 17927 15880 0 -1 4202496 839453 0 0 0 142058 149 0 0 20 0 1 0 391238843 87486464 16537 33554432000 134512640 146736320 4291068240 4291062520 136015579 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/17928/statm: 21359 16537 843 2985 0 18293 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 94584
[startup+1482.3 s]
/proc/loadavg: 2.00 2.42 3.22 3/179 18053
/proc/meminfo: memFree=25984136/32873648 swapFree=7376/7376
[pid=17927] ppid=17925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17927/stat : 17927 (run) S 17925 17927 15880 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391238843 9367552 270 33554432000 4194304 5064252 140735680120368 140735680119280 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17927/statm: 2287 270 229 213 0 72 0
[pid=17928] ppid=17927 vsize=85488 CPUtime=1482.05 cores=0,2,4,6
/proc/17928/stat : 17928 (pb_cplex) R 17927 17927 15880 0 -1 4202496 839468 0 0 0 148056 149 0 0 20 0 1 0 391238843 87539712 16552 33554432000 134512640 146736320 4291068240 4291062248 139044532 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/17928/statm: 21372 16552 843 2985 0 18306 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 94636
[startup+1542.3 s]
/proc/loadavg: 2.00 2.34 3.14 3/179 18054
/proc/meminfo: memFree=25970816/32873648 swapFree=7376/7376
[pid=17927] ppid=17925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17927/stat : 17927 (run) S 17925 17927 15880 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391238843 9367552 270 33554432000 4194304 5064252 140735680120368 140735680119280 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17927/statm: 2287 270 229 213 0 72 0
[pid=17928] ppid=17927 vsize=85496 CPUtime=1542.04 cores=0,2,4,6
/proc/17928/stat : 17928 (pb_cplex) R 17927 17927 15880 0 -1 4202496 839476 0 0 0 154055 149 0 0 20 0 1 0 391238843 87547904 16560 33554432000 134512640 146736320 4291068240 4291062024 135525950 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/17928/statm: 21374 16560 843 2985 0 18308 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 94644
[startup+1602.3 s]
/proc/loadavg: 2.00 2.28 3.06 3/179 18054
/proc/meminfo: memFree=25941864/32873648 swapFree=7376/7376
[pid=17927] ppid=17925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17927/stat : 17927 (run) S 17925 17927 15880 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391238843 9367552 270 33554432000 4194304 5064252 140735680120368 140735680119280 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17927/statm: 2287 270 229 213 0 72 0
[pid=17928] ppid=17927 vsize=85508 CPUtime=1602.04 cores=0,2,4,6
/proc/17928/stat : 17928 (pb_cplex) R 17927 17927 15880 0 -1 4202496 839479 0 0 0 160054 150 0 0 20 0 1 0 391238843 87560192 16563 33554432000 134512640 146736320 4291068240 4291062520 136015703 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/17928/statm: 21377 16563 843 2985 0 18311 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 94656
[startup+1662.3 s]
/proc/loadavg: 2.00 2.22 2.99 3/179 18054
/proc/meminfo: memFree=25925872/32873648 swapFree=7376/7376
[pid=17927] ppid=17925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17927/stat : 17927 (run) S 17925 17927 15880 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391238843 9367552 270 33554432000 4194304 5064252 140735680120368 140735680119280 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17927/statm: 2287 270 229 213 0 72 0
[pid=17928] ppid=17927 vsize=85512 CPUtime=1662.03 cores=0,2,4,6
/proc/17928/stat : 17928 (pb_cplex) R 17927 17927 15880 0 -1 4202496 839480 0 0 0 166053 150 0 0 20 0 1 0 391238843 87564288 16564 33554432000 134512640 146736320 4291068240 4291061300 135450874 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/17928/statm: 21378 16564 843 2985 0 18312 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 94660
[startup+1722.3 s]
/proc/loadavg: 2.00 2.18 2.93 3/180 18057
/proc/meminfo: memFree=25926148/32873648 swapFree=7376/7376
[pid=17927] ppid=17925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17927/stat : 17927 (run) S 17925 17927 15880 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391238843 9367552 270 33554432000 4194304 5064252 140735680120368 140735680119280 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17927/statm: 2287 270 229 213 0 72 0
[pid=17928] ppid=17927 vsize=85536 CPUtime=1722.02 cores=0,2,4,6
/proc/17928/stat : 17928 (pb_cplex) R 17927 17927 15880 0 -1 4202496 839486 0 0 0 172052 150 0 0 20 0 1 0 391238843 87588864 16570 33554432000 134512640 146736320 4291068240 4291062248 139044542 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/17928/statm: 21384 16570 843 2985 0 18318 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 94684
[startup+1782.3 s]
/proc/loadavg: 2.04 2.16 2.87 3/179 18057
/proc/meminfo: memFree=25923988/32873648 swapFree=7376/7376
[pid=17927] ppid=17925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17927/stat : 17927 (run) S 17925 17927 15880 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391238843 9367552 270 33554432000 4194304 5064252 140735680120368 140735680119280 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17927/statm: 2287 270 229 213 0 72 0
[pid=17928] ppid=17927 vsize=85536 CPUtime=1782.01 cores=0,2,4,6
/proc/17928/stat : 17928 (pb_cplex) R 17927 17927 15880 0 -1 4202496 839486 0 0 0 178051 150 0 0 20 0 1 0 391238843 87588864 16570 33554432000 134512640 146736320 4291068240 4291062208 136018922 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/17928/statm: 21384 16570 843 2985 0 18318 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 94684
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.04 2.15 2.86 3/178 18057
/proc/meminfo: memFree=25923488/32873648 swapFree=7376/7376
[pid=17927] ppid=17925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17927/stat : 17927 (run) S 17925 17927 15880 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391238843 9367552 270 33554432000 4194304 5064252 140735680120368 140735680119280 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17927/statm: 2287 270 229 213 0 72 0
[pid=17928] ppid=17927 vsize=85536 CPUtime=1791.61 cores=0,2,4,6
/proc/17928/stat : 17928 (pb_cplex) R 17927 17927 15880 0 -1 4202496 839486 0 0 0 179011 150 0 0 20 0 1 0 391238843 87588864 16570 33554432000 134512640 146736320 4291068240 4291062300 135855165 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/17928/statm: 21384 16570 843 2985 0 18318 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 94684
[startup+1795.1 s]
/proc/loadavg: 2.03 2.15 2.86 3/178 18057
/proc/meminfo: memFree=25917344/32873648 swapFree=7376/7376
[pid=17927] ppid=17925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17927/stat : 17927 (run) S 17925 17927 15880 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391238843 9367552 270 33554432000 4194304 5064252 140735680120368 140735680119280 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17927/statm: 2287 270 229 213 0 72 0
[pid=17928] ppid=17927 vsize=85536 CPUtime=1794.81 cores=0,2,4,6
/proc/17928/stat : 17928 (pb_cplex) R 17927 17927 15880 0 -1 4202496 839486 0 0 0 179331 150 0 0 20 0 1 0 391238843 87588864 16570 33554432000 134512640 146736320 4291068240 4291062264 136475780 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/17928/statm: 21384 16570 843 2985 0 18318 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 94684
[startup+1796.7 s]
/proc/loadavg: 2.03 2.15 2.86 3/179 18058
/proc/meminfo: memFree=25917344/32873648 swapFree=7376/7376
[pid=17927] ppid=17925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17927/stat : 17927 (run) S 17925 17927 15880 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391238843 9367552 270 33554432000 4194304 5064252 140735680120368 140735680119280 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17927/statm: 2287 270 229 213 0 72 0
[pid=17928] ppid=17927 vsize=85536 CPUtime=1796.41 cores=0,2,4,6
/proc/17928/stat : 17928 (pb_cplex) R 17927 17927 15880 0 -1 4202496 839486 0 0 0 179491 150 0 0 20 0 1 0 391238843 87588864 16570 33554432000 134512640 146736320 4291068240 4291062280 136474225 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/17928/statm: 21384 16570 843 2985 0 18318 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 94684
[startup+1798.3 s]
/proc/loadavg: 2.03 2.15 2.86 3/179 18058
/proc/meminfo: memFree=25917460/32873648 swapFree=7376/7376
[pid=17927] ppid=17925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17927/stat : 17927 (run) S 17925 17927 15880 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391238843 9367552 270 33554432000 4194304 5064252 140735680120368 140735680119280 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17927/statm: 2287 270 229 213 0 72 0
[pid=17928] ppid=17927 vsize=85536 CPUtime=1798 cores=0,2,4,6
/proc/17928/stat : 17928 (pb_cplex) R 17927 17927 15880 0 -1 4202496 839486 0 0 0 179650 150 0 0 20 0 1 0 391238843 87588864 16570 33554432000 134512640 146736320 4291068240 4291062520 136015544 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/17928/statm: 21384 16570 843 2985 0 18318 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 94684
[startup+1798.7 s]
/proc/loadavg: 2.03 2.15 2.86 3/179 18058
/proc/meminfo: memFree=25917460/32873648 swapFree=7376/7376
[pid=17927] ppid=17925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17927/stat : 17927 (run) S 17925 17927 15880 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391238843 9367552 270 33554432000 4194304 5064252 140735680120368 140735680119280 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17927/statm: 2287 270 229 213 0 72 0
[pid=17928] ppid=17927 vsize=85536 CPUtime=1798.4 cores=0,2,4,6
/proc/17928/stat : 17928 (pb_cplex) R 17927 17927 15880 0 -1 4202496 839486 0 0 0 179690 150 0 0 20 0 1 0 391238843 87588864 16570 33554432000 134512640 146736320 4291068240 4291060624 135459259 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/17928/statm: 21384 16570 843 2985 0 18318 0
Current children cumulated CPU time (s) 1798.4
Current children cumulated vsize (KiB) 94684
[startup+1799.1 s]
/proc/loadavg: 2.03 2.15 2.86 3/179 18058
/proc/meminfo: memFree=25917460/32873648 swapFree=7376/7376
[pid=17927] ppid=17925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17927/stat : 17927 (run) S 17925 17927 15880 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391238843 9367552 270 33554432000 4194304 5064252 140735680120368 140735680119280 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17927/statm: 2287 270 229 213 0 72 0
[pid=17928] ppid=17927 vsize=85536 CPUtime=1798.8 cores=0,2,4,6
/proc/17928/stat : 17928 (pb_cplex) R 17927 17927 15880 0 -1 4202496 839486 0 0 0 179730 150 0 0 20 0 1 0 391238843 87588864 16570 33554432000 134512640 146736320 4291068240 4291062248 139044581 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/17928/statm: 21384 16570 843 2985 0 18318 0
Current children cumulated CPU time (s) 1798.8
Current children cumulated vsize (KiB) 94684
Child status: 0
Real time (s): 1799.15
CPU time (s): 1798.86
CPU user time (s): 1797.35
CPU system time (s): 1.50977
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 112836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.35
system time used= 1.50977
maximum resident set size= 83240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 839871
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= 18
involuntary context switches= 1868
runsolver used 3.2605 second user time and 7.95879 second system time
The end