0.09/0.15 c SCIP version 1.1.0.7
0.09/0.15 c LP-Solver SoPlex 1.4.1
0.09/0.15 c user parameter file <scip.set> not found - using default parameters
0.09/0.15 c read problem <HOME/instance-1870814-1245220621.opb>
0.09/0.15 c original problem has 4977 variables (4977 bin, 0 int, 0 impl, 0 cont) and 5494 constraints
0.19/0.21 c start presolving problem
0.19/0.21 c presolving:
0.19/0.26 c (round 1) 7 del vars, 1 del conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 9940 impls, 75 clqs
0.19/0.28 c (round 2) 7 del vars, 4971 del conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 9940 impls, 75 clqs
0.29/0.33 c (round 3) 7 del vars, 4971 del conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 523 upgd conss, 9940 impls, 75 clqs
0.89/0.99 c (0.8s) probing: 101/4970 (2.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.89/0.99 c (0.8s) probing aborted: 100/100 successive totally useless probings
0.89/0.99 c presolving (4 rounds):
0.89/0.99 c 7 deleted vars, 4971 deleted constraints, 7 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.89/0.99 c 9940 implications, 1111 cliques
0.89/0.99 c presolved problem has 4970 variables (4970 bin, 0 int, 0 impl, 0 cont) and 523 constraints
0.89/0.99 c 448 constraints of type <knapsack>
0.89/0.99 c 75 constraints of type <setppc>
0.89/0.99 c transformed objective value is always integral (scale: 1)
0.89/0.99 c Presolving Time: 0.78
0.89/0.99 c OPT-LIN
0.89/0.99 c -----------------------------------------------------------------------------------------------
0.89/0.99 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.99 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.99 c limits/memory = c 1620
0.89/0.99 c # maximal time in seconds to run
0.89/0.99 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.99 c limits/time = c 1791
0.89/0.99 c # frequency for displaying node information lines
0.89/0.99 c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.99 c display/freq = c 10000
0.89/0.99 c -----------------------------------------------------------------------------------------------
0.89/0.99 c start solving problem
0.89/0.99 c
1.10/1.12 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.10/1.12 c 0.9s| 1 | 0 | 702 | 18M| 0 | 49 |4970 | 523 | 523 |4970 | 523 | 0 | 0 | 0 | 7.000000e+00 | -- | Inf
2.20/2.22 c 2.0s| 1 | 0 | 2185 | 20M| 0 | 100 |4970 | 523 | 523 |4970 | 557 | 34 | 0 | 0 | 7.000000e+00 | -- | Inf
2.99/3.06 c 2.9s| 1 | 0 | 2747 | 21M| 0 | 112 |4970 | 523 | 523 |4970 | 584 | 61 | 0 | 0 | 7.000000e+00 | -- | Inf
3.79/3.87 c 3.7s| 1 | 0 | 3149 | 21M| 0 | 141 |4970 | 523 | 523 |4970 | 611 | 88 | 0 | 0 | 7.000000e+00 | -- | Inf
4.89/4.92 c 4.7s| 1 | 0 | 3754 | 22M| 0 | 175 |4970 | 523 | 523 |4970 | 641 | 118 | 0 | 0 | 7.000000e+00 | -- | Inf
5.99/6.04 c 5.8s| 1 | 0 | 4200 | 23M| 0 | 181 |4970 | 523 | 523 |4970 | 669 | 146 | 0 | 0 | 7.000000e+00 | -- | Inf
7.49/7.58 c 7.3s| 1 | 0 | 5370 | 23M| 0 | 161 |4970 | 523 | 523 |4970 | 694 | 171 | 0 | 0 | 7.000000e+00 | -- | Inf
16.69/16.78 c 16.5s| 1 | 2 | 5370 | 23M| 0 | 161 |4970 | 523 | 523 |4970 | 694 | 171 | 0 | 21 | 7.000000e+00 | -- | Inf
628.06/628.35 c [src/scip/lpi_spx.cpp:265] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-06)
1003.13/1003.59 c 998s| 10000 | 834 |960191 | 34M| 135 | - |4970 |2019 | 519 |4970 | 619 | 171 | 10k| 11k| 7.000000e+00 | -- | Inf
1474.56/1475.17 c 1468s| 20000 | 777 | 1533k| 36M| 135 | - |4970 |4283 | 524 |4970 | 619 | 171 | 23k| 17k| 7.000000e+00 | -- | Inf
1799.65/1800.31 c
1799.65/1800.31 c SCIP Status : solving was interrupted [time limit reached]
1799.65/1800.31 c Solving Time (sec) : 1791.00
1799.65/1800.31 c Solving Nodes : 26966
1799.65/1800.31 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1799.65/1800.31 c Dual Bound : +7.00000000000000e+00
1799.65/1800.31 c Gap : infinite
1799.65/1800.31 c NODE 26966
1799.65/1800.31 c DUAL BOUND 7
1799.65/1800.31 c PRIMAL BOUND 1e+20
1799.65/1800.31 c GAP 1e+20
1799.65/1800.31 s UNKNOWN
1799.65/1800.31 c SCIP Status : solving was interrupted [time limit reached]
1799.65/1800.31 c Solving Time : 1791.00
1799.65/1800.31 c Original Problem :
1799.65/1800.31 c Problem name : HOME/instance-1870814-1245220621.opb
1799.65/1800.31 c Variables : 4977 (4977 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.65/1800.31 c Constraints : 5494 initial, 5494 maximal
1799.65/1800.31 c Presolved Problem :
1799.65/1800.31 c Problem name : t_HOME/instance-1870814-1245220621.opb
1799.65/1800.31 c Variables : 4970 (4970 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.65/1800.31 c Constraints : 523 initial, 4920 maximal
1799.65/1800.31 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1799.65/1800.31 c trivial : 0.00 0 0 0 0 0 0 0 0
1799.65/1800.31 c dualfix : 0.00 0 0 0 0 0 0 0 0
1799.65/1800.31 c boundshift : 0.00 0 0 0 0 0 0 0 0
1799.65/1800.31 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1799.65/1800.31 c implics : 0.00 0 0 0 0 0 0 0 0
1799.65/1800.31 c probing : 0.07 0 0 0 0 0 0 0 0
1799.65/1800.31 c knapsack : 0.56 0 0 0 0 0 0 0 0
1799.65/1800.31 c setppc : 0.00 0 0 0 0 0 0 0 0
1799.65/1800.31 c linear : 0.09 7 0 0 7 0 4971 0 0
1799.65/1800.31 c logicor : 0.00 0 0 0 0 0 0 0 0
1799.65/1800.31 c root node : - 0 - - 0 - - - -
1799.65/1800.31 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1799.65/1800.31 c integral : 0 0 0 19048 0 20 12142 0 0 29302
1799.65/1800.31 c knapsack : 448 6 106247 0 0 3085 3479067 1201 0 0
1799.65/1800.31 c setppc : 75 6 103162 0 0 909 150652 0 0 0
1799.65/1800.31 c logicor : 0+ 0 39220 0 0 608 26756 0 0 0
1799.65/1800.31 c countsols : 0 0 0 0 0 0 0 0 0 0
1799.65/1800.31 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1799.65/1800.31 c integral : 524.02 0.00 0.00 524.02 0.00
1799.65/1800.31 c knapsack : 14.91 0.02 14.89 0.00 0.00
1799.65/1800.31 c setppc : 2.14 0.00 2.14 0.00 0.00
1799.65/1800.31 c logicor : 4.31 0.00 4.31 0.00 0.00
1799.65/1800.31 c countsols : 0.00 0.00 0.00 0.00 0.00
1799.65/1800.31 c Propagators : Time Calls Cutoffs DomReds
1799.65/1800.31 c rootredcost : 0.03 0 0 0
1799.65/1800.31 c pseudoobj : 0.10 0 0 0
1799.65/1800.31 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.65/1800.31 c propagation : 5.10 4602 4602 103988 118.2 100 104.9 -
1799.65/1800.31 c infeasible LP : 76.89 9369 2695 74721 192.3 25 92.3 0
1799.65/1800.31 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.65/1800.31 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.65/1800.31 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.65/1800.31 c applied globally : - - - 33755 130.6 - - -
1799.65/1800.31 c applied locally : - - - 0 0.0 - - -
1799.65/1800.31 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1799.65/1800.31 c cut pool : 0.01 5 - - 1125 - (maximal pool size: 2305)
1799.65/1800.31 c redcost : 9.28 18003 0 0 0 0
1799.65/1800.31 c impliedbounds : 0.02 6 0 0 0 0
1799.65/1800.31 c intobj : 0.00 0 0 0 0 0
1799.65/1800.31 c gomory : 0.12 6 0 0 52 0
1799.65/1800.31 c strongcg : 0.11 6 0 0 31 0
1799.65/1800.31 c cmir : 2.02 6 0 0 2173 0
1799.65/1800.31 c flowcover : 1.39 6 0 0 1202 0
1799.65/1800.31 c clique : 0.01 6 0 0 8 0
1799.65/1800.31 c zerohalf : 0.00 0 0 0 0 0
1799.65/1800.31 c mcf : 0.01 1 0 0 0 0
1799.65/1800.31 c Pricers : Time Calls Vars
1799.65/1800.31 c problem variables: 0.00 0 0
1799.65/1800.31 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1799.65/1800.31 c relpscost : 523.95 19048 20 12142 0 0 29302
1799.65/1800.31 c pscost : 0.00 0 0 0 0 0 0
1799.65/1800.31 c inference : 0.00 0 0 0 0 0 0
1799.65/1800.31 c mostinf : 0.00 0 0 0 0 0 0
1799.65/1800.31 c leastinf : 0.00 0 0 0 0 0 0
1799.65/1800.31 c fullstrong : 0.00 0 0 0 0 0 0
1799.65/1800.31 c allfullstrong : 0.00 0 0 0 0 0 0
1799.65/1800.31 c random : 0.00 0 0 0 0 0 0
1799.65/1800.31 c Primal Heuristics : Time Calls Found
1799.65/1800.31 c LP solutions : 0.00 - 0
1799.65/1800.31 c pseudo solutions : 0.00 - 0
1799.65/1800.31 c oneopt : 0.03 0 0
1799.65/1800.31 c crossover : 0.00 0 0
1799.65/1800.31 c guideddiving : 0.00 0 0
1799.65/1800.31 c intshifting : 0.00 0 0
1799.65/1800.31 c linesearchdiving : 12.07 10 0
1799.65/1800.31 c veclendiving : 13.47 10 0
1799.65/1800.31 c rootsoldiving : 8.09 5 0
1799.65/1800.31 c pscostdiving : 24.33 11 0
1799.65/1800.31 c fracdiving : 22.73 11 0
1799.65/1800.31 c coefdiving : 30.03 11 0
1799.65/1800.31 c objpscostdiving : 0.66 6 0
1799.65/1800.31 c feaspump : 8.06 6 0
1799.65/1800.31 c simplerounding : 0.08 0 0
1799.65/1800.31 c rounding : 0.61 1883 0
1799.65/1800.31 c shifting : 4.03 499 0
1799.65/1800.31 c fixandinfer : 0.00 0 0
1799.65/1800.31 c intdiving : 0.00 0 0
1799.65/1800.31 c actconsdiving : 0.00 0 0
1799.65/1800.31 c octane : 0.00 0 0
1799.65/1800.31 c rens : 0.13 1 0
1799.65/1800.31 c rins : 0.00 0 0
1799.65/1800.31 c localbranching : 0.00 0 0
1799.65/1800.31 c mutation : 0.00 0 0
1799.65/1800.31 c dins : 0.00 0 0
1799.65/1800.31 c LP : Time Calls Iterations Iter/call Iter/sec
1799.65/1800.31 c primal LP : 0.00 0 0 0.00 -
1799.65/1800.31 c dual LP : 978.25 28024 1771365 63.21 1810.75
1799.65/1800.31 c barrier LP : 0.00 0 0 0.00 -
1799.65/1800.31 c diving/probing LP: 92.88 12038 122534 10.18 1319.27
1799.65/1800.31 c strong branching : 522.15 20398 806211 39.52 1544.02
1799.65/1800.31 c (at root node) : - 21 11811 562.43 -
1799.65/1800.31 c conflict analysis: 0.00 0 0 0.00 -
1799.65/1800.31 c B&B Tree :
1799.65/1800.31 c number of runs : 1
1799.65/1800.31 c nodes : 26966
1799.65/1800.31 c nodes (total) : 26966
1799.65/1800.31 c nodes left : 745
1799.65/1800.31 c max depth : 135
1799.65/1800.31 c max depth (total): 135
1799.65/1800.31 c backtracks : 4746 (17.6%)
1799.65/1800.31 c delayed cutoffs : 1592
1799.65/1800.31 c repropagations : 18702 (503240 domain reductions, 1331 cutoffs)
1799.65/1800.31 c avg switch length: 3.68
1799.65/1800.31 c switching time : 14.29
1799.65/1800.31 c Solution :
1799.65/1800.31 c Solutions found : 0 (0 improvements)
1799.65/1800.31 c Primal Bound : -
1799.65/1800.31 c Dual Bound : +7.00000000000000e+00
1799.65/1800.31 c Gap : infinite
1799.65/1800.31 c Root Dual Bound : +7.00000000000000e+00
1799.65/1800.39 c Time complete: 1799.74.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870814-1245220621/watcher-1870814-1245220621 -o /tmp/evaluation-result-1870814-1245220621/solver-1870814-1245220621 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870814-1245220621.opb
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: 0.92 0.98 0.99 3/64 3175
/proc/meminfo: memFree=1800460/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=4324 CPUtime=0
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 464 0 0 0 0 0 0 0 18 0 1 0 189659309 4427776 448 1992294400 4194304 7823515 548682068736 18446744073709551615 6883856 0 0 4096 0 0 0 0 17 1 0 0
/proc/3175/statm: 1081 460 297 886 0 191 0
[startup+0.0977891 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 3175
/proc/meminfo: memFree=1800460/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=15500 CPUtime=0.09
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 3206 0 0 0 8 1 0 0 18 0 1 0 189659309 15872000 3188 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/3175/statm: 3875 3188 354 886 0 2985 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15500
[startup+0.102789 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 3175
/proc/meminfo: memFree=1800460/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=15664 CPUtime=0.09
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 3225 0 0 0 8 1 0 0 18 0 1 0 189659309 16039936 3207 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/3175/statm: 3916 3207 354 886 0 3026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15664
[startup+0.301824 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 3175
/proc/meminfo: memFree=1800460/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=35688 CPUtime=0.29
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 8330 0 0 0 26 3 0 0 19 0 1 0 189659309 36544512 7958 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3175/statm: 8922 7958 430 886 0 8032 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35688
[startup+0.702891 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 3175
/proc/meminfo: memFree=1800460/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=37536 CPUtime=0.7
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 8851 0 0 0 66 4 0 0 23 0 1 0 189659309 38436864 8479 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3175/statm: 9384 8479 440 886 0 8494 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 37536
[startup+1.50203 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 3176
/proc/meminfo: memFree=1763588/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=49544 CPUtime=1.49
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 11673 0 0 0 144 5 0 0 25 0 1 0 189659309 50733056 11275 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3175/statm: 12386 11275 534 886 0 11496 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49544
[startup+3.1013 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 3176
/proc/meminfo: memFree=1754628/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=57668 CPUtime=3.09
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 13946 0 0 0 302 7 0 0 25 0 1 0 189659309 59052032 13393 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3175/statm: 14417 13393 562 886 0 13527 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 57668
[startup+6.30184 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 3176
/proc/meminfo: memFree=1744580/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=64000 CPUtime=6.29
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 15381 0 0 0 620 9 0 0 25 0 1 0 189659309 65536000 14822 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3175/statm: 16000 14822 562 886 0 15110 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 64000
[startup+12.7019 s]
/proc/loadavg: 0.94 0.98 0.99 2/65 3176
/proc/meminfo: memFree=1742676/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=63980 CPUtime=12.69
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 21166 0 0 0 1255 14 0 0 25 0 1 0 189659309 65515520 14874 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3175/statm: 15995 14874 574 886 0 15105 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 63980
[startup+25.5011 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 3176
/proc/meminfo: memFree=1742740/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=63980 CPUtime=25.48
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 21166 0 0 0 2530 18 0 0 25 0 1 0 189659309 65515520 14874 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3175/statm: 15995 14874 574 886 0 15105 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 63980
[startup+51.1015 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 3176
/proc/meminfo: memFree=1742804/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=64208 CPUtime=51.06
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 21193 0 0 0 5080 26 0 0 25 0 1 0 189659309 65748992 14901 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3175/statm: 16052 14901 574 886 0 15162 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 64208
[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 3176
/proc/meminfo: memFree=1742420/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=64568 CPUtime=102.25
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 21299 0 0 0 10181 44 0 0 25 0 1 0 189659309 66117632 15007 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3175/statm: 16142 15007 580 886 0 15252 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 64568
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3176
/proc/meminfo: memFree=1740628/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=66540 CPUtime=162.22
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 22589 0 0 0 16156 66 0 0 25 0 1 0 189659309 68136960 15483 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3175/statm: 16635 15483 580 886 0 15745 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 66540
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3176
/proc/meminfo: memFree=1736212/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=70732 CPUtime=222.21
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 23679 0 0 0 22131 90 0 0 25 0 1 0 189659309 72429568 16573 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3175/statm: 17683 16573 580 886 0 16793 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 70732
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3176
/proc/meminfo: memFree=1733972/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=73100 CPUtime=282.18
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 24219 0 0 0 28104 114 0 0 25 0 1 0 189659309 74854400 17113 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3175/statm: 18275 17113 580 886 0 17385 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 73100
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3176
/proc/meminfo: memFree=1731092/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=75752 CPUtime=342.16
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 24946 0 0 0 34079 137 0 0 25 0 1 0 189659309 77570048 17840 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3175/statm: 18938 17840 580 886 0 18048 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 75752
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3176
/proc/meminfo: memFree=1726420/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=80432 CPUtime=402.14
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 26119 0 0 0 40050 164 0 0 25 0 1 0 189659309 82362368 19013 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3175/statm: 20108 19013 580 886 0 19218 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 80432
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3176
/proc/meminfo: memFree=1724372/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=82812 CPUtime=462.12
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 26691 0 0 0 46018 194 0 0 25 0 1 0 189659309 84799488 19585 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3175/statm: 20703 19585 580 886 0 19813 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 82812
[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3176
/proc/meminfo: memFree=1722196/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=84512 CPUtime=522.1
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 27162 0 0 0 51988 222 0 0 25 0 1 0 189659309 86540288 20056 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3175/statm: 21128 20056 580 886 0 20238 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 84512
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3176
/proc/meminfo: memFree=1720148/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=86640 CPUtime=582.07
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 27664 0 0 0 57957 250 0 0 25 0 1 0 189659309 88719360 20558 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3175/statm: 21660 20558 580 886 0 20770 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 86640
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3176
/proc/meminfo: memFree=1717012/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=89732 CPUtime=642.07
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 28541 0 0 0 63926 281 0 0 25 0 1 0 189659309 91885568 21435 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3175/statm: 22433 21435 667 886 0 21543 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 89732
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1703124/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=103376 CPUtime=1121.89
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 31954 0 0 0 111668 521 0 0 25 0 1 0 189659309 105857024 24848 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3175/statm: 25844 24848 667 886 0 24954 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 103376
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3178
/proc/meminfo: memFree=1703124/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=103376 CPUtime=1181.87
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 31954 0 0 0 117636 551 0 0 25 0 1 0 189659309 105857024 24848 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3175/statm: 25844 24848 667 886 0 24954 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 103376
[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3178
/proc/meminfo: memFree=1702036/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=104776 CPUtime=1241.84
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 32234 0 0 0 123606 578 0 0 25 0 1 0 189659309 107290624 25128 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3175/statm: 26194 25128 667 886 0 25304 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 104776
[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3178
/proc/meminfo: memFree=1700820/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=105768 CPUtime=1301.83
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 32517 0 0 0 129576 607 0 0 25 0 1 0 189659309 108306432 25411 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3175/statm: 26442 25411 667 886 0 25552 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 105768
[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3178
/proc/meminfo: memFree=1698772/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=107680 CPUtime=1361.8
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 33045 0 0 0 135543 637 0 0 25 0 1 0 189659309 110264320 25939 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3175/statm: 26920 25939 667 886 0 26030 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 107680
[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3178
/proc/meminfo: memFree=1697620/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=108728 CPUtime=1421.79
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 33323 0 0 0 141514 665 0 0 25 0 1 0 189659309 111337472 26217 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3175/statm: 27182 26217 667 886 0 26292 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 108728
[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3184
/proc/meminfo: memFree=1696852/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=109604 CPUtime=1481.76
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 33521 0 0 0 147480 696 0 0 25 0 1 0 189659309 112234496 26415 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3175/statm: 27401 26415 667 886 0 26511 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 109604
[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3184
/proc/meminfo: memFree=1694676/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=111720 CPUtime=1541.73
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 34055 0 0 0 153442 731 0 0 25 0 1 0 189659309 114401280 26949 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3175/statm: 27930 26949 667 886 0 27040 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 111720
[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3184
/proc/meminfo: memFree=1694612/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=111720 CPUtime=1601.72
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 34061 0 0 0 159412 760 0 0 25 0 1 0 189659309 114401280 26955 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3175/statm: 27930 26955 667 886 0 27040 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 111720
[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3184
/proc/meminfo: memFree=1694548/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=111856 CPUtime=1661.69
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 34086 0 0 0 165380 789 0 0 25 0 1 0 189659309 114540544 26980 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3175/statm: 27964 26980 667 886 0 27074 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 111856
[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3184
/proc/meminfo: memFree=1694484/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=111856 CPUtime=1721.67
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 34087 0 0 0 171351 816 0 0 25 0 1 0 189659309 114540544 26981 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3175/statm: 27964 26981 667 886 0 27074 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 111856
[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3184
/proc/meminfo: memFree=1693972/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=112420 CPUtime=1781.65
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 34202 0 0 0 177319 846 0 0 25 0 1 0 189659309 115118080 27096 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3175/statm: 28105 27096 667 886 0 27215 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 112420
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3184
/proc/meminfo: memFree=1693972/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=112420 CPUtime=1791.25
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 34203 0 0 0 178276 849 0 0 25 0 1 0 189659309 115118080 27097 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3175/statm: 28105 27097 667 886 0 27215 0
Current children cumulated CPU time (s) 1791.25
Current children cumulated vsize (KiB) 112420
[startup+1795.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3184
/proc/meminfo: memFree=1693972/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=112420 CPUtime=1794.45
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 34203 0 0 0 178594 851 0 0 25 0 1 0 189659309 115118080 27097 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3175/statm: 28105 27097 667 886 0 27215 0
Current children cumulated CPU time (s) 1794.45
Current children cumulated vsize (KiB) 112420
[startup+1798.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3184
/proc/meminfo: memFree=1693972/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=112420 CPUtime=1797.65
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 34203 0 0 0 178913 852 0 0 25 0 1 0 189659309 115118080 27097 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3175/statm: 28105 27097 667 886 0 27215 0
Current children cumulated CPU time (s) 1797.65
Current children cumulated vsize (KiB) 112420
[startup+1799.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3184
/proc/meminfo: memFree=1693972/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=112420 CPUtime=1798.44
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 34203 0 0 0 178992 852 0 0 25 0 1 0 189659309 115118080 27097 1992294400 4194304 7823515 548682068736 18446744073709551615 6019508 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3175/statm: 28105 27097 667 886 0 27215 0
Current children cumulated CPU time (s) 1798.44
Current children cumulated vsize (KiB) 112420
[startup+1799.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3184
/proc/meminfo: memFree=1693972/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=112420 CPUtime=1799.25
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 34203 0 0 0 179072 853 0 0 25 0 1 0 189659309 115118080 27097 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3175/statm: 28105 27097 667 886 0 27215 0
Current children cumulated CPU time (s) 1799.25
Current children cumulated vsize (KiB) 112420
[startup+1800.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3184
/proc/meminfo: memFree=1693972/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=112420 CPUtime=1799.65
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 34203 0 0 0 179112 853 0 0 25 0 1 0 189659309 115118080 27097 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3175/statm: 28105 27097 667 886 0 27215 0
Current children cumulated CPU time (s) 1799.65
Current children cumulated vsize (KiB) 112420
[startup+1800.4 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3184
/proc/meminfo: memFree=1693972/2055920 swapFree=4181368/4192956
[pid=3175] ppid=3173 vsize=73468 CPUtime=1799.74
/proc/3175/stat : 3175 (pbscip.linux.x8) R 3173 3175 3138 0 -1 4194304 34206 0 0 0 179120 854 0 0 25 0 1 0 189659309 75231232 17689 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 1 0 0
/proc/3175/statm: 18367 17689 7248 886 0 17477 0
Current children cumulated CPU time (s) 1799.74
Current children cumulated vsize (KiB) 73468
Child status: 0
Real time (s): 1800.41
CPU time (s): 1799.76
CPU user time (s): 1791.21
CPU system time (s): 8.5547
CPU usage (%): 99.9642
Max. virtual memory (cumulated for all children) (KiB): 112420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.21
system time used= 8.5547
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34206
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= 2
involuntary context switches= 3882
runsolver used 1.37979 second user time and 3.82742 second system time
The end