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-3738178-1339248904/watcher-3738178-1339248904 -o /tmp/evaluation-result-3738178-1339248904/solver-3738178-1339248904 -C 1800 -W 1900 -M 15500 run HOME/instance-3738178-1339248904.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: 1.95 2.74 4.15 3/175 29372
/proc/meminfo: memFree=29520468/32873844 swapFree=7120/7120
[pid=29372] ppid=29370 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29372/stat : 29372 (run) S 29370 29372 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391018981 9367552 270 33554432000 4194304 5064252 140737170753216 140737170752128 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29372/statm: 2287 270 229 213 0 72 0
[startup+0.0585801 s]
/proc/loadavg: 1.95 2.74 4.15 3/175 29372
/proc/meminfo: memFree=29520468/32873844 swapFree=7120/7120
[pid=29372] ppid=29370 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29372/stat : 29372 (run) S 29370 29372 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391018981 9367552 270 33554432000 4194304 5064252 140737170753216 140737170752128 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29372/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100276 s]
/proc/loadavg: 1.95 2.74 4.15 3/175 29372
/proc/meminfo: memFree=29520468/32873844 swapFree=7120/7120
[pid=29372] ppid=29370 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29372/stat : 29372 (run) S 29370 29372 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391018981 9367552 270 33554432000 4194304 5064252 140737170753216 140737170752128 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29372/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300253 s]
/proc/loadavg: 1.95 2.74 4.15 3/175 29372
/proc/meminfo: memFree=29520468/32873844 swapFree=7120/7120
[pid=29372] ppid=29370 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29372/stat : 29372 (run) S 29370 29372 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391018981 9367552 270 33554432000 4194304 5064252 140737170753216 140737170752128 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29372/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700285 s]
/proc/loadavg: 1.95 2.74 4.15 3/175 29372
/proc/meminfo: memFree=29520468/32873844 swapFree=7120/7120
[pid=29372] ppid=29370 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29372/stat : 29372 (run) S 29370 29372 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391018981 9367552 270 33554432000 4194304 5064252 140737170753216 140737170752128 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29372/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: 1.95 2.74 4.15 3/177 29374
/proc/meminfo: memFree=29470788/32873844 swapFree=7120/7120
[pid=29372] ppid=29370 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29372/stat : 29372 (run) S 29370 29372 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391018981 9367552 270 33554432000 4194304 5064252 140737170753216 140737170752128 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29372/statm: 2287 270 229 213 0 72 0
[pid=29373] ppid=29372 vsize=115400 CPUtime=1.48 cores=0,2,4,6
/proc/29373/stat : 29373 (pb_cplex) R 29372 29372 26837 0 -1 4202496 23093 0 0 0 146 2 0 0 20 0 1 0 391018981 118169600 13307 33554432000 134512640 146736320 4291271808 4291265848 135997669 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29373/statm: 28850 13307 789 2985 0 25784 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 124548
[startup+3.10029 s]
/proc/loadavg: 1.95 2.73 4.13 3/177 29374
/proc/meminfo: memFree=29470168/32873844 swapFree=7120/7120
[pid=29372] ppid=29370 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29372/stat : 29372 (run) S 29370 29372 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391018981 9367552 270 33554432000 4194304 5064252 140737170753216 140737170752128 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29372/statm: 2287 270 229 213 0 72 0
[pid=29373] ppid=29372 vsize=115400 CPUtime=3.08 cores=0,2,4,6
/proc/29373/stat : 29373 (pb_cplex) R 29372 29372 26837 0 -1 4202496 23112 0 0 0 306 2 0 0 20 0 1 0 391018981 118169600 13326 33554432000 134512640 146736320 4291271808 4291266792 136015517 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29373/statm: 28850 13326 789 2985 0 25784 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 124548
[startup+6.30029 s]
/proc/loadavg: 1.95 2.73 4.13 3/177 29374
/proc/meminfo: memFree=29469672/32873844 swapFree=7120/7120
[pid=29372] ppid=29370 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29372/stat : 29372 (run) S 29370 29372 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391018981 9367552 270 33554432000 4194304 5064252 140737170753216 140737170752128 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29372/statm: 2287 270 229 213 0 72 0
[pid=29373] ppid=29372 vsize=115400 CPUtime=6.28 cores=0,2,4,6
/proc/29373/stat : 29373 (pb_cplex) R 29372 29372 26837 0 -1 4202496 23112 0 0 0 626 2 0 0 20 0 1 0 391018981 118169600 13326 33554432000 134512640 146736320 4291271808 4291266792 136015526 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29373/statm: 28850 13326 789 2985 0 25784 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 124548
[startup+12.7003 s]
/proc/loadavg: 1.96 2.72 4.12 3/177 29374
/proc/meminfo: memFree=29469704/32873844 swapFree=7120/7120
[pid=29372] ppid=29370 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29372/stat : 29372 (run) S 29370 29372 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391018981 9367552 270 33554432000 4194304 5064252 140737170753216 140737170752128 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29372/statm: 2287 270 229 213 0 72 0
[pid=29373] ppid=29372 vsize=115400 CPUtime=12.68 cores=0,2,4,6
/proc/29373/stat : 29373 (pb_cplex) R 29372 29372 26837 0 -1 4202496 23113 0 0 0 1266 2 0 0 20 0 1 0 391018981 118169600 13327 33554432000 134512640 146736320 4291271808 4291266176 135658688 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29373/statm: 28850 13327 789 2985 0 25784 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 124548
[startup+25.5003 s]
/proc/loadavg: 1.97 2.68 4.09 3/177 29374
/proc/meminfo: memFree=29470208/32873844 swapFree=7120/7120
[pid=29372] ppid=29370 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29372/stat : 29372 (run) S 29370 29372 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391018981 9367552 270 33554432000 4194304 5064252 140737170753216 140737170752128 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29372/statm: 2287 270 229 213 0 72 0
[pid=29373] ppid=29372 vsize=115400 CPUtime=25.49 cores=0,2,4,6
/proc/29373/stat : 29373 (pb_cplex) R 29372 29372 26837 0 -1 4202496 23113 0 0 0 2546 3 0 0 20 0 1 0 391018981 118169600 13327 33554432000 134512640 146736320 4291271808 4291265808 136388276 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29373/statm: 28850 13327 789 2985 0 25784 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 124548
[startup+51.1003 s]
/proc/loadavg: 1.98 2.63 4.03 3/177 29374
/proc/meminfo: memFree=29470332/32873844 swapFree=7120/7120
[pid=29372] ppid=29370 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29372/stat : 29372 (run) S 29370 29372 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391018981 9367552 270 33554432000 4194304 5064252 140737170753216 140737170752128 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29372/statm: 2287 270 229 213 0 72 0
[pid=29373] ppid=29372 vsize=115400 CPUtime=51.08 cores=0,2,4,6
/proc/29373/stat : 29373 (pb_cplex) R 29372 29372 26837 0 -1 4202496 23113 0 0 0 5105 3 0 0 20 0 1 0 391018981 118169600 13327 33554432000 134512640 146736320 4291271808 4291265848 135997669 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29373/statm: 28850 13327 789 2985 0 25784 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 124548
[startup+102.306 s]
/proc/loadavg: 1.99 2.52 3.91 3/177 29374
/proc/meminfo: memFree=29437452/32873844 swapFree=7120/7120
[pid=29372] ppid=29370 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29372/stat : 29372 (run) S 29370 29372 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391018981 9367552 270 33554432000 4194304 5064252 140737170753216 140737170752128 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29372/statm: 2287 270 229 213 0 72 0
[pid=29373] ppid=29372 vsize=165624 CPUtime=102.28 cores=0,2,4,6
/proc/29373/stat : 29373 (pb_cplex) R 29372 29372 26837 0 -1 4202496 35113 0 0 0 10222 6 0 0 20 0 1 0 391018981 169598976 21378 33554432000 134512640 146736320 4291271808 4291265996 136017748 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29373/statm: 41406 21378 866 2985 0 38340 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 174772
[startup+162.3 s]
/proc/loadavg: 1.99 2.43 3.80 3/177 29374
/proc/meminfo: memFree=29425872/32873844 swapFree=7120/7120
[pid=29372] ppid=29370 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29372/stat : 29372 (run) S 29370 29372 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391018981 9367552 270 33554432000 4194304 5064252 140737170753216 140737170752128 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29372/statm: 2287 270 229 213 0 72 0
[pid=29373] ppid=29372 vsize=165636 CPUtime=162.26 cores=0,2,4,6
/proc/29373/stat : 29373 (pb_cplex) R 29372 29372 26837 0 -1 4202496 58232 0 0 0 16216 10 0 0 20 0 1 0 391018981 169611264 24248 33554432000 134512640 146736320 4291271808 4291265832 139044505 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29373/statm: 41409 24248 866 2985 0 38343 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 174784
[startup+222.3 s]
/proc/loadavg: 1.99 2.35 3.68 3/177 29374
/proc/meminfo: memFree=29419724/32873844 swapFree=7120/7120
[pid=29372] ppid=29370 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29372/stat : 29372 (run) S 29370 29372 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391018981 9367552 270 33554432000 4194304 5064252 140737170753216 140737170752128 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29372/statm: 2287 270 229 213 0 72 0
[pid=29373] ppid=29372 vsize=165636 CPUtime=222.25 cores=0,2,4,6
/proc/29373/stat : 29373 (pb_cplex) R 29372 29372 26837 0 -1 4202496 85351 0 0 0 22209 16 0 0 20 0 1 0 391018981 169611264 25766 33554432000 134512640 146736320 4291271808 4291265976 136400586 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29373/statm: 41409 25766 866 2985 0 38343 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 174784
[startup+282.3 s]
/proc/loadavg: 1.99 2.28 3.58 3/177 29374
/proc/meminfo: memFree=29419848/32873844 swapFree=7120/7120
[pid=29372] ppid=29370 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29372/stat : 29372 (run) S 29370 29372 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391018981 9367552 270 33554432000 4194304 5064252 140737170753216 140737170752128 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29372/statm: 2287 270 229 213 0 72 0
[pid=29373] ppid=29372 vsize=165636 CPUtime=282.24 cores=0,2,4,6
/proc/29373/stat : 29373 (pb_cplex) R 29372 29372 26837 0 -1 4202496 113010 0 0 0 28203 21 0 0 20 0 1 0 391018981 169611264 25766 33554432000 134512640 146736320 4291271808 4291266384 136403112 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29373/statm: 41409 25766 866 2985 0 38343 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 174784
[startup+342.3 s]
/proc/loadavg: 1.99 2.23 3.47 3/178 29378
/proc/meminfo: memFree=29426352/32873844 swapFree=7120/7120
[pid=29372] ppid=29370 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29372/stat : 29372 (run) S 29370 29372 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391018981 9367552 270 33554432000 4194304 5064252 140737170753216 140737170752128 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29372/statm: 2287 270 229 213 0 72 0
[pid=29373] ppid=29372 vsize=164728 CPUtime=342.23 cores=0,2,4,6
/proc/29373/stat : 29373 (pb_cplex) R 29372 29372 26837 0 -1 4202496 164398 0 0 0 34194 29 0 0 20 0 1 0 391018981 168681472 24175 33554432000 134512640 146736320 4291271808 4291266384 136403109 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29373/statm: 41182 24175 911 2985 0 38116 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 173876
[startup+402.3 s]
/proc/loadavg: 1.99 2.18 3.38 3/177 29378
/proc/meminfo: memFree=29421072/32873844 swapFree=7120/7120
[pid=29372] ppid=29370 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.44 3/177 29434
/proc/meminfo: memFree=27784212/32873844 swapFree=7120/7120
[pid=29372] ppid=29370 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29372/stat : 29372 (run) S 29370 29372 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391018981 9367552 270 33554432000 4194304 5064252 140737170753216 140737170752128 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29372/statm: 2287 270 229 213 0 72 0
[pid=29373] ppid=29372 vsize=166836 CPUtime=1422.05 cores=0,2,4,6
/proc/29373/stat : 29373 (pb_cplex) R 29372 29372 26837 0 -1 4202496 655846 0 0 0 142086 119 0 0 20 0 1 0 391018981 170840064 26305 33554432000 134512640 146736320 4291271808 4291265996 136017474 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29373/statm: 41709 26305 922 2985 0 38643 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 175984
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.41 3/177 29434
/proc/meminfo: memFree=27758028/32873844 swapFree=7120/7120
[pid=29372] ppid=29370 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29372/stat : 29372 (run) S 29370 29372 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391018981 9367552 270 33554432000 4194304 5064252 140737170753216 140737170752128 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29372/statm: 2287 270 229 213 0 72 0
[pid=29373] ppid=29372 vsize=166952 CPUtime=1482.04 cores=0,2,4,6
/proc/29373/stat : 29373 (pb_cplex) R 29372 29372 26837 0 -1 4202496 682360 0 0 0 148081 123 0 0 20 0 1 0 391018981 170958848 26333 33554432000 134512640 146736320 4291271808 4291265832 139044557 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29373/statm: 41738 26333 922 2985 0 38672 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 176100
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.38 2/179 29439
/proc/meminfo: memFree=24417292/32873844 swapFree=7120/7120
[pid=29372] ppid=29370 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29372/stat : 29372 (run) S 29370 29372 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391018981 9367552 270 33554432000 4194304 5064252 140737170753216 140737170752128 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29372/statm: 2287 270 229 213 0 72 0
[pid=29373] ppid=29372 vsize=167012 CPUtime=1542.03 cores=0,2,4,6
/proc/29373/stat : 29373 (pb_cplex) R 29372 29372 26837 0 -1 4202496 709421 0 0 0 154075 128 0 0 20 0 1 0 391018981 171020288 26348 33554432000 134512640 146736320 4291271808 4291265996 136017845 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29373/statm: 41753 26348 922 2985 0 38687 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 176160
[startup+1602.3 s]
/proc/loadavg: 4.36 2.64 2.57 8/185 29532
/proc/meminfo: memFree=29572580/32873844 swapFree=7120/7120
[pid=29372] ppid=29370 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29372/stat : 29372 (run) S 29370 29372 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391018981 9367552 270 33554432000 4194304 5064252 140737170753216 140737170752128 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29372/statm: 2287 270 229 213 0 72 0
[pid=29373] ppid=29372 vsize=167056 CPUtime=1602.02 cores=0,2,4,6
/proc/29373/stat : 29373 (pb_cplex) R 29372 29372 26837 0 -1 4202496 736701 0 0 0 160068 134 0 0 20 0 1 0 391018981 171065344 26359 33554432000 134512640 146736320 4291271808 4291265996 136017755 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29373/statm: 41764 26359 922 2985 0 38698 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 176204
[startup+1662.3 s]
/proc/loadavg: 3.91 2.89 2.66 3/177 29595
/proc/meminfo: memFree=29326656/32873844 swapFree=7120/7120
[pid=29372] ppid=29370 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29372/stat : 29372 (run) S 29370 29372 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391018981 9367552 270 33554432000 4194304 5064252 140737170753216 140737170752128 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29372/statm: 2287 270 229 213 0 72 0
[pid=29373] ppid=29372 vsize=167060 CPUtime=1662.01 cores=0,2,4,6
/proc/29373/stat : 29373 (pb_cplex) R 29372 29372 26837 0 -1 4202496 764125 0 0 0 166063 138 0 0 20 0 1 0 391018981 171069440 26360 33554432000 134512640 146736320 4291271808 4291266384 136403109 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29373/statm: 41765 26360 922 2985 0 38699 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 176208
[startup+1722.3 s]
/proc/loadavg: 2.70 2.72 2.62 3/177 29595
/proc/meminfo: memFree=29316048/32873844 swapFree=7120/7120
[pid=29372] ppid=29370 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29372/stat : 29372 (run) S 29370 29372 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391018981 9367552 270 33554432000 4194304 5064252 140737170753216 140737170752128 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29372/statm: 2287 270 229 213 0 72 0
[pid=29373] ppid=29372 vsize=166244 CPUtime=1722 cores=0,2,4,6
/proc/29373/stat : 29373 (pb_cplex) R 29372 29372 26837 0 -1 4202496 794004 0 0 0 172055 145 0 0 20 0 1 0 391018981 170233856 24842 33554432000 134512640 146736320 4291271808 4291265996 136017481 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29373/statm: 41561 24842 922 2985 0 38495 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 175392
[startup+1782.3 s]
/proc/loadavg: 2.26 2.59 2.58 3/177 29595
/proc/meminfo: memFree=29312292/32873844 swapFree=7120/7120
[pid=29372] ppid=29370 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29372/stat : 29372 (run) S 29370 29372 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391018981 9367552 270 33554432000 4194304 5064252 140737170753216 140737170752128 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29372/statm: 2287 270 229 213 0 72 0
[pid=29373] ppid=29372 vsize=166260 CPUtime=1782 cores=0,2,4,6
/proc/29373/stat : 29373 (pb_cplex) R 29372 29372 26837 0 -1 4202496 816934 0 0 0 178051 149 0 0 20 0 1 0 391018981 170250240 24864 33554432000 134512640 146736320 4291271808 4291265996 136017485 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29373/statm: 41565 24864 922 2985 0 38499 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 175408
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.22 2.57 2.57 3/177 29595
/proc/meminfo: memFree=29309864/32873844 swapFree=7120/7120
[pid=29372] ppid=29370 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29372/stat : 29372 (run) S 29370 29372 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391018981 9367552 270 33554432000 4194304 5064252 140737170753216 140737170752128 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29372/statm: 2287 270 229 213 0 72 0
[pid=29373] ppid=29372 vsize=166260 CPUtime=1791.59 cores=0,2,4,6
/proc/29373/stat : 29373 (pb_cplex) R 29372 29372 26837 0 -1 4202496 820741 0 0 0 179010 149 0 0 20 0 1 0 391018981 170250240 24866 33554432000 134512640 146736320 4291271808 4291265996 136017755 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29373/statm: 41565 24866 922 2985 0 38499 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 175408
[startup+1795.1 s]
/proc/loadavg: 2.20 2.56 2.56 3/177 29595
/proc/meminfo: memFree=29309864/32873844 swapFree=7120/7120
[pid=29372] ppid=29370 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29372/stat : 29372 (run) S 29370 29372 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391018981 9367552 270 33554432000 4194304 5064252 140737170753216 140737170752128 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29372/statm: 2287 270 229 213 0 72 0
[pid=29373] ppid=29372 vsize=166260 CPUtime=1794.8 cores=0,2,4,6
/proc/29373/stat : 29373 (pb_cplex) R 29372 29372 26837 0 -1 4202496 822178 0 0 0 179330 150 0 0 20 0 1 0 391018981 170250240 24866 33554432000 134512640 146736320 4291271808 4291265996 136017752 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29373/statm: 41565 24866 922 2985 0 38499 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 175408
[startup+1796.7 s]
/proc/loadavg: 2.20 2.56 2.56 3/177 29595
/proc/meminfo: memFree=29309616/32873844 swapFree=7120/7120
[pid=29372] ppid=29370 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29372/stat : 29372 (run) S 29370 29372 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391018981 9367552 270 33554432000 4194304 5064252 140737170753216 140737170752128 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29372/statm: 2287 270 229 213 0 72 0
[pid=29373] ppid=29372 vsize=166260 CPUtime=1796.39 cores=0,2,4,6
/proc/29373/stat : 29373 (pb_cplex) R 29372 29372 26837 0 -1 4202496 822662 0 0 0 179489 150 0 0 20 0 1 0 391018981 170250240 24866 33554432000 134512640 146736320 4291271808 4291265996 136017766 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29373/statm: 41565 24866 922 2985 0 38499 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 175408
[startup+1798.3 s]
/proc/loadavg: 2.20 2.56 2.56 3/177 29595
/proc/meminfo: memFree=29309864/32873844 swapFree=7120/7120
[pid=29372] ppid=29370 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29372/stat : 29372 (run) S 29370 29372 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391018981 9367552 270 33554432000 4194304 5064252 140737170753216 140737170752128 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29372/statm: 2287 270 229 213 0 72 0
[pid=29373] ppid=29372 vsize=166260 CPUtime=1797.99 cores=0,2,4,6
/proc/29373/stat : 29373 (pb_cplex) R 29372 29372 26837 0 -1 4202496 823644 0 0 0 179649 150 0 0 20 0 1 0 391018981 170250240 24867 33554432000 134512640 146736320 4291271808 4291266384 136403114 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29373/statm: 41565 24867 922 2985 0 38499 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 175408
[startup+1799.1 s]
/proc/loadavg: 2.18 2.55 2.56 3/177 29595
/proc/meminfo: memFree=29309864/32873844 swapFree=7120/7120
[pid=29372] ppid=29370 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29372/stat : 29372 (run) S 29370 29372 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391018981 9367552 270 33554432000 4194304 5064252 140737170753216 140737170752128 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29372/statm: 2287 270 229 213 0 72 0
[pid=29373] ppid=29372 vsize=166260 CPUtime=1798.79 cores=0,2,4,6
/proc/29373/stat : 29373 (pb_cplex) R 29372 29372 26837 0 -1 4202496 824126 0 0 0 179729 150 0 0 20 0 1 0 391018981 170250240 24867 33554432000 134512640 146736320 4291271808 4291265996 136017485 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29373/statm: 41565 24867 922 2985 0 38499 0
Current children cumulated CPU time (s) 1798.79
Current children cumulated vsize (KiB) 175408
[startup+1799.3 s]
/proc/loadavg: 2.18 2.55 2.56 3/177 29595
/proc/meminfo: memFree=29309864/32873844 swapFree=7120/7120
[pid=29372] ppid=29370 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29372/stat : 29372 (run) S 29370 29372 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391018981 9367552 270 33554432000 4194304 5064252 140737170753216 140737170752128 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29372/statm: 2287 270 229 213 0 72 0
[pid=29373] ppid=29372 vsize=166260 CPUtime=1798.99 cores=0,2,4,6
/proc/29373/stat : 29373 (pb_cplex) R 29372 29372 26837 0 -1 4202496 824611 0 0 0 179749 150 0 0 20 0 1 0 391018981 170250240 24867 33554432000 134512640 146736320 4291271808 4291265992 136017604 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29373/statm: 41565 24867 922 2985 0 38499 0
Current children cumulated CPU time (s) 1798.99
Current children cumulated vsize (KiB) 175408
[startup+1799.4 s]
/proc/loadavg: 2.18 2.55 2.56 3/177 29595
/proc/meminfo: memFree=29309864/32873844 swapFree=7120/7120
[pid=29372] ppid=29370 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29372/stat : 29372 (run) S 29370 29372 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391018981 9367552 270 33554432000 4194304 5064252 140737170753216 140737170752128 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29372/statm: 2287 270 229 213 0 72 0
[pid=29373] ppid=29372 vsize=166260 CPUtime=1799.09 cores=0,2,4,6
/proc/29373/stat : 29373 (pb_cplex) R 29372 29372 26837 0 -1 4202496 824611 0 0 0 179759 150 0 0 20 0 1 0 391018981 170250240 24867 33554432000 134512640 146736320 4291271808 4291266792 144757825 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29373/statm: 41565 24867 922 2985 0 38499 0
Current children cumulated CPU time (s) 1799.09
Current children cumulated vsize (KiB) 175408
Child status: 0
Real time (s): 1799.41
CPU time (s): 1799.12
CPU user time (s): 1797.6
CPU system time (s): 1.51377
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 247252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.6
system time used= 1.51377
maximum resident set size= 154624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 825001
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= 35
involuntary context switches= 2101
runsolver used 2.79557 second user time and 7.02593 second system time
The end