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-3486301-1307793299.opb>
1.29/1.33 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245234 constraints
1.29/1.33 c problem read
1.29/1.33 c presolving settings loaded
2.09/2.18 c presolving:
10.09/10.16 c (round 1) 6155 del vars, 18065 del conss, 0 add conss, 4645 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16741278 impls, 0 clqs
14.09/14.18 c (round 2) 12332 del vars, 44937 del conss, 0 add conss, 10375 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16775433 impls, 0 clqs
15.59/15.60 c (round 3) 14554 del vars, 54941 del conss, 0 add conss, 11737 chg bounds, 12 chg sides, 14 chg coeffs, 0 upgd conss, 16791966 impls, 0 clqs
16.29/16.37 c (round 4) 15707 del vars, 59580 del conss, 0 add conss, 12493 chg bounds, 33 chg sides, 31 chg coeffs, 0 upgd conss, 16799619 impls, 0 clqs
16.79/16.84 c (round 5) 16478 del vars, 62557 del conss, 0 add conss, 12996 chg bounds, 39 chg sides, 36 chg coeffs, 0 upgd conss, 16805385 impls, 0 clqs
17.09/17.13 c (round 6) 16921 del vars, 64350 del conss, 0 add conss, 13274 chg bounds, 51 chg sides, 46 chg coeffs, 0 upgd conss, 16808576 impls, 0 clqs
17.29/17.34 c (round 7) 17197 del vars, 65478 del conss, 0 add conss, 13457 chg bounds, 51 chg sides, 46 chg coeffs, 0 upgd conss, 16811073 impls, 0 clqs
17.39/17.50 c (round 8) 17387 del vars, 66296 del conss, 0 add conss, 13594 chg bounds, 51 chg sides, 46 chg coeffs, 0 upgd conss, 16813481 impls, 0 clqs
17.59/17.65 c (round 9) 17569 del vars, 66993 del conss, 0 add conss, 13732 chg bounds, 51 chg sides, 46 chg coeffs, 0 upgd conss, 16814907 impls, 0 clqs
17.69/17.77 c (round 10) 17679 del vars, 67502 del conss, 0 add conss, 13819 chg bounds, 51 chg sides, 46 chg coeffs, 0 upgd conss, 16816082 impls, 0 clqs
17.79/17.87 c (round 11) 17785 del vars, 67916 del conss, 0 add conss, 13895 chg bounds, 51 chg sides, 46 chg coeffs, 0 upgd conss, 16816874 impls, 0 clqs
17.89/17.95 c (round 12) 17837 del vars, 68165 del conss, 0 add conss, 13935 chg bounds, 51 chg sides, 46 chg coeffs, 0 upgd conss, 16817167 impls, 0 clqs
17.99/18.03 c (round 13) 17851 del vars, 68262 del conss, 0 add conss, 13942 chg bounds, 51 chg sides, 46 chg coeffs, 0 upgd conss, 16817275 impls, 0 clqs
17.99/18.10 c (round 14) 17855 del vars, 68289 del conss, 0 add conss, 13944 chg bounds, 51 chg sides, 46 chg coeffs, 0 upgd conss, 16817289 impls, 0 clqs
18.79/18.80 c (round 15) 17855 del vars, 68295 del conss, 0 add conss, 13944 chg bounds, 51 chg sides, 46 chg coeffs, 176939 upgd conss, 16817289 impls, 0 clqs
19.70/19.80 c (round 16) 17855 del vars, 68301 del conss, 21 add conss, 13944 chg bounds, 80 chg sides, 224 chg coeffs, 176939 upgd conss, 16817937 impls, 2334 clqs
779.11/779.14 c (779.1s) probing: 1000/54987 (1.8%) - 17 fixings, 8 aggregations, 12573817 implications, 0 bound changes
1445.34/1445.39 c (1445.4s) probing: 2000/54987 (3.6%) - 17 fixings, 8 aggregations, 19529490 implications, 0 bound changes
1708.25/1708.24 c (1708.2s) probing: 2490/54987 (4.5%) - 17 fixings, 8 aggregations, 22537296 implications, 0 bound changes
1708.25/1708.24 c (1708.2s) probing aborted: 2000/2000 successive useless probings
1708.25/1708.24 c (round 17) 17880 del vars, 68301 del conss, 27 add conss, 13944 chg bounds, 86 chg sides, 254 chg coeffs, 176939 upgd conss, 98874329 impls, 2418 clqs
1708.94/1708.93 c (round 18) 17881 del vars, 68975 del conss, 27 add conss, 13944 chg bounds, 86 chg sides, 306 chg coeffs, 176939 upgd conss, 98874335 impls, 2418 clqs
1797.14/1797.17 c (1797.2s) probing: 2585/54987 (4.7%) - 39 fixings, 11 aggregations, 22936938 implications, 0 bound changes
1797.14/1797.17 c (1797.2s) probing aborted: solving stopped
1797.14/1797.17 c (round 19) 17906 del vars, 68976 del conss, 27 add conss, 13944 chg bounds, 86 chg sides, 307 chg coeffs, 176939 upgd conss, 100188055 impls, 2462 clqs
1797.14/1797.17 c presolving (19 rounds):
1797.14/1797.17 c 17906 deleted vars, 68976 deleted constraints, 27 added constraints, 13944 tightened bounds, 0 added holes, 86 changed sides, 307 changed coefficients
1797.14/1797.17 c 100188055 implications, 2462 cliques
1797.14/1797.17 c presolving was interrupted.
1797.14/1797.17 c Presolving Time: 1795.61
1797.14/1797.17 c - non default parameters ----------------------------------------------------------------------
1797.14/1797.17 c # SCIP version 2.0.1.4
1797.14/1797.17 c
1797.14/1797.17 c # frequency for displaying node information lines
1797.14/1797.17 c # [type: int, range: [-1,2147483647], default: 100]
1797.14/1797.17 c display/freq = 10000
1797.14/1797.17 c
1797.14/1797.17 c # maximal time in seconds to run
1797.14/1797.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.14/1797.17 c limits/time = 1797
1797.14/1797.17 c
1797.14/1797.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1797.14/1797.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.14/1797.17 c limits/memory = 13950
1797.14/1797.17 c
1797.14/1797.17 c # default clock type (1: CPU user seconds, 2: wall clock time)
1797.14/1797.17 c # [type: int, range: [1,2], default: 1]
1797.14/1797.17 c timing/clocktype = 2
1797.14/1797.17 c
1797.14/1797.17 c # belongs reading time to solving time?
1797.14/1797.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.14/1797.17 c timing/reading = TRUE
1797.14/1797.17 c
1797.14/1797.17 c # should presolving try to simplify inequalities
1797.14/1797.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.14/1797.17 c constraints/linear/simplifyinequalities = TRUE
1797.14/1797.17 c
1797.14/1797.17 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1797.14/1797.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.14/1797.17 c constraints/indicator/addCouplingCons = TRUE
1797.14/1797.17 c
1797.14/1797.17 c # should presolving try to simplify knapsacks
1797.14/1797.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.14/1797.17 c constraints/knapsack/simplifyinequalities = TRUE
1797.14/1797.17 c
1797.14/1797.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1797.14/1797.17 c # [type: int, range: [-1,2147483647], default: -1]
1797.14/1797.17 c separating/rapidlearning/freq = 0
1797.14/1797.17 c
1797.14/1797.17 c -----------------------------------------------------------------------------------------------
1797.14/1797.17 c start solving
1797.24/1797.20 c presolving:
1797.24/1797.20 c presolving (19 rounds):
1797.24/1797.20 c 17906 deleted vars, 68976 deleted constraints, 27 added constraints, 13944 tightened bounds, 0 added holes, 86 changed sides, 307 changed coefficients
1797.24/1797.20 c 100188055 implications, 2462 cliques
1797.24/1797.20 c presolving was interrupted.
1797.24/1797.20 c Presolving Time: 1795.64
1797.24/1797.20 c
1797.24/1797.20 c SCIP Status : solving was interrupted [time limit reached]
1797.24/1797.20 c Solving Time (sec) : 1797.20
1797.24/1797.20 c Solving Nodes : 0
1797.24/1797.20 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.24/1797.20 s UNKNOWN
1797.24/1797.20 c SCIP Status : solving was interrupted [time limit reached]
1797.24/1797.20 c Total Time : 1797.20
1797.24/1797.20 c solving : 1797.20
1797.24/1797.20 c presolving : 1795.64 (included in solving)
1797.24/1797.20 c reading : 1.33 (included in solving)
1797.24/1797.20 c Original Problem :
1797.24/1797.20 c Problem name : HOME/instance-3486301-1307793299.opb
1797.24/1797.20 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.24/1797.20 c Constraints : 245234 initial, 245234 maximal
1797.24/1797.20 c Presolved Problem :
1797.24/1797.20 c Problem name : t_HOME/instance-3486301-1307793299.opb
1797.24/1797.20 c Variables : 54936 (54936 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.24/1797.20 c Constraints : 176285 initial, 176285 maximal
1797.24/1797.20 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.24/1797.20 c trivial : 0.06 1027 0 0 0 0 0 0 0 0
1797.24/1797.20 c dualfix : 0.09 122 0 0 0 0 0 0 0 0
1797.24/1797.20 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.24/1797.20 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.24/1797.20 c implics : 0.94 0 1 0 0 0 0 0 0 0
1797.24/1797.20 c probing : 1775.96 39 11 0 0 0 0 0 0 0
1797.24/1797.20 c pseudoboolean : 0.00 0 0 0 0 0 0 0 0 0
1797.24/1797.20 c knapsack : 1.48 0 0 0 0 0 0 27 35 261
1797.24/1797.20 c setppc : 0.37 0 0 0 0 0 677 0 0 0
1797.24/1797.20 c linear : 15.78 12917 3789 0 13944 0 68295 0 51 46
1797.24/1797.20 c logicor : 0.09 0 0 0 0 0 4 0 0 0
1797.24/1797.20 c root node : - 0 - - 0 - - - - -
1797.24/1797.20 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.24/1797.20 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1797.24/1797.20 c pseudoboolean : 0+ 0 0 0 0 0 0 0 0 0 0 0
1797.24/1797.20 c knapsack : 0+ 0 128867 0 0 0 0 3 0 0 0 0
1797.24/1797.20 c setppc : 0+ 0 128864 0 0 0 0 9 0 0 0 0
1797.24/1797.20 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1797.24/1797.20 c logicor : 0+ 0 117457 0 0 0 0 10 0 0 0 0
1797.24/1797.20 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1797.24/1797.20 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.24/1797.20 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.24/1797.20 c pseudoboolean : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.24/1797.20 c knapsack : 9.73 0.00 9.73 0.00 0.00 0.00 0.00
1797.24/1797.20 c setppc : 800.66 0.00 800.66 0.00 0.00 0.00 0.00
1797.24/1797.20 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.24/1797.20 c logicor : 8.84 0.00 8.84 0.00 0.00 0.00 0.00
1797.24/1797.20 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.24/1797.20 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.24/1797.20 c vbounds : 0 0 0 0
1797.24/1797.20 c rootredcost : 0 0 0 0
1797.24/1797.20 c pseudoobj : 0 0 0 0
1797.24/1797.20 c Propagator Timings : TotalTime Propagate Resprop
1797.24/1797.20 c vbounds : 0.05 0.05 0.00
1797.24/1797.20 c rootredcost : 0.03 0.03 0.00
1797.24/1797.20 c pseudoobj : 0.02 0.02 0.00
1797.24/1797.20 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.24/1797.20 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.24/1797.20 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.24/1797.20 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.24/1797.20 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.24/1797.20 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.24/1797.20 c applied globally : - - - 0 0.0 - - -
1797.24/1797.20 c applied locally : - - - 0 0.0 - - -
1797.84/1797.80 c Time complete: 1797.84.
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-3486301-1307793299/watcher-3486301-1307793299 -o /tmp/evaluation-result-3486301-1307793299/solver-3486301-1307793299 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486301-1307793299.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.00 1.02 1.28 2/177 18460
/proc/meminfo: memFree=31828036/32951124 swapFree=67056964/67111528
[pid=18460] ppid=18458 vsize=10320 CPUtime=0 cores=0,2,4,6
/proc/18460/stat : 18460 (scip-2.0.1.4_2.) R 18458 18460 15024 0 -1 4202496 1568 0 0 0 0 0 0 0 21 0 1 0 871745818 10567680 1523 33554432000 4194304 8979876 140737138844752 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/18460/statm: 2580 1523 366 1169 0 1407 0
[startup+0.0435 s]
/proc/loadavg: 1.00 1.02 1.28 2/177 18460
/proc/meminfo: memFree=31828036/32951124 swapFree=67056964/67111528
[pid=18460] ppid=18458 vsize=19460 CPUtime=0.04 cores=0,2,4,6
/proc/18460/stat : 18460 (scip-2.0.1.4_2.) R 18458 18460 15024 0 -1 4202496 3850 0 0 0 4 0 0 0 21 0 1 0 871745818 19927040 3805 33554432000 4194304 8979876 140737138844752 18446744073709551615 7836048 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/18460/statm: 4865 3805 366 1169 0 3692 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 19460
[startup+0.100502 s]
/proc/loadavg: 1.00 1.02 1.28 2/177 18460
/proc/meminfo: memFree=31828036/32951124 swapFree=67056964/67111528
[pid=18460] ppid=18458 vsize=27548 CPUtime=0.09 cores=0,2,4,6
/proc/18460/stat : 18460 (scip-2.0.1.4_2.) R 18458 18460 15024 0 -1 4202496 5903 0 0 0 9 0 0 0 21 0 1 0 871745818 28209152 5858 33554432000 4194304 8979876 140737138844752 18446744073709551615 4328049 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/18460/statm: 6887 5858 366 1169 0 5714 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27548
[startup+0.300459 s]
/proc/loadavg: 1.00 1.02 1.28 2/177 18460
/proc/meminfo: memFree=31828036/32951124 swapFree=67056964/67111528
[pid=18460] ppid=18458 vsize=52524 CPUtime=0.29 cores=0,2,4,6
/proc/18460/stat : 18460 (scip-2.0.1.4_2.) R 18458 18460 15024 0 -1 4202496 12128 0 0 0 28 1 0 0 22 0 1 0 871745818 53784576 12083 33554432000 4194304 8979876 140737138844752 18446744073709551615 7836093 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/18460/statm: 13131 12083 366 1169 0 11958 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52524
[startup+0.700358 s]
/proc/loadavg: 1.00 1.02 1.28 2/177 18460
/proc/meminfo: memFree=31828036/32951124 swapFree=67056964/67111528
[pid=18460] ppid=18458 vsize=76692 CPUtime=0.69 cores=0,2,4,6
/proc/18460/stat : 18460 (scip-2.0.1.4_2.) R 18458 18460 15024 0 -1 4202496 18132 0 0 0 68 1 0 0 24 0 1 0 871745818 78532608 18087 33554432000 4194304 8979876 140737138844752 18446744073709551615 7843588 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/18460/statm: 19173 18087 366 1169 0 18000 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76692
[startup+1.50021 s]
/proc/loadavg: 1.00 1.02 1.28 3/178 18461
/proc/meminfo: memFree=31635356/32951124 swapFree=67056964/67111528
[pid=18460] ppid=18458 vsize=250664 CPUtime=1.49 cores=0,2,4,6
/proc/18460/stat : 18460 (scip-2.0.1.4_2.) R 18458 18460 15024 0 -1 4202496 61209 0 0 0 142 7 0 0 25 0 1 0 871745818 256679936 61126 33554432000 4194304 8979876 140737138844752 18446744073709551615 6779003 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18460/statm: 62666 61126 416 1169 0 61493 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 250664
[startup+3.10093 s]
/proc/loadavg: 1.08 1.03 1.28 3/178 18461
/proc/meminfo: memFree=31068108/32951124 swapFree=67056964/67111528
[pid=18460] ppid=18458 vsize=492364 CPUtime=3.09 cores=0,2,4,6
/proc/18460/stat : 18460 (scip-2.0.1.4_2.) R 18458 18460 15024 0 -1 4202496 132517 0 0 0 294 15 0 0 25 0 1 0 871745818 504180736 120155 33554432000 4194304 8979876 140737138844752 18446744073709551615 6503559 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18460/statm: 123091 120155 494 1169 0 121918 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 492364
[startup+6.30038 s]
/proc/loadavg: 1.08 1.03 1.28 3/178 18461
/proc/meminfo: memFree=30533440/32951124 swapFree=67056964/67111528
[pid=18460] ppid=18458 vsize=718200 CPUtime=6.29 cores=0,2,4,6
/proc/18460/stat : 18460 (scip-2.0.1.4_2.) R 18458 18460 15024 0 -1 4202496 188432 0 0 0 609 20 0 0 25 0 1 0 871745818 735436800 176070 33554432000 4194304 8979876 140737138844752 18446744073709551615 6503464 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18460/statm: 179550 176070 494 1169 0 178377 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 718200
[startup+12.7002 s]
/proc/loadavg: 1.22 1.07 1.29 3/178 18461
/proc/meminfo: memFree=30121408/32951124 swapFree=67056964/67111528
[pid=18460] ppid=18458 vsize=894228 CPUtime=12.69 cores=0,2,4,6
/proc/18460/stat : 18460 (scip-2.0.1.4_2.) R 18458 18460 15024 0 -1 4202496 230531 0 0 0 1244 25 0 0 25 0 1 0 871745818 915689472 217912 33554432000 4194304 8979876 140737138844752 18446744073709551615 6504355 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18460/statm: 223557 217912 504 1169 0 222384 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 894228
[startup+25.5009 s]
/proc/loadavg: 1.34 1.10 1.29 3/178 18461
/proc/meminfo: memFree=29935864/32951124 swapFree=67056964/67111528
[pid=18460] ppid=18458 vsize=977660 CPUtime=25.49 cores=0,2,4,6
/proc/18460/stat : 18460 (scip-2.0.1.4_2.) R 18458 18460 15024 0 -1 4202496 269185 0 0 0 2520 29 0 0 25 0 1 0 871745818 1001123840 237862 33554432000 4194304 8979876 140737138844752 18446744073709551615 6503464 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18460/statm: 244415 237862 636 1169 0 243242 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 977660
[startup+51.1003 s]
/proc/loadavg: 1.56 1.17 1.31 3/178 18462
/proc/meminfo: memFree=29875672/32951124 swapFree=67056964/67111528
[pid=18460] ppid=18458 vsize=1011768 CPUtime=51.09 cores=0,2,4,6
/proc/18460/stat : 18460 (scip-2.0.1.4_2.) R 18458 18460 15024 0 -1 4202496 277345 0 0 0 5079 30 0 0 25 0 1 0 871745818 1036050432 245923 33554432000 4194304 8979876 140737138844752 18446744073709551615 6503488 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18460/statm: 252942 245923 636 1169 0 251769 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1011768
[startup+102.306 s]
/proc/loadavg: 1.82 1.31 1.35 3/178 18463
/proc/meminfo: memFree=29745184/32951124 swapFree=67056964/67111528
[pid=18460] ppid=18458 vsize=1085200 CPUtime=102.3 cores=0,2,4,6
/proc/18460/stat : 18460 (scip-2.0.1.4_2.) R 18458 18460 15024 0 -1 4202496 295376 0 0 0 10198 32 0 0 25 0 1 0 871745818 1111244800 263954 33554432000 4194304 8979876 140737138844752 18446744073709551615 6503507 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18460/statm: 271300 263954 636 1169 0 270127 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1085200
[startup+162.3 s]
/proc/loadavg: 1.93 1.42 1.38 3/178 18465
/proc/meminfo: memFree=29489936/32951124 swapFree=67056964/67111528
[pid=18460] ppid=18458 vsize=1215832 CPUtime=162.29 cores=0,2,4,6
/proc/18460/stat : 18460 (scip-2.0.1.4_2.) R 18458 18460 15024 0 -1 4202496 327548 0 0 0 16193 36 0 0 25 0 1 0 871745818 1245011968 296126 33554432000 4194304 8979876 140737138844752 18446744073709551615 5538343 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18460/statm: 303958 296126 636 1169 0 302785 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1215832
[startup+222.301 s]
/proc/loadavg: 1.97 1.53 1.42 3/178 18467
/proc/meminfo: memFree=29301388/32951124 swapFree=67056964/67111528
[pid=18460] ppid=18458 vsize=1314208 CPUtime=222.3 cores=0,2,4,6
/proc/18460/stat : 18460 (scip-2.0.1.4_2.) R 18458 18460 15024 0 -1 4202496 352385 0 0 0 22191 39 0 0 25 0 1 0 871745818 1345748992 320237 33554432000 4194304 8979876 140737138844752 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18460/statm: 328552 320237 636 1169 0 327379 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1314208
[startup+282.301 s]
/proc/loadavg: 2.07 1.64 1.46 3/178 18468
/proc/meminfo: memFree=29011920/32951124 swapFree=67056964/67111528
[pid=18460] ppid=18458 vsize=1440224 CPUtime=282.3 cores=0,2,4,6
/proc/18460/stat : 18460 (scip-2.0.1.4_2.) R 18458 18460 15024 0 -1 4202496 384014 0 0 0 28189 41 0 0 25 0 1 0 871745818 1474789376 351668 33554432000 4194304 8979876 140737138844752 18446744073709551615 4889220 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18460/statm: 360056 351668 636 1169 0 358883 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1440224
[startup+342.301 s]
/proc/loadavg: 2.07 1.72 1.50 3/178 18470
/proc/meminfo: memFree=28762872/32951124 swapFree=67056964/67111528
[pid=18460] ppid=18458 vsize=1591712 CPUtime=342.3 cores=0,2,4,6
/proc/18460/stat : 18460 (scip-2.0.1.4_2.) R 18458 18460 15024 0 -1 4202496 420990 0 0 0 34185 45 0 0 25 0 1 0 871745818 1629913088 388644 33554432000 4194304 8979876 140737138844752 18446744073709551615 5546468 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18460/statm: 397928 388644 636 1169 0 396755 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1591712
[startup+402.3 s]
/proc/loadavg: 2.03 1.76 1.53 3/178 18480
/proc/meminfo: memFree=28461312/32951124 swapFree=67056964/67111528
[pid=18460] ppid=18458 vsize=1747384 CPUtime=402.31 cores=0,2,4,6
/proc/18460/stat : 18460 (scip-2.0.1.4_2.) R 18458 18460 15024 0 -1 4202496 460518 0 0 0 40180 51 0 0 25 0 1 0 871745818 1789321216 428172 33554432000 4194304 8979876 140737138844752 18446744073709551615 6503483 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18460/statm: 436846 428172 636 1169 0 435673 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 1747384
[startup+462.3 s]
/proc/loadavg: 2.01 1.81 1.56 3/178 18482
/proc/meminfo: memFree=28219336/32951124 swapFree=67056964/67111528
[pid=18460] ppid=18458 vsize=1915152 CPUtime=462.3 cores=0,2,4,6
/proc/18460/stat : 18460 (scip-2.0.1.4_2.) R 18458 18460 15024 0 -1 4202496 501886 0 0 0 46176 54 0 0 25 0 1 0 871745818 1961115648 469540 33554432000 4194304 8979876 140737138844752 18446744073709551615 5381814 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18460/statm: 478788 469540 636 1169 0 477615 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1915152
[startup+522.301 s]
/proc/loadavg: 2.00 1.84 1.58 3/178 18484
/proc/meminfo: memFree=27970016/32951124 swapFree=67056964/67111528
[pid=18460] ppid=18458 vsize=2046616 CPUtime=522.3 cores=0,2,4,6
/proc/18460/stat : 18460 (scip-2.0.1.4_2.) R 18458 18460 15024 0 -1 4202496 534399 0 0 0 52171 59 0 0 25 0 1 0 871745818 2095734784 502053 33554432000 4194304 8979876 140737138844752 18446744073709551615 5207484 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18460/statm: 511654 502053 636 1169 0 510481 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2046616
[startup+582.301 s]
/proc/loadavg: 2.00 1.86 1.60 3/178 18485
/proc/meminfo: memFree=27759896/32951124 swapFree=67056964/67111528
[pid=18460] ppid=18458 vsize=2203156 CPUtime=582.31 cores=0,2,4,6
/proc/18460/stat : 18460 (scip-2.0.1.4_2.) R 18458 18460 15024 0 -1 4202496 573591 0 0 0 58167 64 0 0 25 0 1 0 871745818 2256031744 541245 33554432000 4194304 8979876 140737138844752 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18460/statm: 550789 541245 636 1169 0 549616 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2203156
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=26380348/32951124 swapFree=67056964/67111528
[pid=18460] ppid=18458 vsize=2945052 CPUtime=1122.32 cores=0,2,4,6
/proc/18460/stat : 18460 (scip-2.0.1.4_2.) R 18458 18460 15024 0 -1 4202496 757966 0 0 0 112140 92 0 0 25 0 1 0 871745818 3015733248 725620 33554432000 4194304 8979876 140737138844752 18446744073709551615 6492900 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18460/statm: 736263 725620 641 1169 0 735090 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2945052
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.77 3/178 18501
/proc/meminfo: memFree=26291748/32951124 swapFree=67056964/67111528
[pid=18460] ppid=18458 vsize=3001372 CPUtime=1182.32 cores=0,2,4,6
/proc/18460/stat : 18460 (scip-2.0.1.4_2.) R 18458 18460 15024 0 -1 4202496 772159 0 0 0 118139 93 0 0 25 0 1 0 871745818 3073404928 739813 33554432000 4194304 8979876 140737138844752 18446744073709551615 5537645 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18460/statm: 750343 739813 641 1169 0 749170 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 3001372
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.79 3/178 18503
/proc/meminfo: memFree=25931840/32951124 swapFree=67056964/67111528
[pid=18460] ppid=18458 vsize=3062316 CPUtime=1242.33 cores=0,2,4,6
/proc/18460/stat : 18460 (scip-2.0.1.4_2.) R 18458 18460 15024 0 -1 4202496 786933 0 0 0 124137 96 0 0 25 0 1 0 871745818 3135811584 754587 33554432000 4194304 8979876 140737138844752 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18460/statm: 765579 754587 641 1169 0 764406 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 3062316
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.80 3/178 18504
/proc/meminfo: memFree=25854304/32951124 swapFree=67056964/67111528
[pid=18460] ppid=18458 vsize=3112440 CPUtime=1302.33 cores=0,2,4,6
/proc/18460/stat : 18460 (scip-2.0.1.4_2.) R 18458 18460 15024 0 -1 4202496 799694 0 0 0 130135 98 0 0 25 0 1 0 871745818 3187138560 767348 33554432000 4194304 8979876 140737138844752 18446744073709551615 4889213 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18460/statm: 778110 767348 641 1169 0 776937 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 3112440
[startup+1362.3 s]
/proc/loadavg: 2.07 1.99 1.81 3/178 18506
/proc/meminfo: memFree=25801044/32951124 swapFree=67056964/67111528
[pid=18460] ppid=18458 vsize=3150476 CPUtime=1362.32 cores=0,2,4,6
/proc/18460/stat : 18460 (scip-2.0.1.4_2.) R 18458 18460 15024 0 -1 4202496 809099 0 0 0 136133 99 0 0 25 0 1 0 871745818 3226087424 776753 33554432000 4194304 8979876 140737138844752 18446744073709551615 5538056 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18460/statm: 787619 776753 641 1169 0 786446 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 3150476
[startup+1422.31 s]
/proc/loadavg: 2.05 2.00 1.83 3/178 18508
/proc/meminfo: memFree=25753488/32951124 swapFree=67056964/67111528
[pid=18460] ppid=18458 vsize=3194228 CPUtime=1422.33 cores=0,2,4,6
/proc/18460/stat : 18460 (scip-2.0.1.4_2.) R 18458 18460 15024 0 -1 4202496 820194 0 0 0 142132 101 0 0 25 0 1 0 871745818 3270889472 787848 33554432000 4194304 8979876 140737138844752 18446744073709551615 5537616 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18460/statm: 798557 787848 641 1169 0 797384 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 3194228
[startup+1482.3 s]
/proc/loadavg: 2.02 2.00 1.83 3/178 18509
/proc/meminfo: memFree=25706164/32951124 swapFree=67056964/67111528
[pid=18460] ppid=18458 vsize=3238416 CPUtime=1482.33 cores=0,2,4,6
/proc/18460/stat : 18460 (scip-2.0.1.4_2.) R 18458 18460 15024 0 -1 4202496 831328 0 0 0 148130 103 0 0 25 0 1 0 871745818 3316137984 798982 33554432000 4194304 8979876 140737138844752 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18460/statm: 809604 798982 641 1169 0 808431 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3238416
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/178 18511
/proc/meminfo: memFree=25665568/32951124 swapFree=67056964/67111528
[pid=18460] ppid=18458 vsize=3281284 CPUtime=1542.33 cores=0,2,4,6
/proc/18460/stat : 18460 (scip-2.0.1.4_2.) R 18458 18460 15024 0 -1 4202496 841196 0 0 0 154129 104 0 0 25 0 1 0 871745818 3360034816 808850 33554432000 4194304 8979876 140737138844752 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18460/statm: 820321 808850 641 1169 0 819148 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 3281284
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/178 18512
/proc/meminfo: memFree=25621368/32951124 swapFree=67056964/67111528
[pid=18460] ppid=18458 vsize=3324440 CPUtime=1602.34 cores=0,2,4,6
/proc/18460/stat : 18460 (scip-2.0.1.4_2.) R 18458 18460 15024 0 -1 4202496 852221 0 0 0 160128 106 0 0 25 0 1 0 871745818 3404226560 819875 33554432000 4194304 8979876 140737138844752 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18460/statm: 831110 819875 641 1169 0 829937 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 3324440
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/178 18514
/proc/meminfo: memFree=25568344/32951124 swapFree=67056964/67111528
[pid=18460] ppid=18458 vsize=3377848 CPUtime=1662.34 cores=0,2,4,6
/proc/18460/stat : 18460 (scip-2.0.1.4_2.) R 18458 18460 15024 0 -1 4202496 865434 0 0 0 166126 108 0 0 25 0 1 0 871745818 3458916352 833088 33554432000 4194304 8979876 140737138844752 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18460/statm: 844462 833088 641 1169 0 843289 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 3377848
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 18516
/proc/meminfo: memFree=25515332/32951124 swapFree=67056964/67111528
[pid=18460] ppid=18458 vsize=3428360 CPUtime=1722.34 cores=0,2,4,6
/proc/18460/stat : 18460 (scip-2.0.1.4_2.) R 18458 18460 15024 0 -1 4202496 878606 0 0 0 172124 110 0 0 25 0 1 0 871745818 3510640640 846260 33554432000 4194304 8979876 140737138844752 18446744073709551615 6503345 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18460/statm: 857090 846260 641 1169 0 855917 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 3428360
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 18517
/proc/meminfo: memFree=25486520/32951124 swapFree=67056964/67111528
[pid=18460] ppid=18458 vsize=3454576 CPUtime=1782.34 cores=0,2,4,6
/proc/18460/stat : 18460 (scip-2.0.1.4_2.) R 18458 18460 15024 0 -1 4202496 885414 0 0 0 178123 111 0 0 25 0 1 0 871745818 3537485824 853068 33554432000 4194304 8979876 140737138844752 18446744073709551615 6503272 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18460/statm: 863644 853068 641 1169 0 862471 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3454576
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 18517
/proc/meminfo: memFree=25484908/32951124 swapFree=67056964/67111528
[pid=18460] ppid=18458 vsize=3456300 CPUtime=1785.54 cores=0,2,4,6
/proc/18460/stat : 18460 (scip-2.0.1.4_2.) R 18458 18460 15024 0 -1 4202496 885870 0 0 0 178443 111 0 0 25 0 1 0 871745818 3539251200 853524 33554432000 4194304 8979876 140737138844752 18446744073709551615 6503296 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18460/statm: 864075 853524 641 1169 0 862902 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 3456300
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 18518
/proc/meminfo: memFree=25480292/32951124 swapFree=67056964/67111528
[pid=18460] ppid=18458 vsize=3460896 CPUtime=1791.94 cores=0,2,4,6
/proc/18460/stat : 18460 (scip-2.0.1.4_2.) R 18458 18460 15024 0 -1 4202496 886961 0 0 0 179083 111 0 0 25 0 1 0 871745818 3543957504 854615 33554432000 4194304 8979876 140737138844752 18446744073709551615 6503476 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18460/statm: 865224 854615 641 1169 0 864051 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 3460896
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 18518
/proc/meminfo: memFree=25479176/32951124 swapFree=67056964/67111528
[pid=18460] ppid=18458 vsize=3461604 CPUtime=1795.14 cores=0,2,4,6
/proc/18460/stat : 18460 (scip-2.0.1.4_2.) R 18458 18460 15024 0 -1 4202496 887255 0 0 0 179403 111 0 0 25 0 1 0 871745818 3544682496 854909 33554432000 4194304 8979876 140737138844752 18446744073709551615 6430528 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18460/statm: 865401 854909 641 1169 0 864228 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 3461604
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 18520
/proc/meminfo: memFree=25477936/32951124 swapFree=67056964/67111528
[pid=18460] ppid=18458 vsize=3461604 CPUtime=1796.74 cores=0,2,4,6
/proc/18460/stat : 18460 (scip-2.0.1.4_2.) R 18458 18460 15024 0 -1 4202496 887277 0 0 0 179563 111 0 0 25 0 1 0 871745818 3544682496 854931 33554432000 4194304 8979876 140737138844752 18446744073709551615 4347574 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18460/statm: 865401 854931 641 1169 0 864228 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 3461604
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 18520
/proc/meminfo: memFree=25478308/32951124 swapFree=67056964/67111528
[pid=18460] ppid=18458 vsize=3442980 CPUtime=1797.54 cores=0,2,4,6
/proc/18460/stat : 18460 (scip-2.0.1.4_2.) R 18458 18460 15024 0 -1 4202496 887715 0 0 0 179642 112 0 0 18 0 1 0 871745818 3525611520 850477 33554432000 4194304 8979876 140737138844752 18446744073709551615 4895980 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/18460/statm: 860745 850477 652 1169 0 859572 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 3442980
[startup+1797.7 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 18520
/proc/meminfo: memFree=25478308/32951124 swapFree=67056964/67111528
[pid=18460] ppid=18458 vsize=2792368 CPUtime=1797.74 cores=0,2,4,6
/proc/18460/stat : 18460 (scip-2.0.1.4_2.) R 18458 18460 15024 0 -1 4202496 887731 0 0 0 179660 114 0 0 18 0 1 0 871745818 2859384832 688927 33554432000 4194304 8979876 140737138844752 18446744073709551615 7898903 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/18460/statm: 697836 688927 668 1169 0 696663 0
Current children cumulated CPU time (s) 1797.74
Current children cumulated vsize (KiB) 2792368
[startup+1797.8 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 18520
/proc/meminfo: memFree=25478308/32951124 swapFree=67056964/67111528
[pid=18460] ppid=18458 vsize=97244 CPUtime=1797.84 cores=0,2,4,6
/proc/18460/stat : 18460 (scip-2.0.1.4_2.) R 18458 18460 15024 0 -1 4202496 887731 0 0 0 179660 124 0 0 18 0 1 0 871745818 99577856 12111 33554432000 4194304 8979876 140737138844752 18446744073709551615 8073290 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/18460/statm: 24311 11599 577 1169 0 23138 0
Current children cumulated CPU time (s) 1797.84
Current children cumulated vsize (KiB) 97244
Child status: 0
Real time (s): 1797.8
CPU time (s): 1797.85
CPU user time (s): 1796.6
CPU system time (s): 1.24881
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3462628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.6
system time used= 1.24881
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 887736
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= 7
involuntary context switches= 971
runsolver used 2.82057 second user time and 5.52716 second system time
The end