0.09/0.15 c SCIP version 1.1.0.7
0.09/0.15 c LP-Solver Clp 1.8.2
0.09/0.15 c user parameter file <scip.set> not found - using default parameters
0.09/0.15 c read problem <HOME/instance-1870815-1245220622.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.96 c (0.8s) probing: 101/4970 (2.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.89/0.96 c (0.8s) probing aborted: 100/100 successive totally useless probings
0.89/0.96 c presolving (4 rounds):
0.89/0.96 c 7 deleted vars, 4971 deleted constraints, 7 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.89/0.96 c 9940 implications, 1111 cliques
0.89/0.96 c presolved problem has 4970 variables (4970 bin, 0 int, 0 impl, 0 cont) and 523 constraints
0.89/0.96 c 448 constraints of type <knapsack>
0.89/0.96 c 75 constraints of type <setppc>
0.89/0.96 c transformed objective value is always integral (scale: 1)
0.89/0.96 c Presolving Time: 0.75
0.89/0.96 c OPT-LIN
0.89/0.96 c -----------------------------------------------------------------------------------------------
0.89/0.96 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.96 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.96 c limits/memory = c 1620
0.89/0.96 c # maximal time in seconds to run
0.89/0.96 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.96 c limits/time = c 1791
0.89/0.96 c # frequency for displaying node information lines
0.89/0.96 c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.96 c display/freq = c 10000
0.89/0.96 c -----------------------------------------------------------------------------------------------
0.89/0.96 c start solving problem
0.89/0.96 c
0.99/1.05 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.99/1.05 c 0.9s| 1 | 0 | 273 | 18M| 0 | 48 |4970 | 523 | 523 |4970 | 523 | 0 | 0 | 0 | 7.000000e+00 | -- | Inf
1.99/2.06 c 1.9s| 1 | 0 | 1244 | 20M| 0 | 97 |4970 | 523 | 523 |4970 | 564 | 41 | 0 | 0 | 7.000000e+00 | -- | Inf
2.69/2.74 c 2.5s| 1 | 0 | 1490 | 20M| 0 | 141 |4970 | 523 | 523 |4970 | 596 | 73 | 0 | 0 | 7.000000e+00 | -- | Inf
3.49/3.57 c 3.4s| 1 | 0 | 1943 | 21M| 0 | 179 |4970 | 523 | 523 |4970 | 627 | 104 | 0 | 0 | 7.000000e+00 | -- | Inf
4.59/4.61 c 4.4s| 1 | 0 | 2641 | 22M| 0 | 170 |4970 | 523 | 523 |4970 | 658 | 135 | 0 | 0 | 7.000000e+00 | -- | Inf
5.79/5.84 c 5.6s| 1 | 0 | 3456 | 22M| 0 | 205 |4970 | 523 | 523 |4970 | 685 | 162 | 0 | 0 | 7.000000e+00 | -- | Inf
7.09/7.15 c 6.9s| 1 | 0 | 4337 | 22M| 0 | 187 |4970 | 523 | 523 |4970 | 710 | 187 | 0 | 0 | 7.000000e+00 | -- | Inf
10.99/11.07 c 10.8s| 1 | 2 | 4337 | 22M| 0 | 187 |4970 | 523 | 523 |4970 | 710 | 187 | 0 | 33 | 7.000000e+00 | -- | Inf
283.02/283.19 c 282s| 10000 | 683 |232534 | 27M| 130 | 37 |4970 | 526 | 480 |4970 | 640 | 187 | 3 |2652 | 7.000000e+00 | -- | Inf
478.28/478.48 c 477s| 20000 | 1097 |461698 | 30M| 132 | 32 |4970 | 526 | 472 |4970 | 640 | 187 | 3 |3805 | 7.000000e+00 | -- | Inf
683.32/683.52 c 681s| 30000 | 1413 |709858 | 31M| 132 | 32 |4970 | 530 | 477 |4970 | 640 | 187 | 7 |5060 | 7.000000e+00 | -- | Inf
880.98/881.26 c 878s| 40000 | 1621 |951684 | 32M| 132 | - |4970 | 530 | 489 |4970 | 640 | 187 | 7 |6000 | 7.000000e+00 | -- | Inf
1082.53/1082.80 c 1079s| 50000 | 1769 | 1205k| 33M| 132 | 27 |4970 | 527 | 472 |4970 | 640 | 187 | 7 |7065 | 7.000000e+00 | -- | Inf
1253.39/1253.75 c 1249s| 60000 | 2055 | 1424k| 35M| 142 | 31 |4970 | 577 | 476 |4970 | 640 | 187 | 57 |7420 | 7.000000e+00 | -- | Inf
1449.64/1450.01 c 1445s| 70000 | 2437 | 1677k| 37M| 142 | 27 |4970 | 528 | 475 |4970 | 640 | 187 | 67 |8309 | 7.000000e+00 | -- | Inf
1649.49/1649.92 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1649.49/1649.92 c 1644s| 80000 | 2875 | 1938k| 38M| 142 | 31 |4970 | 526 | 474 |4970 | 640 | 187 | 67 |9140 | 7.000000e+00 | -- | Inf
1797.05/1797.58 c
1797.05/1797.58 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.58 c Solving Time (sec) : 1791.00
1797.05/1797.58 c Solving Nodes : 87712
1797.05/1797.58 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.05/1797.58 c Dual Bound : +7.00000000000000e+00
1797.05/1797.58 c Gap : infinite
1797.05/1797.58 c NODE 87712
1797.05/1797.58 c DUAL BOUND 7
1797.05/1797.58 c PRIMAL BOUND 1e+20
1797.05/1797.58 c GAP 1e+20
1797.05/1797.58 s UNKNOWN
1797.05/1797.58 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.58 c Solving Time : 1791.00
1797.05/1797.58 c Original Problem :
1797.05/1797.58 c Problem name : HOME/instance-1870815-1245220622.opb
1797.05/1797.58 c Variables : 4977 (4977 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.58 c Constraints : 5494 initial, 5494 maximal
1797.05/1797.58 c Presolved Problem :
1797.05/1797.58 c Problem name : t_HOME/instance-1870815-1245220622.opb
1797.05/1797.58 c Variables : 4970 (4970 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.58 c Constraints : 523 initial, 587 maximal
1797.05/1797.58 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1797.05/1797.58 c trivial : 0.00 0 0 0 0 0 0 0 0
1797.05/1797.58 c dualfix : 0.01 0 0 0 0 0 0 0 0
1797.05/1797.58 c boundshift : 0.00 0 0 0 0 0 0 0 0
1797.05/1797.58 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1797.05/1797.58 c implics : 0.00 0 0 0 0 0 0 0 0
1797.05/1797.58 c probing : 0.06 0 0 0 0 0 0 0 0
1797.05/1797.58 c knapsack : 0.55 0 0 0 0 0 0 0 0
1797.05/1797.58 c setppc : 0.00 0 0 0 0 0 0 0 0
1797.05/1797.58 c linear : 0.07 7 0 0 7 0 4971 0 0
1797.05/1797.58 c logicor : 0.00 0 0 0 0 0 0 0 0
1797.05/1797.58 c root node : - 0 - - 0 - - - -
1797.05/1797.58 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1797.05/1797.58 c integral : 0 0 0 47348 0 67 2993 0 0 90788
1797.05/1797.58 c knapsack : 448 6 136383 0 0 9 562338 1162 0 0
1797.05/1797.58 c setppc : 75 6 136374 0 0 1 1086313 0 0 0
1797.05/1797.58 c logicor : 0+ 0 4505 0 0 0 145 0 0 0
1797.05/1797.58 c countsols : 0 0 0 0 0 0 0 0 0 0
1797.05/1797.58 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1797.05/1797.58 c integral : 200.39 0.00 0.00 200.39 0.00
1797.05/1797.58 c knapsack : 12.49 0.06 12.43 0.00 0.00
1797.05/1797.58 c setppc : 2.29 0.00 2.29 0.00 0.00
1797.05/1797.58 c logicor : 0.04 0.00 0.04 0.00 0.00
1797.05/1797.58 c countsols : 0.00 0.00 0.00 0.00 0.00
1797.05/1797.58 c Propagators : Time Calls Cutoffs DomReds
1797.05/1797.58 c rootredcost : 0.09 0 0 0
1797.05/1797.58 c pseudoobj : 0.08 0 0 0
1797.05/1797.58 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.05/1797.58 c propagation : 0.00 10 8 109 35.2 0 0.0 -
1797.05/1797.58 c infeasible LP : 65.49 42372 0 0 0.0 0 0.0 0
1797.05/1797.58 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.58 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.58 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.58 c applied globally : - - - 67 30.6 - - -
1797.05/1797.58 c applied locally : - - - 0 0.0 - - -
1797.05/1797.58 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.05/1797.58 c cut pool : 0.01 5 - - 1172 - (maximal pool size: 2317)
1797.05/1797.58 c redcost : 23.75 47338 0 0 0 0
1797.05/1797.58 c impliedbounds : 0.00 6 0 0 0 0
1797.05/1797.58 c intobj : 0.00 0 0 0 0 0
1797.05/1797.58 c gomory : 0.08 6 0 0 58 0
1797.05/1797.58 c strongcg : 0.08 6 0 0 24 0
1797.05/1797.58 c cmir : 1.99 6 0 0 2154 0
1797.05/1797.58 c flowcover : 1.25 6 0 0 1204 0
1797.05/1797.58 c clique : 0.01 6 0 0 19 0
1797.05/1797.58 c zerohalf : 0.00 0 0 0 0 0
1797.05/1797.58 c mcf : 0.01 1 0 0 0 0
1797.05/1797.58 c Pricers : Time Calls Vars
1797.05/1797.58 c problem variables: 0.00 0 0
1797.05/1797.58 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.05/1797.58 c relpscost : 200.25 47348 67 2993 0 0 90788
1797.05/1797.58 c pscost : 0.00 0 0 0 0 0 0
1797.05/1797.58 c inference : 0.00 0 0 0 0 0 0
1797.05/1797.58 c mostinf : 0.00 0 0 0 0 0 0
1797.05/1797.58 c leastinf : 0.00 0 0 0 0 0 0
1797.05/1797.58 c fullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.58 c allfullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.58 c random : 0.00 0 0 0 0 0 0
1797.05/1797.58 c Primal Heuristics : Time Calls Found
1797.05/1797.58 c LP solutions : 0.00 - 0
1797.05/1797.58 c pseudo solutions : 0.00 - 0
1797.05/1797.58 c oneopt : 0.12 0 0
1797.05/1797.58 c crossover : 0.07 0 0
1797.05/1797.58 c guideddiving : 0.00 0 0
1797.05/1797.58 c rootsoldiving : 0.50 4 0
1797.05/1797.58 c coefdiving : 1.24 8 0
1797.05/1797.58 c pscostdiving : 1.72 8 0
1797.05/1797.58 c fracdiving : 1.10 8 0
1797.05/1797.58 c veclendiving : 0.99 8 0
1797.05/1797.58 c linesearchdiving : 0.93 8 0
1797.05/1797.58 c feaspump : 1.59 5 0
1797.05/1797.58 c objpscostdiving : 0.59 5 0
1797.05/1797.58 c simplerounding : 0.16 0 0
1797.05/1797.58 c rounding : 0.74 2998 0
1797.05/1797.58 c shifting : 5.10 921 0
1797.05/1797.58 c intshifting : 0.02 0 0
1797.05/1797.58 c fixandinfer : 0.00 0 0
1797.05/1797.58 c intdiving : 0.00 0 0
1797.05/1797.58 c actconsdiving : 0.00 0 0
1797.05/1797.58 c octane : 0.00 0 0
1797.05/1797.58 c rens : 0.15 1 0
1797.05/1797.58 c rins : 0.00 0 0
1797.05/1797.58 c localbranching : 0.00 0 0
1797.05/1797.58 c mutation : 0.00 0 0
1797.05/1797.58 c dins : 0.00 0 0
1797.05/1797.58 c LP : Time Calls Iterations Iter/call Iter/sec
1797.05/1797.58 c primal LP : 0.39 0 0 0.00 0.00
1797.05/1797.58 c dual LP : 1357.80 104888 2123513 20.25 1563.94
1797.05/1797.58 c barrier LP : 0.00 0 0 0.00 -
1797.05/1797.58 c diving/probing LP: 6.88 655 8993 13.73 1307.12
1797.05/1797.58 c strong branching : 197.89 9527 465132 48.82 2350.46
1797.05/1797.58 c (at root node) : - 33 5593 169.48 -
1797.05/1797.58 c conflict analysis: 0.00 0 0 0.00 -
1797.05/1797.58 c B&B Tree :
1797.05/1797.58 c number of runs : 1
1797.05/1797.58 c nodes : 87712
1797.05/1797.58 c nodes (total) : 87712
1797.05/1797.58 c nodes left : 3077
1797.05/1797.58 c max depth : 142
1797.05/1797.58 c max depth (total): 142
1797.05/1797.58 c backtracks : 8416 (9.6%)
1797.05/1797.58 c delayed cutoffs : 0
1797.05/1797.58 c repropagations : 47 (8 domain reductions, 0 cutoffs)
1797.05/1797.58 c avg switch length: 4.51
1797.05/1797.58 c switching time : 17.24
1797.05/1797.58 c Solution :
1797.05/1797.58 c Solutions found : 0 (0 improvements)
1797.05/1797.58 c Primal Bound : -
1797.05/1797.58 c Dual Bound : +7.00000000000000e+00
1797.05/1797.58 c Gap : infinite
1797.05/1797.58 c Root Dual Bound : +7.00000000000000e+00
1797.15/1797.68 c Time complete: 1797.24.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870815-1245220622/watcher-1870815-1245220622 -o /tmp/evaluation-result-1870815-1245220622/solver-1870815-1245220622 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870815-1245220622.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 0.97 2/64 7925
/proc/meminfo: memFree=1788632/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=7616 CPUtime=0
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 902 0 0 0 0 0 0 0 18 0 1 0 189657776 7798784 887 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/7925/statm: 1904 889 356 1256 0 643 0
[startup+0.0720689 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 7925
/proc/meminfo: memFree=1788632/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=15308 CPUtime=0.06
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 2812 0 0 0 5 1 0 0 18 0 1 0 189657776 15675392 2796 1992294400 4194304 9342243 548682068736 18446744073709551615 4394054 0 0 4096 0 0 0 0 17 1 0 0
/proc/7925/statm: 3827 2796 378 1256 0 2566 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15308
[startup+0.101071 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 7925
/proc/meminfo: memFree=1788632/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=16984 CPUtime=0.09
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 3238 0 0 0 8 1 0 0 18 0 1 0 189657776 17391616 3222 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/7925/statm: 4246 3222 378 1256 0 2985 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16984
[startup+0.301088 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 7925
/proc/meminfo: memFree=1788632/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=36900 CPUtime=0.29
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 8379 0 0 0 25 4 0 0 19 0 1 0 189657776 37785600 8009 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7925/statm: 9225 8009 472 1256 0 7964 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36900
[startup+0.701124 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 7925
/proc/meminfo: memFree=1788632/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=38748 CPUtime=0.69
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 8899 0 0 0 65 4 0 0 22 0 1 0 189657776 39677952 8529 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7925/statm: 9687 8529 482 1256 0 8426 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38748
[startup+1.50119 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 7926
/proc/meminfo: memFree=1749008/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=51624 CPUtime=1.49
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 12009 0 0 0 143 6 0 0 25 0 1 0 189657776 52862976 11622 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7925/statm: 12906 11622 659 1256 0 11645 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 51624
[startup+3.10133 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 7926
/proc/meminfo: memFree=1741392/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=56476 CPUtime=3.09
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 13290 0 0 0 302 7 0 0 25 0 1 0 189657776 57831424 12903 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7925/statm: 14119 12903 677 1256 0 12858 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 56476
[startup+6.30162 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 7926
/proc/meminfo: memFree=1732880/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=64308 CPUtime=6.29
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 15170 0 0 0 621 8 0 0 25 0 1 0 189657776 65851392 14757 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7925/statm: 16077 14757 678 1256 0 14816 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 64308
[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 7926
/proc/meminfo: memFree=1730968/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=66740 CPUtime=12.69
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 20750 0 0 0 1256 13 0 0 25 0 1 0 189657776 68341760 15060 1992294400 4194304 9342243 548682068736 18446744073709551615 6080947 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7925/statm: 16685 15060 698 1256 0 15424 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 66740
[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 7926
/proc/meminfo: memFree=1730968/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=66740 CPUtime=25.49
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 20753 0 0 0 2533 16 0 0 25 0 1 0 189657776 68341760 15063 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7925/statm: 16685 15063 698 1256 0 15424 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 66740
[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 7926
/proc/meminfo: memFree=1731096/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=66740 CPUtime=51.07
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 20756 0 0 0 5086 21 0 0 25 0 1 0 189657776 68341760 15066 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7925/statm: 16685 15066 699 1256 0 15424 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 66740
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 7926
/proc/meminfo: memFree=1730776/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=66740 CPUtime=102.27
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 20848 0 0 0 10194 33 0 0 25 0 1 0 189657776 68341760 15158 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7925/statm: 16685 15158 704 1256 0 15424 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 66740
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 7926
/proc/meminfo: memFree=1728472/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=69264 CPUtime=162.26
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 21750 0 0 0 16175 51 0 0 25 0 1 0 189657776 70926336 15742 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7925/statm: 17316 15742 704 1256 0 16055 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 69264
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 7926
/proc/meminfo: memFree=1728024/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=68896 CPUtime=222.24
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 30921 0 0 0 22153 71 0 0 25 0 1 0 189657776 70549504 15840 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7925/statm: 17224 15840 704 1256 0 15963 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 68896
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 7926
/proc/meminfo: memFree=1728152/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=69056 CPUtime=282.23
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 45932 0 0 0 28128 95 0 0 25 0 1 0 189657776 70713344 15814 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7925/statm: 17264 15814 706 1256 0 16003 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 69056
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 7926
/proc/meminfo: memFree=1726808/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=71408 CPUtime=342.21
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 58197 0 0 0 34103 118 0 0 25 0 1 0 189657776 73121792 16142 1992294400 4194304 9342243 548682068736 18446744073709551615 7288836 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7925/statm: 17852 16142 706 1256 0 16591 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 71408
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 7926
/proc/meminfo: memFree=1726488/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=72028 CPUtime=402.2
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 59956 0 0 0 40085 135 0 0 25 0 1 0 189657776 73756672 16189 1992294400 4194304 9342243 548682068736 18446744073709551615 4253496 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7925/statm: 18007 16189 706 1256 0 16746 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 72028
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 7926
/proc/meminfo: memFree=1724568/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=73308 CPUtime=462.18
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 61421 0 0 0 46067 151 0 0 25 0 1 0 189657776 75067392 16699 1992294400 4194304 9342243 548682068736 18446744073709551615 6889074 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7925/statm: 18327 16699 706 1256 0 17066 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 73308
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 7926
/proc/meminfo: memFree=1724824/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=72304 CPUtime=522.17
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 71212 0 0 0 52044 173 0 0 25 0 1 0 189657776 74039296 16644 1992294400 4194304 9342243 548682068736 18446744073709551615 6253359 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7925/statm: 18076 16644 706 1256 0 16815 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 72304
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 7926
/proc/meminfo: memFree=1723672/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=74692 CPUtime=582.15
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 89004 0 0 0 58016 199 0 0 25 0 1 0 189657776 76484608 16893 1992294400 4194304 9342243 548682068736 18446744073709551615 6213652 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7925/statm: 18673 16893 706 1256 0 17412 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 74692
[startup+642.302 s]
/proc/loadavg: 1.07 1.02 0.98 2/65 7926
/proc/meminfo: memFree=1722904/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=73836 CPUtime=642.14
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 96839 0 0 0 63994 220 0 0 25 0 1 0 189657776 75608064 17080 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7925/statm: 18459 17080 706 1256 0 17198 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 73836
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1718168/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=79784 CPUtime=1122.02
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 124603 0 0 0 111844 358 0 0 25 0 1 0 189657776 81698816 18243 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7925/statm: 19946 18243 706 1256 0 18685 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 79784
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 7928
/proc/meminfo: memFree=1717080/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=79844 CPUtime=1182
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 125483 0 0 0 117826 374 0 0 25 0 1 0 189657776 81760256 18509 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7925/statm: 19961 18509 706 1256 0 18700 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 79844
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 7928
/proc/meminfo: memFree=1717912/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=78852 CPUtime=1241.99
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 128879 0 0 0 123805 394 0 0 25 0 1 0 189657776 80744448 18291 1992294400 4194304 9342243 548682068736 18446744073709551615 7289224 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7925/statm: 19713 18291 706 1256 0 18452 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 78852
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 7928
/proc/meminfo: memFree=1717080/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=80348 CPUtime=1301.98
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 132977 0 0 0 129782 416 0 0 25 0 1 0 189657776 82276352 18498 1992294400 4194304 9342243 548682068736 18446744073709551615 7289242 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7925/statm: 20087 18498 706 1256 0 18826 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 80348
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 7928
/proc/meminfo: memFree=1716760/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=80940 CPUtime=1361.96
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 138875 0 0 0 135763 433 0 0 25 0 1 0 189657776 82882560 18610 1992294400 4194304 9342243 548682068736 18446744073709551615 6253262 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7925/statm: 20235 18610 706 1256 0 18974 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 80940
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 7928
/proc/meminfo: memFree=1716888/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=79636 CPUtime=1421.95
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 151968 0 0 0 141740 455 0 0 25 0 1 0 189657776 81547264 18507 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7925/statm: 19909 18507 706 1256 0 18648 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 79636
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 7934
/proc/meminfo: memFree=1715672/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=80816 CPUtime=1481.92
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 167813 0 0 0 147708 484 0 0 25 0 1 0 189657776 82755584 18831 1992294400 4194304 9342243 548682068736 18446744073709551615 6399274 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7925/statm: 20204 18831 706 1256 0 18943 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 80816
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 7934
/proc/meminfo: memFree=1713688/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=83732 CPUtime=1541.91
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 174622 0 0 0 153687 504 0 0 25 0 1 0 189657776 85741568 19314 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7925/statm: 20933 19314 706 1256 0 19672 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 83732
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 7934
/proc/meminfo: memFree=1714392/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=81872 CPUtime=1601.9
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 182346 0 0 0 159668 522 0 0 25 0 1 0 189657776 83836928 19109 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7925/statm: 20468 19109 706 1256 0 19207 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 81872
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 7934
/proc/meminfo: memFree=1714008/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=82484 CPUtime=1661.88
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 206000 0 0 0 165634 554 0 0 25 0 1 0 189657776 84463616 19263 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7925/statm: 20621 19263 706 1256 0 19360 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 82484
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 7934
/proc/meminfo: memFree=1712344/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=85204 CPUtime=1721.87
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 222275 0 0 0 171609 578 0 0 25 0 1 0 189657776 87248896 19646 1992294400 4194304 9342243 548682068736 18446744073709551615 6888628 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7925/statm: 21301 19646 706 1256 0 20040 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 85204
[startup+1782.3 s]
/proc/loadavg: 1.05 1.01 0.98 2/65 7934
/proc/meminfo: memFree=1711832/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=85620 CPUtime=1781.86
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 223368 0 0 0 177590 596 0 0 25 0 1 0 189657776 87674880 19770 1992294400 4194304 9342243 548682068736 18446744073709551615 8217050 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7925/statm: 21405 19770 706 1256 0 20144 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 85620
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.05 1.01 0.98 2/65 7934
/proc/meminfo: memFree=1711768/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=85620 CPUtime=1785.06
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 223378 0 0 0 177909 597 0 0 25 0 1 0 189657776 87674880 19780 1992294400 4194304 9342243 548682068736 18446744073709551615 6879954 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7925/statm: 21405 19780 706 1256 0 20144 0
Current children cumulated CPU time (s) 1785.06
Current children cumulated vsize (KiB) 85620
[startup+1791.91 s]
/proc/loadavg: 1.04 1.01 0.98 2/65 7934
/proc/meminfo: memFree=1711576/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=86064 CPUtime=1791.46
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 223427 0 0 0 178547 599 0 0 25 0 1 0 189657776 88129536 19829 1992294400 4194304 9342243 548682068736 18446744073709551615 7289219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7925/statm: 21516 19829 706 1256 0 20255 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (KiB) 86064
[startup+1795.1 s]
/proc/loadavg: 1.04 1.01 0.98 2/65 7934
/proc/meminfo: memFree=1711832/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=85796 CPUtime=1794.66
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 223513 0 0 0 178866 600 0 0 25 0 1 0 189657776 87855104 19762 1992294400 4194304 9342243 548682068736 18446744073709551615 4265694 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7925/statm: 21449 19762 706 1256 0 20188 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (KiB) 85796
[startup+1796.7 s]
/proc/loadavg: 1.04 1.01 0.98 2/65 7934
/proc/meminfo: memFree=1711832/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=85796 CPUtime=1796.25
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 223513 0 0 0 179025 600 0 0 25 0 1 0 189657776 87855104 19762 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7925/statm: 21449 19762 706 1256 0 20188 0
Current children cumulated CPU time (s) 1796.25
Current children cumulated vsize (KiB) 85796
[startup+1797.1 s]
/proc/loadavg: 1.04 1.01 0.98 2/65 7934
/proc/meminfo: memFree=1711832/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=85796 CPUtime=1796.65
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 223513 0 0 0 179065 600 0 0 25 0 1 0 189657776 87855104 19762 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7925/statm: 21449 19762 706 1256 0 20188 0
Current children cumulated CPU time (s) 1796.65
Current children cumulated vsize (KiB) 85796
[startup+1797.5 s]
/proc/loadavg: 1.04 1.01 0.98 2/65 7934
/proc/meminfo: memFree=1711832/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=86584 CPUtime=1797.05
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 223533 0 0 0 179105 600 0 0 25 0 1 0 189657776 88662016 19782 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7925/statm: 21646 19782 706 1256 0 20385 0
Current children cumulated CPU time (s) 1797.05
Current children cumulated vsize (KiB) 86584
[startup+1797.6 s]
/proc/loadavg: 1.04 1.01 0.98 2/65 7934
/proc/meminfo: memFree=1711832/2055920 swapFree=4192952/4192956
[pid=7925] ppid=7923 vsize=84492 CPUtime=1797.15
/proc/7925/stat : 7925 (pbscip.linux.x8) R 7923 7925 6635 0 -1 4194304 223542 0 0 0 179115 600 0 0 25 0 1 0 189657776 86519808 19695 1992294400 4194304 9342243 548682068736 18446744073709551615 4301917 0 0 4096 0 0 0 0 17 1 0 0
/proc/7925/statm: 21123 19695 707 1256 0 19862 0
Current children cumulated CPU time (s) 1797.15
Current children cumulated vsize (KiB) 84492
Child status: 0
Real time (s): 1797.68
CPU time (s): 1797.24
CPU user time (s): 1791.22
CPU system time (s): 6.02108
CPU usage (%): 99.9755
Max. virtual memory (cumulated for all children) (KiB): 86688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.22
system time used= 6.02108
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223545
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= 2811
runsolver used 1.42778 second user time and 3.72543 second system time
The end