0.19/0.29 c SCIP version 1.1.0.7
0.19/0.29 c LP-Solver SoPlex 1.4.1
0.19/0.29 c user parameter file <scip.set> not found - using default parameters
0.19/0.29 c read problem <HOME/instance-3733839-1338701179.opb>
0.19/0.29 c original problem has 5584 variables (5584 bin, 0 int, 0 impl, 0 cont) and 10895 constraints
0.29/0.37 c start presolving problem
0.29/0.37 c presolving:
0.39/0.48 c (round 1) 0 del vars, 5440 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 15 upgd conss, 0 impls, 0 clqs
1.99/2.01 c (1.7s) probing: 245/5584 (4.4%) - 8 fixings, 0 aggregations, 685 implications, 0 bound changes
1.99/2.01 c (1.7s) probing aborted: 100/100 successive totally useless probings
1.99/2.01 c (round 2) 8 del vars, 5440 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 15 upgd conss, 4496 impls, 0 clqs
2.09/2.13 c presolving (3 rounds):
2.09/2.13 c 8 deleted vars, 5440 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.09/2.13 c 4496 implications, 0 cliques
2.09/2.13 c presolved problem has 5576 variables (5576 bin, 0 int, 0 impl, 0 cont) and 5455 constraints
2.09/2.13 c 15 constraints of type <knapsack>
2.09/2.13 c 5440 constraints of type <linear>
2.09/2.13 c transformed objective value is always integral (scale: 1)
2.09/2.13 c Presolving Time: 1.67
2.09/2.13 c OPT-LIN
2.09/2.13 c -----------------------------------------------------------------------------------------------
2.09/2.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.09/2.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.09/2.13 c limits/memory = c 13950
2.09/2.13 c # maximal time in seconds to run
2.09/2.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.09/2.13 c limits/time = c 1791
2.09/2.13 c # frequency for displaying node information lines
2.09/2.13 c # [type: int, range: [-1,2147483647], default: 100]
2.09/2.13 c display/freq = c 10000
2.09/2.13 c -----------------------------------------------------------------------------------------------
2.09/2.13 c start solving problem
2.09/2.13 c
2.89/2.92 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.89/2.92 c 2.6s| 1 | 0 | 6060 | 49M| 0 |3180 |5576 |5455 |5455 |5576 |5455 | 0 | 0 | 0 | 1.500000e+01 | -- | Inf
10.29/10.38 c 10.0s| 1 | 0 | 16596 | 50M| 0 |3185 |5576 |5455 |5455 |5576 |5496 | 41 | 0 | 0 | 1.500000e+01 | -- | Inf
10.79/10.85 c 10.5s| 1 | 0 | 16717 | 51M| 0 |3189 |5576 |5455 |5455 |5576 |5549 | 94 | 0 | 0 | 1.500000e+01 | -- | Inf
11.49/11.56 c 11.2s| 1 | 0 | 17299 | 51M| 0 |3204 |5576 |5455 |5455 |5576 |5602 | 147 | 0 | 0 | 1.500098e+01 | -- | Inf
12.29/12.31 c 11.9s| 1 | 0 | 17877 | 52M| 0 |3205 |5576 |5455 |5455 |5576 |5650 | 195 | 0 | 0 | 1.506452e+01 | -- | Inf
13.48/13.51 c 13.1s| 1 | 0 | 18747 | 52M| 0 |3212 |5576 |5455 |5455 |5576 |5700 | 245 | 0 | 0 | 1.509790e+01 | -- | Inf
14.88/14.99 c 14.6s| 1 | 0 | 19841 | 53M| 0 |3212 |5576 |5455 |5455 |5576 |5752 | 297 | 0 | 0 | 1.510811e+01 | -- | Inf
15.99/16.09 c 15.7s| 1 | 0 | 20361 | 53M| 0 |3207 |5576 |5455 |5455 |5576 |5785 | 330 | 0 | 0 | 1.513380e+01 | -- | Inf
17.59/17.66 c 17.3s| 1 | 0 | 20943 | 53M| 0 |3211 |5576 |5455 |5455 |5576 |5824 | 369 | 0 | 0 | 1.513380e+01 | -- | Inf
19.38/19.47 c 19.1s| 1 | 0 | 21532 | 54M| 0 |3207 |5576 |5455 |5455 |5576 |5874 | 419 | 0 | 0 | 1.513380e+01 | -- | Inf
21.28/21.33 c 20.9s| 1 | 0 | 22774 | 54M| 0 |3204 |5576 |5455 |5455 |5576 |5935 | 480 | 0 | 0 | 1.513380e+01 | -- | Inf
22.49/22.54 c 22.1s| 1 | 0 | 24331 | 54M| 0 |3193 |5576 |5455 |5455 |5576 |5964 | 509 | 0 | 0 | 1.513380e+01 | -- | Inf
23.28/23.37 c 22.9s| 1 | 0 | 25088 | 54M| 0 |3197 |5576 |5455 |5455 |5576 |5995 | 540 | 0 | 0 | 1.513380e+01 | -- | Inf
45.18/45.22 c 44.6s| 1 | 2 | 25088 | 54M| 0 |3197 |5576 |5455 |5455 |5576 |5995 | 540 | 0 | 22 | 1.513380e+01 | -- | Inf
1406.73/1407.09 c 1402s| 10000 | 5295 | 2412k| 103M| 263 | 973 |5576 |7886 |6975 |5576 |5614 | 540 | 10k|7307 | 1.602214e+01 | -- | Inf
1797.56/1797.92 c
1797.56/1797.92 c SCIP Status : solving was interrupted [time limit reached]
1797.56/1797.92 c Solving Time (sec) : 1791.00
1797.56/1797.92 c Solving Nodes : 12990
1797.56/1797.92 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.56/1797.92 c Dual Bound : +1.70000000000000e+01
1797.56/1797.92 c Gap : infinite
1797.56/1797.92 c NODE 12990
1797.56/1797.92 c DUAL BOUND 17
1797.56/1797.92 c PRIMAL BOUND 1e+20
1797.56/1797.92 c GAP 1e+20
1797.56/1797.92 s UNKNOWN
1797.56/1797.92 c SCIP Status : solving was interrupted [time limit reached]
1797.56/1797.92 c Solving Time : 1791.00
1797.56/1797.92 c Original Problem :
1797.56/1797.92 c Problem name : HOME/instance-3733839-1338701179.opb
1797.56/1797.92 c Variables : 5584 (5584 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.56/1797.92 c Constraints : 10895 initial, 10895 maximal
1797.56/1797.92 c Presolved Problem :
1797.56/1797.92 c Problem name : t_HOME/instance-3733839-1338701179.opb
1797.56/1797.92 c Variables : 5576 (5576 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.56/1797.92 c Constraints : 5455 initial, 10204 maximal
1797.56/1797.92 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1797.56/1797.92 c trivial : 0.00 0 0 0 0 0 0 0 0
1797.56/1797.92 c dualfix : 0.00 0 0 0 0 0 0 0 0
1797.56/1797.92 c boundshift : 0.00 0 0 0 0 0 0 0 0
1797.56/1797.92 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1797.56/1797.92 c implics : 0.00 0 0 0 0 0 0 0 0
1797.56/1797.92 c probing : 1.49 8 0 0 0 0 0 0 0
1797.56/1797.92 c knapsack : 0.00 0 0 0 0 0 0 0 0
1797.56/1797.92 c linear : 0.17 0 0 0 0 0 5440 0 0
1797.56/1797.92 c logicor : 0.00 0 0 0 0 0 0 0 0
1797.56/1797.92 c root node : - 0 - - 0 - - - -
1797.56/1797.92 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1797.56/1797.92 c integral : 0 0 0 11503 0 12 5378 0 0 20722
1797.56/1797.92 c knapsack : 15 12 59293 0 0 115 7480 133 0 0
1797.56/1797.92 c linear : 5440 12 59178 0 0 972 1148340 1 0 0
1797.56/1797.92 c logicor : 0+ 0 25275 0 0 13 16777 0 0 0
1797.56/1797.92 c countsols : 0 0 0 0 0 0 0 0 0 0
1797.56/1797.92 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1797.56/1797.92 c integral : 612.77 0.00 0.00 612.77 0.00
1797.56/1797.92 c knapsack : 2.22 0.00 2.22 0.00 0.00
1797.56/1797.92 c linear : 88.18 0.01 88.17 0.00 0.00
1797.56/1797.92 c logicor : 1.09 0.00 1.09 0.00 0.00
1797.56/1797.92 c countsols : 0.00 0.00 0.00 0.00 0.00
1797.56/1797.92 c Propagators : Time Calls Cutoffs DomReds
1797.56/1797.92 c rootredcost : 0.01 0 0 0
1797.56/1797.92 c pseudoobj : 0.04 58798 0 0
1797.56/1797.92 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.56/1797.92 c propagation : 0.15 1098 1098 7382 36.3 22 11.8 -
1797.56/1797.92 c infeasible LP : 4.03 5084 5084 8357 14.8 223 13.3 0
1797.56/1797.92 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.56/1797.92 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.56/1797.92 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.56/1797.92 c applied globally : - - - 11870 20.6 - - -
1797.56/1797.92 c applied locally : - - - 0 0.0 - - -
1797.56/1797.92 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.56/1797.92 c cut pool : 0.00 11 - - 10952 - (maximal pool size: 5840)
1797.56/1797.92 c redcost : 1.01 11519 0 54 0 0
1797.56/1797.92 c impliedbounds : 0.00 12 0 0 21 0
1797.56/1797.92 c intobj : 0.00 0 0 0 0 0
1797.56/1797.92 c gomory : 0.46 12 0 0 12 0
1797.56/1797.92 c strongcg : 0.44 12 0 0 6 0
1797.56/1797.92 c cmir : 2.59 10 0 0 5000 0
1797.56/1797.92 c flowcover : 3.21 10 0 0 1812 0
1797.56/1797.92 c clique : 0.00 1 0 0 0 0
1797.56/1797.92 c zerohalf : 0.00 0 0 0 0 0
1797.56/1797.92 c mcf : 0.00 1 0 0 0 0
1797.56/1797.92 c Pricers : Time Calls Vars
1797.56/1797.92 c problem variables: 0.00 0 0
1797.56/1797.92 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.56/1797.92 c relpscost : 612.77 11503 12 5378 0 0 20722
1797.56/1797.92 c pscost : 0.00 0 0 0 0 0 0
1797.56/1797.92 c inference : 0.00 0 0 0 0 0 0
1797.56/1797.92 c mostinf : 0.00 0 0 0 0 0 0
1797.56/1797.92 c leastinf : 0.00 0 0 0 0 0 0
1797.56/1797.92 c fullstrong : 0.00 0 0 0 0 0 0
1797.56/1797.92 c allfullstrong : 0.00 0 0 0 0 0 0
1797.56/1797.92 c random : 0.00 0 0 0 0 0 0
1797.56/1797.92 c Primal Heuristics : Time Calls Found
1797.56/1797.92 c LP solutions : 0.00 - 0
1797.56/1797.92 c pseudo solutions : 0.00 - 0
1797.56/1797.92 c oneopt : 0.00 0 0
1797.56/1797.92 c crossover : 0.01 0 0
1797.56/1797.92 c objpscostdiving : 20.33 13 0
1797.56/1797.92 c rootsoldiving : 15.09 16 0
1797.56/1797.92 c veclendiving : 36.38 35 0
1797.56/1797.92 c linesearchdiving : 41.95 36 0
1797.56/1797.92 c feaspump : 30.96 20 0
1797.56/1797.92 c simplerounding : 0.02 0 0
1797.56/1797.92 c rounding : 1.63 1489 0
1797.56/1797.92 c shifting : 10.53 424 0
1797.56/1797.92 c intshifting : 0.00 0 0
1797.56/1797.92 c fixandinfer : 0.00 0 0
1797.56/1797.92 c coefdiving : 119.12 5 0
1797.56/1797.92 c pscostdiving : 45.69 23 0
1797.56/1797.92 c fracdiving : 71.28 5 0
1797.56/1797.92 c intdiving : 0.00 0 0
1797.56/1797.92 c actconsdiving : 0.00 0 0
1797.56/1797.92 c guideddiving : 0.00 0 0
1797.56/1797.92 c octane : 0.00 0 0
1797.56/1797.92 c rens : 0.00 0 0
1797.56/1797.92 c rins : 0.00 0 0
1797.56/1797.92 c localbranching : 0.00 0 0
1797.56/1797.92 c mutation : 0.00 0 0
1797.56/1797.92 c dins : 0.00 0 0
1797.56/1797.92 c LP : Time Calls Iterations Iter/call Iter/sec
1797.56/1797.92 c primal LP : 0.02 0 0 0.00 0.00
1797.56/1797.92 c dual LP : 678.20 13492 1985868 147.19 2928.15
1797.56/1797.92 c barrier LP : 0.00 0 0 0.00 -
1797.56/1797.92 c diving/probing LP: 342.00 8982 1107930 123.35 3239.56
1797.56/1797.92 c strong branching : 609.10 8713 1122665 128.85 1843.15
1797.56/1797.92 c (at root node) : - 22 22000 1000.00 -
1797.56/1797.92 c conflict analysis: 0.00 0 0 0.00 -
1797.56/1797.92 c B&B Tree :
1797.56/1797.92 c number of runs : 1
1797.56/1797.92 c nodes : 12990
1797.56/1797.92 c nodes (total) : 12990
1797.56/1797.92 c nodes left : 7589
1797.56/1797.92 c max depth : 263
1797.56/1797.92 c max depth (total): 263
1797.56/1797.92 c backtracks : 554 (4.3%)
1797.56/1797.92 c delayed cutoffs : 144
1797.56/1797.92 c repropagations : 18059 (230800 domain reductions, 20 cutoffs)
1797.56/1797.92 c avg switch length: 4.97
1797.56/1797.92 c switching time : 11.71
1797.56/1797.92 c Solution :
1797.56/1797.92 c Solutions found : 0 (0 improvements)
1797.56/1797.92 c Primal Bound : -
1797.56/1797.92 c Dual Bound : +1.70000000000000e+01
1797.56/1797.92 c Gap : infinite
1797.56/1797.92 c Root Dual Bound : +1.51338028169014e+01
1797.66/1798.03 c Time complete: 1797.7.
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-3733839-1338701179/watcher-3733839-1338701179 -o /tmp/evaluation-result-3733839-1338701179/solver-3733839-1338701179 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3733839-1338701179.opb
running on 4 cores: 1,3,5,7
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: 1.92 1.98 1.99 3/176 30885
/proc/meminfo: memFree=28163132/32873648 swapFree=6864/6864
[pid=30885] ppid=30883 vsize=8552 CPUtime=0 cores=1,3,5,7
/proc/30885/stat : 30885 (pbscip.linux.x8) R 30883 30885 19043 0 -1 4202496 1496 0 0 0 0 0 0 0 20 0 1 0 336243922 8757248 1448 33554432000 4194304 7823515 140735280812384 140734651448120 5878822 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30885/statm: 2138 1448 354 887 0 1248 0
[startup+0.0370589 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 30885
/proc/meminfo: memFree=28163132/32873648 swapFree=6864/6864
[pid=30885] ppid=30883 vsize=10520 CPUtime=0.03 cores=1,3,5,7
/proc/30885/stat : 30885 (pbscip.linux.x8) R 30883 30885 19043 0 -1 4202496 1973 0 0 0 3 0 0 0 20 0 1 0 336243922 10772480 1925 33554432000 4194304 7823515 140735280812384 140734651448120 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30885/statm: 2664 1944 354 887 0 1774 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10520
[startup+0.100265 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 30885
/proc/meminfo: memFree=28163132/32873648 swapFree=6864/6864
[pid=30885] ppid=30883 vsize=14000 CPUtime=0.09 cores=1,3,5,7
/proc/30885/stat : 30885 (pbscip.linux.x8) R 30883 30885 19043 0 -1 4202496 2863 0 0 0 9 0 0 0 20 0 1 0 336243922 14336000 2815 33554432000 4194304 7823515 140735280812384 140734651448120 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30885/statm: 3500 2815 354 887 0 2610 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14000
[startup+0.300251 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 30885
/proc/meminfo: memFree=28163132/32873648 swapFree=6864/6864
[pid=30885] ppid=30883 vsize=28888 CPUtime=0.29 cores=1,3,5,7
/proc/30885/stat : 30885 (pbscip.linux.x8) R 30883 30885 19043 0 -1 4202496 6851 0 0 0 29 0 0 0 20 0 1 0 336243922 29581312 6449 33554432000 4194304 7823515 140735280812384 140734651448120 4512305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30885/statm: 7222 6450 367 887 0 6332 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28888
[startup+0.700285 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 30885
/proc/meminfo: memFree=28163132/32873648 swapFree=6864/6864
[pid=30885] ppid=30883 vsize=111332 CPUtime=0.68 cores=1,3,5,7
/proc/30885/stat : 30885 (pbscip.linux.x8) R 30883 30885 19043 0 -1 4202496 26850 0 0 0 65 3 0 0 20 0 1 0 336243922 114003968 26448 33554432000 4194304 7823515 140735280812384 140735280809320 5029597 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30885/statm: 27833 26448 446 887 0 26943 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 111332
[startup+1.50024 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 30886
/proc/meminfo: memFree=28059592/32873648 swapFree=6864/6864
[pid=30885] ppid=30883 vsize=111332 CPUtime=1.48 cores=1,3,5,7
/proc/30885/stat : 30885 (pbscip.linux.x8) R 30883 30885 19043 0 -1 4202496 26850 0 0 0 145 3 0 0 20 0 1 0 336243922 114003968 26448 33554432000 4194304 7823515 140735280812384 140735280809064 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30885/statm: 27833 26448 446 887 0 26943 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 111332
[startup+3.10028 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 30886
/proc/meminfo: memFree=28043968/32873648 swapFree=6864/6864
[pid=30885] ppid=30883 vsize=141528 CPUtime=3.09 cores=1,3,5,7
/proc/30885/stat : 30885 (pbscip.linux.x8) R 30883 30885 19043 0 -1 4202496 34790 0 0 0 304 5 0 0 20 0 1 0 336243922 144924672 33117 33554432000 4194304 7823515 140735280812384 140735280807720 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30885/statm: 35382 33117 530 887 0 34492 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 141528
[startup+6.30029 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 30886
/proc/meminfo: memFree=28002252/32873648 swapFree=6864/6864
[pid=30885] ppid=30883 vsize=142304 CPUtime=6.29 cores=1,3,5,7
/proc/30885/stat : 30885 (pbscip.linux.x8) R 30883 30885 19043 0 -1 4202496 35038 0 0 0 623 6 0 0 20 0 1 0 336243922 145719296 33365 33554432000 4194304 7823515 140735280812384 140735280807192 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30885/statm: 35576 33365 530 887 0 34686 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 142304
[startup+12.7002 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 30886
/proc/meminfo: memFree=27985044/32873648 swapFree=6864/6864
[pid=30885] ppid=30883 vsize=168612 CPUtime=12.69 cores=1,3,5,7
/proc/30885/stat : 30885 (pbscip.linux.x8) R 30883 30885 19043 0 -1 4202496 41335 0 0 0 1260 9 0 0 20 0 1 0 336243922 172658688 39348 33554432000 4194304 7823515 140735280812384 140735280808136 5597657 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30885/statm: 42153 39348 554 887 0 41263 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 168612
[startup+25.5002 s]
/proc/loadavg: 2.09 2.02 2.01 3/178 30887
/proc/meminfo: memFree=27961040/32873648 swapFree=6864/6864
[pid=30885] ppid=30883 vsize=182116 CPUtime=25.48 cores=1,3,5,7
/proc/30885/stat : 30885 (pbscip.linux.x8) R 30883 30885 19043 0 -1 4202496 52353 0 0 0 2533 15 0 0 20 0 1 0 336243922 186486784 42448 33554432000 4194304 7823515 140735280812384 140735280807080 6237295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30885/statm: 45529 42448 559 887 0 44639 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 182116
[startup+51.1003 s]
/proc/loadavg: 2.06 2.01 2.00 3/178 30887
/proc/meminfo: memFree=27964532/32873648 swapFree=6864/6864
[pid=30885] ppid=30883 vsize=182296 CPUtime=51.08 cores=1,3,5,7
/proc/30885/stat : 30885 (pbscip.linux.x8) R 30883 30885 19043 0 -1 4202496 100496 0 0 0 5077 31 0 0 20 0 1 0 336243922 186671104 43219 33554432000 4194304 7823515 140735280812384 140735280807080 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30885/statm: 45574 43219 559 887 0 44684 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 182296
[startup+102.306 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 30887
/proc/meminfo: memFree=27962744/32873648 swapFree=6864/6864
[pid=30885] ppid=30883 vsize=180152 CPUtime=102.27 cores=1,3,5,7
/proc/30885/stat : 30885 (pbscip.linux.x8) R 30883 30885 19043 0 -1 4202496 115761 0 0 0 10180 47 0 0 20 0 1 0 336243922 184475648 42645 33554432000 4194304 7823515 140735280812384 140735280807848 6954986 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30885/statm: 45038 42645 565 887 0 44148 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 180152
[startup+162.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 30887
/proc/meminfo: memFree=27954040/32873648 swapFree=6864/6864
[pid=30885] ppid=30883 vsize=180152 CPUtime=162.24 cores=1,3,5,7
/proc/30885/stat : 30885 (pbscip.linux.x8) R 30883 30885 19043 0 -1 4202496 115844 0 0 0 16160 64 0 0 20 0 1 0 336243922 184475648 43595 33554432000 4194304 7823515 140735280812384 140735280809144 5061259 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30885/statm: 45038 43595 567 887 0 44148 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 180152
[startup+222.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/178 30890
/proc/meminfo: memFree=27955764/32873648 swapFree=6864/6864
[pid=30885] ppid=30883 vsize=179232 CPUtime=222.23 cores=1,3,5,7
/proc/30885/stat : 30885 (pbscip.linux.x8) R 30883 30885 19043 0 -1 4202496 121610 0 0 0 22140 83 0 0 20 0 1 0 336243922 183533568 43172 33554432000 4194304 7823515 140735280812384 140735280807080 6954986 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30885/statm: 44808 43172 567 887 0 43918 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 179232
[startup+282.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/178 30890
/proc/meminfo: memFree=27952456/32873648 swapFree=6864/6864
[pid=30885] ppid=30883 vsize=186008 CPUtime=282.21 cores=1,3,5,7
/proc/30885/stat : 30885 (pbscip.linux.x8) R 30883 30885 19043 0 -1 4202496 132904 0 0 0 28124 97 0 0 20 0 1 0 336243922 190472192 44998 33554432000 4194304 7823515 140735280812384 140735280807480 6234848 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30885/statm: 46502 44998 567 887 0 45612 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 186008
[startup+342.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 30891
/proc/meminfo: memFree=27957736/32873648 swapFree=6864/6864
[pid=30885] ppid=30883 vsize=185504 CPUtime=342.2 cores=1,3,5,7
/proc/30885/stat : 30885 (pbscip.linux.x8) R 30883 30885 19043 0 -1 4202496 150859 0 0 0 34102 118 0 0 20 0 1 0 336243922 189956096 44958 33554432000 4194304 7823515 140735280812384 140735280807432 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30885/statm: 46376 44958 567 887 0 45486 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 185504
[startup+402.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 30891
/proc/meminfo: memFree=27952832/32873648 swapFree=6864/6864
[pid=30885] ppid=30883 vsize=185260 CPUtime=402.18 cores=1,3,5,7
/proc/30885/stat : 30885 (pbscip.linux.x8) R 30883 30885 19043 0 -1 4202496 162069 0 0 0 40077 141 0 0 20 0 1 0 336243922 189706240 44962 33554432000 4194304 7823515 140735280812384 140735280807832 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30885/statm: 46315 44962 567 887 0 45425 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 185260
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 30891
/proc/meminfo: memFree=27952400/32873648 swapFree=6864/6864
[pid=30885] ppid=30883 vsize=186548 CPUtime=462.18 cores=1,3,5,7
/proc/30885/stat : 30885 (pbscip.linux.x8) R 30883 30885 19043 0 -1 4202496 168208 0 0 0 46053 165 0 0 20 0 1 0 336243922 191025152 44948 33554432000 4194304 7823515 140735280812384 140735280807080 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30885/statm: 46637 44948 567 887 0 45747 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 186548
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 30891
/proc/meminfo: memFree=27946448/32873648 swapFree=6864/6864
[pid=30885] ppid=30883 vsize=192024 CPUtime=522.16 cores=1,3,5,7
/proc/30885/stat : 30885 (pbscip.linux.x8) R 30883 30885 19043 0 -1 4202496 175637 0 0 0 52033 183 0 0 20 0 1 0 336243922 196632576 46609 33554432000 4194304 7823515 140735280812384 140735280807832 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30885/statm: 48006 46609 567 887 0 47116 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 192024
[startup+582.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 30891
/proc/meminfo: memFree=27942928/32873648 swapFree=6864/6864
[pid=30885] ppid=30883 vsize=195640 CPUtime=582.16 cores=1,3,5,7
/proc/30885/stat : 30885 (pbscip.linux.x8) R 30883 30885 19043 0 -1 4202496 182603 0 0 0 58011 205 0 0 20 0 1 0 336243922 200335360 47500 33554432000 4194304 7823515 140735280812384 140735280808296 6234848 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30885/statm: 48910 47500 567 887 0 48020 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 195640
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27881760/32873648 swapFree=6864/6864
[pid=30885] ppid=30883 vsize=224420 CPUtime=1122.07 cores=1,3,5,7
/proc/30885/stat : 30885 (pbscip.linux.x8) R 30883 30885 19043 0 -1 4202496 248810 0 0 0 111801 406 0 0 20 0 1 0 336243922 229806080 54477 33554432000 4194304 7823515 140735280812384 140735280808072 6234850 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30885/statm: 56105 54477 567 887 0 55215 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 224420
[startup+1182.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 30896
/proc/meminfo: memFree=27865580/32873648 swapFree=6864/6864
[pid=30885] ppid=30883 vsize=237720 CPUtime=1182.06 cores=1,3,5,7
/proc/30885/stat : 30885 (pbscip.linux.x8) R 30883 30885 19043 0 -1 4202496 264219 0 0 0 117784 422 0 0 20 0 1 0 336243922 243425280 57513 33554432000 4194304 7823515 140735280812384 140735280807720 6234848 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30885/statm: 59430 57513 567 887 0 58540 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 237720
[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 30897
/proc/meminfo: memFree=27860184/32873648 swapFree=6864/6864
[pid=30885] ppid=30883 vsize=238388 CPUtime=1242.05 cores=1,3,5,7
/proc/30885/stat : 30885 (pbscip.linux.x8) R 30883 30885 19043 0 -1 4202496 272154 0 0 0 123763 442 0 0 20 0 1 0 336243922 244109312 57787 33554432000 4194304 7823515 140735280812384 140735280807544 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30885/statm: 59597 57787 567 887 0 58707 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 238388
[startup+1302.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 30897
/proc/meminfo: memFree=27850428/32873648 swapFree=6864/6864
[pid=30885] ppid=30883 vsize=241204 CPUtime=1302.05 cores=1,3,5,7
/proc/30885/stat : 30885 (pbscip.linux.x8) R 30883 30885 19043 0 -1 4202496 283287 0 0 0 129745 460 0 0 20 0 1 0 336243922 246992896 58513 33554432000 4194304 7823515 140735280812384 140735280808136 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30885/statm: 60301 58513 567 887 0 59411 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 241204
[startup+1362.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/177 30897
/proc/meminfo: memFree=27835848/32873648 swapFree=6864/6864
[pid=30885] ppid=30883 vsize=250964 CPUtime=1362.03 cores=1,3,5,7
/proc/30885/stat : 30885 (pbscip.linux.x8) R 30883 30885 19043 0 -1 4202496 289483 0 0 0 135728 475 0 0 20 0 1 0 336243922 256987136 61154 33554432000 4194304 7823515 140735280812384 140735280807784 6234848 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30885/statm: 62741 61154 567 887 0 61851 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 250964
[startup+1422.31 s]
/proc/loadavg: 2.13 2.07 2.01 3/178 30900
/proc/meminfo: memFree=27842208/32873648 swapFree=6864/6864
[pid=30885] ppid=30883 vsize=242044 CPUtime=1422.03 cores=1,3,5,7
/proc/30885/stat : 30885 (pbscip.linux.x8) R 30883 30885 19043 0 -1 4202496 319575 0 0 0 141705 498 0 0 20 0 1 0 336243922 247853056 58847 33554432000 4194304 7823515 140735280812384 140735280808184 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30885/statm: 60511 58847 567 887 0 59621 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 242044
[startup+1482.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/177 30900
/proc/meminfo: memFree=27829948/32873648 swapFree=6864/6864
[pid=30885] ppid=30883 vsize=250888 CPUtime=1482.01 cores=1,3,5,7
/proc/30885/stat : 30885 (pbscip.linux.x8) R 30883 30885 19043 0 -1 4202496 332906 0 0 0 147686 515 0 0 20 0 1 0 336243922 256909312 61391 33554432000 4194304 7823515 140735280812384 140735280807256 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30885/statm: 62722 61391 567 887 0 61832 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 250888
[startup+1542.3 s]
/proc/loadavg: 2.12 2.07 2.01 3/177 30901
/proc/meminfo: memFree=27833300/32873648 swapFree=6864/6864
[pid=30885] ppid=30883 vsize=244432 CPUtime=1542 cores=1,3,5,7
/proc/30885/stat : 30885 (pbscip.linux.x8) R 30883 30885 19043 0 -1 4202496 363422 0 0 0 153662 538 0 0 20 0 1 0 336243922 250298368 59545 33554432000 4194304 7823515 140735280812384 140735280808312 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30885/statm: 61108 59545 567 887 0 60218 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 244432
[startup+1602.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/177 30901
/proc/meminfo: memFree=27828896/32873648 swapFree=6864/6864
[pid=30885] ppid=30883 vsize=245724 CPUtime=1602 cores=1,3,5,7
/proc/30885/stat : 30885 (pbscip.linux.x8) R 30883 30885 19043 0 -1 4202496 384919 0 0 0 159638 562 0 0 20 0 1 0 336243922 251621376 60122 33554432000 4194304 7823515 140735280812384 140735280808152 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30885/statm: 61431 60122 567 887 0 60541 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 245724
[startup+1662.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/177 30901
/proc/meminfo: memFree=27822044/32873648 swapFree=6864/6864
[pid=30885] ppid=30883 vsize=257256 CPUtime=1661.99 cores=1,3,5,7
/proc/30885/stat : 30885 (pbscip.linux.x8) R 30883 30885 19043 0 -1 4202496 409892 0 0 0 165614 585 0 0 20 0 1 0 336243922 263430144 62173 33554432000 4194304 7823515 140735280812384 140735280809416 6234850 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30885/statm: 64314 62173 567 887 0 63424 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 257256
[startup+1722.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/177 30901
/proc/meminfo: memFree=27807348/32873648 swapFree=6864/6864
[pid=30885] ppid=30883 vsize=260900 CPUtime=1721.98 cores=1,3,5,7
/proc/30885/stat : 30885 (pbscip.linux.x8) R 30883 30885 19043 0 -1 4202496 428625 0 0 0 171592 606 0 0 20 0 1 0 336243922 267161600 63520 33554432000 4194304 7823515 140735280812384 140735280806760 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30885/statm: 65225 63520 567 887 0 64335 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 260900
[startup+1782.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 30901
/proc/meminfo: memFree=27804792/32873648 swapFree=6864/6864
[pid=30885] ppid=30883 vsize=259320 CPUtime=1781.97 cores=1,3,5,7
/proc/30885/stat : 30885 (pbscip.linux.x8) R 30883 30885 19043 0 -1 4202496 434324 0 0 0 177569 628 0 0 20 0 1 0 336243922 265543680 63523 33554432000 4194304 7823515 140735280812384 140735280807544 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30885/statm: 64830 63523 567 887 0 63940 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 259320
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 30939
/proc/meminfo: memFree=27974284/32873648 swapFree=6864/6864
[pid=30885] ppid=30883 vsize=262104 CPUtime=1785.17 cores=1,3,5,7
/proc/30885/stat : 30885 (pbscip.linux.x8) R 30883 30885 19043 0 -1 4202496 435020 0 0 0 177889 628 0 0 20 0 1 0 336243922 268394496 64219 33554432000 4194304 7823515 140735280812384 140735280809416 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30885/statm: 65526 64219 567 887 0 64636 0
Current children cumulated CPU time (s) 1785.17
Current children cumulated vsize (KiB) 262104
[startup+1791.91 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 30939
/proc/meminfo: memFree=27971836/32873648 swapFree=6864/6864
[pid=30885] ppid=30883 vsize=262104 CPUtime=1791.57 cores=1,3,5,7
/proc/30885/stat : 30885 (pbscip.linux.x8) R 30883 30885 19043 0 -1 4202496 435020 0 0 0 178528 629 0 0 20 0 1 0 336243922 268394496 64219 33554432000 4194304 7823515 140735280812384 140735280806408 6234850 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30885/statm: 65526 64219 567 887 0 64636 0
Current children cumulated CPU time (s) 1791.57
Current children cumulated vsize (KiB) 262104
[startup+1795.1 s]
/proc/loadavg: 2.01 2.05 2.00 3/177 30939
/proc/meminfo: memFree=27971472/32873648 swapFree=6864/6864
[pid=30885] ppid=30883 vsize=262104 CPUtime=1794.77 cores=1,3,5,7
/proc/30885/stat : 30885 (pbscip.linux.x8) R 30883 30885 19043 0 -1 4202496 435020 0 0 0 178847 630 0 0 20 0 1 0 336243922 268394496 64219 33554432000 4194304 7823515 140735280812384 140735280808072 6234848 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30885/statm: 65526 64219 567 887 0 64636 0
Current children cumulated CPU time (s) 1794.77
Current children cumulated vsize (KiB) 262104
[startup+1796.7 s]
/proc/loadavg: 2.01 2.05 2.00 3/177 30939
/proc/meminfo: memFree=27971728/32873648 swapFree=6864/6864
[pid=30885] ppid=30883 vsize=262104 CPUtime=1796.36 cores=1,3,5,7
/proc/30885/stat : 30885 (pbscip.linux.x8) R 30883 30885 19043 0 -1 4202496 435020 0 0 0 179005 631 0 0 20 0 1 0 336243922 268394496 64219 33554432000 4194304 7823515 140735280812384 140735280807080 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30885/statm: 65526 64219 567 887 0 64636 0
Current children cumulated CPU time (s) 1796.36
Current children cumulated vsize (KiB) 262104
[startup+1797.5 s]
/proc/loadavg: 2.01 2.05 2.00 3/177 30939
/proc/meminfo: memFree=27971852/32873648 swapFree=6864/6864
[pid=30885] ppid=30883 vsize=262104 CPUtime=1797.16 cores=1,3,5,7
/proc/30885/stat : 30885 (pbscip.linux.x8) R 30883 30885 19043 0 -1 4202496 435020 0 0 0 179085 631 0 0 20 0 1 0 336243922 268394496 64219 33554432000 4194304 7823515 140735280812384 140735280807720 6234850 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30885/statm: 65526 64219 567 887 0 64636 0
Current children cumulated CPU time (s) 1797.16
Current children cumulated vsize (KiB) 262104
[startup+1797.9 s]
/proc/loadavg: 2.01 2.05 2.00 3/177 30939
/proc/meminfo: memFree=27971852/32873648 swapFree=6864/6864
[pid=30885] ppid=30883 vsize=262104 CPUtime=1797.56 cores=1,3,5,7
/proc/30885/stat : 30885 (pbscip.linux.x8) R 30883 30885 19043 0 -1 4202496 435020 0 0 0 179125 631 0 0 20 0 1 0 336243922 268394496 64219 33554432000 4194304 7823515 140735280812384 140735280807720 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30885/statm: 65526 64219 567 887 0 64636 0
Current children cumulated CPU time (s) 1797.56
Current children cumulated vsize (KiB) 262104
[startup+1798 s]
/proc/loadavg: 2.01 2.05 2.00 3/177 30939
/proc/meminfo: memFree=27971852/32873648 swapFree=6864/6864
[pid=30885] ppid=30883 vsize=262104 CPUtime=1797.66 cores=1,3,5,7
/proc/30885/stat : 30885 (pbscip.linux.x8) R 30883 30885 19043 0 -1 4202496 435024 0 0 0 179135 631 0 0 20 0 1 0 336243922 268394496 64223 33554432000 4194304 7823515 140735280812384 140735280807720 4802984 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30885/statm: 65526 64223 571 887 0 64636 0
Current children cumulated CPU time (s) 1797.66
Current children cumulated vsize (KiB) 262104
Child status: 0
Real time (s): 1798.03
CPU time (s): 1797.71
CPU user time (s): 1791.38
CPU system time (s): 6.32404
CPU usage (%): 99.9818
Max. virtual memory (cumulated for all children) (KiB): 264244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.38
system time used= 6.32404
maximum resident set size= 257984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 435027
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= 28
involuntary context switches= 1982
runsolver used 2.70659 second user time and 7.12892 second system time
The end