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-3452718-1307092052.opb>
0.10/0.12 c original problem has 2470 variables (2470 bin, 0 int, 0 impl, 0 cont) and 4744 constraints
0.10/0.12 c problem read
0.10/0.12 c presolving settings loaded
0.10/0.16 c presolving:
0.19/0.20 c (round 1) 0 del vars, 2366 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 12 upgd conss, 0 impls, 0 clqs
0.49/0.54 c (0.5s) probing: 113/2470 (4.6%) - 0 fixings, 0 aggregations, 745 implications, 0 bound changes
0.49/0.54 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.49/0.54 c presolving (2 rounds):
0.49/0.54 c 0 deleted vars, 2366 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.54 c 4888 implications, 0 cliques
0.49/0.54 c presolved problem has 2470 variables (2470 bin, 0 int, 0 impl, 0 cont) and 2378 constraints
0.49/0.54 c 12 constraints of type <knapsack>
0.49/0.54 c 2366 constraints of type <linear>
0.49/0.54 c transformed objective value is always integral (scale: 1)
0.49/0.54 c Presolving Time: 0.41
0.49/0.54 c - non default parameters ----------------------------------------------------------------------
0.49/0.54 c # SCIP version 2.0.1.4
0.49/0.54 c
0.49/0.54 c # frequency for displaying node information lines
0.49/0.54 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.54 c display/freq = 10000
0.49/0.54 c
0.49/0.54 c # maximal time in seconds to run
0.49/0.54 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.54 c limits/time = 1800
0.49/0.54 c
0.49/0.54 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.54 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.54 c limits/memory = 13950
0.49/0.54 c
0.49/0.54 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.49/0.54 c # [type: int, range: [1,2], default: 1]
0.49/0.54 c timing/clocktype = 2
0.49/0.54 c
0.49/0.54 c # belongs reading time to solving time?
0.49/0.54 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.54 c timing/reading = TRUE
0.49/0.54 c
0.49/0.54 c # should presolving try to simplify inequalities
0.49/0.54 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.54 c constraints/linear/simplifyinequalities = TRUE
0.49/0.54 c
0.49/0.54 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.49/0.54 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.54 c constraints/indicator/addCouplingCons = TRUE
0.49/0.54 c
0.49/0.54 c # should presolving try to simplify knapsacks
0.49/0.54 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.54 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.54 c
0.49/0.54 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.54 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.54 c separating/rapidlearning/freq = 0
0.49/0.54 c
0.49/0.54 c -----------------------------------------------------------------------------------------------
0.49/0.54 c start solving
0.49/0.54 c
0.59/0.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.67 c 0.7s| 1 | 0 | 1918 | - | 20M| 0 |1440 |2470 |2398 |2470 |2378 | 0 | 20 | 0 | 1.200000e+01 | -- | Inf
1.79/1.89 c 1.9s| 1 | 0 | 4734 | - | 22M| 0 |1451 |2470 |3001 |2470 |2426 | 48 | 20 | 0 | 1.200000e+01 | -- | Inf
1.99/2.07 c 2.1s| 1 | 0 | 4782 | - | 22M| 0 |1452 |2470 |3001 |2470 |2479 | 101 | 20 | 0 | 1.200000e+01 | -- | Inf
2.20/2.29 c 2.3s| 1 | 0 | 4985 | - | 23M| 0 |1458 |2470 |3001 |2470 |2542 | 164 | 20 | 0 | 1.200000e+01 | -- | Inf
2.49/2.57 c 2.6s| 1 | 0 | 5282 | - | 24M| 0 |1453 |2470 |3001 |2470 |2611 | 233 | 20 | 0 | 1.200000e+01 | -- | Inf
2.79/2.80 c 2.8s| 1 | 0 | 5537 | - | 24M| 0 |1445 |2470 |3001 |2470 |2676 | 298 | 20 | 0 | 1.200000e+01 | -- | Inf
2.99/3.05 c 3.1s| 1 | 0 | 5818 | - | 25M| 0 |1472 |2470 |3001 |2470 |2729 | 351 | 20 | 0 | 1.200014e+01 | -- | Inf
4.19/4.21 c 4.2s| 1 | 2 | 5818 | - | 25M| 0 |1472 |2470 |3001 |2470 |2729 | 351 | 20 | 21 | 1.200014e+01 | -- | Inf
327.69/327.76 c 328s| 10000 | 9258 | 2457k| 245.2 | 43M| 45 |1216 |2470 |4391 |2470 |2439 | 351 |5300 |5651 | 1.700000e+01 | -- | Inf
702.50/702.58 c 703s| 20000 | 17401 | 6133k| 306.4 | 73M| 47 | - |2470 |4409 |2470 |2439 | 351 | 16k|9516 | 1.800000e+01 | -- | Inf
1083.81/1083.80 c 1084s| 30000 | 24784 | 10069k| 335.5 | 111M| 47 |1326 |2470 |4715 |2470 |2439 | 351 | 30k| 12k| 1.800000e+01 | -- | Inf
1430.22/1430.25 c 1430s| 40000 | 30547 | 13548k| 338.6 | 146M| 47 |1035 |2470 |5395 |2470 |2439 | 351 | 44k| 16k| 1.900000e+01 | -- | Inf
1704.83/1704.81 c 1705s| 50000 | 35316 | 16442k| 328.7 | 177M| 47 | - |2470 |5590 |2470 |2439 | 351 | 58k| 17k| 1.900000e+01 | -- | Inf
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.00 c Solving Time (sec) : 1800.00
1800.03/1800.00 c Solving Nodes : 53428
1800.03/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.03/1800.00 c Dual Bound : +1.90000000000000e+01
1800.03/1800.00 c Gap : infinite
1800.03/1800.00 s UNKNOWN
1800.03/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.00 c Total Time : 1800.00
1800.03/1800.00 c solving : 1800.00
1800.03/1800.00 c presolving : 0.41 (included in solving)
1800.03/1800.00 c reading : 0.12 (included in solving)
1800.03/1800.00 c Original Problem :
1800.03/1800.00 c Problem name : HOME/instance-3452718-1307092052.opb
1800.03/1800.00 c Variables : 2470 (2470 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.00 c Constraints : 4744 initial, 4744 maximal
1800.03/1800.00 c Presolved Problem :
1800.03/1800.00 c Problem name : t_HOME/instance-3452718-1307092052.opb
1800.03/1800.00 c Variables : 2470 (2470 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.00 c Constraints : 2378 initial, 6045 maximal
1800.03/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.03/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c probing : 0.32 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c knapsack : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c linear : 0.05 0 0 0 0 0 2366 0 0 0
1800.03/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c root node : - 0 - - 0 - - - - -
1800.03/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c integral : 0 0 0 47263 0 4 0 12 6392 0 0 91330
1800.03/1800.00 c knapsack : 12 6 307545 0 1 3 111972 692 74237 119 0 0
1800.03/1800.00 c linear : 2366+ 7 306883 0 0 0 119429 4375 3111255 0 0 0
1800.03/1800.00 c logicor : 0+ 6 195323 0 0 0 101301 419 333604 0 0 0
1800.03/1800.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1800.03/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.03/1800.00 c integral : 376.43 0.00 0.00 376.43 0.00 0.00 0.00
1800.03/1800.00 c knapsack : 10.25 0.00 10.19 0.00 0.00 0.00 0.07
1800.03/1800.00 c linear : 67.02 0.00 66.86 0.00 0.00 0.00 0.15
1800.03/1800.00 c logicor : 7.49 0.00 7.41 0.00 0.00 0.00 0.09
1800.03/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.03/1800.00 c vbounds : 0 0 0 0
1800.03/1800.00 c rootredcost : 0 0 0 0
1800.03/1800.00 c pseudoobj : 307350 0 0 0
1800.03/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.03/1800.00 c vbounds : 0.08 0.08 0.00
1800.03/1800.00 c rootredcost : 0.08 0.08 0.00
1800.03/1800.00 c pseudoobj : 0.20 0.20 0.00
1800.03/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.00 c propagation : 0.30 5486 5343 34941 26.6 329 10.8 -
1800.03/1800.00 c infeasible LP : 5.29 26791 26791 49090 13.5 2041 8.2 0
1800.03/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.00 c applied globally : - - - 63777 16.0 - - -
1800.03/1800.00 c applied locally : - - - 0 0.0 - - -
1800.03/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.00 c cut pool : 0.00 5 - - 2489 - (maximal pool size: 4016)
1800.03/1800.00 c redcost : 1.59 47494 0 299 0 0
1800.03/1800.00 c impliedbounds : 0.00 6 0 0 56 0
1800.03/1800.00 c intobj : 0.00 0 0 0 0 0
1800.03/1800.00 c gomory : 0.03 6 0 0 28 0
1800.03/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.03/1800.00 c strongcg : 0.03 6 0 0 18 0
1800.03/1800.00 c cmir : 0.61 6 0 0 3000 0
1800.03/1800.00 c flowcover : 0.31 6 0 0 1200 0
1800.03/1800.00 c clique : 0.00 1 0 0 0 0
1800.03/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.00 c mcf : 0.00 1 0 0 0 0
1800.03/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.03/1800.00 c rapidlearning : 0.82 1 0 0 0 603
1800.03/1800.00 c Pricers : Time Calls Vars
1800.03/1800.00 c problem variables: 0.00 0 0
1800.03/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c relpscost : 376.36 47263 12 6392 0 0 91330
1800.03/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c inference : 0.00 1 0 0 0 0 2
1800.03/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c random : 0.00 0 0 0 0 0 0
1800.03/1800.00 c Primal Heuristics : Time Calls Found
1800.03/1800.00 c LP solutions : 0.00 - 0
1800.03/1800.00 c pseudo solutions : 0.00 - 0
1800.03/1800.00 c oneopt : 0.03 0 0
1800.03/1800.00 c crossover : 0.02 0 0
1800.03/1800.00 c guideddiving : 0.00 0 0
1800.03/1800.00 c rootsoldiving : 14.39 51 0
1800.03/1800.00 c linesearchdiving : 73.71 407 0
1800.03/1800.00 c trivial : 0.00 2 0
1800.03/1800.00 c shiftandpropagate: 0.07 1 0
1800.03/1800.00 c simplerounding : 0.02 0 0
1800.03/1800.00 c zirounding : 0.33 1000 0
1800.03/1800.00 c rounding : 1.82 3028 0
1800.03/1800.00 c shifting : 9.31 935 0
1800.03/1800.00 c intshifting : 0.00 0 0
1800.03/1800.00 c twoopt : 0.00 0 0
1800.03/1800.00 c fixandinfer : 0.00 0 0
1800.03/1800.00 c feaspump : 30.76 59 0
1800.03/1800.00 c clique : 0.00 0 0
1800.03/1800.00 c coefdiving : 97.84 103 0
1800.03/1800.00 c pscostdiving : 69.99 264 0
1800.03/1800.00 c fracdiving : 100.70 128 0
1800.03/1800.00 c veclendiving : 48.28 264 0
1800.03/1800.00 c intdiving : 0.00 0 0
1800.03/1800.00 c actconsdiving : 0.00 0 0
1800.03/1800.00 c objpscostdiving : 28.78 54 0
1800.03/1800.00 c octane : 0.00 0 0
1800.03/1800.00 c rens : 0.01 0 0
1800.03/1800.00 c rins : 0.00 0 0
1800.03/1800.00 c localbranching : 0.00 0 0
1800.03/1800.00 c mutation : 0.00 0 0
1800.03/1800.00 c dins : 0.00 0 0
1800.03/1800.00 c vbounds : 0.00 0 0
1800.03/1800.00 c undercover : 0.00 0 0
1800.03/1800.00 c subnlp : 0.02 0 0
1800.03/1800.00 c trysol : 0.01 0 0
1800.03/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.00 c primal LP : 0.01 0 0 0.00 -
1800.03/1800.00 c dual LP : 801.64 52961 13289857 250.94 16578.33
1800.03/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.00 c diving/probing LP: 392.84 78264 4050996 51.76 10312.07
1800.03/1800.00 c strong branching : 364.19 18863 4297177 227.81 11799.23
1800.03/1800.00 c (at root node) : - 21 6350 302.38 -
1800.03/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.00 c B&B Tree :
1800.03/1800.00 c number of runs : 1
1800.03/1800.00 c nodes : 53428
1800.03/1800.00 c nodes (total) : 53428
1800.03/1800.00 c nodes left : 36799
1800.03/1800.00 c max depth : 47
1800.03/1800.00 c max depth (total): 47
1800.03/1800.00 c backtracks : 10991 (20.6%)
1800.03/1800.00 c delayed cutoffs : 1106
1800.03/1800.00 c repropagations : 20962 (396667 domain reductions, 362 cutoffs)
1800.03/1800.00 c avg switch length: 8.93
1800.03/1800.00 c switching time : 47.88
1800.03/1800.00 c Solution :
1800.03/1800.00 c Solutions found : 0 (0 improvements)
1800.03/1800.00 c Primal Bound : -
1800.03/1800.00 c Dual Bound : +1.90000000000000e+01
1800.03/1800.00 c Gap : infinite
1800.03/1800.00 c Root Dual Bound : +1.20001448255886e+01
1800.03/1800.00 c Root Iterations : 5818
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-3452718-1307092052/watcher-3452718-1307092052 -o /tmp/evaluation-result-3452718-1307092052/solver-3452718-1307092052 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452718-1307092052.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.84 1.98 1.92 3/443 9967
/proc/meminfo: memFree=31430092/32950928 swapFree=34365992/67111528
[pid=9967] ppid=9965 vsize=10280 CPUtime=0 cores=1,3,5,7
/proc/9967/stat : 9967 (scip-2.0.1.4.li) R 9965 9967 6518 0 -1 4202496 1562 0 0 0 0 0 0 0 19 0 1 0 820803938 10526720 1515 33554432000 4194304 9128323 140734404134464 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9967/statm: 2570 1515 400 1205 0 1361 0
[startup+0.110173 s]
/proc/loadavg: 1.84 1.98 1.92 3/443 9967
/proc/meminfo: memFree=31430092/32950928 swapFree=34365992/67111528
[pid=9967] ppid=9965 vsize=15884 CPUtime=0.1 cores=1,3,5,7
/proc/9967/stat : 9967 (scip-2.0.1.4.li) R 9965 9967 6518 0 -1 4202496 2969 0 0 0 10 0 0 0 20 0 1 0 820803938 16265216 2922 33554432000 4194304 9128323 140734404134464 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9967/statm: 3971 2922 400 1205 0 2762 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15884
[startup+0.201156 s]
/proc/loadavg: 1.84 1.98 1.92 3/443 9967
/proc/meminfo: memFree=31430092/32950928 swapFree=34365992/67111528
[pid=9967] ppid=9965 vsize=59288 CPUtime=0.19 cores=1,3,5,7
/proc/9967/stat : 9967 (scip-2.0.1.4.li) R 9965 9967 6518 0 -1 4202496 13603 0 0 0 18 1 0 0 20 0 1 0 820803938 60710912 13297 33554432000 4194304 9128323 140734404134464 18446744073709551615 5192510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9967/statm: 14822 13297 502 1205 0 13613 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 59288
[startup+0.301138 s]
/proc/loadavg: 1.84 1.98 1.92 3/443 9967
/proc/meminfo: memFree=31430092/32950928 swapFree=34365992/67111528
[pid=9967] ppid=9965 vsize=60376 CPUtime=0.29 cores=1,3,5,7
/proc/9967/stat : 9967 (scip-2.0.1.4.li) R 9965 9967 6518 0 -1 4202496 13931 0 0 0 28 1 0 0 20 0 1 0 820803938 61825024 13625 33554432000 4194304 9128323 140734404134464 18446744073709551615 5207912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9967/statm: 15094 13625 542 1205 0 13885 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 60376
[startup+0.701072 s]
/proc/loadavg: 1.84 1.98 1.92 3/443 9967
/proc/meminfo: memFree=31430092/32950928 swapFree=34365992/67111528
[pid=9967] ppid=9965 vsize=74880 CPUtime=0.69 cores=1,3,5,7
/proc/9967/stat : 9967 (scip-2.0.1.4.li) R 9965 9967 6518 0 -1 4202496 18667 0 0 0 67 2 0 0 21 0 1 0 820803938 76677120 17235 33554432000 4194304 9128323 140734404134464 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9967/statm: 18720 17235 677 1205 0 17511 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 74880
[startup+1.50092 s]
/proc/loadavg: 1.84 1.98 1.92 3/447 9992
/proc/meminfo: memFree=31302696/32950928 swapFree=34365992/67111528
[pid=9967] ppid=9965 vsize=106368 CPUtime=1.49 cores=1,3,5,7
/proc/9967/stat : 9967 (scip-2.0.1.4.li) R 9965 9967 6518 0 -1 4202496 26402 0 0 0 145 4 0 0 23 0 1 0 820803938 108920832 24965 33554432000 4194304 9128323 140734404134464 18446744073709551615 5199660 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9967/statm: 26592 24965 716 1205 0 25383 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 106368
[startup+3.10065 s]
/proc/loadavg: 1.84 1.98 1.92 3/447 9992
/proc/meminfo: memFree=31290048/32950928 swapFree=34365992/67111528
[pid=9967] ppid=9965 vsize=109040 CPUtime=3.09 cores=1,3,5,7
/proc/9967/stat : 9967 (scip-2.0.1.4.li) R 9965 9967 6518 0 -1 4202496 27328 0 0 0 304 5 0 0 25 0 1 0 820803938 111656960 25834 33554432000 4194304 9128323 140734404134464 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9967/statm: 27260 25834 734 1205 0 26051 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 109040
[startup+6.30108 s]
/proc/loadavg: 1.85 1.98 1.92 3/447 9992
/proc/meminfo: memFree=31286752/32950928 swapFree=34365992/67111528
[pid=9967] ppid=9965 vsize=109040 CPUtime=6.29 cores=1,3,5,7
/proc/9967/stat : 9967 (scip-2.0.1.4.li) R 9965 9967 6518 0 -1 4202496 27329 0 0 0 613 16 0 0 25 0 1 0 820803938 111656960 25835 33554432000 4194304 9128323 140734404134464 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9967/statm: 27260 25835 735 1205 0 26051 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 109040
[startup+12.7009 s]
/proc/loadavg: 1.87 1.98 1.92 3/447 9993
/proc/meminfo: memFree=31285536/32950928 swapFree=34365992/67111528
[pid=9967] ppid=9965 vsize=109040 CPUtime=12.69 cores=1,3,5,7
/proc/9967/stat : 9967 (scip-2.0.1.4.li) R 9965 9967 6518 0 -1 4202496 27329 0 0 0 1229 40 0 0 25 0 1 0 820803938 111656960 25835 33554432000 4194304 9128323 140734404134464 18446744073709551615 7343109 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9967/statm: 27260 25835 735 1205 0 26051 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 109040
[startup+25.5006 s]
/proc/loadavg: 1.89 1.98 1.92 3/447 9993
/proc/meminfo: memFree=31286388/32950928 swapFree=34365992/67111528
[pid=9967] ppid=9965 vsize=109040 CPUtime=25.49 cores=1,3,5,7
/proc/9967/stat : 9967 (scip-2.0.1.4.li) R 9965 9967 6518 0 -1 4202496 27332 0 0 0 2460 89 0 0 25 0 1 0 820803938 111656960 25838 33554432000 4194304 9128323 140734404134464 18446744073709551615 5826872 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9967/statm: 27260 25838 737 1205 0 26051 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 109040
[startup+51.1011 s]
/proc/loadavg: 1.93 1.98 1.92 3/447 9994
/proc/meminfo: memFree=31282136/32950928 swapFree=34365992/67111528
[pid=9967] ppid=9965 vsize=109040 CPUtime=51.09 cores=1,3,5,7
/proc/9967/stat : 9967 (scip-2.0.1.4.li) R 9965 9967 6518 0 -1 4202496 27333 0 0 0 4960 149 0 0 25 0 1 0 820803938 111656960 25839 33554432000 4194304 9128323 140734404134464 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9967/statm: 27260 25839 737 1205 0 26051 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 109040
[startup+102.301 s]
/proc/loadavg: 1.97 1.98 1.92 3/447 9995
/proc/meminfo: memFree=31266236/32950928 swapFree=34365992/67111528
[pid=9967] ppid=9965 vsize=109040 CPUtime=102.3 cores=1,3,5,7
/proc/9967/stat : 9967 (scip-2.0.1.4.li) R 9965 9967 6518 0 -1 4202496 27341 0 0 0 9919 311 0 0 25 0 1 0 820803938 111656960 25847 33554432000 4194304 9128323 140734404134464 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9967/statm: 27260 25847 737 1205 0 26051 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 109040
[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.92 3/447 9997
/proc/meminfo: memFree=31254800/32950928 swapFree=34365992/67111528
[pid=9967] ppid=9965 vsize=109040 CPUtime=162.29 cores=1,3,5,7
/proc/9967/stat : 9967 (scip-2.0.1.4.li) R 9965 9967 6518 0 -1 4202496 27355 0 0 0 15746 483 0 0 25 0 1 0 820803938 111656960 25861 33554432000 4194304 9128323 140734404134464 18446744073709551615 7342922 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9967/statm: 27260 25861 737 1205 0 26051 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 109040
[startup+222.317 s]
/proc/loadavg: 1.99 1.98 1.92 3/447 9998
/proc/meminfo: memFree=31243356/32950928 swapFree=34365992/67111528
[pid=9967] ppid=9965 vsize=109040 CPUtime=222.3 cores=1,3,5,7
/proc/9967/stat : 9967 (scip-2.0.1.4.li) R 9965 9967 6518 0 -1 4202496 27362 0 0 0 21540 690 0 0 25 0 1 0 820803938 111656960 25868 33554432000 4194304 9128323 140734404134464 18446744073709551615 7267331 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9967/statm: 27260 25868 737 1205 0 26051 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 109040
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.92 3/447 10000
/proc/meminfo: memFree=31236136/32950928 swapFree=34365992/67111528
[pid=9967] ppid=9965 vsize=109040 CPUtime=282.29 cores=1,3,5,7
/proc/9967/stat : 9967 (scip-2.0.1.4.li) R 9965 9967 6518 0 -1 4202496 27665 0 0 0 27340 889 0 0 25 0 1 0 820803938 111656960 26164 33554432000 4194304 9128323 140734404134464 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9967/statm: 27260 26164 737 1205 0 26051 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 109040
[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.92 3/447 10002
/proc/meminfo: memFree=31230160/32950928 swapFree=34365992/67111528
[pid=9967] ppid=9965 vsize=110064 CPUtime=342.3 cores=1,3,5,7
/proc/9967/stat : 9967 (scip-2.0.1.4.li) R 9965 9967 6518 0 -1 4202496 27930 0 0 0 33133 1097 0 0 25 0 1 0 820803938 112705536 26428 33554432000 4194304 9128323 140734404134464 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9967/statm: 27516 26428 736 1205 0 26307 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 110064
[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.92 3/447 10003
/proc/meminfo: memFree=31220940/32950928 swapFree=34365992/67111528
[pid=9967] ppid=9965 vsize=114984 CPUtime=402.3 cores=1,3,5,7
/proc/9967/stat : 9967 (scip-2.0.1.4.li) R 9965 9967 6518 0 -1 4202496 29164 0 0 0 38939 1291 0 0 25 0 1 0 820803938 117743616 27662 33554432000 4194304 9128323 140734404134464 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9967/statm: 28746 27662 736 1205 0 27537 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 114984
[startup+462.301 s]
/proc/loadavg: 2.14 2.02 1.94 3/447 10005
/proc/meminfo: memFree=31212600/32950928 swapFree=34365992/67111528
[pid=9967] ppid=9965 vsize=120608 CPUtime=462.29 cores=1,3,5,7
/proc/9967/stat : 9967 (scip-2.0.1.4.li) R 9965 9967 6518 0 -1 4202496 30469 0 0 0 44713 1516 0 0 25 0 1 0 820803938 123502592 28949 33554432000 4194304 9128323 140734404134464 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9967/statm: 30152 28949 736 1205 0 28943 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 120608
[startup+522.3 s]
/proc/loadavg: 2.11 2.03 1.94 3/447 10006
/proc/meminfo: memFree=31207968/32950928 swapFree=34365992/67111528
[pid=9967] ppid=9965 vsize=124264 CPUtime=522.3 cores=1,3,5,7
/proc/9967/stat : 9967 (scip-2.0.1.4.li) R 9965 9967 6518 0 -1 4202496 31530 0 0 0 50476 1754 0 0 25 0 1 0 820803938 127246336 29998 33554432000 4194304 9128323 140734404134464 18446744073709551615 7361805 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9967/statm: 31066 29998 736 1205 0 29857 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 124264
[startup+582.301 s]
/proc/loadavg: 2.10 2.04 1.95 3/447 10008
/proc/meminfo: memFree=31200484/32950928 swapFree=34365992/67111528
[pid=9967] ppid=9965 vsize=130944 CPUtime=582.29 cores=1,3,5,7
/proc/9967/stat : 9967 (scip-2.0.1.4.li) R 9965 9967 6518 0 -1 4202496 33203 0 0 0 56233 1996 0 0 25 0 1 0 820803938 134086656 31663 33554432000 4194304 9128323 140734404134464 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9967/statm: 32736 31663 736 1205 0 31527 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 130944
[startup+642.301 s]
################
# More data... #
################
[startup+882.317 s]
/proc/loadavg: 2.00 2.00 1.95 3/447 10016
/proc/meminfo: memFree=31151968/32950928 swapFree=34365992/67111528
[pid=9967] ppid=9965 vsize=166524 CPUtime=882.32 cores=1,3,5,7
/proc/9967/stat : 9967 (scip-2.0.1.4.li) R 9965 9967 6518 0 -1 4202496 42211 0 0 0 85073 3159 0 0 25 0 1 0 820803938 170520576 40597 33554432000 4194304 9128323 140734404134464 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9967/statm: 41631 40597 736 1205 0 40422 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 166524
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/447 10018
/proc/meminfo: memFree=31139180/32950928 swapFree=34365992/67111528
[pid=9967] ppid=9965 vsize=172360 CPUtime=942.31 cores=1,3,5,7
/proc/9967/stat : 9967 (scip-2.0.1.4.li) R 9965 9967 6518 0 -1 4202496 43674 0 0 0 90840 3391 0 0 25 0 1 0 820803938 176496640 42060 33554432000 4194304 9128323 140734404134464 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9967/statm: 43090 42060 736 1205 0 41881 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 172360
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/447 10019
/proc/meminfo: memFree=31119196/32950928 swapFree=34365992/67111528
[pid=9967] ppid=9965 vsize=179540 CPUtime=1002.31 cores=1,3,5,7
/proc/9967/stat : 9967 (scip-2.0.1.4.li) R 9965 9967 6518 0 -1 4202496 45470 0 0 0 96614 3617 0 0 25 0 1 0 820803938 183848960 43840 33554432000 4194304 9128323 140734404134464 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9967/statm: 44885 43840 736 1205 0 43676 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 179540
[startup+1062.3 s]
/proc/loadavg: 2.08 2.03 1.96 3/447 10021
/proc/meminfo: memFree=31099692/32950928 swapFree=34365992/67111528
[pid=9967] ppid=9965 vsize=189128 CPUtime=1062.31 cores=1,3,5,7
/proc/9967/stat : 9967 (scip-2.0.1.4.li) R 9965 9967 6518 0 -1 4202496 47896 0 0 0 102359 3872 0 0 25 0 1 0 820803938 193667072 46259 33554432000 4194304 9128323 140734404134464 18446744073709551615 5234106 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9967/statm: 47282 46259 736 1205 0 46073 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 189128
[startup+1122.3 s]
/proc/loadavg: 2.19 2.05 1.97 3/447 10022
/proc/meminfo: memFree=31075832/32950928 swapFree=34365992/67111528
[pid=9967] ppid=9965 vsize=200140 CPUtime=1122.31 cores=1,3,5,7
/proc/9967/stat : 9967 (scip-2.0.1.4.li) R 9965 9967 6518 0 -1 4202496 50662 0 0 0 108132 4099 0 0 25 0 1 0 820803938 204943360 49025 33554432000 4194304 9128323 140734404134464 18446744073709551615 5236087 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9967/statm: 50035 49025 736 1205 0 48826 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 200140
[startup+1182.3 s]
/proc/loadavg: 2.07 2.04 1.97 3/447 10024
/proc/meminfo: memFree=31057828/32950928 swapFree=34365992/67111528
[pid=9967] ppid=9965 vsize=207812 CPUtime=1182.32 cores=1,3,5,7
/proc/9967/stat : 9967 (scip-2.0.1.4.li) R 9965 9967 6518 0 -1 4202496 52579 0 0 0 113885 4347 0 0 25 0 1 0 820803938 212799488 50942 33554432000 4194304 9128323 140734404134464 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9967/statm: 51953 50942 736 1205 0 50744 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 207812
[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 1.97 3/447 10026
/proc/meminfo: memFree=31043284/32950928 swapFree=34365992/67111528
[pid=9967] ppid=9965 vsize=216200 CPUtime=1242.32 cores=1,3,5,7
/proc/9967/stat : 9967 (scip-2.0.1.4.li) R 9965 9967 6518 0 -1 4202496 54566 0 0 0 119647 4585 0 0 25 0 1 0 820803938 221388800 52924 33554432000 4194304 9128323 140734404134464 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9967/statm: 54050 52924 736 1205 0 52841 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 216200
[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/447 10027
/proc/meminfo: memFree=31025040/32950928 swapFree=34365992/67111528
[pid=9967] ppid=9965 vsize=223944 CPUtime=1302.31 cores=1,3,5,7
/proc/9967/stat : 9967 (scip-2.0.1.4.li) R 9965 9967 6518 0 -1 4202496 56541 0 0 0 125410 4821 0 0 25 0 1 0 820803938 229318656 54877 33554432000 4194304 9128323 140734404134464 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9967/statm: 55986 54877 736 1205 0 54777 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 223944
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/447 10029
/proc/meminfo: memFree=31007768/32950928 swapFree=34365992/67111528
[pid=9967] ppid=9965 vsize=231704 CPUtime=1362.32 cores=1,3,5,7
/proc/9967/stat : 9967 (scip-2.0.1.4.li) R 9965 9967 6518 0 -1 4202496 58633 0 0 0 131179 5053 0 0 25 0 1 0 820803938 237264896 56969 33554432000 4194304 9128323 140734404134464 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9967/statm: 57926 56969 736 1205 0 56717 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 231704
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/447 10030
/proc/meminfo: memFree=30991488/32950928 swapFree=34365992/67111528
[pid=9967] ppid=9965 vsize=239052 CPUtime=1422.32 cores=1,3,5,7
/proc/9967/stat : 9967 (scip-2.0.1.4.li) R 9965 9967 6518 0 -1 4202496 60401 0 0 0 136949 5283 0 0 25 0 1 0 820803938 244789248 58732 33554432000 4194304 9128323 140734404134464 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9967/statm: 59763 58732 736 1205 0 58554 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 239052
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/447 10032
/proc/meminfo: memFree=30970360/32950928 swapFree=34365992/67111528
[pid=9967] ppid=9965 vsize=248564 CPUtime=1482.32 cores=1,3,5,7
/proc/9967/stat : 9967 (scip-2.0.1.4.li) R 9965 9967 6518 0 -1 4202496 62857 0 0 0 142714 5518 0 0 25 0 1 0 820803938 254529536 61174 33554432000 4194304 9128323 140734404134464 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9967/statm: 62141 61174 736 1205 0 60932 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 248564
[startup+1542.32 s]
/proc/loadavg: 2.00 2.00 1.97 3/447 10034
/proc/meminfo: memFree=30957424/32950928 swapFree=34365992/67111528
[pid=9967] ppid=9965 vsize=258972 CPUtime=1542.33 cores=1,3,5,7
/proc/9967/stat : 9967 (scip-2.0.1.4.li) R 9965 9967 6518 0 -1 4202496 65477 0 0 0 148490 5743 0 0 25 0 1 0 820803938 265187328 63758 33554432000 4194304 9128323 140734404134464 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9967/statm: 64743 63758 736 1205 0 63534 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 258972
[startup+1602.3 s]
/proc/loadavg: 2.06 2.01 1.97 3/447 10035
/proc/meminfo: memFree=30934952/32950928 swapFree=34365992/67111528
[pid=9967] ppid=9965 vsize=268992 CPUtime=1602.32 cores=1,3,5,7
/proc/9967/stat : 9967 (scip-2.0.1.4.li) R 9965 9967 6518 0 -1 4202496 68026 0 0 0 154263 5969 0 0 25 0 1 0 820803938 275447808 66288 33554432000 4194304 9128323 140734404134464 18446744073709551615 7216907 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9967/statm: 67248 66288 736 1205 0 66039 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 268992
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/447 10037
/proc/meminfo: memFree=30909628/32950928 swapFree=34365992/67111528
[pid=9967] ppid=9965 vsize=278440 CPUtime=1662.33 cores=1,3,5,7
/proc/9967/stat : 9967 (scip-2.0.1.4.li) R 9965 9967 6518 0 -1 4202496 70367 0 0 0 160046 6187 0 0 25 0 1 0 820803938 285122560 68628 33554432000 4194304 9128323 140734404134464 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9967/statm: 69610 68628 736 1205 0 68401 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 278440
[startup+1722.3 s]
/proc/loadavg: 2.09 2.03 1.98 3/447 10038
/proc/meminfo: memFree=30896452/32950928 swapFree=34365992/67111528
[pid=9967] ppid=9965 vsize=288708 CPUtime=1722.32 cores=1,3,5,7
/proc/9967/stat : 9967 (scip-2.0.1.4.li) R 9965 9967 6518 0 -1 4202496 72946 0 0 0 165821 6411 0 0 25 0 1 0 820803938 295636992 71097 33554432000 4194304 9128323 140734404134464 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9967/statm: 72177 71097 736 1205 0 70968 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 288708
[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 1.98 3/447 10040
/proc/meminfo: memFree=30882020/32950928 swapFree=34365992/67111528
[pid=9967] ppid=9965 vsize=298068 CPUtime=1782.32 cores=1,3,5,7
/proc/9967/stat : 9967 (scip-2.0.1.4.li) R 9965 9967 6518 0 -1 4202496 75444 0 0 0 171589 6643 0 0 25 0 1 0 820803938 305221632 73573 33554432000 4194304 9128323 140734404134464 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9967/statm: 74517 73573 736 1205 0 73308 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 298068
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.02 2.02 1.98 3/447 10040
/proc/meminfo: memFree=30879396/32950928 swapFree=34365992/67111528
[pid=9967] ppid=9965 vsize=300708 CPUtime=1800.04 cores=1,3,5,7
/proc/9967/stat : 9967 (scip-2.0.1.4.li) R 9965 9967 6518 0 -1 4202496 76123 0 0 0 173293 6711 0 0 25 0 1 0 820803938 307924992 74227 33554432000 4194304 9128323 140734404134464 18446744073709551615 6890048 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9967/statm: 75177 74227 738 1205 0 73968 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 300708
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.02 2.02 1.98 3/447 10040
/proc/meminfo: memFree=30879396/32950928 swapFree=34365992/67111528
[pid=9967] ppid=9965 vsize=300708 CPUtime=1800.04 cores=1,3,5,7
/proc/9967/stat : 9967 (scip-2.0.1.4.li) R 9965 9967 6518 0 -1 4202496 76123 0 0 0 173293 6711 0 0 25 0 1 0 820803938 307924992 74227 33554432000 4194304 9128323 140734404134464 18446744073709551615 6890048 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9967/statm: 75177 74227 738 1205 0 73968 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 300708
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.07
CPU user time (s): 1732.94
CPU system time (s): 67.1278
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 300708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1732.94
system time used= 67.1278
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76124
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= 3589
runsolver used 7.78382 second user time and 18.4222 second system time
The end