0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3453544-1307121385.opb>
1.19/1.27 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 192642 constraints
1.19/1.27 c problem read
1.19/1.27 c presolving settings loaded
1.89/1.93 c presolving:
6.79/6.86 c (round 1) 5258 del vars, 15137 del conss, 0 add conss, 4119 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13045962 impls, 0 clqs
8.29/8.38 c (round 2) 9801 del vars, 35276 del conss, 0 add conss, 8230 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13073990 impls, 0 clqs
8.81/8.82 c (round 3) 11395 del vars, 42773 del conss, 0 add conss, 9216 chg bounds, 11 chg sides, 17 chg coeffs, 0 upgd conss, 13087247 impls, 0 clqs
8.99/9.09 c (round 4) 12289 del vars, 46525 del conss, 0 add conss, 9794 chg bounds, 26 chg sides, 48 chg coeffs, 0 upgd conss, 13094118 impls, 0 clqs
9.19/9.26 c (round 5) 12958 del vars, 49215 del conss, 0 add conss, 10179 chg bounds, 31 chg sides, 58 chg coeffs, 0 upgd conss, 13102649 impls, 0 clqs
9.39/9.41 c (round 6) 13448 del vars, 51073 del conss, 0 add conss, 10455 chg bounds, 31 chg sides, 58 chg coeffs, 0 upgd conss, 13108298 impls, 0 clqs
9.49/9.52 c (round 7) 13743 del vars, 52389 del conss, 0 add conss, 10635 chg bounds, 31 chg sides, 58 chg coeffs, 0 upgd conss, 13111388 impls, 0 clqs
9.59/9.60 c (round 8) 13932 del vars, 53170 del conss, 0 add conss, 10739 chg bounds, 31 chg sides, 58 chg coeffs, 0 upgd conss, 13113811 impls, 0 clqs
9.59/9.67 c (round 9) 14020 del vars, 53654 del conss, 0 add conss, 10786 chg bounds, 31 chg sides, 58 chg coeffs, 0 upgd conss, 13114888 impls, 0 clqs
9.69/9.72 c (round 10) 14080 del vars, 53904 del conss, 0 add conss, 10825 chg bounds, 31 chg sides, 58 chg coeffs, 0 upgd conss, 13115280 impls, 0 clqs
9.69/9.77 c (round 11) 14104 del vars, 54040 del conss, 0 add conss, 10840 chg bounds, 31 chg sides, 58 chg coeffs, 0 upgd conss, 13115361 impls, 0 clqs
9.69/9.82 c (round 12) 14106 del vars, 54081 del conss, 0 add conss, 10841 chg bounds, 31 chg sides, 58 chg coeffs, 0 upgd conss, 13115365 impls, 0 clqs
10.30/10.38 c (round 13) 14106 del vars, 54085 del conss, 0 add conss, 10841 chg bounds, 31 chg sides, 58 chg coeffs, 138557 upgd conss, 13115365 impls, 0 clqs
11.01/11.08 c (round 14) 14106 del vars, 54089 del conss, 10 add conss, 10841 chg bounds, 45 chg sides, 198 chg coeffs, 138557 upgd conss, 13115365 impls, 0 clqs
479.42/479.43 c (479.4s) probing: 1000/40676 (2.5%) - 5 fixings, 1 aggregations, 11304006 implications, 0 bound changes
883.44/883.49 c (883.5s) probing: 2000/40676 (4.9%) - 5 fixings, 1 aggregations, 18408278 implications, 0 bound changes
958.73/958.77 c (958.8s) probing: 2185/40676 (5.4%) - 5 fixings, 1 aggregations, 19715817 implications, 0 bound changes
958.73/958.77 c (958.8s) probing aborted: 2000/2000 successive useless probings
958.73/958.77 c (round 15) 14112 del vars, 54090 del conss, 11 add conss, 10841 chg bounds, 47 chg sides, 217 chg coeffs, 138557 upgd conss, 79708249 impls, 0 clqs
959.25/959.28 c (round 16) 14112 del vars, 54371 del conss, 11 add conss, 10841 chg bounds, 47 chg sides, 326 chg coeffs, 138557 upgd conss, 79708249 impls, 0 clqs
1106.55/1106.60 c (round 17) 14162 del vars, 54371 del conss, 11 add conss, 10841 chg bounds, 47 chg sides, 326 chg coeffs, 138557 upgd conss, 84382167 impls, 0 clqs
1110.44/1110.46 c (round 18) 14172 del vars, 54570 del conss, 11 add conss, 10841 chg bounds, 47 chg sides, 326 chg coeffs, 138557 upgd conss, 84580861 impls, 0 clqs
1271.15/1271.16 c (1271.2s) probing: 3000/40676 (7.4%) - 52 fixings, 20 aggregations, 24937648 implications, 0 bound changes
1713.67/1713.66 c (1713.7s) probing: 4000/40676 (9.8%) - 56 fixings, 24 aggregations, 35902495 implications, 0 bound changes
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3453544-1307121385/watcher-3453544-1307121385 -o /tmp/evaluation-result-3453544-1307121385/solver-3453544-1307121385 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453544-1307121385.opb -t 1800 -m 15500
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: 1.00 1.04 1.34 4/516 6850
/proc/meminfo: memFree=21312724/32950928 swapFree=34259960/67111528
[pid=6850] ppid=6846 vsize=11180 CPUtime=0 cores=1,3,5,7
/proc/6850/stat : 6850 (scip-2.0.1.4.li) R 6846 6850 4893 0 -1 4202496 1781 0 0 0 0 0 0 0 20 0 1 0 823735206 11448320 1735 33554432000 4194304 9128323 140733439332528 18446744073709551615 8012251 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6850/statm: 2795 1735 400 1205 0 1586 0
[startup+0.047005 s]
/proc/loadavg: 1.00 1.04 1.34 4/516 6850
/proc/meminfo: memFree=21312724/32950928 swapFree=34259960/67111528
[pid=6850] ppid=6846 vsize=18472 CPUtime=0.04 cores=1,3,5,7
/proc/6850/stat : 6850 (scip-2.0.1.4.li) R 6846 6850 4893 0 -1 4202496 3602 0 0 0 4 0 0 0 20 0 1 0 823735206 18915328 3556 33554432000 4194304 9128323 140733439332528 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6850/statm: 4618 3583 400 1205 0 3409 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 18472
[startup+0.100985 s]
/proc/loadavg: 1.00 1.04 1.34 4/516 6850
/proc/meminfo: memFree=21312724/32950928 swapFree=34259960/67111528
[pid=6850] ppid=6846 vsize=27508 CPUtime=0.09 cores=1,3,5,7
/proc/6850/stat : 6850 (scip-2.0.1.4.li) R 6846 6850 4893 0 -1 4202496 5887 0 0 0 9 0 0 0 20 0 1 0 823735206 28168192 5839 33554432000 4194304 9128323 140733439332528 18446744073709551615 8008905 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6850/statm: 6877 5839 400 1205 0 5668 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27508
[startup+0.300953 s]
/proc/loadavg: 1.00 1.04 1.34 4/516 6850
/proc/meminfo: memFree=21312724/32950928 swapFree=34259960/67111528
[pid=6850] ppid=6846 vsize=43888 CPUtime=0.29 cores=1,3,5,7
/proc/6850/stat : 6850 (scip-2.0.1.4.li) R 6846 6850 4893 0 -1 4202496 10003 0 0 0 28 1 0 0 21 0 1 0 823735206 44941312 9923 33554432000 4194304 9128323 140733439332528 18446744073709551615 4443126 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6850/statm: 10972 9923 400 1205 0 9763 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43888
[startup+0.700867 s]
/proc/loadavg: 1.00 1.04 1.34 4/516 6850
/proc/meminfo: memFree=21312724/32950928 swapFree=34259960/67111528
[pid=6850] ppid=6846 vsize=65328 CPUtime=0.69 cores=1,3,5,7
/proc/6850/stat : 6850 (scip-2.0.1.4.li) R 6846 6850 4893 0 -1 4202496 15351 0 0 0 68 1 0 0 22 0 1 0 823735206 66895872 15263 33554432000 4194304 9128323 140733439332528 18446744073709551615 8008895 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6850/statm: 16332 15263 400 1205 0 15123 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 65328
[startup+1.50072 s]
/proc/loadavg: 1.00 1.04 1.34 4/518 6852
/proc/meminfo: memFree=21142456/32950928 swapFree=34259960/67111528
[pid=6850] ppid=6846 vsize=218176 CPUtime=1.49 cores=1,3,5,7
/proc/6850/stat : 6850 (scip-2.0.1.4.li) R 6846 6850 4893 0 -1 4202496 53595 0 0 0 144 5 0 0 25 0 1 0 823735206 223412224 53388 33554432000 4194304 9128323 140733439332528 18446744073709551615 4692805 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6850/statm: 54544 53388 458 1205 0 53335 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 218176
[startup+3.10039 s]
/proc/loadavg: 1.00 1.04 1.34 4/518 6852
/proc/meminfo: memFree=20664108/32950928 swapFree=34259960/67111528
[pid=6850] ppid=6846 vsize=448048 CPUtime=3.09 cores=1,3,5,7
/proc/6850/stat : 6850 (scip-2.0.1.4.li) R 6846 6850 4893 0 -1 4202496 118448 0 0 0 295 14 0 0 25 0 1 0 823735206 458801152 109910 33554432000 4194304 9128323 140733439332528 18446744073709551615 6886064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6850/statm: 112012 109941 510 1205 0 110803 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 448048
[startup+6.30075 s]
/proc/loadavg: 1.08 1.06 1.34 4/518 6852
/proc/meminfo: memFree=20069720/32950928 swapFree=34259960/67111528
[pid=6850] ppid=6846 vsize=689776 CPUtime=6.29 cores=1,3,5,7
/proc/6850/stat : 6850 (scip-2.0.1.4.li) R 6846 6850 4893 0 -1 4202496 176848 0 0 0 609 20 0 0 25 0 1 0 823735206 706330624 168309 33554432000 4194304 9128323 140733439332528 18446744073709551615 8012251 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6850/statm: 172444 168309 519 1205 0 171235 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 689776
[startup+12.7005 s]
/proc/loadavg: 1.23 1.09 1.35 4/518 6852
/proc/meminfo: memFree=19836188/32950928 swapFree=34259960/67111528
[pid=6850] ppid=6846 vsize=774296 CPUtime=12.69 cores=1,3,5,7
/proc/6850/stat : 6850 (scip-2.0.1.4.li) R 6846 6850 4893 0 -1 4202496 210451 0 0 0 1245 24 0 0 25 0 1 0 823735206 792879104 188223 33554432000 4194304 9128323 140733439332528 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6850/statm: 193574 188223 580 1205 0 192365 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 774296
[startup+25.5009 s]
/proc/loadavg: 1.40 1.13 1.36 4/518 6853
/proc/meminfo: memFree=19746608/32950928 swapFree=34259960/67111528
[pid=6850] ppid=6846 vsize=823236 CPUtime=25.49 cores=1,3,5,7
/proc/6850/stat : 6850 (scip-2.0.1.4.li) R 6846 6850 4893 0 -1 4202496 222431 0 0 0 2524 25 0 0 25 0 1 0 823735206 842993664 199972 33554432000 4194304 9128323 140733439332528 18446744073709551615 6593127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6850/statm: 205809 199972 580 1205 0 204600 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 823236
[startup+51.1008 s]
/proc/loadavg: 1.61 1.20 1.38 4/518 6853
/proc/meminfo: memFree=19581976/32950928 swapFree=34259960/67111528
[pid=6850] ppid=6846 vsize=902380 CPUtime=51.09 cores=1,3,5,7
/proc/6850/stat : 6850 (scip-2.0.1.4.li) R 6846 6850 4893 0 -1 4202496 241652 0 0 0 5082 27 0 0 25 0 1 0 823735206 924037120 219193 33554432000 4194304 9128323 140733439332528 18446744073709551615 6584140 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6850/statm: 225595 219193 580 1205 0 224386 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 902380
[startup+102.321 s]
/proc/loadavg: 1.83 1.32 1.40 4/518 6855
/proc/meminfo: memFree=19166452/32950928 swapFree=34259960/67111528
[pid=6850] ppid=6846 vsize=1104556 CPUtime=102.31 cores=1,3,5,7
/proc/6850/stat : 6850 (scip-2.0.1.4.li) R 6846 6850 4893 0 -1 4202496 291759 0 0 0 10198 33 0 0 25 0 1 0 823735206 1131065344 269102 33554432000 4194304 9128323 140733439332528 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6850/statm: 276139 269102 580 1205 0 274930 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1104556
[startup+162.301 s]
/proc/loadavg: 1.93 1.44 1.44 4/518 6856
/proc/meminfo: memFree=18777688/32950928 swapFree=34259960/67111528
[pid=6850] ppid=6846 vsize=1295676 CPUtime=162.3 cores=1,3,5,7
/proc/6850/stat : 6850 (scip-2.0.1.4.li) R 6846 6850 4893 0 -1 4202496 339655 0 0 0 16190 40 0 0 25 0 1 0 823735206 1326772224 316833 33554432000 4194304 9128323 140733439332528 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6850/statm: 323919 316833 580 1205 0 322710 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1295676
[startup+222.301 s]
/proc/loadavg: 1.97 1.54 1.47 4/518 6858
/proc/meminfo: memFree=18330896/32950928 swapFree=34259960/67111528
[pid=6850] ppid=6846 vsize=1564684 CPUtime=222.3 cores=1,3,5,7
/proc/6850/stat : 6850 (scip-2.0.1.4.li) R 6846 6850 4893 0 -1 4202496 407192 0 0 0 22182 48 0 0 25 0 1 0 823735206 1602236416 384304 33554432000 4194304 9128323 140733439332528 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6850/statm: 391171 384304 580 1205 0 389962 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1564684
[startup+282.301 s]
/proc/loadavg: 1.99 1.62 1.50 4/518 6859
/proc/meminfo: memFree=17890048/32950928 swapFree=34259960/67111528
[pid=6850] ppid=6846 vsize=1824848 CPUtime=282.31 cores=1,3,5,7
/proc/6850/stat : 6850 (scip-2.0.1.4.li) R 6846 6850 4893 0 -1 4202496 471412 0 0 0 28173 58 0 0 25 0 1 0 823735206 1868644352 448524 33554432000 4194304 9128323 140733439332528 18446744073709551615 6710427 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6850/statm: 456212 448524 580 1205 0 455003 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 1824848
[startup+342.301 s]
/proc/loadavg: 1.99 1.69 1.53 4/518 6861
/proc/meminfo: memFree=17538240/32950928 swapFree=34259960/67111528
[pid=6850] ppid=6846 vsize=2000228 CPUtime=342.31 cores=1,3,5,7
/proc/6850/stat : 6850 (scip-2.0.1.4.li) R 6846 6850 4893 0 -1 4202496 514462 0 0 0 34166 65 0 0 25 0 1 0 823735206 2048233472 491574 33554432000 4194304 9128323 140733439332528 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6850/statm: 500057 491574 580 1205 0 498848 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 2000228
[startup+402.301 s]
/proc/loadavg: 1.99 1.74 1.56 4/518 6863
/proc/meminfo: memFree=17231692/32950928 swapFree=34259960/67111528
[pid=6850] ppid=6846 vsize=2181208 CPUtime=402.31 cores=1,3,5,7
/proc/6850/stat : 6850 (scip-2.0.1.4.li) R 6846 6850 4893 0 -1 4202496 559853 0 0 0 40160 71 0 0 25 0 1 0 823735206 2233556992 536965 33554432000 4194304 9128323 140733439332528 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6850/statm: 545302 536965 580 1205 0 544093 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 2181208
[startup+462.301 s]
/proc/loadavg: 2.03 1.80 1.59 4/518 6864
/proc/meminfo: memFree=16902836/32950928 swapFree=34259960/67111528
[pid=6850] ppid=6846 vsize=2372452 CPUtime=462.31 cores=1,3,5,7
/proc/6850/stat : 6850 (scip-2.0.1.4.li) R 6846 6850 4893 0 -1 4202496 606745 0 0 0 46154 77 0 0 25 0 1 0 823735206 2429390848 583857 33554432000 4194304 9128323 140733439332528 18446744073709551615 4793064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6850/statm: 593113 583857 580 1205 0 591904 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 2372452
[startup+522.301 s]
/proc/loadavg: 2.07 1.86 1.62 4/518 6866
/proc/meminfo: memFree=16756976/32950928 swapFree=34259960/67111528
[pid=6850] ppid=6846 vsize=2459676 CPUtime=522.31 cores=1,3,5,7
/proc/6850/stat : 6850 (scip-2.0.1.4.li) R 6846 6850 4893 0 -1 4202496 628682 0 0 0 52151 80 0 0 25 0 1 0 823735206 2518708224 605794 33554432000 4194304 9128323 140733439332528 18446744073709551615 6593413 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6850/statm: 614919 605794 584 1205 0 613710 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2459676
[startup+582.301 s]
/proc/loadavg: 2.02 1.88 1.64 4/518 6867
/proc/meminfo: memFree=16638032/32950928 swapFree=34259960/67111528
[pid=6850] ppid=6846 vsize=2514380 CPUtime=582.31 cores=1,3,5,7
/proc/6850/stat : 6850 (scip-2.0.1.4.li) R 6846 6850 4893 0 -1 4202496 642557 0 0 0 58149 82 0 0 25 0 1 0 823735206 2574725120 619669 33554432000 4194304 9128323 140733439332528 18446744073709551615 4793931 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6850/statm: 628595 619669 584 1205 0 627386 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2514380
[startup+642.301 s]
################
# More data... #
################
/proc/6850/stat : 6850 (scip-2.0.1.4.li) R 6846 6850 4893 0 -1 4202496 776562 0 0 0 100133 100 0 0 25 0 1 0 823735206 3119702016 753674 33554432000 4194304 9128323 140733439332528 18446744073709551615 6593430 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6850/statm: 761646 753674 584 1205 0 760437 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 3046584
[startup+1062.3 s]
/proc/loadavg: 2.05 2.01 1.79 4/518 6880
/proc/meminfo: memFree=15551860/32950928 swapFree=34259960/67111528
[pid=6850] ppid=6846 vsize=3095376 CPUtime=1062.34 cores=1,3,5,7
/proc/6850/stat : 6850 (scip-2.0.1.4.li) R 6846 6850 4893 0 -1 4202496 788246 0 0 0 106131 103 0 0 25 0 1 0 823735206 3169665024 765358 33554432000 4194304 9128323 140733439332528 18446744073709551615 6593438 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6850/statm: 773844 765358 584 1205 0 772635 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 3095376
[startup+1122.3 s]
/proc/loadavg: 2.02 2.00 1.80 4/518 6882
/proc/meminfo: memFree=15434780/32950928 swapFree=34259960/67111528
[pid=6850] ppid=6846 vsize=3132420 CPUtime=1122.34 cores=1,3,5,7
/proc/6850/stat : 6850 (scip-2.0.1.4.li) R 6846 6850 4893 0 -1 4202496 797749 0 0 0 112131 103 0 0 25 0 1 0 823735206 3207598080 774861 33554432000 4194304 9128323 140733439332528 18446744073709551615 6593107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6850/statm: 783105 774861 584 1205 0 781896 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 3132420
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.81 4/518 6883
/proc/meminfo: memFree=15275060/32950928 swapFree=34259960/67111528
[pid=6850] ppid=6846 vsize=3205456 CPUtime=1182.35 cores=1,3,5,7
/proc/6850/stat : 6850 (scip-2.0.1.4.li) R 6846 6850 4893 0 -1 4202496 815492 0 0 0 118129 106 0 0 25 0 1 0 823735206 3282386944 792604 33554432000 4194304 9128323 140733439332528 18446744073709551615 4792770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6850/statm: 801364 792604 584 1205 0 800155 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 3205456
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.82 4/518 6885
/proc/meminfo: memFree=15092876/32950928 swapFree=34259960/67111528
[pid=6850] ppid=6846 vsize=3314820 CPUtime=1242.35 cores=1,3,5,7
/proc/6850/stat : 6850 (scip-2.0.1.4.li) R 6846 6850 4893 0 -1 4202496 842160 0 0 0 124124 111 0 0 25 0 1 0 823735206 3394375680 819272 33554432000 4194304 9128323 140733439332528 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6850/statm: 828705 819272 584 1205 0 827496 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 3314820
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.83 4/518 6887
/proc/meminfo: memFree=14822028/32950928 swapFree=34259960/67111528
[pid=6850] ppid=6846 vsize=3470308 CPUtime=1302.36 cores=1,3,5,7
/proc/6850/stat : 6850 (scip-2.0.1.4.li) R 6846 6850 4893 0 -1 4202496 880027 0 0 0 130119 117 0 0 25 0 1 0 823735206 3553595392 857139 33554432000 4194304 9128323 140733439332528 18446744073709551615 6593395 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6850/statm: 867577 857139 584 1205 0 866368 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 3470308
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.83 4/518 6888
/proc/meminfo: memFree=14625724/32950928 swapFree=34259960/67111528
[pid=6850] ppid=6846 vsize=3561872 CPUtime=1362.35 cores=1,3,5,7
/proc/6850/stat : 6850 (scip-2.0.1.4.li) R 6846 6850 4893 0 -1 4202496 903243 0 0 0 136115 120 0 0 25 0 1 0 823735206 3647356928 880355 33554432000 4194304 9128323 140733439332528 18446744073709551615 6592144 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6850/statm: 890468 880355 584 1205 0 889259 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 3561872
[startup+1422.32 s]
/proc/loadavg: 2.24 2.05 1.85 4/518 6890
/proc/meminfo: memFree=14374708/32950928 swapFree=34259960/67111528
[pid=6850] ppid=6846 vsize=3724928 CPUtime=1422.37 cores=1,3,5,7
/proc/6850/stat : 6850 (scip-2.0.1.4.li) R 6846 6850 4893 0 -1 4202496 943187 0 0 0 142111 126 0 0 25 0 1 0 823735206 3814326272 920299 33554432000 4194304 9128323 140733439332528 18446744073709551615 5489966 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6850/statm: 931232 920299 584 1205 0 930023 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 3724928
[startup+1482.3 s]
/proc/loadavg: 2.23 2.07 1.87 4/518 6891
/proc/meminfo: memFree=14129292/32950928 swapFree=34259960/67111528
[pid=6850] ppid=6846 vsize=3872156 CPUtime=1482.36 cores=1,3,5,7
/proc/6850/stat : 6850 (scip-2.0.1.4.li) R 6846 6850 4893 0 -1 4202496 979612 0 0 0 148104 132 0 0 25 0 1 0 823735206 3965087744 956724 33554432000 4194304 9128323 140733439332528 18446744073709551615 6593124 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6850/statm: 968039 956724 584 1205 0 966830 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 3872156
[startup+1542.3 s]
/proc/loadavg: 2.08 2.05 1.88 4/518 6893
/proc/meminfo: memFree=13817028/32950928 swapFree=34259960/67111528
[pid=6850] ppid=6846 vsize=4059664 CPUtime=1542.36 cores=1,3,5,7
/proc/6850/stat : 6850 (scip-2.0.1.4.li) R 6846 6850 4893 0 -1 4202496 1025564 0 0 0 154096 140 0 0 25 0 1 0 823735206 4157095936 1002676 33554432000 4194304 9128323 140733439332528 18446744073709551615 6593138 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6850/statm: 1014916 1002676 584 1205 0 1013707 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 4059664
[startup+1602.3 s]
/proc/loadavg: 2.03 2.04 1.88 4/518 6895
/proc/meminfo: memFree=13557224/32950928 swapFree=34259960/67111528
[pid=6850] ppid=6846 vsize=4190532 CPUtime=1602.36 cores=1,3,5,7
/proc/6850/stat : 6850 (scip-2.0.1.4.li) R 6846 6850 4893 0 -1 4202496 1058407 0 0 0 160092 144 0 0 25 0 1 0 823735206 4291104768 1035519 33554432000 4194304 9128323 140733439332528 18446744073709551615 6593430 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6850/statm: 1047633 1035519 584 1205 0 1046424 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 4190532
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 1.89 4/518 6896
/proc/meminfo: memFree=13298904/32950928 swapFree=34259960/67111528
[pid=6850] ppid=6846 vsize=4318992 CPUtime=1662.37 cores=1,3,5,7
/proc/6850/stat : 6850 (scip-2.0.1.4.li) R 6846 6850 4893 0 -1 4202496 1090387 0 0 0 166088 149 0 0 25 0 1 0 823735206 4422647808 1067499 33554432000 4194304 9128323 140733439332528 18446744073709551615 5488469 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6850/statm: 1079748 1067499 584 1205 0 1078539 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 4318992
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.89 4/518 6898
/proc/meminfo: memFree=13028668/32950928 swapFree=34259960/67111528
[pid=6850] ppid=6846 vsize=4484580 CPUtime=1722.38 cores=1,3,5,7
/proc/6850/stat : 6850 (scip-2.0.1.4.li) R 6846 6850 4893 0 -1 4202496 1130860 0 0 0 172083 155 0 0 25 0 1 0 823735206 4592209920 1107972 33554432000 4194304 9128323 140733439332528 18446744073709551615 6593131 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6850/statm: 1121145 1107972 584 1205 0 1119936 0
Current children cumulated CPU time (s) 1722.38
Current children cumulated vsize (KiB) 4484580
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.90 4/518 6899
/proc/meminfo: memFree=12800220/32950928 swapFree=34259960/67111528
[pid=6850] ppid=6846 vsize=4601640 CPUtime=1782.38 cores=1,3,5,7
/proc/6850/stat : 6850 (scip-2.0.1.4.li) R 6846 6850 4893 0 -1 4202496 1159828 0 0 0 178079 159 0 0 25 0 1 0 823735206 4712079360 1136940 33554432000 4194304 9128323 140733439332528 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6850/statm: 1150410 1136940 584 1205 0 1149201 0
Current children cumulated CPU time (s) 1782.38
Current children cumulated vsize (KiB) 4601640
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 1.90 4/518 6900
/proc/meminfo: memFree=12740452/32950928 swapFree=34259960/67111528
[pid=6850] ppid=6846 vsize=4631616 CPUtime=1800.09 cores=1,3,5,7
/proc/6850/stat : 6850 (scip-2.0.1.4.li) R 6846 6850 4893 0 -1 4202496 1167357 0 0 0 179849 160 0 0 25 0 1 0 823735206 4742774784 1144469 33554432000 4194304 9128323 140733439332528 18446744073709551615 6582610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6850/statm: 1157904 1144469 584 1205 0 1156695 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 4631616
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -6850
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.02 1.90 3/518 6902
/proc/meminfo: memFree=16717256/32950928 swapFree=34259960/67111528
[pid=6850] ppid=6846 vsize=4638684 CPUtime=1801.48 cores=1,3,5,7
/proc/6850/stat : 6850 (scip-2.0.1.4.li) R 6846 6850 4893 0 -1 4202496 1169154 0 0 0 179988 160 0 0 25 0 1 0 823735206 4750012416 1146266 33554432000 4194304 9128323 140733439332528 18446744073709551615 6593116 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6850/statm: 1159671 1146266 584 1205 0 1158462 0
Current children cumulated CPU time (s) 1801.48
Current children cumulated vsize (KiB) 4638684
[startup+1801.82 s]
/proc/loadavg: 2.00 2.02 1.90 2/517 6902
/proc/meminfo: memFree=16713544/32950928 swapFree=34259960/67111528
[pid=6850] ppid=6846 vsize=4641712 CPUtime=1801.89 cores=1,3,5,7
/proc/6850/stat : 6850 (scip-2.0.1.4.li) R 6846 6850 4893 0 -1 4202496 1169746 0 0 0 180029 160 0 0 25 0 1 0 823735206 4753113088 1146858 33554432000 4194304 9128323 140733439332528 18446744073709551615 4352160 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6850/statm: 1160428 1146858 584 1205 0 1159219 0
Current children cumulated CPU time (s) 1801.89
Current children cumulated vsize (KiB) 4641712
[startup+1802.2 s]
/proc/loadavg: 2.00 2.02 1.90 2/517 6902
/proc/meminfo: memFree=16713544/32950928 swapFree=34259960/67111528
[pid=6850] ppid=6846 vsize=0 CPUtime=1802.27 cores=1,3,5,7
/proc/6850/stat : 6850 (scip-2.0.1.4.li) Z 6846 6850 4893 0 -1 4203548 1170163 0 0 0 180049 178 0 0 25 0 1 0 823735206 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/6850/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.27
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.2
CPU time (s): 1802.29
CPU user time (s): 1800.5
CPU system time (s): 1.78573
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 4642696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.5
system time used= 1.78573
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1170163
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= 2
involuntary context switches= 2737
runsolver used 8.51571 second user time and 23.5024 second system time
The end