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-3742458-1339251114/watcher-3742458-1339251114 -o /tmp/evaluation-result-3742458-1339251114/solver-3742458-1339251114 -C 1800 -W 1900 -M 15500 run HOME/instance-3742458-1339251114.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.21 4.29 4.36 10/184 8294
/proc/meminfo: memFree=31662952/32873648 swapFree=7376/7376
[pid=8294] ppid=8292 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8294/stat : 8294 (run) S 8292 8294 7175 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391235564 9367552 269 33554432000 4194304 5064252 140733575118992 140733575117904 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8294/statm: 2287 269 229 213 0 72 0
[startup+0.037077 s]
/proc/loadavg: 6.21 4.29 4.36 10/184 8294
/proc/meminfo: memFree=31662952/32873648 swapFree=7376/7376
[pid=8294] ppid=8292 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8294/stat : 8294 (run) S 8292 8294 7175 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391235564 9367552 269 33554432000 4194304 5064252 140733575118992 140733575117904 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8294/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100258 s]
/proc/loadavg: 6.21 4.29 4.36 10/184 8294
/proc/meminfo: memFree=31662952/32873648 swapFree=7376/7376
[pid=8294] ppid=8292 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8294/stat : 8294 (run) S 8292 8294 7175 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391235564 9367552 269 33554432000 4194304 5064252 140733575118992 140733575117904 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8294/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300226 s]
/proc/loadavg: 6.21 4.29 4.36 10/184 8294
/proc/meminfo: memFree=31662952/32873648 swapFree=7376/7376
[pid=8294] ppid=8292 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8294/stat : 8294 (run) S 8292 8294 7175 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391235564 9367552 269 33554432000 4194304 5064252 140733575118992 140733575117904 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8294/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700221 s]
/proc/loadavg: 6.21 4.29 4.36 10/184 8294
/proc/meminfo: memFree=31662952/32873648 swapFree=7376/7376
[pid=8294] ppid=8292 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8294/stat : 8294 (run) S 8292 8294 7175 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391235564 9367552 269 33554432000 4194304 5064252 140733575118992 140733575117904 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8294/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 6.21 4.29 4.36 10/186 8296
/proc/meminfo: memFree=31641584/32873648 swapFree=7376/7376
[pid=8294] ppid=8292 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8294/stat : 8294 (run) S 8292 8294 7175 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391235564 9367552 269 33554432000 4194304 5064252 140733575118992 140733575117904 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8294/statm: 2287 269 229 213 0 72 0
[pid=8295] ppid=8294 vsize=75736 CPUtime=1.49 cores=0,2,4,6
/proc/8295/stat : 8295 (pb_cplex) R 8294 8294 7175 0 -1 4202496 17940 0 0 0 146 3 0 0 20 0 1 0 391235564 77553664 10751 33554432000 134512640 146736320 4294253360 4294248212 136004384 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/8295/statm: 18934 10751 726 2985 0 15868 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84884
[startup+3.10032 s]
/proc/loadavg: 6.43 4.37 4.39 10/186 8296
/proc/meminfo: memFree=31621052/32873648 swapFree=7376/7376
[pid=8294] ppid=8292 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8294/stat : 8294 (run) S 8292 8294 7175 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391235564 9367552 269 33554432000 4194304 5064252 140733575118992 140733575117904 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8294/statm: 2287 269 229 213 0 72 0
[pid=8295] ppid=8294 vsize=76660 CPUtime=3.09 cores=0,2,4,6
/proc/8295/stat : 8295 (pb_cplex) R 8294 8294 7175 0 -1 4202496 21273 0 0 0 306 3 0 0 20 0 1 0 391235564 78499840 11056 33554432000 134512640 146736320 4294253360 4294247976 139044580 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/8295/statm: 19165 11056 726 2985 0 16099 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 85808
[startup+6.30032 s]
/proc/loadavg: 6.43 4.37 4.39 10/186 8296
/proc/meminfo: memFree=31620572/32873648 swapFree=7376/7376
[pid=8294] ppid=8292 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8294/stat : 8294 (run) S 8292 8294 7175 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391235564 9367552 269 33554432000 4194304 5064252 140733575118992 140733575117904 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8294/statm: 2287 269 229 213 0 72 0
[pid=8295] ppid=8294 vsize=76812 CPUtime=6.29 cores=0,2,4,6
/proc/8295/stat : 8295 (pb_cplex) R 8294 8294 7175 0 -1 4202496 25392 0 0 0 625 4 0 0 20 0 1 0 391235564 78655488 11175 33554432000 134512640 146736320 4294253360 4294248392 136000480 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/8295/statm: 19203 11175 726 2985 0 16137 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 85960
[startup+12.7003 s]
/proc/loadavg: 6.83 4.52 4.43 10/186 8296
/proc/meminfo: memFree=31619132/32873648 swapFree=7376/7376
[pid=8294] ppid=8292 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8294/stat : 8294 (run) S 8292 8294 7175 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391235564 9367552 269 33554432000 4194304 5064252 140733575118992 140733575117904 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8294/statm: 2287 269 229 213 0 72 0
[pid=8295] ppid=8294 vsize=77696 CPUtime=12.69 cores=0,2,4,6
/proc/8295/stat : 8295 (pb_cplex) R 8294 8294 7175 0 -1 4202496 28187 0 0 0 1265 4 0 0 20 0 1 0 391235564 79560704 11410 33554432000 134512640 146736320 4294253360 4294248212 136003493 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/8295/statm: 19424 11410 726 2985 0 16358 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 86844
[startup+25.5003 s]
/proc/loadavg: 7.16 4.67 4.48 10/186 8296
/proc/meminfo: memFree=31618076/32873648 swapFree=7376/7376
[pid=8294] ppid=8292 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8294/stat : 8294 (run) S 8292 8294 7175 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391235564 9367552 269 33554432000 4194304 5064252 140733575118992 140733575117904 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8294/statm: 2287 269 229 213 0 72 0
[pid=8295] ppid=8294 vsize=77936 CPUtime=25.49 cores=0,2,4,6
/proc/8295/stat : 8295 (pb_cplex) R 8294 8294 7175 0 -1 4202496 31133 0 0 0 2544 5 0 0 20 0 1 0 391235564 79806464 11476 33554432000 134512640 146736320 4294253360 4294247992 136475822 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/8295/statm: 19484 11476 726 2985 0 16418 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 87084
[startup+51.1004 s]
/proc/loadavg: 7.79 5.02 4.60 10/186 8297
/proc/meminfo: memFree=31615212/32873648 swapFree=7376/7376
[pid=8294] ppid=8292 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8294/stat : 8294 (run) S 8292 8294 7175 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391235564 9367552 269 33554432000 4194304 5064252 140733575118992 140733575117904 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8294/statm: 2287 269 229 213 0 72 0
[pid=8295] ppid=8294 vsize=78072 CPUtime=51.08 cores=0,2,4,6
/proc/8295/stat : 8295 (pb_cplex) R 8294 8294 7175 0 -1 4202496 48770 0 0 0 5099 9 0 0 20 0 1 0 391235564 79945728 11513 33554432000 134512640 146736320 4294253360 4294248008 139043261 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/8295/statm: 19518 11513 726 2985 0 16452 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 87220
[startup+102.3 s]
/proc/loadavg: 8.51 5.68 4.85 10/186 8297
/proc/meminfo: memFree=31613156/32873648 swapFree=7376/7376
[pid=8294] ppid=8292 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8294/stat : 8294 (run) S 8292 8294 7175 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391235564 9367552 269 33554432000 4194304 5064252 140733575118992 140733575117904 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8294/statm: 2287 269 229 213 0 72 0
[pid=8295] ppid=8294 vsize=77672 CPUtime=102.28 cores=0,2,4,6
/proc/8295/stat : 8295 (pb_cplex) R 8294 8294 7175 0 -1 4202496 86327 0 0 0 10213 15 0 0 20 0 1 0 391235564 79536128 11379 33554432000 134512640 146736320 4294253360 4294246512 144797937 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/8295/statm: 19418 11379 781 2985 0 16352 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 86820
[startup+162.3 s]
/proc/loadavg: 8.84 6.25 5.09 9/186 8297
/proc/meminfo: memFree=31601648/32873648 swapFree=7376/7376
[pid=8294] ppid=8292 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8294/stat : 8294 (run) S 8292 8294 7175 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391235564 9367552 269 33554432000 4194304 5064252 140733575118992 140733575117904 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8294/statm: 2287 269 229 213 0 72 0
[pid=8295] ppid=8294 vsize=77672 CPUtime=162.26 cores=0,2,4,6
/proc/8295/stat : 8295 (pb_cplex) R 8294 8294 7175 0 -1 4202496 124899 0 0 0 16204 22 0 0 20 0 1 0 391235564 79536128 14325 33554432000 134512640 146736320 4294253360 4294247360 136018924 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/8295/statm: 19418 14325 781 2985 0 16352 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 86820
[startup+222.307 s]
/proc/loadavg: 6.70 6.21 5.16 4/186 8297
/proc/meminfo: memFree=31600908/32873648 swapFree=7376/7376
[pid=8294] ppid=8292 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8294/stat : 8294 (run) S 8292 8294 7175 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391235564 9367552 269 33554432000 4194304 5064252 140733575118992 140733575117904 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8294/statm: 2287 269 229 213 0 72 0
[pid=8295] ppid=8294 vsize=77712 CPUtime=222.25 cores=0,2,4,6
/proc/8295/stat : 8295 (pb_cplex) R 8294 8294 7175 0 -1 4202496 163150 0 0 0 22195 30 0 0 20 0 1 0 391235564 79577088 14336 33554432000 134512640 146736320 4294253360 4294247408 136384857 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/8295/statm: 19428 14336 781 2985 0 16362 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 86860
[startup+282.3 s]
/proc/loadavg: 4.32 5.63 5.02 3/186 8297
/proc/meminfo: memFree=31600664/32873648 swapFree=7376/7376
[pid=8294] ppid=8292 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8294/stat : 8294 (run) S 8292 8294 7175 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391235564 9367552 269 33554432000 4194304 5064252 140733575118992 140733575117904 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8294/statm: 2287 269 229 213 0 72 0
[pid=8295] ppid=8294 vsize=77744 CPUtime=282.24 cores=0,2,4,6
/proc/8295/stat : 8295 (pb_cplex) R 8294 8294 7175 0 -1 4202496 201400 0 0 0 28187 37 0 0 20 0 1 0 391235564 79609856 14346 33554432000 134512640 146736320 4294253360 4294247816 136000767 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/8295/statm: 19436 14346 781 2985 0 16370 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 86892
[startup+342.3 s]
/proc/loadavg: 6.99 6.10 5.22 10/185 8297
/proc/meminfo: memFree=31591792/32873648 swapFree=7376/7376
[pid=8294] ppid=8292 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8294/stat : 8294 (run) S 8292 8294 7175 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391235564 9367552 269 33554432000 4194304 5064252 140733575118992 140733575117904 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8294/statm: 2287 269 229 213 0 72 0
[pid=8295] ppid=8294 vsize=77760 CPUtime=342.23 cores=0,2,4,6
/proc/8295/stat : 8295 (pb_cplex) R 8294 8294 7175 0 -1 4202496 239645 0 0 0 34179 44 0 0 20 0 1 0 391235564 79626240 14351 33554432000 134512640 146736320 4294253360 4294247472 136384861 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/8295/statm: 19440 14351 782 2985 0 16374 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 86908
[startup+402.3 s]
/proc/loadavg: 4.03 5.42 5.03 3/179 8348
/proc/meminfo: memFree=31702400/32873648 swapFree=7376/7376
[pid=8294] ppid=8292 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 8.10 6.92 5.95 5/186 8429
/proc/meminfo: memFree=30801988/32873648 swapFree=7376/7376
[pid=8294] ppid=8292 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8294/stat : 8294 (run) S 8292 8294 7175 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391235564 9367552 269 33554432000 4194304 5064252 140733575118992 140733575117904 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8294/statm: 2287 269 229 213 0 72 0
[pid=8295] ppid=8294 vsize=113524 CPUtime=1422.07 cores=0,2,4,6
/proc/8295/stat : 8295 (pb_cplex) R 8294 8294 7175 0 -1 4202496 980573 0 0 0 142018 189 0 0 20 0 1 0 391235564 116248576 22815 33554432000 134512640 146736320 4294253360 4294247656 136015703 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/8295/statm: 28381 22815 841 2985 0 25315 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 122672
[startup+1482.3 s]
/proc/loadavg: 8.24 7.11 6.07 10/186 8429
/proc/meminfo: memFree=30803988/32873648 swapFree=7376/7376
[pid=8294] ppid=8292 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8294/stat : 8294 (run) S 8292 8294 7175 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391235564 9367552 269 33554432000 4194304 5064252 140733575118992 140733575117904 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8294/statm: 2287 269 229 213 0 72 0
[pid=8295] ppid=8294 vsize=113384 CPUtime=1482.06 cores=0,2,4,6
/proc/8295/stat : 8295 (pb_cplex) R 8294 8294 7175 0 -1 4202496 1053486 0 0 0 148002 204 0 0 20 0 1 0 391235564 116105216 22826 33554432000 134512640 146736320 4294253360 4294246316 135453921 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/8295/statm: 28346 22826 841 2985 0 25280 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 122532
[startup+1542.31 s]
/proc/loadavg: 8.81 7.50 6.27 9/186 8429
/proc/meminfo: memFree=30783756/32873648 swapFree=7376/7376
[pid=8294] ppid=8292 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8294/stat : 8294 (run) S 8292 8294 7175 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391235564 9367552 269 33554432000 4194304 5064252 140733575118992 140733575117904 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8294/statm: 2287 269 229 213 0 72 0
[pid=8295] ppid=8294 vsize=112396 CPUtime=1542.05 cores=0,2,4,6
/proc/8295/stat : 8295 (pb_cplex) R 8294 8294 7175 0 -1 4202496 1155292 0 0 0 153985 220 0 0 20 0 1 0 391235564 115093504 22577 33554432000 134512640 146736320 4294253360 4294247548 136017787 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/8295/statm: 28099 22577 841 2985 0 25033 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 121544
[startup+1602.3 s]
/proc/loadavg: 4.12 6.40 5.97 2/172 8458
/proc/meminfo: memFree=31701724/32873648 swapFree=7376/7376
[pid=8294] ppid=8292 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8294/stat : 8294 (run) S 8292 8294 7175 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391235564 9367552 269 33554432000 4194304 5064252 140733575118992 140733575117904 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8294/statm: 2287 269 229 213 0 72 0
[pid=8295] ppid=8294 vsize=118324 CPUtime=1602.03 cores=0,2,4,6
/proc/8295/stat : 8295 (pb_cplex) R 8294 8294 7175 0 -1 4202496 1235384 0 0 0 159969 234 0 0 20 0 1 0 391235564 121163776 23587 33554432000 134512640 146736320 4294253360 4294247656 136015547 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/8295/statm: 29581 23587 860 2985 0 26515 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 127472
[startup+1662.3 s]
/proc/loadavg: 2.09 5.36 5.63 2/172 8458
/proc/meminfo: memFree=31700544/32873648 swapFree=7376/7376
[pid=8294] ppid=8292 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8294/stat : 8294 (run) S 8292 8294 7175 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391235564 9367552 269 33554432000 4194304 5064252 140733575118992 140733575117904 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8294/statm: 2287 269 229 213 0 72 0
[pid=8295] ppid=8294 vsize=118432 CPUtime=1662.02 cores=0,2,4,6
/proc/8295/stat : 8295 (pb_cplex) R 8294 8294 7175 0 -1 4202496 1235418 0 0 0 165968 234 0 0 20 0 1 0 391235564 121274368 23958 33554432000 134512640 146736320 4294253360 4294245516 135465099 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/8295/statm: 29608 23958 860 2985 0 26542 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 127580
[startup+1722.3 s]
/proc/loadavg: 1.48 4.64 5.37 2/173 8461
/proc/meminfo: memFree=31700388/32873648 swapFree=7376/7376
[pid=8294] ppid=8292 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8294/stat : 8294 (run) S 8292 8294 7175 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391235564 9367552 269 33554432000 4194304 5064252 140733575118992 140733575117904 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8294/statm: 2287 269 229 213 0 72 0
[pid=8295] ppid=8294 vsize=118492 CPUtime=1722.02 cores=0,2,4,6
/proc/8295/stat : 8295 (pb_cplex) R 8294 8294 7175 0 -1 4202496 1246476 0 0 0 171965 237 0 0 20 0 1 0 391235564 121335808 23976 33554432000 134512640 146736320 4294253360 4294246868 135995268 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/8295/statm: 29623 23976 860 2985 0 26557 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 127640
[startup+1782.3 s]
/proc/loadavg: 1.17 3.97 5.09 2/172 8461
/proc/meminfo: memFree=31700272/32873648 swapFree=7376/7376
[pid=8294] ppid=8292 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8294/stat : 8294 (run) S 8292 8294 7175 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391235564 9367552 269 33554432000 4194304 5064252 140733575118992 140733575117904 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8294/statm: 2287 269 229 213 0 72 0
[pid=8295] ppid=8294 vsize=118492 CPUtime=1782.01 cores=0,2,4,6
/proc/8295/stat : 8295 (pb_cplex) R 8294 8294 7175 0 -1 4202496 1274156 0 0 0 177958 243 0 0 20 0 1 0 391235564 121335808 23976 33554432000 134512640 146736320 4294253360 4294247112 135851975 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/8295/statm: 29623 23976 860 2985 0 26557 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 127640
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 1.15 3.87 5.05 2/172 8461
/proc/meminfo: memFree=31700272/32873648 swapFree=7376/7376
[pid=8294] ppid=8292 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8294/stat : 8294 (run) S 8292 8294 7175 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391235564 9367552 269 33554432000 4194304 5064252 140733575118992 140733575117904 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8294/statm: 2287 269 229 213 0 72 0
[pid=8295] ppid=8294 vsize=118500 CPUtime=1791.72 cores=0,2,4,6
/proc/8295/stat : 8295 (pb_cplex) R 8294 8294 7175 0 -1 4202496 1279118 0 0 0 178928 244 0 0 20 0 1 0 391235564 121344000 23978 33554432000 134512640 146736320 4294253360 4294246868 135995266 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/8295/statm: 29625 23978 860 2985 0 26559 0
Current children cumulated CPU time (s) 1791.72
Current children cumulated vsize (KiB) 127648
[startup+1795.2 s]
/proc/loadavg: 1.14 3.83 5.03 2/172 8461
/proc/meminfo: memFree=31700272/32873648 swapFree=7376/7376
[pid=8294] ppid=8292 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8294/stat : 8294 (run) S 8292 8294 7175 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391235564 9367552 269 33554432000 4194304 5064252 140733575118992 140733575117904 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8294/statm: 2287 269 229 213 0 72 0
[pid=8295] ppid=8294 vsize=118504 CPUtime=1794.91 cores=0,2,4,6
/proc/8295/stat : 8295 (pb_cplex) R 8294 8294 7175 0 -1 4202496 1280719 0 0 0 179247 244 0 0 20 0 1 0 391235564 121348096 23979 33554432000 134512640 146736320 4294253360 4294246992 138767134 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/8295/statm: 29626 23979 860 2985 0 26560 0
Current children cumulated CPU time (s) 1794.91
Current children cumulated vsize (KiB) 127652
[startup+1796.8 s]
/proc/loadavg: 1.14 3.83 5.03 2/172 8461
/proc/meminfo: memFree=31700272/32873648 swapFree=7376/7376
[pid=8294] ppid=8292 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8294/stat : 8294 (run) S 8292 8294 7175 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391235564 9367552 269 33554432000 4194304 5064252 140733575118992 140733575117904 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8294/statm: 2287 269 229 213 0 72 0
[pid=8295] ppid=8294 vsize=118504 CPUtime=1796.5 cores=0,2,4,6
/proc/8295/stat : 8295 (pb_cplex) R 8294 8294 7175 0 -1 4202496 1281679 0 0 0 179406 244 0 0 20 0 1 0 391235564 121348096 23979 33554432000 134512640 146736320 4294253360 4294246824 135990080 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/8295/statm: 29626 23979 860 2985 0 26560 0
Current children cumulated CPU time (s) 1796.5
Current children cumulated vsize (KiB) 127652
[startup+1798.4 s]
/proc/loadavg: 1.12 3.78 5.00 2/172 8461
/proc/meminfo: memFree=31700272/32873648 swapFree=7376/7376
[pid=8294] ppid=8292 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8294/stat : 8294 (run) S 8292 8294 7175 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391235564 9367552 269 33554432000 4194304 5064252 140733575118992 140733575117904 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8294/statm: 2287 269 229 213 0 72 0
[pid=8295] ppid=8294 vsize=118504 CPUtime=1798.1 cores=0,2,4,6
/proc/8295/stat : 8295 (pb_cplex) R 8294 8294 7175 0 -1 4202496 1282479 0 0 0 179566 244 0 0 20 0 1 0 391235564 121348096 23979 33554432000 134512640 146736320 4294253360 4294246868 135995266 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/8295/statm: 29626 23979 860 2985 0 26560 0
Current children cumulated CPU time (s) 1798.1
Current children cumulated vsize (KiB) 127652
[startup+1798.8 s]
/proc/loadavg: 1.12 3.78 5.00 2/172 8461
/proc/meminfo: memFree=31700396/32873648 swapFree=7376/7376
[pid=8294] ppid=8292 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8294/stat : 8294 (run) S 8292 8294 7175 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391235564 9367552 269 33554432000 4194304 5064252 140733575118992 140733575117904 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8294/statm: 2287 269 229 213 0 72 0
[pid=8295] ppid=8294 vsize=118504 CPUtime=1798.5 cores=0,2,4,6
/proc/8295/stat : 8295 (pb_cplex) R 8294 8294 7175 0 -1 4202496 1282639 0 0 0 179606 244 0 0 20 0 1 0 391235564 121348096 23979 33554432000 134512640 146736320 4294253360 4294246988 135992098 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/8295/statm: 29626 23979 860 2985 0 26560 0
Current children cumulated CPU time (s) 1798.5
Current children cumulated vsize (KiB) 127652
[startup+1799 s]
/proc/loadavg: 1.12 3.78 5.00 2/172 8461
/proc/meminfo: memFree=31700396/32873648 swapFree=7376/7376
[pid=8294] ppid=8292 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8294/stat : 8294 (run) S 8292 8294 7175 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391235564 9367552 269 33554432000 4194304 5064252 140733575118992 140733575117904 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8294/statm: 2287 269 229 213 0 72 0
[pid=8295] ppid=8294 vsize=118504 CPUtime=1798.71 cores=0,2,4,6
/proc/8295/stat : 8295 (pb_cplex) R 8294 8294 7175 0 -1 4202496 1282799 0 0 0 179626 245 0 0 20 0 1 0 391235564 121348096 23979 33554432000 134512640 146736320 4294253360 4294247196 136385903 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/8295/statm: 29626 23979 860 2985 0 26560 0
Current children cumulated CPU time (s) 1798.71
Current children cumulated vsize (KiB) 127652
[startup+1799.1 s]
/proc/loadavg: 1.12 3.78 5.00 2/172 8461
/proc/meminfo: memFree=31700396/32873648 swapFree=7376/7376
[pid=8294] ppid=8292 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8294/stat : 8294 (run) S 8292 8294 7175 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391235564 9367552 269 33554432000 4194304 5064252 140733575118992 140733575117904 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8294/statm: 2287 269 229 213 0 72 0
[pid=8295] ppid=8294 vsize=118504 CPUtime=1798.81 cores=0,2,4,6
/proc/8295/stat : 8295 (pb_cplex) R 8294 8294 7175 0 -1 4202496 1282959 0 0 0 179636 245 0 0 20 0 1 0 391235564 121348096 23979 33554432000 134512640 146736320 4294253360 4294246868 135995266 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/8295/statm: 29626 23979 860 2985 0 26560 0
Current children cumulated CPU time (s) 1798.81
Current children cumulated vsize (KiB) 127652
Child status: 0
Real time (s): 1799.14
CPU time (s): 1798.86
CPU user time (s): 1796.4
CPU system time (s): 2.45663
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 130112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.4
system time used= 2.45663
maximum resident set size= 96556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1283503
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= 31
involuntary context switches= 1892
runsolver used 3.23251 second user time and 8.46771 second system time
The end