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-3739630-1339249149/watcher-3739630-1339249149 -o /tmp/evaluation-result-3739630-1339249149/solver-3739630-1339249149 -C 1800 -W 1900 -M 15500 run HOME/instance-3739630-1339249149.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: 9.09 7.92 7.29 7/184 20615
/proc/meminfo: memFree=28060612/32873648 swapFree=7628/7628
[pid=20615] ppid=20613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20615/stat : 20615 (run) S 20613 20615 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391040883 9367552 270 33554432000 4194304 5064252 140733991682352 140733991681264 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20615/statm: 2287 270 229 213 0 72 0
[startup+0.0844189 s]
/proc/loadavg: 9.09 7.92 7.29 7/184 20615
/proc/meminfo: memFree=28060612/32873648 swapFree=7628/7628
[pid=20615] ppid=20613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20615/stat : 20615 (run) S 20613 20615 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391040883 9367552 270 33554432000 4194304 5064252 140733991682352 140733991681264 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20615/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100307 s]
/proc/loadavg: 9.09 7.92 7.29 7/184 20615
/proc/meminfo: memFree=28060612/32873648 swapFree=7628/7628
[pid=20615] ppid=20613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20615/stat : 20615 (run) S 20613 20615 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391040883 9367552 270 33554432000 4194304 5064252 140733991682352 140733991681264 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20615/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300215 s]
/proc/loadavg: 9.09 7.92 7.29 7/184 20615
/proc/meminfo: memFree=28060612/32873648 swapFree=7628/7628
[pid=20615] ppid=20613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20615/stat : 20615 (run) S 20613 20615 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391040883 9367552 270 33554432000 4194304 5064252 140733991682352 140733991681264 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20615/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: 9.09 7.92 7.29 7/184 20615
/proc/meminfo: memFree=28060612/32873648 swapFree=7628/7628
[pid=20615] ppid=20613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20615/stat : 20615 (run) S 20613 20615 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391040883 9367552 270 33554432000 4194304 5064252 140733991682352 140733991681264 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20615/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 9.09 7.92 7.29 7/186 20617
/proc/meminfo: memFree=28000200/32873648 swapFree=7628/7628
[pid=20615] ppid=20613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20615/stat : 20615 (run) S 20613 20615 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391040883 9367552 270 33554432000 4194304 5064252 140733991682352 140733991681264 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20615/statm: 2287 270 229 213 0 72 0
[pid=20616] ppid=20615 vsize=92408 CPUtime=1.49 cores=0,2,4,6
/proc/20616/stat : 20616 (pb_cplex) R 20615 20615 19841 0 -1 4202496 31334 0 0 0 144 5 0 0 20 0 1 0 391040884 94625792 15762 33554432000 134512640 146736320 4288616976 4288611976 135999702 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20616/statm: 23102 15762 724 2985 0 20036 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 101556
[startup+3.10018 s]
/proc/loadavg: 9.09 7.92 7.29 7/186 20617
/proc/meminfo: memFree=27997968/32873648 swapFree=7628/7628
[pid=20615] ppid=20613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20615/stat : 20615 (run) S 20613 20615 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391040883 9367552 270 33554432000 4194304 5064252 140733991682352 140733991681264 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20615/statm: 2287 270 229 213 0 72 0
[pid=20616] ppid=20615 vsize=92548 CPUtime=3.09 cores=0,2,4,6
/proc/20616/stat : 20616 (pb_cplex) R 20615 20615 19841 0 -1 4202496 33335 0 0 0 304 5 0 0 20 0 1 0 391040884 94769152 15854 33554432000 134512640 146736320 4288616976 4288611712 136471165 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20616/statm: 23137 15854 724 2985 0 20071 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 101696
[startup+6.30018 s]
/proc/loadavg: 8.92 7.91 7.28 7/186 20617
/proc/meminfo: memFree=27995288/32873648 swapFree=7628/7628
[pid=20615] ppid=20613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20615/stat : 20615 (run) S 20613 20615 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391040883 9367552 270 33554432000 4194304 5064252 140733991682352 140733991681264 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20615/statm: 2287 270 229 213 0 72 0
[pid=20616] ppid=20615 vsize=93284 CPUtime=6.29 cores=0,2,4,6
/proc/20616/stat : 20616 (pb_cplex) R 20615 20615 19841 0 -1 4202496 37677 0 0 0 623 6 0 0 20 0 1 0 391040884 95522816 16079 33554432000 134512640 146736320 4288616976 4288611736 136008611 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20616/statm: 23321 16079 724 2985 0 20255 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 102432
[startup+12.7002 s]
/proc/loadavg: 8.44 7.83 7.26 4/186 20617
/proc/meminfo: memFree=27993740/32873648 swapFree=7628/7628
[pid=20615] ppid=20613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20615/stat : 20615 (run) S 20613 20615 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391040883 9367552 270 33554432000 4194304 5064252 140733991682352 140733991681264 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20615/statm: 2287 270 229 213 0 72 0
[pid=20616] ppid=20615 vsize=93452 CPUtime=12.69 cores=0,2,4,6
/proc/20616/stat : 20616 (pb_cplex) R 20615 20615 19841 0 -1 4202496 44821 0 0 0 1261 8 0 0 20 0 1 0 391040884 95694848 16167 33554432000 134512640 146736320 4288616976 4288612112 136403117 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20616/statm: 23363 16167 724 2985 0 20297 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 102600
[startup+25.5003 s]
/proc/loadavg: 8.09 7.77 7.25 10/186 20617
/proc/meminfo: memFree=27968292/32873648 swapFree=7628/7628
[pid=20615] ppid=20613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20615/stat : 20615 (run) S 20613 20615 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391040883 9367552 270 33554432000 4194304 5064252 140733991682352 140733991681264 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20615/statm: 2287 270 229 213 0 72 0
[pid=20616] ppid=20615 vsize=93952 CPUtime=25.48 cores=0,2,4,6
/proc/20616/stat : 20616 (pb_cplex) R 20615 20615 19841 0 -1 4202496 57710 0 0 0 2539 9 0 0 20 0 1 0 391040884 96206848 16267 33554432000 134512640 146736320 4288616976 4288611728 136008017 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20616/statm: 23488 16267 724 2985 0 20422 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 103100
[startup+51.1002 s]
/proc/loadavg: 8.40 7.87 7.30 10/186 20617
/proc/meminfo: memFree=27955556/32873648 swapFree=7628/7628
[pid=20615] ppid=20613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20615/stat : 20615 (run) S 20613 20615 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391040883 9367552 270 33554432000 4194304 5064252 140733991682352 140733991681264 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20615/statm: 2287 270 229 213 0 72 0
[pid=20616] ppid=20615 vsize=93952 CPUtime=51.08 cores=0,2,4,6
/proc/20616/stat : 20616 (pb_cplex) R 20615 20615 19841 0 -1 4202496 81671 0 0 0 5096 12 0 0 20 0 1 0 391040884 96206848 16267 33554432000 134512640 146736320 4288616976 4288611728 136008441 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20616/statm: 23488 16267 724 2985 0 20422 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 103100
[startup+102.306 s]
/proc/loadavg: 7.75 7.81 7.31 4/187 20620
/proc/meminfo: memFree=27932952/32873648 swapFree=7628/7628
[pid=20615] ppid=20613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20615/stat : 20615 (run) S 20613 20615 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391040883 9367552 270 33554432000 4194304 5064252 140733991682352 140733991681264 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20615/statm: 2287 270 229 213 0 72 0
[pid=20616] ppid=20615 vsize=93952 CPUtime=102.28 cores=0,2,4,6
/proc/20616/stat : 20616 (pb_cplex) R 20615 20615 19841 0 -1 4202496 124008 0 0 0 10209 19 0 0 20 0 1 0 391040884 96206848 16268 33554432000 134512640 146736320 4288616976 4288612112 136403116 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20616/statm: 23488 16268 724 2985 0 20422 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 103100
[startup+162.3 s]
/proc/loadavg: 6.11 7.39 7.20 10/186 20621
/proc/meminfo: memFree=27926280/32873648 swapFree=7628/7628
[pid=20615] ppid=20613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20615/stat : 20615 (run) S 20613 20615 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391040883 9367552 270 33554432000 4194304 5064252 140733991682352 140733991681264 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20615/statm: 2287 270 229 213 0 72 0
[pid=20616] ppid=20615 vsize=95036 CPUtime=162.27 cores=0,2,4,6
/proc/20616/stat : 20616 (pb_cplex) R 20615 20615 19841 0 -1 4202496 171795 0 0 0 16200 27 0 0 20 0 1 0 391040884 97316864 16453 33554432000 134512640 146736320 4288616976 4288611720 136063825 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20616/statm: 23759 16453 749 2985 0 20693 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 104184
[startup+222.3 s]
/proc/loadavg: 5.79 7.18 7.14 3/179 20621
/proc/meminfo: memFree=28134596/32873648 swapFree=7628/7628
[pid=20615] ppid=20613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20615/stat : 20615 (run) S 20613 20615 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391040883 9367552 270 33554432000 4194304 5064252 140733991682352 140733991681264 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20615/statm: 2287 270 229 213 0 72 0
[pid=20616] ppid=20615 vsize=94660 CPUtime=222.26 cores=0,2,4,6
/proc/20616/stat : 20616 (pb_cplex) R 20615 20615 19841 0 -1 4202496 221895 0 0 0 22188 38 0 0 20 0 1 0 391040884 96931840 18195 33554432000 134512640 146736320 4288616976 4288611520 136078569 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20616/statm: 23665 18195 760 2985 0 20599 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 103808
[startup+282.3 s]
/proc/loadavg: 3.39 6.24 6.82 3/179 20621
/proc/meminfo: memFree=28135204/32873648 swapFree=7628/7628
[pid=20615] ppid=20613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20615/stat : 20615 (run) S 20613 20615 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391040883 9367552 270 33554432000 4194304 5064252 140733991682352 140733991681264 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20615/statm: 2287 270 229 213 0 72 0
[pid=20616] ppid=20615 vsize=94668 CPUtime=282.24 cores=0,2,4,6
/proc/20616/stat : 20616 (pb_cplex) R 20615 20615 19841 0 -1 4202496 267804 0 0 0 28178 46 0 0 20 0 1 0 391040884 96940032 18200 33554432000 134512640 146736320 4288616976 4288611576 136475822 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20616/statm: 23667 18200 760 2985 0 20601 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 103816
Solver just ended. Dumping a history of the last processes samples
[startup+307.1 s]
/proc/loadavg: 2.97 5.91 6.69 3/179 20621
/proc/meminfo: memFree=28135256/32873648 swapFree=7628/7628
[pid=20615] ppid=20613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20615/stat : 20615 (run) S 20613 20615 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391040883 9367552 270 33554432000 4194304 5064252 140733991682352 140733991681264 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20615/statm: 2287 270 229 213 0 72 0
[pid=20616] ppid=20615 vsize=94668 CPUtime=307.04 cores=0,2,4,6
/proc/20616/stat : 20616 (pb_cplex) R 20615 20615 19841 0 -1 4202496 284676 0 0 0 30654 50 0 0 20 0 1 0 391040884 96940032 18200 33554432000 134512640 146736320 4288616976 4288611720 136063774 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20616/statm: 23667 18200 760 2985 0 20601 0
Current children cumulated CPU time (s) 307.04
Current children cumulated vsize (KiB) 103816
[startup+319.9 s]
/proc/loadavg: 2.76 5.72 6.62 3/179 20621
/proc/meminfo: memFree=28135504/32873648 swapFree=7628/7628
[pid=20615] ppid=20613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20615/stat : 20615 (run) S 20613 20615 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391040883 9367552 270 33554432000 4194304 5064252 140733991682352 140733991681264 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20615/statm: 2287 270 229 213 0 72 0
[pid=20616] ppid=20615 vsize=94668 CPUtime=319.84 cores=0,2,4,6
/proc/20616/stat : 20616 (pb_cplex) R 20615 20615 19841 0 -1 4202496 292580 0 0 0 31933 51 0 0 20 0 1 0 391040884 96940032 18200 33554432000 134512640 146736320 4288616976 4288611720 136064236 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20616/statm: 23667 18200 760 2985 0 20601 0
Current children cumulated CPU time (s) 319.84
Current children cumulated vsize (KiB) 103816
[startup+332.7 s]
/proc/loadavg: 2.64 5.60 6.57 3/179 20621
/proc/meminfo: memFree=28135756/32873648 swapFree=7628/7628
[pid=20615] ppid=20613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20615/stat : 20615 (run) S 20613 20615 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391040883 9367552 270 33554432000 4194304 5064252 140733991682352 140733991681264 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20615/statm: 2287 270 229 213 0 72 0
[pid=20616] ppid=20615 vsize=94668 CPUtime=332.63 cores=0,2,4,6
/proc/20616/stat : 20616 (pb_cplex) R 20615 20615 19841 0 -1 4202496 301852 0 0 0 33211 52 0 0 20 0 1 0 391040884 96940032 18200 33554432000 134512640 146736320 4288616976 4288611592 139043259 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20616/statm: 23667 18200 760 2985 0 20601 0
Current children cumulated CPU time (s) 332.63
Current children cumulated vsize (KiB) 103816
[startup+335.9 s]
/proc/loadavg: 2.59 5.54 6.54 3/179 20621
/proc/meminfo: memFree=28135756/32873648 swapFree=7628/7628
[pid=20615] ppid=20613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20615/stat : 20615 (run) S 20613 20615 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391040883 9367552 270 33554432000 4194304 5064252 140733991682352 140733991681264 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20615/statm: 2287 270 229 213 0 72 0
[pid=20616] ppid=20615 vsize=94668 CPUtime=335.84 cores=0,2,4,6
/proc/20616/stat : 20616 (pb_cplex) R 20615 20615 19841 0 -1 4202496 304284 0 0 0 33531 53 0 0 20 0 1 0 391040884 96940032 18200 33554432000 134512640 146736320 4288616976 4288611520 136413878 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20616/statm: 23667 18200 760 2985 0 20601 0
Current children cumulated CPU time (s) 335.84
Current children cumulated vsize (KiB) 103816
[startup+339.1 s]
/proc/loadavg: 2.54 5.48 6.52 3/179 20621
/proc/meminfo: memFree=28135756/32873648 swapFree=7628/7628
[pid=20615] ppid=20613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20615/stat : 20615 (run) S 20613 20615 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391040883 9367552 270 33554432000 4194304 5064252 140733991682352 140733991681264 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20615/statm: 2287 270 229 213 0 72 0
[pid=20616] ppid=20615 vsize=94668 CPUtime=339.03 cores=0,2,4,6
/proc/20616/stat : 20616 (pb_cplex) R 20615 20615 19841 0 -1 4202496 306868 0 0 0 33850 53 0 0 20 0 1 0 391040884 96940032 18200 33554432000 134512640 146736320 4288616976 4288611520 136413878 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20616/statm: 23667 18200 760 2985 0 20601 0
Current children cumulated CPU time (s) 339.03
Current children cumulated vsize (KiB) 103816
[startup+340.7 s]
/proc/loadavg: 2.54 5.48 6.52 3/179 20621
/proc/meminfo: memFree=28135756/32873648 swapFree=7628/7628
[pid=20615] ppid=20613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20615/stat : 20615 (run) S 20613 20615 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391040883 9367552 270 33554432000 4194304 5064252 140733991682352 140733991681264 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20615/statm: 2287 270 229 213 0 72 0
[pid=20616] ppid=20615 vsize=94668 CPUtime=340.63 cores=0,2,4,6
/proc/20616/stat : 20616 (pb_cplex) R 20615 20615 19841 0 -1 4202496 308084 0 0 0 34010 53 0 0 20 0 1 0 391040884 96940032 18200 33554432000 134512640 146736320 4288616976 4288611732 136064604 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20616/statm: 23667 18200 760 2985 0 20601 0
Current children cumulated CPU time (s) 340.63
Current children cumulated vsize (KiB) 103816
[startup+341.5 s]
/proc/loadavg: 2.54 5.48 6.52 3/179 20621
/proc/meminfo: memFree=28135632/32873648 swapFree=7628/7628
[pid=20615] ppid=20613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20615/stat : 20615 (run) S 20613 20615 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391040883 9367552 270 33554432000 4194304 5064252 140733991682352 140733991681264 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20615/statm: 2287 270 229 213 0 72 0
[pid=20616] ppid=20615 vsize=94668 CPUtime=341.43 cores=0,2,4,6
/proc/20616/stat : 20616 (pb_cplex) R 20615 20615 19841 0 -1 4202496 308692 0 0 0 34090 53 0 0 20 0 1 0 391040884 96940032 18200 33554432000 134512640 146736320 4288616976 4288611612 135854021 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20616/statm: 23667 18200 760 2985 0 20601 0
Current children cumulated CPU time (s) 341.43
Current children cumulated vsize (KiB) 103816
[startup+341.9 s]
/proc/loadavg: 2.54 5.48 6.52 3/179 20621
/proc/meminfo: memFree=28135632/32873648 swapFree=7628/7628
[pid=20615] ppid=20613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20615/stat : 20615 (run) S 20613 20615 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391040883 9367552 270 33554432000 4194304 5064252 140733991682352 140733991681264 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20615/statm: 2287 270 229 213 0 72 0
[pid=20616] ppid=20615 vsize=94668 CPUtime=341.83 cores=0,2,4,6
/proc/20616/stat : 20616 (pb_cplex) R 20615 20615 19841 0 -1 4202496 308996 0 0 0 34130 53 0 0 20 0 1 0 391040884 96940032 18200 33554432000 134512640 146736320 4288616976 4288611576 136475808 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20616/statm: 23667 18200 760 2985 0 20601 0
Current children cumulated CPU time (s) 341.83
Current children cumulated vsize (KiB) 103816
Child status: 0
Real time (s): 341.989
CPU time (s): 341.934
CPU user time (s): 341.39
CPU system time (s): 0.543917
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 105148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 341.39
system time used= 0.543917
maximum resident set size= 73408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 309543
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= 14
involuntary context switches= 379
runsolver used 1.21881 second user time and 2.88856 second system time
The end