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-2703287-1278571153.opb>
0.00/0.02 c original problem has 1576 variables (1576 bin, 0 int, 0 impl, 0 cont) and 1627 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.04/0.04 o 0
0.04/0.04 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.04/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, 11908 impls, 100 clqs
0.19/0.21 c (0.2s) probing: 101/1576 (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 11908 implications, 100 cliques
0.19/0.21 c presolved problem has 1576 variables (1576 bin, 0 int, 0 impl, 0 cont) and 1627 constraints
0.19/0.21 c 150 constraints of type <setppc>
0.19/0.21 c 1476 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.99
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.19/0.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.29 c t 0.3s| 1 | 0 | 224 | - |7559k| 0 | 169 |1576 |1627 |1576 |3103 | 0 | 0 | 0 |-2.500000e+01 | 0.000000e+00 | 100.00%
0.39/0.47 o -1
0.39/0.47 c u 0.4s| 1 | 0 | 224 | - |7584k| 0 | 169 |1576 |1628 |1576 |3103 | 0 | 1 | 0 |-2.500000e+01 |-1.000000e+00 | 96.00%
1.69/1.78 c 1.8s| 1 | 0 | 1336 | - |7705k| 0 | 513 |1576 |1628 |1576 |3107 | 4 | 1 | 0 |-2.500000e+01 |-1.000000e+00 | 96.00%
2.59/2.67 c 2.6s| 1 | 0 | 2592 | - |8021k| 0 | 751 |1576 |1628 |1576 |3111 | 8 | 1 | 0 |-2.500000e+01 |-1.000000e+00 | 96.00%
2.59/2.68 o -2
2.59/2.68 c s 2.7s| 1 | 0 | 2592 | - |8051k| 0 | 751 |1576 |1628 |1576 |3111 | 8 | 1 | 0 |-2.500000e+01 |-2.000000e+00 | 92.00%
3.20/3.23 c 3.2s| 1 | 0 | 2990 | - |8367k| 0 | 696 |1576 |1628 |1576 |3125 | 22 | 1 | 0 |-2.500000e+01 |-2.000000e+00 | 92.00%
3.79/3.82 c 3.8s| 1 | 0 | 3328 | - |8616k| 0 | 739 |1576 |1628 |1576 |3132 | 29 | 1 | 0 |-2.500000e+01 |-2.000000e+00 | 92.00%
4.69/4.79 c 4.8s| 1 | 0 | 3894 | - |8767k| 0 | 788 |1576 |1628 |1576 |3136 | 33 | 1 | 0 |-2.500000e+01 |-2.000000e+00 | 92.00%
4.79/4.80 o -2
4.79/4.80 c s 4.8s| 1 | 0 | 3894 | - |8788k| 0 | 788 |1576 |1628 |1576 |3136 | 33 | 1 | 0 |-2.500000e+01 |-2.000000e+00 | 92.00%
5.89/5.98 c 6.0s| 1 | 0 | 4541 | - |8885k| 0 | 793 |1576 |1628 |1576 |3142 | 39 | 1 | 0 |-2.500000e+01 |-2.000000e+00 | 92.00%
21.39/21.46 c 21.4s| 1 | 2 | 4541 | - |8906k| 0 | 793 |1576 |1628 |1576 |3142 | 39 | 1 | 16 |-2.500000e+01 |-2.000000e+00 | 92.00%
91.37/91.45 o -5
91.37/91.45 c R91.4s| 24 | 23 | 28130 |1025.6 |9062k| 13 | 12 |1576 |1628 |1576 |1254 |2189 | 1 | 227 |-2.477024e+01 |-5.000000e+00 | 79.81%
187.53/187.64 o -6
187.53/187.64 c c 188s| 262 | 165 |175802 | 656.2 |9748k| 31 | - |1576 |1662 |1576 |1546 |7241 | 35 | 524 |-1.827380e+01 |-6.000000e+00 | 67.17%
463.86/464.00 o -7
463.86/464.00 c * 464s| 3730 | 586 |628624 | 167.4 | 15M| 63 | - |1576 |1743 |1576 |1520 | 25k| 151 |2559 |-1.254068e+01 |-7.000000e+00 | 44.18%
637.51/637.77 c 638s| 10000 | 672 |920620 | 91.6 | 20M| 68 | - |1576 |1729 |1576 |1676 | 31k| 224 |4170 |-1.007184e+01 |-7.000000e+00 | 30.50%
708.19/708.43 c
708.19/708.43 c SCIP Status : problem is solved [optimal solution found]
708.19/708.43 c Solving Time (sec) : 708.41
708.19/708.43 c Solving Nodes : 14997
708.19/708.43 c Primal Bound : -7.00000000000000e+00 (14 solutions)
708.19/708.43 c Dual Bound : -7.00000000000000e+00
708.19/708.43 c Gap : 0.00 %
708.19/708.43 s OPTIMUM FOUND
708.19/708.43 v -x70 -x61 -x84 x78 -x64 -x63 -x58 -x54 -x72 -x100 -x83 x82 -x95 -x79 -x62 -x51 -x85 -x81 -x80 -x71 -x68 -x67 -x60 -x57 -x56 -x87
708.19/708.43 v -x55 x99 -x88 x98 -x74 -x89 -x93 -x66 -x96 x92 -x53 -x90 -x94 x75 -x59 -x65 -x52 -x77 x73 -x76 -x91 -x69 -x86 -x97 x50 -x49
708.19/708.43 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
708.19/708.43 v -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
708.19/708.43 c SCIP Status : problem is solved [optimal solution found]
708.19/708.44 c Solving Time : 708.41
708.19/708.44 c Original Problem :
708.19/708.44 c Problem name : HOME/instance-2703287-1278571153.opb
708.19/708.44 c Variables : 1576 (1576 binary, 0 integer, 0 implicit integer, 0 continuous)
708.19/708.44 c Constraints : 1627 initial, 1627 maximal
708.19/708.44 c Presolved Problem :
708.19/708.44 c Problem name : t_HOME/instance-2703287-1278571153.opb
708.19/708.44 c Variables : 1576 (1576 binary, 0 integer, 0 implicit integer, 0 continuous)
708.19/708.44 c Constraints : 1627 initial, 1757 maximal
708.19/708.44 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
708.19/708.44 c trivial : 0.00 0 0 0 0 0 0 0 0
708.19/708.44 c dualfix : 0.00 0 0 0 0 0 0 0 0
708.19/708.44 c boundshift : 0.00 0 0 0 0 0 0 0 0
708.19/708.44 c inttobinary : 0.00 0 0 0 0 0 0 0 0
708.19/708.44 c implics : 0.00 0 0 0 0 0 0 0 0
708.19/708.44 c probing : 0.04 0 0 0 0 0 0 0 0
708.19/708.44 c setppc : 0.00 0 0 0 0 0 0 0 0
708.19/708.44 c and : 0.12 0 0 0 0 0 0 0 0
708.19/708.44 c linear : 0.01 0 0 0 0 0 0 0 0
708.19/708.44 c logicor : 0.00 0 0 0 0 0 0 0 0
708.19/708.44 c root node : - 93 - - 93 - - - -
708.19/708.44 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
708.19/708.44 c integral : 0 0 0 8505 0 30 1483 0 0 15642
708.19/708.44 c setppc : 150 6 49455 1 0 80 76943 0 0 0
708.19/708.44 c and : 1476 13066 49375 1 0 19 1428490 35887 0 0
708.19/708.44 c linear : 1 6 49350 1 0 14 79 0 0 0
708.19/708.44 c logicor : 0+ 6 12950 0 0 4 1298 0 0 0
708.19/708.44 c countsols : 0 0 0 1 0 0 0 0 0 0
708.19/708.44 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
708.19/708.44 c integral : 203.06 0.00 0.00 203.06 0.00
708.19/708.44 c setppc : 0.57 0.00 0.57 0.00 0.00
708.19/708.44 c and : 11.91 6.39 5.53 0.00 0.00
708.19/708.44 c linear : 0.52 0.01 0.52 0.00 0.00
708.19/708.44 c logicor : 0.18 0.00 0.18 0.00 0.00
708.19/708.44 c countsols : 0.00 0.00 0.00 0.00 0.00
708.19/708.44 c Propagators : Time Calls Cutoffs DomReds
708.19/708.44 c vbounds : 0.04 2 0 0
708.19/708.44 c rootredcost : 0.03 4 0 0
708.19/708.44 c pseudoobj : 0.35 49560 71 188
708.19/708.44 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
708.19/708.44 c propagation : 0.01 187 178 346 30.4 5 37.8 -
708.19/708.44 c infeasible LP : 0.00 4 4 5 17.8 0 0.0 0
708.19/708.44 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
708.19/708.44 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
708.19/708.44 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
708.19/708.44 c applied globally : - - - 283 28.7 - - -
708.19/708.44 c applied locally : - - - 0 0.0 - - -
708.19/708.44 c Separators : Time Calls Cutoffs DomReds Cuts Conss
708.19/708.44 c cut pool : 0.00 5 - - 1 - (maximal pool size: 194)
708.19/708.44 c redcost : 1.50 13608 0 42658 0 0
708.19/708.44 c impliedbounds : 0.00 6 0 0 4 0
708.19/708.44 c intobj : 0.00 0 0 0 0 0
708.19/708.44 c cgmip : 0.00 0 0 0 0 0
708.19/708.44 c gomory : 0.85 6 0 0 28 0
708.19/708.44 c strongcg : 0.77 6 0 0 431 0
708.19/708.44 c cmir : 0.17 6 0 0 0 0
708.19/708.44 c flowcover : 0.17 6 0 0 0 0
708.19/708.44 c clique : 0.16 6 0 0 34 0
708.19/708.44 c zerohalf : 0.00 0 0 0 0 0
708.19/708.44 c mcf : 0.02 2 0 0 0 0
708.19/708.44 c rapidlearning : 0.80 1 0 0 0 0
708.19/708.44 c Pricers : Time Calls Vars
708.19/708.44 c problem variables: 0.00 0 0
708.19/708.44 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
708.19/708.44 c relpscost : 203.02 8504 30 1483 0 0 15642
708.19/708.44 c pscost : 0.00 0 0 0 0 0 0
708.19/708.44 c inference : 0.00 0 0 0 0 0 0
708.19/708.44 c mostinf : 0.00 0 0 0 0 0 0
708.19/708.44 c leastinf : 0.00 0 0 0 0 0 0
708.19/708.44 c fullstrong : 0.00 0 0 0 0 0 0
708.19/708.44 c allfullstrong : 0.00 0 0 0 0 0 0
708.19/708.44 c random : 0.00 0 0 0 0 0 0
708.19/708.44 c Primal Heuristics : Time Calls Found
708.19/708.44 c LP solutions : 0.01 - 1
708.19/708.44 c pseudo solutions : 0.00 - 0
708.19/708.44 c feaspump : 0.00 0 0
708.19/708.44 c oneopt : 0.02 6 0
708.19/708.44 c fracdiving : 6.69 28 0
708.19/708.44 c veclendiving : 9.32 28 0
708.19/708.44 c guideddiving : 7.21 28 0
708.19/708.44 c linesearchdiving : 4.60 29 0
708.19/708.44 c coefdiving : 7.29 29 1
708.19/708.44 c pscostdiving : 4.02 29 0
708.19/708.44 c crossover : 0.62 10 1
708.19/708.44 c objpscostdiving : 7.89 15 0
708.19/708.44 c rootsoldiving : 2.07 15 0
708.19/708.44 c trivial : 0.00 2 3
708.19/708.44 c simplerounding : 0.02 0 0
708.19/708.44 c zirounding : 0.34 1000 0
708.19/708.44 c rounding : 4.09 5050 1
708.19/708.44 c shifting : 1.65 1360 6
708.19/708.44 c intshifting : 0.00 0 0
708.19/708.44 c twoopt : 0.00 0 0
708.19/708.44 c fixandinfer : 0.00 0 0
708.19/708.44 c intdiving : 0.00 0 0
708.19/708.44 c actconsdiving : 0.00 0 0
708.19/708.44 c octane : 0.00 0 0
708.19/708.44 c rens : 0.01 0 0
708.19/708.44 c rins : 0.00 0 0
708.19/708.44 c localbranching : 0.00 0 0
708.19/708.44 c mutation : 0.00 0 0
708.19/708.44 c dins : 0.00 0 0
708.19/708.44 c undercover : 0.18 1 1
708.19/708.44 c nlp : 0.01 0 0
708.19/708.44 c trysol : 0.02 0 0
708.19/708.44 c LP : Time Calls Iterations Iter/call Iter/sec
708.19/708.44 c primal LP : 2.52 0 0 0.00 0.00
708.19/708.44 c dual LP : 399.48 20155 948102 47.04 2373.32
708.19/708.44 c lex dual LP : 0.00 0 0 0.00 -
708.19/708.44 c barrier LP : 0.00 0 0 0.00 -
708.19/708.44 c diving/probing LP: 40.06 7643 95840 12.54 2392.59
708.19/708.44 c strong branching : 202.05 4805 456970 95.10 2261.71
708.19/708.44 c (at root node) : - 16 16000 1000.00 -
708.19/708.44 c conflict analysis: 0.00 0 0 0.00 -
708.19/708.44 c B&B Tree :
708.19/708.44 c number of runs : 1
708.19/708.44 c nodes : 14997
708.19/708.44 c nodes (total) : 14997
708.19/708.44 c nodes left : 0
708.19/708.44 c max depth : 69
708.19/708.44 c max depth (total): 69
708.19/708.44 c backtracks : 2118 (14.1%)
708.19/708.44 c delayed cutoffs : 1
708.19/708.44 c repropagations : 957 (2155 domain reductions, 0 cutoffs)
708.19/708.44 c avg switch length: 7.31
708.19/708.44 c switching time : 10.49
708.19/708.44 c Solution :
708.19/708.44 c Solutions found : 14 (7 improvements)
708.19/708.44 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
708.19/708.44 c Primal Bound : -7.00000000000000e+00 (in run 1, after 3730 nodes, 463.97 seconds, depth 9, found by <relaxation>)
708.19/708.44 c Dual Bound : -7.00000000000000e+00
708.19/708.44 c Gap : 0.00 %
708.19/708.44 c Root Dual Bound : -2.50000000000000e+01
708.19/708.44 c Root Iterations : 4541
708.19/708.47 c Time complete: 708.25.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703287-1278571153/watcher-2703287-1278571153 -o /tmp/evaluation-result-2703287-1278571153/solver-2703287-1278571153 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703287-1278571153.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: 1.00 1.00 1.00 3/106 30553
/proc/meminfo: memFree=1567920/2059040 swapFree=4165008/4192956
[pid=30553] ppid=30551 vsize=7904 CPUtime=0
/proc/30553/stat : 30553 (pbscip.linux.x8) R 30551 30553 30075 0 -1 4202496 1079 0 0 0 0 0 0 0 20 0 1 0 25318626 8093696 990 1992294400 4194304 8395647 140734710536512 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30553/statm: 1976 998 365 1026 0 946 0
[startup+0.0439919 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30553
/proc/meminfo: memFree=1567920/2059040 swapFree=4165008/4192956
[pid=30553] ppid=30551 vsize=17096 CPUtime=0.04
/proc/30553/stat : 30553 (pbscip.linux.x8) R 30551 30553 30075 0 -1 4202496 3643 0 0 0 3 1 0 0 20 0 1 0 25318626 17506304 3200 1992294400 4194304 8395647 140734710536512 18446744073709551615 4601745 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30553/statm: 4274 3200 443 1026 0 3244 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17096
[startup+0.100902 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30553
/proc/meminfo: memFree=1567920/2059040 swapFree=4165008/4192956
[pid=30553] ppid=30551 vsize=18712 CPUtime=0.09
/proc/30553/stat : 30553 (pbscip.linux.x8) R 30551 30553 30075 0 -1 4202496 4054 0 0 0 8 1 0 0 20 0 1 0 25318626 19161088 3611 1992294400 4194304 8395647 140734710536512 18446744073709551615 18446744073699065955 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30553/statm: 4678 3611 461 1026 0 3648 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18712
[startup+0.300931 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30553
/proc/meminfo: memFree=1567920/2059040 swapFree=4165008/4192956
[pid=30553] ppid=30551 vsize=28412 CPUtime=0.29
/proc/30553/stat : 30553 (pbscip.linux.x8) R 30551 30553 30075 0 -1 4202496 6534 0 0 0 28 1 0 0 20 0 1 0 25318626 29093888 6026 1992294400 4194304 8395647 140734710536512 18446744073709551615 4288508 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30553/statm: 7103 6040 575 1026 0 6073 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28412
[startup+0.700987 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30553
/proc/meminfo: memFree=1567920/2059040 swapFree=4165008/4192956
[pid=30553] ppid=30551 vsize=47516 CPUtime=0.69
/proc/30553/stat : 30553 (pbscip.linux.x8) R 30551 30553 30075 0 -1 4202496 11553 0 0 0 64 5 0 0 20 0 1 0 25318626 48656384 11018 1992294400 4194304 8395647 140734710536512 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30553/statm: 11879 11018 638 1026 0 10849 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47516
[startup+1.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30554
/proc/meminfo: memFree=1526248/2059040 swapFree=4165008/4192956
[pid=30553] ppid=30551 vsize=47516 CPUtime=1.49
/proc/30553/stat : 30553 (pbscip.linux.x8) R 30551 30553 30075 0 -1 4202496 11558 0 0 0 124 25 0 0 22 0 1 0 25318626 48656384 11021 1992294400 4194304 8395647 140734710536512 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30553/statm: 11879 11021 637 1026 0 10849 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47516
[startup+3.10133 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30554
/proc/meminfo: memFree=1526000/2059040 swapFree=4165008/4192956
[pid=30553] ppid=30551 vsize=47516 CPUtime=3.09
/proc/30553/stat : 30553 (pbscip.linux.x8) R 30551 30553 30075 0 -1 4202496 11648 0 0 0 283 26 0 0 25 0 1 0 25318626 48656384 11081 1992294400 4194304 8395647 140734710536512 18446744073709551615 6755526 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30553/statm: 11879 11081 666 1026 0 10849 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47516
[startup+6.30078 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30554
/proc/meminfo: memFree=1525256/2059040 swapFree=4165008/4192956
[pid=30553] ppid=30551 vsize=47516 CPUtime=6.29
/proc/30553/stat : 30553 (pbscip.linux.x8) R 30551 30553 30075 0 -1 4202496 11676 0 0 0 602 27 0 0 25 0 1 0 25318626 48656384 11082 1992294400 4194304 8395647 140734710536512 18446744073709551615 6636391 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30553/statm: 11879 11082 640 1026 0 10849 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47516
[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30554
/proc/meminfo: memFree=1525256/2059040 swapFree=4165008/4192956
[pid=30553] ppid=30551 vsize=47516 CPUtime=12.69
/proc/30553/stat : 30553 (pbscip.linux.x8) R 30551 30553 30075 0 -1 4202496 11676 0 0 0 1239 30 0 0 25 0 1 0 25318626 48656384 11082 1992294400 4194304 8395647 140734710536512 18446744073709551615 6636339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30553/statm: 11879 11082 640 1026 0 10849 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47516
[startup+25.5005 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30555
/proc/meminfo: memFree=1525256/2059040 swapFree=4165008/4192956
[pid=30553] ppid=30551 vsize=47516 CPUtime=25.48
/proc/30553/stat : 30553 (pbscip.linux.x8) R 30551 30553 30075 0 -1 4202496 11679 0 0 0 2511 37 0 0 25 0 1 0 25318626 48656384 11085 1992294400 4194304 8395647 140734710536512 18446744073709551615 6755534 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30553/statm: 11879 11085 643 1026 0 10849 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 47516
[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30556
/proc/meminfo: memFree=1525256/2059040 swapFree=4165008/4192956
[pid=30553] ppid=30551 vsize=47516 CPUtime=51.07
/proc/30553/stat : 30553 (pbscip.linux.x8) R 30551 30553 30075 0 -1 4202496 11679 0 0 0 5055 52 0 0 25 0 1 0 25318626 48656384 11085 1992294400 4194304 8395647 140734710536512 18446744073709551615 6696995 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30553/statm: 11879 11085 643 1026 0 10849 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 47516
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30557
/proc/meminfo: memFree=1525256/2059040 swapFree=4165008/4192956
[pid=30553] ppid=30551 vsize=47516 CPUtime=102.26
/proc/30553/stat : 30553 (pbscip.linux.x8) R 30551 30553 30075 0 -1 4202496 11682 0 0 0 10140 86 0 0 25 0 1 0 25318626 48656384 11088 1992294400 4194304 8395647 140734710536512 18446744073709551615 6670348 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30553/statm: 11879 11088 643 1026 0 10849 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 47516
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30558
/proc/meminfo: memFree=1525256/2059040 swapFree=4165008/4192956
[pid=30553] ppid=30551 vsize=47516 CPUtime=162.25
/proc/30553/stat : 30553 (pbscip.linux.x8) R 30551 30553 30075 0 -1 4202496 11683 0 0 0 16098 127 0 0 25 0 1 0 25318626 48656384 11089 1992294400 4194304 8395647 140734710536512 18446744073709551615 6708025 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30553/statm: 11879 11089 644 1026 0 10849 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 47516
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30560
/proc/meminfo: memFree=1524512/2059040 swapFree=4165008/4192956
[pid=30553] ppid=30551 vsize=48404 CPUtime=222.22
/proc/30553/stat : 30553 (pbscip.linux.x8) R 30551 30553 30075 0 -1 4202496 11926 0 0 0 22050 172 0 0 25 0 1 0 25318626 49565696 11332 1992294400 4194304 8395647 140734710536512 18446744073709551615 6663849 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30553/statm: 12101 11332 646 1026 0 11071 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 48404
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30562
/proc/meminfo: memFree=1523148/2059040 swapFree=4165008/4192956
[pid=30553] ppid=30551 vsize=50596 CPUtime=282.2
/proc/30553/stat : 30553 (pbscip.linux.x8) R 30551 30553 30075 0 -1 4202496 12255 0 0 0 28000 220 0 0 25 0 1 0 25318626 51810304 11660 1992294400 4194304 8395647 140734710536512 18446744073709551615 6390525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30553/statm: 12649 11660 645 1026 0 11619 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 50596
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30564
/proc/meminfo: memFree=1520172/2059040 swapFree=4165008/4192956
[pid=30553] ppid=30551 vsize=51804 CPUtime=342.19
/proc/30553/stat : 30553 (pbscip.linux.x8) R 30551 30553 30075 0 -1 4202496 13426 0 0 0 33951 268 0 0 25 0 1 0 25318626 53047296 12226 1992294400 4194304 8395647 140734710536512 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30553/statm: 12951 12226 645 1026 0 11921 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 51804
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30565
/proc/meminfo: memFree=1520296/2059040 swapFree=4165008/4192956
[pid=30553] ppid=30551 vsize=51704 CPUtime=402.17
/proc/30553/stat : 30553 (pbscip.linux.x8) R 30551 30553 30075 0 -1 4202496 15087 0 0 0 39897 320 0 0 25 0 1 0 25318626 52944896 12202 1992294400 4194304 8395647 140734710536512 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30553/statm: 12926 12202 645 1026 0 11896 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 51704
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30566
/proc/meminfo: memFree=1516576/2059040 swapFree=4165008/4192956
[pid=30553] ppid=30551 vsize=56116 CPUtime=462.15
/proc/30553/stat : 30553 (pbscip.linux.x8) R 30551 30553 30075 0 -1 4202496 19010 0 0 0 45843 372 0 0 25 0 1 0 25318626 57462784 13259 1992294400 4194304 8395647 140734710536512 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30553/statm: 14029 13259 645 1026 0 12999 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 56116
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30568
/proc/meminfo: memFree=1513724/2059040 swapFree=4165008/4192956
[pid=30553] ppid=30551 vsize=59120 CPUtime=522.14
/proc/30553/stat : 30553 (pbscip.linux.x8) R 30551 30553 30075 0 -1 4202496 25507 0 0 0 51791 423 0 0 25 0 1 0 25318626 60538880 13973 1992294400 4194304 8395647 140734710536512 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30553/statm: 14780 13973 646 1026 0 13750 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 59120
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30570
/proc/meminfo: memFree=1509880/2059040 swapFree=4165008/4192956
[pid=30553] ppid=30551 vsize=63012 CPUtime=582.12
/proc/30553/stat : 30553 (pbscip.linux.x8) R 30551 30553 30075 0 -1 4202496 29401 0 0 0 57743 469 0 0 25 0 1 0 25318626 64524288 14972 1992294400 4194304 8395647 140734710536512 18446744073709551615 6721251 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30553/statm: 15753 14972 646 1026 0 14723 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 63012
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30572
/proc/meminfo: memFree=1506036/2059040 swapFree=4165008/4192956
[pid=30553] ppid=30551 vsize=66664 CPUtime=642.11
/proc/30553/stat : 30553 (pbscip.linux.x8) R 30551 30553 30075 0 -1 4202496 32916 0 0 0 63689 522 0 0 25 0 1 0 25318626 68263936 15861 1992294400 4194304 8395647 140734710536512 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30553/statm: 16666 15861 646 1026 0 15636 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 66664
[startup+702.302 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 30573
/proc/meminfo: memFree=1503804/2059040 swapFree=4165008/4192956
[pid=30553] ppid=30551 vsize=69332 CPUtime=702.09
/proc/30553/stat : 30553 (pbscip.linux.x8) R 30551 30553 30075 0 -1 4202496 36159 0 0 0 69637 572 0 0 25 0 1 0 25318626 70995968 16475 1992294400 4194304 8395647 140734710536512 18446744073709551615 6723586 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30553/statm: 17333 16475 646 1026 0 16303 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 69332
Solver just ended. Dumping a history of the last processes samples
[startup+703.901 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 30573
/proc/meminfo: memFree=1503556/2059040 swapFree=4165008/4192956
[pid=30553] ppid=30551 vsize=69332 CPUtime=703.69
/proc/30553/stat : 30553 (pbscip.linux.x8) R 30551 30553 30075 0 -1 4202496 36176 0 0 0 69796 573 0 0 25 0 1 0 25318626 70995968 16492 1992294400 4194304 8395647 140734710536512 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30553/statm: 17333 16492 646 1026 0 16303 0
Current children cumulated CPU time (s) 703.69
Current children cumulated vsize (KiB) 69332
[startup+705.501 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 30573
/proc/meminfo: memFree=1503556/2059040 swapFree=4165008/4192956
[pid=30553] ppid=30551 vsize=69332 CPUtime=705.28
/proc/30553/stat : 30553 (pbscip.linux.x8) R 30551 30553 30075 0 -1 4202496 36221 0 0 0 69953 575 0 0 25 0 1 0 25318626 70995968 16537 1992294400 4194304 8395647 140734710536512 18446744073709551615 4827321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30553/statm: 17333 16537 646 1026 0 16303 0
Current children cumulated CPU time (s) 705.28
Current children cumulated vsize (KiB) 69332
[startup+707.1 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 30573
/proc/meminfo: memFree=1503308/2059040 swapFree=4165008/4192956
[pid=30553] ppid=30551 vsize=69332 CPUtime=706.88
/proc/30553/stat : 30553 (pbscip.linux.x8) R 30551 30553 30075 0 -1 4202496 36221 0 0 0 70112 576 0 0 25 0 1 0 25318626 70995968 16537 1992294400 4194304 8395647 140734710536512 18446744073709551615 6693729 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30553/statm: 17333 16537 646 1026 0 16303 0
Current children cumulated CPU time (s) 706.88
Current children cumulated vsize (KiB) 69332
[startup+707.9 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 30573
/proc/meminfo: memFree=1503308/2059040 swapFree=4165008/4192956
[pid=30553] ppid=30551 vsize=69332 CPUtime=707.68
/proc/30553/stat : 30553 (pbscip.linux.x8) R 30551 30553 30075 0 -1 4202496 36221 0 0 0 70191 577 0 0 25 0 1 0 25318626 70995968 16537 1992294400 4194304 8395647 140734710536512 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30553/statm: 17333 16537 646 1026 0 16303 0
Current children cumulated CPU time (s) 707.68
Current children cumulated vsize (KiB) 69332
[startup+708.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 30573
/proc/meminfo: memFree=1503308/2059040 swapFree=4165008/4192956
[pid=30553] ppid=30551 vsize=69332 CPUtime=708.09
/proc/30553/stat : 30553 (pbscip.linux.x8) R 30551 30553 30075 0 -1 4202496 36221 0 0 0 70232 577 0 0 25 0 1 0 25318626 70995968 16537 1992294400 4194304 8395647 140734710536512 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30553/statm: 17333 16537 646 1026 0 16303 0
Current children cumulated CPU time (s) 708.09
Current children cumulated vsize (KiB) 69332
[startup+708.408 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 30573
/proc/meminfo: memFree=1503308/2059040 swapFree=4165008/4192956
[pid=30553] ppid=30551 vsize=69332 CPUtime=708.19
/proc/30553/stat : 30553 (pbscip.linux.x8) R 30551 30553 30075 0 -1 4202496 36221 0 0 0 70242 577 0 0 25 0 1 0 25318626 70995968 16537 1992294400 4194304 8395647 140734710536512 18446744073709551615 6696964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30553/statm: 17333 16537 646 1026 0 16303 0
Current children cumulated CPU time (s) 708.19
Current children cumulated vsize (KiB) 69332
Child status: 0
Real time (s): 708.473
CPU time (s): 708.262
CPU user time (s): 702.476
CPU system time (s): 5.78612
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 78284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 702.476
system time used= 5.78612
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36225
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= 987
runsolver used 1.21881 second user time and 3.3035 second system time
The end