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-3742510-1339251213/watcher-3742510-1339251213 -o /tmp/evaluation-result-3742510-1339251213/solver-3742510-1339251213 -C 1800 -W 1900 -M 15500 run HOME/instance-3742510-1339251213.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: 6.28 6.10 6.38 4/176 24405
/proc/meminfo: memFree=30201228/32873648 swapFree=7372/7372
[pid=24405] ppid=24403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24405/stat : 24405 (run) S 24403 24405 22465 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391247146 9367552 269 33554432000 4194304 5064252 140735402929616 140735402928528 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24405/statm: 2287 269 229 213 0 72 0
[startup+0.010682 s]
/proc/loadavg: 6.28 6.10 6.38 4/176 24405
/proc/meminfo: memFree=30201228/32873648 swapFree=7372/7372
[pid=24405] ppid=24403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24405/stat : 24405 (run) S 24403 24405 22465 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391247146 9367552 269 33554432000 4194304 5064252 140735402929616 140735402928528 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24405/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100189 s]
/proc/loadavg: 6.28 6.10 6.38 4/176 24405
/proc/meminfo: memFree=30201228/32873648 swapFree=7372/7372
[pid=24405] ppid=24403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24405/stat : 24405 (run) S 24403 24405 22465 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391247146 9367552 269 33554432000 4194304 5064252 140735402929616 140735402928528 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24405/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300879 s]
/proc/loadavg: 6.28 6.10 6.38 4/176 24405
/proc/meminfo: memFree=30201228/32873648 swapFree=7372/7372
[pid=24405] ppid=24403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24405/stat : 24405 (run) S 24403 24405 22465 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391247146 9367552 269 33554432000 4194304 5064252 140735402929616 140735402928528 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24405/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.701041 s]
/proc/loadavg: 6.28 6.10 6.38 4/176 24405
/proc/meminfo: memFree=30201228/32873648 swapFree=7372/7372
[pid=24405] ppid=24403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24405/stat : 24405 (run) S 24403 24405 22465 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391247146 9367552 269 33554432000 4194304 5064252 140735402929616 140735402928528 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24405/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50111 s]
/proc/loadavg: 5.94 6.03 6.36 3/178 24407
/proc/meminfo: memFree=30176528/32873648 swapFree=7372/7372
[pid=24405] ppid=24403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24405/stat : 24405 (run) S 24403 24405 22465 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391247146 9367552 269 33554432000 4194304 5064252 140735402929616 140735402928528 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24405/statm: 2287 269 229 213 0 72 0
[pid=24406] ppid=24405 vsize=68900 CPUtime=1.49 cores=0,2,4,6
/proc/24406/stat : 24406 (pb_cplex) R 24405 24405 22465 0 -1 4202496 15135 0 0 0 147 2 0 0 20 0 1 0 391247146 70553600 9958 33554432000 134512640 146736320 4291565520 4291560132 136385175 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24406/statm: 17225 9958 726 2985 0 14159 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 78048
[startup+3.10062 s]
/proc/loadavg: 5.94 6.03 6.36 3/178 24407
/proc/meminfo: memFree=30163756/32873648 swapFree=7372/7372
[pid=24405] ppid=24403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24405/stat : 24405 (run) S 24403 24405 22465 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391247146 9367552 269 33554432000 4194304 5064252 140735402929616 140735402928528 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24405/statm: 2287 269 229 213 0 72 0
[pid=24406] ppid=24405 vsize=69020 CPUtime=3.09 cores=0,2,4,6
/proc/24406/stat : 24406 (pb_cplex) R 24405 24405 22465 0 -1 4202496 16298 0 0 0 307 2 0 0 20 0 1 0 391247146 70676480 10009 33554432000 134512640 146736320 4291565520 4291560280 136008653 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24406/statm: 17255 10009 726 2985 0 14189 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 78168
[startup+6.30097 s]
/proc/loadavg: 5.94 6.03 6.36 3/178 24407
/proc/meminfo: memFree=30165060/32873648 swapFree=7372/7372
[pid=24405] ppid=24403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24405/stat : 24405 (run) S 24403 24405 22465 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391247146 9367552 269 33554432000 4194304 5064252 140735402929616 140735402928528 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24405/statm: 2287 269 229 213 0 72 0
[pid=24406] ppid=24405 vsize=69724 CPUtime=6.29 cores=0,2,4,6
/proc/24406/stat : 24406 (pb_cplex) R 24405 24405 22465 0 -1 4202496 19272 0 0 0 626 3 0 0 20 0 1 0 391247146 71397376 10203 33554432000 134512640 146736320 4291565520 4291560316 135974084 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24406/statm: 17431 10203 726 2985 0 14365 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 78872
[startup+12.7003 s]
/proc/loadavg: 5.33 5.90 6.31 3/178 24407
/proc/meminfo: memFree=30164336/32873648 swapFree=7372/7372
[pid=24405] ppid=24403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24405/stat : 24405 (run) S 24403 24405 22465 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391247146 9367552 269 33554432000 4194304 5064252 140735402929616 140735402928528 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24405/statm: 2287 269 229 213 0 72 0
[pid=24406] ppid=24405 vsize=69920 CPUtime=12.69 cores=0,2,4,6
/proc/24406/stat : 24406 (pb_cplex) R 24405 24405 22465 0 -1 4202496 19352 0 0 0 1266 3 0 0 20 0 1 0 391247146 71598080 10283 33554432000 134512640 146736320 4291565520 4291560120 136475780 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24406/statm: 17480 10283 726 2985 0 14414 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 79068
[startup+25.5003 s]
/proc/loadavg: 4.82 5.77 6.27 3/179 24408
/proc/meminfo: memFree=30159220/32873648 swapFree=7372/7372
[pid=24405] ppid=24403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24405/stat : 24405 (run) S 24403 24405 22465 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391247146 9367552 269 33554432000 4194304 5064252 140735402929616 140735402928528 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24405/statm: 2287 269 229 213 0 72 0
[pid=24406] ppid=24405 vsize=70032 CPUtime=25.48 cores=0,2,4,6
/proc/24406/stat : 24406 (pb_cplex) R 24405 24405 22465 0 -1 4202496 28145 0 0 0 2544 4 0 0 20 0 1 0 391247146 71712768 10319 33554432000 134512640 146736320 4291565520 4291560340 136003828 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24406/statm: 17508 10319 726 2985 0 14442 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 79180
[startup+51.1002 s]
/proc/loadavg: 3.86 5.47 6.15 3/179 24408
/proc/meminfo: memFree=30154368/32873648 swapFree=7372/7372
[pid=24405] ppid=24403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24405/stat : 24405 (run) S 24403 24405 22465 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391247146 9367552 269 33554432000 4194304 5064252 140735402929616 140735402928528 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24405/statm: 2287 269 229 213 0 72 0
[pid=24406] ppid=24405 vsize=70100 CPUtime=51.08 cores=0,2,4,6
/proc/24406/stat : 24406 (pb_cplex) R 24405 24405 22465 0 -1 4202496 46235 0 0 0 5099 9 0 0 20 0 1 0 391247146 71782400 10422 33554432000 134512640 146736320 4291565520 4291560104 139044564 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24406/statm: 17525 10422 726 2985 0 14459 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 79248
[startup+102.306 s]
/proc/loadavg: 2.77 4.89 5.92 3/179 24408
/proc/meminfo: memFree=30144688/32873648 swapFree=7372/7372
[pid=24405] ppid=24403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24405/stat : 24405 (run) S 24403 24405 22465 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391247146 9367552 269 33554432000 4194304 5064252 140735402929616 140735402928528 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24405/statm: 2287 269 229 213 0 72 0
[pid=24406] ppid=24405 vsize=69532 CPUtime=102.27 cores=0,2,4,6
/proc/24406/stat : 24406 (pb_cplex) R 24405 24405 22465 0 -1 4202496 84554 0 0 0 10212 15 0 0 20 0 1 0 391247146 71200768 12868 33554432000 134512640 146736320 4291565520 4291559800 136015579 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24406/statm: 17383 12868 781 2985 0 14317 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 78680
[startup+162.3 s]
/proc/loadavg: 2.28 4.36 5.67 3/179 24409
/proc/meminfo: memFree=30143320/32873648 swapFree=7372/7372
[pid=24405] ppid=24403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24405/stat : 24405 (run) S 24403 24405 22465 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391247146 9367552 269 33554432000 4194304 5064252 140735402929616 140735402928528 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24405/statm: 2287 269 229 213 0 72 0
[pid=24406] ppid=24405 vsize=69580 CPUtime=162.26 cores=0,2,4,6
/proc/24406/stat : 24406 (pb_cplex) R 24405 24405 22465 0 -1 4202496 124323 0 0 0 16203 23 0 0 20 0 1 0 391247146 71249920 12990 33554432000 134512640 146736320 4291565520 4291559944 136000746 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24406/statm: 17395 12990 781 2985 0 14329 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 78728
[startup+222.3 s]
/proc/loadavg: 2.10 3.93 5.44 3/179 24409
/proc/meminfo: memFree=30143820/32873648 swapFree=7372/7372
[pid=24405] ppid=24403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24405/stat : 24405 (run) S 24403 24405 22465 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391247146 9367552 269 33554432000 4194304 5064252 140735402929616 140735402928528 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24405/statm: 2287 269 229 213 0 72 0
[pid=24406] ppid=24405 vsize=69612 CPUtime=222.25 cores=0,2,4,6
/proc/24406/stat : 24406 (pb_cplex) R 24405 24405 22465 0 -1 4202496 164642 0 0 0 22194 31 0 0 20 0 1 0 391247146 71282688 12999 33554432000 134512640 146736320 4291565520 4291559580 135855174 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24406/statm: 17403 12999 781 2985 0 14337 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 78760
[startup+282.3 s]
/proc/loadavg: 2.04 3.58 5.22 3/179 24409
/proc/meminfo: memFree=30120068/32873648 swapFree=7372/7372
[pid=24405] ppid=24403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24405/stat : 24405 (run) S 24403 24405 22465 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391247146 9367552 269 33554432000 4194304 5064252 140735402929616 140735402928528 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24405/statm: 2287 269 229 213 0 72 0
[pid=24406] ppid=24405 vsize=69616 CPUtime=282.24 cores=0,2,4,6
/proc/24406/stat : 24406 (pb_cplex) R 24405 24405 22465 0 -1 4202496 204814 0 0 0 28186 38 0 0 20 0 1 0 391247146 71286784 13000 33554432000 134512640 146736320 4291565520 4291559528 139044542 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24406/statm: 17404 13000 781 2985 0 14338 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 78764
[startup+342.301 s]
/proc/loadavg: 2.01 3.29 5.01 3/179 24409
/proc/meminfo: memFree=30118816/32873648 swapFree=7372/7372
[pid=24405] ppid=24403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24405/stat : 24405 (run) S 24403 24405 22465 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391247146 9367552 269 33554432000 4194304 5064252 140735402929616 140735402928528 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24405/statm: 2287 269 229 213 0 72 0
[pid=24406] ppid=24405 vsize=69624 CPUtime=342.23 cores=0,2,4,6
/proc/24406/stat : 24406 (pb_cplex) R 24405 24405 22465 0 -1 4202496 245127 0 0 0 34177 46 0 0 20 0 1 0 391247146 71294976 13003 33554432000 134512640 146736320 4291565520 4291559556 136385172 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24406/statm: 17406 13003 782 2985 0 14340 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 78772
[startup+402.3 s]
/proc/loadavg: 2.00 3.05 4.82 3/180 24412
/proc/meminfo: memFree=30117808/32873648 swapFree=7372/7372
[pid=24405] ppid=24403 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.04 2.98 3/178 24419
/proc/meminfo: memFree=30102808/32873648 swapFree=7372/7372
[pid=24405] ppid=24403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24405/stat : 24405 (run) S 24403 24405 22465 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391247146 9367552 269 33554432000 4194304 5064252 140735402929616 140735402928528 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24405/statm: 2287 269 229 213 0 72 0
[pid=24406] ppid=24405 vsize=102368 CPUtime=1362.07 cores=0,2,4,6
/proc/24406/stat : 24406 (pb_cplex) R 24405 24405 22465 0 -1 4202496 840962 0 0 0 136048 159 0 0 20 0 1 0 391247146 104824832 20713 33554432000 134512640 146736320 4291565520 4291558444 135454115 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24406/statm: 25592 20713 841 2985 0 22526 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 111516
[startup+1422.31 s]
/proc/loadavg: 2.00 2.03 2.92 3/179 24420
/proc/meminfo: memFree=30101436/32873648 swapFree=7372/7372
[pid=24405] ppid=24403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24405/stat : 24405 (run) S 24403 24405 22465 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391247146 9367552 269 33554432000 4194304 5064252 140735402929616 140735402928528 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24405/statm: 2287 269 229 213 0 72 0
[pid=24406] ppid=24405 vsize=105008 CPUtime=1422.06 cores=0,2,4,6
/proc/24406/stat : 24406 (pb_cplex) R 24405 24405 22465 0 -1 4202496 848107 0 0 0 142046 160 0 0 20 0 1 0 391247146 107528192 21186 33554432000 134512640 146736320 4291565520 4291559116 135991863 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24406/statm: 26252 21186 841 2985 0 23186 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 114156
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.86 3/179 24420
/proc/meminfo: memFree=30082520/32873648 swapFree=7372/7372
[pid=24405] ppid=24403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24405/stat : 24405 (run) S 24403 24405 22465 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391247146 9367552 269 33554432000 4194304 5064252 140735402929616 140735402928528 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24405/statm: 2287 269 229 213 0 72 0
[pid=24406] ppid=24405 vsize=102984 CPUtime=1482.05 cores=0,2,4,6
/proc/24406/stat : 24406 (pb_cplex) R 24405 24405 22465 0 -1 4202496 873281 0 0 0 148040 165 0 0 20 0 1 0 391247146 105455616 20806 33554432000 134512640 146736320 4291565520 4291559816 136000767 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24406/statm: 25746 20806 841 2985 0 22680 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 112132
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.80 3/179 24420
/proc/meminfo: memFree=30098048/32873648 swapFree=7372/7372
[pid=24405] ppid=24403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24405/stat : 24405 (run) S 24403 24405 22465 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391247146 9367552 269 33554432000 4194304 5064252 140735402929616 140735402928528 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24405/statm: 2287 269 229 213 0 72 0
[pid=24406] ppid=24405 vsize=85068 CPUtime=1542.04 cores=0,2,4,6
/proc/24406/stat : 24406 (pb_cplex) R 24405 24405 22465 0 -1 4202496 917441 0 0 0 154032 172 0 0 20 0 1 0 391247146 87109632 16444 33554432000 134512640 146736320 4291565520 4291559580 135855165 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24406/statm: 21267 16444 843 2985 0 18201 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 94216
[startup+1602.3 s]
/proc/loadavg: 1.40 1.84 2.69 2/173 24450
/proc/meminfo: memFree=30194316/32873648 swapFree=7372/7372
[pid=24405] ppid=24403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24405/stat : 24405 (run) S 24403 24405 22465 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391247146 9367552 269 33554432000 4194304 5064252 140735402929616 140735402928528 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24405/statm: 2287 269 229 213 0 72 0
[pid=24406] ppid=24405 vsize=85076 CPUtime=1602.03 cores=0,2,4,6
/proc/24406/stat : 24406 (pb_cplex) R 24405 24405 22465 0 -1 4202496 957893 0 0 0 160024 179 0 0 20 0 1 0 391247146 87117824 16446 33554432000 134512640 146736320 4291565520 4291559944 136000767 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24406/statm: 21269 16446 843 2985 0 18203 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 94224
[startup+1662.3 s]
/proc/loadavg: 1.14 1.69 2.58 2/171 24450
/proc/meminfo: memFree=30194644/32873648 swapFree=7372/7372
[pid=24405] ppid=24403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24405/stat : 24405 (run) S 24403 24405 22465 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391247146 9367552 269 33554432000 4194304 5064252 140735402929616 140735402928528 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24405/statm: 2287 269 229 213 0 72 0
[pid=24406] ppid=24405 vsize=85112 CPUtime=1662.02 cores=0,2,4,6
/proc/24406/stat : 24406 (pb_cplex) R 24405 24405 22465 0 -1 4202496 998073 0 0 0 166016 186 0 0 20 0 1 0 391247146 87154688 16455 33554432000 134512640 146736320 4291565520 4291559944 136000756 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24406/statm: 21278 16455 843 2985 0 18212 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 94260
[startup+1722.3 s]
/proc/loadavg: 1.05 1.56 2.48 2/172 24451
/proc/meminfo: memFree=30194644/32873648 swapFree=7372/7372
[pid=24405] ppid=24403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24405/stat : 24405 (run) S 24403 24405 22465 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391247146 9367552 269 33554432000 4194304 5064252 140735402929616 140735402928528 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24405/statm: 2287 269 229 213 0 72 0
[pid=24406] ppid=24405 vsize=85120 CPUtime=1722.01 cores=0,2,4,6
/proc/24406/stat : 24406 (pb_cplex) R 24405 24405 22465 0 -1 4202496 1037412 0 0 0 172008 193 0 0 20 0 1 0 391247146 87162880 16457 33554432000 134512640 146736320 4291565520 4291559800 136015544 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24406/statm: 21280 16457 843 2985 0 18214 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 94268
[startup+1782.3 s]
/proc/loadavg: 1.02 1.45 2.39 2/172 24451
/proc/meminfo: memFree=30194396/32873648 swapFree=7372/7372
[pid=24405] ppid=24403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24405/stat : 24405 (run) S 24403 24405 22465 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391247146 9367552 269 33554432000 4194304 5064252 140735402929616 140735402928528 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24405/statm: 2287 269 229 213 0 72 0
[pid=24406] ppid=24405 vsize=85128 CPUtime=1782.01 cores=0,2,4,6
/proc/24406/stat : 24406 (pb_cplex) R 24405 24405 22465 0 -1 4202496 1076473 0 0 0 178000 201 0 0 20 0 1 0 391247146 87171072 16459 33554432000 134512640 146736320 4291565520 4291559528 139044542 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24406/statm: 21282 16459 843 2985 0 18216 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 94276
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 1.01 1.44 2.37 2/172 24451
/proc/meminfo: memFree=30194396/32873648 swapFree=7372/7372
[pid=24405] ppid=24403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24405/stat : 24405 (run) S 24403 24405 22465 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391247146 9367552 269 33554432000 4194304 5064252 140735402929616 140735402928528 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24405/statm: 2287 269 229 213 0 72 0
[pid=24406] ppid=24405 vsize=85128 CPUtime=1791.6 cores=0,2,4,6
/proc/24406/stat : 24406 (pb_cplex) R 24405 24405 22465 0 -1 4202496 1082728 0 0 0 178959 201 0 0 20 0 1 0 391247146 87171072 16459 33554432000 134512640 146736320 4291565520 4291559800 136015727 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24406/statm: 21282 16459 843 2985 0 18216 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 94276
[startup+1795.1 s]
/proc/loadavg: 1.01 1.44 2.37 2/172 24451
/proc/meminfo: memFree=30194396/32873648 swapFree=7372/7372
[pid=24405] ppid=24403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24405/stat : 24405 (run) S 24403 24405 22465 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391247146 9367552 269 33554432000 4194304 5064252 140735402929616 140735402928528 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24405/statm: 2287 269 229 213 0 72 0
[pid=24406] ppid=24405 vsize=85128 CPUtime=1794.81 cores=0,2,4,6
/proc/24406/stat : 24406 (pb_cplex) R 24405 24405 22465 0 -1 4202496 1084813 0 0 0 179279 202 0 0 20 0 1 0 391247146 87171072 16459 33554432000 134512640 146736320 4291565520 4291560080 136403117 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24406/statm: 21282 16459 843 2985 0 18216 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 94276
[startup+1796.7 s]
/proc/loadavg: 1.01 1.44 2.37 2/172 24451
/proc/meminfo: memFree=30194396/32873648 swapFree=7372/7372
[pid=24405] ppid=24403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24405/stat : 24405 (run) S 24403 24405 22465 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391247146 9367552 269 33554432000 4194304 5064252 140735402929616 140735402928528 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24405/statm: 2287 269 229 213 0 72 0
[pid=24406] ppid=24405 vsize=85132 CPUtime=1796.4 cores=0,2,4,6
/proc/24406/stat : 24406 (pb_cplex) R 24405 24405 22465 0 -1 4202496 1085926 0 0 0 179438 202 0 0 20 0 1 0 391247146 87175168 16460 33554432000 134512640 146736320 4291565520 4291559544 136475859 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24406/statm: 21283 16460 843 2985 0 18217 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 94280
[startup+1798.3 s]
/proc/loadavg: 1.01 1.43 2.36 2/172 24451
/proc/meminfo: memFree=30194396/32873648 swapFree=7372/7372
[pid=24405] ppid=24403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24405/stat : 24405 (run) S 24403 24405 22465 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391247146 9367552 269 33554432000 4194304 5064252 140735402929616 140735402928528 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24405/statm: 2287 269 229 213 0 72 0
[pid=24406] ppid=24405 vsize=85132 CPUtime=1798 cores=0,2,4,6
/proc/24406/stat : 24406 (pb_cplex) R 24405 24405 22465 0 -1 4202496 1086899 0 0 0 179597 203 0 0 20 0 1 0 391247146 87175168 16460 33554432000 134512640 146736320 4291565520 4291559544 136475827 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24406/statm: 21283 16460 843 2985 0 18217 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 94280
[startup+1798.7 s]
/proc/loadavg: 1.01 1.43 2.36 2/172 24451
/proc/meminfo: memFree=30194396/32873648 swapFree=7372/7372
[pid=24405] ppid=24403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24405/stat : 24405 (run) S 24403 24405 22465 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391247146 9367552 269 33554432000 4194304 5064252 140735402929616 140735402928528 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24405/statm: 2287 269 229 213 0 72 0
[pid=24406] ppid=24405 vsize=85132 CPUtime=1798.4 cores=0,2,4,6
/proc/24406/stat : 24406 (pb_cplex) R 24405 24405 22465 0 -1 4202496 1087177 0 0 0 179637 203 0 0 20 0 1 0 391247146 87175168 16460 33554432000 134512640 146736320 4291565520 4291559580 135855174 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24406/statm: 21283 16460 843 2985 0 18217 0
Current children cumulated CPU time (s) 1798.4
Current children cumulated vsize (KiB) 94280
[startup+1799.1 s]
/proc/loadavg: 1.01 1.43 2.36 2/172 24451
/proc/meminfo: memFree=30194396/32873648 swapFree=7372/7372
[pid=24405] ppid=24403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24405/stat : 24405 (run) S 24403 24405 22465 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391247146 9367552 269 33554432000 4194304 5064252 140735402929616 140735402928528 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24405/statm: 2287 269 229 213 0 72 0
[pid=24406] ppid=24405 vsize=85132 CPUtime=1798.8 cores=0,2,4,6
/proc/24406/stat : 24406 (pb_cplex) R 24405 24405 22465 0 -1 4202496 1087594 0 0 0 179677 203 0 0 20 0 1 0 391247146 87175168 16460 33554432000 134512640 146736320 4291565520 4291559580 135855130 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24406/statm: 21283 16460 843 2985 0 18217 0
Current children cumulated CPU time (s) 1798.8
Current children cumulated vsize (KiB) 94280
Child status: 0
Real time (s): 1799.15
CPU time (s): 1798.86
CPU user time (s): 1796.82
CPU system time (s): 2.04069
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 115908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.82
system time used= 2.04069
maximum resident set size= 86100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1088116
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= 25
involuntary context switches= 2061
runsolver used 3.37749 second user time and 7.81981 second system time
The end