0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2703904-1278563025.opb>
0.09/0.13 c original problem has 1288 variables (1288 bin, 0 int, 0 impl, 0 cont) and 2431 constraints
0.09/0.13 c problem read
0.09/0.13 c presolving settings loaded
0.09/0.17 c presolving:
0.19/0.20 c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 2 chg sides, 37 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.19/0.23 c (round 2) 1 del vars, 1183 del conss, 1 chg bounds, 2 chg sides, 37 chg coeffs, 38 upgd conss, 0 impls, 0 clqs
0.19/0.25 c (round 3) 1 del vars, 1183 del conss, 1 chg bounds, 2 chg sides, 37 chg coeffs, 66 upgd conss, 26 impls, 0 clqs
0.49/0.57 c (0.4s) probing: 151/1287 (11.7%) - 0 fixings, 0 aggregations, 4 implications, 0 bound changes
0.49/0.57 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.49/0.57 c presolving (4 rounds):
0.49/0.57 c 1 deleted vars, 1183 deleted constraints, 1 tightened bounds, 0 added holes, 2 changed sides, 37 changed coefficients
0.49/0.57 c 36 implications, 0 cliques
0.49/0.57 c presolved problem has 1287 variables (1287 bin, 0 int, 0 impl, 0 cont) and 1248 constraints
0.49/0.57 c 66 constraints of type <knapsack>
0.49/0.57 c 1182 constraints of type <linear>
0.49/0.57 c transformed objective value is always integral (scale: 1)
0.49/0.57 c Presolving Time: 0.40
0.49/0.57 c - non default parameters ----------------------------------------------------------------------
0.49/0.57 c # SCIP version 1.2.1.3
0.49/0.57 c
0.49/0.57 c # frequency for displaying node information lines
0.49/0.57 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.57 c display/freq = 10000
0.49/0.57 c
0.49/0.57 c # maximal time in seconds to run
0.49/0.57 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.57 c limits/time = 1789.87
0.49/0.57 c
0.49/0.57 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.57 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.57 c limits/memory = 1620
0.49/0.57 c
0.49/0.57 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.49/0.57 c # [type: int, range: [1,2], default: 1]
0.49/0.57 c timing/clocktype = 2
0.49/0.57 c
0.49/0.57 c # should presolving try to simplify inequalities
0.49/0.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.57 c constraints/linear/simplifyinequalities = TRUE
0.49/0.57 c
0.49/0.57 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.49/0.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.57 c constraints/indicator/addCouplingCons = TRUE
0.49/0.57 c
0.49/0.57 c # should presolving try to simplify knapsacks
0.49/0.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.57 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.57 c
0.49/0.57 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.57 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.57 c separating/rapidlearning/freq = 0
0.49/0.57 c
0.49/0.57 c -----------------------------------------------------------------------------------------------
0.49/0.57 c start solving
0.49/0.57 c
0.59/0.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.61 c 0.5s| 1 | 0 | 198 | - |9524k| 0 | 178 |1287 |1248 |1287 |1248 | 0 | 0 | 0 | 5.500000e+01 | -- | Inf
1.29/1.31 c 1.2s| 1 | 0 | 1141 | - |9996k| 0 | 363 |1287 |1248 |1287 |1339 | 91 | 0 | 0 | 5.500000e+01 | -- | Inf
1.89/1.97 c 1.8s| 1 | 0 | 2267 | - | 10M| 0 | 739 |1287 |1248 |1287 |1509 | 261 | 0 | 0 | 5.500000e+01 | -- | Inf
2.88/2.93 c 2.8s| 1 | 0 | 3284 | - | 11M| 0 | 654 |1287 |1248 |1287 |1656 | 408 | 0 | 0 | 5.500000e+01 | -- | Inf
3.89/3.98 c 3.8s| 1 | 0 | 4131 | - | 11M| 0 | 758 |1287 |1248 |1287 |1780 | 532 | 0 | 0 | 5.500000e+01 | -- | Inf
5.09/5.19 c 5.1s| 1 | 0 | 4599 | - | 12M| 0 | 787 |1287 |1248 |1287 |1901 | 653 | 0 | 0 | 5.500000e+01 | -- | Inf
6.89/6.99 c 6.9s| 1 | 0 | 5991 | - | 12M| 0 | 802 |1287 |1248 |1287 |1995 | 747 | 0 | 0 | 5.500000e+01 | -- | Inf
17.78/17.85 c 17.7s| 1 | 2 | 5991 | - | 12M| 0 | 802 |1287 |1248 |1287 |1995 | 747 | 0 | 17 | 5.500000e+01 | -- | Inf
680.81/681.12 c 681s| 10000 | 3075 | 1692k| 168.7 | 27M| 86 | 308 |1287 |2861 |1287 |1350 | 747 | 16k| 10k| 5.500000e+01 | -- | Inf
1119.34/1119.85 c 1120s| 20000 | 5496 | 3052k| 152.3 | 40M| 92 | 312 |1287 |4868 |1287 |1350 | 747 | 34k| 14k| 5.500000e+01 | -- | Inf
1456.80/1457.45 c 1457s| 30000 | 7142 | 4087k| 136.0 | 49M| 96 | 298 |1287 |3908 |1287 |1350 | 747 | 52k| 18k| 5.500000e+01 | -- | Inf
1778.07/1778.81 c 1779s| 40000 | 8607 | 5088k| 127.1 | 59M| 102 | 312 |1287 |4781 |1287 |1350 | 747 | 72k| 22k| 5.500000e+01 | -- | Inf
1789.26/1790.01 c
1789.26/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.26/1790.01 c Solving Time (sec) : 1789.88
1789.26/1790.01 c Solving Nodes : 40479
1789.26/1790.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.26/1790.01 c Dual Bound : +5.50000000000000e+01
1789.26/1790.01 c Gap : infinite
1789.26/1790.01 s UNKNOWN
1789.26/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.26/1790.01 c Solving Time : 1789.88
1789.26/1790.01 c Original Problem :
1789.26/1790.01 c Problem name : HOME/instance-2703904-1278563025.opb
1789.26/1790.01 c Variables : 1288 (1288 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.26/1790.01 c Constraints : 2431 initial, 2431 maximal
1789.26/1790.01 c Presolved Problem :
1789.26/1790.01 c Problem name : t_HOME/instance-2703904-1278563025.opb
1789.26/1790.01 c Variables : 1287 (1287 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.26/1790.01 c Constraints : 1248 initial, 5370 maximal
1789.26/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.26/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.26/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.26/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.26/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.26/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.26/1790.01 c probing : 0.31 0 0 0 0 0 0 0 0
1789.26/1790.01 c knapsack : 0.01 0 0 0 0 0 0 0 0
1789.26/1790.01 c linear : 0.07 1 0 0 1 0 1183 2 37
1789.26/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.26/1790.01 c root node : - 0 - - 0 - - - -
1789.26/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.26/1790.01 c integral : 0 0 0 30940 0 129 18151 0 0 53534
1789.26/1790.01 c knapsack : 66 6 209244 0 0 829 75502 135 0 0
1789.26/1790.01 c linear : 1182 6 208415 0 0 10527 2617952 0 0 0
1789.26/1790.01 c logicor : 0+ 0 121033 0 0 530 145408 0 0 0
1789.26/1790.01 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.26/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.26/1790.01 c integral : 458.24 0.00 0.00 458.24 0.00
1789.26/1790.01 c knapsack : 9.98 0.01 9.97 0.00 0.00
1789.26/1790.01 c linear : 221.84 0.00 221.84 0.00 0.00
1789.26/1790.01 c logicor : 12.20 0.00 12.20 0.00 0.00
1789.26/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.26/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.26/1790.01 c vbounds : 0.13 2 0 0
1789.26/1790.01 c rootredcost : 0.13 0 0 0
1789.26/1790.01 c pseudoobj : 0.37 208940 0 0
1789.26/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.26/1790.01 c propagation : 2.35 11886 11881 118077 36.9 549 22.3 -
1789.26/1790.01 c infeasible LP : 8.43 12557 12556 44860 24.6 1311 17.0 0
1789.26/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.26/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.26/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.26/1790.01 c applied globally : - - - 72861 26.6 - - -
1789.26/1790.01 c applied locally : - - - 0 0.0 - - -
1789.26/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.26/1790.01 c cut pool : 0.00 5 - - 501 - (maximal pool size: 3630)
1789.26/1790.01 c redcost : 1.31 30702 0 95 0 0
1789.26/1790.01 c impliedbounds : 0.00 6 0 0 2 0
1789.26/1790.01 c intobj : 0.00 0 0 0 0 0
1789.26/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.26/1790.01 c gomory : 0.53 6 0 0 20 0
1789.26/1790.01 c strongcg : 0.53 6 0 0 20 0
1789.26/1790.01 c cmir : 1.68 6 0 0 2633 0
1789.26/1790.01 c flowcover : 0.91 6 0 0 1200 0
1789.26/1790.01 c clique : 0.00 1 0 0 0 0
1789.26/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.26/1790.01 c mcf : 0.00 1 0 0 0 0
1789.26/1790.01 c rapidlearning : 0.13 1 0 0 0 0
1789.26/1790.01 c Pricers : Time Calls Vars
1789.26/1790.01 c problem variables: 0.00 0 0
1789.26/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.26/1790.01 c relpscost : 458.14 30940 129 18151 0 0 53534
1789.26/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.26/1790.01 c inference : 0.00 0 0 0 0 0 0
1789.26/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.26/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.26/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.26/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.26/1790.01 c random : 0.00 0 0 0 0 0 0
1789.26/1790.01 c Primal Heuristics : Time Calls Found
1789.26/1790.01 c LP solutions : 0.00 - 0
1789.26/1790.01 c pseudo solutions : 0.00 - 0
1789.26/1790.01 c oneopt : 0.05 0 0
1789.26/1790.01 c crossover : 0.03 0 0
1789.26/1790.01 c guideddiving : 0.00 0 0
1789.26/1790.01 c veclendiving : 20.38 116 0
1789.26/1790.01 c linesearchdiving : 14.51 116 0
1789.26/1790.01 c pscostdiving : 31.58 117 0
1789.26/1790.01 c fracdiving : 52.41 117 0
1789.26/1790.01 c feaspump : 18.32 59 0
1789.26/1790.01 c rootsoldiving : 8.67 59 0
1789.26/1790.01 c trivial : 0.00 2 0
1789.26/1790.01 c simplerounding : 0.03 0 0
1789.26/1790.01 c zirounding : 0.17 1000 0
1789.26/1790.01 c rounding : 1.37 2431 0
1789.26/1790.01 c shifting : 9.41 740 0
1789.26/1790.01 c intshifting : 0.00 0 0
1789.26/1790.01 c twoopt : 0.00 0 0
1789.26/1790.01 c fixandinfer : 0.00 0 0
1789.26/1790.01 c coefdiving : 71.89 116 0
1789.26/1790.01 c intdiving : 0.00 0 0
1789.26/1790.01 c actconsdiving : 0.00 0 0
1789.26/1790.01 c objpscostdiving : 17.51 37 0
1789.26/1790.01 c octane : 0.00 0 0
1789.26/1790.01 c rens : 0.01 0 0
1789.26/1790.01 c rins : 0.00 0 0
1789.26/1790.01 c localbranching : 0.00 0 0
1789.26/1790.01 c mutation : 0.00 0 0
1789.26/1790.01 c dins : 0.00 0 0
1789.26/1790.01 c undercover : 0.00 0 0
1789.26/1790.01 c nlp : 0.04 0 0
1789.26/1790.01 c trysol : 0.03 0 0
1789.26/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.26/1790.01 c primal LP : 0.01 0 0 0.00 -
1789.26/1790.01 c dual LP : 765.57 37239 4327651 116.21 5652.88
1789.26/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.26/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.26/1790.01 c diving/probing LP: 188.09 20476 804600 39.29 4277.66
1789.26/1790.01 c strong branching : 451.98 23013 1650114 71.70 3650.87
1789.26/1790.01 c (at root node) : - 17 16966 998.00 -
1789.26/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.26/1790.01 c B&B Tree :
1789.26/1790.01 c number of runs : 1
1789.26/1790.01 c nodes : 40479
1789.26/1790.01 c nodes (total) : 40479
1789.26/1790.01 c nodes left : 8692
1789.26/1790.01 c max depth : 102
1789.26/1790.01 c max depth (total): 102
1789.26/1790.01 c backtracks : 7204 (17.8%)
1789.26/1790.01 c delayed cutoffs : 4364
1789.26/1790.01 c repropagations : 51711 (826135 domain reductions, 2847 cutoffs)
1789.26/1790.01 c avg switch length: 8.22
1789.26/1790.01 c switching time : 55.77
1789.26/1790.01 c Solution :
1789.26/1790.01 c Solutions found : 0 (0 improvements)
1789.26/1790.01 c Primal Bound : -
1789.26/1790.01 c Dual Bound : +5.50000000000000e+01
1789.26/1790.01 c Gap : infinite
1789.26/1790.01 c Root Dual Bound : +5.50000000000000e+01
1789.26/1790.01 c Root Iterations : 5991
1789.36/1790.14 c Time complete: 1789.42.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703904-1278563025/watcher-2703904-1278563025 -o /tmp/evaluation-result-2703904-1278563025/solver-2703904-1278563025 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703904-1278563025.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.03 1.05 1.00 3/106 31648
/proc/meminfo: memFree=1495108/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=7904 CPUtime=0
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 1079 0 0 0 0 0 0 0 18 0 1 0 24515629 8093696 990 1992294400 4194304 8395647 140736501032608 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31648/statm: 1976 998 365 1026 0 946 0
[startup+0.015782 s]
/proc/loadavg: 1.03 1.05 1.00 3/106 31648
/proc/meminfo: memFree=1495108/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=10340 CPUtime=0
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 1871 0 0 0 0 0 0 0 20 0 1 0 24515629 10588160 1782 1992294400 4194304 8395647 140736501032608 18446744073709551615 7370132 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31648/statm: 2585 1782 393 1026 0 1555 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10340
[startup+0.100798 s]
/proc/loadavg: 1.03 1.05 1.00 3/106 31648
/proc/meminfo: memFree=1495108/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=12672 CPUtime=0.09
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 2456 0 0 0 8 1 0 0 20 0 1 0 24515629 12976128 2367 1992294400 4194304 8395647 140736501032608 18446744073709551615 6765694 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31648/statm: 3168 2367 393 1026 0 2138 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12672
[startup+0.300841 s]
/proc/loadavg: 1.03 1.05 1.00 3/106 31648
/proc/meminfo: memFree=1495108/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=34076 CPUtime=0.29
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 7836 0 0 0 27 2 0 0 20 0 1 0 24515629 34893824 7393 1992294400 4194304 8395647 140736501032608 18446744073709551615 5026819 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31648/statm: 8519 7393 493 1026 0 7489 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34076
[startup+0.700927 s]
/proc/loadavg: 1.03 1.05 1.00 3/106 31648
/proc/meminfo: memFree=1495108/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=39772 CPUtime=0.69
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 9188 0 0 0 66 3 0 0 20 0 1 0 24515629 40726528 8703 1992294400 4194304 8395647 140736501032608 18446744073709551615 6652343 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31648/statm: 9943 8703 577 1026 0 8913 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39772
[startup+1.5011 s]
/proc/loadavg: 1.03 1.05 1.00 2/107 31649
/proc/meminfo: memFree=1462240/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=57076 CPUtime=1.49
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 14309 0 0 0 144 5 0 0 23 0 1 0 24515629 58445824 13296 1992294400 4194304 8395647 140736501032608 18446744073709551615 6201855 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31648/statm: 14269 13296 635 1026 0 13239 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 57076
[startup+3.10044 s]
/proc/loadavg: 1.03 1.05 1.00 2/107 31649
/proc/meminfo: memFree=1443888/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=57076 CPUtime=3.09
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 14329 0 0 0 302 7 0 0 25 0 1 0 24515629 58445824 13300 1992294400 4194304 8395647 140736501032608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31648/statm: 14269 13300 619 1026 0 13239 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 57076
[startup+6.30112 s]
/proc/loadavg: 1.02 1.05 1.00 2/107 31649
/proc/meminfo: memFree=1443392/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=57076 CPUtime=6.28
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 14407 0 0 0 621 7 0 0 25 0 1 0 24515629 58445824 13378 1992294400 4194304 8395647 140736501032608 18446744073709551615 6698047 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31648/statm: 14269 13378 619 1026 0 13239 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 57076
[startup+12.7015 s]
/proc/loadavg: 1.02 1.04 1.00 2/107 31649
/proc/meminfo: memFree=1442152/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=58100 CPUtime=12.68
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 14662 0 0 0 1258 10 0 0 25 0 1 0 24515629 59494400 13633 1992294400 4194304 8395647 140736501032608 18446744073709551615 6697363 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31648/statm: 14525 13633 620 1026 0 13495 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 58100
[startup+25.5012 s]
/proc/loadavg: 1.02 1.04 1.00 2/107 31649
/proc/meminfo: memFree=1442152/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=58100 CPUtime=25.49
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 14667 0 0 0 2525 24 0 0 25 0 1 0 24515629 59494400 13638 1992294400 4194304 8395647 140736501032608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31648/statm: 14525 13638 625 1026 0 13495 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 58100
[startup+51.1007 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 31651
/proc/meminfo: memFree=1442152/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=58100 CPUtime=51.08
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 14667 0 0 0 5053 55 0 0 25 0 1 0 24515629 59494400 13638 1992294400 4194304 8395647 140736501032608 18446744073709551615 6698043 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31648/statm: 14525 13638 625 1026 0 13495 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 58100
[startup+102.309 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 31652
/proc/meminfo: memFree=1442152/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=58100 CPUtime=102.25
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 14675 0 0 0 10111 114 0 0 25 0 1 0 24515629 59494400 13646 1992294400 4194304 8395647 140736501032608 18446744073709551615 6697363 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31648/statm: 14525 13646 628 1026 0 13495 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 58100
[startup+162.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 31653
/proc/meminfo: memFree=1442152/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=58100 CPUtime=162.22
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 14677 0 0 0 16029 193 0 0 25 0 1 0 24515629 59494400 13648 1992294400 4194304 8395647 140736501032608 18446744073709551615 5028501 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31648/statm: 14525 13648 628 1026 0 13495 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 58100
[startup+222.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 31655
/proc/meminfo: memFree=1441408/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=58828 CPUtime=222.2
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 14847 0 0 0 21949 271 0 0 25 0 1 0 24515629 60239872 13818 1992294400 4194304 8395647 140736501032608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31648/statm: 14707 13818 628 1026 0 13677 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 58828
[startup+282.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 31657
/proc/meminfo: memFree=1441284/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=58960 CPUtime=282.17
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 16194 0 0 0 27870 347 0 0 25 0 1 0 24515629 60375040 13855 1992294400 4194304 8395647 140736501032608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31648/statm: 14740 13855 628 1026 0 13710 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 58960
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31659
/proc/meminfo: memFree=1436944/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=63232 CPUtime=342.15
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 20609 0 0 0 33790 425 0 0 25 0 1 0 24515629 64749568 14922 1992294400 4194304 8395647 140736501032608 18446744073709551615 6746642 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31648/statm: 15808 14922 628 1026 0 14778 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 63232
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31660
/proc/meminfo: memFree=1434092/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=66008 CPUtime=402.12
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 22842 0 0 0 39707 505 0 0 25 0 1 0 24515629 67592192 15626 1992294400 4194304 8395647 140736501032608 18446744073709551615 6383877 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31648/statm: 16502 15626 628 1026 0 15472 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 66008
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31661
/proc/meminfo: memFree=1429752/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=70252 CPUtime=462.1
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 29449 0 0 0 45628 582 0 0 25 0 1 0 24515629 71938048 16693 1992294400 4194304 8395647 140736501032608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31648/statm: 17563 16693 628 1026 0 16533 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 70252
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31663
/proc/meminfo: memFree=1427644/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=72360 CPUtime=522.07
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 30735 0 0 0 51548 659 0 0 25 0 1 0 24515629 74096640 17222 1992294400 4194304 8395647 140736501032608 18446744073709551615 5026843 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31648/statm: 18090 17222 628 1026 0 17060 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 72360
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31665
/proc/meminfo: memFree=1423924/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=76024 CPUtime=582.05
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 35786 0 0 0 57469 736 0 0 25 0 1 0 24515629 77848576 18131 1992294400 4194304 8395647 140736501032608 18446744073709551615 4601644 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31648/statm: 19006 18131 628 1026 0 17976 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 76024
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31667
/proc/meminfo: memFree=1422932/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=77192 CPUtime=642.03
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 45283 0 0 0 63386 817 0 0 25 0 1 0 24515629 79044608 18394 1992294400 4194304 8395647 140736501032608 18446744073709551615 5028085 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31648/statm: 19298 18394 628 1026 0 18268 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 77192
[startup+702.302 s]
################
# More data... #
################
/proc/meminfo: memFree=1409416/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=90452 CPUtime=1001.88
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 77286 0 0 0 98878 1310 0 0 25 0 1 0 24515629 92622848 21720 1992294400 4194304 8395647 140736501032608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31648/statm: 22613 21720 628 1026 0 21583 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 90452
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31677
/proc/meminfo: memFree=1406068/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=94052 CPUtime=1061.86
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 78142 0 0 0 104788 1398 0 0 25 0 1 0 24515629 96309248 22576 1992294400 4194304 8395647 140736501032608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31648/statm: 23513 22576 628 1026 0 22483 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 94052
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31679
/proc/meminfo: memFree=1402844/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=96816 CPUtime=1121.83
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 79648 0 0 0 110700 1483 0 0 25 0 1 0 24515629 99139584 23353 1992294400 4194304 8395647 140736501032608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31648/statm: 24204 23353 628 1026 0 23174 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 96816
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31681
/proc/meminfo: memFree=1399372/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=100452 CPUtime=1181.81
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 82653 0 0 0 116622 1559 0 0 25 0 1 0 24515629 102862848 24211 1992294400 4194304 8395647 140736501032608 18446744073709551615 4962578 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31648/statm: 25113 24211 628 1026 0 24083 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 100452
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31683
/proc/meminfo: memFree=1396644/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=103044 CPUtime=1241.79
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 86305 0 0 0 122536 1643 0 0 25 0 1 0 24515629 105517056 24900 1992294400 4194304 8395647 140736501032608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31648/statm: 25761 24900 628 1026 0 24731 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 103044
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31684
/proc/meminfo: memFree=1392304/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=107304 CPUtime=1301.76
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 91328 0 0 0 128456 1720 0 0 25 0 1 0 24515629 109879296 25978 1992294400 4194304 8395647 140736501032608 18446744073709551615 5026819 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31648/statm: 26826 25978 628 1026 0 25796 0
Current children cumulated CPU time (s) 1301.76
Current children cumulated vsize (KiB) 107304
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31685
/proc/meminfo: memFree=1390072/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=109644 CPUtime=1361.74
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 92615 0 0 0 134372 1802 0 0 25 0 1 0 24515629 112275456 26509 1992294400 4194304 8395647 140736501032608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31648/statm: 27411 26509 628 1026 0 26381 0
Current children cumulated CPU time (s) 1361.74
Current children cumulated vsize (KiB) 109644
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31687
/proc/meminfo: memFree=1388460/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=111012 CPUtime=1421.72
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 93692 0 0 0 140284 1888 0 0 25 0 1 0 24515629 113676288 26905 1992294400 4194304 8395647 140736501032608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31648/statm: 27753 26905 628 1026 0 26723 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 111012
[startup+1482.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 31689
/proc/meminfo: memFree=1385732/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=114120 CPUtime=1481.69
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 95072 0 0 0 146204 1965 0 0 25 0 1 0 24515629 116858880 27584 1992294400 4194304 8395647 140736501032608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31648/statm: 28530 27584 628 1026 0 27500 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 114120
[startup+1542.3 s]
/proc/loadavg: 1.12 1.04 1.01 2/107 31691
/proc/meminfo: memFree=1383624/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=115820 CPUtime=1541.66
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 96990 0 0 0 152121 2045 0 0 25 0 1 0 24515629 118599680 28110 1992294400 4194304 8395647 140736501032608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31648/statm: 28955 28110 628 1026 0 27925 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 115820
[startup+1602.3 s]
/proc/loadavg: 1.12 1.04 1.00 2/107 31692
/proc/meminfo: memFree=1381888/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=117848 CPUtime=1601.64
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 101174 0 0 0 158039 2125 0 0 25 0 1 0 24515629 120676352 28563 1992294400 4194304 8395647 140736501032608 18446744073709551615 6585880 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31648/statm: 29462 28563 628 1026 0 28432 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 117848
[startup+1662.3 s]
/proc/loadavg: 1.11 1.05 1.00 2/107 31693
/proc/meminfo: memFree=1378044/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=121696 CPUtime=1661.62
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 104144 0 0 0 163958 2204 0 0 25 0 1 0 24515629 124616704 29503 1992294400 4194304 8395647 140736501032608 18446744073709551615 5027320 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31648/statm: 30424 29503 628 1026 0 29394 0
Current children cumulated CPU time (s) 1661.62
Current children cumulated vsize (KiB) 121696
[startup+1722.3 s]
/proc/loadavg: 1.10 1.05 1.00 2/107 31695
/proc/meminfo: memFree=1377176/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=122968 CPUtime=1721.59
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 109211 0 0 0 169878 2281 0 0 25 0 1 0 24515629 125919232 29756 1992294400 4194304 8395647 140736501032608 18446744073709551615 6723650 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31648/statm: 30742 29756 628 1026 0 29712 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 122968
[startup+1782.3 s]
/proc/loadavg: 1.09 1.06 1.00 2/107 31697
/proc/meminfo: memFree=1371844/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=127448 CPUtime=1781.56
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 111385 0 0 0 175792 2364 0 0 25 0 1 0 24515629 130506752 30990 1992294400 4194304 8395647 140736501032608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31648/statm: 31862 30990 628 1026 0 30832 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 127448
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.08 1.06 1.00 2/107 31697
/proc/meminfo: memFree=1371720/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=127584 CPUtime=1784.77
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 111445 0 0 0 176108 2369 0 0 25 0 1 0 24515629 130646016 31049 1992294400 4194304 8395647 140736501032608 18446744073709551615 5029575 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31648/statm: 31896 31049 644 1026 0 30866 0
Current children cumulated CPU time (s) 1784.77
Current children cumulated vsize (KiB) 127584
[startup+1788.7 s]
/proc/loadavg: 1.08 1.06 1.00 2/107 31697
/proc/meminfo: memFree=1371596/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=127584 CPUtime=1787.96
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 111461 0 0 0 176423 2373 0 0 25 0 1 0 24515629 130646016 31049 1992294400 4194304 8395647 140736501032608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31648/statm: 31896 31049 628 1026 0 30866 0
Current children cumulated CPU time (s) 1787.96
Current children cumulated vsize (KiB) 127584
[startup+1789.5 s]
/proc/loadavg: 1.08 1.06 1.00 2/107 31697
/proc/meminfo: memFree=1371596/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=127584 CPUtime=1788.76
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 111461 0 0 0 176502 2374 0 0 25 0 1 0 24515629 130646016 31049 1992294400 4194304 8395647 140736501032608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31648/statm: 31896 31049 628 1026 0 30866 0
Current children cumulated CPU time (s) 1788.76
Current children cumulated vsize (KiB) 127584
[startup+1789.9 s]
/proc/loadavg: 1.08 1.06 1.00 2/107 31697
/proc/meminfo: memFree=1371596/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=127584 CPUtime=1789.16
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 111461 0 0 0 176541 2375 0 0 25 0 1 0 24515629 130646016 31049 1992294400 4194304 8395647 140736501032608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31648/statm: 31896 31049 628 1026 0 30866 0
Current children cumulated CPU time (s) 1789.16
Current children cumulated vsize (KiB) 127584
[startup+1790.1 s]
/proc/loadavg: 1.08 1.06 1.00 2/107 31697
/proc/meminfo: memFree=1371596/2059040 swapFree=4192956/4192956
[pid=31648] ppid=31646 vsize=127584 CPUtime=1789.36
/proc/31648/stat : 31648 (pbscip.linux.x8) R 31646 31648 31536 0 -1 4202496 111463 0 0 0 176561 2375 0 0 25 0 1 0 24515629 130646016 31051 1992294400 4194304 8395647 140736501032608 18446744073709551615 6345893 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31648/statm: 31896 31051 630 1026 0 30866 0
Current children cumulated CPU time (s) 1789.36
Current children cumulated vsize (KiB) 127584
Child status: 0
Real time (s): 1790.15
CPU time (s): 1789.42
CPU user time (s): 1765.65
CPU system time (s): 23.7714
CPU usage (%): 99.9594
Max. virtual memory (cumulated for all children) (KiB): 127584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1765.65
system time used= 23.7714
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111466
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= 4
involuntary context switches= 2496
runsolver used 2.87356 second user time and 8.5287 second system time
The end