1.10/1.17 c SCIP version 1.1.0.7
1.10/1.17 c LP-Solver SoPlex 1.4.1
1.10/1.17 c user parameter file <scip.set> not found - using default parameters
1.10/1.17 c read problem <HOME/instance-3740575-1338763619.opb>
1.10/1.17 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 192680 constraints
1.49/1.57 c start presolving problem
1.49/1.57 c presolving:
7.08/7.14 c (round 1) 5403 del vars, 15556 del conss, 4269 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13055050 impls, 0 clqs
9.39/9.48 c (round 2) 9794 del vars, 34897 del conss, 8395 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13079973 impls, 0 clqs
10.09/10.17 c (round 3) 11419 del vars, 42596 del conss, 9307 chg bounds, 37 chg sides, 24 chg coeffs, 0 upgd conss, 13092732 impls, 0 clqs
10.58/10.63 c (round 4) 12328 del vars, 46298 del conss, 9890 chg bounds, 44 chg sides, 38 chg coeffs, 0 upgd conss, 13098985 impls, 0 clqs
10.78/10.90 c (round 5) 12876 del vars, 48616 del conss, 10201 chg bounds, 44 chg sides, 38 chg coeffs, 0 upgd conss, 13103244 impls, 0 clqs
11.00/11.09 c (round 6) 13182 del vars, 49932 del conss, 10383 chg bounds, 44 chg sides, 38 chg coeffs, 0 upgd conss, 13105791 impls, 0 clqs
11.19/11.24 c (round 7) 13390 del vars, 50808 del conss, 10507 chg bounds, 44 chg sides, 38 chg coeffs, 0 upgd conss, 13107687 impls, 0 clqs
11.29/11.36 c (round 8) 13502 del vars, 51350 del conss, 10577 chg bounds, 44 chg sides, 38 chg coeffs, 0 upgd conss, 13108387 impls, 0 clqs
11.38/11.45 c (round 9) 13552 del vars, 51593 del conss, 10609 chg bounds, 44 chg sides, 38 chg coeffs, 0 upgd conss, 13108713 impls, 0 clqs
11.48/11.54 c (round 10) 13580 del vars, 51723 del conss, 10627 chg bounds, 44 chg sides, 38 chg coeffs, 0 upgd conss, 13108891 impls, 0 clqs
11.59/11.62 c (round 11) 13600 del vars, 51809 del conss, 10640 chg bounds, 44 chg sides, 38 chg coeffs, 0 upgd conss, 13109005 impls, 0 clqs
11.68/11.70 c (round 12) 13608 del vars, 51851 del conss, 10645 chg bounds, 44 chg sides, 38 chg coeffs, 0 upgd conss, 13109057 impls, 0 clqs
765.27/765.48 c (762.5s) probing: 1000/41172 (2.4%) - 0 fixings, 0 aggregations, 11581083 implications, 0 bound changes
1353.41/1353.71 c (1350.0s) probing: 2000/41172 (4.9%) - 0 fixings, 0 aggregations, 19118223 implications, 0 bound changes
1353.81/1354.18 c (1350.5s) probing: 2001/41172 (4.9%) - 0 fixings, 0 aggregations, 19124819 implications, 0 bound changes
1353.81/1354.18 c (1350.5s) probing aborted: 2000/2000 successive useless probings
1353.81/1354.18 c (round 13) 13610 del vars, 51866 del conss, 10646 chg bounds, 44 chg sides, 38 chg coeffs, 0 upgd conss, 78494475 impls, 0 clqs
1354.81/1355.19 c (round 14) 13610 del vars, 51866 del conss, 10646 chg bounds, 44 chg sides, 38 chg coeffs, 140814 upgd conss, 78494475 impls, 0 clqs
1355.81/1356.10 c (round 15) 13610 del vars, 51871 del conss, 10646 chg bounds, 92 chg sides, 449 chg coeffs, 140814 upgd conss, 78494475 impls, 0 clqs
1356.11/1356.45 c (round 16) 13610 del vars, 51879 del conss, 10646 chg bounds, 99 chg sides, 478 chg coeffs, 140814 upgd conss, 78494475 impls, 2 clqs
1467.28/1467.60 c (1463.6s) probing: 2201/41172 (5.3%) - 0 fixings, 0 aggregations, 19998584 implications, 0 bound changes
1467.28/1467.60 c (1463.6s) probing aborted: 2000/2000 successive useless probings
1467.28/1467.61 c presolving (17 rounds):
1467.28/1467.61 c 13610 deleted vars, 51879 deleted constraints, 10646 tightened bounds, 0 added holes, 99 changed sides, 478 changed coefficients
1467.28/1467.61 c 81264859 implications, 2 cliques
1467.28/1467.61 c presolved problem has 41172 variables (41172 bin, 0 int, 0 impl, 0 cont) and 140842 constraints
1467.28/1467.61 c 1123 constraints of type <knapsack>
1467.28/1467.61 c 31 constraints of type <setppc>
1467.28/1467.61 c 139688 constraints of type <logicor>
1467.28/1467.61 c transformed objective value is always integral (scale: 1)
1467.28/1467.61 c Presolving Time: 1463.40
1467.28/1467.62 c OPT-LIN
1467.28/1467.62 c -----------------------------------------------------------------------------------------------
1467.28/1467.62 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1467.28/1467.62 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1467.28/1467.62 c limits/memory = c 13950
1467.28/1467.62 c # maximal time in seconds to run
1467.28/1467.62 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1467.28/1467.62 c limits/time = c 1791
1467.28/1467.62 c # frequency for displaying node information lines
1467.28/1467.62 c # [type: int, range: [-1,2147483647], default: 100]
1467.28/1467.62 c display/freq = c 10000
1467.28/1467.62 c -----------------------------------------------------------------------------------------------
1467.28/1467.62 c start solving problem
1467.28/1467.62 c
1708.34/1708.77 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1708.34/1708.77 c 1705s| 1 | 0 | 45968 |2350M| 0 | 833 | 41k| 140k| 140k| 41k| 140k| 0 | 0 | 0 | 8.500000e+01 | -- | Inf
1796.53/1796.98 c 1793s| 1 | 0 | 87609 |2356M| 0 | - | 41k| 140k| 140k| 41k| 140k| 79 | 0 | 0 | 8.500000e+01 | -- | Inf
1796.63/1797.05 c 1793s| 1 | 2 | 87609 |2356M| 0 | - | 41k| 140k| 140k| 41k| 140k| 79 | 0 | 0 | 8.500000e+01 | -- | Inf
1796.63/1797.05 c
1796.63/1797.05 c SCIP Status : solving was interrupted [time limit reached]
1796.63/1797.05 c Solving Time (sec) : 1792.69
1796.63/1797.05 c Solving Nodes : 1
1796.63/1797.05 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.63/1797.05 c Dual Bound : +8.50000000000000e+01
1796.63/1797.05 c Gap : infinite
1796.63/1797.05 c NODE 1
1796.63/1797.05 c DUAL BOUND 85
1796.63/1797.05 c PRIMAL BOUND 1e+20
1796.63/1797.05 c GAP 1e+20
1796.63/1797.05 s UNKNOWN
1796.63/1797.05 c SCIP Status : solving was interrupted [time limit reached]
1796.63/1797.05 c Solving Time : 1792.69
1796.63/1797.05 c Original Problem :
1796.63/1797.05 c Problem name : HOME/instance-3740575-1338763619.opb
1796.63/1797.05 c Variables : 54782 (54782 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.63/1797.05 c Constraints : 192680 initial, 192680 maximal
1796.63/1797.05 c Presolved Problem :
1796.63/1797.05 c Problem name : t_HOME/instance-3740575-1338763619.opb
1796.63/1797.05 c Variables : 41172 (41172 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.63/1797.05 c Constraints : 140842 initial, 140842 maximal
1796.63/1797.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1796.63/1797.05 c trivial : 0.03 819 0 0 0 0 0 0 0
1796.63/1797.05 c dualfix : 0.05 92 0 0 0 0 0 0 0
1796.63/1797.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1796.63/1797.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1796.63/1797.05 c implics : 1.06 0 0 0 0 0 0 0 0
1796.63/1797.05 c probing : 1451.26 0 0 0 0 0 0 0 0
1796.63/1797.05 c knapsack : 0.72 0 0 0 0 0 3 55 440
1796.63/1797.05 c setppc : 0.00 0 0 0 0 0 10 0 0
1796.63/1797.05 c linear : 9.49 9827 2872 0 10646 0 51866 44 38
1796.63/1797.05 c logicor : 0.48 0 0 0 0 0 0 0 0
1796.63/1797.05 c root node : - 0 - - 0 - - - -
1796.63/1797.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1796.63/1797.05 c integral : 0 0 0 0 0 0 0 0 0 0
1796.63/1797.05 c knapsack : 1123 1 7395 0 1 0 0 47 0 0
1796.63/1797.05 c setppc : 31 1 7395 0 1 0 0 0 0 0
1796.63/1797.05 c logicor : 139688 1 7389 0 1 0 0 0 0 0
1796.63/1797.05 c countsols : 0 0 0 0 1 0 0 0 0 0
1796.63/1797.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1796.63/1797.05 c integral : 0.00 0.00 0.00 0.00 0.00
1796.63/1797.05 c knapsack : 0.12 0.00 0.12 0.00 0.00
1796.63/1797.05 c setppc : 0.00 0.00 0.00 0.00 0.00
1796.63/1797.05 c logicor : 13.10 0.02 13.02 0.00 0.06
1796.63/1797.05 c countsols : 0.00 0.00 0.00 0.00 0.00
1796.63/1797.05 c Propagators : Time Calls Cutoffs DomReds
1796.63/1797.05 c rootredcost : 0.07 0 0 0
1796.63/1797.05 c pseudoobj : 0.02 2 0 0
1796.63/1797.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.63/1797.05 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.63/1797.05 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.63/1797.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.63/1797.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.63/1797.05 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.63/1797.05 c applied globally : - - - 0 0.0 - - -
1796.63/1797.05 c applied locally : - - - 0 0.0 - - -
1796.63/1797.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.63/1797.05 c cut pool : 0.00 0 - - 0 - (maximal pool size: 276)
1796.63/1797.05 c redcost : 0.00 1 0 0 0 0
1796.63/1797.05 c impliedbounds : 0.02 1 0 0 30 0
1796.63/1797.05 c intobj : 0.00 0 0 0 0 0
1796.63/1797.05 c gomory : 2.67 1 0 0 500 0
1796.63/1797.05 c strongcg : 1.32 1 0 0 500 0
1796.63/1797.05 c cmir : 4.32 1 0 0 0 0
1796.63/1797.05 c flowcover : 0.00 0 0 0 0 0
1796.63/1797.05 c clique : 0.00 1 0 0 0 0
1796.63/1797.05 c zerohalf : 0.00 0 0 0 0 0
1796.63/1797.05 c mcf : 1.56 1 0 0 0 0
1796.63/1797.05 c Pricers : Time Calls Vars
1796.63/1797.05 c problem variables: 0.00 0 0
1796.63/1797.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.63/1797.05 c relpscost : 0.00 0 0 0 0 0 0
1796.63/1797.05 c pscost : 0.00 0 0 0 0 0 0
1796.63/1797.05 c inference : 0.01 1 0 0 0 0 2
1796.63/1797.05 c mostinf : 0.00 0 0 0 0 0 0
1796.63/1797.05 c leastinf : 0.00 0 0 0 0 0 0
1796.63/1797.05 c fullstrong : 0.00 0 0 0 0 0 0
1796.63/1797.05 c allfullstrong : 0.00 0 0 0 0 0 0
1796.63/1797.05 c random : 0.00 0 0 0 0 0 0
1796.63/1797.05 c Primal Heuristics : Time Calls Found
1796.63/1797.05 c LP solutions : 0.00 - 0
1796.63/1797.05 c pseudo solutions : 0.00 - 0
1796.63/1797.05 c oneopt : 0.00 0 0
1796.63/1797.05 c simplerounding : 0.00 0 0
1796.63/1797.05 c rounding : 0.01 1 0
1796.63/1797.05 c shifting : 0.01 1 0
1796.63/1797.05 c intshifting : 0.00 0 0
1796.63/1797.05 c fixandinfer : 0.00 0 0
1796.63/1797.05 c feaspump : 78.10 1 0
1796.63/1797.05 c coefdiving : 0.00 0 0
1796.63/1797.05 c pscostdiving : 0.00 0 0
1796.63/1797.05 c fracdiving : 0.00 0 0
1796.63/1797.05 c veclendiving : 0.00 0 0
1796.63/1797.05 c intdiving : 0.00 0 0
1796.63/1797.05 c actconsdiving : 0.00 0 0
1796.63/1797.05 c objpscostdiving : 0.00 0 0
1796.63/1797.05 c rootsoldiving : 0.00 0 0
1796.63/1797.05 c linesearchdiving : 0.00 0 0
1796.63/1797.05 c guideddiving : 0.00 0 0
1796.63/1797.05 c octane : 0.00 0 0
1796.63/1797.05 c rens : 0.00 0 0
1796.63/1797.05 c rins : 0.00 0 0
1796.63/1797.05 c localbranching : 0.00 0 0
1796.63/1797.05 c mutation : 0.00 0 0
1796.63/1797.05 c crossover : 0.00 0 0
1796.63/1797.05 c dins : 0.00 0 0
1796.63/1797.05 c LP : Time Calls Iterations Iter/call Iter/sec
1796.63/1797.05 c primal LP : 0.00 0 0 0.00 -
1796.63/1797.05 c dual LP : 240.56 1 45968 45968.00 191.09
1796.63/1797.05 c barrier LP : 0.00 0 0 0.00 -
1796.63/1797.05 c diving/probing LP: 76.81 38 41641 1095.82 542.13
1796.63/1797.05 c strong branching : 0.00 0 0 0.00 -
1796.63/1797.05 c (at root node) : - 0 0 0.00 -
1796.63/1797.05 c conflict analysis: 0.00 0 0 0.00 -
1796.63/1797.05 c B&B Tree :
1796.63/1797.05 c number of runs : 1
1796.63/1797.05 c nodes : 1
1796.63/1797.05 c nodes (total) : 1
1796.63/1797.05 c nodes left : 2
1796.63/1797.05 c max depth : 0
1796.63/1797.05 c max depth (total): 0
1796.63/1797.05 c backtracks : 0 (0.0%)
1796.63/1797.05 c delayed cutoffs : 0
1796.63/1797.05 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.63/1797.05 c avg switch length: 1.00
1796.63/1797.05 c switching time : 0.00
1796.63/1797.05 c Solution :
1796.63/1797.05 c Solutions found : 0 (0 improvements)
1796.63/1797.05 c Primal Bound : -
1796.63/1797.05 c Dual Bound : +8.50000000000000e+01
1796.63/1797.05 c Gap : infinite
1796.63/1797.05 c Root Dual Bound : +8.50000000000000e+01
1797.33/1797.72 c Time complete: 1797.36.
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-3740575-1338763619/watcher-3740575-1338763619 -o /tmp/evaluation-result-3740575-1338763619/solver-3740575-1338763619 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3740575-1338763619.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: 2.01 2.01 2.00 3/178 22725
/proc/meminfo: memFree=26283256/32873844 swapFree=7380/7380
[pid=22725] ppid=22723 vsize=8868 CPUtime=0 cores=1,3,5,7
/proc/22725/stat : 22725 (pbscip.linux.x8) R 22723 22725 21332 0 -1 4202496 1558 0 0 0 0 0 0 0 20 0 1 0 342486751 9080832 1510 33554432000 4194304 7823515 140736471548624 140735235759432 6883856 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22725/statm: 2217 1510 354 887 0 1327 0
[startup+0.0236751 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 22725
/proc/meminfo: memFree=26283256/32873844 swapFree=7380/7380
[pid=22725] ppid=22723 vsize=12820 CPUtime=0.01 cores=1,3,5,7
/proc/22725/stat : 22725 (pbscip.linux.x8) R 22723 22725 21332 0 -1 4202496 2542 0 0 0 1 0 0 0 20 0 1 0 342486751 13127680 2494 33554432000 4194304 7823515 140736471548624 140735235759432 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22725/statm: 3205 2494 354 887 0 2315 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12820
[startup+0.100274 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 22725
/proc/meminfo: memFree=26283256/32873844 swapFree=7380/7380
[pid=22725] ppid=22723 vsize=25684 CPUtime=0.09 cores=1,3,5,7
/proc/22725/stat : 22725 (pbscip.linux.x8) R 22723 22725 21332 0 -1 4202496 5755 0 0 0 8 1 0 0 20 0 1 0 342486751 26300416 5707 33554432000 4194304 7823515 140736471548624 140735235759432 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22725/statm: 6457 5713 354 887 0 5567 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25684
[startup+0.300286 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 22725
/proc/meminfo: memFree=26283256/32873844 swapFree=7380/7380
[pid=22725] ppid=22723 vsize=45200 CPUtime=0.29 cores=1,3,5,7
/proc/22725/stat : 22725 (pbscip.linux.x8) R 22723 22725 21332 0 -1 4202496 10654 0 0 0 27 2 0 0 20 0 1 0 342486751 46284800 10606 33554432000 4194304 7823515 140736471548624 140736471414728 6908067 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22725/statm: 11300 10606 354 887 0 10410 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45200
[startup+0.700285 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 22725
/proc/meminfo: memFree=26283256/32873844 swapFree=7380/7380
[pid=22725] ppid=22723 vsize=72780 CPUtime=0.68 cores=1,3,5,7
/proc/22725/stat : 22725 (pbscip.linux.x8) R 22723 22725 21332 0 -1 4202496 17527 0 0 0 65 3 0 0 20 0 1 0 342486751 74526720 17479 33554432000 4194304 7823515 140736471548624 140736471414728 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22725/statm: 18195 17479 354 887 0 17305 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 72780
[startup+1.50031 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 22726
/proc/meminfo: memFree=26187536/32873844 swapFree=7380/7380
[pid=22725] ppid=22723 vsize=266484 CPUtime=1.49 cores=1,3,5,7
/proc/22725/stat : 22725 (pbscip.linux.x8) R 22723 22725 21332 0 -1 4202496 66166 0 0 0 138 11 0 0 20 0 1 0 342486751 272879616 65764 33554432000 4194304 7823515 140736471548624 140736471414728 4690080 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22725/statm: 66621 65766 385 887 0 65731 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 266484
[startup+3.10029 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 22726
/proc/meminfo: memFree=25956392/32873844 swapFree=7380/7380
[pid=22725] ppid=22723 vsize=427168 CPUtime=3.08 cores=1,3,5,7
/proc/22725/stat : 22725 (pbscip.linux.x8) R 22723 22725 21332 0 -1 4202496 106067 0 0 0 290 18 0 0 20 0 1 0 342486751 437420032 105665 33554432000 4194304 7823515 140736471548624 140736471545560 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22725/statm: 106792 105665 427 887 0 105902 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 427168
[startup+6.30029 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 22726
/proc/meminfo: memFree=25702180/32873844 swapFree=7380/7380
[pid=22725] ppid=22723 vsize=640208 CPUtime=6.29 cores=1,3,5,7
/proc/22725/stat : 22725 (pbscip.linux.x8) R 22723 22725 21332 0 -1 4202496 157369 0 0 0 599 30 0 0 20 0 1 0 342486751 655572992 156967 33554432000 4194304 7823515 140736471548624 140736471545560 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22725/statm: 160052 156967 432 887 0 159162 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 640208
[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 22726
/proc/meminfo: memFree=25600392/32873844 swapFree=7380/7380
[pid=22725] ppid=22723 vsize=697576 CPUtime=12.69 cores=1,3,5,7
/proc/22725/stat : 22725 (pbscip.linux.x8) R 22723 22725 21332 0 -1 4202496 171511 0 0 0 1203 66 0 0 20 0 1 0 342486751 714317824 171000 33554432000 4194304 7823515 140736471548624 140736471545320 5803135 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22725/statm: 174394 171000 440 887 0 173504 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 697576
[startup+25.5003 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 22726
/proc/meminfo: memFree=25551256/32873844 swapFree=7380/7380
[pid=22725] ppid=22723 vsize=751988 CPUtime=25.49 cores=1,3,5,7
/proc/22725/stat : 22725 (pbscip.linux.x8) R 22723 22725 21332 0 -1 4202496 183561 0 0 0 2481 68 0 0 20 0 1 0 342486751 770035712 183050 33554432000 4194304 7823515 140736471548624 140736471544488 5803654 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22725/statm: 187997 183050 440 887 0 187107 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 751988
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22726
/proc/meminfo: memFree=25502244/32873844 swapFree=7380/7380
[pid=22725] ppid=22723 vsize=803096 CPUtime=51.08 cores=1,3,5,7
/proc/22725/stat : 22725 (pbscip.linux.x8) R 22723 22725 21332 0 -1 4202496 195695 0 0 0 5037 71 0 0 20 0 1 0 342486751 822370304 195184 33554432000 4194304 7823515 140736471548624 140736471545320 5803115 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22725/statm: 200774 195184 440 887 0 199884 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 803096
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22727
/proc/meminfo: memFree=25385232/32873844 swapFree=7380/7380
[pid=22725] ppid=22723 vsize=920256 CPUtime=102.28 cores=1,3,5,7
/proc/22725/stat : 22725 (pbscip.linux.x8) R 22723 22725 21332 0 -1 4202496 224567 0 0 0 10150 78 0 0 20 0 1 0 342486751 942342144 224056 33554432000 4194304 7823515 140736471548624 140736471545320 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22725/statm: 230064 224056 440 887 0 229174 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 920256
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22727
/proc/meminfo: memFree=25284012/32873844 swapFree=7380/7380
[pid=22725] ppid=22723 vsize=1033996 CPUtime=162.26 cores=1,3,5,7
/proc/22725/stat : 22725 (pbscip.linux.x8) R 22723 22725 21332 0 -1 4202496 252092 0 0 0 16142 84 0 0 20 0 1 0 342486751 1058811904 252092 33554432000 4194304 7823515 140736471548624 140736471544488 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22725/statm: 258499 252092 441 887 0 257609 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1033996
[startup+222.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/180 22730
/proc/meminfo: memFree=25107704/32873844 swapFree=7380/7380
[pid=22725] ppid=22723 vsize=1199888 CPUtime=222.26 cores=1,3,5,7
/proc/22725/stat : 22725 (pbscip.linux.x8) R 22723 22725 21332 0 -1 4202496 293363 0 0 0 22133 93 0 0 20 0 1 0 342486751 1228685312 293363 33554432000 4194304 7823515 140736471548624 140736471545320 5803612 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22725/statm: 299972 293363 441 887 0 299082 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1199888
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 22730
/proc/meminfo: memFree=24925956/32873844 swapFree=7380/7380
[pid=22725] ppid=22723 vsize=1381620 CPUtime=282.24 cores=1,3,5,7
/proc/22725/stat : 22725 (pbscip.linux.x8) R 22723 22725 21332 0 -1 4202496 339096 0 0 0 28122 102 0 0 20 0 1 0 342486751 1414778880 339096 33554432000 4194304 7823515 140736471548624 140736471545304 5066015 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22725/statm: 345405 339096 441 887 0 344515 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1381620
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22730
/proc/meminfo: memFree=24791816/32873844 swapFree=7380/7380
[pid=22725] ppid=22723 vsize=1515068 CPUtime=342.23 cores=1,3,5,7
/proc/22725/stat : 22725 (pbscip.linux.x8) R 22723 22725 21332 0 -1 4202496 372168 0 0 0 34114 109 0 0 20 0 1 0 342486751 1551429632 372168 33554432000 4194304 7823515 140736471548624 140736471545320 5803635 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22725/statm: 378767 372168 441 887 0 377877 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1515068
[startup+402.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 22731
/proc/meminfo: memFree=24633012/32873844 swapFree=7380/7380
[pid=22725] ppid=22723 vsize=1672668 CPUtime=402.23 cores=1,3,5,7
/proc/22725/stat : 22725 (pbscip.linux.x8) R 22723 22725 21332 0 -1 4202496 411870 0 0 0 40103 120 0 0 20 0 1 0 342486751 1712812032 411870 33554432000 4194304 7823515 140736471548624 140736471545304 5061266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22725/statm: 418167 411870 441 887 0 417277 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1672668
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 22731
/proc/meminfo: memFree=24464772/32873844 swapFree=7380/7380
[pid=22725] ppid=22723 vsize=1840484 CPUtime=462.22 cores=1,3,5,7
/proc/22725/stat : 22725 (pbscip.linux.x8) R 22723 22725 21332 0 -1 4202496 453294 0 0 0 46092 130 0 0 20 0 1 0 342486751 1884655616 453294 33554432000 4194304 7823515 140736471548624 140736471545304 5020793 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22725/statm: 460121 453294 441 887 0 459231 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1840484
[startup+522.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/179 22731
/proc/meminfo: memFree=24296532/32873844 swapFree=7380/7380
[pid=22725] ppid=22723 vsize=2008588 CPUtime=522.21 cores=1,3,5,7
/proc/22725/stat : 22725 (pbscip.linux.x8) R 22723 22725 21332 0 -1 4202496 495185 0 0 0 52081 140 0 0 20 0 1 0 342486751 2056794112 495185 33554432000 4194304 7823515 140736471548624 140736471544680 5803619 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22725/statm: 502147 495186 441 887 0 501257 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 2008588
[startup+582.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 22731
/proc/meminfo: memFree=24135380/32873844 swapFree=7380/7380
[pid=22725] ppid=22723 vsize=2111368 CPUtime=582.2 cores=1,3,5,7
/proc/22725/stat : 22725 (pbscip.linux.x8) R 22723 22725 21332 0 -1 4202496 520622 0 0 0 58072 148 0 0 20 0 1 0 342486751 2162040832 520622 33554432000 4194304 7823515 140736471548624 140736471544488 5066015 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22725/statm: 527842 520622 441 887 0 526952 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 2111368
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=24948100/32873844 swapFree=7380/7380
[pid=22725] ppid=22723 vsize=2696376 CPUtime=1062.08 cores=1,3,5,7
/proc/22725/stat : 22725 (pbscip.linux.x8) R 22723 22725 21332 0 -1 4202496 667108 0 0 0 106009 199 0 0 20 0 1 0 342486751 2761089024 667441 33554432000 4194304 7823515 140736471548624 140736471545304 5066015 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22725/statm: 674094 667441 446 887 0 673204 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 2696376
[startup+1122.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 22798
/proc/meminfo: memFree=24890096/32873844 swapFree=7380/7380
[pid=22725] ppid=22723 vsize=2757664 CPUtime=1122.06 cores=1,3,5,7
/proc/22725/stat : 22725 (pbscip.linux.x8) R 22723 22725 21332 0 -1 4202496 681428 0 0 0 112002 204 0 0 20 0 1 0 342486751 2823847936 681761 33554432000 4194304 7823515 140736471548624 140736471545304 5066015 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22725/statm: 689416 681761 446 887 0 688526 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 2757664
[startup+1182.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 22798
/proc/meminfo: memFree=24746916/32873844 swapFree=7380/7380
[pid=22725] ppid=22723 vsize=2815596 CPUtime=1182.06 cores=1,3,5,7
/proc/22725/stat : 22725 (pbscip.linux.x8) R 22723 22725 21332 0 -1 4202496 696227 0 0 0 117994 212 0 0 20 0 1 0 342486751 2883170304 696559 33554432000 4194304 7823515 140736471548624 140736471545304 5066015 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22725/statm: 703899 696559 446 887 0 703009 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 2815596
[startup+1242.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 22836
/proc/meminfo: memFree=25216740/32873844 swapFree=7380/7380
[pid=22725] ppid=22723 vsize=2863656 CPUtime=1242.04 cores=1,3,5,7
/proc/22725/stat : 22725 (pbscip.linux.x8) R 22723 22725 21332 0 -1 4202496 708551 0 0 0 123988 216 0 0 20 0 1 0 342486751 2932383744 708887 33554432000 4194304 7823515 140736471548624 140736471545320 5066015 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22725/statm: 715914 708887 446 887 0 715024 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 2863656
[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 22837
/proc/meminfo: memFree=24926668/32873844 swapFree=7380/7380
[pid=22725] ppid=22723 vsize=2917820 CPUtime=1302.02 cores=1,3,5,7
/proc/22725/stat : 22725 (pbscip.linux.x8) R 22723 22725 21332 0 -1 4202496 721751 0 0 0 129981 221 0 0 20 0 1 0 342486751 2987847680 722238 33554432000 4194304 7823515 140736471548624 140736471545304 5066015 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22725/statm: 729455 722238 446 887 0 728565 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 2917820
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 22837
/proc/meminfo: memFree=24559888/32873844 swapFree=7380/7380
[pid=22725] ppid=22723 vsize=3025352 CPUtime=1362.01 cores=1,3,5,7
/proc/22725/stat : 22725 (pbscip.linux.x8) R 22723 22725 21332 0 -1 4202496 747142 0 0 0 135955 246 0 0 20 0 1 0 342486751 3097960448 750134 33554432000 4194304 7823515 140736471548624 140736471545320 5803108 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22725/statm: 756338 750134 466 887 0 755448 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 3025352
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 22840
/proc/meminfo: memFree=24231432/32873844 swapFree=7380/7380
[pid=22725] ppid=22723 vsize=3069228 CPUtime=1421.99 cores=1,3,5,7
/proc/22725/stat : 22725 (pbscip.linux.x8) R 22723 22725 21332 0 -1 4202496 757468 0 0 0 141950 249 0 0 20 0 1 0 342486751 3142889472 760746 33554432000 4194304 7823515 140736471548624 140736471545304 5803612 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22725/statm: 767307 760746 466 887 0 766417 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 3069228
[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 22840
/proc/meminfo: memFree=23799168/32873844 swapFree=7380/7380
[pid=22725] ppid=22723 vsize=3295168 CPUtime=1481.98 cores=1,3,5,7
/proc/22725/stat : 22725 (pbscip.linux.x8) R 22723 22725 21332 0 -1 4202496 802889 0 0 0 147939 259 0 0 20 0 1 0 342486751 3374252032 813673 33554432000 4194304 7823515 140736471548624 140736471544312 6212066 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22725/statm: 823792 813673 531 887 0 822902 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 3295168
[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 22840
/proc/meminfo: memFree=23647540/32873844 swapFree=7380/7380
[pid=22725] ppid=22723 vsize=3311356 CPUtime=1541.97 cores=1,3,5,7
/proc/22725/stat : 22725 (pbscip.linux.x8) R 22723 22725 21332 0 -1 4202496 806922 0 0 0 153933 264 0 0 20 0 1 0 342486751 3390828544 818531 33554432000 4194304 7823515 140736471548624 140736471543960 6212053 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22725/statm: 827839 818531 531 887 0 826949 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 3311356
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 22840
/proc/meminfo: memFree=23476560/32873844 swapFree=7380/7380
[pid=22725] ppid=22723 vsize=3328492 CPUtime=1601.96 cores=1,3,5,7
/proc/22725/stat : 22725 (pbscip.linux.x8) R 22723 22725 21332 0 -1 4202496 808722 0 0 0 159927 269 0 0 20 0 1 0 342486751 3408375808 821319 33554432000 4194304 7823515 140736471548624 140736471543960 6212422 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22725/statm: 832123 821319 531 887 0 831233 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 3328492
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 22841
/proc/meminfo: memFree=23464616/32873844 swapFree=7380/7380
[pid=22725] ppid=22723 vsize=3335708 CPUtime=1661.95 cores=1,3,5,7
/proc/22725/stat : 22725 (pbscip.linux.x8) R 22723 22725 21332 0 -1 4202496 809056 0 0 0 165922 273 0 0 20 0 1 0 342486751 3415764992 823210 33554432000 4194304 7823515 140736471548624 140736471543960 6212302 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22725/statm: 833927 823210 531 887 0 833037 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 3335708
[startup+1722.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 22841
/proc/meminfo: memFree=23461420/32873844 swapFree=7380/7380
[pid=22725] ppid=22723 vsize=3336256 CPUtime=1721.94 cores=1,3,5,7
/proc/22725/stat : 22725 (pbscip.linux.x8) R 22723 22725 21332 0 -1 4202496 809745 0 0 0 171916 278 0 0 20 0 1 0 342486751 3416326144 823987 33554432000 4194304 7823515 140736471548624 140736471543304 6234801 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22725/statm: 834064 823987 542 887 0 833174 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 3336256
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 22841
/proc/meminfo: memFree=23460456/32873844 swapFree=7380/7380
[pid=22725] ppid=22723 vsize=3336408 CPUtime=1781.93 cores=1,3,5,7
/proc/22725/stat : 22725 (pbscip.linux.x8) R 22723 22725 21332 0 -1 4202496 809795 0 0 0 177909 284 0 0 20 0 1 0 342486751 3416481792 824126 33554432000 4194304 7823515 140736471548624 140736471543304 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22725/statm: 834102 824126 542 887 0 833212 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 3336408
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 22841
/proc/meminfo: memFree=23460440/32873844 swapFree=7380/7380
[pid=22725] ppid=22723 vsize=3336408 CPUtime=1785.13 cores=1,3,5,7
/proc/22725/stat : 22725 (pbscip.linux.x8) R 22723 22725 21332 0 -1 4202496 809817 0 0 0 178229 284 0 0 20 0 1 0 342486751 3416481792 824150 33554432000 4194304 7823515 140736471548624 140736471542600 5964872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22725/statm: 834102 824150 542 887 0 833212 0
Current children cumulated CPU time (s) 1785.13
Current children cumulated vsize (KiB) 3336408
[startup+1791.91 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 22841
/proc/meminfo: memFree=23460192/32873844 swapFree=7380/7380
[pid=22725] ppid=22723 vsize=3336408 CPUtime=1791.54 cores=1,3,5,7
/proc/22725/stat : 22725 (pbscip.linux.x8) R 22723 22725 21332 0 -1 4202496 809872 0 0 0 178867 287 0 0 20 0 1 0 342486751 3416481792 824205 33554432000 4194304 7823515 140736471548624 140736471544376 5575793 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22725/statm: 834102 824205 555 887 0 833212 0
Current children cumulated CPU time (s) 1791.54
Current children cumulated vsize (KiB) 3336408
[startup+1795.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 22841
/proc/meminfo: memFree=23460176/32873844 swapFree=7380/7380
[pid=22725] ppid=22723 vsize=3336408 CPUtime=1794.74 cores=1,3,5,7
/proc/22725/stat : 22725 (pbscip.linux.x8) R 22723 22725 21332 0 -1 4202496 809873 0 0 0 179187 287 0 0 20 0 1 0 342486751 3416481792 824206 33554432000 4194304 7823515 140736471548624 140736471544376 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22725/statm: 834102 824206 555 887 0 833212 0
Current children cumulated CPU time (s) 1794.74
Current children cumulated vsize (KiB) 3336408
[startup+1796.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 22841
/proc/meminfo: memFree=23458812/32873844 swapFree=7380/7380
[pid=22725] ppid=22723 vsize=3336408 CPUtime=1796.33 cores=1,3,5,7
/proc/22725/stat : 22725 (pbscip.linux.x8) R 22723 22725 21332 0 -1 4202496 810260 0 0 0 179346 287 0 0 20 0 1 0 342486751 3416481792 824593 33554432000 4194304 7823515 140736471548624 140736471545320 5651104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22725/statm: 834102 824593 563 887 0 833212 0
Current children cumulated CPU time (s) 1796.33
Current children cumulated vsize (KiB) 3336408
[startup+1797.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 22841
/proc/meminfo: memFree=23455712/32873844 swapFree=7380/7380
[pid=22725] ppid=22723 vsize=3334884 CPUtime=1797.13 cores=1,3,5,7
/proc/22725/stat : 22725 (pbscip.linux.x8) R 22723 22725 21332 0 -1 4202496 810986 0 0 0 179426 287 0 0 20 0 1 0 342486751 3414921216 824942 33554432000 4194304 7823515 140736471548624 140736471544136 5875843 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22725/statm: 833721 824942 571 887 0 832831 0
Current children cumulated CPU time (s) 1797.13
Current children cumulated vsize (KiB) 3334884
[startup+1797.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 22841
/proc/meminfo: memFree=23455712/32873844 swapFree=7380/7380
[pid=22725] ppid=22723 vsize=2911028 CPUtime=1797.33 cores=1,3,5,7
/proc/22725/stat : 22725 (pbscip.linux.x8) R 22723 22725 21332 0 -1 4202496 810986 0 0 0 179435 298 0 0 20 0 1 0 342486751 2980892672 118686 33554432000 4194304 7823515 140736471548624 140736471544136 7132266 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22725/statm: 727757 118174 571 887 0 726867 0
Current children cumulated CPU time (s) 1797.33
Current children cumulated vsize (KiB) 2911028
Child status: 0
Real time (s): 1797.73
CPU time (s): 1797.37
CPU user time (s): 1794.35
CPU system time (s): 3.01754
CPU usage (%): 99.9799
Max. virtual memory (cumulated for all children) (KiB): 3336408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.35
system time used= 3.01754
maximum resident set size= 3301276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 810991
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= 94
involuntary context switches= 1841
runsolver used 3.08853 second user time and 8.69068 second system time
The end