0.29/0.33 c SCIP version 1.1.0.7
0.29/0.33 c LP-Solver SoPlex 1.4.1
0.29/0.33 c user parameter file <scip.set> not found - using default parameters
0.29/0.33 c read problem <HOME/instance-1869574-1245179318.opb>
0.29/0.33 c original problem has 3296 variables (3296 bin, 0 int, 0 impl, 0 cont) and 6384 constraints
0.39/0.45 c start presolving problem
0.39/0.45 c presolving:
0.49/0.54 c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 1 chg sides, 380 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.49/0.60 c (round 2) 1 del vars, 2904 del conss, 1 chg bounds, 1 chg sides, 380 chg coeffs, 295 upgd conss, 0 impls, 0 clqs
0.59/0.68 c (round 3) 1 del vars, 2904 del conss, 1 chg bounds, 19 chg sides, 423 chg coeffs, 577 upgd conss, 258 impls, 6 clqs
0.69/0.74 c (round 4) 1 del vars, 2904 del conss, 1 chg bounds, 49 chg sides, 467 chg coeffs, 577 upgd conss, 258 impls, 6 clqs
3.09/3.19 c (2.8s) probing: 218/3295 (6.6%) - 0 fixings, 0 aggregations, 51 implications, 0 bound changes
3.09/3.19 c (2.8s) probing aborted: 100/100 successive totally useless probings
3.09/3.19 c presolving (5 rounds):
3.09/3.19 c 1 deleted vars, 2904 deleted constraints, 1 tightened bounds, 0 added holes, 49 changed sides, 469 changed coefficients
3.09/3.19 c 360 implications, 6 cliques
3.09/3.19 c presolved problem has 3295 variables (3295 bin, 0 int, 0 impl, 0 cont) and 3489 constraints
3.09/3.19 c 577 constraints of type <knapsack>
3.09/3.19 c 9 constraints of type <setppc>
3.09/3.19 c 2903 constraints of type <linear>
3.09/3.19 c transformed objective value is always integral (scale: 1)
3.09/3.19 c Presolving Time: 2.73
3.09/3.20 c OPT-LIN
3.09/3.20 c -----------------------------------------------------------------------------------------------
3.09/3.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.09/3.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.09/3.20 c limits/memory = c 1620
3.09/3.20 c # maximal time in seconds to run
3.09/3.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.09/3.20 c limits/time = c 1791
3.09/3.20 c # frequency for displaying node information lines
3.09/3.20 c # [type: int, range: [-1,2147483647], default: 100]
3.09/3.20 c display/freq = c 10000
3.09/3.20 c -----------------------------------------------------------------------------------------------
3.09/3.20 c start solving problem
3.09/3.20 c
3.39/3.43 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.39/3.43 c 3.0s| 1 | 0 | 1228 | 27M| 0 | 980 |3295 |3489 |3489 |3295 |3489 | 0 | 0 | 0 | 9.100000e+01 | -- | Inf
6.69/6.74 c 6.3s| 1 | 0 | 4400 | 28M| 0 |1406 |3295 |3489 |3489 |3295 |3645 | 156 | 0 | 0 | 9.100000e+01 | -- | Inf
8.70/8.72 c 8.2s| 1 | 0 | 5057 | 28M| 0 |1700 |3295 |3489 |3489 |3295 |3825 | 336 | 0 | 0 | 9.100000e+01 | -- | Inf
13.19/13.20 c 12.7s| 1 | 0 | 8017 | 29M| 0 |1683 |3295 |3489 |3489 |3295 |3987 | 498 | 0 | 0 | 9.100000e+01 | -- | Inf
19.99/20.03 c 19.5s| 1 | 0 | 12118 | 30M| 0 |2154 |3295 |3489 |3489 |3295 |4181 | 692 | 0 | 0 | 9.100000e+01 | -- | Inf
26.18/26.20 c 25.6s| 1 | 0 | 15159 | 30M| 0 |2029 |3295 |3489 |3489 |3295 |4336 | 847 | 0 | 0 | 9.100000e+01 | -- | Inf
34.28/34.31 c 33.7s| 1 | 0 | 18840 | 31M| 0 |1874 |3295 |3489 |3489 |3295 |4452 | 963 | 0 | 0 | 9.100000e+01 | -- | Inf
59.97/60.06 c 59.3s| 1 | 2 | 18840 | 31M| 0 |1874 |3295 |3489 |3489 |3295 |4452 | 963 | 0 | 18 | 9.100000e+01 | -- | Inf
1800.08/1800.67 c
1800.08/1800.67 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.67 c Solving Time (sec) : 1790.03
1800.08/1800.67 c Solving Nodes : 5634
1800.08/1800.67 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.08/1800.67 c Dual Bound : +9.10000000000000e+01
1800.08/1800.67 c Gap : infinite
1800.08/1800.67 c NODE 5634
1800.08/1800.67 c DUAL BOUND 91
1800.08/1800.67 c PRIMAL BOUND 1e+20
1800.08/1800.67 c GAP 1e+20
1800.08/1800.67 s UNKNOWN
1800.08/1800.67 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.67 c Solving Time : 1790.03
1800.08/1800.67 c Original Problem :
1800.08/1800.67 c Problem name : HOME/instance-1869574-1245179318.opb
1800.08/1800.67 c Variables : 3296 (3296 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.67 c Constraints : 6384 initial, 6384 maximal
1800.08/1800.67 c Presolved Problem :
1800.08/1800.67 c Problem name : t_HOME/instance-1869574-1245179318.opb
1800.08/1800.67 c Variables : 3295 (3295 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.67 c Constraints : 3489 initial, 5929 maximal
1800.08/1800.67 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.67 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.67 c dualfix : 0.01 0 0 0 0 0 0 0 0
1800.08/1800.67 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.67 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.67 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.67 c probing : 2.43 0 0 0 0 0 0 0 0
1800.08/1800.67 c knapsack : 0.09 0 0 0 0 0 0 48 89
1800.08/1800.67 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.67 c linear : 0.17 1 0 0 1 0 2904 1 380
1800.08/1800.67 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.67 c root node : - 0 - - 0 - - - -
1800.08/1800.67 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.67 c integral : 0 0 0 4738 0 32 1518 0 0 8770
1800.08/1800.67 c knapsack : 577 6 31004 0 0 155 49662 721 0 0
1800.08/1800.67 c setppc : 9 6 20849 0 0 0 52 0 0 0
1800.08/1800.67 c linear : 2903 6 30849 0 0 469 420926 0 0 0
1800.08/1800.67 c logicor : 0+ 0 9542 0 0 50 6679 0 0 0
1800.08/1800.67 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.67 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.67 c integral : 544.36 0.00 0.00 544.36 0.00
1800.08/1800.67 c knapsack : 3.56 0.04 3.52 0.00 0.00
1800.08/1800.67 c setppc : 0.03 0.00 0.03 0.00 0.00
1800.08/1800.67 c linear : 58.13 0.00 58.13 0.00 0.00
1800.08/1800.67 c logicor : 1.05 0.00 1.05 0.00 0.00
1800.08/1800.67 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.67 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.67 c rootredcost : 0.01 0 0 0
1800.08/1800.67 c pseudoobj : 0.08 30554 0 0
1800.08/1800.67 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.67 c propagation : 0.07 674 673 6141 37.5 40 17.1 -
1800.08/1800.67 c infeasible LP : 2.05 1371 1371 3723 23.5 94 20.0 0
1800.08/1800.67 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.67 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.67 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.08/1800.67 c applied globally : - - - 4941 23.9 - - -
1800.08/1800.67 c applied locally : - - - 0 0.0 - - -
1800.08/1800.67 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.67 c cut pool : 0.00 5 - - 1184 - (maximal pool size: 4826)
1800.08/1800.67 c redcost : 1.51 4833 0 125 0 0
1800.08/1800.67 c impliedbounds : 0.00 6 0 0 18 0
1800.08/1800.67 c intobj : 0.00 0 0 0 0 0
1800.08/1800.67 c gomory : 1.97 6 0 0 10 0
1800.08/1800.67 c strongcg : 1.90 6 0 0 3 0
1800.08/1800.67 c cmir : 3.45 6 0 0 3000 0
1800.08/1800.67 c flowcover : 2.62 6 0 0 1200 0
1800.08/1800.67 c clique : 0.00 6 0 0 2 0
1800.08/1800.67 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.67 c mcf : 0.00 2 0 0 0 0
1800.08/1800.67 c Pricers : Time Calls Vars
1800.08/1800.67 c problem variables: 0.00 0 0
1800.08/1800.67 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.67 c relpscost : 544.33 4738 32 1518 0 0 8770
1800.08/1800.67 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.67 c inference : 0.00 0 0 0 0 0 0
1800.08/1800.67 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.67 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.67 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.67 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.67 c random : 0.00 0 0 0 0 0 0
1800.08/1800.67 c Primal Heuristics : Time Calls Found
1800.08/1800.67 c LP solutions : 0.00 - 0
1800.08/1800.67 c pseudo solutions : 0.00 - 0
1800.08/1800.67 c oneopt : 0.01 0 0
1800.08/1800.67 c crossover : 0.00 0 0
1800.08/1800.67 c guideddiving : 0.00 0 0
1800.08/1800.67 c fracdiving : 96.05 7 0
1800.08/1800.67 c coefdiving : 89.18 9 0
1800.08/1800.67 c objpscostdiving : 32.80 5 0
1800.08/1800.67 c pscostdiving : 50.60 14 0
1800.08/1800.67 c veclendiving : 35.42 17 0
1800.08/1800.67 c rootsoldiving : 18.43 10 0
1800.08/1800.67 c feaspump : 34.52 12 0
1800.08/1800.67 c linesearchdiving : 38.79 30 0
1800.08/1800.67 c simplerounding : 0.01 0 0
1800.08/1800.67 c rounding : 2.65 934 0
1800.08/1800.67 c shifting : 10.40 266 0
1800.08/1800.67 c intshifting : 0.00 0 0
1800.08/1800.67 c fixandinfer : 0.00 0 0
1800.08/1800.67 c intdiving : 0.00 0 0
1800.08/1800.67 c actconsdiving : 0.00 0 0
1800.08/1800.67 c octane : 0.00 0 0
1800.08/1800.67 c rens : 0.01 0 0
1800.08/1800.67 c rins : 0.00 0 0
1800.08/1800.67 c localbranching : 0.00 0 0
1800.08/1800.67 c mutation : 0.00 0 0
1800.08/1800.67 c dins : 0.00 0 0
1800.08/1800.67 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.67 c primal LP : 0.02 0 0 0.00 0.00
1800.08/1800.67 c dual LP : 742.38 5530 1500367 271.31 2021.02
1800.08/1800.67 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.67 c diving/probing LP: 374.32 4020 617878 153.70 1650.67
1800.08/1800.67 c strong branching : 541.22 2775 869394 313.30 1606.36
1800.08/1800.67 c (at root node) : - 18 18000 1000.00 -
1800.08/1800.67 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.67 c B&B Tree :
1800.08/1800.67 c number of runs : 1
1800.08/1800.67 c nodes : 5634
1800.08/1800.67 c nodes (total) : 5634
1800.08/1800.67 c nodes left : 2887
1800.08/1800.67 c max depth : 311
1800.08/1800.67 c max depth (total): 311
1800.08/1800.67 c backtracks : 603 (10.7%)
1800.08/1800.67 c delayed cutoffs : 250
1800.08/1800.67 c repropagations : 13886 (120215 domain reductions, 131 cutoffs)
1800.08/1800.67 c avg switch length: 7.13
1800.08/1800.67 c switching time : 10.45
1800.08/1800.67 c Solution :
1800.08/1800.67 c Solutions found : 0 (0 improvements)
1800.08/1800.67 c Primal Bound : -
1800.08/1800.67 c Dual Bound : +9.10000000000000e+01
1800.08/1800.67 c Gap : infinite
1800.08/1800.67 c Root Dual Bound : +9.10000000000000e+01
1800.27/1800.81 c Time complete: 1800.28.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869574-1245179318/watcher-1869574-1245179318 -o /tmp/evaluation-result-1869574-1245179318/solver-1869574-1245179318 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869574-1245179318.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.99 0.97 0.98 3/64 4724
/proc/meminfo: memFree=1846896/2055920 swapFree=4192812/4192956
[pid=4724] ppid=4722 vsize=4328 CPUtime=0
/proc/4724/stat : 4724 (pbscip.linux.x8) R 4722 4724 4553 0 -1 4194304 479 0 0 0 0 0 0 0 18 0 1 0 185531102 4431872 464 1992294400 4194304 7823515 548682068736 18446744073709551615 6863653 0 0 4096 0 0 0 0 17 1 0 0
/proc/4724/statm: 1162 477 310 886 0 272 0
[startup+0.058741 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 4724
/proc/meminfo: memFree=1846896/2055920 swapFree=4192812/4192956
[pid=4724] ppid=4722 vsize=10108 CPUtime=0.04
/proc/4724/stat : 4724 (pbscip.linux.x8) R 4722 4724 4553 0 -1 4194304 1838 0 0 0 4 0 0 0 18 0 1 0 185531102 10350592 1820 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/4724/statm: 2527 1820 354 886 0 1637 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10108
[startup+0.101744 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 4724
/proc/meminfo: memFree=1846896/2055920 swapFree=4192812/4192956
[pid=4724] ppid=4722 vsize=11388 CPUtime=0.09
/proc/4724/stat : 4724 (pbscip.linux.x8) R 4722 4724 4553 0 -1 4194304 2155 0 0 0 9 0 0 0 18 0 1 0 185531102 11661312 2137 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/4724/statm: 2847 2137 354 886 0 1957 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11388
[startup+0.301765 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 4724
/proc/meminfo: memFree=1846896/2055920 swapFree=4192812/4192956
[pid=4724] ppid=4722 vsize=17476 CPUtime=0.29
/proc/4724/stat : 4724 (pbscip.linux.x8) R 4722 4724 4553 0 -1 4194304 3703 0 0 0 28 1 0 0 19 0 1 0 185531102 17895424 3685 1992294400 4194304 7823515 548682068736 18446744073709551615 6830588 0 0 4096 0 0 0 0 17 1 0 0
/proc/4724/statm: 4369 3685 354 886 0 3479 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17476
[startup+0.701811 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 4724
/proc/meminfo: memFree=1846896/2055920 swapFree=4192812/4192956
[pid=4724] ppid=4722 vsize=67552 CPUtime=0.69
/proc/4724/stat : 4724 (pbscip.linux.x8) R 4722 4724 4553 0 -1 4194304 15886 0 0 0 61 8 0 0 22 0 1 0 185531102 69173248 15514 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4724/statm: 16888 15514 443 886 0 15998 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 67552
[startup+1.5019 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4725
/proc/meminfo: memFree=1786344/2055920 swapFree=4192812/4192956
[pid=4724] ppid=4722 vsize=67552 CPUtime=1.49
/proc/4724/stat : 4724 (pbscip.linux.x8) R 4722 4724 4553 0 -1 4194304 15915 0 0 0 141 8 0 0 25 0 1 0 185531102 69173248 15543 1992294400 4194304 7823515 548682068736 18446744073709551615 5029336 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4724/statm: 16888 15543 452 886 0 15998 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 67552
[startup+3.10108 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4725
/proc/meminfo: memFree=1786024/2055920 swapFree=4192812/4192956
[pid=4724] ppid=4722 vsize=67552 CPUtime=3.09
/proc/4724/stat : 4724 (pbscip.linux.x8) R 4722 4724 4553 0 -1 4194304 15916 0 0 0 301 8 0 0 25 0 1 0 185531102 69173248 15544 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4724/statm: 16888 15544 453 886 0 15998 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 67552
[startup+6.30143 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4725
/proc/meminfo: memFree=1772208/2055920 swapFree=4192812/4192956
[pid=4724] ppid=4722 vsize=82140 CPUtime=6.29
/proc/4724/stat : 4724 (pbscip.linux.x8) R 4722 4724 4553 0 -1 4194304 20545 0 0 0 617 12 0 0 25 0 1 0 185531102 84111360 19161 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4724/statm: 20535 19161 553 886 0 19645 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 82140
[startup+12.7011 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4725
/proc/meminfo: memFree=1752816/2055920 swapFree=4192812/4192956
[pid=4724] ppid=4722 vsize=105060 CPUtime=12.68
/proc/4724/stat : 4724 (pbscip.linux.x8) R 4722 4724 4553 0 -1 4194304 25575 0 0 0 1252 16 0 0 25 0 1 0 185531102 107581440 23981 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4724/statm: 26265 23981 568 886 0 25375 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 105060
[startup+25.5016 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4725
/proc/meminfo: memFree=1746416/2055920 swapFree=4192812/4192956
[pid=4724] ppid=4722 vsize=110916 CPUtime=25.48
/proc/4724/stat : 4724 (pbscip.linux.x8) R 4722 4724 4553 0 -1 4194304 30095 0 0 0 2526 22 0 0 25 0 1 0 185531102 113577984 25561 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4724/statm: 27729 25561 568 886 0 26839 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 110916
[startup+51.1014 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4725
/proc/meminfo: memFree=1747312/2055920 swapFree=4192812/4192956
[pid=4724] ppid=4722 vsize=113000 CPUtime=51.08
/proc/4724/stat : 4724 (pbscip.linux.x8) R 4722 4724 4553 0 -1 4194304 51667 0 0 0 5070 38 0 0 25 0 1 0 185531102 115712000 25372 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4724/statm: 28250 25372 572 886 0 27360 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 113000
[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4725
/proc/meminfo: memFree=1743280/2055920 swapFree=4192812/4192956
[pid=4724] ppid=4722 vsize=112920 CPUtime=102.26
/proc/4724/stat : 4724 (pbscip.linux.x8) R 4722 4724 4553 0 -1 4194304 95765 0 0 0 10152 74 0 0 25 0 1 0 185531102 115630080 26363 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4724/statm: 28230 26363 572 886 0 27340 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 112920
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4725
/proc/meminfo: memFree=1744944/2055920 swapFree=4192812/4192956
[pid=4724] ppid=4722 vsize=111080 CPUtime=162.25
/proc/4724/stat : 4724 (pbscip.linux.x8) R 4722 4724 4553 0 -1 4194304 99034 0 0 0 16122 103 0 0 25 0 1 0 185531102 113745920 25940 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4724/statm: 27770 25940 579 886 0 26880 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 111080
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4725
/proc/meminfo: memFree=1744368/2055920 swapFree=4192812/4192956
[pid=4724] ppid=4722 vsize=111960 CPUtime=222.23
/proc/4724/stat : 4724 (pbscip.linux.x8) R 4722 4724 4553 0 -1 4194304 115185 0 0 0 22086 137 0 0 25 0 1 0 185531102 114647040 26063 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4724/statm: 27990 26063 579 886 0 27100 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 111960
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4725
/proc/meminfo: memFree=1744560/2055920 swapFree=4192812/4192956
[pid=4724] ppid=4722 vsize=112584 CPUtime=282.21
/proc/4724/stat : 4724 (pbscip.linux.x8) R 4722 4724 4553 0 -1 4194304 121019 0 0 0 28057 164 0 0 25 0 1 0 185531102 115286016 26276 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4724/statm: 28146 26276 579 886 0 27256 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 112584
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4725
/proc/meminfo: memFree=1745840/2055920 swapFree=4192812/4192956
[pid=4724] ppid=4722 vsize=106544 CPUtime=342.2
/proc/4724/stat : 4724 (pbscip.linux.x8) R 4722 4724 4553 0 -1 4194304 124591 0 0 0 34030 190 0 0 25 0 1 0 185531102 109101056 24564 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4724/statm: 26636 24564 579 886 0 25746 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 106544
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4725
/proc/meminfo: memFree=1745136/2055920 swapFree=4192812/4192956
[pid=4724] ppid=4722 vsize=112720 CPUtime=402.18
/proc/4724/stat : 4724 (pbscip.linux.x8) R 4722 4724 4553 0 -1 4194304 134666 0 0 0 40001 217 0 0 25 0 1 0 185531102 115425280 25850 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4724/statm: 28180 25850 579 886 0 27290 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 112720
[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4725
/proc/meminfo: memFree=1743664/2055920 swapFree=4192812/4192956
[pid=4724] ppid=4722 vsize=112516 CPUtime=462.16
/proc/4724/stat : 4724 (pbscip.linux.x8) R 4722 4724 4553 0 -1 4194304 173967 0 0 0 45961 255 0 0 25 0 1 0 185531102 115216384 26223 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4724/statm: 28129 26223 579 886 0 27239 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 112516
[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4725
/proc/meminfo: memFree=1746672/2055920 swapFree=4192812/4192956
[pid=4724] ppid=4722 vsize=109364 CPUtime=522.14
/proc/4724/stat : 4724 (pbscip.linux.x8) R 4722 4724 4553 0 -1 4194304 178396 0 0 0 51932 282 0 0 25 0 1 0 185531102 111988736 25164 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4724/statm: 27341 25164 579 886 0 26451 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 109364
[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4725
/proc/meminfo: memFree=1745328/2055920 swapFree=4192812/4192956
[pid=4724] ppid=4722 vsize=112140 CPUtime=582.12
/proc/4724/stat : 4724 (pbscip.linux.x8) R 4722 4724 4553 0 -1 4194304 188578 0 0 0 57894 318 0 0 25 0 1 0 185531102 114831360 25830 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4724/statm: 28035 25830 579 886 0 27145 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 112140
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4725
/proc/meminfo: memFree=1741872/2055920 swapFree=4192812/4192956
[pid=4724] ppid=4722 vsize=113892 CPUtime=642.11
/proc/4724/stat : 4724 (pbscip.linux.x8) R 4722 4724 4553 0 -1 4194304 196604 0 0 0 63865 346 0 0 25 0 1 0 185531102 116625408 26653 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4724/statm: 28473 26653 579 886 0 27583 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 113892
[startup+702.302 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4725
/proc/meminfo: memFree=1741616/2055920 swapFree=4192812/4192956
[pid=4724] ppid=4722 vsize=115028 CPUtime=882.03
/proc/4724/stat : 4724 (pbscip.linux.x8) R 4722 4724 4553 0 -1 4194304 217560 0 0 0 87742 461 0 0 25 0 1 0 185531102 117788672 26748 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4724/statm: 28757 26748 579 886 0 27867 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 115028
[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4725
/proc/meminfo: memFree=1741552/2055920 swapFree=4192812/4192956
[pid=4724] ppid=4722 vsize=114320 CPUtime=942.02
/proc/4724/stat : 4724 (pbscip.linux.x8) R 4722 4724 4553 0 -1 4194304 221372 0 0 0 93711 491 0 0 25 0 1 0 185531102 117063680 26761 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4724/statm: 28580 26761 579 886 0 27690 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 114320
[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4725
/proc/meminfo: memFree=1743280/2055920 swapFree=4192812/4192956
[pid=4724] ppid=4722 vsize=114040 CPUtime=1002
/proc/4724/stat : 4724 (pbscip.linux.x8) R 4722 4724 4553 0 -1 4194304 222968 0 0 0 99681 519 0 0 25 0 1 0 185531102 116776960 26393 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4724/statm: 28510 26393 579 886 0 27620 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 114040
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4725
/proc/meminfo: memFree=1742384/2055920 swapFree=4192812/4192956
[pid=4724] ppid=4722 vsize=114772 CPUtime=1061.98
/proc/4724/stat : 4724 (pbscip.linux.x8) R 4722 4724 4553 0 -1 4194304 225157 0 0 0 105654 544 0 0 25 0 1 0 185531102 117526528 26528 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4724/statm: 28693 26528 579 886 0 27803 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 114772
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4725
/proc/meminfo: memFree=1741808/2055920 swapFree=4192812/4192956
[pid=4724] ppid=4722 vsize=115596 CPUtime=1121.97
/proc/4724/stat : 4724 (pbscip.linux.x8) R 4722 4724 4553 0 -1 4194304 234231 0 0 0 111618 579 0 0 25 0 1 0 185531102 118370304 26658 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4724/statm: 28899 26658 579 886 0 28009 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 115596
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4725
/proc/meminfo: memFree=1738736/2055920 swapFree=4192812/4192956
[pid=4724] ppid=4722 vsize=117652 CPUtime=1181.95
/proc/4724/stat : 4724 (pbscip.linux.x8) R 4722 4724 4553 0 -1 4194304 242604 0 0 0 117586 609 0 0 25 0 1 0 185531102 120475648 27442 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4724/statm: 29413 27442 579 886 0 28523 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 117652
[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4725
/proc/meminfo: memFree=1737392/2055920 swapFree=4192812/4192956
[pid=4724] ppid=4722 vsize=119112 CPUtime=1241.93
/proc/4724/stat : 4724 (pbscip.linux.x8) R 4722 4724 4553 0 -1 4194304 248652 0 0 0 123553 640 0 0 25 0 1 0 185531102 121970688 27739 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4724/statm: 29778 27739 579 886 0 28888 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 119112
[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4725
/proc/meminfo: memFree=1735920/2055920 swapFree=4192812/4192956
[pid=4724] ppid=4722 vsize=119812 CPUtime=1301.92
/proc/4724/stat : 4724 (pbscip.linux.x8) R 4722 4724 4553 0 -1 4194304 267082 0 0 0 129515 677 0 0 25 0 1 0 185531102 122687488 28103 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4724/statm: 29953 28103 579 886 0 29063 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 119812
[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4725
/proc/meminfo: memFree=1732400/2055920 swapFree=4192812/4192956
[pid=4724] ppid=4722 vsize=124148 CPUtime=1361.89
/proc/4724/stat : 4724 (pbscip.linux.x8) R 4722 4724 4553 0 -1 4194304 272204 0 0 0 135479 710 0 0 25 0 1 0 185531102 127127552 28971 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4724/statm: 31037 28971 579 886 0 30147 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 124148
[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4725
/proc/meminfo: memFree=1731376/2055920 swapFree=4192812/4192956
[pid=4724] ppid=4722 vsize=124640 CPUtime=1421.89
/proc/4724/stat : 4724 (pbscip.linux.x8) R 4722 4724 4553 0 -1 4194304 305354 0 0 0 141434 755 0 0 25 0 1 0 185531102 127631360 29217 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4724/statm: 31160 29217 579 886 0 30270 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 124640
[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4725
/proc/meminfo: memFree=1728944/2055920 swapFree=4192812/4192956
[pid=4724] ppid=4722 vsize=126480 CPUtime=1481.86
/proc/4724/stat : 4724 (pbscip.linux.x8) R 4722 4724 4553 0 -1 4194304 312286 0 0 0 147397 789 0 0 25 0 1 0 185531102 129515520 29807 1992294400 4194304 7823515 548682068736 18446744073709551615 6161841 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4724/statm: 31620 29807 579 886 0 30730 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 126480
[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4725
/proc/meminfo: memFree=1730608/2055920 swapFree=4192812/4192956
[pid=4724] ppid=4722 vsize=125544 CPUtime=1541.85
/proc/4724/stat : 4724 (pbscip.linux.x8) R 4722 4724 4553 0 -1 4194304 318119 0 0 0 153361 824 0 0 25 0 1 0 185531102 128557056 29384 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4724/statm: 31386 29384 579 886 0 30496 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 125544
[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4725
/proc/meminfo: memFree=1728944/2055920 swapFree=4192812/4192956
[pid=4724] ppid=4722 vsize=127272 CPUtime=1601.83
/proc/4724/stat : 4724 (pbscip.linux.x8) R 4722 4724 4553 0 -1 4194304 320502 0 0 0 159323 860 0 0 25 0 1 0 185531102 130326528 29808 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4724/statm: 31818 29808 579 886 0 30928 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 127272
[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4725
/proc/meminfo: memFree=1727664/2055920 swapFree=4192812/4192956
[pid=4724] ppid=4722 vsize=128224 CPUtime=1661.81
/proc/4724/stat : 4724 (pbscip.linux.x8) R 4722 4724 4553 0 -1 4194304 327927 0 0 0 165284 897 0 0 25 0 1 0 185531102 131301376 30092 1992294400 4194304 7823515 548682068736 18446744073709551615 5912751 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4724/statm: 32056 30092 579 886 0 31166 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 128224
[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4725
/proc/meminfo: memFree=1721840/2055920 swapFree=4192812/4192956
[pid=4724] ppid=4722 vsize=133488 CPUtime=1721.79
/proc/4724/stat : 4724 (pbscip.linux.x8) R 4722 4724 4553 0 -1 4194304 331324 0 0 0 171245 934 0 0 25 0 1 0 185531102 136691712 31544 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4724/statm: 33372 31544 579 886 0 32482 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 133488
[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4725
/proc/meminfo: memFree=1720624/2055920 swapFree=4192812/4192956
[pid=4724] ppid=4722 vsize=135916 CPUtime=1781.78
/proc/4724/stat : 4724 (pbscip.linux.x8) R 4722 4724 4553 0 -1 4194304 335829 0 0 0 177207 971 0 0 25 0 1 0 185531102 139177984 31880 1992294400 4194304 7823515 548682068736 18446744073709551615 6212422 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4724/statm: 33979 31880 579 886 0 33089 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 135916
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4725
/proc/meminfo: memFree=1719024/2055920 swapFree=4192812/4192956
[pid=4724] ppid=4722 vsize=136540 CPUtime=1800.08
/proc/4724/stat : 4724 (pbscip.linux.x8) R 4722 4724 4553 0 -1 4194304 336219 0 0 0 179028 980 0 0 25 0 1 0 185531102 139816960 32270 1992294400 4194304 7823515 548682068736 18446744073709551615 6237362 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4724/statm: 34135 32270 579 886 0 33245 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 136540
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.8 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4725
/proc/meminfo: memFree=1719024/2055920 swapFree=4192812/4192956
[pid=4724] ppid=4722 vsize=114412 CPUtime=1800.27
/proc/4724/stat : 4724 (pbscip.linux.x8) R 4722 4724 4553 0 -1 4194304 336222 0 0 0 179046 981 0 0 25 0 1 0 185531102 117157888 27468 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 1 0 0
/proc/4724/statm: 28603 27468 9184 886 0 27713 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 114412
Child status: 0
Real time (s): 1800.82
CPU time (s): 1800.29
CPU user time (s): 1790.47
CPU system time (s): 9.8285
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (KiB): 137692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.47
system time used= 9.8285
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 336225
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= 2669
runsolver used 1.61775 second user time and 3.37749 second system time
The end