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-3486302-1307792255.opb>
1.39/1.45 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245455 constraints
1.39/1.45 c problem read
1.39/1.46 c presolving settings loaded
2.39/2.40 c presolving:
11.00/11.06 c (round 1) 6712 del vars, 19813 del conss, 0 add conss, 5155 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16584408 impls, 0 clqs
15.19/15.29 c (round 2) 13395 del vars, 47679 del conss, 0 add conss, 11451 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16617703 impls, 0 clqs
16.69/16.79 c (round 3) 15630 del vars, 58332 del conss, 0 add conss, 12795 chg bounds, 23 chg sides, 45 chg coeffs, 0 upgd conss, 16632241 impls, 0 clqs
17.50/17.57 c (round 4) 16783 del vars, 62879 del conss, 0 add conss, 13474 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16640375 impls, 0 clqs
18.09/18.16 c (round 5) 17590 del vars, 65936 del conss, 0 add conss, 14012 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16648618 impls, 0 clqs
18.60/18.62 c (round 6) 18204 del vars, 68297 del conss, 0 add conss, 14421 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16655341 impls, 0 clqs
18.99/19.08 c (round 7) 18878 del vars, 70599 del conss, 0 add conss, 14870 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16661380 impls, 0 clqs
19.39/19.40 c (round 8) 19335 del vars, 72461 del conss, 0 add conss, 15174 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16665877 impls, 0 clqs
19.59/19.63 c (round 9) 19680 del vars, 73757 del conss, 0 add conss, 15369 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16669878 impls, 0 clqs
19.80/19.83 c (round 10) 19930 del vars, 74797 del conss, 0 add conss, 15528 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16673642 impls, 0 clqs
19.89/19.99 c (round 11) 20121 del vars, 75518 del conss, 0 add conss, 15661 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16675582 impls, 0 clqs
20.09/20.11 c (round 12) 20255 del vars, 76117 del conss, 0 add conss, 15747 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16677399 impls, 0 clqs
20.19/20.22 c (round 13) 20353 del vars, 76519 del conss, 0 add conss, 15818 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16678425 impls, 0 clqs
20.29/20.31 c (round 14) 20395 del vars, 76725 del conss, 0 add conss, 15843 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16678715 impls, 0 clqs
20.39/20.41 c (round 15) 20415 del vars, 76827 del conss, 0 add conss, 15857 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16678757 impls, 0 clqs
21.09/21.15 c (round 16) 20415 del vars, 76848 del conss, 0 add conss, 15857 chg bounds, 36 chg sides, 67 chg coeffs, 168607 upgd conss, 16678757 impls, 0 clqs
22.19/22.24 c (round 17) 20415 del vars, 76849 del conss, 14 add conss, 15857 chg bounds, 56 chg sides, 210 chg coeffs, 168607 upgd conss, 16679393 impls, 7331 clqs
741.35/741.43 c (741.4s) probing: 1000/52427 (1.9%) - 29 fixings, 13 aggregations, 11775840 implications, 0 bound changes
1375.05/1375.15 c (1375.1s) probing: 2000/52427 (3.8%) - 29 fixings, 13 aggregations, 19337832 implications, 0 bound changes
1551.75/1551.85 c (1551.9s) probing: 2341/52427 (4.5%) - 29 fixings, 13 aggregations, 21507041 implications, 0 bound changes
1551.75/1551.85 c (1551.9s) probing aborted: 2000/2000 successive useless probings
1551.75/1551.85 c (round 18) 20457 del vars, 76849 del conss, 14 add conss, 15857 chg bounds, 58 chg sides, 224 chg coeffs, 168607 upgd conss, 99355379 impls, 7611 clqs
1552.85/1552.93 c (round 19) 20463 del vars, 77706 del conss, 14 add conss, 15857 chg bounds, 58 chg sides, 304 chg coeffs, 168607 upgd conss, 99355493 impls, 7611 clqs
1721.46/1721.55 c (round 20) 20517 del vars, 77712 del conss, 15 add conss, 15857 chg bounds, 59 chg sides, 312 chg coeffs, 168607 upgd conss, 102649871 impls, 7678 clqs
1728.55/1728.69 c (round 21) 20535 del vars, 77922 del conss, 15 add conss, 15857 chg bounds, 59 chg sides, 318 chg coeffs, 168607 upgd conss, 102840709 impls, 7678 clqs
1729.16/1729.27 c (round 22) 20535 del vars, 77940 del conss, 15 add conss, 15857 chg bounds, 59 chg sides, 318 chg coeffs, 168607 upgd conss, 102840709 impls, 7678 clqs
1797.26/1797.36 c (1797.4s) probing: 2646/52427 (5.0%) - 86 fixings, 26 aggregations, 22995146 implications, 0 bound changes
1797.26/1797.36 c (1797.4s) probing aborted: solving stopped
1797.26/1797.36 c (round 23) 20551 del vars, 77940 del conss, 15 add conss, 15857 chg bounds, 59 chg sides, 318 chg coeffs, 168607 upgd conss, 104802491 impls, 7678 clqs
1797.26/1797.36 c presolving (23 rounds):
1797.26/1797.36 c 20551 deleted vars, 77940 deleted constraints, 15 added constraints, 15857 tightened bounds, 0 added holes, 59 changed sides, 318 changed coefficients
1797.26/1797.36 c 104802491 implications, 7678 cliques
1797.26/1797.36 c presolving was interrupted.
1797.26/1797.36 c Presolving Time: 1795.65
1797.26/1797.36 c - non default parameters ----------------------------------------------------------------------
1797.26/1797.36 c # SCIP version 2.0.1.4
1797.26/1797.36 c
1797.26/1797.36 c # frequency for displaying node information lines
1797.26/1797.36 c # [type: int, range: [-1,2147483647], default: 100]
1797.26/1797.36 c display/freq = 10000
1797.26/1797.36 c
1797.26/1797.36 c # maximal time in seconds to run
1797.26/1797.36 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.26/1797.36 c limits/time = 1797
1797.26/1797.36 c
1797.26/1797.36 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1797.26/1797.36 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.26/1797.36 c limits/memory = 13950
1797.26/1797.36 c
1797.26/1797.36 c # default clock type (1: CPU user seconds, 2: wall clock time)
1797.26/1797.36 c # [type: int, range: [1,2], default: 1]
1797.26/1797.36 c timing/clocktype = 2
1797.26/1797.36 c
1797.26/1797.36 c # belongs reading time to solving time?
1797.26/1797.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.26/1797.36 c timing/reading = TRUE
1797.26/1797.36 c
1797.26/1797.36 c # should presolving try to simplify inequalities
1797.26/1797.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.26/1797.36 c constraints/linear/simplifyinequalities = TRUE
1797.26/1797.36 c
1797.26/1797.36 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1797.26/1797.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.26/1797.36 c constraints/indicator/addCouplingCons = TRUE
1797.26/1797.36 c
1797.26/1797.36 c # should presolving try to simplify knapsacks
1797.26/1797.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.26/1797.36 c constraints/knapsack/simplifyinequalities = TRUE
1797.26/1797.36 c
1797.26/1797.36 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1797.26/1797.36 c # [type: int, range: [-1,2147483647], default: -1]
1797.26/1797.36 c separating/rapidlearning/freq = 0
1797.26/1797.36 c
1797.26/1797.36 c -----------------------------------------------------------------------------------------------
1797.26/1797.36 c start solving
1797.26/1797.40 c presolving:
1797.26/1797.40 c presolving (23 rounds):
1797.26/1797.40 c 20551 deleted vars, 77940 deleted constraints, 15 added constraints, 15857 tightened bounds, 0 added holes, 59 changed sides, 318 changed coefficients
1797.26/1797.40 c 104802491 implications, 7678 cliques
1797.26/1797.40 c presolving was interrupted.
1797.26/1797.40 c Presolving Time: 1795.68
1797.26/1797.40 c
1797.26/1797.40 c SCIP Status : solving was interrupted [time limit reached]
1797.26/1797.40 c Solving Time (sec) : 1797.40
1797.26/1797.40 c Solving Nodes : 0
1797.26/1797.40 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.26/1797.40 s UNKNOWN
1797.26/1797.40 c SCIP Status : solving was interrupted [time limit reached]
1797.26/1797.40 c Total Time : 1797.40
1797.26/1797.40 c solving : 1797.40
1797.26/1797.40 c presolving : 1795.68 (included in solving)
1797.26/1797.40 c reading : 1.46 (included in solving)
1797.26/1797.40 c Original Problem :
1797.26/1797.40 c Problem name : HOME/instance-3486302-1307792255.opb
1797.26/1797.40 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.26/1797.40 c Constraints : 245455 initial, 245455 maximal
1797.26/1797.40 c Presolved Problem :
1797.26/1797.40 c Problem name : t_HOME/instance-3486302-1307792255.opb
1797.26/1797.40 c Variables : 52291 (52291 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.26/1797.40 c Constraints : 167530 initial, 167530 maximal
1797.26/1797.40 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.26/1797.40 c trivial : 0.07 1071 0 0 0 0 0 0 0 0
1797.26/1797.40 c dualfix : 0.11 120 0 0 0 0 0 0 0 0
1797.26/1797.40 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.26/1797.40 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.26/1797.40 c implics : 8.27 0 24 0 0 0 0 0 0 0
1797.26/1797.40 c probing : 1765.20 86 26 0 0 0 0 0 0 0
1797.26/1797.40 c pseudoboolean : 0.00 0 0 0 0 0 0 0 0 0
1797.26/1797.40 c knapsack : 2.51 0 0 0 0 0 0 15 23 251
1797.26/1797.40 c setppc : 0.57 0 0 0 0 0 1081 0 0 0
1797.26/1797.40 c linear : 17.80 14786 4438 0 15857 0 76848 0 36 67
1797.26/1797.40 c logicor : 0.16 0 0 0 0 0 11 0 0 0
1797.26/1797.40 c root node : - 0 - - 0 - - - - -
1797.26/1797.40 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.26/1797.40 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1797.26/1797.40 c pseudoboolean : 0+ 0 0 0 0 0 0 0 0 0 0 0
1797.26/1797.40 c knapsack : 0+ 0 117151 0 0 0 0 16 0 0 0 0
1797.26/1797.40 c setppc : 0+ 0 117135 0 0 0 0 14 0 0 0 0
1797.26/1797.40 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1797.26/1797.40 c logicor : 0+ 0 106695 0 0 0 0 22 0 0 0 0
1797.26/1797.40 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1797.26/1797.40 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.26/1797.40 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.26/1797.40 c pseudoboolean : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.26/1797.40 c knapsack : 8.97 0.00 8.97 0.00 0.00 0.00 0.00
1797.26/1797.40 c setppc : 664.40 0.00 664.40 0.00 0.00 0.00 0.00
1797.26/1797.40 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.26/1797.40 c logicor : 10.45 0.00 10.45 0.00 0.00 0.00 0.00
1797.26/1797.40 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.26/1797.40 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.26/1797.40 c vbounds : 0 0 0 0
1797.26/1797.40 c rootredcost : 0 0 0 0
1797.26/1797.40 c pseudoobj : 0 0 0 0
1797.26/1797.40 c Propagator Timings : TotalTime Propagate Resprop
1797.26/1797.40 c vbounds : 0.04 0.04 0.00
1797.26/1797.40 c rootredcost : 0.02 0.02 0.00
1797.26/1797.40 c pseudoobj : 0.02 0.02 0.00
1797.26/1797.40 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.26/1797.40 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.26/1797.40 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.26/1797.40 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.26/1797.40 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.26/1797.40 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.26/1797.40 c applied globally : - - - 0 0.0 - - -
1797.26/1797.40 c applied locally : - - - 0 0.0 - - -
1797.96/1798.00 c Time complete: 1797.96.
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-3486302-1307792255/watcher-3486302-1307792255 -o /tmp/evaluation-result-3486302-1307792255/solver-3486302-1307792255 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486302-1307792255.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 3/175 19462
/proc/meminfo: memFree=31515316/32951132 swapFree=67052544/67111528
[pid=19462] ppid=19460 vsize=10152 CPUtime=0 cores=0,2,4,6
/proc/19462/stat : 19462 (scip-2.0.1.4_2.) R 19460 19462 16337 0 -1 4202496 1529 0 0 0 0 0 0 0 22 0 1 0 890824148 10395648 1483 33554432000 4194304 8979876 140737113374928 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19462/statm: 2538 1483 366 1169 0 1365 0
[startup+0.0310919 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19462
/proc/meminfo: memFree=31515316/32951132 swapFree=67052544/67111528
[pid=19462] ppid=19460 vsize=16016 CPUtime=0.02 cores=0,2,4,6
/proc/19462/stat : 19462 (scip-2.0.1.4_2.) R 19460 19462 16337 0 -1 4202496 3023 0 0 0 2 0 0 0 22 0 1 0 890824148 16400384 2977 33554432000 4194304 8979876 140737113374928 18446744073709551615 7807849 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19462/statm: 4004 2977 366 1169 0 2831 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16016
[startup+0.101069 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19462
/proc/meminfo: memFree=31515316/32951132 swapFree=67052544/67111528
[pid=19462] ppid=19460 vsize=27412 CPUtime=0.09 cores=0,2,4,6
/proc/19462/stat : 19462 (scip-2.0.1.4_2.) R 19460 19462 16337 0 -1 4202496 5868 0 0 0 9 0 0 0 22 0 1 0 890824148 28069888 5822 33554432000 4194304 8979876 140737113374928 18446744073709551615 6177503 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19462/statm: 6853 5822 366 1169 0 5680 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27412
[startup+0.301043 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19462
/proc/meminfo: memFree=31515316/32951132 swapFree=67052544/67111528
[pid=19462] ppid=19460 vsize=52108 CPUtime=0.29 cores=0,2,4,6
/proc/19462/stat : 19462 (scip-2.0.1.4_2.) R 19460 19462 16337 0 -1 4202496 12038 0 0 0 28 1 0 0 23 0 1 0 890824148 53358592 11992 33554432000 4194304 8979876 140737113374928 18446744073709551615 6177241 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19462/statm: 13027 11992 366 1169 0 11854 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52108
[startup+0.700991 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19462
/proc/meminfo: memFree=31515316/32951132 swapFree=67052544/67111528
[pid=19462] ppid=19460 vsize=72864 CPUtime=0.69 cores=0,2,4,6
/proc/19462/stat : 19462 (scip-2.0.1.4_2.) R 19460 19462 16337 0 -1 4202496 17220 0 0 0 67 2 0 0 25 0 1 0 890824148 74612736 17174 33554432000 4194304 8979876 140737113374928 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19462/statm: 18216 17174 366 1169 0 17043 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 72864
[startup+1.50089 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19463
/proc/meminfo: memFree=31341236/32951132 swapFree=67052544/67111528
[pid=19462] ppid=19460 vsize=175592 CPUtime=1.49 cores=0,2,4,6
/proc/19462/stat : 19462 (scip-2.0.1.4_2.) R 19460 19462 16337 0 -1 4202496 42746 0 0 0 144 5 0 0 25 0 1 0 890824148 179806208 42681 33554432000 4194304 8979876 140737113374928 18446744073709551615 6779003 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19462/statm: 44027 42751 414 1169 0 42854 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 175592
[startup+3.10059 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19463
/proc/meminfo: memFree=30775380/32951132 swapFree=67052544/67111528
[pid=19462] ppid=19460 vsize=460392 CPUtime=3.1 cores=0,2,4,6
/proc/19462/stat : 19462 (scip-2.0.1.4_2.) R 19460 19462 16337 0 -1 4202496 124657 0 0 0 294 16 0 0 25 0 1 0 890824148 471441408 112147 33554432000 4194304 8979876 140737113374928 18446744073709551615 6783506 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19462/statm: 115098 112147 487 1169 0 113925 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 460392
[startup+6.30103 s]
/proc/loadavg: 2.08 2.02 2.01 3/176 19463
/proc/meminfo: memFree=30273928/32951132 swapFree=67052544/67111528
[pid=19462] ppid=19460 vsize=681172 CPUtime=6.29 cores=0,2,4,6
/proc/19462/stat : 19462 (scip-2.0.1.4_2.) R 19460 19462 16337 0 -1 4202496 179597 0 0 0 608 21 0 0 25 0 1 0 890824148 697520128 167087 33554432000 4194304 8979876 140737113374928 18446744073709551615 6503511 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19462/statm: 170293 167087 494 1169 0 169120 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 681172
[startup+12.7009 s]
/proc/loadavg: 2.23 2.05 2.02 4/176 19464
/proc/meminfo: memFree=29816132/32951132 swapFree=67052544/67111528
[pid=19462] ppid=19460 vsize=886928 CPUtime=12.69 cores=0,2,4,6
/proc/19462/stat : 19462 (scip-2.0.1.4_2.) R 19460 19462 16337 0 -1 4202496 228474 0 0 0 1241 28 0 0 25 0 1 0 890824148 908214272 215707 33554432000 4194304 8979876 140737113374928 18446744073709551615 6504341 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19462/statm: 221732 215707 504 1169 0 220559 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 886928
[startup+25.5007 s]
/proc/loadavg: 2.54 2.13 2.04 3/176 19465
/proc/meminfo: memFree=29680280/32951132 swapFree=67052544/67111528
[pid=19462] ppid=19460 vsize=959636 CPUtime=25.49 cores=0,2,4,6
/proc/19462/stat : 19462 (scip-2.0.1.4_2.) R 19460 19462 16337 0 -1 4202496 260747 0 0 0 2516 33 0 0 25 0 1 0 890824148 982667264 233395 33554432000 4194304 8979876 140737113374928 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19462/statm: 239909 233395 582 1169 0 238736 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 959636
[startup+51.1004 s]
/proc/loadavg: 2.35 2.12 2.04 3/176 19465
/proc/meminfo: memFree=29622368/32951132 swapFree=67052544/67111528
[pid=19462] ppid=19460 vsize=985580 CPUtime=51.09 cores=0,2,4,6
/proc/19462/stat : 19462 (scip-2.0.1.4_2.) R 19460 19462 16337 0 -1 4202496 266976 0 0 0 5075 34 0 0 25 0 1 0 890824148 1009233920 239360 33554432000 4194304 8979876 140737113374928 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19462/statm: 246395 239360 582 1169 0 245222 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 985580
[startup+102.307 s]
/proc/loadavg: 2.15 2.10 2.03 3/176 19467
/proc/meminfo: memFree=29490256/32951132 swapFree=67052544/67111528
[pid=19462] ppid=19460 vsize=1048064 CPUtime=102.3 cores=0,2,4,6
/proc/19462/stat : 19462 (scip-2.0.1.4_2.) R 19460 19462 16337 0 -1 4202496 281560 0 0 0 10194 36 0 0 25 0 1 0 890824148 1073217536 253944 33554432000 4194304 8979876 140737113374928 18446744073709551615 6503464 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19462/statm: 262016 253944 582 1169 0 260843 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1048064
[startup+162.301 s]
/proc/loadavg: 2.05 2.08 2.03 3/176 19468
/proc/meminfo: memFree=29242744/32951132 swapFree=67052544/67111528
[pid=19462] ppid=19460 vsize=1166908 CPUtime=162.29 cores=0,2,4,6
/proc/19462/stat : 19462 (scip-2.0.1.4_2.) R 19460 19462 16337 0 -1 4202496 311419 0 0 0 16189 40 0 0 25 0 1 0 890824148 1194913792 283803 33554432000 4194304 8979876 140737113374928 18446744073709551615 4460239 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19462/statm: 291727 283803 582 1169 0 290554 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1166908
[startup+222.301 s]
/proc/loadavg: 2.02 2.06 2.02 3/176 19469
/proc/meminfo: memFree=29003044/32951132 swapFree=67052544/67111528
[pid=19462] ppid=19460 vsize=1257964 CPUtime=222.28 cores=0,2,4,6
/proc/19462/stat : 19462 (scip-2.0.1.4_2.) R 19460 19462 16337 0 -1 4202496 334172 0 0 0 22185 43 0 0 25 0 1 0 890824148 1288155136 306259 33554432000 4194304 8979876 140737113374928 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19462/statm: 314491 306259 582 1169 0 313318 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 1257964
[startup+282.301 s]
/proc/loadavg: 2.00 2.05 2.02 3/176 19471
/proc/meminfo: memFree=28771760/32951132 swapFree=67052544/67111528
[pid=19462] ppid=19460 vsize=1360740 CPUtime=282.29 cores=0,2,4,6
/proc/19462/stat : 19462 (scip-2.0.1.4_2.) R 19460 19462 16337 0 -1 4202496 360174 0 0 0 28182 47 0 0 25 0 1 0 890824148 1393397760 331865 33554432000 4194304 8979876 140737113374928 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19462/statm: 340185 331865 582 1169 0 339012 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1360740
[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/176 19473
/proc/meminfo: memFree=28437328/32951132 swapFree=67052544/67111528
[pid=19462] ppid=19460 vsize=1558052 CPUtime=342.27 cores=0,2,4,6
/proc/19462/stat : 19462 (scip-2.0.1.4_2.) R 19460 19462 16337 0 -1 4202496 408958 0 0 0 34175 52 0 0 25 0 1 0 890824148 1595445248 380616 33554432000 4194304 8979876 140737113374928 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19462/statm: 389513 380616 582 1169 0 388340 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 1558052
[startup+402.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/176 19475
/proc/meminfo: memFree=28175672/32951132 swapFree=67052544/67111528
[pid=19462] ppid=19460 vsize=1686632 CPUtime=402.26 cores=0,2,4,6
/proc/19462/stat : 19462 (scip-2.0.1.4_2.) R 19460 19462 16337 0 -1 4202496 440604 0 0 0 40169 57 0 0 25 0 1 0 890824148 1727111168 412262 33554432000 4194304 8979876 140737113374928 18446744073709551615 6503511 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19462/statm: 421658 412262 582 1169 0 420485 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 1686632
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 19476
/proc/meminfo: memFree=27857340/32951132 swapFree=67052544/67111528
[pid=19462] ppid=19460 vsize=1796872 CPUtime=462.25 cores=0,2,4,6
/proc/19462/stat : 19462 (scip-2.0.1.4_2.) R 19460 19462 16337 0 -1 4202496 468290 0 0 0 46163 62 0 0 25 0 1 0 890824148 1839996928 439948 33554432000 4194304 8979876 140737113374928 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19462/statm: 449218 439948 582 1169 0 448045 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 1796872
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 19477
/proc/meminfo: memFree=27630896/32951132 swapFree=67052544/67111528
[pid=19462] ppid=19460 vsize=1890252 CPUtime=522.24 cores=0,2,4,6
/proc/19462/stat : 19462 (scip-2.0.1.4_2.) R 19460 19462 16337 0 -1 4202496 491008 0 0 0 52158 66 0 0 25 0 1 0 890824148 1935618048 462666 33554432000 4194304 8979876 140737113374928 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/19462/statm: 472563 462666 582 1169 0 471390 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 1890252
[startup+582.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/176 19479
/proc/meminfo: memFree=27356844/32951132 swapFree=67052544/67111528
[pid=19462] ppid=19460 vsize=2009448 CPUtime=582.24 cores=0,2,4,6
/proc/19462/stat : 19462 (scip-2.0.1.4_2.) R 19460 19462 16337 0 -1 4202496 520279 0 0 0 58155 69 0 0 25 0 1 0 890824148 2057674752 491937 33554432000 4194304 8979876 140737113374928 18446744073709551615 4881820 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/19462/statm: 502362 491937 582 1169 0 501189 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 2009448
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=26003208/32951132 swapFree=67052544/67111528
[pid=19462] ppid=19460 vsize=2922632 CPUtime=1122.25 cores=0,2,4,6
/proc/19462/stat : 19462 (scip-2.0.1.4_2.) R 19460 19462 16337 0 -1 4202496 747372 0 0 0 112127 98 0 0 25 0 1 0 890824148 2992775168 719030 33554432000 4194304 8979876 140737113374928 18446744073709551615 6503476 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/19462/statm: 730658 719030 587 1169 0 729485 0
Current children cumulated CPU time (s) 1122.25
Current children cumulated vsize (KiB) 2922632
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19495
/proc/meminfo: memFree=25882304/32951132 swapFree=67052544/67111528
[pid=19462] ppid=19460 vsize=2978280 CPUtime=1182.25 cores=0,2,4,6
/proc/19462/stat : 19462 (scip-2.0.1.4_2.) R 19460 19462 16337 0 -1 4202496 760957 0 0 0 118125 100 0 0 25 0 1 0 890824148 3049758720 732615 33554432000 4194304 8979876 140737113374928 18446744073709551615 6503488 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/19462/statm: 744570 732615 587 1169 0 743397 0
Current children cumulated CPU time (s) 1182.25
Current children cumulated vsize (KiB) 2978280
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19497
/proc/meminfo: memFree=25777764/32951132 swapFree=67052544/67111528
[pid=19462] ppid=19460 vsize=3021012 CPUtime=1242.25 cores=0,2,4,6
/proc/19462/stat : 19462 (scip-2.0.1.4_2.) R 19460 19462 16337 0 -1 4202496 772381 0 0 0 124123 102 0 0 25 0 1 0 890824148 3093516288 744039 33554432000 4194304 8979876 140737113374928 18446744073709551615 6503328 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/19462/statm: 755253 744039 587 1169 0 754080 0
Current children cumulated CPU time (s) 1242.25
Current children cumulated vsize (KiB) 3021012
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19499
/proc/meminfo: memFree=25643324/32951132 swapFree=67052544/67111528
[pid=19462] ppid=19460 vsize=3084716 CPUtime=1302.25 cores=0,2,4,6
/proc/19462/stat : 19462 (scip-2.0.1.4_2.) R 19460 19462 16337 0 -1 4202496 788583 0 0 0 130121 104 0 0 25 0 1 0 890824148 3158749184 760175 33554432000 4194304 8979876 140737113374928 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/19462/statm: 771179 760175 587 1169 0 770006 0
Current children cumulated CPU time (s) 1302.25
Current children cumulated vsize (KiB) 3084716
[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 19500
/proc/meminfo: memFree=25468604/32951132 swapFree=67052544/67111528
[pid=19462] ppid=19460 vsize=3159444 CPUtime=1362.25 cores=0,2,4,6
/proc/19462/stat : 19462 (scip-2.0.1.4_2.) R 19460 19462 16337 0 -1 4202496 806575 0 0 0 136118 107 0 0 25 0 1 0 890824148 3235270656 778167 33554432000 4194304 8979876 140737113374928 18446744073709551615 4919341 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/19462/statm: 789861 778167 587 1169 0 788688 0
Current children cumulated CPU time (s) 1362.25
Current children cumulated vsize (KiB) 3159444
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 19510
/proc/meminfo: memFree=25302724/32951132 swapFree=67052544/67111528
[pid=19462] ppid=19460 vsize=3234676 CPUtime=1422.25 cores=0,2,4,6
/proc/19462/stat : 19462 (scip-2.0.1.4_2.) R 19460 19462 16337 0 -1 4202496 825026 0 0 0 142116 109 0 0 25 0 1 0 890824148 3312308224 796618 33554432000 4194304 8979876 140737113374928 18446744073709551615 6492563 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/19462/statm: 808669 796618 587 1169 0 807496 0
Current children cumulated CPU time (s) 1422.25
Current children cumulated vsize (KiB) 3234676
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19512
/proc/meminfo: memFree=25140136/32951132 swapFree=67052544/67111528
[pid=19462] ppid=19460 vsize=3284804 CPUtime=1482.25 cores=0,2,4,6
/proc/19462/stat : 19462 (scip-2.0.1.4_2.) R 19460 19462 16337 0 -1 4202496 838479 0 0 0 148113 112 0 0 25 0 1 0 890824148 3363639296 810071 33554432000 4194304 8979876 140737113374928 18446744073709551615 4917102 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/19462/statm: 821201 810071 587 1169 0 820028 0
Current children cumulated CPU time (s) 1482.25
Current children cumulated vsize (KiB) 3284804
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19514
/proc/meminfo: memFree=25029760/32951132 swapFree=67052544/67111528
[pid=19462] ppid=19460 vsize=3348636 CPUtime=1542.25 cores=0,2,4,6
/proc/19462/stat : 19462 (scip-2.0.1.4_2.) R 19460 19462 16337 0 -1 4202496 853419 0 0 0 154112 113 0 0 25 0 1 0 890824148 3429003264 825011 33554432000 4194304 8979876 140737113374928 18446744073709551615 4887680 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/19462/statm: 837159 825011 587 1169 0 835986 0
Current children cumulated CPU time (s) 1542.25
Current children cumulated vsize (KiB) 3348636
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19516
/proc/meminfo: memFree=24917900/32951132 swapFree=67052544/67111528
[pid=19462] ppid=19460 vsize=3398296 CPUtime=1602.25 cores=0,2,4,6
/proc/19462/stat : 19462 (scip-2.0.1.4_2.) R 19460 19462 16337 0 -1 4202496 865971 0 0 0 160110 115 0 0 25 0 1 0 890824148 3479855104 837563 33554432000 4194304 8979876 140737113374928 18446744073709551615 6503525 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/19462/statm: 849574 837563 587 1169 0 848401 0
Current children cumulated CPU time (s) 1602.25
Current children cumulated vsize (KiB) 3398296
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19517
/proc/meminfo: memFree=24787684/32951132 swapFree=67052544/67111528
[pid=19462] ppid=19460 vsize=3428740 CPUtime=1662.26 cores=0,2,4,6
/proc/19462/stat : 19462 (scip-2.0.1.4_2.) R 19460 19462 16337 0 -1 4202496 873911 0 0 0 166110 116 0 0 25 0 1 0 890824148 3511029760 845503 33554432000 4194304 8979876 140737113374928 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/19462/statm: 857185 845503 587 1169 0 856012 0
Current children cumulated CPU time (s) 1662.26
Current children cumulated vsize (KiB) 3428740
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19520
/proc/meminfo: memFree=24622624/32951132 swapFree=67052544/67111528
[pid=19462] ppid=19460 vsize=3467264 CPUtime=1722.25 cores=0,2,4,6
/proc/19462/stat : 19462 (scip-2.0.1.4_2.) R 19460 19462 16337 0 -1 4202496 883475 0 0 0 172108 117 0 0 25 0 1 0 890824148 3550478336 855067 33554432000 4194304 8979876 140737113374928 18446744073709551615 6504341 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/19462/statm: 866816 855067 587 1169 0 865643 0
Current children cumulated CPU time (s) 1722.25
Current children cumulated vsize (KiB) 3467264
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 19523
/proc/meminfo: memFree=24521628/32951132 swapFree=67052544/67111528
[pid=19462] ppid=19460 vsize=3484004 CPUtime=1782.26 cores=0,2,4,6
/proc/19462/stat : 19462 (scip-2.0.1.4_2.) R 19460 19462 16337 0 -1 4202496 888681 0 0 0 178108 118 0 0 25 0 1 0 890824148 3567620096 860273 33554432000 4194304 8979876 140737113374928 18446744073709551615 6503483 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/19462/statm: 871001 860273 587 1169 0 869828 0
Current children cumulated CPU time (s) 1782.26
Current children cumulated vsize (KiB) 3484004
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 19523
/proc/meminfo: memFree=24515180/32951132 swapFree=67052544/67111528
[pid=19462] ppid=19460 vsize=3486656 CPUtime=1785.46 cores=0,2,4,6
/proc/19462/stat : 19462 (scip-2.0.1.4_2.) R 19460 19462 16337 0 -1 4202496 889284 0 0 0 178428 118 0 0 25 0 1 0 890824148 3570335744 860876 33554432000 4194304 8979876 140737113374928 18446744073709551615 6503272 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/19462/statm: 871664 860876 587 1169 0 870491 0
Current children cumulated CPU time (s) 1785.46
Current children cumulated vsize (KiB) 3486656
[startup+1791.91 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 19523
/proc/meminfo: memFree=24504612/32951132 swapFree=67052544/67111528
[pid=19462] ppid=19460 vsize=3491268 CPUtime=1791.86 cores=0,2,4,6
/proc/19462/stat : 19462 (scip-2.0.1.4_2.) R 19460 19462 16337 0 -1 4202496 890283 0 0 0 179068 118 0 0 25 0 1 0 890824148 3575058432 861875 33554432000 4194304 8979876 140737113374928 18446744073709551615 6491966 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/19462/statm: 872817 861875 587 1169 0 871644 0
Current children cumulated CPU time (s) 1791.86
Current children cumulated vsize (KiB) 3491268
[startup+1795.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 19523
/proc/meminfo: memFree=24497916/32951132 swapFree=67052544/67111528
[pid=19462] ppid=19460 vsize=3493036 CPUtime=1795.06 cores=0,2,4,6
/proc/19462/stat : 19462 (scip-2.0.1.4_2.) R 19460 19462 16337 0 -1 4202496 890732 0 0 0 179388 118 0 0 25 0 1 0 890824148 3576868864 862324 33554432000 4194304 8979876 140737113374928 18446744073709551615 6503288 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/19462/statm: 873259 862324 587 1169 0 872086 0
Current children cumulated CPU time (s) 1795.06
Current children cumulated vsize (KiB) 3493036
[startup+1796.7 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 19523
/proc/meminfo: memFree=24497296/32951132 swapFree=67052544/67111528
[pid=19462] ppid=19460 vsize=3493036 CPUtime=1796.66 cores=0,2,4,6
/proc/19462/stat : 19462 (scip-2.0.1.4_2.) R 19460 19462 16337 0 -1 4202496 890803 0 0 0 179548 118 0 0 25 0 1 0 890824148 3576868864 862395 33554432000 4194304 8979876 140737113374928 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/19462/statm: 873259 862395 587 1169 0 872086 0
Current children cumulated CPU time (s) 1796.66
Current children cumulated vsize (KiB) 3493036
[startup+1797.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 19523
/proc/meminfo: memFree=24730664/32951132 swapFree=67052544/67111528
[pid=19462] ppid=19460 vsize=3493256 CPUtime=1797.45 cores=0,2,4,6
/proc/19462/stat : 19462 (scip-2.0.1.4_2.) R 19460 19462 16337 0 -1 4202496 891924 0 0 0 179627 118 0 0 18 0 1 0 890824148 3577094144 862426 33554432000 4194304 8979876 140737113374928 18446744073709551615 4881271 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/19462/statm: 873314 862426 598 1169 0 872141 0
Current children cumulated CPU time (s) 1797.45
Current children cumulated vsize (KiB) 3493256
[startup+1797.9 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 19523
/proc/meminfo: memFree=24730664/32951132 swapFree=67052544/67111528
[pid=19462] ppid=19460 vsize=2589688 CPUtime=1797.86 cores=0,2,4,6
/proc/19462/stat : 19462 (scip-2.0.1.4_2.) R 19460 19462 16337 0 -1 4202496 891940 0 0 0 179663 123 0 0 18 0 1 0 890824148 2651840512 624753 33554432000 4194304 8979876 140737113374928 18446744073709551615 8073290 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/19462/statm: 647422 624753 614 1169 0 646249 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 2589688
[startup+1798 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 19523
/proc/meminfo: memFree=24730664/32951132 swapFree=67052544/67111528
[pid=19462] ppid=19460 vsize=142368 CPUtime=1797.96 cores=0,2,4,6
/proc/19462/stat : 19462 (scip-2.0.1.4_2.) R 19460 19462 16337 0 -1 4202496 891940 0 0 0 179663 133 0 0 18 0 1 0 890824148 145784832 4432 33554432000 4194304 8979876 140737113374928 18446744073709551615 8073290 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/19462/statm: 35592 4221 577 1169 0 34419 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 142368
Child status: 0
Real time (s): 1798
CPU time (s): 1797.97
CPU user time (s): 1796.63
CPU system time (s): 1.3318
CPU usage (%): 99.998
Max. virtual memory (cumulated for all children) (KiB): 3495632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.63
system time used= 1.3318
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 891945
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= 4
involuntary context switches= 1343
runsolver used 3.15552 second user time and 6.06408 second system time
The end