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-3486344-1307793847.opb>
0.89/0.96 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 176329 constraints
0.89/0.96 c problem read
0.89/0.96 c presolving settings loaded
1.49/1.57 c presolving:
7.09/7.17 c (round 1) 3449 del vars, 9729 del conss, 0 add conss, 2459 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12022042 impls, 0 clqs
9.29/9.36 c (round 2) 7749 del vars, 26366 del conss, 0 add conss, 6513 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12040298 impls, 0 clqs
9.99/10.02 c (round 3) 9287 del vars, 33150 del conss, 0 add conss, 7451 chg bounds, 27 chg sides, 23 chg coeffs, 0 upgd conss, 12048030 impls, 0 clqs
10.49/10.51 c (round 4) 10310 del vars, 36791 del conss, 0 add conss, 8218 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12055383 impls, 0 clqs
10.79/10.86 c (round 5) 11054 del vars, 39474 del conss, 0 add conss, 8752 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12059081 impls, 0 clqs
11.00/11.02 c (round 6) 11400 del vars, 40936 del conss, 0 add conss, 8965 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12060841 impls, 0 clqs
11.09/11.14 c (round 7) 11560 del vars, 41544 del conss, 0 add conss, 9063 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12062062 impls, 0 clqs
11.19/11.22 c (round 8) 11630 del vars, 41898 del conss, 0 add conss, 9105 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12062554 impls, 0 clqs
11.19/11.28 c (round 9) 11672 del vars, 42089 del conss, 0 add conss, 9135 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12062798 impls, 0 clqs
11.29/11.34 c (round 10) 11708 del vars, 42237 del conss, 0 add conss, 9162 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12062970 impls, 0 clqs
11.29/11.39 c (round 11) 11722 del vars, 42310 del conss, 0 add conss, 9171 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12063014 impls, 0 clqs
11.39/11.43 c (round 12) 11726 del vars, 42334 del conss, 0 add conss, 9173 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12063044 impls, 0 clqs
11.39/11.47 c (round 13) 11730 del vars, 42350 del conss, 0 add conss, 9175 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12063054 impls, 0 clqs
11.89/11.99 c (round 14) 11730 del vars, 42354 del conss, 0 add conss, 9175 chg bounds, 30 chg sides, 26 chg coeffs, 133975 upgd conss, 12063054 impls, 0 clqs
12.69/12.74 c (round 15) 11730 del vars, 42354 del conss, 7 add conss, 9175 chg bounds, 42 chg sides, 153 chg coeffs, 133975 upgd conss, 12063054 impls, 0 clqs
530.80/530.84 c (530.8s) probing: 1000/43052 (2.3%) - 3 fixings, 1 aggregations, 8955179 implications, 0 bound changes
917.23/917.22 c (917.2s) probing: 2000/43052 (4.6%) - 3 fixings, 1 aggregations, 14145213 implications, 0 bound changes
977.93/977.90 c (977.9s) probing: 2141/43052 (5.0%) - 3 fixings, 1 aggregations, 14900383 implications, 0 bound changes
977.93/977.90 c (977.9s) probing aborted: 2000/2000 successive useless probings
977.93/977.91 c presolving (16 rounds):
977.93/977.91 c 11734 deleted vars, 42354 deleted constraints, 7 added constraints, 9175 tightened bounds, 0 added holes, 42 changed sides, 157 changed coefficients
977.93/977.91 c 60719490 implications, 0 cliques
977.93/977.91 c presolved problem has 43048 variables (43048 bin, 0 int, 0 impl, 0 cont) and 133982 constraints
977.93/977.91 c 1178 constraints of type <knapsack>
977.93/977.91 c 111493 constraints of type <setppc>
977.93/977.91 c 21311 constraints of type <logicor>
977.93/977.91 c transformed objective value is always integral (scale: 1)
977.93/977.91 c Presolving Time: 976.78
977.93/977.91 c - non default parameters ----------------------------------------------------------------------
977.93/977.91 c # SCIP version 2.0.1.4
977.93/977.91 c
977.93/977.91 c # frequency for displaying node information lines
977.93/977.91 c # [type: int, range: [-1,2147483647], default: 100]
977.93/977.91 c display/freq = 10000
977.93/977.91 c
977.93/977.91 c # maximal time in seconds to run
977.93/977.91 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
977.93/977.91 c limits/time = 1797
977.93/977.91 c
977.93/977.91 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
977.93/977.91 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
977.93/977.91 c limits/memory = 13950
977.93/977.91 c
977.93/977.91 c # default clock type (1: CPU user seconds, 2: wall clock time)
977.93/977.91 c # [type: int, range: [1,2], default: 1]
977.93/977.91 c timing/clocktype = 2
977.93/977.91 c
977.93/977.91 c # belongs reading time to solving time?
977.93/977.91 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
977.93/977.91 c timing/reading = TRUE
977.93/977.91 c
977.93/977.91 c # should presolving try to simplify inequalities
977.93/977.91 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
977.93/977.91 c constraints/linear/simplifyinequalities = TRUE
977.93/977.91 c
977.93/977.91 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
977.93/977.91 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
977.93/977.91 c constraints/indicator/addCouplingCons = TRUE
977.93/977.91 c
977.93/977.91 c # should presolving try to simplify knapsacks
977.93/977.91 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
977.93/977.91 c constraints/knapsack/simplifyinequalities = TRUE
977.93/977.91 c
977.93/977.91 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
977.93/977.91 c # [type: int, range: [-1,2147483647], default: -1]
977.93/977.91 c separating/rapidlearning/freq = 0
977.93/977.91 c
977.93/977.91 c -----------------------------------------------------------------------------------------------
977.93/977.91 c start solving
977.93/977.93 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-3486344-1307793847/watcher-3486344-1307793847 -o /tmp/evaluation-result-3486344-1307793847/solver-3486344-1307793847 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486344-1307793847.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 14113
/proc/meminfo: memFree=29882464/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=10316 CPUtime=0 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 1568 0 0 0 0 0 0 0 25 0 1 0 969615443 10563584 1523 33554432000 4194304 8979876 140736039821168 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/14113/statm: 2579 1523 366 1169 0 1406 0
[startup+0.0488639 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 14113
/proc/meminfo: memFree=29882464/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=19596 CPUtime=0.04 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 3900 0 0 0 4 0 0 0 25 0 1 0 969615443 20066304 3855 33554432000 4194304 8979876 140736039821168 18446744073709551615 4530316 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/14113/statm: 4899 3855 366 1169 0 3726 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 19596
[startup+0.100854 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 14113
/proc/meminfo: memFree=29882464/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=27544 CPUtime=0.09 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 5903 0 0 0 9 0 0 0 25 0 1 0 969615443 28205056 5858 33554432000 4194304 8979876 140736039821168 18446744073709551615 7836048 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/14113/statm: 6886 5858 366 1169 0 5713 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27544
[startup+0.300816 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 14113
/proc/meminfo: memFree=29882464/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=46328 CPUtime=0.29 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 10578 0 0 0 28 1 0 0 25 0 1 0 969615443 47439872 10533 33554432000 4194304 8979876 140736039821168 18446744073709551615 6204135 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/14113/statm: 11582 10533 366 1169 0 10409 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46328
[startup+0.700743 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 14113
/proc/meminfo: memFree=29882464/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=79820 CPUtime=0.69 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 18920 0 0 0 67 2 0 0 25 0 1 0 969615443 81735680 18875 33554432000 4194304 8979876 140736039821168 18446744073709551615 4530316 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/14113/statm: 19955 18875 366 1169 0 18782 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 79820
[startup+1.5006 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14114
/proc/meminfo: memFree=29739504/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=302352 CPUtime=1.49 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 77114 0 0 0 141 8 0 0 25 0 1 0 969615443 309608448 73684 33554432000 4194304 8979876 140736039821168 18446744073709551615 6778295 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 75588 73684 450 1169 0 74415 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 302352
[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14114
/proc/meminfo: memFree=29536144/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=440644 CPUtime=3.09 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 116080 0 0 0 297 12 0 0 25 0 1 0 969615443 451219456 107685 33554432000 4194304 8979876 140736039821168 18446744073709551615 5298860 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 110161 107685 494 1169 0 108988 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 440644
[startup+6.30071 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14114
/proc/meminfo: memFree=29294836/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=640580 CPUtime=6.29 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 163858 0 0 0 612 17 0 0 25 0 1 0 969615443 655953920 155463 33554432000 4194304 8979876 140736039821168 18446744073709551615 6503315 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 160145 155463 501 1169 0 158972 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 640580
[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14115
/proc/meminfo: memFree=29184880/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=717492 CPUtime=12.69 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 193988 0 0 0 1249 20 0 0 25 0 1 0 969615443 734711808 173969 33554432000 4194304 8979876 140736039821168 18446744073709551615 4935379 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 179373 173969 658 1169 0 178200 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 717492
[startup+25.5011 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14115
/proc/meminfo: memFree=29034916/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=772324 CPUtime=25.5 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 207099 0 0 0 2528 22 0 0 25 0 1 0 969615443 790859776 186783 33554432000 4194304 8979876 140736039821168 18446744073709551615 6503464 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 193081 186783 556 1169 0 191908 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 772324
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14116
/proc/meminfo: memFree=28948016/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=803920 CPUtime=51.09 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 215123 0 0 0 5086 23 0 0 25 0 1 0 969615443 823214080 194675 33554432000 4194304 8979876 140736039821168 18446744073709551615 6492544 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 200980 194675 556 1169 0 199807 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 803920
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14117
/proc/meminfo: memFree=28717728/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=937212 CPUtime=102.3 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 247788 0 0 0 10204 26 0 0 25 0 1 0 969615443 959705088 227340 33554432000 4194304 8979876 140736039821168 18446744073709551615 6503272 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 234303 227340 556 1169 0 233130 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 937212
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14119
/proc/meminfo: memFree=28420708/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=1099592 CPUtime=162.29 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 287875 0 0 0 16197 32 0 0 25 0 1 0 969615443 1125982208 266998 33554432000 4194304 8979876 140736039821168 18446744073709551615 5538070 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 274898 266998 556 1169 0 273725 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1099592
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14120
/proc/meminfo: memFree=28195372/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=1196804 CPUtime=222.3 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 312435 0 0 0 22195 35 0 0 25 0 1 0 969615443 1225527296 291393 33554432000 4194304 8979876 140736039821168 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 299201 291393 556 1169 0 298028 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1196804
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14122
/proc/meminfo: memFree=27800012/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=1369992 CPUtime=282.3 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 356214 0 0 0 28190 40 0 0 25 0 1 0 969615443 1402871808 335172 33554432000 4194304 8979876 140736039821168 18446744073709551615 6492563 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 342498 335172 556 1169 0 341325 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1369992
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14123
/proc/meminfo: memFree=27601816/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=1471704 CPUtime=342.31 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 381321 0 0 0 34188 43 0 0 25 0 1 0 969615443 1507024896 360279 33554432000 4194304 8979876 140736039821168 18446744073709551615 5538059 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 367926 360279 556 1169 0 366753 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 1471704
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14125
/proc/meminfo: memFree=27347448/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=1580040 CPUtime=402.31 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 408490 0 0 0 40185 46 0 0 25 0 1 0 969615443 1617960960 387448 33554432000 4194304 8979876 140736039821168 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 395010 387448 556 1169 0 393837 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 1580040
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14127
/proc/meminfo: memFree=27139716/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=1693996 CPUtime=462.31 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 436092 0 0 0 46182 49 0 0 25 0 1 0 969615443 1734651904 415050 33554432000 4194304 8979876 140736039821168 18446744073709551615 5537688 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 423499 415050 556 1169 0 422326 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1693996
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14128
/proc/meminfo: memFree=26969932/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=1750444 CPUtime=522.31 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 450002 0 0 0 52180 51 0 0 25 0 1 0 969615443 1792454656 428960 33554432000 4194304 8979876 140736039821168 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 437611 428960 556 1169 0 436438 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1750444
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14130
/proc/meminfo: memFree=26819496/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=1817868 CPUtime=582.31 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 466798 0 0 0 58178 53 0 0 25 0 1 0 969615443 1861496832 445723 33554432000 4194304 8979876 140736039821168 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 454467 445723 561 1169 0 453294 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1817868
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14136
/proc/meminfo: memFree=26152376/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=2151756 CPUtime=822.32 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 551063 0 0 0 82168 64 0 0 25 0 1 0 969615443 2203398144 529988 33554432000 4194304 8979876 140736039821168 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 537939 529988 561 1169 0 536766 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 2151756
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14138
/proc/meminfo: memFree=26045448/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=2189116 CPUtime=882.32 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 560020 0 0 0 88167 65 0 0 25 0 1 0 969615443 2241654784 538945 33554432000 4194304 8979876 140736039821168 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 547279 538945 561 1169 0 546106 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 2189116
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14139
/proc/meminfo: memFree=25938292/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=2232608 CPUtime=942.32 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 570727 0 0 0 94166 66 0 0 25 0 1 0 969615443 2286190592 549652 33554432000 4194304 8979876 140736039821168 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 558152 549652 561 1169 0 556979 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 2232608
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14141
/proc/meminfo: memFree=25620704/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=2507788 CPUtime=1002.33 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 638278 0 0 0 100156 77 0 0 25 0 1 0 969615443 2567974912 613472 33554432000 4194304 8979876 140736039821168 18446744073709551615 7147436 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 626947 613472 784 1169 0 625774 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 2507788
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14143
/proc/meminfo: memFree=25522580/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=2524436 CPUtime=1062.32 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 643576 0 0 0 106149 83 0 0 25 0 1 0 969615443 2585022464 618509 33554432000 4194304 8979876 140736039821168 18446744073709551615 7146987 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 631109 618509 707 1169 0 629936 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2524436
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14144
/proc/meminfo: memFree=25441088/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=2542736 CPUtime=1122.33 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 649702 0 0 0 112144 89 0 0 25 0 1 0 969615443 2603761664 624140 33554432000 4194304 8979876 140736039821168 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 635684 624140 741 1169 0 634511 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 2542736
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14146
/proc/meminfo: memFree=25376568/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=2553828 CPUtime=1182.33 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 652969 0 0 0 118141 92 0 0 25 0 1 0 969615443 2615119872 627242 33554432000 4194304 8979876 140736039821168 18446744073709551615 7145982 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 638457 627242 726 1169 0 637284 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 2553828
[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 14147
/proc/meminfo: memFree=25287880/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=2553828 CPUtime=1242.33 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 652974 0 0 0 124139 94 0 0 25 0 1 0 969615443 2615119872 627247 33554432000 4194304 8979876 140736039821168 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 638457 627247 726 1169 0 637284 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 2553828
[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 14149
/proc/meminfo: memFree=24983172/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=2553828 CPUtime=1302.33 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 652977 0 0 0 130137 96 0 0 25 0 1 0 969615443 2615119872 627250 33554432000 4194304 8979876 140736039821168 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 638457 627250 726 1169 0 637284 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 2553828
[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 14151
/proc/meminfo: memFree=24968512/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=2553828 CPUtime=1362.34 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 652978 0 0 0 136134 100 0 0 25 0 1 0 969615443 2615119872 627251 33554432000 4194304 8979876 140736039821168 18446744073709551615 7109904 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 638457 627251 726 1169 0 637284 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 2553828
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 14152
/proc/meminfo: memFree=24959184/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=2553828 CPUtime=1422.35 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 652984 0 0 0 142133 102 0 0 25 0 1 0 969615443 2615119872 627257 33554432000 4194304 8979876 140736039821168 18446744073709551615 7122680 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 638457 627257 726 1169 0 637284 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 2553828
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 14193
/proc/meminfo: memFree=26330480/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=2553828 CPUtime=1482.34 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 652990 0 0 0 148129 105 0 0 25 0 1 0 969615443 2615119872 627263 33554432000 4194304 8979876 140736039821168 18446744073709551615 7192870 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 638457 627263 726 1169 0 637284 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 2553828
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14194
/proc/meminfo: memFree=26327788/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=2553828 CPUtime=1542.34 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 652991 0 0 0 154127 107 0 0 25 0 1 0 969615443 2615119872 627264 33554432000 4194304 8979876 140736039821168 18446744073709551615 7836169 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 638457 627264 726 1169 0 637284 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 2553828
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14196
/proc/meminfo: memFree=26169304/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=2553828 CPUtime=1602.34 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 652996 0 0 0 160125 109 0 0 25 0 1 0 969615443 2615119872 627269 33554432000 4194304 8979876 140736039821168 18446744073709551615 7122720 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 638457 627269 726 1169 0 637284 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 2553828
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 14198
/proc/meminfo: memFree=26343248/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=2553828 CPUtime=1662.34 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 652997 0 0 0 166123 111 0 0 25 0 1 0 969615443 2615119872 627270 33554432000 4194304 8979876 140736039821168 18446744073709551615 7145982 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 638457 627270 726 1169 0 637284 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 2553828
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 14199
/proc/meminfo: memFree=26307628/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=2553828 CPUtime=1722.35 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 652998 0 0 0 172122 113 0 0 25 0 1 0 969615443 2615119872 627271 33554432000 4194304 8979876 140736039821168 18446744073709551615 7143739 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 638457 627271 726 1169 0 637284 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 2553828
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 14201
/proc/meminfo: memFree=26297920/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=2553828 CPUtime=1782.35 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 652998 0 0 0 178120 115 0 0 25 0 1 0 969615443 2615119872 627271 33554432000 4194304 8979876 140736039821168 18446744073709551615 7145543 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 638457 627271 726 1169 0 637284 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 2553828
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14201
/proc/meminfo: memFree=26297656/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=2553828 CPUtime=1800.06 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 653000 0 0 0 179890 116 0 0 25 0 1 0 969615443 2615119872 627273 33554432000 4194304 8979876 140736039821168 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 638457 627273 726 1169 0 637284 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2553828
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.1
CPU time (s): 1800.16
CPU user time (s): 1798.9
CPU system time (s): 1.25981
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2553828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.9
system time used= 1.25981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 653000
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= 6
involuntary context switches= 1800
runsolver used 2.81857 second user time and 5.63514 second system time
The end