0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2666735-1276669868.opb>
0.00/0.03 c original problem has 1580 variables (1580 bin, 0 int, 0 impl, 0 cont) and 1631 constraints
0.00/0.03 c problem read
0.00/0.03 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, 11940 impls, 100 clqs
0.39/0.46 c (0.2s) probing: 101/1580 (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 11940 implications, 100 cliques
0.39/0.46 c presolved problem has 1580 variables (1580 bin, 0 int, 0 impl, 0 cont) and 1631 constraints
0.39/0.46 c 100 constraints of type <setppc>
0.39/0.46 c 1480 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.23
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.98
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
3.20/3.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.20/3.28 c t 3.0s| 1 | 0 | 3142 | - |7663k| 0 | 433 |1580 |1631 |1580 |3111 | 0 | 0 | 0 |-2.500000e+01 | 0.000000e+00 | 100.00%
3.20/3.29 o -2
3.20/3.29 c s 3.0s| 1 | 0 | 3142 | - |7724k| 0 | 433 |1580 |1631 |1580 |3111 | 0 | 0 | 0 |-2.500000e+01 |-2.000000e+00 | 92.00%
3.49/3.51 o -3
3.49/3.51 c u 3.2s| 1 | 0 | 3142 | - |7732k| 0 | 433 |1580 |1631 |1580 |3111 | 0 | 0 | 0 |-2.500000e+01 |-3.000000e+00 | 88.00%
6.69/6.79 c 6.2s| 1 | 0 | 4214 | - |8641k| 0 | 415 |1580 |1631 |1580 |3166 | 55 | 0 | 0 |-2.500000e+01 |-3.000000e+00 | 88.00%
8.59/8.67 c 8.0s| 1 | 0 | 5494 | - | 10M| 0 | 381 |1580 |1631 |1580 |3193 | 82 | 0 | 0 |-2.500000e+01 |-3.000000e+00 | 88.00%
8.59/8.68 o -4
8.59/8.68 c R 8.0s| 1 | 0 | 5494 | - | 10M| 0 | 381 |1580 |1631 |1580 |3193 | 82 | 0 | 0 |-2.500000e+01 |-4.000000e+00 | 84.00%
11.09/11.11 c 10.5s| 1 | 0 | 7116 | - | 11M| 0 | 470 |1580 |1631 |1580 |3235 | 124 | 0 | 0 |-2.500000e+01 |-4.000000e+00 | 84.00%
13.88/13.91 c 13.2s| 1 | 0 | 8688 | - | 12M| 0 | 524 |1580 |1631 |1580 |3264 | 153 | 0 | 0 |-2.500000e+01 |-4.000000e+00 | 84.00%
16.28/16.35 c 15.7s| 1 | 0 | 10050 | - | 13M| 0 | 387 |1580 |1631 |1580 |3289 | 178 | 0 | 0 |-2.500000e+01 |-4.000000e+00 | 84.00%
18.89/18.99 c 18.3s| 1 | 0 | 11554 | - | 14M| 0 | 357 |1580 |1631 |1580 |3311 | 200 | 0 | 0 |-2.500000e+01 |-4.000000e+00 | 84.00%
28.78/28.82 o -5
28.78/28.82 c E27.8s| 1 | 0 | 11554 | - | 15M| 0 | 357 |1580 |1631 |1580 |3311 | 200 | 0 | 0 |-2.500000e+01 |-5.000000e+00 | 80.00%
28.78/28.84 c 27.8s| 1 | 0 | 11554 | - | 15M| 0 | 357 |1580 |1631 |1580 |3311 | 200 | 0 | 0 |-2.500000e+01 |-5.000000e+00 | 80.00%
31.79/31.85 c 30.8s| 1 | 0 | 13258 | - | 16M| 0 | 279 |1580 |1631 |1580 |3329 | 218 | 0 | 0 |-2.500000e+01 |-5.000000e+00 | 80.00%
49.18/49.22 c 48.0s| 1 | 2 | 13258 | - | 16M| 0 | 279 |1580 |1631 |1580 |3329 | 218 | 0 | 13 |-2.500000e+01 |-5.000000e+00 | 80.00%
87.27/87.31 o -6
87.27/87.31 c *85.5s| 13 | 7 | 24431 | 931.1 | 16M| 11 | - |1580 |1631 |1580 |1529 |1278 | 0 | 251 |-2.500000e+01 |-6.000000e+00 | 76.00%
434.26/434.49 o -7
434.26/434.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
434.26/434.49 c * 427s| 2906 | 489 |515282 | 172.8 | 20M| 65 | - |1580 |1679 |1580 |1690 | 22k| 72 |2249 |-1.309626e+01 |-7.000000e+00 | 46.55%
650.79/651.09 c 640s| 10000 | 659 |839424 | 82.6 | 27M| 72 | 184 |1580 |1707 |1580 |1509 | 31k| 188 |4366 |-9.964409e+00 |-7.000000e+00 | 29.75%
735.96/736.26 c
735.96/736.26 c SCIP Status : problem is solved [optimal solution found]
735.96/736.26 c Solving Time (sec) : 723.22
735.96/736.26 c Solving Nodes : 15462
735.96/736.26 c Primal Bound : -7.00000000000000e+00 (15 solutions)
735.96/736.26 c Dual Bound : -7.00000000000000e+00
735.96/736.26 c Gap : 0.00 %
735.96/736.26 s OPTIMUM FOUND
735.96/736.26 v x84 -x71 -x52 -x90 -x85 -x82 -x77 -x75 -x54 -x56 x95 -x98 -x83 -x87 -x51 -x86 x79 x72 -x69 -x67 -x63 -x60 -x59 -x58 x57 -x64 x97
735.96/736.26 v -x61 -x92 -x66 x73 -x53 -x81 -x68 -x74 -x55 -x88 -x94 -x100 -x80 -x93 -x96 -x78 -x65 -x99 -x62 -x76 -x89 -x70 -x91 x50 x49
735.96/736.26 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
735.96/736.26 v -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
735.96/736.26 c SCIP Status : problem is solved [optimal solution found]
735.96/736.26 c Solving Time : 723.22
735.96/736.26 c Original Problem :
735.96/736.26 c Problem name : HOME/instance-2666735-1276669868.opb
735.96/736.26 c Variables : 1580 (1580 binary, 0 integer, 0 implicit integer, 0 continuous)
735.96/736.26 c Constraints : 1631 initial, 1631 maximal
735.96/736.26 c Presolved Problem :
735.96/736.26 c Problem name : t_HOME/instance-2666735-1276669868.opb
735.96/736.26 c Variables : 1580 (1580 binary, 0 integer, 0 implicit integer, 0 continuous)
735.96/736.26 c Constraints : 1631 initial, 1716 maximal
735.96/736.26 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
735.96/736.26 c trivial : 0.00 0 0 0 0 0 0 0 0
735.96/736.26 c dualfix : 0.00 0 0 0 0 0 0 0 0
735.96/736.26 c boundshift : 0.00 0 0 0 0 0 0 0 0
735.96/736.26 c inttobinary : 0.00 0 0 0 0 0 0 0 0
735.96/736.26 c implics : 0.00 0 0 0 0 0 0 0 0
735.96/736.26 c probing : 0.04 0 0 0 0 0 0 0 0
735.96/736.26 c setppc : 0.00 0 0 0 0 0 0 0 0
735.96/736.26 c and : 0.17 0 0 0 0 0 0 0 0
735.96/736.26 c linear : 0.01 0 0 0 0 0 0 0 0
735.96/736.26 c logicor : 0.00 0 0 0 0 0 0 0 0
735.96/736.26 c root node : - 67 - - 67 - - - -
735.96/736.26 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
735.96/736.26 c integral : 0 0 0 8790 0 17 1868 0 0 15914
735.96/736.26 c setppc : 100 7 50404 2 0 59 57705 0 0 0
735.96/736.26 c and : 1480 13464 50345 2 0 17 1225022 36230 0 0
735.96/736.26 c linear : 1 7 50326 2 0 10 29 0 0 0
735.96/736.26 c logicor : 50+ 7 14521 2 0 2 5850 0 0 0
735.96/736.26 c countsols : 0 0 0 2 0 0 0 0 0 0
735.96/736.26 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
735.96/736.26 c integral : 216.11 0.00 0.00 216.11 0.00
735.96/736.26 c setppc : 0.42 0.00 0.42 0.00 0.00
735.96/736.26 c and : 10.74 5.85 4.89 0.00 0.00
735.96/736.26 c linear : 0.58 0.00 0.58 0.00 0.00
735.96/736.26 c logicor : 0.15 0.00 0.15 0.00 0.00
735.96/736.26 c countsols : 0.00 0.00 0.00 0.00 0.00
735.96/736.26 c Propagators : Time Calls Cutoffs DomReds
735.96/736.26 c vbounds : 0.04 2 0 0
735.96/736.26 c rootredcost : 0.03 2 0 0
735.96/736.26 c pseudoobj : 0.29 50524 55 151
735.96/736.26 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
735.96/736.26 c propagation : 0.00 142 137 296 31.8 4 31.5 -
735.96/736.26 c infeasible LP : 0.00 3 3 7 28.7 0 0.0 0
735.96/736.26 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
735.96/736.26 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
735.96/736.26 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
735.96/736.26 c applied globally : - - - 232 29.0 - - -
735.96/736.26 c applied locally : - - - 0 0.0 - - -
735.96/736.26 c Separators : Time Calls Cutoffs DomReds Cuts Conss
735.96/736.26 c cut pool : 0.02 6 - - 26 - (maximal pool size: 635)
735.96/736.26 c redcost : 1.70 14138 0 49659 0 0
735.96/736.26 c impliedbounds : 0.00 7 0 0 0 0
735.96/736.26 c intobj : 0.00 0 0 0 0 0
735.96/736.26 c cgmip : 0.00 0 0 0 0 0
735.96/736.26 c gomory : 1.21 7 0 0 161 0
735.96/736.26 c strongcg : 2.81 7 0 0 744 0
735.96/736.26 c cmir : 0.18 7 0 0 0 0
735.96/736.26 c flowcover : 0.18 7 0 0 0 0
735.96/736.26 c clique : 0.07 7 0 0 50 0
735.96/736.26 c zerohalf : 0.00 0 0 0 0 0
735.96/736.26 c mcf : 0.05 3 0 0 0 0
735.96/736.26 c rapidlearning : 1.43 1 0 0 0 0
735.96/736.26 c Pricers : Time Calls Vars
735.96/736.26 c problem variables: 0.00 0 0
735.96/736.26 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
735.96/736.26 c relpscost : 216.06 8788 17 1868 0 0 15914
735.96/736.26 c pscost : 0.00 0 0 0 0 0 0
735.96/736.26 c inference : 0.00 0 0 0 0 0 0
735.96/736.26 c mostinf : 0.00 0 0 0 0 0 0
735.96/736.26 c leastinf : 0.00 0 0 0 0 0 0
735.96/736.26 c fullstrong : 0.00 0 0 0 0 0 0
735.96/736.26 c allfullstrong : 0.00 0 0 0 0 0 0
735.96/736.26 c random : 0.00 0 0 0 0 0 0
735.96/736.26 c Primal Heuristics : Time Calls Found
735.96/736.26 c LP solutions : 0.01 - 2
735.96/736.26 c pseudo solutions : 0.00 - 0
735.96/736.26 c feaspump : 0.00 0 0
735.96/736.26 c oneopt : 0.05 5 0
735.96/736.26 c guideddiving : 5.86 17 0
735.96/736.26 c objpscostdiving : 4.57 9 0
735.96/736.26 c rootsoldiving : 1.14 9 0
735.96/736.26 c coefdiving : 5.53 18 0
735.96/736.26 c pscostdiving : 1.86 18 0
735.96/736.26 c fracdiving : 4.00 18 0
735.96/736.26 c veclendiving : 5.62 18 0
735.96/736.26 c linesearchdiving : 1.78 18 0
735.96/736.26 c crossover : 0.39 8 0
735.96/736.26 c trivial : 0.00 2 3
735.96/736.26 c simplerounding : 0.03 0 0
735.96/736.26 c zirounding : 0.36 1000 0
735.96/736.26 c rounding : 3.66 5203 1
735.96/736.26 c shifting : 1.64 1349 7
735.96/736.26 c intshifting : 0.00 0 0
735.96/736.26 c twoopt : 0.00 0 0
735.96/736.26 c fixandinfer : 0.00 0 0
735.96/736.26 c intdiving : 0.00 0 0
735.96/736.26 c actconsdiving : 0.00 0 0
735.96/736.26 c octane : 0.00 0 0
735.96/736.26 c rens : 9.48 1 1
735.96/736.26 c rins : 0.00 0 0
735.96/736.26 c localbranching : 0.00 0 0
735.96/736.26 c mutation : 0.00 0 0
735.96/736.26 c dins : 0.00 0 0
735.96/736.26 c undercover : 0.18 1 1
735.96/736.26 c nlp : 0.00 0 0
735.96/736.26 c trysol : 0.06 0 0
735.96/736.26 c LP : Time Calls Iterations Iter/call Iter/sec
735.96/736.26 c primal LP : 3.44 0 0 0.00 0.00
735.96/736.26 c dual LP : 407.25 20890 924871 44.27 2271.02
735.96/736.26 c lex dual LP : 0.00 0 0 0.00 -
735.96/736.26 c barrier LP : 0.00 0 0 0.00 -
735.96/736.26 c diving/probing LP: 24.75 4778 56851 11.90 2297.01
735.96/736.26 c strong branching : 215.04 5008 466637 93.18 2170.00
735.96/736.26 c (at root node) : - 13 13000 1000.00 -
735.96/736.26 c conflict analysis: 0.00 0 0 0.00 -
735.96/736.26 c B&B Tree :
735.96/736.26 c number of runs : 1
735.96/736.26 c nodes : 15462
735.96/736.26 c nodes (total) : 15462
735.96/736.26 c nodes left : 0
735.96/736.26 c max depth : 72
735.96/736.26 c max depth (total): 72
735.96/736.26 c backtracks : 2001 (12.9%)
735.96/736.26 c delayed cutoffs : 1
735.96/736.26 c repropagations : 920 (1708 domain reductions, 0 cutoffs)
735.96/736.26 c avg switch length: 6.68
735.96/736.26 c switching time : 11.01
735.96/736.26 c Solution :
735.96/736.26 c Solutions found : 15 (7 improvements)
735.96/736.26 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
735.96/736.26 c Primal Bound : -7.00000000000000e+00 (in run 1, after 2906 nodes, 427.11 seconds, depth 32, found by <relaxation>)
735.96/736.26 c Dual Bound : -7.00000000000000e+00
735.96/736.26 c Gap : 0.00 %
735.96/736.26 c Root Dual Bound : -2.50000000000000e+01
735.96/736.26 c Root Iterations : 13258
735.96/736.29 c Time complete: 736.05.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666735-1276669868/watcher-2666735-1276669868 -o /tmp/evaluation-result-2666735-1276669868/solver-2666735-1276669868 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666735-1276669868.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 14949
/proc/meminfo: memFree=1800340/2059040 swapFree=4168596/4192956
[pid=14949] ppid=14947 vsize=7724 CPUtime=0
/proc/14949/stat : 14949 (pbscip.linux.x8) R 14947 14949 14290 0 -1 4202496 1016 0 0 0 0 0 0 0 18 0 1 0 8277750 7909376 936 1992294400 4194304 8223781 140737224924528 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14949/statm: 1931 950 348 984 0 944 0
[startup+0.00936989 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 14949
/proc/meminfo: memFree=1800340/2059040 swapFree=4168596/4192956
[pid=14949] ppid=14947 vsize=7724 CPUtime=0
/proc/14949/stat : 14949 (pbscip.linux.x8) R 14947 14949 14290 0 -1 4202496 1230 0 0 0 0 0 0 0 18 0 1 0 8277750 7909376 1151 1992294400 4194304 8223781 140737224924528 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14949/statm: 1931 1162 348 984 0 944 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7724
[startup+0.100383 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 14949
/proc/meminfo: memFree=1800340/2059040 swapFree=4168596/4192956
[pid=14949] ppid=14947 vsize=16472 CPUtime=0.09
/proc/14949/stat : 14949 (pbscip.linux.x8) R 14947 14949 14290 0 -1 4202496 3774 0 0 0 5 4 0 0 20 0 1 0 8277750 16867328 3073 1992294400 4194304 8223781 140737224924528 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14949/statm: 4118 3073 432 984 0 3131 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16472
[startup+0.300415 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 14949
/proc/meminfo: memFree=1800340/2059040 swapFree=4168596/4192956
[pid=14949] ppid=14947 vsize=17808 CPUtime=0.29
/proc/14949/stat : 14949 (pbscip.linux.x8) R 14947 14949 14290 0 -1 4202496 5421 0 0 0 15 14 0 0 20 0 1 0 8277750 18235392 3435 1992294400 4194304 8223781 140737224924528 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14949/statm: 4452 3435 459 984 0 3465 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17808
[startup+0.700482 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 14949
/proc/meminfo: memFree=1800340/2059040 swapFree=4168596/4192956
[pid=14949] ppid=14947 vsize=25972 CPUtime=0.69
/proc/14949/stat : 14949 (pbscip.linux.x8) R 14947 14949 14290 0 -1 4202496 8010 0 0 0 48 21 0 0 20 0 1 0 8277750 26595328 5558 1992294400 4194304 8223781 140737224924528 18446744073709551615 6250718 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14949/statm: 6493 5558 531 984 0 5506 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25972
[startup+1.50061 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 14950
/proc/meminfo: memFree=1779872/2059040 swapFree=4168596/4192956
[pid=14949] ppid=14947 vsize=26580 CPUtime=1.49
/proc/14949/stat : 14949 (pbscip.linux.x8) R 14947 14949 14290 0 -1 4202496 8238 0 0 0 127 22 0 0 23 0 1 0 8277750 27217920 5742 1992294400 4194304 8223781 140737224924528 18446744073709551615 6570002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14949/statm: 6645 5742 536 984 0 5658 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26580
[startup+3.10088 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 14950
/proc/meminfo: memFree=1778756/2059040 swapFree=4168596/4192956
[pid=14949] ppid=14947 vsize=27980 CPUtime=3.09
/proc/14949/stat : 14949 (pbscip.linux.x8) R 14947 14949 14290 0 -1 4202496 8855 0 0 0 286 23 0 0 25 0 1 0 8277750 28651520 5839 1992294400 4194304 8223781 140737224924528 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14949/statm: 6995 5839 536 984 0 6008 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27980
[startup+6.30041 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 14950
/proc/meminfo: memFree=1758916/2059040 swapFree=4168596/4192956
[pid=14949] ppid=14947 vsize=31064 CPUtime=6.29
/proc/14949/stat : 14949 (pbscip.linux.x8) R 14947 14949 14290 0 -1 4202496 25791 0 0 0 570 59 0 0 25 0 1 0 8277750 31809536 6939 1992294400 4194304 8223781 140737224924528 18446744073709551615 6560135 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14949/statm: 7766 6939 603 984 0 6779 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31064
[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 14950
/proc/meminfo: memFree=1771688/2059040 swapFree=4168596/4192956
[pid=14949] ppid=14947 vsize=35008 CPUtime=12.69
/proc/14949/stat : 14949 (pbscip.linux.x8) R 14947 14949 14290 0 -1 4202496 28605 0 0 0 1206 63 0 0 25 0 1 0 8277750 35848192 7805 1992294400 4194304 8223781 140737224924528 18446744073709551615 6591942 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14949/statm: 8752 7805 603 984 0 7765 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35008
[startup+25.5006 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 14950
/proc/meminfo: memFree=1743664/2059040 swapFree=4168596/4192956
[pid=14949] ppid=14947 vsize=63304 CPUtime=25.48
/proc/14949/stat : 14949 (pbscip.linux.x8) R 14947 14949 14290 0 -1 4202496 81631 0 0 0 2454 94 0 0 25 0 1 0 8277750 64823296 14487 1992294400 4194304 8223781 140737224924528 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14949/statm: 15826 14487 611 984 0 14839 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 63304
[startup+51.1009 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 14952
/proc/meminfo: memFree=1763876/2059040 swapFree=4168596/4192956
[pid=14949] ppid=14947 vsize=42324 CPUtime=51.08
/proc/14949/stat : 14949 (pbscip.linux.x8) R 14947 14949 14290 0 -1 4202496 104848 0 0 0 4984 124 0 0 25 0 1 0 8277750 43339776 9526 1992294400 4194304 8223781 140737224924528 18446744073709551615 6569880 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14949/statm: 10581 9526 612 984 0 9594 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 42324
[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 14955
/proc/meminfo: memFree=1763132/2059040 swapFree=4168596/4192956
[pid=14949] ppid=14947 vsize=42224 CPUtime=102.27
/proc/14949/stat : 14949 (pbscip.linux.x8) R 14947 14949 14290 0 -1 4202496 167260 0 0 0 10035 192 0 0 25 0 1 0 8277750 43237376 9517 1992294400 4194304 8223781 140737224924528 18446744073709551615 6536496 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14949/statm: 10556 9517 620 984 0 9569 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 42224
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14957
/proc/meminfo: memFree=1762388/2059040 swapFree=4168596/4192956
[pid=14949] ppid=14947 vsize=43888 CPUtime=162.24
/proc/14949/stat : 14949 (pbscip.linux.x8) R 14947 14949 14290 0 -1 4202496 267183 0 0 0 15945 279 0 0 25 0 1 0 8277750 44941312 9854 1992294400 4194304 8223781 140737224924528 18446744073709551615 6589152 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14949/statm: 10972 9855 612 984 0 9985 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 43888
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14959
/proc/meminfo: memFree=1761148/2059040 swapFree=4168596/4192956
[pid=14949] ppid=14947 vsize=44364 CPUtime=222.22
/proc/14949/stat : 14949 (pbscip.linux.x8) R 14947 14949 14290 0 -1 4202496 382618 0 0 0 21846 376 0 0 25 0 1 0 8277750 45428736 10055 1992294400 4194304 8223781 140737224924528 18446744073709551615 6595970 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14949/statm: 11091 10055 614 984 0 10104 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 44364
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14961
/proc/meminfo: memFree=1758668/2059040 swapFree=4168596/4192956
[pid=14949] ppid=14947 vsize=46856 CPUtime=282.21
/proc/14949/stat : 14949 (pbscip.linux.x8) R 14947 14949 14290 0 -1 4202496 495948 0 0 0 27748 473 0 0 25 0 1 0 8277750 47980544 10666 1992294400 4194304 8223781 140737224924528 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14949/statm: 11714 10666 614 984 0 10727 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 46856
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14963
/proc/meminfo: memFree=1755692/2059040 swapFree=4168596/4192956
[pid=14949] ppid=14947 vsize=49860 CPUtime=342.18
/proc/14949/stat : 14949 (pbscip.linux.x8) R 14947 14949 14290 0 -1 4202496 615160 0 0 0 33642 576 0 0 25 0 1 0 8277750 51056640 11448 1992294400 4194304 8223781 140737224924528 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14949/statm: 12465 11448 614 984 0 11478 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 49860
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14963
/proc/meminfo: memFree=1751724/2059040 swapFree=4168596/4192956
[pid=14949] ppid=14947 vsize=54084 CPUtime=402.17
/proc/14949/stat : 14949 (pbscip.linux.x8) R 14947 14949 14290 0 -1 4202496 714654 0 0 0 39550 667 0 0 25 0 1 0 8277750 55382016 12468 1992294400 4194304 8223781 140737224924528 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14949/statm: 13521 12468 614 984 0 12534 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 54084
[startup+462.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14965
/proc/meminfo: memFree=1747880/2059040 swapFree=4168596/4192956
[pid=14949] ppid=14947 vsize=57376 CPUtime=462.14
/proc/14949/stat : 14949 (pbscip.linux.x8) R 14947 14949 14290 0 -1 4202496 823451 0 0 0 45440 774 0 0 25 0 1 0 8277750 58753024 13338 1992294400 4194304 8223781 140737224924528 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14949/statm: 14344 13338 614 984 0 13357 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 57376
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14967
/proc/meminfo: memFree=1745772/2059040 swapFree=4168596/4192956
[pid=14949] ppid=14947 vsize=59516 CPUtime=522.12
/proc/14949/stat : 14949 (pbscip.linux.x8) R 14947 14949 14290 0 -1 4202496 925912 0 0 0 51336 876 0 0 25 0 1 0 8277750 60944384 13865 1992294400 4194304 8223781 140737224924528 18446744073709551615 6569884 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14949/statm: 14879 13865 614 984 0 13892 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 59516
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14969
/proc/meminfo: memFree=1742052/2059040 swapFree=4168596/4192956
[pid=14949] ppid=14947 vsize=63768 CPUtime=582.11
/proc/14949/stat : 14949 (pbscip.linux.x8) R 14947 14949 14290 0 -1 4202496 1046040 0 0 0 57228 983 0 0 25 0 1 0 8277750 65298432 14899 1992294400 4194304 8223781 140737224924528 18446744073709551615 6447002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14949/statm: 15942 14899 614 984 0 14955 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 63768
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14971
/proc/meminfo: memFree=1738828/2059040 swapFree=4168596/4192956
[pid=14949] ppid=14947 vsize=67164 CPUtime=642.09
/proc/14949/stat : 14949 (pbscip.linux.x8) R 14947 14949 14290 0 -1 4202496 1166348 0 0 0 63113 1096 0 0 25 0 1 0 8277750 68775936 15712 1992294400 4194304 8223781 140737224924528 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14949/statm: 16791 15712 614 984 0 15804 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 67164
[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14971
/proc/meminfo: memFree=1736348/2059040 swapFree=4168596/4192956
[pid=14949] ppid=14947 vsize=69372 CPUtime=702.07
/proc/14949/stat : 14949 (pbscip.linux.x8) R 14947 14949 14290 0 -1 4202496 1273966 0 0 0 68999 1208 0 0 25 0 1 0 8277750 71036928 16280 1992294400 4194304 8223781 140737224924528 18446744073709551615 4660982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14949/statm: 17343 16280 614 984 0 16356 0
Current children cumulated CPU time (s) 702.07
Current children cumulated vsize (KiB) 69372
Solver just ended. Dumping a history of the last processes samples
[startup+716.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14971
/proc/meminfo: memFree=1735976/2059040 swapFree=4168596/4192956
[pid=14949] ppid=14947 vsize=69808 CPUtime=716.47
/proc/14949/stat : 14949 (pbscip.linux.x8) R 14947 14949 14290 0 -1 4202496 1301517 0 0 0 70408 1239 0 0 25 0 1 0 8277750 71483392 16389 1992294400 4194304 8223781 140737224924528 18446744073709551615 6446882 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14949/statm: 17452 16389 614 984 0 16465 0
Current children cumulated CPU time (s) 716.47
Current children cumulated vsize (KiB) 69808
[startup+729.502 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14973
/proc/meminfo: memFree=1735356/2059040 swapFree=4168596/4192956
[pid=14949] ppid=14947 vsize=70160 CPUtime=729.26
/proc/14949/stat : 14949 (pbscip.linux.x8) R 14947 14949 14290 0 -1 4202496 1333931 0 0 0 71661 1265 0 0 25 0 1 0 8277750 71843840 16477 1992294400 4194304 8223781 140737224924528 18446744073709551615 6439663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14949/statm: 17540 16477 619 984 0 16553 0
Current children cumulated CPU time (s) 729.26
Current children cumulated vsize (KiB) 70160
[startup+732.701 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14973
/proc/meminfo: memFree=1735356/2059040 swapFree=4168596/4192956
[pid=14949] ppid=14947 vsize=70312 CPUtime=732.46
/proc/14949/stat : 14949 (pbscip.linux.x8) R 14947 14949 14290 0 -1 4202496 1343909 0 0 0 71975 1271 0 0 25 0 1 0 8277750 71999488 16483 1992294400 4194304 8223781 140737224924528 18446744073709551615 6560132 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14949/statm: 17578 16483 614 984 0 16591 0
Current children cumulated CPU time (s) 732.46
Current children cumulated vsize (KiB) 70312
[startup+734.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14973
/proc/meminfo: memFree=1735356/2059040 swapFree=4168596/4192956
[pid=14949] ppid=14947 vsize=70284 CPUtime=734.06
/proc/14949/stat : 14949 (pbscip.linux.x8) R 14947 14949 14290 0 -1 4202496 1347442 0 0 0 72132 1274 0 0 25 0 1 0 8277750 71970816 16492 1992294400 4194304 8223781 140737224924528 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14949/statm: 17571 16492 614 984 0 16584 0
Current children cumulated CPU time (s) 734.06
Current children cumulated vsize (KiB) 70284
[startup+735.102 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14973
/proc/meminfo: memFree=1735356/2059040 swapFree=4168596/4192956
[pid=14949] ppid=14947 vsize=70156 CPUtime=734.86
/proc/14949/stat : 14949 (pbscip.linux.x8) R 14947 14949 14290 0 -1 4202496 1349796 0 0 0 72209 1277 0 0 25 0 1 0 8277750 71839744 16469 1992294400 4194304 8223781 140737224924528 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14949/statm: 17539 16469 614 984 0 16552 0
Current children cumulated CPU time (s) 734.86
Current children cumulated vsize (KiB) 70156
[startup+735.909 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14973
/proc/meminfo: memFree=1735356/2059040 swapFree=4168596/4192956
[pid=14949] ppid=14947 vsize=70156 CPUtime=735.66
/proc/14949/stat : 14949 (pbscip.linux.x8) R 14947 14949 14290 0 -1 4202496 1351398 0 0 0 72288 1278 0 0 25 0 1 0 8277750 71839744 16476 1992294400 4194304 8223781 140737224924528 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14949/statm: 17539 16476 614 984 0 16552 0
Current children cumulated CPU time (s) 735.66
Current children cumulated vsize (KiB) 70156
[startup+736.102 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14973
/proc/meminfo: memFree=1735356/2059040 swapFree=4168596/4192956
[pid=14949] ppid=14947 vsize=70416 CPUtime=735.86
/proc/14949/stat : 14949 (pbscip.linux.x8) R 14947 14949 14290 0 -1 4202496 1351680 0 0 0 72308 1278 0 0 25 0 1 0 8277750 72105984 16515 1992294400 4194304 8223781 140737224924528 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14949/statm: 17604 16515 614 984 0 16617 0
Current children cumulated CPU time (s) 735.86
Current children cumulated vsize (KiB) 70416
[startup+736.202 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14973
/proc/meminfo: memFree=1735356/2059040 swapFree=4168596/4192956
[pid=14949] ppid=14947 vsize=70208 CPUtime=735.96
/proc/14949/stat : 14949 (pbscip.linux.x8) R 14947 14949 14290 0 -1 4202496 1351831 0 0 0 72318 1278 0 0 25 0 1 0 8277750 71892992 16477 1992294400 4194304 8223781 140737224924528 18446744073709551615 4518541 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14949/statm: 17552 16477 614 984 0 16565 0
Current children cumulated CPU time (s) 735.96
Current children cumulated vsize (KiB) 70208
Child status: 0
Real time (s): 736.299
CPU time (s): 736.065
CPU user time (s): 723.269
CPU system time (s): 12.7961
CPU usage (%): 99.9683
Max. virtual memory (cumulated for all children) (KiB): 78772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 723.269
system time used= 12.7961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1351951
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= 2
involuntary context switches= 468
runsolver used 1.12183 second user time and 3.57646 second system time
The end