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-3740979-1339249726/watcher-3740979-1339249726 -o /tmp/evaluation-result-3740979-1339249726/solver-3740979-1339249726 -C 1800 -W 1900 -M 15500 run HOME/instance-3740979-1339249726.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: 2.17 2.26 3.07 3/177 12223
/proc/meminfo: memFree=31173500/32873648 swapFree=7116/7116
[pid=12223] ppid=12221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12223/stat : 12223 (run) S 12221 12223 10216 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391098148 9367552 270 33554432000 4194304 5064252 140735156207088 140735156206000 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12223/statm: 2287 270 229 213 0 72 0
[startup+0.0498789 s]
/proc/loadavg: 2.17 2.26 3.07 3/177 12223
/proc/meminfo: memFree=31173500/32873648 swapFree=7116/7116
[pid=12223] ppid=12221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12223/stat : 12223 (run) S 12221 12223 10216 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391098148 9367552 270 33554432000 4194304 5064252 140735156207088 140735156206000 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12223/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10027 s]
/proc/loadavg: 2.17 2.26 3.07 3/177 12223
/proc/meminfo: memFree=31173500/32873648 swapFree=7116/7116
[pid=12223] ppid=12221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12223/stat : 12223 (run) S 12221 12223 10216 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391098148 9367552 270 33554432000 4194304 5064252 140735156207088 140735156206000 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12223/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300199 s]
/proc/loadavg: 2.17 2.26 3.07 3/177 12223
/proc/meminfo: memFree=31173500/32873648 swapFree=7116/7116
[pid=12223] ppid=12221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12223/stat : 12223 (run) S 12221 12223 10216 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391098148 9367552 270 33554432000 4194304 5064252 140735156207088 140735156206000 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12223/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700189 s]
/proc/loadavg: 2.17 2.26 3.07 3/177 12223
/proc/meminfo: memFree=31173500/32873648 swapFree=7116/7116
[pid=12223] ppid=12221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12223/stat : 12223 (run) S 12221 12223 10216 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391098148 9367552 270 33554432000 4194304 5064252 140735156207088 140735156206000 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12223/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 2.16 2.26 3.06 3/179 12225
/proc/meminfo: memFree=31136524/32873648 swapFree=7116/7116
[pid=12223] ppid=12221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12223/stat : 12223 (run) S 12221 12223 10216 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391098148 9367552 270 33554432000 4194304 5064252 140735156207088 140735156206000 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12223/statm: 2287 270 229 213 0 72 0
[pid=12224] ppid=12223 vsize=136700 CPUtime=1.49 cores=1,3,5,7
/proc/12224/stat : 12224 (pb_cplex) R 12223 12223 10216 0 -1 4202496 34843 0 0 0 144 5 0 0 20 0 1 0 391098148 139980800 30323 33554432000 134512640 146736320 4290704480 4290702512 136900661 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12224/statm: 34175 30323 541 2985 0 31109 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 145848
[startup+3.10031 s]
/proc/loadavg: 2.16 2.26 3.06 3/179 12225
/proc/meminfo: memFree=31050592/32873648 swapFree=7116/7116
[pid=12223] ppid=12221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12223/stat : 12223 (run) S 12221 12223 10216 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391098148 9367552 270 33554432000 4194304 5064252 140735156207088 140735156206000 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12223/statm: 2287 270 229 213 0 72 0
[pid=12224] ppid=12223 vsize=331104 CPUtime=3.09 cores=1,3,5,7
/proc/12224/stat : 12224 (pb_cplex) R 12223 12223 10216 0 -1 4202496 55439 0 0 0 300 9 0 0 20 0 1 0 391098148 339050496 41501 33554432000 134512640 146736320 4290704480 4290701084 136236972 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12224/statm: 82776 41501 614 2985 0 79710 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 340252
[startup+6.30031 s]
/proc/loadavg: 2.16 2.26 3.06 3/179 12225
/proc/meminfo: memFree=30916596/32873648 swapFree=7116/7116
[pid=12223] ppid=12221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12223/stat : 12223 (run) S 12221 12223 10216 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391098148 9367552 270 33554432000 4194304 5064252 140735156207088 140735156206000 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12223/statm: 2287 270 229 213 0 72 0
[pid=12224] ppid=12223 vsize=509880 CPUtime=6.29 cores=1,3,5,7
/proc/12224/stat : 12224 (pb_cplex) R 12223 12223 10216 0 -1 4202496 118560 0 0 0 607 22 0 0 20 0 1 0 391098148 522117120 73110 33554432000 134512640 146736320 4290704480 4290700732 137741717 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12224/statm: 127470 73110 808 2985 0 124404 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 519028
[startup+12.7004 s]
/proc/loadavg: 2.13 2.25 3.05 3/179 12225
/proc/meminfo: memFree=30786732/32873648 swapFree=7116/7116
[pid=12223] ppid=12221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12223/stat : 12223 (run) S 12221 12223 10216 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391098148 9367552 270 33554432000 4194304 5064252 140735156207088 140735156206000 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12223/statm: 2287 270 229 213 0 72 0
[pid=12224] ppid=12223 vsize=608860 CPUtime=12.69 cores=1,3,5,7
/proc/12224/stat : 12224 (pb_cplex) R 12223 12223 10216 0 -1 4202496 172761 0 0 0 1234 35 0 0 20 0 1 0 391098148 623472640 95615 33554432000 134512640 146736320 4290704480 4290698760 136461555 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12224/statm: 152215 95615 834 2985 0 149149 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 618008
[startup+25.5003 s]
/proc/loadavg: 2.11 2.24 3.04 3/179 12225
/proc/meminfo: memFree=30793488/32873648 swapFree=7116/7116
[pid=12223] ppid=12221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12223/stat : 12223 (run) S 12221 12223 10216 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391098148 9367552 270 33554432000 4194304 5064252 140735156207088 140735156206000 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12223/statm: 2287 270 229 213 0 72 0
[pid=12224] ppid=12223 vsize=609304 CPUtime=25.48 cores=1,3,5,7
/proc/12224/stat : 12224 (pb_cplex) R 12223 12223 10216 0 -1 4202496 222881 0 0 0 2500 48 0 0 20 0 1 0 391098148 623927296 95760 33554432000 134512640 146736320 4290704480 4290698404 136385080 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12224/statm: 152326 95760 834 2985 0 149260 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 618452
[startup+51.1003 s]
/proc/loadavg: 2.07 2.22 3.01 3/179 12225
/proc/meminfo: memFree=30914660/32873648 swapFree=7116/7116
[pid=12223] ppid=12221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12223/stat : 12223 (run) S 12221 12223 10216 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391098148 9367552 270 33554432000 4194304 5064252 140735156207088 140735156206000 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12223/statm: 2287 270 229 213 0 72 0
[pid=12224] ppid=12223 vsize=468672 CPUtime=51.08 cores=1,3,5,7
/proc/12224/stat : 12224 (pb_cplex) R 12223 12223 10216 0 -1 4202496 340471 0 0 0 5032 76 0 0 20 0 1 0 391098148 479920128 63132 33554432000 134512640 146736320 4290704480 4290700544 136930611 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12224/statm: 117168 63132 837 2985 0 114102 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 477820
[startup+102.307 s]
/proc/loadavg: 2.03 2.18 2.95 3/180 12228
/proc/meminfo: memFree=30771020/32873648 swapFree=7116/7116
[pid=12223] ppid=12221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12223/stat : 12223 (run) S 12221 12223 10216 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391098148 9367552 270 33554432000 4194304 5064252 140735156207088 140735156206000 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12223/statm: 2287 270 229 213 0 72 0
[pid=12224] ppid=12223 vsize=651412 CPUtime=102.28 cores=1,3,5,7
/proc/12224/stat : 12224 (pb_cplex) R 12223 12223 10216 0 -1 4202496 590687 0 0 0 10097 131 0 0 20 0 1 0 391098148 667045888 103978 33554432000 134512640 146736320 4290704480 4290700480 135794736 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12224/statm: 162853 103978 838 2985 0 159787 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 660560
[startup+162.3 s]
/proc/loadavg: 2.01 2.14 2.89 3/179 12229
/proc/meminfo: memFree=30901504/32873648 swapFree=7116/7116
[pid=12223] ppid=12221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12223/stat : 12223 (run) S 12221 12223 10216 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391098148 9367552 270 33554432000 4194304 5064252 140735156207088 140735156206000 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12223/statm: 2287 270 229 213 0 72 0
[pid=12224] ppid=12223 vsize=472728 CPUtime=162.26 cores=1,3,5,7
/proc/12224/stat : 12224 (pb_cplex) R 12223 12223 10216 0 -1 4202496 616953 0 0 0 16087 139 0 0 20 0 1 0 391098148 484073472 68730 33554432000 134512640 146736320 4290704480 4290698004 136017485 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12224/statm: 118182 68730 838 2985 0 115116 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 481876
[startup+222.3 s]
/proc/loadavg: 2.06 2.13 2.83 3/179 12229
/proc/meminfo: memFree=30878396/32873648 swapFree=7116/7116
[pid=12223] ppid=12221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12223/stat : 12223 (run) S 12221 12223 10216 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391098148 9367552 270 33554432000 4194304 5064252 140735156207088 140735156206000 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12223/statm: 2287 270 229 213 0 72 0
[pid=12224] ppid=12223 vsize=476240 CPUtime=222.25 cores=1,3,5,7
/proc/12224/stat : 12224 (pb_cplex) R 12223 12223 10216 0 -1 4202496 621319 0 0 0 22084 141 0 0 20 0 1 0 391098148 487669760 74635 33554432000 134512640 146736320 4290704480 4290698004 136017495 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12224/statm: 119060 74635 838 2985 0 115994 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 485388
[startup+282.3 s]
/proc/loadavg: 2.07 2.12 2.78 3/179 12229
/proc/meminfo: memFree=30872556/32873648 swapFree=7116/7116
[pid=12223] ppid=12221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12223/stat : 12223 (run) S 12221 12223 10216 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391098148 9367552 270 33554432000 4194304 5064252 140735156207088 140735156206000 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12223/statm: 2287 270 229 213 0 72 0
[pid=12224] ppid=12223 vsize=478020 CPUtime=282.24 cores=1,3,5,7
/proc/12224/stat : 12224 (pb_cplex) R 12223 12223 10216 0 -1 4202496 624475 0 0 0 28081 143 0 0 20 0 1 0 391098148 489492480 76086 33554432000 134512640 146736320 4290704480 4290698316 136017485 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12224/statm: 119505 76086 838 2985 0 116439 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 487168
[startup+342.3 s]
/proc/loadavg: 2.02 2.09 2.73 3/179 12229
/proc/meminfo: memFree=30867588/32873648 swapFree=7116/7116
[pid=12223] ppid=12221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12223/stat : 12223 (run) S 12221 12223 10216 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391098148 9367552 270 33554432000 4194304 5064252 140735156207088 140735156206000 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12223/statm: 2287 270 229 213 0 72 0
[pid=12224] ppid=12223 vsize=478996 CPUtime=342.23 cores=1,3,5,7
/proc/12224/stat : 12224 (pb_cplex) R 12223 12223 10216 0 -1 4202496 629714 0 0 0 34078 145 0 0 20 0 1 0 391098148 490491904 77290 33554432000 134512640 146736320 4290704480 4290698704 136403109 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12224/statm: 119749 77290 838 2985 0 116683 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 488144
[startup+402.3 s]
/proc/loadavg: 2.01 2.08 2.68 3/179 12229
/proc/meminfo: memFree=30864280/32873648 swapFree=7116/7116
[pid=12223] ppid=12221 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.22 3/179 12383
/proc/meminfo: memFree=30473028/32873648 swapFree=7116/7116
[pid=12223] ppid=12221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12223/stat : 12223 (run) S 12221 12223 10216 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391098148 9367552 270 33554432000 4194304 5064252 140735156207088 140735156206000 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12223/statm: 2287 270 229 213 0 72 0
[pid=12224] ppid=12223 vsize=484340 CPUtime=1422.08 cores=1,3,5,7
/proc/12224/stat : 12224 (pb_cplex) R 12223 12223 10216 0 -1 4202496 730246 0 0 0 142028 180 0 0 20 0 1 0 391098148 495964160 79976 33554432000 134512640 146736320 4290704480 4290698316 136017766 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12224/statm: 121085 79976 838 2985 0 118019 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 493488
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.21 3/179 12383
/proc/meminfo: memFree=30473028/32873648 swapFree=7116/7116
[pid=12223] ppid=12221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12223/stat : 12223 (run) S 12221 12223 10216 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391098148 9367552 270 33554432000 4194304 5064252 140735156207088 140735156206000 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12223/statm: 2287 270 229 213 0 72 0
[pid=12224] ppid=12223 vsize=484380 CPUtime=1482.06 cores=1,3,5,7
/proc/12224/stat : 12224 (pb_cplex) R 12223 12223 10216 0 -1 4202496 735960 0 0 0 148024 182 0 0 20 0 1 0 391098148 496005120 79991 33554432000 134512640 146736320 4290704480 4290698316 136017485 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12224/statm: 121095 79991 838 2985 0 118029 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 493528
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.19 3/179 12383
/proc/meminfo: memFree=30472224/32873648 swapFree=7116/7116
[pid=12223] ppid=12221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12223/stat : 12223 (run) S 12221 12223 10216 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391098148 9367552 270 33554432000 4194304 5064252 140735156207088 140735156206000 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12223/statm: 2287 270 229 213 0 72 0
[pid=12224] ppid=12223 vsize=484412 CPUtime=1542.05 cores=1,3,5,7
/proc/12224/stat : 12224 (pb_cplex) R 12223 12223 10216 0 -1 4202496 741173 0 0 0 154021 184 0 0 20 0 1 0 391098148 496037888 79997 33554432000 134512640 146736320 4290704480 4290697260 135454134 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12224/statm: 121103 79997 838 2985 0 118037 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 493560
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.17 3/179 12383
/proc/meminfo: memFree=30472412/32873648 swapFree=7116/7116
[pid=12223] ppid=12221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12223/stat : 12223 (run) S 12221 12223 10216 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391098148 9367552 270 33554432000 4194304 5064252 140735156207088 140735156206000 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12223/statm: 2287 270 229 213 0 72 0
[pid=12224] ppid=12223 vsize=484556 CPUtime=1602.04 cores=1,3,5,7
/proc/12224/stat : 12224 (pb_cplex) R 12223 12223 10216 0 -1 4202496 747481 0 0 0 160018 186 0 0 20 0 1 0 391098148 496185344 80024 33554432000 134512640 146736320 4290704480 4290697800 136002823 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12224/statm: 121139 80024 838 2985 0 118073 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 493704
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.16 3/179 12383
/proc/meminfo: memFree=30472168/32873648 swapFree=7116/7116
[pid=12223] ppid=12221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12223/stat : 12223 (run) S 12221 12223 10216 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391098148 9367552 270 33554432000 4194304 5064252 140735156207088 140735156206000 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12223/statm: 2287 270 229 213 0 72 0
[pid=12224] ppid=12223 vsize=484632 CPUtime=1662.03 cores=1,3,5,7
/proc/12224/stat : 12224 (pb_cplex) R 12223 12223 10216 0 -1 4202496 752712 0 0 0 166015 188 0 0 20 0 1 0 391098148 496263168 80042 33554432000 134512640 146736320 4290704480 4290698152 139044505 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12224/statm: 121158 80042 838 2985 0 118092 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 493780
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.15 3/179 12384
/proc/meminfo: memFree=30472044/32873648 swapFree=7116/7116
[pid=12223] ppid=12221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12223/stat : 12223 (run) S 12221 12223 10216 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391098148 9367552 270 33554432000 4194304 5064252 140735156207088 140735156206000 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12223/statm: 2287 270 229 213 0 72 0
[pid=12224] ppid=12223 vsize=484716 CPUtime=1722.02 cores=1,3,5,7
/proc/12224/stat : 12224 (pb_cplex) R 12223 12223 10216 0 -1 4202496 759023 0 0 0 172012 190 0 0 20 0 1 0 391098148 496349184 80063 33554432000 134512640 146736320 4290704480 4290698372 139028333 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12224/statm: 121179 80063 838 2985 0 118113 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 493864
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.14 3/179 12384
/proc/meminfo: memFree=30471796/32873648 swapFree=7116/7116
[pid=12223] ppid=12221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12223/stat : 12223 (run) S 12221 12223 10216 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391098148 9367552 270 33554432000 4194304 5064252 140735156207088 140735156206000 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12223/statm: 2287 270 229 213 0 72 0
[pid=12224] ppid=12223 vsize=484756 CPUtime=1782.02 cores=1,3,5,7
/proc/12224/stat : 12224 (pb_cplex) R 12223 12223 10216 0 -1 4202496 764831 0 0 0 178010 192 0 0 20 0 1 0 391098148 496390144 80075 33554432000 134512640 146736320 4290704480 4290698316 136017481 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12224/statm: 121189 80075 838 2985 0 118123 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 493904
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.04 2.01 2.14 3/179 12384
/proc/meminfo: memFree=30471920/32873648 swapFree=7116/7116
[pid=12223] ppid=12221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12223/stat : 12223 (run) S 12221 12223 10216 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391098148 9367552 270 33554432000 4194304 5064252 140735156207088 140735156206000 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12223/statm: 2287 270 229 213 0 72 0
[pid=12224] ppid=12223 vsize=484756 CPUtime=1791.62 cores=1,3,5,7
/proc/12224/stat : 12224 (pb_cplex) R 12223 12223 10216 0 -1 4202496 765352 0 0 0 178970 192 0 0 20 0 1 0 391098148 496390144 80075 33554432000 134512640 146736320 4290704480 4290698316 136017760 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12224/statm: 121189 80075 838 2985 0 118123 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 493904
[startup+1795.1 s]
/proc/loadavg: 2.04 2.01 2.14 3/179 12384
/proc/meminfo: memFree=30471920/32873648 swapFree=7116/7116
[pid=12223] ppid=12221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12223/stat : 12223 (run) S 12221 12223 10216 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391098148 9367552 270 33554432000 4194304 5064252 140735156207088 140735156206000 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12223/statm: 2287 270 229 213 0 72 0
[pid=12224] ppid=12223 vsize=484756 CPUtime=1794.82 cores=1,3,5,7
/proc/12224/stat : 12224 (pb_cplex) R 12223 12223 10216 0 -1 4202496 765881 0 0 0 179290 192 0 0 20 0 1 0 391098148 496390144 80075 33554432000 134512640 146736320 4290704480 4290698316 136017763 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12224/statm: 121189 80075 838 2985 0 118123 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 493904
[startup+1796.7 s]
/proc/loadavg: 2.03 2.01 2.14 3/179 12384
/proc/meminfo: memFree=30471920/32873648 swapFree=7116/7116
[pid=12223] ppid=12221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12223/stat : 12223 (run) S 12221 12223 10216 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391098148 9367552 270 33554432000 4194304 5064252 140735156207088 140735156206000 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12223/statm: 2287 270 229 213 0 72 0
[pid=12224] ppid=12223 vsize=484756 CPUtime=1796.41 cores=1,3,5,7
/proc/12224/stat : 12224 (pb_cplex) R 12223 12223 10216 0 -1 4202496 765881 0 0 0 179449 192 0 0 20 0 1 0 391098148 496390144 80075 33554432000 134512640 146736320 4290704480 4290698316 136017787 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12224/statm: 121189 80075 838 2985 0 118123 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 493904
[startup+1798.3 s]
/proc/loadavg: 2.03 2.01 2.14 3/179 12384
/proc/meminfo: memFree=30471920/32873648 swapFree=7116/7116
[pid=12223] ppid=12221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12223/stat : 12223 (run) S 12221 12223 10216 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391098148 9367552 270 33554432000 4194304 5064252 140735156207088 140735156206000 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12223/statm: 2287 270 229 213 0 72 0
[pid=12224] ppid=12223 vsize=484756 CPUtime=1798.01 cores=1,3,5,7
/proc/12224/stat : 12224 (pb_cplex) R 12223 12223 10216 0 -1 4202496 765881 0 0 0 179609 192 0 0 20 0 1 0 391098148 496390144 80075 33554432000 134512640 146736320 4290704480 4290698564 136002010 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12224/statm: 121189 80075 838 2985 0 118123 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 493904
[startup+1798.7 s]
/proc/loadavg: 2.03 2.01 2.14 3/179 12384
/proc/meminfo: memFree=30471920/32873648 swapFree=7116/7116
[pid=12223] ppid=12221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12223/stat : 12223 (run) S 12221 12223 10216 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391098148 9367552 270 33554432000 4194304 5064252 140735156207088 140735156206000 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12223/statm: 2287 270 229 213 0 72 0
[pid=12224] ppid=12223 vsize=484756 CPUtime=1798.41 cores=1,3,5,7
/proc/12224/stat : 12224 (pb_cplex) R 12223 12223 10216 0 -1 4202496 765881 0 0 0 179649 192 0 0 20 0 1 0 391098148 496390144 80075 33554432000 134512640 146736320 4290704480 4290698316 136017672 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12224/statm: 121189 80075 838 2985 0 118123 0
Current children cumulated CPU time (s) 1798.41
Current children cumulated vsize (KiB) 493904
[startup+1799.1 s]
/proc/loadavg: 2.03 2.01 2.14 3/179 12384
/proc/meminfo: memFree=30471920/32873648 swapFree=7116/7116
[pid=12223] ppid=12221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12223/stat : 12223 (run) S 12221 12223 10216 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391098148 9367552 270 33554432000 4194304 5064252 140735156207088 140735156206000 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12223/statm: 2287 270 229 213 0 72 0
[pid=12224] ppid=12223 vsize=484756 CPUtime=1798.81 cores=1,3,5,7
/proc/12224/stat : 12224 (pb_cplex) R 12223 12223 10216 0 -1 4202496 766406 0 0 0 179689 192 0 0 20 0 1 0 391098148 496390144 80075 33554432000 134512640 146736320 4290704480 4290698280 135982869 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12224/statm: 121189 80075 838 2985 0 118123 0
Current children cumulated CPU time (s) 1798.81
Current children cumulated vsize (KiB) 493904
[startup+1799.2 s]
/proc/loadavg: 2.03 2.01 2.14 3/179 12384
/proc/meminfo: memFree=30471920/32873648 swapFree=7116/7116
[pid=12223] ppid=12221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12223/stat : 12223 (run) S 12221 12223 10216 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391098148 9367552 270 33554432000 4194304 5064252 140735156207088 140735156206000 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12223/statm: 2287 270 229 213 0 72 0
[pid=12224] ppid=12223 vsize=484756 CPUtime=1798.91 cores=1,3,5,7
/proc/12224/stat : 12224 (pb_cplex) R 12223 12223 10216 0 -1 4202496 766406 0 0 0 179699 192 0 0 20 0 1 0 391098148 496390144 80075 33554432000 134512640 146736320 4290704480 4290698316 136017485 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12224/statm: 121189 80075 838 2985 0 118123 0
Current children cumulated CPU time (s) 1798.91
Current children cumulated vsize (KiB) 493904
Child status: 0
Real time (s): 1799.28
CPU time (s): 1799
CPU user time (s): 1797.06
CPU system time (s): 1.9407
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 667452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.06
system time used= 1.9407
maximum resident set size= 418336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 766790
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= 13
involuntary context switches= 1877
runsolver used 2.79257 second user time and 8.97164 second system time
The end