0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
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-2665316-1276671504.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.19/0.24 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.39/0.46 c (0.2s) probing: 101/1566 (6.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.46 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.39/0.46 c presolving (2 rounds):
0.39/0.46 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.46 c 11828 implications, 100 cliques
0.39/0.46 c presolved problem has 1566 variables (1566 bin, 0 int, 0 impl, 0 cont) and 1617 constraints
0.39/0.46 c 100 constraints of type <setppc>
0.39/0.46 c 1466 constraints of type <and>
0.39/0.46 c 1 constraints of type <linear>
0.39/0.46 c 50 constraints of type <logicor>
0.39/0.46 c transformed objective value is always integral (scale: 1)
0.39/0.46 c Presolving Time: 0.24
0.39/0.46 c - non default parameters ----------------------------------------------------------------------
0.39/0.46 c # SCIP version 1.2.1.2
0.39/0.46 c
0.39/0.46 c # frequency for displaying node information lines
0.39/0.46 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.46 c display/freq = 10000
0.39/0.46 c
0.39/0.46 c # maximal time in seconds to run
0.39/0.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.46 c limits/time = 1799.99
0.39/0.46 c
0.39/0.46 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.46 c limits/memory = 1620
0.39/0.46 c
0.39/0.46 c # should presolving try to simplify inequalities
0.39/0.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.46 c constraints/linear/simplifyinequalities = TRUE
0.39/0.46 c
0.39/0.46 c # should presolving try to simplify knapsacks
0.39/0.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.46 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.46 c
0.39/0.46 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.39/0.46 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.46 c heuristics/undercover/freq = 0
0.39/0.46 c
0.39/0.46 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.46 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.46 c separating/rapidlearning/freq = 0
0.39/0.46 c
0.39/0.46 c -----------------------------------------------------------------------------------------------
0.39/0.46 c start solving
0.39/0.46 c
0.49/0.52 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.52 c t 0.3s| 1 | 0 | 123 | - |7595k| 0 | 100 |1566 |1617 |1566 |3083 | 0 | 0 | 0 |-2.500000e+01 | 0.000000e+00 | 100.00%
0.49/0.52 o -1
0.49/0.52 c s 0.3s| 1 | 0 | 123 | - |7626k| 0 | 100 |1566 |1617 |1566 |3083 | 0 | 0 | 0 |-2.500000e+01 |-1.000000e+00 | 96.00%
0.69/0.73 o -2
0.69/0.73 c u 0.5s| 1 | 0 | 123 | - |7637k| 0 | 100 |1566 |1617 |1566 |3083 | 0 | 0 | 0 |-2.500000e+01 |-2.000000e+00 | 92.00%
1.79/1.83 c 1.4s| 1 | 0 | 554 | - |7649k| 0 | 245 |1566 |1617 |1566 |3084 | 1 | 0 | 0 |-2.500000e+01 |-2.000000e+00 | 92.00%
2.39/2.44 c 2.0s| 1 | 0 | 1912 | - |7813k| 0 | 374 |1566 |1617 |1566 |3091 | 8 | 0 | 0 |-2.500000e+01 |-2.000000e+00 | 92.00%
3.30/3.38 c 2.9s| 1 | 0 | 3028 | - |7959k| 0 | 794 |1566 |1617 |1566 |3099 | 16 | 0 | 0 |-2.500000e+01 |-2.000000e+00 | 92.00%
4.59/4.65 c 4.2s| 1 | 0 | 3444 | - |8047k| 0 | 818 |1566 |1617 |1566 |3106 | 23 | 0 | 0 |-2.500000e+01 |-2.000000e+00 | 92.00%
5.89/5.92 c 5.4s| 1 | 0 | 3638 | - |8172k| 0 | 810 |1566 |1617 |1566 |3118 | 35 | 0 | 0 |-2.500000e+01 |-2.000000e+00 | 92.00%
7.38/7.41 c 6.9s| 1 | 0 | 4062 | - |8243k| 0 | 827 |1566 |1617 |1566 |3126 | 43 | 0 | 0 |-2.500000e+01 |-2.000000e+00 | 92.00%
18.59/18.64 c 18.0s| 1 | 2 | 4062 | - |8244k| 0 | 827 |1566 |1617 |1566 |3126 | 43 | 0 | 13 |-2.500000e+01 |-2.000000e+00 | 92.00%
59.77/59.84 o -4
59.77/59.84 c R59.0s| 19 | 18 | 16736 | 704.1 |8420k| 13 | 60 |1566 |1617 |1566 |1133 |1045 | 0 | 245 |-2.460903e+01 |-4.000000e+00 | 83.75%
60.17/60.26 o -5
60.17/60.26 c *59.4s| 20 | 19 | 16820 | 671.5 |8450k| 13 | - |1566 |1617 |1566 |1138 |1050 | 0 | 280 |-2.460903e+01 |-5.000000e+00 | 79.68%
101.45/101.56 o -6
101.45/101.56 c * 100s| 166 | 71 | 76043 | 436.2 |9027k| 23 | - |1566 |1635 |1566 |1658 |2758 | 18 | 396 |-2.383586e+01 |-6.000000e+00 | 74.83%
392.45/392.62 o -7
392.45/392.62 c * 385s| 4656 | 619 |655414 | 139.9 | 12M| 65 | - |1566 |1759 |1566 |1642 | 12k| 199 |2408 |-1.163428e+01 |-7.000000e+00 | 39.83%
570.78/571.03 c 559s| 10000 | 545 | 1046k| 104.2 | 15M| 67 | 76 |1566 |1741 |1566 |1393 | 15k| 333 |3900 |-9.968614e+00 |-7.000000e+00 | 29.78%
650.25/650.56 c
650.25/650.56 c SCIP Status : problem is solved [optimal solution found]
650.25/650.56 c Solving Time (sec) : 636.94
650.25/650.56 c Solving Nodes : 12485
650.25/650.56 c Primal Bound : -7.00000000000000e+00 (13 solutions)
650.25/650.56 c Dual Bound : -7.00000000000000e+00
650.25/650.56 c Gap : 0.00 %
650.25/650.56 s OPTIMUM FOUND
650.25/650.56 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
650.25/650.56 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
650.25/650.56 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
650.25/650.56 v -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
650.25/650.56 c SCIP Status : problem is solved [optimal solution found]
650.25/650.56 c Solving Time : 636.94
650.25/650.56 c Original Problem :
650.25/650.56 c Problem name : HOME/instance-2665316-1276671504.opb
650.25/650.56 c Variables : 1566 (1566 binary, 0 integer, 0 implicit integer, 0 continuous)
650.25/650.56 c Constraints : 1617 initial, 1617 maximal
650.25/650.56 c Presolved Problem :
650.25/650.56 c Problem name : t_HOME/instance-2665316-1276671504.opb
650.25/650.56 c Variables : 1566 (1566 binary, 0 integer, 0 implicit integer, 0 continuous)
650.25/650.56 c Constraints : 1617 initial, 1762 maximal
650.25/650.56 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
650.25/650.56 c trivial : 0.00 0 0 0 0 0 0 0 0
650.25/650.56 c dualfix : 0.00 0 0 0 0 0 0 0 0
650.25/650.56 c boundshift : 0.00 0 0 0 0 0 0 0 0
650.25/650.56 c inttobinary : 0.00 0 0 0 0 0 0 0 0
650.25/650.56 c implics : 0.00 0 0 0 0 0 0 0 0
650.25/650.56 c probing : 0.04 0 0 0 0 0 0 0 0
650.25/650.56 c setppc : 0.00 0 0 0 0 0 0 0 0
650.25/650.56 c and : 0.19 0 0 0 0 0 0 0 0
650.25/650.56 c linear : 0.01 0 0 0 0 0 0 0 0
650.25/650.56 c logicor : 0.00 0 0 0 0 0 0 0 0
650.25/650.56 c root node : - 63 - - 63 - - - -
650.25/650.56 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
650.25/650.56 c integral : 0 0 0 7243 0 36 1333 0 0 13192
650.25/650.56 c setppc : 100 6 43217 3 0 112 50921 0 0 0
650.25/650.56 c and : 1466 10893 43105 3 0 22 977184 17539 0 0
650.25/650.56 c linear : 1 6 43082 3 0 18 49 0 0 0
650.25/650.56 c logicor : 50+ 6 12858 3 0 6 5167 0 0 0
650.25/650.56 c countsols : 0 0 0 3 0 0 0 0 0 0
650.25/650.56 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
650.25/650.56 c integral : 174.48 0.00 0.00 174.48 0.00
650.25/650.56 c setppc : 0.25 0.00 0.25 0.00 0.00
650.25/650.56 c and : 8.83 4.90 3.93 0.00 0.00
650.25/650.56 c linear : 0.52 0.00 0.52 0.00 0.00
650.25/650.56 c logicor : 0.21 0.00 0.21 0.00 0.00
650.25/650.56 c countsols : 0.00 0.00 0.00 0.00 0.00
650.25/650.56 c Propagators : Time Calls Cutoffs DomReds
650.25/650.56 c vbounds : 0.03 2 0 0
650.25/650.56 c rootredcost : 0.04 5 0 0
650.25/650.56 c pseudoobj : 0.42 43286 74 252
650.25/650.56 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
650.25/650.56 c propagation : 0.02 231 226 479 28.4 4 31.0 -
650.25/650.56 c infeasible LP : 0.00 4 4 6 14.8 0 0.0 0
650.25/650.56 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
650.25/650.56 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
650.25/650.56 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
650.25/650.56 c applied globally : - - - 390 26.5 - - -
650.25/650.56 c applied locally : - - - 0 0.0 - - -
650.25/650.56 c Separators : Time Calls Cutoffs DomReds Cuts Conss
650.25/650.56 c cut pool : 0.00 5 - - 0 - (maximal pool size: 118)
650.25/650.56 c redcost : 1.31 11369 0 36208 0 0
650.25/650.56 c impliedbounds : 0.00 6 0 0 28 0
650.25/650.56 c intobj : 0.00 0 0 0 0 0
650.25/650.56 c cgmip : 0.00 0 0 0 0 0
650.25/650.56 c gomory : 1.70 6 0 0 100 0
650.25/650.56 c strongcg : 1.44 6 0 0 315 0
650.25/650.56 c cmir : 0.15 6 0 0 1 0
650.25/650.56 c flowcover : 0.18 6 0 0 2 0
650.25/650.56 c clique : 0.12 6 0 0 31 0
650.25/650.56 c zerohalf : 0.00 0 0 0 0 0
650.25/650.56 c mcf : 0.02 2 0 0 12 0
650.25/650.56 c rapidlearning : 0.63 1 0 0 0 0
650.25/650.56 c Pricers : Time Calls Vars
650.25/650.56 c problem variables: 0.00 0 0
650.25/650.56 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
650.25/650.56 c relpscost : 174.46 7240 36 1333 0 0 13192
650.25/650.56 c pscost : 0.00 0 0 0 0 0 0
650.25/650.56 c inference : 0.00 0 0 0 0 0 0
650.25/650.56 c mostinf : 0.00 0 0 0 0 0 0
650.25/650.56 c leastinf : 0.00 0 0 0 0 0 0
650.25/650.56 c fullstrong : 0.00 0 0 0 0 0 0
650.25/650.56 c allfullstrong : 0.00 0 0 0 0 0 0
650.25/650.56 c random : 0.00 0 0 0 0 0 0
650.25/650.56 c Primal Heuristics : Time Calls Found
650.25/650.56 c LP solutions : 0.01 - 3
650.25/650.56 c pseudo solutions : 0.00 - 0
650.25/650.56 c feaspump : 0.00 0 0
650.25/650.56 c oneopt : 0.04 5 0
650.25/650.56 c fracdiving : 3.60 24 0
650.25/650.56 c guideddiving : 7.00 24 0
650.25/650.56 c pscostdiving : 2.88 25 0
650.25/650.56 c linesearchdiving : 2.94 25 0
650.25/650.56 c veclendiving : 7.37 25 0
650.25/650.56 c coefdiving : 3.01 25 0
650.25/650.56 c rootsoldiving : 1.27 13 0
650.25/650.56 c objpscostdiving : 2.60 13 0
650.25/650.56 c crossover : 0.44 9 0
650.25/650.56 c trivial : 0.00 2 3
650.25/650.56 c simplerounding : 0.02 0 0
650.25/650.56 c zirounding : 0.40 1000 0
650.25/650.56 c rounding : 3.39 4620 1
650.25/650.56 c shifting : 1.22 1145 5
650.25/650.56 c intshifting : 0.00 0 0
650.25/650.56 c twoopt : 0.00 0 0
650.25/650.56 c fixandinfer : 0.00 0 0
650.25/650.56 c intdiving : 0.00 0 0
650.25/650.56 c actconsdiving : 0.00 0 0
650.25/650.56 c octane : 0.00 0 0
650.25/650.56 c rens : 0.01 0 0
650.25/650.56 c rins : 0.00 0 0
650.25/650.56 c localbranching : 0.00 0 0
650.25/650.56 c mutation : 0.00 0 0
650.25/650.56 c dins : 0.00 0 0
650.25/650.56 c undercover : 0.17 1 1
650.25/650.56 c nlp : 0.04 0 0
650.25/650.56 c trysol : 0.05 0 0
650.25/650.56 c LP : Time Calls Iterations Iter/call Iter/sec
650.25/650.56 c primal LP : 22.22 0 0 0.00 0.00
650.25/650.56 c dual LP : 367.20 16608 1146816 69.05 3123.14
650.25/650.56 c lex dual LP : 0.00 0 0 0.00 -
650.25/650.56 c barrier LP : 0.00 0 0 0.00 -
650.25/650.56 c diving/probing LP: 25.36 5013 83923 16.74 3309.27
650.25/650.56 c strong branching : 173.81 4409 529597 120.12 3046.99
650.25/650.56 c (at root node) : - 13 13000 1000.00 -
650.25/650.56 c conflict analysis: 0.00 0 0 0.00 -
650.25/650.56 c B&B Tree :
650.25/650.56 c number of runs : 1
650.25/650.56 c nodes : 12485
650.25/650.56 c nodes (total) : 12485
650.25/650.56 c nodes left : 0
650.25/650.56 c max depth : 67
650.25/650.56 c max depth (total): 67
650.25/650.56 c backtracks : 1770 (14.2%)
650.25/650.56 c delayed cutoffs : 0
650.25/650.56 c repropagations : 1017 (2923 domain reductions, 0 cutoffs)
650.25/650.56 c avg switch length: 7.08
650.25/650.56 c switching time : 27.70
650.25/650.56 c Solution :
650.25/650.56 c Solutions found : 13 (7 improvements)
650.25/650.56 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
650.25/650.56 c Primal Bound : -7.00000000000000e+00 (in run 1, after 4656 nodes, 385.03 seconds, depth 35, found by <relaxation>)
650.25/650.56 c Dual Bound : -7.00000000000000e+00
650.25/650.56 c Gap : 0.00 %
650.25/650.56 c Root Dual Bound : -2.50000000000000e+01
650.25/650.56 c Root Iterations : 4062
650.25/650.59 c Time complete: 650.35.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665316-1276671504/watcher-2665316-1276671504 -o /tmp/evaluation-result-2665316-1276671504/solver-2665316-1276671504 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665316-1276671504.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.92 0.98 0.99 3/106 11483
/proc/meminfo: memFree=1742992/2059040 swapFree=4136232/4192956
[pid=11483] ppid=11481 vsize=9288 CPUtime=0
/proc/11483/stat : 11483 (pbscip.linux.x8) R 11481 11483 10610 0 -1 4202496 1035 0 0 0 0 0 0 0 23 0 1 0 42751967 9510912 955 1992294400 4194304 9819077 140737418523168 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11483/statm: 2322 964 371 1374 0 943 0
[startup+0.0670139 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 11483
/proc/meminfo: memFree=1742992/2059040 swapFree=4136232/4192956
[pid=11483] ppid=11481 vsize=17776 CPUtime=0.05
/proc/11483/stat : 11483 (pbscip.linux.x8) R 11481 11483 10610 0 -1 4202496 3820 0 0 0 3 2 0 0 25 0 1 0 42751967 18202624 3129 1992294400 4194304 9819077 140737418523168 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11483/statm: 4444 3129 478 1374 0 3065 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 17776
[startup+0.10102 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 11483
/proc/meminfo: memFree=1742992/2059040 swapFree=4136232/4192956
[pid=11483] ppid=11481 vsize=17776 CPUtime=0.09
/proc/11483/stat : 11483 (pbscip.linux.x8) R 11481 11483 10610 0 -1 4202496 3820 0 0 0 6 3 0 0 25 0 1 0 42751967 18202624 3129 1992294400 4194304 9819077 140737418523168 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11483/statm: 4444 3129 478 1374 0 3065 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17776
[startup+0.301059 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 11483
/proc/meminfo: memFree=1742992/2059040 swapFree=4136232/4192956
[pid=11483] ppid=11481 vsize=19072 CPUtime=0.29
/proc/11483/stat : 11483 (pbscip.linux.x8) R 11481 11483 10610 0 -1 4202496 5452 0 0 0 16 13 0 0 25 0 1 0 42751967 19529728 3476 1992294400 4194304 9819077 140737418523168 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11483/statm: 4768 3476 505 1374 0 3389 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19072
[startup+0.701137 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 11483
/proc/meminfo: memFree=1742992/2059040 swapFree=4136232/4192956
[pid=11483] ppid=11481 vsize=41004 CPUtime=0.69
/proc/11483/stat : 11483 (pbscip.linux.x8) R 11481 11483 10610 0 -1 4202496 14543 0 0 0 46 23 0 0 25 0 1 0 42751967 41988096 8145 1992294400 4194304 9819077 140737418523168 18446744073709551615 4333578 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11483/statm: 10251 8145 671 1374 0 8872 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41004
[startup+1.50129 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 11484
/proc/meminfo: memFree=1711736/2059040 swapFree=4136232/4192956
[pid=11483] ppid=11481 vsize=46636 CPUtime=1.49
/proc/11483/stat : 11483 (pbscip.linux.x8) R 11481 11483 10610 0 -1 4202496 23026 0 0 0 105 44 0 0 25 0 1 0 42751967 47755264 9543 1992294400 4194304 9819077 140737418523168 18446744073709551615 4780261 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11483/statm: 11659 9543 714 1374 0 10280 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46636
[startup+3.10161 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 11484
/proc/meminfo: memFree=1716696/2059040 swapFree=4136232/4192956
[pid=11483] ppid=11481 vsize=34464 CPUtime=3.09
/proc/11483/stat : 11483 (pbscip.linux.x8) R 11481 11483 10610 0 -1 4202496 24480 0 0 0 263 46 0 0 25 0 1 0 42751967 35291136 7155 1992294400 4194304 9819077 140737418523168 18446744073709551615 7291088 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11483/statm: 8616 7156 716 1374 0 7237 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34464
[startup+6.30123 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 11484
/proc/meminfo: memFree=1716324/2059040 swapFree=4136232/4192956
[pid=11483] ppid=11481 vsize=35432 CPUtime=6.29
/proc/11483/stat : 11483 (pbscip.linux.x8) R 11481 11483 10610 0 -1 4202496 25654 0 0 0 581 48 0 0 25 0 1 0 42751967 36282368 7313 1992294400 4194304 9819077 140737418523168 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11483/statm: 8858 7313 716 1374 0 7479 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35432
[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 11484
/proc/meminfo: memFree=1715332/2059040 swapFree=4136232/4192956
[pid=11483] ppid=11481 vsize=40352 CPUtime=12.69
/proc/11483/stat : 11483 (pbscip.linux.x8) R 11481 11483 10610 0 -1 4202496 35401 0 0 0 1215 54 0 0 25 0 1 0 42751967 41320448 7461 1992294400 4194304 9819077 140737418523168 18446744073709551615 7308981 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11483/statm: 10088 7461 722 1374 0 8709 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40352
[startup+25.501 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 11484
/proc/meminfo: memFree=1715580/2059040 swapFree=4136232/4192956
[pid=11483] ppid=11481 vsize=37376 CPUtime=25.48
/proc/11483/stat : 11483 (pbscip.linux.x8) R 11481 11483 10610 0 -1 4202496 47331 0 0 0 2485 63 0 0 25 0 1 0 42751967 38273024 7351 1992294400 4194304 9819077 140737418523168 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11483/statm: 9344 7351 741 1374 0 7965 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 37376
[startup+51.101 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 11486
/proc/meminfo: memFree=1715580/2059040 swapFree=4136232/4192956
[pid=11483] ppid=11481 vsize=36456 CPUtime=51.08
/proc/11483/stat : 11483 (pbscip.linux.x8) R 11481 11483 10610 0 -1 4202496 55308 0 0 0 5032 76 0 0 25 0 1 0 42751967 37330944 7332 1992294400 4194304 9819077 140737418523168 18446744073709551615 7294788 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11483/statm: 9114 7332 742 1374 0 7735 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 36456
[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 11486
/proc/meminfo: memFree=1715456/2059040 swapFree=4136232/4192956
[pid=11483] ppid=11481 vsize=34536 CPUtime=102.26
/proc/11483/stat : 11483 (pbscip.linux.x8) R 11481 11483 10610 0 -1 4202496 130497 0 0 0 10097 129 0 0 25 0 1 0 42751967 35364864 7318 1992294400 4194304 9819077 140737418523168 18446744073709551615 7226094 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11483/statm: 8634 7318 742 1374 0 7255 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 34536
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11497
/proc/meminfo: memFree=1715084/2059040 swapFree=4136232/4192956
[pid=11483] ppid=11481 vsize=36420 CPUtime=162.22
/proc/11483/stat : 11483 (pbscip.linux.x8) R 11481 11483 10610 0 -1 4202496 285916 0 0 0 15997 225 0 0 25 0 1 0 42751967 37294080 7455 1992294400 4194304 9819077 140737418523168 18446744073709551615 6699317 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11483/statm: 9105 7455 744 1374 0 7726 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 36420
[startup+222.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11499
/proc/meminfo: memFree=1712356/2059040 swapFree=4136232/4192956
[pid=11483] ppid=11481 vsize=39284 CPUtime=222.2
/proc/11483/stat : 11483 (pbscip.linux.x8) R 11481 11483 10610 0 -1 4202496 508546 0 0 0 21861 359 0 0 25 0 1 0 42751967 40226816 8036 1992294400 4194304 9819077 140737418523168 18446744073709551615 7291715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11483/statm: 9821 8036 744 1374 0 8442 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 39284
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11501
/proc/meminfo: memFree=1707272/2059040 swapFree=4136232/4192956
[pid=11483] ppid=11481 vsize=43588 CPUtime=282.18
/proc/11483/stat : 11483 (pbscip.linux.x8) R 11481 11483 10610 0 -1 4202496 724171 0 0 0 27734 484 0 0 25 0 1 0 42751967 44634112 9251 1992294400 4194304 9819077 140737418523168 18446744073709551615 4776016 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11483/statm: 10897 9251 744 1374 0 9518 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 43588
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11503
/proc/meminfo: memFree=1700824/2059040 swapFree=4136232/4192956
[pid=11483] ppid=11481 vsize=50912 CPUtime=342.15
/proc/11483/stat : 11483 (pbscip.linux.x8) R 11481 11483 10610 0 -1 4202496 939846 0 0 0 33594 621 0 0 25 0 1 0 42751967 52133888 10982 1992294400 4194304 9819077 140737418523168 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11483/statm: 12728 10982 744 1374 0 11349 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 50912
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11503
/proc/meminfo: memFree=1697104/2059040 swapFree=4136232/4192956
[pid=11483] ppid=11481 vsize=53328 CPUtime=402.13
/proc/11483/stat : 11483 (pbscip.linux.x8) R 11481 11483 10610 0 -1 4202496 1174644 0 0 0 39449 764 0 0 25 0 1 0 42751967 54607872 11878 1992294400 4194304 9819077 140737418523168 18446744073709551615 7226667 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11483/statm: 13332 11880 744 1374 0 11953 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 53328
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11505
/proc/meminfo: memFree=1695616/2059040 swapFree=4136232/4192956
[pid=11483] ppid=11481 vsize=55992 CPUtime=462.11
/proc/11483/stat : 11483 (pbscip.linux.x8) R 11481 11483 10610 0 -1 4202496 1398405 0 0 0 45310 901 0 0 25 0 1 0 42751967 57335808 12256 1992294400 4194304 9819077 140737418523168 18446744073709551615 7292006 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11483/statm: 13998 12256 744 1374 0 12619 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 55992
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11507
/proc/meminfo: memFree=1693756/2059040 swapFree=4136232/4192956
[pid=11483] ppid=11481 vsize=57864 CPUtime=522.09
/proc/11483/stat : 11483 (pbscip.linux.x8) R 11481 11483 10610 0 -1 4202496 1622271 0 0 0 51169 1040 0 0 25 0 1 0 42751967 59252736 12700 1992294400 4194304 9819077 140737418523168 18446744073709551615 7304801 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11483/statm: 14466 12700 744 1374 0 13087 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 57864
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11509
/proc/meminfo: memFree=1692392/2059040 swapFree=4136232/4192956
[pid=11483] ppid=11481 vsize=59284 CPUtime=582.08
/proc/11483/stat : 11483 (pbscip.linux.x8) R 11481 11483 10610 0 -1 4202496 1828329 0 0 0 57030 1178 0 0 25 0 1 0 42751967 60706816 13069 1992294400 4194304 9819077 140737418523168 18446744073709551615 7304786 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11483/statm: 14543 13051 744 1374 0 13164 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 59284
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11511
/proc/meminfo: memFree=1691028/2059040 swapFree=4136232/4192956
[pid=11483] ppid=11481 vsize=59576 CPUtime=642.06
/proc/11483/stat : 11483 (pbscip.linux.x8) R 11481 11483 10610 0 -1 4202496 2044537 0 0 0 62887 1319 0 0 25 0 1 0 42751967 61005824 13360 1992294400 4194304 9819077 140737418523168 18446744073709551615 7233739 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11483/statm: 14988 13362 744 1374 0 13609 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 59576
Solver just ended. Dumping a history of the last processes samples
[startup+646.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11511
/proc/meminfo: memFree=1690904/2059040 swapFree=4136232/4192956
[pid=11483] ppid=11481 vsize=59616 CPUtime=646.05
/proc/11483/stat : 11483 (pbscip.linux.x8) R 11481 11483 10610 0 -1 4202496 2058970 0 0 0 63278 1327 0 0 25 0 1 0 42751967 61046784 13358 1992294400 4194304 9819077 140737418523168 18446744073709551615 7227988 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11483/statm: 14904 13360 744 1374 0 13525 0
Current children cumulated CPU time (s) 646.05
Current children cumulated vsize (KiB) 59616
[startup+647.909 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11511
/proc/meminfo: memFree=1690904/2059040 swapFree=4136232/4192956
[pid=11483] ppid=11481 vsize=60732 CPUtime=647.66
/proc/11483/stat : 11483 (pbscip.linux.x8) R 11481 11483 10610 0 -1 4202496 2064699 0 0 0 63435 1331 0 0 25 0 1 0 42751967 62189568 13349 1992294400 4194304 9819077 140737418523168 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11483/statm: 15183 13350 744 1374 0 13804 0
Current children cumulated CPU time (s) 647.66
Current children cumulated vsize (KiB) 60732
[startup+649.501 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11511
/proc/meminfo: memFree=1691028/2059040 swapFree=4136232/4192956
[pid=11483] ppid=11481 vsize=60472 CPUtime=649.25
/proc/11483/stat : 11483 (pbscip.linux.x8) R 11481 11483 10610 0 -1 4202496 2070215 0 0 0 63591 1334 0 0 25 0 1 0 42751967 61923328 13355 1992294400 4194304 9819077 140737418523168 18446744073709551615 4619602 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11483/statm: 15118 13355 744 1374 0 13739 0
Current children cumulated CPU time (s) 649.25
Current children cumulated vsize (KiB) 60472
[startup+650.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11511
/proc/meminfo: memFree=1691028/2059040 swapFree=4136232/4192956
[pid=11483] ppid=11481 vsize=60816 CPUtime=650.05
/proc/11483/stat : 11483 (pbscip.linux.x8) R 11481 11483 10610 0 -1 4202496 2072776 0 0 0 63669 1336 0 0 25 0 1 0 42751967 62275584 13421 1992294400 4194304 9819077 140737418523168 18446744073709551615 7289256 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11483/statm: 15204 13421 744 1374 0 13825 0
Current children cumulated CPU time (s) 650.05
Current children cumulated vsize (KiB) 60816
[startup+650.501 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11511
/proc/meminfo: memFree=1691028/2059040 swapFree=4136232/4192956
[pid=11483] ppid=11481 vsize=60468 CPUtime=650.25
/proc/11483/stat : 11483 (pbscip.linux.x8) R 11481 11483 10610 0 -1 4202496 2073390 0 0 0 63689 1336 0 0 25 0 1 0 42751967 61919232 13337 1992294400 4194304 9819077 140737418523168 18446744073709551615 4660837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11483/statm: 15117 13337 744 1374 0 13738 0
Current children cumulated CPU time (s) 650.25
Current children cumulated vsize (KiB) 60468
Child status: 0
Real time (s): 650.597
CPU time (s): 650.355
CPU user time (s): 636.981
CPU system time (s): 13.374
CPU usage (%): 99.9628
Max. virtual memory (cumulated for all children) (KiB): 72232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 636.981
system time used= 13.374
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2073569
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= 1099
runsolver used 1.00985 second user time and 3.14852 second system time
The end