0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 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-2703315-1278573086.opb>
0.00/0.02 c original problem has 1566 variables (1566 bin, 0 int, 0 impl, 0 cont) and 1617 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.04 o 0
0.00/0.04 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.04 c presolving:
0.09/0.11 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 150 upgd conss, 11828 impls, 100 clqs
0.19/0.21 c (0.2s) probing: 101/1566 (6.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.21 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.21 c presolving (2 rounds):
0.19/0.21 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.21 c 11828 implications, 100 cliques
0.19/0.21 c presolved problem has 1566 variables (1566 bin, 0 int, 0 impl, 0 cont) and 1617 constraints
0.19/0.21 c 150 constraints of type <setppc>
0.19/0.21 c 1466 constraints of type <and>
0.19/0.21 c 1 constraints of type <linear>
0.19/0.21 c transformed objective value is always integral (scale: 1)
0.19/0.21 c Presolving Time: 0.17
0.19/0.21 c - non default parameters ----------------------------------------------------------------------
0.19/0.21 c # SCIP version 1.2.1.3
0.19/0.21 c
0.19/0.21 c # frequency for displaying node information lines
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.21 c display/freq = 10000
0.19/0.21 c
0.19/0.21 c # maximal time in seconds to run
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/time = 1789.98
0.19/0.21 c
0.19/0.21 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/memory = 1620
0.19/0.21 c
0.19/0.21 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.21 c # [type: int, range: [1,2], default: 1]
0.19/0.21 c timing/clocktype = 2
0.19/0.21 c
0.19/0.21 c # should presolving try to simplify inequalities
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/linear/simplifyinequalities = TRUE
0.19/0.21 c
0.19/0.21 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/indicator/addCouplingCons = TRUE
0.19/0.21 c
0.19/0.21 c # should presolving try to simplify knapsacks
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.21 c
0.19/0.21 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21 c heuristics/undercover/freq = 0
0.19/0.21 c
0.19/0.21 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21 c separating/rapidlearning/freq = 0
0.19/0.21 c
0.19/0.21 c -----------------------------------------------------------------------------------------------
0.19/0.21 c start solving
0.19/0.21 c
0.49/0.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.54 c t 0.5s| 1 | 0 | 1106 | - |7512k| 0 | 693 |1566 |1617 |1566 |3083 | 0 | 0 | 0 |-2.500000e+01 | 0.000000e+00 | 100.00%
0.49/0.55 o -2
0.49/0.55 c s 0.5s| 1 | 0 | 1106 | - |7561k| 0 | 693 |1566 |1617 |1566 |3083 | 0 | 0 | 0 |-2.500000e+01 |-2.000000e+00 | 92.00%
0.69/0.73 o -3
0.69/0.73 c u 0.7s| 1 | 0 | 1106 | - |7572k| 0 | 693 |1566 |1617 |1566 |3083 | 0 | 0 | 0 |-2.500000e+01 |-3.000000e+00 | 88.00%
2.49/2.57 c 2.5s| 1 | 0 | 1552 | - |7765k| 0 | 779 |1566 |1617 |1566 |3098 | 15 | 0 | 0 |-2.500000e+01 |-3.000000e+00 | 88.00%
3.69/3.70 c 3.7s| 1 | 0 | 2093 | - |7953k| 0 | 806 |1566 |1617 |1566 |3105 | 22 | 0 | 0 |-2.500000e+01 |-3.000000e+00 | 88.00%
5.40/5.43 c 5.4s| 1 | 0 | 2631 | - |8168k| 0 | 807 |1566 |1617 |1566 |3112 | 29 | 0 | 0 |-2.500000e+01 |-3.000000e+00 | 88.00%
6.89/6.94 c 6.9s| 1 | 0 | 3045 | - |8724k| 0 | 816 |1566 |1617 |1566 |3121 | 38 | 0 | 0 |-2.500000e+01 |-3.000000e+00 | 88.00%
8.89/8.94 c 8.9s| 1 | 0 | 3742 | - |8951k| 0 | 819 |1566 |1617 |1566 |3126 | 43 | 0 | 0 |-2.500000e+01 |-3.000000e+00 | 88.00%
10.29/10.39 c 10.4s| 1 | 0 | 4114 | - |9126k| 0 | 808 |1566 |1617 |1566 |3131 | 48 | 0 | 0 |-2.500000e+01 |-3.000000e+00 | 88.00%
22.19/22.29 c 22.3s| 1 | 2 | 4114 | - |9127k| 0 | 808 |1566 |1617 |1566 |3131 | 48 | 0 | 12 |-2.500000e+01 |-3.000000e+00 | 88.00%
33.18/33.20 o -4
33.18/33.20 c R33.2s| 6 | 5 | 9542 |1085.6 |9203k| 5 | 24 |1566 |1617 |1566 |1264 | 606 | 0 | 108 |-2.500000e+01 |-4.000000e+00 | 84.00%
33.39/33.42 o -5
33.39/33.42 c *33.4s| 8 | 5 | 9580 | 780.9 |9280k| 7 | - |1566 |1617 |1566 |1241 | 607 | 0 | 143 |-2.500000e+01 |-5.000000e+00 | 80.00%
91.18/91.27 o -6
91.18/91.27 c *91.2s| 41 | 25 | 38044 | 848.2 |9429k| 14 | - |1566 |1618 |1566 |1711 |2624 | 1 | 519 |-2.431678e+01 |-6.000000e+00 | 75.33%
230.64/230.79 o -7
230.64/230.79 c v 231s| 564 | 264 |262334 | 458.7 | 10M| 45 | - |1566 |1656 |1566 |1599 | 12k| 39 |1150 |-1.491528e+01 |-7.000000e+00 | 53.07%
504.79/504.98 c 505s| 10000 | 1006 |726064 | 72.2 | 21M| 61 | 104 |1566 |1794 |1566 |1651 | 24k| 244 |4025 |-1.166865e+01 |-7.000000e+00 | 40.01%
564.57/564.71 c
564.57/564.71 c SCIP Status : problem is solved [optimal solution found]
564.57/564.71 c Solving Time (sec) : 564.69
564.57/564.71 c Solving Nodes : 14109
564.57/564.71 c Primal Bound : -7.00000000000000e+00 (14 solutions)
564.57/564.71 c Dual Bound : -7.00000000000000e+00
564.57/564.71 c Gap : 0.00 %
564.57/564.71 s OPTIMUM FOUND
564.57/564.71 v -x59 -x66 -x97 -x60 -x58 -x56 -x96 -x87 -x72 -x90 x98 -x94 -x93 -x82 x62 -x70 -x51 x99 -x91 x89 -x85 x78 -x67 -x63 -x61 -x57 -x81
564.57/564.71 v -x71 x83 -x73 -x74 -x80 -x69 -x68 -x100 -x92 -x53 -x54 -x65 x55 -x95 -x86 -x79 -x76 -x88 -x64 -x77 -x75 -x84 -x52 -x50 -x49
564.57/564.71 v -x48 x47 -x46 -x45 -x44 -x43 x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 x31 x30 -x29 -x28 -x27 -x26 x25 -x24 -x23
564.57/564.71 v -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
564.57/564.71 c SCIP Status : problem is solved [optimal solution found]
564.57/564.72 c Solving Time : 564.69
564.57/564.72 c Original Problem :
564.57/564.72 c Problem name : HOME/instance-2703315-1278573086.opb
564.57/564.72 c Variables : 1566 (1566 binary, 0 integer, 0 implicit integer, 0 continuous)
564.57/564.72 c Constraints : 1617 initial, 1617 maximal
564.57/564.72 c Presolved Problem :
564.57/564.72 c Problem name : t_HOME/instance-2703315-1278573086.opb
564.57/564.72 c Variables : 1566 (1566 binary, 0 integer, 0 implicit integer, 0 continuous)
564.57/564.72 c Constraints : 1617 initial, 1800 maximal
564.57/564.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
564.57/564.72 c trivial : 0.00 0 0 0 0 0 0 0 0
564.57/564.72 c dualfix : 0.00 0 0 0 0 0 0 0 0
564.57/564.72 c boundshift : 0.00 0 0 0 0 0 0 0 0
564.57/564.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0
564.57/564.72 c implics : 0.00 0 0 0 0 0 0 0 0
564.57/564.72 c probing : 0.03 0 0 0 0 0 0 0 0
564.57/564.72 c setppc : 0.00 0 0 0 0 0 0 0 0
564.57/564.72 c and : 0.12 0 0 0 0 0 0 0 0
564.57/564.72 c linear : 0.01 0 0 0 0 0 0 0 0
564.57/564.72 c logicor : 0.00 0 0 0 0 0 0 0 0
564.57/564.72 c root node : - 61 - - 61 - - - -
564.57/564.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
564.57/564.72 c integral : 0 0 0 7829 0 19 1515 0 0 14212
564.57/564.72 c setppc : 150 6 49097 2 0 70 51628 0 0 0
564.57/564.72 c and : 1466 11665 49027 2 0 30 935441 28910 0 0
564.57/564.72 c linear : 1 6 48994 2 0 16 27 0 0 0
564.57/564.72 c logicor : 0+ 0 10836 0 0 4 1414 0 0 0
564.57/564.72 c countsols : 0 0 0 2 0 0 0 0 0 0
564.57/564.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
564.57/564.72 c integral : 162.09 0.00 0.00 162.09 0.00
564.57/564.72 c setppc : 0.50 0.00 0.50 0.00 0.00
564.57/564.72 c and : 8.92 4.75 4.17 0.00 0.00
564.57/564.72 c linear : 0.51 0.01 0.51 0.00 0.00
564.57/564.72 c logicor : 0.18 0.00 0.18 0.00 0.00
564.57/564.72 c countsols : 0.00 0.00 0.00 0.00 0.00
564.57/564.72 c Propagators : Time Calls Cutoffs DomReds
564.57/564.72 c vbounds : 0.03 2 0 0
564.57/564.72 c rootredcost : 0.04 5 0 0
564.57/564.72 c pseudoobj : 0.26 49261 109 284
564.57/564.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
564.57/564.72 c propagation : 0.01 228 226 327 33.1 0 0.0 -
564.57/564.72 c infeasible LP : 0.01 7 7 16 27.3 0 0.0 0
564.57/564.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
564.57/564.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
564.57/564.72 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
564.57/564.72 c applied globally : - - - 285 30.2 - - -
564.57/564.72 c applied locally : - - - 0 0.0 - - -
564.57/564.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
564.57/564.72 c cut pool : 0.00 5 - - 0 - (maximal pool size: 234)
564.57/564.72 c redcost : 1.33 12349 0 38517 0 0
564.57/564.72 c impliedbounds : 0.00 6 0 0 24 0
564.57/564.72 c intobj : 0.00 0 0 0 0 0
564.57/564.72 c cgmip : 0.00 0 0 0 0 0
564.57/564.72 c gomory : 2.98 6 0 0 4 0
564.57/564.72 c strongcg : 2.59 6 0 0 431 0
564.57/564.72 c cmir : 0.19 6 0 0 1 0
564.57/564.72 c flowcover : 0.19 6 0 0 2 0
564.57/564.72 c clique : 0.14 6 0 0 36 0
564.57/564.72 c zerohalf : 0.00 0 0 0 0 0
564.57/564.72 c mcf : 0.03 3 0 0 3 0
564.57/564.72 c rapidlearning : 1.11 1 0 0 0 0
564.57/564.72 c Pricers : Time Calls Vars
564.57/564.72 c problem variables: 0.00 0 0
564.57/564.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
564.57/564.72 c relpscost : 162.07 7827 19 1515 0 0 14212
564.57/564.72 c pscost : 0.00 0 0 0 0 0 0
564.57/564.72 c inference : 0.00 0 0 0 0 0 0
564.57/564.72 c mostinf : 0.00 0 0 0 0 0 0
564.57/564.72 c leastinf : 0.00 0 0 0 0 0 0
564.57/564.72 c fullstrong : 0.00 0 0 0 0 0 0
564.57/564.72 c allfullstrong : 0.00 0 0 0 0 0 0
564.57/564.72 c random : 0.00 0 0 0 0 0 0
564.57/564.72 c Primal Heuristics : Time Calls Found
564.57/564.72 c LP solutions : 0.00 - 2
564.57/564.72 c pseudo solutions : 0.00 - 0
564.57/564.72 c feaspump : 0.00 0 0
564.57/564.72 c oneopt : 0.02 5 0
564.57/564.72 c objpscostdiving : 6.75 10 0
564.57/564.72 c crossover : 0.39 7 0
564.57/564.72 c coefdiving : 10.35 28 0
564.57/564.72 c pscostdiving : 4.25 28 0
564.57/564.72 c linesearchdiving : 7.19 28 0
564.57/564.72 c fracdiving : 11.23 28 0
564.57/564.72 c guideddiving : 7.19 28 0
564.57/564.72 c veclendiving : 8.30 28 1
564.57/564.72 c rootsoldiving : 2.13 15 0
564.57/564.72 c trivial : 0.00 2 3
564.57/564.72 c simplerounding : 0.02 0 0
564.57/564.72 c zirounding : 0.28 1000 0
564.57/564.72 c rounding : 3.35 4873 1
564.57/564.72 c shifting : 1.30 1147 6
564.57/564.72 c intshifting : 0.00 0 0
564.57/564.72 c twoopt : 0.00 0 0
564.57/564.72 c fixandinfer : 0.00 0 0
564.57/564.72 c intdiving : 0.00 0 0
564.57/564.72 c actconsdiving : 0.00 0 0
564.57/564.72 c octane : 0.00 0 0
564.57/564.72 c rens : 0.01 0 0
564.57/564.72 c rins : 0.00 0 0
564.57/564.72 c localbranching : 0.00 0 0
564.57/564.72 c mutation : 0.00 0 0
564.57/564.72 c dins : 0.00 0 0
564.57/564.72 c undercover : 0.19 1 1
564.57/564.72 c nlp : 0.01 0 0
564.57/564.72 c trysol : 0.01 0 0
564.57/564.72 c LP : Time Calls Iterations Iter/call Iter/sec
564.57/564.72 c primal LP : 1.96 0 0 0.00 0.00
564.57/564.72 c dual LP : 292.85 18546 724309 39.05 2473.29
564.57/564.72 c lex dual LP : 0.00 0 0 0.00 -
564.57/564.72 c barrier LP : 0.00 0 0 0.00 -
564.57/564.72 c diving/probing LP: 46.67 9696 112638 11.62 2413.52
564.57/564.72 c strong branching : 161.29 4570 384201 84.07 2382.01
564.57/564.72 c (at root node) : - 12 11507 958.92 -
564.57/564.72 c conflict analysis: 0.00 0 0 0.00 -
564.57/564.72 c B&B Tree :
564.57/564.72 c number of runs : 1
564.57/564.72 c nodes : 14109
564.57/564.72 c nodes (total) : 14109
564.57/564.72 c nodes left : 0
564.57/564.72 c max depth : 61
564.57/564.72 c max depth (total): 61
564.57/564.72 c backtracks : 2317 (16.4%)
564.57/564.72 c delayed cutoffs : 1
564.57/564.72 c repropagations : 1152 (2372 domain reductions, 0 cutoffs)
564.57/564.72 c avg switch length: 8.91
564.57/564.72 c switching time : 9.34
564.57/564.72 c Solution :
564.57/564.72 c Solutions found : 14 (7 improvements)
564.57/564.72 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
564.57/564.72 c Primal Bound : -7.00000000000000e+00 (in run 1, after 564 nodes, 230.76 seconds, depth 38, found by <veclendiving>)
564.57/564.72 c Dual Bound : -7.00000000000000e+00
564.57/564.72 c Gap : 0.00 %
564.57/564.72 c Root Dual Bound : -2.49999999999999e+01
564.57/564.72 c Root Iterations : 4114
564.57/564.75 c Time complete: 564.62.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703315-1278573086/watcher-2703315-1278573086 -o /tmp/evaluation-result-2703315-1278573086/solver-2703315-1278573086 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703315-1278573086.opb -t 1800 -m 1800
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.95 0.50 0.53 3/106 30165
/proc/meminfo: memFree=1676908/2059040 swapFree=4122624/4192956
[pid=30165] ppid=30163 vsize=7904 CPUtime=0
/proc/30165/stat : 30165 (pbscip.linux.x8) R 30163 30165 30096 0 -1 4202496 1095 0 0 0 0 0 0 0 20 0 1 0 25515243 8093696 1006 1992294400 4194304 8395647 140735149397504 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30165/statm: 1976 1014 365 1026 0 946 0
[startup+0.058266 s]
/proc/loadavg: 0.95 0.50 0.53 3/106 30165
/proc/meminfo: memFree=1676908/2059040 swapFree=4122624/4192956
[pid=30165] ppid=30163 vsize=18768 CPUtime=0.05
/proc/30165/stat : 30165 (pbscip.linux.x8) R 30163 30165 30096 0 -1 4202496 4066 0 0 0 4 1 0 0 20 0 1 0 25515243 19218432 3623 1992294400 4194304 8395647 140735149397504 18446744073709551615 6016721 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30165/statm: 4692 3623 461 1026 0 3662 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 18768
[startup+0.101268 s]
/proc/loadavg: 0.95 0.50 0.53 3/106 30165
/proc/meminfo: memFree=1676908/2059040 swapFree=4122624/4192956
[pid=30165] ppid=30163 vsize=18768 CPUtime=0.09
/proc/30165/stat : 30165 (pbscip.linux.x8) R 30163 30165 30096 0 -1 4202496 4066 0 0 0 8 1 0 0 20 0 1 0 25515243 19218432 3623 1992294400 4194304 8395647 140735149397504 18446744073709551615 18446744073699066094 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30165/statm: 4692 3623 461 1026 0 3662 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18768
[startup+0.301281 s]
/proc/loadavg: 0.95 0.50 0.53 3/106 30165
/proc/meminfo: memFree=1676908/2059040 swapFree=4122624/4192956
[pid=30165] ppid=30163 vsize=26944 CPUtime=0.29
/proc/30165/stat : 30165 (pbscip.linux.x8) R 30163 30165 30096 0 -1 4202496 6263 0 0 0 28 1 0 0 20 0 1 0 25515243 27590656 5748 1992294400 4194304 8395647 140735149397504 18446744073709551615 6697090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30165/statm: 6736 5748 567 1026 0 5706 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26944
[startup+0.701307 s]
/proc/loadavg: 0.95 0.50 0.53 3/106 30165
/proc/meminfo: memFree=1676908/2059040 swapFree=4122624/4192956
[pid=30165] ppid=30163 vsize=43932 CPUtime=0.69
/proc/30165/stat : 30165 (pbscip.linux.x8) R 30163 30165 30096 0 -1 4202496 11520 0 0 0 65 4 0 0 20 0 1 0 25515243 44986368 10118 1992294400 4194304 8395647 140735149397504 18446744073709551615 6349190 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30165/statm: 10983 10118 597 1026 0 9953 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43932
[startup+1.50136 s]
/proc/loadavg: 0.95 0.50 0.53 2/107 30166
/proc/meminfo: memFree=1638584/2059040 swapFree=4122624/4192956
[pid=30165] ppid=30163 vsize=43932 CPUtime=1.49
/proc/30165/stat : 30165 (pbscip.linux.x8) R 30163 30165 30096 0 -1 4202496 11583 0 0 0 130 19 0 0 22 0 1 0 25515243 44986368 10181 1992294400 4194304 8395647 140735149397504 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30165/statm: 10983 10181 636 1026 0 9953 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43932
[startup+3.10147 s]
/proc/loadavg: 0.95 0.50 0.53 2/107 30166
/proc/meminfo: memFree=1635608/2059040 swapFree=4122624/4192956
[pid=30165] ppid=30163 vsize=43880 CPUtime=3.09
/proc/30165/stat : 30165 (pbscip.linux.x8) R 30163 30165 30096 0 -1 4202496 12494 0 0 0 281 28 0 0 25 0 1 0 25515243 44933120 10172 1992294400 4194304 8395647 140735149397504 18446744073709551615 6125122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30165/statm: 10970 10172 636 1026 0 9940 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 43880
[startup+6.30068 s]
/proc/loadavg: 0.95 0.51 0.53 2/107 30166
/proc/meminfo: memFree=1637592/2059040 swapFree=4122624/4192956
[pid=30165] ppid=30163 vsize=43880 CPUtime=6.29
/proc/30165/stat : 30165 (pbscip.linux.x8) R 30163 30165 30096 0 -1 4202496 12607 0 0 0 600 29 0 0 25 0 1 0 25515243 44933120 10229 1992294400 4194304 8395647 140735149397504 18446744073709551615 6124483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30165/statm: 10970 10229 636 1026 0 9940 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 43880
[startup+12.7011 s]
/proc/loadavg: 0.96 0.51 0.54 2/107 30166
/proc/meminfo: memFree=1637592/2059040 swapFree=4122624/4192956
[pid=30165] ppid=30163 vsize=43880 CPUtime=12.69
/proc/30165/stat : 30165 (pbscip.linux.x8) R 30163 30165 30096 0 -1 4202496 12608 0 0 0 1238 31 0 0 25 0 1 0 25515243 44933120 10230 1992294400 4194304 8395647 140735149397504 18446744073709551615 6697298 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30165/statm: 10970 10230 637 1026 0 9940 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43880
[startup+25.5009 s]
/proc/loadavg: 0.97 0.54 0.54 2/107 30168
/proc/meminfo: memFree=1637592/2059040 swapFree=4122624/4192956
[pid=30165] ppid=30163 vsize=43880 CPUtime=25.49
/proc/30165/stat : 30165 (pbscip.linux.x8) R 30163 30165 30096 0 -1 4202496 12609 0 0 0 2513 36 0 0 25 0 1 0 25515243 44933120 10231 1992294400 4194304 8395647 140735149397504 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30165/statm: 10970 10231 638 1026 0 9940 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 43880
[startup+51.1006 s]
/proc/loadavg: 0.98 0.57 0.55 2/107 30168
/proc/meminfo: memFree=1637592/2059040 swapFree=4122624/4192956
[pid=30165] ppid=30163 vsize=43880 CPUtime=51.08
/proc/30165/stat : 30165 (pbscip.linux.x8) R 30163 30165 30096 0 -1 4202496 12612 0 0 0 5051 57 0 0 25 0 1 0 25515243 44933120 10234 1992294400 4194304 8395647 140735149397504 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30165/statm: 10970 10234 641 1026 0 9940 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 43880
[startup+102.309 s]
/proc/loadavg: 0.99 0.64 0.57 2/107 30170
/proc/meminfo: memFree=1637592/2059040 swapFree=4122624/4192956
[pid=30165] ppid=30163 vsize=43880 CPUtime=102.27
/proc/30165/stat : 30165 (pbscip.linux.x8) R 30163 30165 30096 0 -1 4202496 12612 0 0 0 10129 98 0 0 25 0 1 0 25515243 44933120 10234 1992294400 4194304 8395647 140735149397504 18446744073709551615 6696973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30165/statm: 10970 10234 641 1026 0 9940 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 43880
[startup+162.301 s]
/proc/loadavg: 0.99 0.70 0.60 2/107 30170
/proc/meminfo: memFree=1637468/2059040 swapFree=4122624/4192956
[pid=30165] ppid=30163 vsize=44220 CPUtime=162.26
/proc/30165/stat : 30165 (pbscip.linux.x8) R 30163 30165 30096 0 -1 4202496 13331 0 0 0 16085 141 0 0 25 0 1 0 25515243 45281280 10325 1992294400 4194304 8395647 140735149397504 18446744073709551615 6697003 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30165/statm: 11055 10325 646 1026 0 10025 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 44220
[startup+222.301 s]
/proc/loadavg: 0.99 0.75 0.62 2/107 30172
/proc/meminfo: memFree=1637096/2059040 swapFree=4122624/4192956
[pid=30165] ppid=30163 vsize=44220 CPUtime=222.24
/proc/30165/stat : 30165 (pbscip.linux.x8) R 30163 30165 30096 0 -1 4202496 13332 0 0 0 22036 188 0 0 25 0 1 0 25515243 45281280 10326 1992294400 4194304 8395647 140735149397504 18446744073709551615 6119715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30165/statm: 11055 10326 646 1026 0 10025 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 44220
[startup+282.301 s]
/proc/loadavg: 0.99 0.79 0.64 2/107 30174
/proc/meminfo: memFree=1637344/2059040 swapFree=4122624/4192956
[pid=30165] ppid=30163 vsize=43880 CPUtime=282.23
/proc/30165/stat : 30165 (pbscip.linux.x8) R 30163 30165 30096 0 -1 4202496 14686 0 0 0 27982 241 0 0 25 0 1 0 25515243 44933120 10241 1992294400 4194304 8395647 140735149397504 18446744073709551615 6587048 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30165/statm: 10970 10241 646 1026 0 9940 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 43880
[startup+342.301 s]
/proc/loadavg: 0.99 0.83 0.66 2/107 30176
/proc/meminfo: memFree=1637344/2059040 swapFree=4122624/4192956
[pid=30165] ppid=30163 vsize=44548 CPUtime=342.22
/proc/30165/stat : 30165 (pbscip.linux.x8) R 30163 30165 30096 0 -1 4202496 18849 0 0 0 33927 295 0 0 25 0 1 0 25515243 45617152 10389 1992294400 4194304 8395647 140735149397504 18446744073709551615 6587074 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30165/statm: 11137 10389 646 1026 0 10107 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 44548
[startup+402.301 s]
/proc/loadavg: 0.99 0.86 0.68 2/107 30178
/proc/meminfo: memFree=1632384/2059040 swapFree=4122624/4192956
[pid=30165] ppid=30163 vsize=49524 CPUtime=402.2
/proc/30165/stat : 30165 (pbscip.linux.x8) R 30163 30165 30096 0 -1 4202496 22706 0 0 0 39871 349 0 0 25 0 1 0 25515243 50712576 11596 1992294400 4194304 8395647 140735149397504 18446744073709551615 6697359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30165/statm: 12381 11596 646 1026 0 11351 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 49524
[startup+462.301 s]
/proc/loadavg: 0.99 0.88 0.69 2/107 30178
/proc/meminfo: memFree=1626308/2059040 swapFree=4122624/4192956
[pid=30165] ppid=30163 vsize=55084 CPUtime=462.19
/proc/30165/stat : 30165 (pbscip.linux.x8) R 30163 30165 30096 0 -1 4202496 26721 0 0 0 45810 409 0 0 25 0 1 0 25515243 56406016 12977 1992294400 4194304 8395647 140735149397504 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30165/statm: 13771 12977 646 1026 0 12741 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 55084
[startup+522.301 s]
/proc/loadavg: 0.99 0.90 0.71 2/107 30183
/proc/meminfo: memFree=1624324/2059040 swapFree=4122628/4192956
[pid=30165] ppid=30163 vsize=56860 CPUtime=522.17
/proc/30165/stat : 30165 (pbscip.linux.x8) R 30163 30165 30096 0 -1 4202496 27178 0 0 0 51754 463 0 0 25 0 1 0 25515243 58224640 13434 1992294400 4194304 8395647 140735149397504 18446744073709551615 6697379 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30165/statm: 14215 13434 646 1026 0 13185 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 56860
Solver just ended. Dumping a history of the last processes samples
[startup+537.501 s]
/proc/loadavg: 0.99 0.90 0.72 2/107 30183
/proc/meminfo: memFree=1623952/2059040 swapFree=4122628/4192956
[pid=30165] ppid=30163 vsize=57260 CPUtime=537.37
/proc/30165/stat : 30165 (pbscip.linux.x8) R 30163 30165 30096 0 -1 4202496 27268 0 0 0 53261 476 0 0 25 0 1 0 25515243 58634240 13524 1992294400 4194304 8395647 140735149397504 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30165/statm: 14315 13524 646 1026 0 13285 0
Current children cumulated CPU time (s) 537.37
Current children cumulated vsize (KiB) 57260
[startup+550.302 s]
/proc/loadavg: 0.99 0.91 0.72 2/107 30185
/proc/meminfo: memFree=1623704/2059040 swapFree=4122628/4192956
[pid=30165] ppid=30163 vsize=57964 CPUtime=550.18
/proc/30165/stat : 30165 (pbscip.linux.x8) R 30163 30165 30096 0 -1 4202496 30135 0 0 0 54528 490 0 0 25 0 1 0 25515243 59355136 13765 1992294400 4194304 8395647 140735149397504 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30165/statm: 14491 13765 646 1026 0 13461 0
Current children cumulated CPU time (s) 550.18
Current children cumulated vsize (KiB) 57964
[startup+556.701 s]
/proc/loadavg: 0.99 0.91 0.72 2/107 30185
/proc/meminfo: memFree=1622464/2059040 swapFree=4122628/4192956
[pid=30165] ppid=30163 vsize=58156 CPUtime=556.57
/proc/30165/stat : 30165 (pbscip.linux.x8) R 30163 30165 30096 0 -1 4202496 30136 0 0 0 55164 493 0 0 25 0 1 0 25515243 59551744 13766 1992294400 4194304 8395647 140735149397504 18446744073709551615 6698276 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30165/statm: 14539 13766 646 1026 0 13509 0
Current children cumulated CPU time (s) 556.57
Current children cumulated vsize (KiB) 58156
[startup+559.909 s]
/proc/loadavg: 0.99 0.91 0.72 2/107 30185
/proc/meminfo: memFree=1622464/2059040 swapFree=4122628/4192956
[pid=30165] ppid=30163 vsize=58156 CPUtime=559.78
/proc/30165/stat : 30165 (pbscip.linux.x8) R 30163 30165 30096 0 -1 4202496 30174 0 0 0 55483 495 0 0 25 0 1 0 25515243 59551744 13804 1992294400 4194304 8395647 140735149397504 18446744073709551615 6652543 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30165/statm: 14539 13804 646 1026 0 13509 0
Current children cumulated CPU time (s) 559.78
Current children cumulated vsize (KiB) 58156
[startup+563.1 s]
/proc/loadavg: 0.99 0.91 0.72 2/107 30185
/proc/meminfo: memFree=1622464/2059040 swapFree=4122628/4192956
[pid=30165] ppid=30163 vsize=58312 CPUtime=562.97
/proc/30165/stat : 30165 (pbscip.linux.x8) R 30163 30165 30096 0 -1 4202496 30180 0 0 0 55800 497 0 0 25 0 1 0 25515243 59711488 13810 1992294400 4194304 8395647 140735149397504 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30165/statm: 14578 13810 646 1026 0 13548 0
Current children cumulated CPU time (s) 562.97
Current children cumulated vsize (KiB) 58312
[startup+563.901 s]
/proc/loadavg: 0.99 0.91 0.72 2/107 30185
/proc/meminfo: memFree=1622464/2059040 swapFree=4122628/4192956
[pid=30165] ppid=30163 vsize=58312 CPUtime=563.77
/proc/30165/stat : 30165 (pbscip.linux.x8) R 30163 30165 30096 0 -1 4202496 30180 0 0 0 55879 498 0 0 25 0 1 0 25515243 59711488 13810 1992294400 4194304 8395647 140735149397504 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30165/statm: 14578 13810 646 1026 0 13548 0
Current children cumulated CPU time (s) 563.77
Current children cumulated vsize (KiB) 58312
[startup+564.309 s]
/proc/loadavg: 0.99 0.91 0.72 2/107 30185
/proc/meminfo: memFree=1622464/2059040 swapFree=4122628/4192956
[pid=30165] ppid=30163 vsize=58312 CPUtime=564.17
/proc/30165/stat : 30165 (pbscip.linux.x8) R 30163 30165 30096 0 -1 4202496 30180 0 0 0 55919 498 0 0 25 0 1 0 25515243 59711488 13810 1992294400 4194304 8395647 140735149397504 18446744073709551615 6069678 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30165/statm: 14578 13810 646 1026 0 13548 0
Current children cumulated CPU time (s) 564.17
Current children cumulated vsize (KiB) 58312
[startup+564.701 s]
/proc/loadavg: 0.99 0.91 0.72 2/107 30185
/proc/meminfo: memFree=1622464/2059040 swapFree=4122628/4192956
[pid=30165] ppid=30163 vsize=58312 CPUtime=564.57
/proc/30165/stat : 30165 (pbscip.linux.x8) R 30163 30165 30096 0 -1 4202496 30180 0 0 0 55958 499 0 0 25 0 1 0 25515243 59711488 13810 1992294400 4194304 8395647 140735149397504 18446744073709551615 6696987 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30165/statm: 14578 13810 646 1026 0 13548 0
Current children cumulated CPU time (s) 564.57
Current children cumulated vsize (KiB) 58312
Child status: 0
Real time (s): 564.752
CPU time (s): 564.629
CPU user time (s): 559.628
CPU system time (s): 5.00124
CPU usage (%): 99.9782
Max. virtual memory (cumulated for all children) (KiB): 67564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 559.628
system time used= 5.00124
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30184
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= 3
involuntary context switches= 799
runsolver used 0.922859 second user time and 2.68359 second system time
The end