0.39/0.48 c SCIP version 1.1.0.7
0.39/0.48 c LP-Solver SoPlex 1.4.1
0.39/0.48 c user parameter file <scip.set> not found - using default parameters
0.39/0.48 c read problem <HOME/instance-3736054-1338711646.opb>
0.39/0.48 c original problem has 21320 variables (21320 bin, 0 int, 0 impl, 0 cont) and 79746 constraints
0.59/0.60 c start presolving problem
0.59/0.60 c presolving:
0.89/0.96 c (round 1) 1339 del vars, 2653 del conss, 5 chg bounds, 10 chg sides, 11 chg coeffs, 0 upgd conss, 678660 impls, 0 clqs
0.89/0.99 c (round 2) 1339 del vars, 2683 del conss, 5 chg bounds, 10 chg sides, 11 chg coeffs, 0 upgd conss, 678660 impls, 0 clqs
1.19/1.28 c (round 3) 1339 del vars, 2684 del conss, 5 chg bounds, 10 chg sides, 11 chg coeffs, 77062 upgd conss, 678660 impls, 0 clqs
2.39/2.41 c (1.8s) probing: 479/19981 (2.4%) - 0 fixings, 0 aggregations, 30049 implications, 0 bound changes
2.39/2.41 c (1.8s) probing aborted: 100/100 successive totally useless probings
2.39/2.41 c presolving (4 rounds):
2.39/2.41 c 1339 deleted vars, 2684 deleted constraints, 5 tightened bounds, 0 added holes, 10 changed sides, 11 changed coefficients
2.39/2.41 c 738758 implications, 0 cliques
2.39/2.41 c presolved problem has 19981 variables (19981 bin, 0 int, 0 impl, 0 cont) and 77062 constraints
2.39/2.41 c 1 constraints of type <knapsack>
2.39/2.41 c 77061 constraints of type <logicor>
2.39/2.41 c transformed objective value is always integral (scale: 1)
2.39/2.41 c Presolving Time: 1.73
2.39/2.42 c OPT-LIN
2.39/2.42 c -----------------------------------------------------------------------------------------------
2.39/2.42 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.39/2.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.42 c limits/memory = c 13950
2.39/2.42 c # maximal time in seconds to run
2.39/2.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.42 c limits/time = c 1791
2.39/2.42 c # frequency for displaying node information lines
2.39/2.42 c # [type: int, range: [-1,2147483647], default: 100]
2.39/2.42 c display/freq = c 10000
2.39/2.42 c -----------------------------------------------------------------------------------------------
2.39/2.42 c start solving problem
2.39/2.42 c
37.28/37.36 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.28/37.36 c 36.6s| 1 | 0 | 13471 | 159M| 0 |6155 | 19k| 77k| 77k| 19k| 77k| 0 | 0 | 0 | 1.060954e+01 | -- | Inf
846.15/846.37 c 845s| 1 | 2 | 56813 | 159M| 0 |6155 | 19k| 77k| 77k| 19k| 77k| 0 | 0 | 18 | 1.060954e+01 | -- | Inf
1798.11/1798.49 c
1798.11/1798.49 c SCIP Status : solving was interrupted [time limit reached]
1798.11/1798.49 c Solving Time (sec) : 1794.77
1798.11/1798.49 c Solving Nodes : 7
1798.11/1798.49 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1798.11/1798.49 c Dual Bound : +1.06095434859089e+01
1798.11/1798.49 c Gap : infinite
1798.11/1798.49 c NODE 7
1798.11/1798.49 c DUAL BOUND 10.6095
1798.11/1798.49 c PRIMAL BOUND 1e+20
1798.11/1798.49 c GAP 1e+20
1798.11/1798.49 s UNKNOWN
1798.11/1798.49 c SCIP Status : solving was interrupted [time limit reached]
1798.11/1798.49 c Solving Time : 1794.77
1798.11/1798.49 c Original Problem :
1798.11/1798.49 c Problem name : HOME/instance-3736054-1338711646.opb
1798.11/1798.49 c Variables : 21320 (21320 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.11/1798.49 c Constraints : 79746 initial, 79746 maximal
1798.11/1798.49 c Presolved Problem :
1798.11/1798.49 c Problem name : t_HOME/instance-3736054-1338711646.opb
1798.11/1798.49 c Variables : 19981 (19981 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.11/1798.49 c Constraints : 77062 initial, 77062 maximal
1798.11/1798.49 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1798.11/1798.49 c trivial : 0.00 0 0 0 0 0 0 0 0
1798.11/1798.49 c dualfix : 0.00 0 0 0 0 0 0 0 0
1798.11/1798.49 c boundshift : 0.00 0 0 0 0 0 0 0 0
1798.11/1798.49 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1798.11/1798.49 c implics : 0.01 0 10 0 0 0 0 0 0
1798.11/1798.49 c probing : 1.08 0 0 0 0 0 0 0 0
1798.11/1798.49 c knapsack : 0.00 0 0 0 0 0 0 0 0
1798.11/1798.49 c linear : 0.49 5 1324 0 5 0 2684 10 11
1798.11/1798.49 c logicor : 0.09 0 0 0 0 0 0 0 0
1798.11/1798.49 c root node : - 0 - - 0 - - - -
1798.11/1798.49 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1798.11/1798.49 c integral : 0 0 0 7 0 0 0 0 0 14
1798.11/1798.49 c knapsack : 1 1 1099 0 0 0 0 0 0 0
1798.11/1798.49 c logicor : 77061 1 1095 0 0 0 74 0 0 0
1798.11/1798.49 c countsols : 0 0 0 0 0 0 0 0 0 0
1798.11/1798.49 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1798.11/1798.49 c integral : 751.95 0.00 0.00 751.95 0.00
1798.11/1798.49 c knapsack : 0.01 0.01 0.00 0.00 0.00
1798.11/1798.49 c logicor : 0.17 0.00 0.17 0.00 0.00
1798.11/1798.49 c countsols : 0.00 0.00 0.00 0.00 0.00
1798.11/1798.49 c Propagators : Time Calls Cutoffs DomReds
1798.11/1798.49 c rootredcost : 0.00 0 0 0
1798.11/1798.49 c pseudoobj : 0.00 12 0 0
1798.11/1798.49 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1798.11/1798.49 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1798.11/1798.49 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1798.11/1798.49 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1798.11/1798.49 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1798.11/1798.49 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1798.11/1798.49 c applied globally : - - - 0 0.0 - - -
1798.11/1798.49 c applied locally : - - - 0 0.0 - - -
1798.11/1798.49 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1798.11/1798.49 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1798.11/1798.49 c redcost : 0.00 7 0 0 0 0
1798.11/1798.49 c impliedbounds : 0.01 1 0 0 0 0
1798.11/1798.49 c intobj : 0.00 0 0 0 0 0
1798.11/1798.49 c gomory : 11.65 1 0 0 0 0
1798.11/1798.49 c strongcg : 11.62 1 0 0 0 0
1798.11/1798.49 c cmir : 3.36 1 0 0 0 0
1798.11/1798.49 c flowcover : 3.62 1 0 0 0 0
1798.11/1798.49 c clique : 0.29 1 0 0 0 0
1798.11/1798.49 c zerohalf : 0.00 0 0 0 0 0
1798.11/1798.49 c mcf : 0.05 1 0 0 0 0
1798.11/1798.49 c Pricers : Time Calls Vars
1798.11/1798.49 c problem variables: 0.00 0 0
1798.11/1798.49 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1798.11/1798.49 c relpscost : 751.95 7 0 0 0 0 14
1798.11/1798.49 c pscost : 0.00 0 0 0 0 0 0
1798.11/1798.49 c inference : 0.00 0 0 0 0 0 0
1798.11/1798.49 c mostinf : 0.00 0 0 0 0 0 0
1798.11/1798.49 c leastinf : 0.00 0 0 0 0 0 0
1798.11/1798.49 c fullstrong : 0.00 0 0 0 0 0 0
1798.11/1798.49 c allfullstrong : 0.00 0 0 0 0 0 0
1798.11/1798.49 c random : 0.00 0 0 0 0 0 0
1798.11/1798.49 c Primal Heuristics : Time Calls Found
1798.11/1798.49 c LP solutions : 0.00 - 0
1798.11/1798.49 c pseudo solutions : 0.00 - 0
1798.11/1798.49 c oneopt : 0.00 0 0
1798.11/1798.49 c coefdiving : 0.00 0 0
1798.11/1798.49 c pscostdiving : 0.00 0 0
1798.11/1798.49 c fracdiving : 0.00 0 0
1798.11/1798.49 c veclendiving : 0.00 0 0
1798.11/1798.49 c objpscostdiving : 0.00 0 0
1798.11/1798.49 c rootsoldiving : 0.00 0 0
1798.11/1798.49 c linesearchdiving : 0.00 0 0
1798.11/1798.49 c simplerounding : 0.00 0 0
1798.11/1798.49 c rounding : 0.07 7 0
1798.11/1798.49 c shifting : 0.05 1 0
1798.11/1798.49 c intshifting : 0.00 0 0
1798.11/1798.49 c fixandinfer : 0.00 0 0
1798.11/1798.49 c feaspump : 468.45 1 0
1798.11/1798.49 c intdiving : 0.00 0 0
1798.11/1798.49 c actconsdiving : 0.00 0 0
1798.11/1798.49 c guideddiving : 0.00 0 0
1798.11/1798.49 c octane : 0.00 0 0
1798.11/1798.49 c rens : 217.68 1 0
1798.11/1798.49 c rins : 0.00 0 0
1798.11/1798.49 c localbranching : 0.00 0 0
1798.11/1798.49 c mutation : 0.00 0 0
1798.11/1798.49 c crossover : 0.00 0 0
1798.11/1798.49 c dins : 0.00 0 0
1798.11/1798.49 c LP : Time Calls Iterations Iter/call Iter/sec
1798.11/1798.49 c primal LP : 0.00 0 0 0.00 -
1798.11/1798.49 c dual LP : 323.96 7 84449 12064.14 260.68
1798.11/1798.49 c barrier LP : 0.00 0 0 0.00 -
1798.11/1798.49 c diving/probing LP: 468.36 7 43342 6191.71 92.54
1798.11/1798.49 c strong branching : 751.91 149 149000 1000.00 198.16
1798.11/1798.49 c (at root node) : - 18 18000 1000.00 -
1798.11/1798.49 c conflict analysis: 0.00 0 0 0.00 -
1798.11/1798.49 c B&B Tree :
1798.11/1798.49 c number of runs : 1
1798.11/1798.49 c nodes : 7
1798.11/1798.49 c nodes (total) : 7
1798.11/1798.49 c nodes left : 8
1798.11/1798.49 c max depth : 6
1798.11/1798.49 c max depth (total): 6
1798.11/1798.49 c backtracks : 0 (0.0%)
1798.11/1798.49 c delayed cutoffs : 0
1798.11/1798.49 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1798.11/1798.49 c avg switch length: 1.00
1798.11/1798.49 c switching time : 0.02
1798.11/1798.49 c Solution :
1798.11/1798.49 c Solutions found : 0 (0 improvements)
1798.11/1798.49 c Primal Bound : -
1798.11/1798.49 c Dual Bound : +1.06095434859089e+01
1798.11/1798.49 c Gap : infinite
1798.11/1798.49 c Root Dual Bound : +1.06095434859089e+01
1798.30/1798.64 c Time complete: 1798.35.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3736054-1338711646/watcher-3736054-1338711646 -o /tmp/evaluation-result-3736054-1338711646/solver-3736054-1338711646 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3736054-1338711646.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 31852
/proc/meminfo: memFree=27424228/32873648 swapFree=6864/6864
[pid=31852] ppid=31850 vsize=9380 CPUtime=0 cores=0,2,4,6
/proc/31852/stat : 31852 (pbscip.linux.x8) R 31850 31852 19043 0 -1 4202496 1627 0 0 0 0 0 0 0 20 0 1 0 337290575 9605120 1580 33554432000 4194304 7823515 140735076606544 140734917351080 5878822 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31852/statm: 2345 1595 349 887 0 1455 0
[startup+0.068845 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 31852
/proc/meminfo: memFree=27424228/32873648 swapFree=6864/6864
[pid=31852] ppid=31850 vsize=18704 CPUtime=0.06 cores=0,2,4,6
/proc/31852/stat : 31852 (pbscip.linux.x8) R 31850 31852 19043 0 -1 4202496 3770 0 0 0 6 0 0 0 20 0 1 0 337290575 19152896 3723 33554432000 4194304 7823515 140735076606544 140734917351080 5878822 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31852/statm: 4676 3756 354 887 0 3786 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 18704
[startup+0.100313 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 31852
/proc/meminfo: memFree=27424228/32873648 swapFree=6864/6864
[pid=31852] ppid=31850 vsize=19300 CPUtime=0.09 cores=0,2,4,6
/proc/31852/stat : 31852 (pbscip.linux.x8) R 31850 31852 19043 0 -1 4202496 4161 0 0 0 9 0 0 0 20 0 1 0 337290575 19763200 4114 33554432000 4194304 7823515 140735076606544 140734917351080 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31852/statm: 4825 4114 354 887 0 3935 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19300
[startup+0.300268 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 31852
/proc/meminfo: memFree=27424228/32873648 swapFree=6864/6864
[pid=31852] ppid=31850 vsize=36912 CPUtime=0.29 cores=0,2,4,6
/proc/31852/stat : 31852 (pbscip.linux.x8) R 31850 31852 19043 0 -1 4202496 8558 0 0 0 28 1 0 0 20 0 1 0 337290575 37797888 8511 33554432000 4194304 7823515 140735076606544 140734917351080 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31852/statm: 9228 8511 354 887 0 8338 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36912
[startup+0.700252 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 31852
/proc/meminfo: memFree=27424228/32873648 swapFree=6864/6864
[pid=31852] ppid=31850 vsize=123188 CPUtime=0.69 cores=0,2,4,6
/proc/31852/stat : 31852 (pbscip.linux.x8) R 31850 31852 19043 0 -1 4202496 30119 0 0 0 64 5 0 0 20 0 1 0 337290575 126144512 29718 33554432000 4194304 7823515 140735076606544 140734917351080 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31852/statm: 30797 29718 432 887 0 29907 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 123188
[startup+1.50024 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 31853
/proc/meminfo: memFree=27283488/32873648 swapFree=6864/6864
[pid=31852] ppid=31850 vsize=185448 CPUtime=1.49 cores=0,2,4,6
/proc/31852/stat : 31852 (pbscip.linux.x8) R 31850 31852 19043 0 -1 4202496 45409 0 0 0 134 15 0 0 20 0 1 0 337290575 189898752 45340 33554432000 4194304 7823515 140735076606544 140735076603480 4243078 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31852/statm: 46362 45340 456 887 0 45472 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 185448
[startup+3.10017 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 31853
/proc/meminfo: memFree=27243168/32873648 swapFree=6864/6864
[pid=31852] ppid=31850 vsize=289396 CPUtime=3.09 cores=0,2,4,6
/proc/31852/stat : 31852 (pbscip.linux.x8) R 31850 31852 19043 0 -1 4202496 67603 0 0 0 291 18 0 0 20 0 1 0 337290575 296341504 68113 33554432000 4194304 7823515 140735076606544 140735076601992 6212032 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31852/statm: 72349 68113 527 887 0 71459 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 289396
[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31853
/proc/meminfo: memFree=27141852/32873648 swapFree=6864/6864
[pid=31852] ppid=31850 vsize=302820 CPUtime=6.29 cores=0,2,4,6
/proc/31852/stat : 31852 (pbscip.linux.x8) R 31850 31852 19043 0 -1 4202496 71081 0 0 0 610 19 0 0 20 0 1 0 337290575 310087680 71946 33554432000 4194304 7823515 140735076606544 140735076601880 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31852/statm: 75705 71946 527 887 0 74815 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 302820
[startup+12.7002 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 31853
/proc/meminfo: memFree=27129536/32873648 swapFree=6864/6864
[pid=31852] ppid=31850 vsize=311776 CPUtime=12.69 cores=0,2,4,6
/proc/31852/stat : 31852 (pbscip.linux.x8) R 31850 31852 19043 0 -1 4202496 74992 0 0 0 1248 21 0 0 20 0 1 0 337290575 319258624 73916 33554432000 4194304 7823515 140735076606544 140735076602232 6212558 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31852/statm: 77944 73916 527 887 0 77054 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 311776
[startup+25.5002 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 31853
/proc/meminfo: memFree=27122852/32873648 swapFree=6864/6864
[pid=31852] ppid=31850 vsize=319216 CPUtime=25.49 cores=0,2,4,6
/proc/31852/stat : 31852 (pbscip.linux.x8) R 31850 31852 19043 0 -1 4202496 76902 0 0 0 2526 23 0 0 20 0 1 0 337290575 326877184 75683 33554432000 4194304 7823515 140735076606544 140735076601880 6206115 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31852/statm: 79804 75683 527 887 0 78914 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 319216
[startup+51.1003 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 31891
/proc/meminfo: memFree=27414884/32873648 swapFree=6864/6864
[pid=31852] ppid=31850 vsize=319216 CPUtime=51.08 cores=0,2,4,6
/proc/31852/stat : 31852 (pbscip.linux.x8) R 31850 31852 19043 0 -1 4202496 77078 0 0 0 5083 25 0 0 20 0 1 0 337290575 326877184 75858 33554432000 4194304 7823515 140735076606544 140735076601304 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31852/statm: 79804 75858 538 887 0 78914 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 319216
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 31891
/proc/meminfo: memFree=27356664/32873648 swapFree=6864/6864
[pid=31852] ppid=31850 vsize=319216 CPUtime=102.28 cores=0,2,4,6
/proc/31852/stat : 31852 (pbscip.linux.x8) R 31850 31852 19043 0 -1 4202496 77106 0 0 0 10201 27 0 0 20 0 1 0 337290575 326877184 76264 33554432000 4194304 7823515 140735076606544 140735076601304 6214929 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31852/statm: 79804 76264 538 887 0 78914 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 319216
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31891
/proc/meminfo: memFree=27352176/32873648 swapFree=6864/6864
[pid=31852] ppid=31850 vsize=319216 CPUtime=162.26 cores=0,2,4,6
/proc/31852/stat : 31852 (pbscip.linux.x8) R 31850 31852 19043 0 -1 4202496 77115 0 0 0 16197 29 0 0 20 0 1 0 337290575 326877184 77239 33554432000 4194304 7823515 140735076606544 140735076601224 6208928 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31852/statm: 79804 77239 538 887 0 78914 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 319216
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31892
/proc/meminfo: memFree=27344972/32873648 swapFree=6864/6864
[pid=31852] ppid=31850 vsize=319728 CPUtime=222.25 cores=0,2,4,6
/proc/31852/stat : 31852 (pbscip.linux.x8) R 31850 31852 19043 0 -1 4202496 77617 0 0 0 22194 31 0 0 20 0 1 0 337290575 327401472 78777 33554432000 4194304 7823515 140735076606544 140735076601224 6208332 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31852/statm: 79932 78777 538 887 0 79042 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 319728
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31892
/proc/meminfo: memFree=27344876/32873648 swapFree=6864/6864
[pid=31852] ppid=31850 vsize=319728 CPUtime=282.24 cores=0,2,4,6
/proc/31852/stat : 31852 (pbscip.linux.x8) R 31850 31852 19043 0 -1 4202496 77668 0 0 0 28190 34 0 0 20 0 1 0 337290575 327401472 78828 33554432000 4194304 7823515 140735076606544 140735076601224 6211671 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31852/statm: 79932 78828 538 887 0 79042 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 319728
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31892
/proc/meminfo: memFree=27342288/32873648 swapFree=6864/6864
[pid=31852] ppid=31850 vsize=319728 CPUtime=342.23 cores=0,2,4,6
/proc/31852/stat : 31852 (pbscip.linux.x8) R 31850 31852 19043 0 -1 4202496 77686 0 0 0 34187 36 0 0 20 0 1 0 337290575 327401472 78846 33554432000 4194304 7823515 140735076606544 140735076601224 6208315 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31852/statm: 79932 78846 538 887 0 79042 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 319728
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31893
/proc/meminfo: memFree=27342280/32873648 swapFree=6864/6864
[pid=31852] ppid=31850 vsize=319728 CPUtime=402.22 cores=0,2,4,6
/proc/31852/stat : 31852 (pbscip.linux.x8) R 31850 31852 19043 0 -1 4202496 77695 0 0 0 40184 38 0 0 20 0 1 0 337290575 327401472 78855 33554432000 4194304 7823515 140735076606544 140735076601224 6208520 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31852/statm: 79932 78855 538 887 0 79042 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 319728
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31893
/proc/meminfo: memFree=27337436/32873648 swapFree=6864/6864
[pid=31852] ppid=31850 vsize=319728 CPUtime=462.21 cores=0,2,4,6
/proc/31852/stat : 31852 (pbscip.linux.x8) R 31850 31852 19043 0 -1 4202496 77697 0 0 0 46181 40 0 0 20 0 1 0 337290575 327401472 78857 33554432000 4194304 7823515 140735076606544 140735076601304 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31852/statm: 79932 78857 538 887 0 79042 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 319728
[startup+522.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 31894
/proc/meminfo: memFree=27340860/32873648 swapFree=6864/6864
[pid=31852] ppid=31850 vsize=326280 CPUtime=522.2 cores=0,2,4,6
/proc/31852/stat : 31852 (pbscip.linux.x8) R 31850 31852 19043 0 -1 4202496 78411 0 0 0 52174 46 0 0 20 0 1 0 337290575 334110720 77936 33554432000 4194304 7823515 140735076606544 140735076601816 4272784 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31852/statm: 81570 77936 545 887 0 80680 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 326280
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 31897
/proc/meminfo: memFree=27157420/32873648 swapFree=6864/6864
[pid=31852] ppid=31850 vsize=508600 CPUtime=582.19 cores=0,2,4,6
/proc/31852/stat : 31852 (pbscip.linux.x8) R 31850 31852 19043 0 -1 4202496 124061 0 0 0 58144 75 0 0 20 0 1 0 337290575 520806400 123888 33554432000 4194304 7823515 140735076606544 140735076599816 6268601 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31852/statm: 127150 123888 563 887 0 126260 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 508600
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27340956/32873648 swapFree=6864/6864
[pid=31852] ppid=31850 vsize=330612 CPUtime=1122.11 cores=0,2,4,6
/proc/31852/stat : 31852 (pbscip.linux.x8) R 31850 31852 19043 0 -1 4202496 233649 0 0 0 112066 145 0 0 20 0 1 0 337290575 338546688 79861 33554432000 4194304 7823515 140735076606544 140735076601240 6206197 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31852/statm: 82653 79861 569 887 0 81763 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 330612
[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 31902
/proc/meminfo: memFree=27322968/32873648 swapFree=6864/6864
[pid=31852] ppid=31850 vsize=334612 CPUtime=1182.09 cores=0,2,4,6
/proc/31852/stat : 31852 (pbscip.linux.x8) R 31850 31852 19043 0 -1 4202496 284782 0 0 0 118050 159 0 0 20 0 1 0 337290575 342642688 82787 33554432000 4194304 7823515 140735076606544 140735076601880 6234801 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31852/statm: 83653 82787 569 887 0 82763 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 334612
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 31902
/proc/meminfo: memFree=27334324/32873648 swapFree=6864/6864
[pid=31852] ppid=31850 vsize=330680 CPUtime=1242.09 cores=0,2,4,6
/proc/31852/stat : 31852 (pbscip.linux.x8) R 31850 31852 19043 0 -1 4202496 334870 0 0 0 124034 175 0 0 20 0 1 0 337290575 338616320 79845 33554432000 4194304 7823515 140735076606544 140735076601240 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31852/statm: 82670 79845 569 887 0 81780 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 330680
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 31902
/proc/meminfo: memFree=27328364/32873648 swapFree=6864/6864
[pid=31852] ppid=31850 vsize=330692 CPUtime=1302.08 cores=0,2,4,6
/proc/31852/stat : 31852 (pbscip.linux.x8) R 31850 31852 19043 0 -1 4202496 394201 0 0 0 130017 191 0 0 20 0 1 0 337290575 338628608 81299 33554432000 4194304 7823515 140735076606544 140735076601240 6211331 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31852/statm: 82673 81299 569 887 0 81783 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 330692
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31902
/proc/meminfo: memFree=27322476/32873648 swapFree=6864/6864
[pid=31852] ppid=31850 vsize=337864 CPUtime=1362.07 cores=0,2,4,6
/proc/31852/stat : 31852 (pbscip.linux.x8) R 31850 31852 19043 0 -1 4202496 413862 0 0 0 136007 200 0 0 20 0 1 0 337290575 345972736 82759 33554432000 4194304 7823515 140735076606544 140735076601208 6214922 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31852/statm: 84466 82759 569 887 0 83576 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 337864
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31902
/proc/meminfo: memFree=27338108/32873648 swapFree=6864/6864
[pid=31852] ppid=31850 vsize=327812 CPUtime=1422.07 cores=0,2,4,6
/proc/31852/stat : 31852 (pbscip.linux.x8) R 31850 31852 19043 0 -1 4202496 461535 0 0 0 141993 214 0 0 20 0 1 0 337290575 335679488 78886 33554432000 4194304 7823515 140735076606544 140735076601240 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31852/statm: 81953 78886 569 887 0 81063 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 327812
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31903
/proc/meminfo: memFree=27322040/32873648 swapFree=6864/6864
[pid=31852] ppid=31850 vsize=338432 CPUtime=1482.06 cores=0,2,4,6
/proc/31852/stat : 31852 (pbscip.linux.x8) R 31850 31852 19043 0 -1 4202496 508209 0 0 0 147979 227 0 0 20 0 1 0 337290575 346554368 82885 33554432000 4194304 7823515 140735076606544 140735076602232 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31852/statm: 84608 82885 569 887 0 83718 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 338432
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31903
/proc/meminfo: memFree=27338412/32873648 swapFree=6864/6864
[pid=31852] ppid=31850 vsize=328268 CPUtime=1542.04 cores=0,2,4,6
/proc/31852/stat : 31852 (pbscip.linux.x8) R 31850 31852 19043 0 -1 4202496 521838 0 0 0 153970 234 0 0 20 0 1 0 337290575 336146432 78749 33554432000 4194304 7823515 140735076606544 140735076601592 6211018 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31852/statm: 82067 78749 569 887 0 81177 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 328268
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31903
/proc/meminfo: memFree=27326504/32873648 swapFree=6864/6864
[pid=31852] ppid=31850 vsize=328268 CPUtime=1602.03 cores=0,2,4,6
/proc/31852/stat : 31852 (pbscip.linux.x8) R 31850 31852 19043 0 -1 4202496 577381 0 0 0 159952 251 0 0 20 0 1 0 337290575 336146432 78749 33554432000 4194304 7823515 140735076606544 140735076601752 5924480 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31852/statm: 82067 78749 569 887 0 81177 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 328268
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 31903
/proc/meminfo: memFree=27327992/32873648 swapFree=6864/6864
[pid=31852] ppid=31850 vsize=331828 CPUtime=1662.02 cores=0,2,4,6
/proc/31852/stat : 31852 (pbscip.linux.x8) R 31850 31852 19043 0 -1 4202496 631719 0 0 0 165934 268 0 0 20 0 1 0 337290575 339791872 81482 33554432000 4194304 7823515 140735076606544 140735076602344 6908077 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31852/statm: 82957 81482 569 887 0 82067 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 331828
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 31903
/proc/meminfo: memFree=27318440/32873648 swapFree=6864/6864
[pid=31852] ppid=31850 vsize=339276 CPUtime=1722.02 cores=0,2,4,6
/proc/31852/stat : 31852 (pbscip.linux.x8) R 31850 31852 19043 0 -1 4202496 633095 0 0 0 171928 274 0 0 20 0 1 0 337290575 347418624 83880 33554432000 4194304 7823515 140735076606544 140735076601880 6151335 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31852/statm: 84819 83880 569 887 0 83929 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 339276
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 31907
/proc/meminfo: memFree=27334620/32873648 swapFree=6864/6864
[pid=31852] ppid=31850 vsize=332040 CPUtime=1782.01 cores=0,2,4,6
/proc/31852/stat : 31852 (pbscip.linux.x8) R 31850 31852 19043 0 -1 4202496 690098 0 0 0 177910 291 0 0 20 0 1 0 337290575 340008960 80064 33554432000 4194304 7823515 140735076606544 140735076601592 6214760 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31852/statm: 83010 80064 569 887 0 82120 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 332040
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 31907
/proc/meminfo: memFree=27338960/32873648 swapFree=6864/6864
[pid=31852] ppid=31850 vsize=328396 CPUtime=1791.61 cores=0,2,4,6
/proc/31852/stat : 31852 (pbscip.linux.x8) R 31850 31852 19043 0 -1 4202496 699364 0 0 0 178867 294 0 0 20 0 1 0 337290575 336277504 78740 33554432000 4194304 7823515 140735076606544 140735076601704 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31852/statm: 82099 78740 569 887 0 81209 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 328396
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31907
/proc/meminfo: memFree=27333752/32873648 swapFree=6864/6864
[pid=31852] ppid=31850 vsize=332032 CPUtime=1794.81 cores=0,2,4,6
/proc/31852/stat : 31852 (pbscip.linux.x8) R 31850 31852 19043 0 -1 4202496 703336 0 0 0 179186 295 0 0 20 0 1 0 337290575 340000768 80067 33554432000 4194304 7823515 140735076606544 140735076601240 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31852/statm: 83008 80067 569 887 0 82118 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 332032
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31907
/proc/meminfo: memFree=27338960/32873648 swapFree=6864/6864
[pid=31852] ppid=31850 vsize=328396 CPUtime=1796.41 cores=0,2,4,6
/proc/31852/stat : 31852 (pbscip.linux.x8) R 31850 31852 19043 0 -1 4202496 704656 0 0 0 179345 296 0 0 20 0 1 0 337290575 336277504 78740 33554432000 4194304 7823515 140735076606544 140735076600568 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31852/statm: 82099 78740 569 887 0 81209 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 328396
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31907
/proc/meminfo: memFree=27333752/32873648 swapFree=6864/6864
[pid=31852] ppid=31850 vsize=332028 CPUtime=1797.2 cores=0,2,4,6
/proc/31852/stat : 31852 (pbscip.linux.x8) R 31850 31852 19043 0 -1 4202496 705980 0 0 0 179424 296 0 0 20 0 1 0 337290575 339996672 80064 33554432000 4194304 7823515 140735076606544 140735076601240 6212302 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31852/statm: 83007 80064 569 887 0 82117 0
Current children cumulated CPU time (s) 1797.2
Current children cumulated vsize (KiB) 332028
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31907
/proc/meminfo: memFree=27333752/32873648 swapFree=6864/6864
[pid=31852] ppid=31850 vsize=333884 CPUtime=1798 cores=0,2,4,6
/proc/31852/stat : 31852 (pbscip.linux.x8) R 31850 31852 19043 0 -1 4202496 706852 0 0 0 179504 296 0 0 20 0 1 0 337290575 341897216 81958 33554432000 4194304 7823515 140735076606544 140735076601240 6180642 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31852/statm: 83471 81958 569 887 0 82581 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 333884
[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31907
/proc/meminfo: memFree=27326308/32873648 swapFree=6864/6864
[pid=31852] ppid=31850 vsize=333884 CPUtime=1798.21 cores=0,2,4,6
/proc/31852/stat : 31852 (pbscip.linux.x8) R 31850 31852 19043 0 -1 4202496 706933 0 0 0 179525 296 0 0 20 0 1 0 337290575 341897216 82039 33554432000 4194304 7823515 140735076606544 140735076601240 6042089 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31852/statm: 83471 82039 571 887 0 82581 0
Current children cumulated CPU time (s) 1798.21
Current children cumulated vsize (KiB) 333884
[startup+1798.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31907
/proc/meminfo: memFree=27326308/32873648 swapFree=6864/6864
[pid=31852] ppid=31850 vsize=333884 CPUtime=1798.3 cores=0,2,4,6
/proc/31852/stat : 31852 (pbscip.linux.x8) R 31850 31852 19043 0 -1 4202496 706933 0 0 0 179534 296 0 0 20 0 1 0 337290575 341897216 82039 33554432000 4194304 7823515 140735076606544 140735076601240 6899811 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31852/statm: 83471 82039 571 887 0 82581 0
Current children cumulated CPU time (s) 1798.3
Current children cumulated vsize (KiB) 333884
Child status: 0
Real time (s): 1798.65
CPU time (s): 1798.36
CPU user time (s): 1795.39
CPU system time (s): 2.97155
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 509520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.39
system time used= 2.97155
maximum resident set size= 499400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 706936
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= 15
involuntary context switches= 1953
runsolver used 5.51116 second user time and 8.82566 second system time
The end