0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
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-3486362-1307794054.opb>
0.99/1.03 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 192642 constraints
0.99/1.03 c problem read
0.99/1.03 c presolving settings loaded
1.59/1.68 c presolving:
7.79/7.85 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
10.19/10.26 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
11.00/11.02 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
11.39/11.49 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
11.69/11.79 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
11.99/12.04 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
12.19/12.21 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
12.29/12.34 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
12.39/12.42 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
12.39/12.48 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
12.49/12.54 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
12.49/12.58 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
13.10/13.12 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
13.79/13.82 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
630.79/630.85 c (630.8s) probing: 1000/40676 (2.5%) - 5 fixings, 1 aggregations, 11304006 implications, 0 bound changes
1076.50/1076.51 c (1076.5s) probing: 2000/40676 (4.9%) - 5 fixings, 1 aggregations, 18408278 implications, 0 bound changes
1159.41/1159.44 c (1159.4s) probing: 2185/40676 (5.4%) - 5 fixings, 1 aggregations, 19715817 implications, 0 bound changes
1159.41/1159.44 c (1159.4s) probing aborted: 2000/2000 successive useless probings
1159.41/1159.44 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
1159.90/1159.93 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
1384.91/1384.97 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
1391.30/1391.35 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
1632.50/1632.53 c (1632.5s) probing: 3000/40676 (7.4%) - 52 fixings, 20 aggregations, 24937648 implications, 0 bound changes
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3486362-1307794054/watcher-3486362-1307794054 -o /tmp/evaluation-result-3486362-1307794054/solver-3486362-1307794054 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486362-1307794054.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.86 1.98 1.99 2/175 19622
/proc/meminfo: memFree=31555556/32951132 swapFree=67052544/67111528
[pid=19622] ppid=19620 vsize=10316 CPUtime=0 cores=1,3,5,7
/proc/19622/stat : 19622 (scip-2.0.1.4_2.) R 19620 19622 19576 0 -1 4202496 1574 0 0 0 0 0 0 0 25 0 1 0 891004057 10563584 1528 33554432000 4194304 8979876 140736388864320 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19622/statm: 2579 1528 366 1169 0 1406 0
[startup+0.020892 s]
/proc/loadavg: 1.86 1.98 1.99 2/175 19622
/proc/meminfo: memFree=31555556/32951132 swapFree=67052544/67111528
[pid=19622] ppid=19620 vsize=13848 CPUtime=0.01 cores=1,3,5,7
/proc/19622/stat : 19622 (scip-2.0.1.4_2.) R 19620 19622 19576 0 -1 4202496 2448 0 0 0 1 0 0 0 25 0 1 0 891004057 14180352 2402 33554432000 4194304 8979876 140736388864320 18446744073709551615 4326183 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19622/statm: 3462 2402 366 1169 0 2289 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13848
[startup+0.100881 s]
/proc/loadavg: 1.86 1.98 1.99 2/175 19622
/proc/meminfo: memFree=31555556/32951132 swapFree=67052544/67111528
[pid=19622] ppid=19620 vsize=28568 CPUtime=0.09 cores=1,3,5,7
/proc/19622/stat : 19622 (scip-2.0.1.4_2.) R 19620 19622 19576 0 -1 4202496 5934 0 0 0 9 0 0 0 25 0 1 0 891004057 29253632 5888 33554432000 4194304 8979876 140736388864320 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19622/statm: 7142 5918 366 1169 0 5969 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28568
[startup+0.300848 s]
/proc/loadavg: 1.86 1.98 1.99 2/175 19622
/proc/meminfo: memFree=31555556/32951132 swapFree=67052544/67111528
[pid=19622] ppid=19620 vsize=46328 CPUtime=0.29 cores=1,3,5,7
/proc/19622/stat : 19622 (scip-2.0.1.4_2.) R 19620 19622 19576 0 -1 4202496 10580 0 0 0 29 0 0 0 25 0 1 0 891004057 47439872 10534 33554432000 4194304 8979876 140736388864320 18446744073709551615 4536326 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19622/statm: 11582 10534 366 1169 0 10409 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46328
[startup+0.700776 s]
/proc/loadavg: 1.86 1.98 1.99 2/175 19622
/proc/meminfo: memFree=31555556/32951132 swapFree=67052544/67111528
[pid=19622] ppid=19620 vsize=76756 CPUtime=0.69 cores=1,3,5,7
/proc/19622/stat : 19622 (scip-2.0.1.4_2.) R 19620 19622 19576 0 -1 4202496 18163 0 0 0 68 1 0 0 25 0 1 0 891004057 78598144 18117 33554432000 4194304 8979876 140736388864320 18446744073709551615 4445952 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19622/statm: 19189 18117 366 1169 0 18016 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76756
[startup+1.50064 s]
/proc/loadavg: 1.86 1.98 1.99 3/176 19623
/proc/meminfo: memFree=31372680/32951132 swapFree=67052544/67111528
[pid=19622] ppid=19620 vsize=307548 CPUtime=1.49 cores=1,3,5,7
/proc/19622/stat : 19622 (scip-2.0.1.4_2.) R 19620 19622 19576 0 -1 4202496 75564 0 0 0 141 8 0 0 25 0 1 0 891004057 314929152 75461 33554432000 4194304 8979876 140736388864320 18446744073709551615 7816932 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19622/statm: 76887 75461 449 1169 0 75714 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 307548
[startup+3.10037 s]
/proc/loadavg: 1.86 1.98 1.99 3/176 19623
/proc/meminfo: memFree=30893916/32951132 swapFree=67052544/67111528
[pid=19622] ppid=19620 vsize=445952 CPUtime=3.09 cores=1,3,5,7
/proc/19622/stat : 19622 (scip-2.0.1.4_2.) R 19620 19622 19576 0 -1 4202496 117861 0 0 0 297 12 0 0 25 0 1 0 891004057 456654848 109427 33554432000 4194304 8979876 140736388864320 18446744073709551615 4875174 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19622/statm: 111488 109427 494 1169 0 110315 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 445952
[startup+6.30082 s]
/proc/loadavg: 2.27 2.06 2.02 3/176 19623
/proc/meminfo: memFree=30427864/32951132 swapFree=67052544/67111528
[pid=19622] ppid=19620 vsize=645076 CPUtime=6.3 cores=1,3,5,7
/proc/19622/stat : 19622 (scip-2.0.1.4_2.) R 19620 19622 19576 0 -1 4202496 166258 0 0 0 612 18 0 0 25 0 1 0 891004057 660557824 157824 33554432000 4194304 8979876 140736388864320 18446744073709551615 6492496 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19622/statm: 161269 157824 494 1169 0 160096 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 645076
[startup+12.7007 s]
/proc/loadavg: 2.49 2.11 2.03 3/176 19624
/proc/meminfo: memFree=30216344/32951132 swapFree=67052544/67111528
[pid=19622] ppid=19620 vsize=715540 CPUtime=12.7 cores=1,3,5,7
/proc/19622/stat : 19622 (scip-2.0.1.4_2.) R 19620 19622 19576 0 -1 4202496 184589 0 0 0 1250 20 0 0 25 0 1 0 891004057 732712960 174608 33554432000 4194304 8979876 140736388864320 18446744073709551615 6778257 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19622/statm: 178885 174608 507 1169 0 177712 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 715540
[startup+25.5005 s]
/proc/loadavg: 2.52 2.13 2.04 3/176 19625
/proc/meminfo: memFree=30043776/32951132 swapFree=67052544/67111528
[pid=19622] ppid=19620 vsize=804040 CPUtime=25.49 cores=1,3,5,7
/proc/19622/stat : 19622 (scip-2.0.1.4_2.) R 19620 19622 19576 0 -1 4202496 217239 0 0 0 2526 23 0 0 25 0 1 0 891004057 823336960 194903 33554432000 4194304 8979876 140736388864320 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19622/statm: 201010 194903 548 1169 0 199837 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 804040
[startup+51.1011 s]
/proc/loadavg: 2.34 2.12 2.04 3/176 19625
/proc/meminfo: memFree=29956600/32951132 swapFree=67052544/67111528
[pid=19622] ppid=19620 vsize=854732 CPUtime=51.09 cores=1,3,5,7
/proc/19622/stat : 19622 (scip-2.0.1.4_2.) R 19620 19622 19576 0 -1 4202496 229559 0 0 0 5085 24 0 0 25 0 1 0 891004057 875245568 207223 33554432000 4194304 8979876 140736388864320 18446744073709551615 6503288 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19622/statm: 213683 207223 548 1169 0 212510 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 854732
[startup+102.306 s]
/proc/loadavg: 2.15 2.10 2.03 3/176 19627
/proc/meminfo: memFree=29717400/32951132 swapFree=67052544/67111528
[pid=19622] ppid=19620 vsize=973952 CPUtime=102.29 cores=1,3,5,7
/proc/19622/stat : 19622 (scip-2.0.1.4_2.) R 19620 19622 19576 0 -1 4202496 258539 0 0 0 10202 27 0 0 25 0 1 0 891004057 997326848 236203 33554432000 4194304 8979876 140736388864320 18446744073709551615 6503319 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19622/statm: 243488 236203 548 1169 0 242315 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 973952
[startup+162.301 s]
/proc/loadavg: 2.05 2.08 2.03 3/176 19628
/proc/meminfo: memFree=29342420/32951132 swapFree=67052544/67111528
[pid=19622] ppid=19620 vsize=1161924 CPUtime=162.29 cores=1,3,5,7
/proc/19622/stat : 19622 (scip-2.0.1.4_2.) R 19620 19622 19576 0 -1 4202496 306269 0 0 0 16197 32 0 0 25 0 1 0 891004057 1189810176 283570 33554432000 4194304 8979876 140736388864320 18446744073709551615 4878494 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19622/statm: 290481 283570 548 1169 0 289308 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1161924
[startup+222.301 s]
/proc/loadavg: 2.02 2.06 2.02 3/176 19629
/proc/meminfo: memFree=29072952/32951132 swapFree=67052544/67111528
[pid=19622] ppid=19620 vsize=1268644 CPUtime=222.29 cores=1,3,5,7
/proc/19622/stat : 19622 (scip-2.0.1.4_2.) R 19620 19622 19576 0 -1 4202496 332718 0 0 0 22194 35 0 0 25 0 1 0 891004057 1299091456 310019 33554432000 4194304 8979876 140736388864320 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19622/statm: 317161 310019 548 1169 0 315988 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1268644
[startup+282.3 s]
/proc/loadavg: 2.00 2.05 2.02 3/176 19631
/proc/meminfo: memFree=28715820/32951132 swapFree=67052544/67111528
[pid=19622] ppid=19620 vsize=1485140 CPUtime=282.3 cores=1,3,5,7
/proc/19622/stat : 19622 (scip-2.0.1.4_2.) R 19620 19622 19576 0 -1 4202496 386249 0 0 0 28189 41 0 0 25 0 1 0 891004057 1520783360 363484 33554432000 4194304 8979876 140736388864320 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19622/statm: 371285 363484 548 1169 0 370112 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1485140
[startup+342.301 s]
/proc/loadavg: 2.00 2.04 2.01 3/176 19633
/proc/meminfo: memFree=28460992/32951132 swapFree=67052544/67111528
[pid=19622] ppid=19620 vsize=1633736 CPUtime=342.3 cores=1,3,5,7
/proc/19622/stat : 19622 (scip-2.0.1.4_2.) R 19620 19622 19576 0 -1 4202496 424129 0 0 0 34184 46 0 0 25 0 1 0 891004057 1672945664 401364 33554432000 4194304 8979876 140736388864320 18446744073709551615 6503488 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19622/statm: 408434 401364 548 1169 0 407261 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1633736
[startup+402.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/176 19635
/proc/meminfo: memFree=28027228/32951132 swapFree=67052544/67111528
[pid=19622] ppid=19620 vsize=1838028 CPUtime=402.3 cores=1,3,5,7
/proc/19622/stat : 19622 (scip-2.0.1.4_2.) R 19620 19622 19576 0 -1 4202496 474477 0 0 0 40176 54 0 0 25 0 1 0 891004057 1882140672 451712 33554432000 4194304 8979876 140736388864320 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19622/statm: 459507 451712 548 1169 0 458334 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1838028
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 19636
/proc/meminfo: memFree=27801664/32951132 swapFree=67052544/67111528
[pid=19622] ppid=19620 vsize=1993144 CPUtime=462.3 cores=1,3,5,7
/proc/19622/stat : 19622 (scip-2.0.1.4_2.) R 19620 19622 19576 0 -1 4202496 512372 0 0 0 46171 59 0 0 25 0 1 0 891004057 2040979456 489607 33554432000 4194304 8979876 140736388864320 18446744073709551615 6503440 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19622/statm: 498286 489607 548 1169 0 497113 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1993144
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 19637
/proc/meminfo: memFree=27540136/32951132 swapFree=67052544/67111528
[pid=19622] ppid=19620 vsize=2146832 CPUtime=522.29 cores=1,3,5,7
/proc/19622/stat : 19622 (scip-2.0.1.4_2.) R 19620 19622 19576 0 -1 4202496 550866 0 0 0 52165 64 0 0 25 0 1 0 891004057 2198355968 528101 33554432000 4194304 8979876 140736388864320 18446744073709551615 6503337 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19622/statm: 536708 528101 548 1169 0 535535 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 2146832
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 19639
/proc/meminfo: memFree=27307496/32951132 swapFree=67052544/67111528
[pid=19622] ppid=19620 vsize=2246580 CPUtime=582.3 cores=1,3,5,7
/proc/19622/stat : 19622 (scip-2.0.1.4_2.) R 19620 19622 19576 0 -1 4202496 575775 0 0 0 58161 69 0 0 25 0 1 0 891004057 2300497920 553010 33554432000 4194304 8979876 140736388864320 18446744073709551615 6503333 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19622/statm: 561645 553010 548 1169 0 560472 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2246580
[startup+642.3 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19647
/proc/meminfo: memFree=26593656/32951132 swapFree=67052544/67111528
[pid=19622] ppid=19620 vsize=2675228 CPUtime=882.3 cores=1,3,5,7
/proc/19622/stat : 19622 (scip-2.0.1.4_2.) R 19620 19622 19576 0 -1 4202496 683068 0 0 0 88144 86 0 0 25 0 1 0 891004057 2739433472 660303 33554432000 4194304 8979876 140736388864320 18446744073709551615 4347574 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19622/statm: 668807 660303 553 1169 0 667634 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 2675228
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19649
/proc/meminfo: memFree=26482536/32951132 swapFree=67052544/67111528
[pid=19622] ppid=19620 vsize=2734612 CPUtime=942.3 cores=1,3,5,7
/proc/19622/stat : 19622 (scip-2.0.1.4_2.) R 19620 19622 19576 0 -1 4202496 697528 0 0 0 94142 88 0 0 25 0 1 0 891004057 2800242688 674763 33554432000 4194304 8979876 140736388864320 18446744073709551615 6503284 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19622/statm: 683653 674763 553 1169 0 682480 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 2734612
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19651
/proc/meminfo: memFree=26371412/32951132 swapFree=67052544/67111528
[pid=19622] ppid=19620 vsize=2791640 CPUtime=1002.3 cores=1,3,5,7
/proc/19622/stat : 19622 (scip-2.0.1.4_2.) R 19620 19622 19576 0 -1 4202496 711883 0 0 0 100140 90 0 0 25 0 1 0 891004057 2858639360 689118 33554432000 4194304 8979876 140736388864320 18446744073709551615 5537616 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19622/statm: 697910 689118 553 1169 0 696737 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 2791640
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19652
/proc/meminfo: memFree=26223960/32951132 swapFree=67052544/67111528
[pid=19622] ppid=19620 vsize=2878728 CPUtime=1062.29 cores=1,3,5,7
/proc/19622/stat : 19622 (scip-2.0.1.4_2.) R 19620 19622 19576 0 -1 4202496 734265 0 0 0 106136 93 0 0 25 0 1 0 891004057 2947817472 711500 33554432000 4194304 8979876 140736388864320 18446744073709551615 4460176 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19622/statm: 719682 711500 553 1169 0 718509 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 2878728
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19653
/proc/meminfo: memFree=26104168/32951132 swapFree=67052544/67111528
[pid=19622] ppid=19620 vsize=2945588 CPUtime=1122.3 cores=1,3,5,7
/proc/19622/stat : 19622 (scip-2.0.1.4_2.) R 19620 19622 19576 0 -1 4202496 750073 0 0 0 112134 96 0 0 25 0 1 0 891004057 3016282112 727308 33554432000 4194304 8979876 140736388864320 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19622/statm: 736397 727308 553 1169 0 735224 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 2945588
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/176 19655
/proc/meminfo: memFree=25972840/32951132 swapFree=67052544/67111528
[pid=19622] ppid=19620 vsize=3004628 CPUtime=1182.3 cores=1,3,5,7
/proc/19622/stat : 19622 (scip-2.0.1.4_2.) R 19620 19622 19576 0 -1 4202496 766701 0 0 0 118132 98 0 0 25 0 1 0 891004057 3076739072 743936 33554432000 4194304 8979876 140736388864320 18446744073709551615 4460233 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19622/statm: 751157 743936 553 1169 0 749984 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 3004628
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19657
/proc/meminfo: memFree=25859492/32951132 swapFree=67052544/67111528
[pid=19622] ppid=19620 vsize=3062028 CPUtime=1242.3 cores=1,3,5,7
/proc/19622/stat : 19622 (scip-2.0.1.4_2.) R 19620 19622 19576 0 -1 4202496 780034 0 0 0 124130 100 0 0 25 0 1 0 891004057 3135516672 757269 33554432000 4194304 8979876 140736388864320 18446744073709551615 6503319 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19622/statm: 765507 757269 553 1169 0 764334 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 3062028
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19659
/proc/meminfo: memFree=25762624/32951132 swapFree=67052544/67111528
[pid=19622] ppid=19620 vsize=3095392 CPUtime=1302.31 cores=1,3,5,7
/proc/19622/stat : 19622 (scip-2.0.1.4_2.) R 19620 19622 19576 0 -1 4202496 787755 0 0 0 130129 102 0 0 25 0 1 0 891004057 3169681408 764990 33554432000 4194304 8979876 140736388864320 18446744073709551615 6503345 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19622/statm: 773848 764990 553 1169 0 772675 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 3095392
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19660
/proc/meminfo: memFree=25705824/32951132 swapFree=67052544/67111528
[pid=19622] ppid=19620 vsize=3106336 CPUtime=1362.3 cores=1,3,5,7
/proc/19622/stat : 19622 (scip-2.0.1.4_2.) R 19620 19622 19576 0 -1 4202496 790579 0 0 0 136128 102 0 0 25 0 1 0 891004057 3180888064 767814 33554432000 4194304 8979876 140736388864320 18446744073709551615 6503511 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19622/statm: 776584 767814 553 1169 0 775411 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 3106336
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19661
/proc/meminfo: memFree=25620116/32951132 swapFree=67052544/67111528
[pid=19622] ppid=19620 vsize=3142560 CPUtime=1422.31 cores=1,3,5,7
/proc/19622/stat : 19622 (scip-2.0.1.4_2.) R 19620 19622 19576 0 -1 4202496 799602 0 0 0 142127 104 0 0 25 0 1 0 891004057 3217981440 776837 33554432000 4194304 8979876 140736388864320 18446744073709551615 6503464 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19622/statm: 785640 776837 553 1169 0 784467 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 3142560
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19663
/proc/meminfo: memFree=25509360/32951132 swapFree=67052544/67111528
[pid=19622] ppid=19620 vsize=3190212 CPUtime=1482.3 cores=1,3,5,7
/proc/19622/stat : 19622 (scip-2.0.1.4_2.) R 19620 19622 19576 0 -1 4202496 811086 0 0 0 148125 105 0 0 25 0 1 0 891004057 3266777088 788321 33554432000 4194304 8979876 140736388864320 18446744073709551615 4460154 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19622/statm: 797553 788321 553 1169 0 796380 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 3190212
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19665
/proc/meminfo: memFree=25393520/32951132 swapFree=67052544/67111528
[pid=19622] ppid=19620 vsize=3242872 CPUtime=1542.3 cores=1,3,5,7
/proc/19622/stat : 19622 (scip-2.0.1.4_2.) R 19620 19622 19576 0 -1 4202496 824196 0 0 0 154123 107 0 0 25 0 1 0 891004057 3320700928 801431 33554432000 4194304 8979876 140736388864320 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19622/statm: 810718 801431 553 1169 0 809545 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 3242872
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19667
/proc/meminfo: memFree=25237880/32951132 swapFree=67052544/67111528
[pid=19622] ppid=19620 vsize=3326956 CPUtime=1602.3 cores=1,3,5,7
/proc/19622/stat : 19622 (scip-2.0.1.4_2.) R 19620 19622 19576 0 -1 4202496 845303 0 0 0 160121 109 0 0 25 0 1 0 891004057 3406802944 822538 33554432000 4194304 8979876 140736388864320 18446744073709551615 6503284 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19622/statm: 831739 822538 553 1169 0 830566 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 3326956
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19668
/proc/meminfo: memFree=25023192/32951132 swapFree=67052544/67111528
[pid=19622] ppid=19620 vsize=3456204 CPUtime=1662.3 cores=1,3,5,7
/proc/19622/stat : 19622 (scip-2.0.1.4_2.) R 19620 19622 19576 0 -1 4202496 876281 0 0 0 166117 113 0 0 25 0 1 0 891004057 3539152896 853516 33554432000 4194304 8979876 140736388864320 18446744073709551615 6503507 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19622/statm: 864051 853516 553 1169 0 862878 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 3456204
[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/176 19669
/proc/meminfo: memFree=24895708/32951132 swapFree=67052544/67111528
[pid=19622] ppid=19620 vsize=3520732 CPUtime=1722.3 cores=1,3,5,7
/proc/19622/stat : 19622 (scip-2.0.1.4_2.) R 19620 19622 19576 0 -1 4202496 892181 0 0 0 172115 115 0 0 25 0 1 0 891004057 3605229568 869416 33554432000 4194304 8979876 140736388864320 18446744073709551615 4888936 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19622/statm: 880183 869416 553 1169 0 879010 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 3520732
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 19671
/proc/meminfo: memFree=24738956/32951132 swapFree=67052544/67111528
[pid=19622] ppid=19620 vsize=3609468 CPUtime=1782.3 cores=1,3,5,7
/proc/19622/stat : 19622 (scip-2.0.1.4_2.) R 19620 19622 19576 0 -1 4202496 914512 0 0 0 178112 118 0 0 25 0 1 0 891004057 3696095232 891747 33554432000 4194304 8979876 140736388864320 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19622/statm: 902367 891747 553 1169 0 901194 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 3609468
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 19709
/proc/meminfo: memFree=27897644/32951132 swapFree=67052544/67111528
[pid=19622] ppid=19620 vsize=3664220 CPUtime=1800 cores=1,3,5,7
/proc/19622/stat : 19622 (scip-2.0.1.4_2.) R 19620 19622 19576 0 -1 4202496 928622 0 0 0 179880 120 0 0 25 0 1 0 891004057 3752161280 905857 33554432000 4194304 8979876 140736388864320 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19622/statm: 916055 905857 553 1169 0 914882 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 3664220
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.11 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 19709
/proc/meminfo: memFree=27897644/32951132 swapFree=67052544/67111528
[pid=19622] ppid=19620 vsize=0 CPUtime=1800.1 cores=1,3,5,7
/proc/19622/stat : 19622 (scip-2.0.1.4_2.) R 19620 19622 19576 0 -1 4203524 928622 0 0 0 179880 130 0 0 25 0 1 0 891004057 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19622/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.14
CPU time (s): 1800.15
CPU user time (s): 1798.81
CPU system time (s): 1.3418
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 3664220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.81
system time used= 1.3418
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 928622
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= 3
involuntary context switches= 20686
runsolver used 2.6586 second user time and 6.22505 second system time
The end