0.06/0.09 c SCIP version 1.1.0.7
0.06/0.09 c LP-Solver SoPlex 1.4.1
0.06/0.09 c user parameter file <scip.set> not found - using default parameters
0.06/0.09 c read problem <HOME/instance-1870822-1245220937.opb>
0.06/0.09 c original problem has 2850 variables (2850 bin, 0 int, 0 impl, 0 cont) and 3286 constraints
0.09/0.13 c start presolving problem
0.09/0.13 c presolving:
0.09/0.16 c (round 1) 6 del vars, 1 del conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5688 impls, 57 clqs
0.09/0.17 c (round 2) 6 del vars, 2845 del conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5688 impls, 57 clqs
0.19/0.20 c (round 3) 6 del vars, 2845 del conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 441 upgd conss, 5688 impls, 57 clqs
0.39/0.46 c (0.3s) probing: 101/2844 (3.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.46 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.39/0.46 c presolving (4 rounds):
0.39/0.46 c 6 deleted vars, 2845 deleted constraints, 6 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.46 c 5688 implications, 369 cliques
0.39/0.46 c presolved problem has 2844 variables (2844 bin, 0 int, 0 impl, 0 cont) and 441 constraints
0.39/0.46 c 384 constraints of type <knapsack>
0.39/0.46 c 57 constraints of type <setppc>
0.39/0.46 c transformed objective value is always integral (scale: 1)
0.39/0.46 c Presolving Time: 0.33
0.39/0.46 c OPT-LIN
0.39/0.46 c -----------------------------------------------------------------------------------------------
0.39/0.46 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.46 c limits/memory = c 1620
0.39/0.46 c # maximal time in seconds to run
0.39/0.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.46 c limits/time = c 1791
0.39/0.46 c # frequency for displaying node information lines
0.39/0.46 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.46 c display/freq = c 10000
0.39/0.46 c -----------------------------------------------------------------------------------------------
0.39/0.46 c start solving problem
0.39/0.46 c
0.49/0.52 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.52 c 0.4s| 1 | 0 | 433 | 10M| 0 | 40 |2844 | 441 | 441 |2844 | 441 | 0 | 0 | 0 | 6.000000e+00 | -- | Inf
1.00/1.00 c 0.9s| 1 | 0 | 1026 | 12M| 0 | 66 |2844 | 441 | 441 |2844 | 468 | 27 | 0 | 0 | 6.000000e+00 | -- | Inf
1.69/1.75 c 1.6s| 1 | 0 | 1249 | 13M| 0 | 85 |2844 | 441 | 441 |2844 | 495 | 54 | 0 | 0 | 6.000000e+00 | -- | Inf
2.69/2.79 c 2.6s| 1 | 0 | 1532 | 13M| 0 | 74 |2844 | 441 | 441 |2844 | 518 | 77 | 0 | 0 | 6.000000e+00 | -- | Inf
3.09/3.20 c 3.0s| 1 | 0 | 1783 | 13M| 0 | 101 |2844 | 441 | 441 |2844 | 539 | 98 | 0 | 0 | 6.000000e+00 | -- | Inf
3.59/3.67 c 3.5s| 1 | 0 | 2103 | 14M| 0 | 105 |2844 | 441 | 441 |2844 | 556 | 115 | 0 | 0 | 6.000000e+00 | -- | Inf
4.19/4.21 c 4.1s| 1 | 0 | 2523 | 14M| 0 | 111 |2844 | 441 | 441 |2844 | 575 | 134 | 0 | 0 | 6.000000e+00 | -- | Inf
7.09/7.12 c 6.9s| 1 | 2 | 2523 | 14M| 0 | 111 |2844 | 441 | 441 |2844 | 575 | 134 | 0 | 33 | 6.000000e+00 | -- | Inf
221.41/221.54 c 219s| 10000 | 1041 |360432 | 23M| 154 | 31 |2844 |3772 | 930 |2844 | 524 | 134 | 13k|4834 | 6.000000e+00 | -- | Inf
357.39/357.59 c 354s| 20000 | 1324 |655837 | 25M| 154 | 38 |2844 |3467 | 485 |2844 | 524 | 134 | 29k|7041 | 6.000000e+00 | -- | Inf
499.44/499.61 c 495s| 30000 | 1664 |974832 | 29M| 154 | - |2844 |4675 | 330 |2844 | 524 | 134 | 44k|8976 | 6.000000e+00 | -- | Inf
637.10/637.40 c 631s| 40000 | 1954 | 1294k| 31M| 154 | 32 |2844 |4302 | 521 |2844 | 524 | 134 | 58k| 10k| 6.000000e+00 | -- | Inf
757.67/757.96 c 750s| 50000 | 2250 | 1573k| 34M| 177 | 15 |2844 |4315 | 546 |2844 | 524 | 134 | 72k| 12k| 6.000000e+00 | -- | Inf
892.93/893.24 c 884s| 60000 | 2393 | 1859k| 35M| 177 | - |2844 |3075 | 515 |2844 | 524 | 134 | 87k| 14k| 6.000000e+00 | -- | Inf
1002.81/1003.12 c 993s| 70000 | 2465 | 2119k| 37M| 177 | - |2844 |4701 | 343 |2844 | 524 | 134 | 102k| 15k| 6.000000e+00 | -- | Inf
1131.56/1131.93 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1131.56/1131.93 c 1120s| 80000 | 2530 | 2435k| 38M| 177 | - |2844 |4618 | 522 |2844 | 524 | 134 | 117k| 16k| 6.000000e+00 | -- | Inf
1236.42/1236.80 c 1224s| 90000 | 2747 | 2696k| 40M| 177 | 39 |2844 |5302 | 517 |2844 | 524 | 134 | 130k| 16k| 6.000000e+00 | -- | Inf
1376.69/1377.18 c 1363s|100000 | 2940 | 3001k| 42M| 177 | - |2844 |5882 | 713 |2844 | 524 | 134 | 144k| 18k| 6.000000e+00 | -- | Inf
1477.76/1478.27 c 1463s|110000 | 3053 | 3247k| 44M| 177 | 25 |2844 |6177 | 421 |2844 | 524 | 134 | 159k| 18k| 6.000000e+00 | -- | Inf
1600.82/1601.30 c 1585s|120000 | 3136 | 3520k| 44M| 177 | 22 |2844 |3249 | 616 |2844 | 524 | 134 | 176k| 20k| 6.000000e+00 | -- | Inf
1720.79/1721.33 c 1704s|130000 | 3363 | 3830k| 46M| 177 | - |2844 |4413 | 410 | 0 | 0 | 134 | 193k| 21k| 6.000000e+00 | -- | Inf
1800.08/1800.61 c
1800.08/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.61 c Solving Time (sec) : 1782.23
1800.08/1800.61 c Solving Nodes : 136252
1800.08/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.08/1800.61 c Dual Bound : +6.00000000000000e+00
1800.08/1800.61 c Gap : infinite
1800.08/1800.61 c NODE 136252
1800.08/1800.61 c DUAL BOUND 6
1800.08/1800.61 c PRIMAL BOUND 1e+20
1800.08/1800.61 c GAP 1e+20
1800.08/1800.61 s UNKNOWN
1800.08/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.61 c Solving Time : 1782.23
1800.08/1800.61 c Original Problem :
1800.08/1800.61 c Problem name : HOME/instance-1870822-1245220937.opb
1800.08/1800.61 c Variables : 2850 (2850 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.61 c Constraints : 3286 initial, 3286 maximal
1800.08/1800.61 c Presolved Problem :
1800.08/1800.61 c Problem name : t_HOME/instance-1870822-1245220937.opb
1800.08/1800.61 c Variables : 2844 (2844 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.61 c Constraints : 441 initial, 6355 maximal
1800.08/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c probing : 0.04 0 0 0 0 0 0 0 0
1800.08/1800.61 c knapsack : 0.22 0 0 0 0 0 0 0 0
1800.08/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c linear : 0.04 6 0 0 6 0 2845 0 0
1800.08/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c root node : - 0 - - 0 - - - -
1800.08/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.61 c integral : 0 0 0 81713 0 204 11199 0 0 150512
1800.08/1800.61 c knapsack : 384 6 770981 0 0 16461 3068377 1092 0 0
1800.08/1800.61 c setppc : 57 6 754520 0 0 605 1768434 0 0 0
1800.08/1800.61 c logicor : 0+ 0 223059 0 0 5348 231384 0 0 0
1800.08/1800.61 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.61 c integral : 278.80 0.00 0.00 278.80 0.00
1800.08/1800.61 c knapsack : 33.51 0.03 33.48 0.00 0.00
1800.08/1800.61 c setppc : 6.70 0.00 6.70 0.00 0.00
1800.08/1800.61 c logicor : 23.77 0.00 23.77 0.00 0.00
1800.08/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.61 c rootredcost : 0.40 0 0 0
1800.08/1800.61 c pseudoobj : 0.14 0 0 0
1800.08/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.61 c propagation : 15.46 22414 22392 270959 115.6 744 122.3 -
1800.08/1800.61 c infeasible LP : 181.65 42019 34567 910455 209.0 675 104.9 0
1800.08/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.08/1800.61 c applied globally : - - - 203906 90.4 - - -
1800.08/1800.61 c applied locally : - - - 0 0.0 - - -
1800.08/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.61 c cut pool : 0.00 5 - - 770 - (maximal pool size: 1249)
1800.08/1800.61 c redcost : 10.60 81378 0 0 0 0
1800.08/1800.61 c impliedbounds : 0.00 6 0 0 0 0
1800.08/1800.61 c intobj : 0.00 0 0 0 0 0
1800.08/1800.61 c gomory : 0.61 6 0 0 54 0
1800.08/1800.61 c strongcg : 0.56 6 0 0 31 0
1800.08/1800.61 c cmir : 0.93 6 0 0 1545 0
1800.08/1800.61 c flowcover : 0.74 6 0 0 1200 0
1800.08/1800.61 c clique : 0.00 6 0 0 16 0
1800.08/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.61 c mcf : 0.00 1 0 0 0 0
1800.08/1800.61 c Pricers : Time Calls Vars
1800.08/1800.61 c problem variables: 0.00 0 0
1800.08/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.61 c relpscost : 278.49 81713 204 11199 0 0 150512
1800.08/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.08/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.61 c random : 0.00 0 0 0 0 0 0
1800.08/1800.61 c Primal Heuristics : Time Calls Found
1800.08/1800.61 c LP solutions : 0.00 - 0
1800.08/1800.61 c pseudo solutions : 0.00 - 0
1800.08/1800.61 c oneopt : 0.06 0 0
1800.08/1800.61 c crossover : 0.11 0 0
1800.08/1800.61 c guideddiving : 0.02 0 0
1800.08/1800.61 c pscostdiving : 2.51 21 0
1800.08/1800.61 c fracdiving : 5.28 21 0
1800.08/1800.61 c veclendiving : 1.25 21 0
1800.08/1800.61 c linesearchdiving : 1.20 21 0
1800.08/1800.61 c objpscostdiving : 0.44 11 0
1800.08/1800.61 c feaspump : 1.49 11 0
1800.08/1800.61 c rootsoldiving : 1.00 11 0
1800.08/1800.61 c coefdiving : 2.92 22 0
1800.08/1800.61 c simplerounding : 0.16 0 0
1800.08/1800.61 c rounding : 0.56 3996 0
1800.08/1800.61 c shifting : 5.13 1221 0
1800.08/1800.61 c intshifting : 0.00 0 0
1800.08/1800.61 c fixandinfer : 0.00 0 0
1800.08/1800.61 c intdiving : 0.00 0 0
1800.08/1800.61 c actconsdiving : 0.00 0 0
1800.08/1800.61 c octane : 0.00 0 0
1800.08/1800.61 c rens : 0.09 1 0
1800.08/1800.61 c rins : 0.00 0 0
1800.08/1800.61 c localbranching : 0.00 0 0
1800.08/1800.61 c mutation : 0.00 0 0
1800.08/1800.61 c dins : 0.00 0 0
1800.08/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.61 c dual LP : 1074.59 122602 3981145 32.47 3704.80
1800.08/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.61 c diving/probing LP: 11.18 3343 27215 8.14 2434.26
1800.08/1800.61 c strong branching : 275.22 22241 871100 39.17 3165.10
1800.08/1800.61 c (at root node) : - 33 6931 210.03 -
1800.08/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.61 c B&B Tree :
1800.08/1800.62 c number of runs : 1
1800.08/1800.62 c nodes : 136252
1800.08/1800.62 c nodes (total) : 136252
1800.08/1800.62 c nodes left : 3452
1800.08/1800.62 c max depth : 177
1800.08/1800.62 c max depth (total): 177
1800.08/1800.62 c backtracks : 23958 (17.6%)
1800.08/1800.62 c delayed cutoffs : 10809
1800.08/1800.62 c repropagations : 444145 (998235 domain reductions, 3258 cutoffs)
1800.08/1800.62 c avg switch length: 8.64
1800.08/1800.62 c switching time : 54.18
1800.08/1800.62 c Solution :
1800.08/1800.62 c Solutions found : 0 (0 improvements)
1800.08/1800.62 c Primal Bound : -
1800.08/1800.62 c Dual Bound : +6.00000000000000e+00
1800.08/1800.62 c Gap : infinite
1800.08/1800.62 c Root Dual Bound : +6.00000000000000e+00
1800.18/1800.73 c Time complete: 1800.2.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870822-1245220937/watcher-1870822-1245220937 -o /tmp/evaluation-result-1870822-1245220937/solver-1870822-1245220937 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870822-1245220937.opb
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 10970
/proc/meminfo: memFree=1849768/2055920 swapFree=4187156/4192956
[pid=10970] ppid=10968 vsize=4324 CPUtime=0
/proc/10970/stat : 10970 (pbscip.linux.x8) R 10968 10970 10896 0 -1 4194304 464 0 0 0 0 0 0 0 18 0 1 0 189690689 4427776 448 1992294400 4194304 7823515 548682068736 18446744073709551615 6883856 0 0 4096 0 0 0 0 17 1 0 0
/proc/10970/statm: 1081 459 296 886 0 191 0
[startup+0.0793711 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 10970
/proc/meminfo: memFree=1849768/2055920 swapFree=4187156/4192956
[pid=10970] ppid=10968 vsize=13072 CPUtime=0.06
/proc/10970/stat : 10970 (pbscip.linux.x8) R 10968 10970 10896 0 -1 4194304 2577 0 0 0 6 0 0 0 18 0 1 0 189690689 13385728 2559 1992294400 4194304 7823515 548682068736 18446744073709551615 6290245 0 0 4096 0 0 0 0 17 1 0 0
/proc/10970/statm: 3268 2559 354 886 0 2378 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13072
[startup+0.101373 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 10970
/proc/meminfo: memFree=1849768/2055920 swapFree=4187156/4192956
[pid=10970] ppid=10968 vsize=14928 CPUtime=0.09
/proc/10970/stat : 10970 (pbscip.linux.x8) R 10968 10970 10896 0 -1 4194304 3299 0 0 0 8 1 0 0 18 0 1 0 189690689 15286272 2927 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 3732 2936 367 886 0 2842 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14928
[startup+0.301393 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 10970
/proc/meminfo: memFree=1849768/2055920 swapFree=4187156/4192956
[pid=10970] ppid=10968 vsize=26756 CPUtime=0.29
/proc/10970/stat : 10970 (pbscip.linux.x8) R 10968 10970 10896 0 -1 4194304 6162 0 0 0 27 2 0 0 19 0 1 0 189690689 27398144 5790 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 6689 5790 440 886 0 5799 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26756
[startup+0.701433 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 10970
/proc/meminfo: memFree=1849768/2055920 swapFree=4187156/4192956
[pid=10970] ppid=10968 vsize=33740 CPUtime=0.69
/proc/10970/stat : 10970 (pbscip.linux.x8) R 10968 10970 10896 0 -1 4194304 8004 0 0 0 65 4 0 0 22 0 1 0 189690689 34549760 7598 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 8435 7598 544 886 0 7545 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33740
[startup+1.50152 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 10971
/proc/meminfo: memFree=1818208/2055920 swapFree=4187156/4192956
[pid=10970] ppid=10968 vsize=37560 CPUtime=1.49
/proc/10970/stat : 10970 (pbscip.linux.x8) R 10968 10970 10896 0 -1 4194304 9012 0 0 0 144 5 0 0 25 0 1 0 189690689 38461440 8506 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 9390 8506 562 886 0 8500 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37560
[startup+3.10168 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 10971
/proc/meminfo: memFree=1816160/2055920 swapFree=4187156/4192956
[pid=10970] ppid=10968 vsize=42120 CPUtime=3.09
/proc/10970/stat : 10970 (pbscip.linux.x8) R 10968 10970 10896 0 -1 4194304 10148 0 0 0 303 6 0 0 25 0 1 0 189690689 43130880 9600 1992294400 4194304 7823515 548682068736 18446744073709551615 5594580 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 10530 9600 562 886 0 9640 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42120
[startup+6.302 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 10971
/proc/meminfo: memFree=1812008/2055920 swapFree=4187156/4192956
[pid=10970] ppid=10968 vsize=42980 CPUtime=6.29
/proc/10970/stat : 10970 (pbscip.linux.x8) R 10968 10970 10896 0 -1 4194304 14479 0 0 0 619 10 0 0 25 0 1 0 189690689 44011520 9859 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 10745 9859 574 886 0 9855 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42980
[startup+12.7027 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 10971
/proc/meminfo: memFree=1812008/2055920 swapFree=4187156/4192956
[pid=10970] ppid=10968 vsize=42980 CPUtime=12.68
/proc/10970/stat : 10970 (pbscip.linux.x8) R 10968 10970 10896 0 -1 4194304 14480 0 0 0 1254 14 0 0 25 0 1 0 189690689 44011520 9860 1992294400 4194304 7823515 548682068736 18446744073709551615 6216208 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 10745 9860 574 886 0 9855 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 42980
[startup+25.502 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 10971
/proc/meminfo: memFree=1812136/2055920 swapFree=4187156/4192956
[pid=10970] ppid=10968 vsize=42980 CPUtime=25.49
/proc/10970/stat : 10970 (pbscip.linux.x8) R 10968 10970 10896 0 -1 4194304 14480 0 0 0 2526 23 0 0 25 0 1 0 189690689 44011520 9860 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 10745 9860 574 886 0 9855 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 42980
[startup+51.1016 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 10971
/proc/meminfo: memFree=1812264/2055920 swapFree=4187156/4192956
[pid=10970] ppid=10968 vsize=42980 CPUtime=51.07
/proc/10970/stat : 10970 (pbscip.linux.x8) R 10968 10970 10896 0 -1 4194304 14487 0 0 0 5068 39 0 0 25 0 1 0 189690689 44011520 9867 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 10745 9867 580 886 0 9855 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 42980
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 10971
/proc/meminfo: memFree=1799400/2055920 swapFree=4187156/4192956
[pid=10970] ppid=10968 vsize=55672 CPUtime=102.25
/proc/10970/stat : 10970 (pbscip.linux.x8) R 10968 10970 10896 0 -1 4194304 17791 0 0 0 10135 90 0 0 25 0 1 0 189690689 57008128 13081 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 13918 13081 580 886 0 13028 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 55672
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10971
/proc/meminfo: memFree=1794984/2055920 swapFree=4187156/4192956
[pid=10970] ppid=10968 vsize=60408 CPUtime=162.23
/proc/10970/stat : 10970 (pbscip.linux.x8) R 10968 10970 10896 0 -1 4194304 18968 0 0 0 16075 148 0 0 25 0 1 0 189690689 61857792 14251 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 15102 14251 580 886 0 14212 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 60408
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10971
/proc/meminfo: memFree=1791976/2055920 swapFree=4187156/4192956
[pid=10970] ppid=10968 vsize=63024 CPUtime=222.22
/proc/10970/stat : 10970 (pbscip.linux.x8) R 10968 10970 10896 0 -1 4194304 19662 0 0 0 22017 205 0 0 25 0 1 0 189690689 64536576 14945 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 15756 14945 580 886 0 14866 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 63024
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10971
/proc/meminfo: memFree=1788200/2055920 swapFree=4187156/4192956
[pid=10970] ppid=10968 vsize=66932 CPUtime=282.2
/proc/10970/stat : 10970 (pbscip.linux.x8) R 10968 10970 10896 0 -1 4194304 20602 0 0 0 27958 262 0 0 25 0 1 0 189690689 68538368 15885 1992294400 4194304 7823515 548682068736 18446744073709551615 5752003 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 16733 15885 580 886 0 15843 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 66932
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10971
/proc/meminfo: memFree=1787048/2055920 swapFree=4187156/4192956
[pid=10970] ppid=10968 vsize=68032 CPUtime=342.18
/proc/10970/stat : 10970 (pbscip.linux.x8) R 10968 10970 10896 0 -1 4194304 20874 0 0 0 33894 324 0 0 25 0 1 0 189690689 69664768 16156 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 17008 16156 580 886 0 16118 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 68032
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10971
/proc/meminfo: memFree=1785704/2055920 swapFree=4187156/4192956
[pid=10970] ppid=10968 vsize=69384 CPUtime=402.17
/proc/10970/stat : 10970 (pbscip.linux.x8) R 10968 10970 10896 0 -1 4194304 21209 0 0 0 39831 386 0 0 25 0 1 0 189690689 71049216 16491 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 17346 16491 580 886 0 16456 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 69384
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10971
/proc/meminfo: memFree=1784424/2055920 swapFree=4187156/4192956
[pid=10970] ppid=10968 vsize=70428 CPUtime=462.15
/proc/10970/stat : 10970 (pbscip.linux.x8) R 10968 10970 10896 0 -1 4194304 21517 0 0 0 45775 440 0 0 25 0 1 0 189690689 72118272 16799 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 17607 16799 580 886 0 16717 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 70428
[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10971
/proc/meminfo: memFree=1782568/2055920 swapFree=4187156/4192956
[pid=10970] ppid=10968 vsize=72252 CPUtime=522.14
/proc/10970/stat : 10970 (pbscip.linux.x8) R 10968 10970 10896 0 -1 4194304 21966 0 0 0 51715 499 0 0 25 0 1 0 189690689 73986048 17248 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 18063 17248 580 886 0 17173 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 72252
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10971
/proc/meminfo: memFree=1781224/2055920 swapFree=4187156/4192956
[pid=10970] ppid=10968 vsize=73644 CPUtime=582.11
/proc/10970/stat : 10970 (pbscip.linux.x8) R 10968 10970 10896 0 -1 4194304 22297 0 0 0 57655 556 0 0 25 0 1 0 189690689 75411456 17579 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 18411 17579 580 886 0 17521 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 73644
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10973
/proc/meminfo: memFree=1778856/2055920 swapFree=4187156/4192956
[pid=10970] ppid=10968 vsize=75820 CPUtime=642.11
/proc/10970/stat : 10970 (pbscip.linux.x8) R 10968 10970 10896 0 -1 4194304 22849 0 0 0 63593 618 0 0 25 0 1 0 189690689 77639680 18131 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 18955 18131 580 886 0 18065 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 75820
[startup+702.302 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10973
/proc/meminfo: memFree=1771880/2055920 swapFree=4187156/4192956
[pid=10970] ppid=10968 vsize=82684 CPUtime=882.03
/proc/10970/stat : 10970 (pbscip.linux.x8) R 10968 10970 10896 0 -1 4194304 24559 0 0 0 87349 854 0 0 25 0 1 0 189690689 84668416 19841 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 20671 19841 580 886 0 19781 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 82684
[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10973
/proc/meminfo: memFree=1770600/2055920 swapFree=4187156/4192956
[pid=10970] ppid=10968 vsize=84004 CPUtime=942.02
/proc/10970/stat : 10970 (pbscip.linux.x8) R 10968 10970 10896 0 -1 4194304 24916 0 0 0 93283 919 0 0 25 0 1 0 189690689 86020096 20198 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 21001 20198 580 886 0 20111 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 84004
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10973
/proc/meminfo: memFree=1768872/2055920 swapFree=4187156/4192956
[pid=10970] ppid=10968 vsize=85680 CPUtime=1002
/proc/10970/stat : 10970 (pbscip.linux.x8) R 10968 10970 10896 0 -1 4194304 25302 0 0 0 99221 979 0 0 25 0 1 0 189690689 87736320 20584 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 21420 20584 580 886 0 20530 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 85680
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10973
/proc/meminfo: memFree=1767784/2055920 swapFree=4187156/4192956
[pid=10970] ppid=10968 vsize=86660 CPUtime=1061.98
/proc/10970/stat : 10970 (pbscip.linux.x8) R 10968 10970 10896 0 -1 4194304 25583 0 0 0 105160 1038 0 0 25 0 1 0 189690689 88739840 20865 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 21665 20865 580 886 0 20775 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 86660
[startup+1122.3 s]
/proc/loadavg: 1.05 1.00 1.00 2/65 10973
/proc/meminfo: memFree=1766440/2055920 swapFree=4187156/4192956
[pid=10970] ppid=10968 vsize=88088 CPUtime=1121.96
/proc/10970/stat : 10970 (pbscip.linux.x8) R 10968 10970 10896 0 -1 4194304 25893 0 0 0 111096 1100 0 0 25 0 1 0 189690689 90202112 21175 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 22022 21175 580 886 0 21132 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 88088
[startup+1182.3 s]
/proc/loadavg: 1.02 1.00 1.00 2/65 10979
/proc/meminfo: memFree=1765160/2055920 swapFree=4187156/4192956
[pid=10970] ppid=10968 vsize=89220 CPUtime=1181.94
/proc/10970/stat : 10970 (pbscip.linux.x8) R 10968 10970 10896 0 -1 4194304 26206 0 0 0 117038 1156 0 0 25 0 1 0 189690689 91361280 21488 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 22305 21488 580 886 0 21415 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 89220
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10979
/proc/meminfo: memFree=1764456/2055920 swapFree=4187156/4192956
[pid=10970] ppid=10968 vsize=89860 CPUtime=1241.92
/proc/10970/stat : 10970 (pbscip.linux.x8) R 10968 10970 10896 0 -1 4194304 26352 0 0 0 122976 1216 0 0 25 0 1 0 189690689 92016640 21634 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 22465 21634 580 886 0 21575 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 89860
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10979
/proc/meminfo: memFree=1763240/2055920 swapFree=4187156/4192956
[pid=10970] ppid=10968 vsize=90960 CPUtime=1301.91
/proc/10970/stat : 10970 (pbscip.linux.x8) R 10968 10970 10896 0 -1 4194304 26662 0 0 0 128912 1279 0 0 25 0 1 0 189690689 93143040 21944 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 22740 21944 580 886 0 21850 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 90960
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10979
/proc/meminfo: memFree=1762088/2055920 swapFree=4187156/4192956
[pid=10970] ppid=10968 vsize=92184 CPUtime=1361.89
/proc/10970/stat : 10970 (pbscip.linux.x8) R 10968 10970 10896 0 -1 4194304 26935 0 0 0 134860 1329 0 0 25 0 1 0 189690689 94396416 22217 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 23046 22217 580 886 0 22156 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 92184
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10979
/proc/meminfo: memFree=1760808/2055920 swapFree=4187156/4192956
[pid=10970] ppid=10968 vsize=93396 CPUtime=1421.88
/proc/10970/stat : 10970 (pbscip.linux.x8) R 10968 10970 10896 0 -1 4194304 27250 0 0 0 140803 1385 0 0 25 0 1 0 189690689 95637504 22532 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 23349 22532 580 886 0 22459 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 93396
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10979
/proc/meminfo: memFree=1759912/2055920 swapFree=4187156/4192956
[pid=10970] ppid=10968 vsize=94448 CPUtime=1481.85
/proc/10970/stat : 10970 (pbscip.linux.x8) R 10968 10970 10896 0 -1 4194304 27458 0 0 0 146740 1445 0 0 25 0 1 0 189690689 96714752 22740 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 23612 22740 580 886 0 22722 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 94448
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10979
/proc/meminfo: memFree=1758376/2055920 swapFree=4187156/4192956
[pid=10970] ppid=10968 vsize=95696 CPUtime=1541.84
/proc/10970/stat : 10970 (pbscip.linux.x8) R 10968 10970 10896 0 -1 4194304 27833 0 0 0 152672 1512 0 0 25 0 1 0 189690689 97992704 23115 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 23924 23115 580 886 0 23034 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 95696
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10979
/proc/meminfo: memFree=1757544/2055920 swapFree=4187156/4192956
[pid=10970] ppid=10968 vsize=96700 CPUtime=1601.83
/proc/10970/stat : 10970 (pbscip.linux.x8) R 10968 10970 10896 0 -1 4194304 28051 0 0 0 158606 1577 0 0 25 0 1 0 189690689 99020800 23333 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 24175 23333 580 886 0 23285 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 96700
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10979
/proc/meminfo: memFree=1756904/2055920 swapFree=4187156/4192956
[pid=10970] ppid=10968 vsize=97396 CPUtime=1661.81
/proc/10970/stat : 10970 (pbscip.linux.x8) R 10968 10970 10896 0 -1 4194304 28207 0 0 0 164544 1637 0 0 25 0 1 0 189690689 99733504 23489 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 24349 23489 580 886 0 23459 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 97396
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10979
/proc/meminfo: memFree=1755304/2055920 swapFree=4187156/4192956
[pid=10970] ppid=10968 vsize=98808 CPUtime=1721.79
/proc/10970/stat : 10970 (pbscip.linux.x8) R 10968 10970 10896 0 -1 4194304 28600 0 0 0 170479 1700 0 0 25 0 1 0 189690689 101179392 23882 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 24702 23882 580 886 0 23812 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 98808
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10979
/proc/meminfo: memFree=1754728/2055920 swapFree=4187156/4192956
[pid=10970] ppid=10968 vsize=99244 CPUtime=1781.78
/proc/10970/stat : 10970 (pbscip.linux.x8) R 10968 10970 10896 0 -1 4194304 28729 0 0 0 176420 1758 0 0 25 0 1 0 189690689 101625856 24011 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 24811 24011 580 886 0 23921 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 99244
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10979
/proc/meminfo: memFree=1754408/2055920 swapFree=4187156/4192956
[pid=10970] ppid=10968 vsize=99656 CPUtime=1800.08
/proc/10970/stat : 10970 (pbscip.linux.x8) R 10968 10970 10896 0 -1 4194304 28815 0 0 0 178230 1778 0 0 25 0 1 0 189690689 102047744 24097 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 24914 24097 580 886 0 24024 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 99656
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10979
/proc/meminfo: memFree=1754408/2055920 swapFree=4187156/4192956
[pid=10970] ppid=10968 vsize=99656 CPUtime=1800.18
/proc/10970/stat : 10970 (pbscip.linux.x8) R 10968 10970 10896 0 -1 4194304 28817 0 0 0 178240 1778 0 0 25 0 1 0 189690689 102047744 24099 1992294400 4194304 7823515 548682068736 18446744073709551615 5875083 0 0 4096 0 0 0 0 17 1 0 0
/proc/10970/statm: 24914 24099 582 886 0 24024 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 99656
Child status: 0
Real time (s): 1800.74
CPU time (s): 1800.21
CPU user time (s): 1782.42
CPU system time (s): 17.7973
CPU usage (%): 99.9709
Max. virtual memory (cumulated for all children) (KiB): 99656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.42
system time used= 17.7973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28820
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= 1862
runsolver used 1.42778 second user time and 3.9694 second system time
The end