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-3453491-1307119453.opb>
1.59/1.63 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256396 constraints
1.59/1.63 c problem read
1.59/1.63 c presolving settings loaded
2.39/2.49 c presolving:
9.58/9.68 c (round 1) 8360 del vars, 25095 del conss, 0 add conss, 6775 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17055776 impls, 0 clqs
12.48/12.57 c (round 2) 14908 del vars, 54185 del conss, 0 add conss, 13055 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17092519 impls, 0 clqs
13.38/13.49 c (round 3) 17603 del vars, 66985 del conss, 0 add conss, 14626 chg bounds, 45 chg sides, 35 chg coeffs, 0 upgd conss, 17111289 impls, 0 clqs
13.98/14.04 c (round 4) 18843 del vars, 72206 del conss, 0 add conss, 15518 chg bounds, 46 chg sides, 38 chg coeffs, 0 upgd conss, 17119734 impls, 0 clqs
14.30/14.33 c (round 5) 19605 del vars, 75470 del conss, 0 add conss, 15979 chg bounds, 46 chg sides, 38 chg coeffs, 0 upgd conss, 17125629 impls, 0 clqs
14.48/14.51 c (round 6) 20027 del vars, 77218 del conss, 0 add conss, 16221 chg bounds, 49 chg sides, 41 chg coeffs, 0 upgd conss, 17129263 impls, 0 clqs
14.58/14.65 c (round 7) 20246 del vars, 78218 del conss, 0 add conss, 16356 chg bounds, 52 chg sides, 44 chg coeffs, 0 upgd conss, 17131332 impls, 0 clqs
14.68/14.75 c (round 8) 20386 del vars, 78790 del conss, 0 add conss, 16427 chg bounds, 52 chg sides, 44 chg coeffs, 0 upgd conss, 17132757 impls, 0 clqs
14.78/14.84 c (round 9) 20462 del vars, 79160 del conss, 0 add conss, 16471 chg bounds, 52 chg sides, 44 chg coeffs, 0 upgd conss, 17133393 impls, 0 clqs
14.88/14.91 c (round 10) 20504 del vars, 79361 del conss, 0 add conss, 16495 chg bounds, 52 chg sides, 44 chg coeffs, 0 upgd conss, 17133826 impls, 0 clqs
14.88/14.98 c (round 11) 20534 del vars, 79485 del conss, 0 add conss, 16510 chg bounds, 52 chg sides, 44 chg coeffs, 0 upgd conss, 17134124 impls, 0 clqs
14.98/15.06 c (round 12) 20550 del vars, 79571 del conss, 0 add conss, 16519 chg bounds, 52 chg sides, 44 chg coeffs, 0 upgd conss, 17134242 impls, 0 clqs
15.08/15.12 c (round 13) 20556 del vars, 79606 del conss, 0 add conss, 16522 chg bounds, 52 chg sides, 44 chg coeffs, 0 upgd conss, 17134308 impls, 0 clqs
754.09/754.13 c (754.1s) probing: 1000/52282 (1.9%) - 8 fixings, 4 aggregations, 14741387 implications, 0 bound changes
1339.61/1339.66 c (1339.7s) probing: 2000/52282 (3.8%) - 10 fixings, 4 aggregations, 23766314 implications, 0 bound changes
1800.13/1800.13 c (1800.1s) probing: 2885/52282 (5.5%) - 12 fixings, 5 aggregations, 30697208 implications, 0 bound changes
1800.13/1800.13 c (1800.1s) probing aborted: solving stopped
1800.13/1800.13 c (round 14) 20577 del vars, 79629 del conss, 0 add conss, 16524 chg bounds, 52 chg sides, 44 chg coeffs, 0 upgd conss, 125764106 impls, 0 clqs
1800.13/1800.13 c presolving (14 rounds):
1800.13/1800.13 c 20577 deleted vars, 79629 deleted constraints, 0 added constraints, 16524 tightened bounds, 0 added holes, 52 changed sides, 44 changed coefficients
1800.13/1800.13 c 125764106 implications, 0 cliques
1800.13/1800.13 c presolving was interrupted.
1800.13/1800.13 c Presolving Time: 1798.26
1800.13/1800.13 c - non default parameters ----------------------------------------------------------------------
1800.13/1800.13 c # SCIP version 2.0.1.4
1800.13/1800.13 c
1800.13/1800.13 c # frequency for displaying node information lines
1800.13/1800.13 c # [type: int, range: [-1,2147483647], default: 100]
1800.13/1800.13 c display/freq = 10000
1800.13/1800.13 c
1800.13/1800.13 c # maximal time in seconds to run
1800.13/1800.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.13/1800.13 c limits/time = 1800
1800.13/1800.13 c
1800.13/1800.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1800.13/1800.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.13/1800.13 c limits/memory = 13950
1800.13/1800.13 c
1800.13/1800.13 c # default clock type (1: CPU user seconds, 2: wall clock time)
1800.13/1800.13 c # [type: int, range: [1,2], default: 1]
1800.13/1800.13 c timing/clocktype = 2
1800.13/1800.13 c
1800.13/1800.13 c # belongs reading time to solving time?
1800.13/1800.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.13/1800.13 c timing/reading = TRUE
1800.13/1800.13 c
1800.13/1800.13 c # should presolving try to simplify inequalities
1800.13/1800.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.13/1800.13 c constraints/linear/simplifyinequalities = TRUE
1800.13/1800.13 c
1800.13/1800.13 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1800.13/1800.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.13/1800.13 c constraints/indicator/addCouplingCons = TRUE
1800.13/1800.13 c
1800.13/1800.13 c # should presolving try to simplify knapsacks
1800.13/1800.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.13/1800.13 c constraints/knapsack/simplifyinequalities = TRUE
1800.13/1800.13 c
1800.13/1800.13 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1800.13/1800.13 c # [type: int, range: [-1,2147483647], default: -1]
1800.13/1800.13 c separating/rapidlearning/freq = 0
1800.13/1800.13 c
1800.13/1800.13 c -----------------------------------------------------------------------------------------------
1800.13/1800.13 c start solving
1800.13/1800.17 c presolving:
1800.13/1800.17 c presolving (14 rounds):
1800.13/1800.17 c 20577 deleted vars, 79629 deleted constraints, 0 added constraints, 16524 tightened bounds, 0 added holes, 52 changed sides, 44 changed coefficients
1800.13/1800.17 c 125764106 implications, 0 cliques
1800.13/1800.17 c presolving was interrupted.
1800.13/1800.17 c Presolving Time: 1798.30
1800.13/1800.17 c
1800.13/1800.17 c SCIP Status : solving was interrupted [time limit reached]
1800.13/1800.17 c Solving Time (sec) : 1800.17
1800.13/1800.17 c Solving Nodes : 0
1800.13/1800.17 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.13/1800.17 s UNKNOWN
1800.13/1800.17 c SCIP Status : solving was interrupted [time limit reached]
1800.13/1800.17 c Total Time : 1800.17
1800.13/1800.17 c solving : 1800.17
1800.13/1800.17 c presolving : 1798.30 (included in solving)
1800.13/1800.17 c reading : 1.64 (included in solving)
1800.13/1800.17 c Original Problem :
1800.13/1800.17 c Problem name : HOME/instance-3453491-1307119453.opb
1800.13/1800.17 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.13/1800.17 c Constraints : 256396 initial, 256396 maximal
1800.13/1800.17 c Presolved Problem :
1800.13/1800.17 c Problem name : t_HOME/instance-3453491-1307119453.opb
1800.13/1800.17 c Variables : 52265 (52265 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.13/1800.17 c Constraints : 176767 initial, 176767 maximal
1800.13/1800.17 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.13/1800.17 c trivial : 0.05 1076 0 0 0 0 0 0 0 0
1800.13/1800.17 c dualfix : 0.08 124 0 0 0 0 0 0 0 0
1800.13/1800.17 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.13/1800.17 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.13/1800.17 c implics : 0.52 0 0 0 0 0 0 0 0 0
1800.13/1800.17 c probing : 1784.91 12 5 0 0 0 0 0 0 0
1800.13/1800.17 c pseudoboolean : 0.00 0 0 0 0 0 0 0 0 0
1800.13/1800.17 c linear : 12.01 15448 3912 0 16524 0 79629 0 52 44
1800.13/1800.17 c root node : - 0 - - 0 - - - - -
1800.13/1800.17 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.13/1800.17 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1800.13/1800.17 c pseudoboolean : 0+ 0 0 0 0 0 0 0 0 0 0 0
1800.13/1800.17 c linear : 0+ 0 150817 0 0 0 0 8 0 0 0 0
1800.13/1800.17 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.13/1800.17 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.13/1800.17 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.13/1800.17 c pseudoboolean : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.13/1800.17 c linear : 850.34 0.00 850.34 0.00 0.00 0.00 0.00
1800.13/1800.17 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.13/1800.17 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.13/1800.17 c vbounds : 0 0 0 0
1800.13/1800.17 c rootredcost : 0 0 0 0
1800.13/1800.17 c pseudoobj : 0 0 0 0
1800.13/1800.17 c Propagator Timings : TotalTime Propagate Resprop
1800.13/1800.17 c vbounds : 0.07 0.07 0.00
1800.13/1800.17 c rootredcost : 0.03 0.03 0.00
1800.13/1800.17 c pseudoobj : 0.04 0.04 0.00
1800.13/1800.17 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.13/1800.17 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.13/1800.17 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.13/1800.17 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.13/1800.17 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.13/1800.17 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.13/1800.17 c applied globally : - - - 0 0.0 - - -
1800.13/1800.17 c applied locally : - - - 0 0.0 - - -
1800.82/1800.86 c Time complete: 1800.88.
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-3453491-1307119453/watcher-3453491-1307119453 -o /tmp/evaluation-result-3453491-1307119453/solver-3453491-1307119453 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453491-1307119453.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: 1.02 1.02 1.25 2/431 1673
/proc/meminfo: memFree=12483124/32951132 swapFree=67093840/67111528
[pid=1673] ppid=1671 vsize=6864 CPUtime=0 cores=0,2,4,6
/proc/1673/stat : 1673 (scip-2.0.1.4.li) R 1671 1673 27022 0 -1 4202496 866 0 0 0 0 0 0 0 21 0 1 0 823544980 7028736 819 33554432000 4194304 9128323 140734024840384 18446744073709551615 7980987 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/1673/statm: 1716 832 361 1205 0 507 0
[startup+0.0655571 s]
/proc/loadavg: 1.02 1.02 1.25 2/431 1673
/proc/meminfo: memFree=12483124/32951132 swapFree=67093840/67111528
[pid=1673] ppid=1671 vsize=21836 CPUtime=0.05 cores=0,2,4,6
/proc/1673/stat : 1673 (scip-2.0.1.4.li) R 1671 1673 27022 0 -1 4202496 4443 0 0 0 5 0 0 0 21 0 1 0 823544980 22360064 4395 33554432000 4194304 9128323 140734024840384 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/1673/statm: 5459 4395 400 1205 0 4250 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 21836
[startup+0.100563 s]
/proc/loadavg: 1.02 1.02 1.25 2/431 1673
/proc/meminfo: memFree=12483124/32951132 swapFree=67093840/67111528
[pid=1673] ppid=1671 vsize=27516 CPUtime=0.09 cores=0,2,4,6
/proc/1673/stat : 1673 (scip-2.0.1.4.li) R 1671 1673 27022 0 -1 4202496 5889 0 0 0 9 0 0 0 21 0 1 0 823544980 28176384 5840 33554432000 4194304 9128323 140734024840384 18446744073709551615 7867808 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/1673/statm: 6879 5840 400 1205 0 5670 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27516
[startup+0.300542 s]
/proc/loadavg: 1.02 1.02 1.25 2/431 1673
/proc/meminfo: memFree=12483124/32951132 swapFree=67093840/67111528
[pid=1673] ppid=1671 vsize=50220 CPUtime=0.29 cores=0,2,4,6
/proc/1673/stat : 1673 (scip-2.0.1.4.li) R 1671 1673 27022 0 -1 4202496 11588 0 0 0 28 1 0 0 22 0 1 0 823544980 51425280 11507 33554432000 4194304 9128323 140734024840384 18446744073709551615 7998224 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/1673/statm: 12555 11508 400 1205 0 11346 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50220
[startup+0.700486 s]
/proc/loadavg: 1.02 1.02 1.25 2/431 1673
/proc/meminfo: memFree=12483124/32951132 swapFree=67093840/67111528
[pid=1673] ppid=1671 vsize=69416 CPUtime=0.69 cores=0,2,4,6
/proc/1673/stat : 1673 (scip-2.0.1.4.li) R 1671 1673 27022 0 -1 4202496 16373 0 0 0 67 2 0 0 24 0 1 0 823544980 71081984 16284 33554432000 4194304 9128323 140734024840384 18446744073709551615 8011688 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/1673/statm: 17354 16284 400 1205 0 16145 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 69416
[startup+1.50035 s]
/proc/loadavg: 1.02 1.02 1.25 3/435 1680
/proc/meminfo: memFree=12317008/32951132 swapFree=67093840/67111528
[pid=1673] ppid=1671 vsize=127888 CPUtime=1.49 cores=0,2,4,6
/proc/1673/stat : 1673 (scip-2.0.1.4.li) R 1671 1673 27022 0 -1 4202496 30959 0 0 0 146 3 0 0 25 0 1 0 823544980 130957312 30854 33554432000 4194304 9128323 140734024840384 18446744073709551615 8011636 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/1673/statm: 31972 30854 400 1205 0 30763 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 127888
[startup+3.10106 s]
/proc/loadavg: 1.09 1.04 1.25 3/435 1680
/proc/meminfo: memFree=11857096/32951132 swapFree=67093840/67111528
[pid=1673] ppid=1671 vsize=468176 CPUtime=3.08 cores=0,2,4,6
/proc/1673/stat : 1673 (scip-2.0.1.4.li) R 1671 1673 27022 0 -1 4202496 126962 0 0 0 294 14 0 0 25 0 1 0 823544980 479412224 114380 33554432000 4194304 9128323 140734024840384 18446744073709551615 6890226 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1673/statm: 117044 114380 501 1205 0 115835 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 468176
[startup+6.30051 s]
/proc/loadavg: 1.09 1.04 1.25 3/435 1681
/proc/meminfo: memFree=11136408/32951132 swapFree=67093840/67111528
[pid=1673] ppid=1671 vsize=737040 CPUtime=6.28 cores=0,2,4,6
/proc/1673/stat : 1673 (scip-2.0.1.4.li) R 1671 1673 27022 0 -1 4202496 193633 0 0 0 607 21 0 0 25 0 1 0 823544980 754728960 181051 33554432000 4194304 9128323 140734024840384 18446744073709551615 4830831 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1673/statm: 184260 181051 510 1205 0 183051 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 737040
[startup+12.7004 s]
/proc/loadavg: 1.47 1.12 1.28 4/435 1681
/proc/meminfo: memFree=10680020/32951132 swapFree=67093840/67111528
[pid=1673] ppid=1671 vsize=906176 CPUtime=12.68 cores=0,2,4,6
/proc/1673/stat : 1673 (scip-2.0.1.4.li) R 1671 1673 27022 0 -1 4202496 234179 0 0 0 1241 27 0 0 25 0 1 0 823544980 927924224 220997 33554432000 4194304 9128323 140734024840384 18446744073709551615 4442480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1673/statm: 226544 220997 523 1205 0 225335 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 906176
[startup+25.5012 s]
/proc/loadavg: 1.55 1.15 1.28 3/435 1681
/proc/meminfo: memFree=10519556/32951132 swapFree=67093840/67111528
[pid=1673] ppid=1671 vsize=957384 CPUtime=25.48 cores=0,2,4,6
/proc/1673/stat : 1673 (scip-2.0.1.4.li) R 1671 1673 27022 0 -1 4202496 246552 0 0 0 2520 28 0 0 25 0 1 0 823544980 980361216 233294 33554432000 4194304 9128323 140734024840384 18446744073709551615 6593104 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1673/statm: 239346 233294 582 1205 0 238137 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 957384
[startup+51.1008 s]
/proc/loadavg: 1.70 1.21 1.30 3/435 1682
/proc/meminfo: memFree=10434920/32951132 swapFree=67093840/67111528
[pid=1673] ppid=1671 vsize=999248 CPUtime=51.08 cores=0,2,4,6
/proc/1673/stat : 1673 (scip-2.0.1.4.li) R 1671 1673 27022 0 -1 4202496 256446 0 0 0 5079 29 0 0 25 0 1 0 823544980 1023229952 243188 33554432000 4194304 9128323 140734024840384 18446744073709551615 6593104 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1673/statm: 249812 243188 582 1205 0 248603 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 999248
[startup+102.317 s]
/proc/loadavg: 1.98 1.37 1.35 3/435 1683
/proc/meminfo: memFree=10145548/32951132 swapFree=67093840/67111528
[pid=1673] ppid=1671 vsize=1123952 CPUtime=102.3 cores=0,2,4,6
/proc/1673/stat : 1673 (scip-2.0.1.4.li) R 1671 1673 27022 0 -1 4202496 287513 0 0 0 10197 33 0 0 25 0 1 0 823544980 1150926848 274255 33554432000 4194304 9128323 140734024840384 18446744073709551615 6593116 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1673/statm: 280988 274255 582 1205 0 279779 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1123952
[startup+162.3 s]
/proc/loadavg: 2.03 1.50 1.39 3/435 1685
/proc/meminfo: memFree=9789412/32951132 swapFree=67093840/67111528
[pid=1673] ppid=1671 vsize=1271820 CPUtime=162.28 cores=0,2,4,6
/proc/1673/stat : 1673 (scip-2.0.1.4.li) R 1671 1673 27022 0 -1 4202496 323319 0 0 0 16190 38 0 0 25 0 1 0 823544980 1302343680 310061 33554432000 4194304 9128323 140734024840384 18446744073709551615 5208272 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1673/statm: 317955 310061 582 1205 0 316746 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 1271820
[startup+222.301 s]
/proc/loadavg: 2.01 1.59 1.43 3/435 1686
/proc/meminfo: memFree=9381568/32951132 swapFree=67093840/67111528
[pid=1673] ppid=1671 vsize=1518556 CPUtime=222.29 cores=0,2,4,6
/proc/1673/stat : 1673 (scip-2.0.1.4.li) R 1671 1673 27022 0 -1 4202496 384446 0 0 0 22182 47 0 0 25 0 1 0 823544980 1555001344 371188 33554432000 4194304 9128323 140734024840384 18446744073709551615 4208284 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1673/statm: 379639 371188 582 1205 0 378430 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1518556
[startup+282.301 s]
/proc/loadavg: 2.00 1.65 1.46 3/435 1688
/proc/meminfo: memFree=8968876/32951132 swapFree=67093840/67111528
[pid=1673] ppid=1671 vsize=1715356 CPUtime=282.29 cores=0,2,4,6
/proc/1673/stat : 1673 (scip-2.0.1.4.li) R 1671 1673 27022 0 -1 4202496 433139 0 0 0 28176 53 0 0 25 0 1 0 823544980 1756524544 419881 33554432000 4194304 9128323 140734024840384 18446744073709551615 6593421 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1673/statm: 428839 419881 582 1205 0 427630 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1715356
[startup+342.301 s]
/proc/loadavg: 2.03 1.73 1.50 3/435 1690
/proc/meminfo: memFree=8415456/32951132 swapFree=67093840/67111528
[pid=1673] ppid=1671 vsize=1995556 CPUtime=342.29 cores=0,2,4,6
/proc/1673/stat : 1673 (scip-2.0.1.4.li) R 1671 1673 27022 0 -1 4202496 503164 0 0 0 34167 62 0 0 25 0 1 0 823544980 2043449344 489906 33554432000 4194304 9128323 140734024840384 18446744073709551615 5240721 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1673/statm: 498889 489906 582 1205 0 497680 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1995556
[startup+402.301 s]
/proc/loadavg: 2.01 1.77 1.52 3/435 1691
/proc/meminfo: memFree=8029188/32951132 swapFree=67093840/67111528
[pid=1673] ppid=1671 vsize=2177916 CPUtime=402.29 cores=0,2,4,6
/proc/1673/stat : 1673 (scip-2.0.1.4.li) R 1671 1673 27022 0 -1 4202496 547674 0 0 0 40162 67 0 0 25 0 1 0 823544980 2230185984 534416 33554432000 4194304 9128323 140734024840384 18446744073709551615 6593403 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1673/statm: 544479 534416 582 1205 0 543270 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 2177916
[startup+462.3 s]
/proc/loadavg: 2.00 1.82 1.55 3/435 1693
/proc/meminfo: memFree=7737780/32951132 swapFree=67093840/67111528
[pid=1673] ppid=1671 vsize=2285500 CPUtime=462.29 cores=0,2,4,6
/proc/1673/stat : 1673 (scip-2.0.1.4.li) R 1671 1673 27022 0 -1 4202496 575080 0 0 0 46157 72 0 0 25 0 1 0 823544980 2340352000 561822 33554432000 4194304 9128323 140734024840384 18446744073709551615 6581488 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1673/statm: 571375 561822 582 1205 0 570166 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 2285500
[startup+522.301 s]
/proc/loadavg: 2.00 1.84 1.57 3/435 1694
/proc/meminfo: memFree=7434220/32951132 swapFree=67093840/67111528
[pid=1673] ppid=1671 vsize=2439396 CPUtime=522.3 cores=0,2,4,6
/proc/1673/stat : 1673 (scip-2.0.1.4.li) R 1671 1673 27022 0 -1 4202496 613149 0 0 0 52153 77 0 0 25 0 1 0 823544980 2497941504 599891 33554432000 4194304 9128323 140734024840384 18446744073709551615 5240721 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1673/statm: 609849 599891 582 1205 0 608640 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2439396
[startup+582.301 s]
/proc/loadavg: 2.00 1.87 1.60 3/435 1696
/proc/meminfo: memFree=7166492/32951132 swapFree=67093840/67111528
[pid=1673] ppid=1671 vsize=2564316 CPUtime=582.29 cores=0,2,4,6
/proc/1673/stat : 1673 (scip-2.0.1.4.li) R 1671 1673 27022 0 -1 4202496 643738 0 0 0 58148 81 0 0 25 0 1 0 823544980 2625859584 630480 33554432000 4194304 9128323 140734024840384 18446744073709551615 5240721 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1673/statm: 641079 630480 582 1205 0 639870 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 2564316
[startup+642.301 s]
################
# More data... #
################
[startup+942.301 s]
/proc/loadavg: 2.07 2.00 1.74 3/435 1706
/proc/meminfo: memFree=5758784/32951132 swapFree=67093840/67111528
[pid=1673] ppid=1671 vsize=3296308 CPUtime=942.3 cores=0,2,4,6
/proc/1673/stat : 1673 (scip-2.0.1.4.li) R 1671 1673 27022 0 -1 4202496 826019 0 0 0 94120 110 0 0 25 0 1 0 823544980 3375419392 812761 33554432000 4194304 9128323 140734024840384 18446744073709551615 5240721 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1673/statm: 824077 812761 586 1205 0 822868 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 3296308
[startup+1002.3 s]
/proc/loadavg: 2.02 2.00 1.75 3/435 1707
/proc/meminfo: memFree=5549092/32951132 swapFree=67093840/67111528
[pid=1673] ppid=1671 vsize=3407036 CPUtime=1002.3 cores=0,2,4,6
/proc/1673/stat : 1673 (scip-2.0.1.4.li) R 1671 1673 27022 0 -1 4202496 853603 0 0 0 100117 113 0 0 25 0 1 0 823544980 3488804864 840345 33554432000 4194304 9128323 140734024840384 18446744073709551615 5240721 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1673/statm: 851759 840345 586 1205 0 850550 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 3407036
[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 1.76 3/435 1718
/proc/meminfo: memFree=5428624/32951132 swapFree=67093840/67111528
[pid=1673] ppid=1671 vsize=3463140 CPUtime=1062.31 cores=0,2,4,6
/proc/1673/stat : 1673 (scip-2.0.1.4.li) R 1671 1673 27022 0 -1 4202496 866651 0 0 0 106115 116 0 0 25 0 1 0 823544980 3546255360 853393 33554432000 4194304 9128323 140734024840384 18446744073709551615 5240721 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1673/statm: 865785 853393 586 1205 0 864576 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 3463140
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.77 3/435 1719
/proc/meminfo: memFree=5296024/32951132 swapFree=67093840/67111528
[pid=1673] ppid=1671 vsize=3530940 CPUtime=1122.31 cores=0,2,4,6
/proc/1673/stat : 1673 (scip-2.0.1.4.li) R 1671 1673 27022 0 -1 4202496 884112 0 0 0 112112 119 0 0 25 0 1 0 823544980 3615682560 870854 33554432000 4194304 9128323 140734024840384 18446744073709551615 4232530 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1673/statm: 882735 870854 586 1205 0 881526 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 3530940
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.78 3/435 1721
/proc/meminfo: memFree=5158088/32951132 swapFree=67093840/67111528
[pid=1673] ppid=1671 vsize=3612200 CPUtime=1182.31 cores=0,2,4,6
/proc/1673/stat : 1673 (scip-2.0.1.4.li) R 1671 1673 27022 0 -1 4202496 904143 0 0 0 118109 122 0 0 25 0 1 0 823544980 3698892800 890885 33554432000 4194304 9128323 140734024840384 18446744073709551615 6593403 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1673/statm: 903050 890885 586 1205 0 901841 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 3612200
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/435 1723
/proc/meminfo: memFree=5039396/32951132 swapFree=67093840/67111528
[pid=1673] ppid=1671 vsize=3672564 CPUtime=1242.31 cores=0,2,4,6
/proc/1673/stat : 1673 (scip-2.0.1.4.li) R 1671 1673 27022 0 -1 4202496 919801 0 0 0 124106 125 0 0 25 0 1 0 823544980 3760705536 906543 33554432000 4194304 9128323 140734024840384 18446744073709551615 5240721 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1673/statm: 918141 906543 586 1205 0 916932 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 3672564
[startup+1302.3 s]
/proc/loadavg: 2.14 2.04 1.82 3/435 1726
/proc/meminfo: memFree=4913756/32951132 swapFree=67093840/67111528
[pid=1673] ppid=1671 vsize=3750584 CPUtime=1302.31 cores=0,2,4,6
/proc/1673/stat : 1673 (scip-2.0.1.4.li) R 1671 1673 27022 0 -1 4202496 938716 0 0 0 130102 129 0 0 25 0 1 0 823544980 3840598016 925458 33554432000 4194304 9128323 140734024840384 18446744073709551615 5207323 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1673/statm: 937646 925458 586 1205 0 936437 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 3750584
[startup+1362.3 s]
/proc/loadavg: 2.05 2.03 1.83 3/435 1729
/proc/meminfo: memFree=4769940/32951132 swapFree=67093840/67111528
[pid=1673] ppid=1671 vsize=3836956 CPUtime=1362.31 cores=0,2,4,6
/proc/1673/stat : 1673 (scip-2.0.1.4.li) R 1671 1673 27022 0 -1 4202496 959900 0 0 0 136098 133 0 0 25 0 1 0 823544980 3929042944 946642 33554432000 4194304 9128323 140734024840384 18446744073709551615 5240721 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1673/statm: 959239 946642 586 1205 0 958030 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 3836956
[startup+1422.3 s]
/proc/loadavg: 2.02 2.02 1.83 3/435 1730
/proc/meminfo: memFree=4658552/32951132 swapFree=67093840/67111528
[pid=1673] ppid=1671 vsize=3903564 CPUtime=1422.31 cores=0,2,4,6
/proc/1673/stat : 1673 (scip-2.0.1.4.li) R 1671 1673 27022 0 -1 4202496 976050 0 0 0 142095 136 0 0 25 0 1 0 823544980 3997249536 962792 33554432000 4194304 9128323 140734024840384 18446744073709551615 6593138 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1673/statm: 975891 962792 586 1205 0 974682 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 3903564
[startup+1482.3 s]
/proc/loadavg: 2.14 2.06 1.86 3/435 1732
/proc/meminfo: memFree=4513588/32951132 swapFree=67093840/67111528
[pid=1673] ppid=1671 vsize=3970272 CPUtime=1482.31 cores=0,2,4,6
/proc/1673/stat : 1673 (scip-2.0.1.4.li) R 1671 1673 27022 0 -1 4202496 992648 0 0 0 148092 139 0 0 25 0 1 0 823544980 4065558528 979390 33554432000 4194304 9128323 140734024840384 18446744073709551615 6593107 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1673/statm: 992568 979390 586 1205 0 991359 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 3970272
[startup+1542.3 s]
/proc/loadavg: 2.05 2.05 1.86 3/435 1734
/proc/meminfo: memFree=4393748/32951132 swapFree=67093840/67111528
[pid=1673] ppid=1671 vsize=4046544 CPUtime=1542.31 cores=0,2,4,6
/proc/1673/stat : 1673 (scip-2.0.1.4.li) R 1671 1673 27022 0 -1 4202496 1012357 0 0 0 154089 142 0 0 25 0 1 0 823544980 4143661056 999099 33554432000 4194304 9128323 140734024840384 18446744073709551615 5240721 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1673/statm: 1011636 999099 586 1205 0 1010427 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 4046544
[startup+1602.3 s]
/proc/loadavg: 2.02 2.04 1.87 3/435 1735
/proc/meminfo: memFree=4284220/32951132 swapFree=67093840/67111528
[pid=1673] ppid=1671 vsize=4098412 CPUtime=1602.31 cores=0,2,4,6
/proc/1673/stat : 1673 (scip-2.0.1.4.li) R 1671 1673 27022 0 -1 4202496 1025382 0 0 0 160086 145 0 0 25 0 1 0 823544980 4196773888 1012124 33554432000 4194304 9128323 140734024840384 18446744073709551615 5240706 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1673/statm: 1024603 1012124 586 1205 0 1023394 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 4098412
[startup+1662.32 s]
/proc/loadavg: 2.00 2.03 1.87 3/435 1737
/proc/meminfo: memFree=4211500/32951132 swapFree=67093840/67111528
[pid=1673] ppid=1671 vsize=4150380 CPUtime=1662.33 cores=0,2,4,6
/proc/1673/stat : 1673 (scip-2.0.1.4.li) R 1671 1673 27022 0 -1 4202496 1037737 0 0 0 166085 148 0 0 25 0 1 0 823544980 4249989120 1024479 33554432000 4194304 9128323 140734024840384 18446744073709551615 5240721 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1673/statm: 1037595 1024479 586 1205 0 1036386 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 4150380
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.88 3/435 1738
/proc/meminfo: memFree=4110508/32951132 swapFree=67093840/67111528
[pid=1673] ppid=1671 vsize=4207428 CPUtime=1722.32 cores=0,2,4,6
/proc/1673/stat : 1673 (scip-2.0.1.4.li) R 1671 1673 27022 0 -1 4202496 1052081 0 0 0 172081 151 0 0 25 0 1 0 823544980 4308406272 1038823 33554432000 4194304 9128323 140734024840384 18446744073709551615 6593438 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1673/statm: 1051857 1038823 586 1205 0 1050648 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 4207428
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.89 3/435 1740
/proc/meminfo: memFree=3962384/32951132 swapFree=67093840/67111528
[pid=1673] ppid=1671 vsize=4287860 CPUtime=1782.32 cores=0,2,4,6
/proc/1673/stat : 1673 (scip-2.0.1.4.li) R 1671 1673 27022 0 -1 4202496 1072104 0 0 0 178077 155 0 0 25 0 1 0 823544980 4390768640 1058846 33554432000 4194304 9128323 140734024840384 18446744073709551615 6593413 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1673/statm: 1071965 1058846 586 1205 0 1070756 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 4287860
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 1.89 3/435 1740
/proc/meminfo: memFree=3926228/32951132 swapFree=67093840/67111528
[pid=1673] ppid=1671 vsize=4298568 CPUtime=1800.02 cores=0,2,4,6
/proc/1673/stat : 1673 (scip-2.0.1.4.li) R 1671 1673 27022 0 -1 4202496 1075276 0 0 0 179847 155 0 0 25 0 1 0 823544980 4401733632 1062018 33554432000 4194304 9128323 140734024840384 18446744073709551615 6593127 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1673/statm: 1074642 1062018 586 1205 0 1073433 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 4298568
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 1.89 3/435 1740
/proc/meminfo: memFree=3926228/32951132 swapFree=67093840/67111528
[pid=1673] ppid=1671 vsize=4249424 CPUtime=1800.41 cores=0,2,4,6
/proc/1673/stat : 1673 (scip-2.0.1.4.li) R 1671 1673 27022 0 -1 4202496 1076058 0 0 0 179886 155 0 0 18 0 1 0 823544980 4351410176 1050056 33554432000 4194304 9128323 140734024840384 18446744073709551615 4815436 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1673/statm: 1062356 1050056 596 1205 0 1061147 0
Current children cumulated CPU time (s) 1800.41
Current children cumulated vsize (KiB) 4249424
[startup+1800.8 s]
/proc/loadavg: 2.00 2.01 1.89 3/437 1742
/proc/meminfo: memFree=6720800/32951132 swapFree=67093840/67111528
[pid=1673] ppid=1671 vsize=3411256 CPUtime=1800.82 cores=0,2,4,6
/proc/1673/stat : 1673 (scip-2.0.1.4.li) R 1671 1673 27022 0 -1 4202496 1076083 0 0 0 179914 168 0 0 18 0 1 0 823544980 3493126144 341867 33554432000 4194304 9128323 140734024840384 18446744073709551615 8231418 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1673/statm: 852814 341565 621 1205 0 851605 0
Current children cumulated CPU time (s) 1800.82
Current children cumulated vsize (KiB) 3411256
Child status: 0
Real time (s): 1800.87
CPU time (s): 1800.9
CPU user time (s): 1799.15
CPU system time (s): 1.74873
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 4298568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.15
system time used= 1.74873
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1076085
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= 1876
runsolver used 8.43172 second user time and 17.9333 second system time
The end