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-3742263-1339250961/watcher-3742263-1339250961 -o /tmp/evaluation-result-3742263-1339250961/solver-3742263-1339250961 -C 1800 -W 1900 -M 15500 run HOME/instance-3742263-1339250961.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.02 2.84 3/177 4778
/proc/meminfo: memFree=29673032/32873844 swapFree=7632/7632
[pid=4778] ppid=4776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4778/stat : 4778 (run) S 4776 4778 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391220439 9367552 270 33554432000 4194304 5064252 140735364092864 140735364091776 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4778/statm: 2287 270 229 213 0 72 0
[startup+0.0248199 s]
/proc/loadavg: 2.00 2.02 2.84 3/177 4778
/proc/meminfo: memFree=29673032/32873844 swapFree=7632/7632
[pid=4778] ppid=4776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4778/stat : 4778 (run) S 4776 4778 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391220439 9367552 270 33554432000 4194304 5064252 140735364092864 140735364091776 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4778/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100251 s]
/proc/loadavg: 2.00 2.02 2.84 3/177 4778
/proc/meminfo: memFree=29673032/32873844 swapFree=7632/7632
[pid=4778] ppid=4776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4778/stat : 4778 (run) S 4776 4778 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391220439 9367552 270 33554432000 4194304 5064252 140735364092864 140735364091776 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4778/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300223 s]
/proc/loadavg: 2.00 2.02 2.84 3/177 4778
/proc/meminfo: memFree=29673032/32873844 swapFree=7632/7632
[pid=4778] ppid=4776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4778/stat : 4778 (run) S 4776 4778 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391220439 9367552 270 33554432000 4194304 5064252 140735364092864 140735364091776 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4778/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700251 s]
/proc/loadavg: 2.00 2.02 2.84 3/177 4778
/proc/meminfo: memFree=29673032/32873844 swapFree=7632/7632
[pid=4778] ppid=4776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4778/stat : 4778 (run) S 4776 4778 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391220439 9367552 270 33554432000 4194304 5064252 140735364092864 140735364091776 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4778/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 2.00 2.02 2.84 3/179 4780
/proc/meminfo: memFree=29662616/32873844 swapFree=7632/7632
[pid=4778] ppid=4776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4778/stat : 4778 (run) S 4776 4778 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391220439 9367552 270 33554432000 4194304 5064252 140735364092864 140735364091776 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4778/statm: 2287 270 229 213 0 72 0
[pid=4779] ppid=4778 vsize=67920 CPUtime=1.49 cores=1,3,5,7
/proc/4779/stat : 4779 (pb_cplex) R 4778 4778 3419 0 -1 4202496 13756 0 0 0 147 2 0 0 20 0 1 0 391220439 69550080 8991 33554432000 134512640 146736320 4288460928 4288457280 144757825 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4779/statm: 16980 8991 614 2985 0 13914 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 77068
[startup+3.10035 s]
/proc/loadavg: 2.00 2.02 2.84 3/179 4780
/proc/meminfo: memFree=29621096/32873844 swapFree=7632/7632
[pid=4778] ppid=4776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4778/stat : 4778 (run) S 4776 4778 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391220439 9367552 270 33554432000 4194304 5064252 140735364092864 140735364091776 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4778/statm: 2287 270 229 213 0 72 0
[pid=4779] ppid=4778 vsize=92052 CPUtime=3.08 cores=1,3,5,7
/proc/4779/stat : 4779 (pb_cplex) R 4778 4778 3419 0 -1 4202496 25201 0 0 0 304 4 0 0 20 0 1 0 391220439 94261248 13603 33554432000 134512640 146736320 4288460928 4288455560 136472910 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4779/statm: 23013 13603 726 2985 0 19947 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 101200
[startup+6.30036 s]
/proc/loadavg: 2.00 2.02 2.84 3/179 4780
/proc/meminfo: memFree=29619616/32873844 swapFree=7632/7632
[pid=4778] ppid=4776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4778/stat : 4778 (run) S 4776 4778 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391220439 9367552 270 33554432000 4194304 5064252 140735364092864 140735364091776 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4778/statm: 2287 270 229 213 0 72 0
[pid=4779] ppid=4778 vsize=92256 CPUtime=6.29 cores=1,3,5,7
/proc/4779/stat : 4779 (pb_cplex) R 4778 4778 3419 0 -1 4202496 29086 0 0 0 624 5 0 0 20 0 1 0 391220439 94470144 13688 33554432000 134512640 146736320 4288460928 4288456080 136403117 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4779/statm: 23064 13688 726 2985 0 19998 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 101404
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.83 3/179 4780
/proc/meminfo: memFree=29619400/32873844 swapFree=7632/7632
[pid=4778] ppid=4776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4778/stat : 4778 (run) S 4776 4778 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391220439 9367552 270 33554432000 4194304 5064252 140735364092864 140735364091776 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4778/statm: 2287 270 229 213 0 72 0
[pid=4779] ppid=4778 vsize=93016 CPUtime=12.69 cores=1,3,5,7
/proc/4779/stat : 4779 (pb_cplex) R 4778 4778 3419 0 -1 4202496 35717 0 0 0 1263 6 0 0 20 0 1 0 391220439 95248384 13919 33554432000 134512640 146736320 4288460928 4288455544 136475785 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4779/statm: 23254 13919 726 2985 0 20188 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 102164
[startup+25.5004 s]
/proc/loadavg: 2.00 2.02 2.82 3/179 4780
/proc/meminfo: memFree=29619044/32873844 swapFree=7632/7632
[pid=4778] ppid=4776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4778/stat : 4778 (run) S 4776 4778 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391220439 9367552 270 33554432000 4194304 5064252 140735364092864 140735364091776 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4778/statm: 2287 270 229 213 0 72 0
[pid=4779] ppid=4778 vsize=93696 CPUtime=25.48 cores=1,3,5,7
/proc/4779/stat : 4779 (pb_cplex) R 4778 4778 3419 0 -1 4202496 45702 0 0 0 2540 8 0 0 20 0 1 0 391220439 95944704 14104 33554432000 134512640 146736320 4288460928 4288455556 136385179 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4779/statm: 23424 14104 726 2985 0 20358 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 102844
[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 2.80 3/180 4783
/proc/meminfo: memFree=29618904/32873844 swapFree=7632/7632
[pid=4778] ppid=4776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4778/stat : 4778 (run) S 4776 4778 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391220439 9367552 270 33554432000 4194304 5064252 140735364092864 140735364091776 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4778/statm: 2287 270 229 213 0 72 0
[pid=4779] ppid=4778 vsize=93948 CPUtime=51.08 cores=1,3,5,7
/proc/4779/stat : 4779 (pb_cplex) R 4778 4778 3419 0 -1 4202496 61986 0 0 0 5096 12 0 0 20 0 1 0 391220439 96202752 14188 33554432000 134512640 146736320 4288460928 4288455708 136009390 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4779/statm: 23487 14188 726 2985 0 20421 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 103096
[startup+102.307 s]
/proc/loadavg: 2.00 2.02 2.75 3/179 4783
/proc/meminfo: memFree=29612808/32873844 swapFree=7632/7632
[pid=4778] ppid=4776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4778/stat : 4778 (run) S 4776 4778 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391220439 9367552 270 33554432000 4194304 5064252 140735364092864 140735364091776 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4778/statm: 2287 270 229 213 0 72 0
[pid=4779] ppid=4778 vsize=93584 CPUtime=102.28 cores=1,3,5,7
/proc/4779/stat : 4779 (pb_cplex) R 4778 4778 3419 0 -1 4202496 95216 0 0 0 10209 19 0 0 20 0 1 0 391220439 95830016 14206 33554432000 134512640 146736320 4288460928 4288455224 136015544 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4779/statm: 23396 14206 781 2985 0 20330 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 102732
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.70 3/179 4783
/proc/meminfo: memFree=29599768/32873844 swapFree=7632/7632
[pid=4778] ppid=4776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4778/stat : 4778 (run) S 4776 4778 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391220439 9367552 270 33554432000 4194304 5064252 140735364092864 140735364091776 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4778/statm: 2287 270 229 213 0 72 0
[pid=4779] ppid=4778 vsize=93984 CPUtime=162.26 cores=1,3,5,7
/proc/4779/stat : 4779 (pb_cplex) R 4778 4778 3419 0 -1 4202496 129074 0 0 0 16198 28 0 0 20 0 1 0 391220439 96239616 14264 33554432000 134512640 146736320 4288460928 4288454912 136018924 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4779/statm: 23496 14264 781 2985 0 20430 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 103132
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.66 3/179 4783
/proc/meminfo: memFree=29600016/32873844 swapFree=7632/7632
[pid=4778] ppid=4776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4778/stat : 4778 (run) S 4776 4778 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391220439 9367552 270 33554432000 4194304 5064252 140735364092864 140735364091776 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4778/statm: 2287 270 229 213 0 72 0
[pid=4779] ppid=4778 vsize=94032 CPUtime=222.25 cores=1,3,5,7
/proc/4779/stat : 4779 (pb_cplex) R 4778 4778 3419 0 -1 4202496 161486 0 0 0 22190 35 0 0 20 0 1 0 391220439 96288768 14276 33554432000 134512640 146736320 4288460928 4288454980 136385179 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4779/statm: 23508 14276 781 2985 0 20442 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 103180
[startup+282.3 s]
/proc/loadavg: 1.93 1.98 2.61 3/179 4834
/proc/meminfo: memFree=29877248/32873844 swapFree=7632/7632
[pid=4778] ppid=4776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4778/stat : 4778 (run) S 4776 4778 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391220439 9367552 270 33554432000 4194304 5064252 140735364092864 140735364091776 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4778/statm: 2287 270 229 213 0 72 0
[pid=4779] ppid=4778 vsize=94072 CPUtime=282.24 cores=1,3,5,7
/proc/4779/stat : 4779 (pb_cplex) R 4778 4778 3419 0 -1 4202496 193107 0 0 0 28183 41 0 0 20 0 1 0 391220439 96329728 16461 33554432000 134512640 146736320 4288460928 4288455004 135855170 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4779/statm: 23518 16461 781 2985 0 20452 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 103220
[startup+342.3 s]
/proc/loadavg: 1.97 1.98 2.57 3/179 4834
/proc/meminfo: memFree=29866128/32873844 swapFree=7632/7632
[pid=4778] ppid=4776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4778/stat : 4778 (run) S 4776 4778 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391220439 9367552 270 33554432000 4194304 5064252 140735364092864 140735364091776 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4778/statm: 2287 270 229 213 0 72 0
[pid=4779] ppid=4778 vsize=94104 CPUtime=342.23 cores=1,3,5,7
/proc/4779/stat : 4779 (pb_cplex) R 4778 4778 3419 0 -1 4202496 225315 0 0 0 34175 48 0 0 20 0 1 0 391220439 96362496 17589 33554432000 134512640 146736320 4288460928 4288455172 139028298 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4779/statm: 23526 17589 781 2985 0 20460 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 103252
[startup+402.3 s]
/proc/loadavg: 1.99 1.98 2.53 3/179 4834
/proc/meminfo: memFree=29862332/32873844 swapFree=7632/7632
[pid=4778] ppid=4776 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.17 3/179 4843
/proc/meminfo: memFree=29817340/32873844 swapFree=7632/7632
[pid=4778] ppid=4776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4778/stat : 4778 (run) S 4776 4778 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391220439 9367552 270 33554432000 4194304 5064252 140735364092864 140735364091776 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4778/statm: 2287 270 229 213 0 72 0
[pid=4779] ppid=4778 vsize=109556 CPUtime=1362.07 cores=1,3,5,7
/proc/4779/stat : 4779 (pb_cplex) R 4778 4778 3419 0 -1 4202496 873232 0 0 0 136013 194 0 0 20 0 1 0 391220439 112185344 21189 33554432000 134512640 146736320 4288460928 4288455004 135855165 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4779/statm: 27389 21189 846 2985 0 24323 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 118704
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.15 3/179 4843
/proc/meminfo: memFree=29817960/32873844 swapFree=7632/7632
[pid=4778] ppid=4776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4778/stat : 4778 (run) S 4776 4778 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391220439 9367552 270 33554432000 4194304 5064252 140735364092864 140735364091776 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4778/statm: 2287 270 229 213 0 72 0
[pid=4779] ppid=4778 vsize=109556 CPUtime=1422.07 cores=1,3,5,7
/proc/4779/stat : 4779 (pb_cplex) R 4778 4778 3419 0 -1 4202496 904832 0 0 0 142006 201 0 0 20 0 1 0 391220439 112185344 21189 33554432000 134512640 146736320 4288460928 4288454952 139044510 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4779/statm: 27389 21189 846 2985 0 24323 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 118704
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.14 3/179 4843
/proc/meminfo: memFree=29817464/32873844 swapFree=7632/7632
[pid=4778] ppid=4776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4778/stat : 4778 (run) S 4776 4778 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391220439 9367552 270 33554432000 4194304 5064252 140735364092864 140735364091776 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4778/statm: 2287 270 229 213 0 72 0
[pid=4779] ppid=4778 vsize=109568 CPUtime=1482.06 cores=1,3,5,7
/proc/4779/stat : 4779 (pb_cplex) R 4778 4778 3419 0 -1 4202496 937035 0 0 0 147998 208 0 0 20 0 1 0 391220439 112197632 21192 33554432000 134512640 146736320 4288460928 4288455368 136000767 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4779/statm: 27392 21192 846 2985 0 24326 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 118716
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.14 3/179 4844
/proc/meminfo: memFree=29817216/32873844 swapFree=7632/7632
[pid=4778] ppid=4776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4778/stat : 4778 (run) S 4776 4778 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391220439 9367552 270 33554432000 4194304 5064252 140735364092864 140735364091776 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4778/statm: 2287 270 229 213 0 72 0
[pid=4779] ppid=4778 vsize=109792 CPUtime=1542.05 cores=1,3,5,7
/proc/4779/stat : 4779 (pb_cplex) R 4778 4778 3419 0 -1 4202496 969654 0 0 0 153990 215 0 0 20 0 1 0 391220439 112427008 21211 33554432000 134512640 146736320 4288460928 4288454980 136385184 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4779/statm: 27448 21211 846 2985 0 24382 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 118940
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.12 3/179 4844
/proc/meminfo: memFree=29817400/32873844 swapFree=7632/7632
[pid=4778] ppid=4776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4778/stat : 4778 (run) S 4776 4778 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391220439 9367552 270 33554432000 4194304 5064252 140735364092864 140735364091776 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4778/statm: 2287 270 229 213 0 72 0
[pid=4779] ppid=4778 vsize=109792 CPUtime=1602.03 cores=1,3,5,7
/proc/4779/stat : 4779 (pb_cplex) R 4778 4778 3419 0 -1 4202496 1012054 0 0 0 159978 225 0 0 20 0 1 0 391220439 112427008 21211 33554432000 134512640 146736320 4288460928 4288454912 136413878 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4779/statm: 27448 21211 846 2985 0 24382 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 118940
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.11 3/179 4844
/proc/meminfo: memFree=29817772/32873844 swapFree=7632/7632
[pid=4778] ppid=4776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4778/stat : 4778 (run) S 4776 4778 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391220439 9367552 270 33554432000 4194304 5064252 140735364092864 140735364091776 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4778/statm: 2287 270 229 213 0 72 0
[pid=4779] ppid=4778 vsize=109792 CPUtime=1662.02 cores=1,3,5,7
/proc/4779/stat : 4779 (pb_cplex) R 4778 4778 3419 0 -1 4202496 1054054 0 0 0 165967 235 0 0 20 0 1 0 391220439 112427008 21211 33554432000 134512640 146736320 4288460928 4288455504 136403117 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4779/statm: 27448 21211 846 2985 0 24382 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 118940
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.10 3/179 4844
/proc/meminfo: memFree=29818144/32873844 swapFree=7632/7632
[pid=4778] ppid=4776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4778/stat : 4778 (run) S 4776 4778 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391220439 9367552 270 33554432000 4194304 5064252 140735364092864 140735364091776 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4778/statm: 2287 270 229 213 0 72 0
[pid=4779] ppid=4778 vsize=109792 CPUtime=1722.02 cores=1,3,5,7
/proc/4779/stat : 4779 (pb_cplex) R 4778 4778 3419 0 -1 4202496 1094654 0 0 0 171958 244 0 0 20 0 1 0 391220439 112427008 21211 33554432000 134512640 146736320 4288460928 4288455004 135855174 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4779/statm: 27448 21211 846 2985 0 24382 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 118940
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 4844
/proc/meminfo: memFree=29788556/32873844 swapFree=7632/7632
[pid=4778] ppid=4776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4778/stat : 4778 (run) S 4776 4778 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391220439 9367552 270 33554432000 4194304 5064252 140735364092864 140735364091776 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4778/statm: 2287 270 229 213 0 72 0
[pid=4779] ppid=4778 vsize=145184 CPUtime=1782 cores=1,3,5,7
/proc/4779/stat : 4779 (pb_cplex) R 4778 4778 3419 0 -1 4202496 1162826 0 0 0 177941 259 0 0 20 0 1 0 391220439 148668416 28339 33554432000 134512640 146736320 4288460928 4288455376 136403109 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4779/statm: 36296 28339 846 2985 0 33230 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 154332
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 4844
/proc/meminfo: memFree=29789052/32873844 swapFree=7632/7632
[pid=4778] ppid=4776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4778/stat : 4778 (run) S 4776 4778 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391220439 9367552 270 33554432000 4194304 5064252 140735364092864 140735364091776 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4778/statm: 2287 270 229 213 0 72 0
[pid=4779] ppid=4778 vsize=145196 CPUtime=1791.61 cores=1,3,5,7
/proc/4779/stat : 4779 (pb_cplex) R 4778 4778 3419 0 -1 4202496 1171834 0 0 0 178900 261 0 0 20 0 1 0 391220439 148680704 28347 33554432000 134512640 146736320 4288460928 4288454676 136017676 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4779/statm: 36299 28347 846 2985 0 33233 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 154344
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.09 3/178 4844
/proc/meminfo: memFree=29789060/32873844 swapFree=7632/7632
[pid=4778] ppid=4776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4778/stat : 4778 (run) S 4776 4778 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391220439 9367552 270 33554432000 4194304 5064252 140735364092864 140735364091776 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4778/statm: 2287 270 229 213 0 72 0
[pid=4779] ppid=4778 vsize=145216 CPUtime=1794.81 cores=1,3,5,7
/proc/4779/stat : 4779 (pb_cplex) R 4778 4778 3419 0 -1 4202496 1174839 0 0 0 179219 262 0 0 20 0 1 0 391220439 148701184 28352 33554432000 134512640 146736320 4288460928 4288454852 136385174 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4779/statm: 36304 28352 846 2985 0 33238 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 154364
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.09 3/178 4844
/proc/meminfo: memFree=29786632/32873844 swapFree=7632/7632
[pid=4778] ppid=4776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4778/stat : 4778 (run) S 4776 4778 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391220439 9367552 270 33554432000 4194304 5064252 140735364092864 140735364091776 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4778/statm: 2287 270 229 213 0 72 0
[pid=4779] ppid=4778 vsize=145220 CPUtime=1796.4 cores=1,3,5,7
/proc/4779/stat : 4779 (pb_cplex) R 4778 4778 3419 0 -1 4202496 1176445 0 0 0 179378 262 0 0 20 0 1 0 391220439 148705280 28925 33554432000 134512640 146736320 4288460928 4288454840 136475763 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4779/statm: 36305 28925 846 2985 0 33239 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 154368
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/178 4844
/proc/meminfo: memFree=29786756/32873844 swapFree=7632/7632
[pid=4778] ppid=4776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4778/stat : 4778 (run) S 4776 4778 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391220439 9367552 270 33554432000 4194304 5064252 140735364092864 140735364091776 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4778/statm: 2287 270 229 213 0 72 0
[pid=4779] ppid=4778 vsize=145240 CPUtime=1797.99 cores=1,3,5,7
/proc/4779/stat : 4779 (pb_cplex) R 4778 4778 3419 0 -1 4202496 1177851 0 0 0 179537 262 0 0 20 0 1 0 391220439 148725760 28931 33554432000 134512640 146736320 4288460928 4288455096 136015570 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4779/statm: 36310 28931 846 2985 0 33244 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 154388
[startup+1798.7 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 4845
/proc/meminfo: memFree=29786624/32873844 swapFree=7632/7632
[pid=4778] ppid=4776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4778/stat : 4778 (run) S 4776 4778 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391220439 9367552 270 33554432000 4194304 5064252 140735364092864 140735364091776 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4778/statm: 2287 270 229 213 0 72 0
[pid=4779] ppid=4778 vsize=144516 CPUtime=1798.4 cores=1,3,5,7
/proc/4779/stat : 4779 (pb_cplex) R 4778 4778 3419 0 -1 4202496 1179423 0 0 0 179577 263 0 0 20 0 1 0 391220439 147984384 29125 33554432000 134512640 146736320 4288460928 4288454400 136402698 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4779/statm: 36129 29125 846 2985 0 33063 0
Current children cumulated CPU time (s) 1798.4
Current children cumulated vsize (KiB) 153664
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 4845
/proc/meminfo: memFree=29786624/32873844 swapFree=7632/7632
[pid=4778] ppid=4776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4778/stat : 4778 (run) S 4776 4778 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391220439 9367552 270 33554432000 4194304 5064252 140735364092864 140735364091776 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4778/statm: 2287 270 229 213 0 72 0
[pid=4779] ppid=4778 vsize=142208 CPUtime=1798.8 cores=1,3,5,7
/proc/4779/stat : 4779 (pb_cplex) R 4778 4778 3419 0 -1 4202496 1179423 0 0 0 179617 263 0 0 20 0 1 0 391220439 145620992 28875 33554432000 134512640 146736320 4288460928 4288455716 144797937 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4779/statm: 35552 28875 846 2985 0 32486 0
Current children cumulated CPU time (s) 1798.8
Current children cumulated vsize (KiB) 151356
Child status: 0
Real time (s): 1799.13
CPU time (s): 1798.84
CPU user time (s): 1796.2
CPU system time (s): 2.6446
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 156012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.2
system time used= 2.6446
maximum resident set size= 119020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1180733
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= 1854
runsolver used 3.45347 second user time and 8.5317 second system time
The end