5.79/5.81 c SCIP version 1.1.0.7
5.79/5.81 c LP-Solver Clp 1.8.2
5.79/5.81 c user parameter file <scip.set> not found - using default parameters
5.79/5.81 c read problem <HOME/instance-1869605-1245181076.opb>
5.79/5.81 c original problem has 8601 variables (8601 bin, 0 int, 0 impl, 0 cont) and 386810 constraints
6.89/6.91 c start presolving problem
6.89/6.91 c presolving:
9.49/9.50 c (round 1) 5265 del vars, 345933 del conss, 4993 chg bounds, 90 chg sides, 180 chg coeffs, 0 upgd conss, 589867 impls, 0 clqs
9.49/9.56 c (round 2) 5267 del vars, 349406 del conss, 4993 chg bounds, 90 chg sides, 180 chg coeffs, 0 upgd conss, 589867 impls, 0 clqs
9.89/9.95 c (round 3) 5267 del vars, 349406 del conss, 4993 chg bounds, 90 chg sides, 180 chg coeffs, 37404 upgd conss, 589867 impls, 0 clqs
13.69/13.71 c (7.2s) probing: 1000/3334 (30.0%) - 0 fixings, 0 aggregations, 1223 implications, 0 bound changes
17.39/17.48 c (11.0s) probing: 2000/3334 (60.0%) - 0 fixings, 0 aggregations, 2560 implications, 0 bound changes
17.39/17.49 c (11.0s) probing: 2001/3334 (60.0%) - 0 fixings, 0 aggregations, 2561 implications, 0 bound changes
17.39/17.49 c (11.0s) probing aborted: 2000/2000 successive useless probings
17.39/17.49 c presolving (4 rounds):
17.39/17.49 c 5267 deleted vars, 349406 deleted constraints, 4993 tightened bounds, 0 added holes, 90 changed sides, 180 changed coefficients
17.39/17.49 c 597293 implications, 0 cliques
17.39/17.49 c presolved problem has 3334 variables (3334 bin, 0 int, 0 impl, 0 cont) and 37404 constraints
17.39/17.49 c 37404 constraints of type <logicor>
17.39/17.49 c transformed objective value is always integral (scale: 1)
17.39/17.49 c Presolving Time: 10.15
17.39/17.49 c strange?!, PURESAT with obj
17.39/17.49 c -----------------------------------------------------------------------------------------------
17.39/17.49 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
17.39/17.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
17.39/17.49 c limits/memory = c 1620
17.39/17.49 c # maximal time in seconds to run
17.39/17.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
17.39/17.49 c limits/time = c 1791
17.39/17.49 c # frequency for displaying node information lines
17.39/17.49 c # [type: int, range: [-1,2147483647], default: 100]
17.39/17.49 c display/freq = c 10000
17.39/17.49 c -----------------------------------------------------------------------------------------------
17.39/17.49 c start solving problem
17.39/17.49 c
23.49/23.58 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.49/23.58 c 17.0s| 1 | 0 | 4981 | 220M| 0 |3219 |3334 | 37k| 37k|3334 | 37k| 0 | 0 | 0 | 8.000000e+00 | -- | Inf
133.35/133.46 c 127s| 1 | 0 | 25293 | 222M| 0 |2012 |3334 | 37k| 37k|3334 | 39k|2000 | 0 | 0 | 1.465132e+01 | -- | Inf
236.53/236.68 c 230s| 1 | 0 | 36230 | 223M| 0 |1570 |3334 | 37k| 37k|3334 | 40k|2974 | 0 | 0 | 1.816667e+01 | -- | Inf
305.11/305.28 c 298s| 1 | 0 | 40382 | 223M| 0 |1446 |3334 | 37k| 37k|3334 | 40k|3175 | 0 | 0 | 1.900000e+01 | -- | Inf
366.70/366.81 c 360s| 1 | 0 | 41920 | 223M| 0 |1439 |3334 | 37k| 37k|3334 | 40k|3265 | 0 | 0 | 1.933333e+01 | -- | Inf
486.47/486.62 c 479s| 1 | 0 | 42979 | 223M| 0 |1376 |3334 | 37k| 37k|3334 | 40k|3296 | 0 | 0 | 2.000000e+01 | -- | Inf
659.93/660.16 c 653s| 1 | 0 | 44803 | 223M| 0 |1426 |3334 | 37k| 37k|3334 | 40k|3309 | 0 | 0 | 2.000000e+01 | -- | Inf
830.78/831.08 c 823s| 1 | 0 | 45910 | 223M| 0 |1417 |3334 | 37k| 37k|3334 | 40k|3357 | 0 | 0 | 2.000000e+01 | -- | Inf
990.64/990.96 c 983s| 1 | 0 | 46329 | 223M| 0 |1443 |3334 | 37k| 37k|3334 | 40k|3365 | 0 | 0 | 2.000000e+01 | -- | Inf
1156.20/1156.52 c 1149s| 1 | 0 | 47125 | 223M| 0 |1397 |3334 | 37k| 37k|3334 | 40k|3371 | 0 | 0 | 2.000000e+01 | -- | Inf
1317.66/1318.08 c 1310s| 1 | 0 | 47525 | 223M| 0 |1418 |3334 | 37k| 37k|3334 | 40k|3417 | 0 | 0 | 2.000000e+01 | -- | Inf
1455.02/1455.49 c 1447s| 1 | 2 | 47525 | 223M| 0 |1418 |3334 | 37k| 37k|3334 | 40k|3417 | 0 | 27 | 2.000000e+01 | -- | Inf
1799.33/1799.81 c
1799.33/1799.81 c SCIP Status : solving was interrupted [time limit reached]
1799.33/1799.81 c Solving Time (sec) : 1791.04
1799.33/1799.81 c Solving Nodes : 5
1799.33/1799.81 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1799.33/1799.81 c Dual Bound : +2.10000000000000e+01
1799.33/1799.81 c Gap : infinite
1799.33/1799.81 c NODE 5
1799.33/1799.81 c DUAL BOUND 21
1799.33/1799.81 c PRIMAL BOUND 1e+20
1799.33/1799.81 c GAP 1e+20
1799.33/1799.81 s UNKNOWN
1799.33/1799.81 c SCIP Status : solving was interrupted [time limit reached]
1799.33/1799.81 c Solving Time : 1791.04
1799.33/1799.81 c Original Problem :
1799.33/1799.81 c Problem name : HOME/instance-1869605-1245181076.opb
1799.33/1799.81 c Variables : 8601 (8601 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.33/1799.81 c Constraints : 386810 initial, 386810 maximal
1799.33/1799.81 c Presolved Problem :
1799.33/1799.81 c Problem name : t_HOME/instance-1869605-1245181076.opb
1799.33/1799.81 c Variables : 3334 (3334 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.33/1799.81 c Constraints : 37404 initial, 37404 maximal
1799.33/1799.81 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1799.33/1799.81 c trivial : 0.01 0 0 0 0 0 0 0 0
1799.33/1799.81 c dualfix : 0.00 2 0 0 0 0 0 0 0
1799.33/1799.81 c boundshift : 0.00 0 0 0 0 0 0 0 0
1799.33/1799.81 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1799.33/1799.81 c implics : 0.02 0 0 0 0 0 0 0 0
1799.33/1799.81 c probing : 7.45 0 0 0 0 0 0 0 0
1799.33/1799.81 c linear : 2.12 4993 272 0 4993 0 349406 90 180
1799.33/1799.81 c logicor : 0.11 0 0 0 0 0 0 0 0
1799.33/1799.81 c root node : - 0 - - 0 - - - -
1799.33/1799.81 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1799.33/1799.81 c integral : 0 0 0 5 0 0 0 0 0 10
1799.33/1799.81 c logicor : 37404 10 4008 0 0 0 253 0 0 0
1799.33/1799.81 c countsols : 0 0 0 0 0 0 0 0 0 0
1799.33/1799.81 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1799.33/1799.81 c integral : 453.78 0.00 0.00 453.78 0.00
1799.33/1799.81 c logicor : 3.34 0.10 3.24 0.00 0.00
1799.33/1799.81 c countsols : 0.00 0.00 0.00 0.00 0.00
1799.33/1799.81 c Propagators : Time Calls Cutoffs DomReds
1799.33/1799.81 c rootredcost : 0.01 0 0 0
1799.33/1799.81 c pseudoobj : 0.00 15 0 0
1799.33/1799.81 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.33/1799.81 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1799.33/1799.81 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1799.33/1799.81 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.33/1799.81 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.33/1799.81 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.33/1799.81 c applied globally : - - - 0 0.0 - - -
1799.33/1799.81 c applied locally : - - - 0 0.0 - - -
1799.33/1799.81 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1799.33/1799.81 c cut pool : 0.04 9 - - 935 - (maximal pool size: 4237)
1799.33/1799.81 c redcost : 0.00 14 0 0 0 0
1799.33/1799.81 c impliedbounds : 0.15 10 0 0 4984 0
1799.33/1799.81 c intobj : 0.00 0 0 0 0 0
1799.33/1799.81 c gomory : 495.92 10 0 0 3565 0
1799.33/1799.81 c strongcg : 468.42 9 0 0 3086 0
1799.33/1799.81 c cmir : 12.34 9 0 0 0 0
1799.33/1799.81 c flowcover : 24.61 9 0 0 15 0
1799.33/1799.81 c clique : 1.41 9 0 0 70 0
1799.33/1799.81 c zerohalf : 0.00 0 0 0 0 0
1799.33/1799.81 c mcf : 0.09 1 0 0 0 0
1799.33/1799.81 c Pricers : Time Calls Vars
1799.33/1799.81 c problem variables: 0.00 0 0
1799.33/1799.81 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1799.33/1799.81 c relpscost : 453.78 5 0 0 0 0 10
1799.33/1799.81 c pscost : 0.00 0 0 0 0 0 0
1799.33/1799.81 c inference : 0.00 0 0 0 0 0 0
1799.33/1799.81 c mostinf : 0.00 0 0 0 0 0 0
1799.33/1799.81 c leastinf : 0.00 0 0 0 0 0 0
1799.33/1799.81 c fullstrong : 0.00 0 0 0 0 0 0
1799.33/1799.81 c allfullstrong : 0.00 0 0 0 0 0 0
1799.33/1799.81 c random : 0.00 0 0 0 0 0 0
1799.33/1799.81 c Primal Heuristics : Time Calls Found
1799.33/1799.81 c LP solutions : 0.00 - 0
1799.33/1799.81 c pseudo solutions : 0.00 - 0
1799.33/1799.81 c oneopt : 0.00 0 0
1799.33/1799.81 c coefdiving : 0.00 0 0
1799.33/1799.81 c pscostdiving : 0.00 0 0
1799.33/1799.81 c fracdiving : 0.00 0 0
1799.33/1799.81 c veclendiving : 0.00 0 0
1799.33/1799.81 c objpscostdiving : 0.00 0 0
1799.33/1799.81 c simplerounding : 0.00 0 0
1799.33/1799.81 c rounding : 0.12 15 0
1799.33/1799.81 c shifting : 1.09 11 0
1799.33/1799.81 c intshifting : 0.00 0 0
1799.33/1799.81 c fixandinfer : 0.00 0 0
1799.33/1799.81 c feaspump : 49.02 1 0
1799.33/1799.81 c intdiving : 0.00 0 0
1799.33/1799.81 c actconsdiving : 0.00 0 0
1799.33/1799.81 c rootsoldiving : 0.00 0 0
1799.33/1799.81 c linesearchdiving : 0.00 0 0
1799.33/1799.81 c guideddiving : 0.00 0 0
1799.33/1799.81 c octane : 0.00 0 0
1799.33/1799.81 c rens : 10.78 1 0
1799.33/1799.81 c rins : 0.00 0 0
1799.33/1799.81 c localbranching : 0.00 0 0
1799.33/1799.81 c mutation : 0.00 0 0
1799.33/1799.81 c crossover : 0.00 0 0
1799.33/1799.81 c dins : 0.00 0 0
1799.33/1799.81 c LP : Time Calls Iterations Iter/call Iter/sec
1799.33/1799.81 c primal LP : 7.84 0 0 0.00 0.00
1799.33/1799.81 c dual LP : 253.32 15 38673 2578.20 152.66
1799.33/1799.81 c barrier LP : 0.00 0 0 0.00 -
1799.33/1799.81 c diving/probing LP: 48.97 5 10369 2073.80 211.74
1799.33/1799.81 c strong branching : 453.77 110 53360 485.09 117.59
1799.33/1799.81 c (at root node) : - 27 14298 529.56 -
1799.33/1799.81 c conflict analysis: 0.00 0 0 0.00 -
1799.33/1799.81 c B&B Tree :
1799.33/1799.81 c number of runs : 1
1799.33/1799.81 c nodes : 5
1799.33/1799.81 c nodes (total) : 5
1799.33/1799.81 c nodes left : 6
1799.33/1799.81 c max depth : 4
1799.33/1799.81 c max depth (total): 4
1799.33/1799.81 c backtracks : 0 (0.0%)
1799.33/1799.81 c delayed cutoffs : 0
1799.33/1799.81 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1799.33/1799.81 c avg switch length: 1.00
1799.33/1799.81 c switching time : 7.86
1799.33/1799.81 c Solution :
1799.33/1799.81 c Solutions found : 0 (0 improvements)
1799.33/1799.81 c Primal Bound : -
1799.33/1799.81 c Dual Bound : +2.10000000000000e+01
1799.33/1799.81 c Gap : infinite
1799.33/1799.81 c Root Dual Bound : +2.00000000000000e+01
1799.73/1800.24 c Time complete: 1799.77.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869605-1245181076/watcher-1869605-1245181076 -o /tmp/evaluation-result-1869605-1245181076/solver-1869605-1245181076 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869605-1245181076.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: 1.00 1.00 1.00 3/64 3837
/proc/meminfo: memFree=1890472/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=5812 CPUtime=0
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 515 0 0 0 0 0 0 0 18 0 1 0 185704996 5951488 499 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/3837/statm: 1453 500 332 1256 0 192 0
[startup+0.00863896 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3837
/proc/meminfo: memFree=1890472/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=9676 CPUtime=0
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 1369 0 0 0 0 0 0 0 18 0 1 0 185704996 9908224 1353 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/3837/statm: 2419 1362 362 1256 0 1158 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9676
[startup+0.101646 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3837
/proc/meminfo: memFree=1890472/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=18208 CPUtime=0.09
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 3524 0 0 0 8 1 0 0 18 0 1 0 185704996 18644992 3508 1992294400 4194304 9342243 548682068736 18446744073709551615 8247763 0 0 4096 0 0 0 0 17 1 0 0
/proc/3837/statm: 4552 3508 378 1256 0 3291 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18208
[startup+0.301665 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3837
/proc/meminfo: memFree=1890472/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=22856 CPUtime=0.29
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 4700 0 0 0 28 1 0 0 19 0 1 0 185704996 23404544 4684 1992294400 4194304 9342243 548682068736 18446744073709551615 8236289 0 0 4096 0 0 0 0 17 1 0 0
/proc/3837/statm: 5714 4684 378 1256 0 4453 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22856
[startup+0.701706 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3837
/proc/meminfo: memFree=1890472/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=32324 CPUtime=0.69
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 7025 0 0 0 67 2 0 0 22 0 1 0 185704996 33099776 7009 1992294400 4194304 9342243 548682068736 18446744073709551615 4403178 0 0 4096 0 0 0 0 17 1 0 0
/proc/3837/statm: 8081 7009 378 1256 0 6820 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32324
[startup+1.50178 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3838
/proc/meminfo: memFree=1856736/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=51780 CPUtime=1.49
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 11897 0 0 0 145 4 0 0 25 0 1 0 185704996 53022720 11881 1992294400 4194304 9342243 548682068736 18446744073709551615 8142461 0 0 4096 0 0 0 0 17 1 0 0
/proc/3837/statm: 12945 11881 378 1256 0 11684 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 51780
[startup+3.10194 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3838
/proc/meminfo: memFree=1831008/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=89184 CPUtime=3.09
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 21204 0 0 0 300 9 0 0 25 0 1 0 185704996 91324416 21188 1992294400 4194304 9342243 548682068736 18446744073709551615 4511625 0 0 4096 0 0 0 0 17 1 0 0
/proc/3837/statm: 22296 21188 378 1256 0 21035 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 89184
[startup+6.30126 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3838
/proc/meminfo: memFree=1751264/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=289792 CPUtime=6.29
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 71338 0 0 0 599 30 0 0 25 0 1 0 185704996 296747008 70968 1992294400 4194304 9342243 548682068736 18446744073709551615 4207874 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3837/statm: 72448 70968 411 1256 0 71187 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 289792
[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3838
/proc/meminfo: memFree=1471976/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=425580 CPUtime=12.69
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 105987 0 0 0 1183 86 0 0 25 0 1 0 185704996 435793920 104863 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3837/statm: 106395 104863 490 1256 0 105134 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 425580
[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3838
/proc/meminfo: memFree=1473704/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=434124 CPUtime=25.49
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 108243 0 0 0 2459 90 0 0 25 0 1 0 185704996 444542976 104618 1992294400 4194304 9342243 548682068736 18446744073709551615 6939156 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3837/statm: 108531 104618 644 1256 0 107270 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 434124
[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3838
/proc/meminfo: memFree=1473576/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=434108 CPUtime=51.08
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 108577 0 0 0 5017 91 0 0 25 0 1 0 185704996 444526592 104662 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3837/statm: 108527 104662 644 1256 0 107266 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 434108
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3838
/proc/meminfo: memFree=1473192/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=434564 CPUtime=102.27
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 108697 0 0 0 10132 95 0 0 25 0 1 0 185704996 444993536 104771 1992294400 4194304 9342243 548682068736 18446744073709551615 5869974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3837/statm: 108641 104771 654 1256 0 107380 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 434564
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3838
/proc/meminfo: memFree=1473128/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=438980 CPUtime=162.25
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 110469 0 0 0 16115 110 0 0 25 0 1 0 185704996 449515520 104808 1992294400 4194304 9342243 548682068736 18446744073709551615 5874771 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3837/statm: 109745 104808 675 1256 0 108484 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 438980
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3838
/proc/meminfo: memFree=1472808/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=439004 CPUtime=222.24
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 118918 0 0 0 22105 119 0 0 25 0 1 0 185704996 449540096 104874 1992294400 4194304 9342243 548682068736 18446744073709551615 6938543 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3837/statm: 109751 104874 675 1256 0 108490 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 439004
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3838
/proc/meminfo: memFree=1473000/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=439032 CPUtime=282.22
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 122842 0 0 0 28094 128 0 0 25 0 1 0 185704996 449568768 104852 1992294400 4194304 9342243 548682068736 18446744073709551615 6040629 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3837/statm: 109758 104852 675 1256 0 108497 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 439032
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3838
/proc/meminfo: memFree=1473256/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=438992 CPUtime=342.2
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 126952 0 0 0 34085 135 0 0 25 0 1 0 185704996 449527808 104750 1992294400 4194304 9342243 548682068736 18446744073709551615 6237437 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3837/statm: 109748 104750 675 1256 0 108487 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 438992
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3838
/proc/meminfo: memFree=1473128/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=439044 CPUtime=402.19
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 128927 0 0 0 40079 140 0 0 25 0 1 0 185704996 449581056 104762 1992294400 4194304 9342243 548682068736 18446744073709551615 4339117 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3837/statm: 109761 104762 675 1256 0 108500 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 439044
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3838
/proc/meminfo: memFree=1473128/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=439044 CPUtime=462.17
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 128927 0 0 0 46072 145 0 0 25 0 1 0 185704996 449581056 104762 1992294400 4194304 9342243 548682068736 18446744073709551615 6939137 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3837/statm: 109761 104762 675 1256 0 108500 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 439044
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3838
/proc/meminfo: memFree=1473448/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=434868 CPUtime=522.16
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 132106 0 0 0 52064 152 0 0 25 0 1 0 185704996 445304832 104671 1992294400 4194304 9342243 548682068736 18446744073709551615 4338482 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3837/statm: 108717 104671 675 1256 0 107456 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 434868
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3838
/proc/meminfo: memFree=1473448/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=434868 CPUtime=582.15
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 132106 0 0 0 58058 157 0 0 25 0 1 0 185704996 445304832 104671 1992294400 4194304 9342243 548682068736 18446744073709551615 6237429 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3837/statm: 108717 104671 675 1256 0 107456 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 434868
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3838
/proc/meminfo: memFree=1473448/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=434868 CPUtime=642.14
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 132106 0 0 0 64052 162 0 0 25 0 1 0 185704996 445304832 104671 1992294400 4194304 9342243 548682068736 18446744073709551615 5597687 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3837/statm: 108717 104671 675 1256 0 107456 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 434868
[startup+702.302 s]
################
# More data... #
################
/proc/meminfo: memFree=1472808/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=443212 CPUtime=1122.01
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 140118 0 0 0 111998 203 0 0 25 0 1 0 185704996 453849088 104771 1992294400 4194304 9342243 548682068736 18446744073709551615 8050501 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3837/statm: 110803 104771 675 1256 0 109542 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 443212
[startup+1182.3 s]
/proc/loadavg: 1.12 1.07 1.01 2/65 3840
/proc/meminfo: memFree=1473192/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=434880 CPUtime=1182
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 141219 0 0 0 117993 207 0 0 25 0 1 0 185704996 445317120 104679 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3837/statm: 108720 104679 675 1256 0 107459 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 434880
[startup+1242.3 s]
/proc/loadavg: 1.04 1.05 1.00 2/65 3840
/proc/meminfo: memFree=1473128/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=434880 CPUtime=1241.97
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 141219 0 0 0 123986 211 0 0 25 0 1 0 185704996 445317120 104679 1992294400 4194304 9342243 548682068736 18446744073709551615 6237429 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3837/statm: 108720 104679 675 1256 0 107459 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 434880
[startup+1302.3 s]
/proc/loadavg: 1.01 1.04 1.00 2/65 3840
/proc/meminfo: memFree=1473064/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=434880 CPUtime=1301.96
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 141219 0 0 0 129980 216 0 0 25 0 1 0 185704996 445317120 104679 1992294400 4194304 9342243 548682068736 18446744073709551615 4272796 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3837/statm: 108720 104679 675 1256 0 107459 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 434880
[startup+1362.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 3840
/proc/meminfo: memFree=1467944/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=464100 CPUtime=1361.95
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 150132 0 0 0 135961 234 0 0 25 0 1 0 185704996 475238400 105978 1992294400 4194304 9342243 548682068736 18446744073709551615 6040560 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3837/statm: 116025 105978 698 1256 0 114764 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 464100
[startup+1422.31 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 3846
/proc/meminfo: memFree=1467816/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=464100 CPUtime=1421.93
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 153281 0 0 0 141956 237 0 0 25 0 1 0 185704996 475238400 106007 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3837/statm: 116025 106007 698 1256 0 114764 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 464100
[startup+1482.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 3846
/proc/meminfo: memFree=1471336/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=458088 CPUtime=1481.92
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 156595 0 0 0 147951 241 0 0 25 0 1 0 185704996 469082112 105118 1992294400 4194304 9342243 548682068736 18446744073709551615 5868521 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3837/statm: 114522 105118 698 1256 0 113261 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 458088
[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 3846
/proc/meminfo: memFree=1471336/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=458088 CPUtime=1541.89
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 161263 0 0 0 153944 245 0 0 25 0 1 0 185704996 469082112 105118 1992294400 4194304 9342243 548682068736 18446744073709551615 6960738 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3837/statm: 114522 105118 698 1256 0 113261 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 458088
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3846
/proc/meminfo: memFree=1471336/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=457988 CPUtime=1601.88
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 167470 0 0 0 159938 250 0 0 25 0 1 0 185704996 468979712 105115 1992294400 4194304 9342243 548682068736 18446744073709551615 5869983 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3837/statm: 114497 105115 698 1256 0 113236 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 457988
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3846
/proc/meminfo: memFree=1471336/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=457884 CPUtime=1661.87
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 174021 0 0 0 165931 256 0 0 25 0 1 0 185704996 468873216 105113 1992294400 4194304 9342243 548682068736 18446744073709551615 6970131 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3837/statm: 114471 105113 698 1256 0 113210 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 457884
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3846
/proc/meminfo: memFree=1471336/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=457776 CPUtime=1721.85
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 180910 0 0 0 171923 262 0 0 25 0 1 0 185704996 468762624 105109 1992294400 4194304 9342243 548682068736 18446744073709551615 6957804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3837/statm: 114444 105109 698 1256 0 113183 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 457776
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3846
/proc/meminfo: memFree=1471208/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=457776 CPUtime=1781.84
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 185850 0 0 0 177917 267 0 0 25 0 1 0 185704996 468762624 105109 1992294400 4194304 9342243 548682068736 18446744073709551615 6960255 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3837/statm: 114444 105109 698 1256 0 113183 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 457776
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3846
/proc/meminfo: memFree=1471208/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=457776 CPUtime=1791.44
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 186230 0 0 0 178877 267 0 0 25 0 1 0 185704996 468762624 105109 1992294400 4194304 9342243 548682068736 18446744073709551615 6959555 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3837/statm: 114444 105109 698 1256 0 113183 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (KiB) 457776
[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3846
/proc/meminfo: memFree=1471208/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=457776 CPUtime=1794.64
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 186610 0 0 0 179197 267 0 0 25 0 1 0 185704996 468762624 105109 1992294400 4194304 9342243 548682068736 18446744073709551615 6960742 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3837/statm: 114444 105109 698 1256 0 113183 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (KiB) 457776
[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3846
/proc/meminfo: memFree=1471208/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=457776 CPUtime=1797.83
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 186990 0 0 0 179516 267 0 0 25 0 1 0 185704996 468762624 105109 1992294400 4194304 9342243 548682068736 18446744073709551615 5868876 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3837/statm: 114444 105109 698 1256 0 113183 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 457776
[startup+1799.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3846
/proc/meminfo: memFree=1471208/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=457776 CPUtime=1798.63
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 186990 0 0 0 179596 267 0 0 25 0 1 0 185704996 468762624 105109 1992294400 4194304 9342243 548682068736 18446744073709551615 5874735 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3837/statm: 114444 105109 698 1256 0 113183 0
Current children cumulated CPU time (s) 1798.63
Current children cumulated vsize (KiB) 457776
[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3846
/proc/meminfo: memFree=1471208/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=430280 CPUtime=1799.43
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 186991 0 0 0 179676 267 0 0 25 0 1 0 185704996 440606720 104730 1992294400 4194304 9342243 548682068736 18446744073709551615 4218733 0 0 4096 0 0 0 0 17 1 0 0
/proc/3837/statm: 107570 104730 699 1256 0 106309 0
Current children cumulated CPU time (s) 1799.43
Current children cumulated vsize (KiB) 430280
[startup+1800.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3846
/proc/meminfo: memFree=1471208/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=356584 CPUtime=1799.63
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 186991 0 0 0 179695 268 0 0 25 0 1 0 185704996 365142016 86341 1992294400 4194304 9342243 548682068736 18446744073709551615 4211642 0 0 4096 0 0 0 0 17 1 0 0
/proc/3837/statm: 89146 86341 699 1256 0 87885 0
Current children cumulated CPU time (s) 1799.63
Current children cumulated vsize (KiB) 356584
[startup+1800.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3846
/proc/meminfo: memFree=1471208/2055920 swapFree=4181364/4192956
[pid=3837] ppid=3835 vsize=271276 CPUtime=1799.73
/proc/3837/stat : 3837 (pbscip.linux.x8) R 3835 3837 3450 0 -1 4194304 186991 0 0 0 179703 270 0 0 25 0 1 0 185704996 277786624 65325 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0
/proc/3837/statm: 67819 65325 1205 1256 0 66558 0
Current children cumulated CPU time (s) 1799.73
Current children cumulated vsize (KiB) 271276
Child status: 0
Real time (s): 1800.24
CPU time (s): 1799.78
CPU user time (s): 1797.04
CPU system time (s): 2.74458
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 466584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.04
system time used= 2.74458
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186994
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= 1563
runsolver used 1.3318 second user time and 3.88641 second system time
The end