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-3486316-1307792379.opb>
1.30/1.39 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 255916 constraints
1.30/1.39 c problem read
1.30/1.39 c presolving settings loaded
2.19/2.27 c presolving:
10.49/10.55 c (round 1) 8127 del vars, 23522 del conss, 0 add conss, 6375 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17290068 impls, 0 clqs
15.09/15.12 c (round 2) 16182 del vars, 57894 del conss, 0 add conss, 13858 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17341646 impls, 0 clqs
16.49/16.52 c (round 3) 18853 del vars, 71577 del conss, 0 add conss, 15399 chg bounds, 48 chg sides, 55 chg coeffs, 0 upgd conss, 17365601 impls, 0 clqs
17.29/17.32 c (round 4) 20148 del vars, 76913 del conss, 0 add conss, 16254 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17381144 impls, 0 clqs
17.80/17.88 c (round 5) 21146 del vars, 80908 del conss, 0 add conss, 16916 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17390344 impls, 0 clqs
18.19/18.29 c (round 6) 21860 del vars, 83815 del conss, 0 add conss, 17363 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17400212 impls, 0 clqs
18.49/18.58 c (round 7) 22378 del vars, 85927 del conss, 0 add conss, 17698 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17405504 impls, 0 clqs
18.79/18.81 c (round 8) 22743 del vars, 87445 del conss, 0 add conss, 17922 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17411616 impls, 0 clqs
18.90/19.00 c (round 9) 23069 del vars, 88717 del conss, 0 add conss, 18137 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17415466 impls, 0 clqs
19.09/19.11 c (round 10) 23223 del vars, 89466 del conss, 0 add conss, 18222 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17418274 impls, 0 clqs
19.19/19.20 c (round 11) 23311 del vars, 89860 del conss, 0 add conss, 18283 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17419824 impls, 0 clqs
19.29/19.40 c (round 12) 23374 del vars, 90147 del conss, 0 add conss, 18340 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17420560 impls, 0 clqs
19.39/19.46 c (round 13) 23420 del vars, 90370 del conss, 0 add conss, 18348 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17420729 impls, 0 clqs
19.49/19.51 c (round 14) 23422 del vars, 90395 del conss, 0 add conss, 18348 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17420735 impls, 0 clqs
20.09/20.17 c (round 15) 23422 del vars, 90396 del conss, 0 add conss, 18348 chg bounds, 60 chg sides, 67 chg coeffs, 165520 upgd conss, 17420735 impls, 0 clqs
21.09/21.17 c (round 16) 23422 del vars, 90401 del conss, 29 add conss, 18348 chg bounds, 105 chg sides, 268 chg coeffs, 165520 upgd conss, 17420735 impls, 0 clqs
765.22/765.25 c (765.3s) probing: 1000/49420 (2.0%) - 0 fixings, 0 aggregations, 12273553 implications, 0 bound changes
1336.64/1336.64 c (1336.6s) probing: 2000/49420 (4.0%) - 0 fixings, 0 aggregations, 19434940 implications, 0 bound changes
1337.04/1337.05 c (1337.1s) probing: 2001/49420 (4.0%) - 0 fixings, 0 aggregations, 19439526 implications, 0 bound changes
1337.04/1337.05 c (1337.1s) probing aborted: 2000/2000 successive useless probings
1337.04/1337.06 c presolving (17 rounds):
1337.04/1337.06 c 23422 deleted vars, 90407 deleted constraints, 34 added constraints, 18348 tightened bounds, 0 added holes, 110 changed sides, 281 changed coefficients
1337.04/1337.06 c 97459129 implications, 0 cliques
1337.04/1337.06 c presolved problem has 49420 variables (49420 bin, 0 int, 0 impl, 0 cont) and 165543 constraints
1337.04/1337.06 c 1140 constraints of type <knapsack>
1337.04/1337.06 c 140058 constraints of type <setppc>
1337.04/1337.06 c 24345 constraints of type <logicor>
1337.04/1337.06 c transformed objective value is always integral (scale: 1)
1337.04/1337.06 c Presolving Time: 1335.43
1337.04/1337.06 c - non default parameters ----------------------------------------------------------------------
1337.04/1337.06 c # SCIP version 2.0.1.4
1337.04/1337.06 c
1337.04/1337.06 c # frequency for displaying node information lines
1337.04/1337.06 c # [type: int, range: [-1,2147483647], default: 100]
1337.04/1337.06 c display/freq = 10000
1337.04/1337.06 c
1337.04/1337.06 c # maximal time in seconds to run
1337.04/1337.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1337.04/1337.06 c limits/time = 1797
1337.04/1337.06 c
1337.04/1337.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1337.04/1337.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1337.04/1337.06 c limits/memory = 13950
1337.04/1337.06 c
1337.04/1337.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
1337.04/1337.06 c # [type: int, range: [1,2], default: 1]
1337.04/1337.06 c timing/clocktype = 2
1337.04/1337.06 c
1337.04/1337.06 c # belongs reading time to solving time?
1337.04/1337.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1337.04/1337.06 c timing/reading = TRUE
1337.04/1337.06 c
1337.04/1337.06 c # should presolving try to simplify inequalities
1337.04/1337.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1337.04/1337.06 c constraints/linear/simplifyinequalities = TRUE
1337.04/1337.06 c
1337.04/1337.06 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1337.04/1337.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1337.04/1337.06 c constraints/indicator/addCouplingCons = TRUE
1337.04/1337.06 c
1337.04/1337.06 c # should presolving try to simplify knapsacks
1337.04/1337.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1337.04/1337.06 c constraints/knapsack/simplifyinequalities = TRUE
1337.04/1337.06 c
1337.04/1337.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1337.04/1337.06 c # [type: int, range: [-1,2147483647], default: -1]
1337.04/1337.06 c separating/rapidlearning/freq = 0
1337.04/1337.06 c
1337.04/1337.06 c -----------------------------------------------------------------------------------------------
1337.04/1337.06 c start solving
1337.04/1337.09 c
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-3486316-1307792379/watcher-3486316-1307792379 -o /tmp/evaluation-result-3486316-1307792379/solver-3486316-1307792379 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486316-1307792379.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.99 2.00 2.00 2/178 654
/proc/meminfo: memFree=30498752/32951124 swapFree=67072804/67111528
[pid=654] ppid=652 vsize=6588 CPUtime=0 cores=1,3,5,7
/proc/654/stat : 654 (scip-2.0.1.4_2.) R 652 654 31857 0 -1 4202496 784 0 0 0 0 0 0 0 25 0 1 0 890835849 6746112 738 33554432000 4194304 8979876 140734267818592 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/654/statm: 1647 739 316 1169 0 474 0
[startup+0.272156 s]
/proc/loadavg: 1.99 2.00 2.00 2/178 654
/proc/meminfo: memFree=30498752/32951124 swapFree=67072804/67111528
[pid=654] ppid=652 vsize=50368 CPUtime=0.26 cores=1,3,5,7
/proc/654/stat : 654 (scip-2.0.1.4_2.) R 652 654 31857 0 -1 4202496 11599 0 0 0 25 1 0 0 25 0 1 0 890835849 51576832 11553 33554432000 4194304 8979876 140734267818592 18446744073709551615 7836088 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/654/statm: 12592 11553 366 1169 0 11419 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 50368
[startup+0.30115 s]
/proc/loadavg: 1.99 2.00 2.00 2/178 654
/proc/meminfo: memFree=30498752/32951124 swapFree=67072804/67111528
[pid=654] ppid=652 vsize=52520 CPUtime=0.29 cores=1,3,5,7
/proc/654/stat : 654 (scip-2.0.1.4_2.) R 652 654 31857 0 -1 4202496 12128 0 0 0 28 1 0 0 25 0 1 0 890835849 53780480 12082 33554432000 4194304 8979876 140734267818592 18446744073709551615 7836093 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/654/statm: 13130 12082 366 1169 0 11957 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52520
[startup+0.401134 s]
/proc/loadavg: 1.99 2.00 2.00 2/178 654
/proc/meminfo: memFree=30498752/32951124 swapFree=67072804/67111528
[pid=654] ppid=652 vsize=59088 CPUtime=0.39 cores=1,3,5,7
/proc/654/stat : 654 (scip-2.0.1.4_2.) R 652 654 31857 0 -1 4202496 13786 0 0 0 38 1 0 0 25 0 1 0 890835849 60506112 13740 33554432000 4194304 8979876 140734267818592 18446744073709551615 7836093 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/654/statm: 14772 13740 366 1169 0 13599 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 59088
[startup+0.701076 s]
/proc/loadavg: 1.99 2.00 2.00 2/178 654
/proc/meminfo: memFree=30498752/32951124 swapFree=67072804/67111528
[pid=654] ppid=652 vsize=75408 CPUtime=0.69 cores=1,3,5,7
/proc/654/stat : 654 (scip-2.0.1.4_2.) R 652 654 31857 0 -1 4202496 17824 0 0 0 68 1 0 0 25 0 1 0 890835849 77217792 17778 33554432000 4194304 8979876 140734267818592 18446744073709551615 7807808 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/654/statm: 18852 17778 366 1169 0 17679 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 75408
[startup+1.50093 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 655
/proc/meminfo: memFree=30378240/32951124 swapFree=67072804/67111528
[pid=654] ppid=652 vsize=221236 CPUtime=1.49 cores=1,3,5,7
/proc/654/stat : 654 (scip-2.0.1.4_2.) R 652 654 31857 0 -1 4202496 54171 0 0 0 144 5 0 0 25 0 1 0 890835849 226545664 54106 33554432000 4194304 8979876 140734267818592 18446744073709551615 6779003 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/654/statm: 55309 54106 416 1169 0 54136 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 221236
[startup+3.10064 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 655
/proc/meminfo: memFree=30103456/32951124 swapFree=67072804/67111528
[pid=654] ppid=652 vsize=488796 CPUtime=3.09 cores=1,3,5,7
/proc/654/stat : 654 (scip-2.0.1.4_2.) R 652 654 31857 0 -1 4202496 132626 0 0 0 295 14 0 0 25 0 1 0 890835849 500527104 119544 33554432000 4194304 8979876 140734267818592 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/654/statm: 122199 119544 487 1169 0 121026 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 488796
[startup+6.30104 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 655
/proc/meminfo: memFree=29824632/32951124 swapFree=67072804/67111528
[pid=654] ppid=652 vsize=714336 CPUtime=6.29 cores=1,3,5,7
/proc/654/stat : 654 (scip-2.0.1.4_2.) R 652 654 31857 0 -1 4202496 188769 0 0 0 609 20 0 0 25 0 1 0 890835849 731480064 175687 33554432000 4194304 8979876 140734267818592 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/654/statm: 178584 175687 494 1169 0 177411 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 714336
[startup+12.7009 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 655
/proc/meminfo: memFree=29582724/32951124 swapFree=67072804/67111528
[pid=654] ppid=652 vsize=909548 CPUtime=12.69 cores=1,3,5,7
/proc/654/stat : 654 (scip-2.0.1.4_2.) R 652 654 31857 0 -1 4202496 235878 0 0 0 1243 26 0 0 25 0 1 0 890835849 931377152 222196 33554432000 4194304 8979876 140734267818592 18446744073709551615 6504310 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/654/statm: 227387 222196 504 1169 0 226214 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 909548
[startup+25.5065 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 656
/proc/meminfo: memFree=29468120/32951124 swapFree=67072804/67111528
[pid=654] ppid=652 vsize=970984 CPUtime=25.5 cores=1,3,5,7
/proc/654/stat : 654 (scip-2.0.1.4_2.) R 652 654 31857 0 -1 4202496 266544 0 0 0 2520 30 0 0 25 0 1 0 890835849 994287616 237079 33554432000 4194304 8979876 140734267818592 18446744073709551615 6503272 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/654/statm: 242746 237079 599 1169 0 241573 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 970984
[startup+51.1007 s]
/proc/loadavg: 2.16 2.04 2.01 3/179 656
/proc/meminfo: memFree=29402700/32951124 swapFree=67072804/67111528
[pid=654] ppid=652 vsize=1011764 CPUtime=51.09 cores=1,3,5,7
/proc/654/stat : 654 (scip-2.0.1.4_2.) R 652 654 31857 0 -1 4202496 276573 0 0 0 5078 31 0 0 25 0 1 0 890835849 1036046336 247108 33554432000 4194304 8979876 140734267818592 18446744073709551615 4347574 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/654/statm: 252941 247108 599 1169 0 251768 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1011764
[startup+102.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 658
/proc/meminfo: memFree=29271248/32951124 swapFree=67072804/67111528
[pid=654] ppid=652 vsize=1089688 CPUtime=102.3 cores=1,3,5,7
/proc/654/stat : 654 (scip-2.0.1.4_2.) R 652 654 31857 0 -1 4202496 295649 0 0 0 10196 34 0 0 25 0 1 0 890835849 1115840512 266184 33554432000 4194304 8979876 140734267818592 18446744073709551615 6503305 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/654/statm: 272422 266184 599 1169 0 271249 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1089688
[startup+162.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 659
/proc/meminfo: memFree=29018108/32951124 swapFree=67072804/67111528
[pid=654] ppid=652 vsize=1267036 CPUtime=162.29 cores=1,3,5,7
/proc/654/stat : 654 (scip-2.0.1.4_2.) R 652 654 31857 0 -1 4202496 338922 0 0 0 16191 38 0 0 25 0 1 0 890835849 1297444864 309226 33554432000 4194304 8979876 140734267818592 18446744073709551615 4460216 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/654/statm: 316759 309226 599 1169 0 315586 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1267036
[startup+222.301 s]
/proc/loadavg: 2.09 2.04 2.01 3/179 661
/proc/meminfo: memFree=28753216/32951124 swapFree=67072804/67111528
[pid=654] ppid=652 vsize=1456652 CPUtime=222.3 cores=1,3,5,7
/proc/654/stat : 654 (scip-2.0.1.4_2.) R 652 654 31857 0 -1 4202496 386502 0 0 0 22186 44 0 0 25 0 1 0 890835849 1491611648 356443 33554432000 4194304 8979876 140734267818592 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/654/statm: 364163 356443 599 1169 0 362990 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1456652
[startup+282.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 662
/proc/meminfo: memFree=28480876/32951124 swapFree=67072804/67111528
[pid=654] ppid=652 vsize=1662976 CPUtime=282.3 cores=1,3,5,7
/proc/654/stat : 654 (scip-2.0.1.4_2.) R 652 654 31857 0 -1 4202496 437905 0 0 0 28179 51 0 0 25 0 1 0 890835849 1702887424 407846 33554432000 4194304 8979876 140734267818592 18446744073709551615 5381847 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/654/statm: 415744 407846 599 1169 0 414571 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1662976
[startup+342.307 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 664
/proc/meminfo: memFree=28170720/32951124 swapFree=67072804/67111528
[pid=654] ppid=652 vsize=1759048 CPUtime=342.31 cores=1,3,5,7
/proc/654/stat : 654 (scip-2.0.1.4_2.) R 652 654 31857 0 -1 4202496 461894 0 0 0 34176 55 0 0 25 0 1 0 890835849 1801265152 431835 33554432000 4194304 8979876 140734267818592 18446744073709551615 4889220 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/654/statm: 439762 431835 599 1169 0 438589 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 1759048
[startup+402.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/179 666
/proc/meminfo: memFree=28051276/32951124 swapFree=67072804/67111528
[pid=654] ppid=652 vsize=1870048 CPUtime=402.31 cores=1,3,5,7
/proc/654/stat : 654 (scip-2.0.1.4_2.) R 652 654 31857 0 -1 4202496 489012 0 0 0 40172 59 0 0 25 0 1 0 890835849 1914929152 458953 33554432000 4194304 8979876 140734267818592 18446744073709551615 6503310 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/654/statm: 467512 458953 599 1169 0 466339 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 1870048
[startup+462.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/179 667
/proc/meminfo: memFree=27929968/32951124 swapFree=67072804/67111528
[pid=654] ppid=652 vsize=1988620 CPUtime=462.31 cores=1,3,5,7
/proc/654/stat : 654 (scip-2.0.1.4_2.) R 652 654 31857 0 -1 4202496 518728 0 0 0 46168 63 0 0 25 0 1 0 890835849 2036346880 488669 33554432000 4194304 8979876 140734267818592 18446744073709551615 5211695 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/654/statm: 497155 488669 599 1169 0 495982 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1988620
[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 669
/proc/meminfo: memFree=27767488/32951124 swapFree=67072804/67111528
[pid=654] ppid=652 vsize=2154332 CPUtime=522.3 cores=1,3,5,7
/proc/654/stat : 654 (scip-2.0.1.4_2.) R 652 654 31857 0 -1 4202496 559764 0 0 0 52162 68 0 0 25 0 1 0 890835849 2206035968 529705 33554432000 4194304 8979876 140734267818592 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/654/statm: 538583 529705 599 1169 0 537410 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2154332
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 670
/proc/meminfo: memFree=27632780/32951124 swapFree=67072804/67111528
[pid=654] ppid=652 vsize=2287192 CPUtime=582.31 cores=1,3,5,7
/proc/654/stat : 654 (scip-2.0.1.4_2.) R 652 654 31857 0 -1 4202496 593118 0 0 0 58158 73 0 0 25 0 1 0 890835849 2342084608 563059 33554432000 4194304 8979876 140734267818592 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/654/statm: 571798 563059 599 1169 0 570625 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2287192
[startup+642.3 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 716
/proc/meminfo: memFree=27575212/32951124 swapFree=67072804/67111528
[pid=654] ppid=652 vsize=2782048 CPUtime=882.32 cores=1,3,5,7
/proc/654/stat : 654 (scip-2.0.1.4_2.) R 652 654 31857 0 -1 4202496 716482 0 0 0 88143 89 0 0 25 0 1 0 890835849 2848817152 686423 33554432000 4194304 8979876 140734267818592 18446744073709551615 6503315 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/654/statm: 695512 686423 604 1169 0 694339 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 2782048
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 718
/proc/meminfo: memFree=27381368/32951124 swapFree=67072804/67111528
[pid=654] ppid=652 vsize=2864384 CPUtime=942.32 cores=1,3,5,7
/proc/654/stat : 654 (scip-2.0.1.4_2.) R 652 654 31857 0 -1 4202496 736047 0 0 0 94141 91 0 0 25 0 1 0 890835849 2933129216 705988 33554432000 4194304 8979876 140734267818592 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/654/statm: 716096 705988 604 1169 0 714923 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 2864384
[startup+1002.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 720
/proc/meminfo: memFree=27082736/32951124 swapFree=67072804/67111528
[pid=654] ppid=652 vsize=2943820 CPUtime=1002.33 cores=1,3,5,7
/proc/654/stat : 654 (scip-2.0.1.4_2.) R 652 654 31857 0 -1 4202496 755469 0 0 0 100139 94 0 0 25 0 1 0 890835849 3014471680 725410 33554432000 4194304 8979876 140734267818592 18446744073709551615 5538062 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/654/statm: 735955 725410 604 1169 0 734782 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 2943820
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 721
/proc/meminfo: memFree=26802836/32951124 swapFree=67072804/67111528
[pid=654] ppid=652 vsize=3057768 CPUtime=1062.33 cores=1,3,5,7
/proc/654/stat : 654 (scip-2.0.1.4_2.) R 652 654 31857 0 -1 4202496 783952 0 0 0 106136 97 0 0 25 0 1 0 890835849 3131154432 753893 33554432000 4194304 8979876 140734267818592 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/654/statm: 764442 753893 604 1169 0 763269 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 3057768
[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 723
/proc/meminfo: memFree=26575136/32951124 swapFree=67072804/67111528
[pid=654] ppid=652 vsize=3129320 CPUtime=1122.32 cores=1,3,5,7
/proc/654/stat : 654 (scip-2.0.1.4_2.) R 652 654 31857 0 -1 4202496 801464 0 0 0 112134 98 0 0 25 0 1 0 890835849 3204423680 771405 33554432000 4194304 8979876 140734267818592 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/654/statm: 782330 771405 604 1169 0 781157 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 3129320
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 724
/proc/meminfo: memFree=26391336/32951124 swapFree=67072804/67111528
[pid=654] ppid=652 vsize=3165532 CPUtime=1182.33 cores=1,3,5,7
/proc/654/stat : 654 (scip-2.0.1.4_2.) R 652 654 31857 0 -1 4202496 811275 0 0 0 118134 99 0 0 25 0 1 0 890835849 3241504768 781216 33554432000 4194304 8979876 140734267818592 18446744073709551615 7226368 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/654/statm: 791383 781216 604 1169 0 790210 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 3165532
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 726
/proc/meminfo: memFree=26184216/32951124 swapFree=67072804/67111528
[pid=654] ppid=652 vsize=3224668 CPUtime=1242.33 cores=1,3,5,7
/proc/654/stat : 654 (scip-2.0.1.4_2.) R 652 654 31857 0 -1 4202496 825803 0 0 0 124131 102 0 0 25 0 1 0 890835849 3302060032 795744 33554432000 4194304 8979876 140734267818592 18446744073709551615 4318338 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/654/statm: 806167 795744 604 1169 0 804994 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 3224668
[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 737
/proc/meminfo: memFree=26014140/32951124 swapFree=67072804/67111528
[pid=654] ppid=652 vsize=3313004 CPUtime=1302.34 cores=1,3,5,7
/proc/654/stat : 654 (scip-2.0.1.4_2.) R 652 654 31857 0 -1 4202496 848083 0 0 0 130128 106 0 0 25 0 1 0 890835849 3392516096 818024 33554432000 4194304 8979876 140734267818592 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/654/statm: 828251 818024 604 1169 0 827078 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 3313004
[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 738
/proc/meminfo: memFree=25608744/32951124 swapFree=67072804/67111528
[pid=654] ppid=652 vsize=3659336 CPUtime=1362.34 cores=1,3,5,7
/proc/654/stat : 654 (scip-2.0.1.4_2.) R 652 654 31857 0 -1 4202496 932776 0 0 0 136114 120 0 0 25 0 1 0 890835849 3747160064 898118 33554432000 4194304 8979876 140734267818592 18446744073709551615 7145452 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/654/statm: 914834 898118 759 1169 0 913661 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 3659336
[startup+1422.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/179 740
/proc/meminfo: memFree=25466860/32951124 swapFree=67072804/67111528
[pid=654] ppid=652 vsize=3661308 CPUtime=1422.33 cores=1,3,5,7
/proc/654/stat : 654 (scip-2.0.1.4_2.) R 652 654 31857 0 -1 4202496 934628 0 0 0 142107 126 0 0 25 0 1 0 890835849 3749179392 899960 33554432000 4194304 8979876 140734267818592 18446744073709551615 7836169 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/654/statm: 915327 899960 763 1169 0 914154 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 3661308
[startup+1482.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 742
/proc/meminfo: memFree=25344560/32951124 swapFree=67072804/67111528
[pid=654] ppid=652 vsize=3667892 CPUtime=1482.34 cores=1,3,5,7
/proc/654/stat : 654 (scip-2.0.1.4_2.) R 652 654 31857 0 -1 4202496 936230 0 0 0 148103 131 0 0 25 0 1 0 890835849 3755921408 901558 33554432000 4194304 8979876 140734267818592 18446744073709551615 7093014 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/654/statm: 916973 901558 759 1169 0 915800 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 3667892
[startup+1542.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 746
/proc/meminfo: memFree=25236492/32951124 swapFree=67072804/67111528
[pid=654] ppid=652 vsize=3673752 CPUtime=1542.35 cores=1,3,5,7
/proc/654/stat : 654 (scip-2.0.1.4_2.) R 652 654 31857 0 -1 4202496 937871 0 0 0 154099 136 0 0 25 0 1 0 890835849 3761922048 903185 33554432000 4194304 8979876 140734267818592 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/654/statm: 918438 903185 811 1169 0 917265 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 3673752
[startup+1602.3 s]
/proc/loadavg: 2.09 2.05 2.00 3/179 748
/proc/meminfo: memFree=25161432/32951124 swapFree=67072804/67111528
[pid=654] ppid=652 vsize=3685000 CPUtime=1602.35 cores=1,3,5,7
/proc/654/stat : 654 (scip-2.0.1.4_2.) R 652 654 31857 0 -1 4202496 940212 0 0 0 160095 140 0 0 25 0 1 0 890835849 3773440000 905526 33554432000 4194304 8979876 140734267818592 18446744073709551615 7836169 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/654/statm: 921250 905526 811 1169 0 920077 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 3685000
[startup+1662.31 s]
/proc/loadavg: 2.03 2.04 2.00 3/179 749
/proc/meminfo: memFree=25075588/32951124 swapFree=67072804/67111528
[pid=654] ppid=652 vsize=3685908 CPUtime=1662.35 cores=1,3,5,7
/proc/654/stat : 654 (scip-2.0.1.4_2.) R 652 654 31857 0 -1 4202496 940651 0 0 0 166092 143 0 0 25 0 1 0 890835849 3774369792 905965 33554432000 4194304 8979876 140734267818592 18446744073709551615 7147105 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/654/statm: 921477 905965 811 1169 0 920304 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 3685908
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 751
/proc/meminfo: memFree=24997696/32951124 swapFree=67072804/67111528
[pid=654] ppid=652 vsize=3693692 CPUtime=1722.35 cores=1,3,5,7
/proc/654/stat : 654 (scip-2.0.1.4_2.) R 652 654 31857 0 -1 4202496 944181 0 0 0 172087 148 0 0 25 0 1 0 890835849 3782340608 909440 33554432000 4194304 8979876 140734267818592 18446744073709551615 7179734 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/654/statm: 923423 909440 809 1169 0 922250 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 3693692
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 752
/proc/meminfo: memFree=24887928/32951124 swapFree=67072804/67111528
[pid=654] ppid=652 vsize=3693692 CPUtime=1782.35 cores=1,3,5,7
/proc/654/stat : 654 (scip-2.0.1.4_2.) R 652 654 31857 0 -1 4202496 944185 0 0 0 178082 153 0 0 25 0 1 0 890835849 3782340608 909442 33554432000 4194304 8979876 140734267818592 18446744073709551615 7147115 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/654/statm: 923423 909442 807 1169 0 922250 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 3693692
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 754
/proc/meminfo: memFree=24869196/32951124 swapFree=67072804/67111528
[pid=654] ppid=652 vsize=3693692 CPUtime=1800.05 cores=1,3,5,7
/proc/654/stat : 654 (scip-2.0.1.4_2.) R 652 654 31857 0 -1 4202496 944189 0 0 0 179851 154 0 0 25 0 1 0 890835849 3782340608 909442 33554432000 4194304 8979876 140734267818592 18446744073709551615 7146848 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/654/statm: 923423 909442 803 1169 0 922250 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3693692
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.00 2.02 2.00 3/179 754
/proc/meminfo: memFree=24869196/32951124 swapFree=67072804/67111528
[pid=654] ppid=652 vsize=0 CPUtime=1800.16 cores=1,3,5,7
/proc/654/stat : 654 (scip-2.0.1.4_2.) R 652 654 31857 0 -1 4203524 944189 0 0 0 179852 164 0 0 25 0 1 0 890835849 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/654/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.15
CPU time (s): 1800.2
CPU user time (s): 1798.52
CPU system time (s): 1.68274
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3693692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.52
system time used= 1.68274
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 944189
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= 5
involuntary context switches= 1736
runsolver used 2.68059 second user time and 7.14391 second system time
The end