0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2667016-1276349693.opb>
0.00/0.03 c original problem has 464 variables (464 bin, 0 int, 0 impl, 0 cont) and 1059 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.04 c presolving:
0.00/0.05 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 81 chg sides, 81 chg coeffs, 0 upgd conss, 336 impls, 0 clqs
0.06/0.07 c (round 2) 0 del vars, 168 del conss, 0 chg bounds, 81 chg sides, 81 chg coeffs, 881 upgd conss, 336 impls, 0 clqs
0.09/0.10 c (0.1s) probing: 101/464 (21.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.10 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.10 c presolving (3 rounds):
0.09/0.10 c 0 deleted vars, 168 deleted constraints, 0 tightened bounds, 0 added holes, 81 changed sides, 81 changed coefficients
0.09/0.10 c 342 implications, 0 cliques
0.09/0.10 c presolved problem has 464 variables (464 bin, 0 int, 0 impl, 0 cont) and 891 constraints
0.09/0.10 c 673 constraints of type <knapsack>
0.09/0.10 c 10 constraints of type <linear>
0.09/0.10 c 208 constraints of type <logicor>
0.09/0.10 c transformed objective value is always integral (scale: 1)
0.09/0.10 c Presolving Time: 0.06
0.09/0.10 c - non default parameters ----------------------------------------------------------------------
0.09/0.10 c # SCIP version 1.2.1.2
0.09/0.10 c
0.09/0.10 c # frequency for displaying node information lines
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.10 c display/freq = 10000
0.09/0.10 c
0.09/0.10 c # maximal time in seconds to run
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/time = 1799.98
0.09/0.10 c
0.09/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/memory = 1620
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify inequalities
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/linear/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify knapsacks
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.10 c separating/rapidlearning/freq = 0
0.09/0.10 c
0.09/0.10 c -----------------------------------------------------------------------------------------------
0.09/0.10 c start solving
0.09/0.10 c
0.09/0.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.12 c 0.1s| 1 | 0 | 304 | - |3100k| 0 | 196 | 464 | 891 | 464 | 891 | 0 | 0 | 0 | 9.700000e+01 | -- | Inf
0.49/0.57 c 0.5s| 1 | 0 | 1746 | - |3639k| 0 | 235 | 464 | 891 | 464 |1122 | 231 | 0 | 0 | 9.800000e+01 | -- | Inf
0.89/0.92 c 0.8s| 1 | 0 | 2135 | - |4708k| 0 | 259 | 464 | 891 | 464 |1303 | 412 | 0 | 0 | 9.850000e+01 | -- | Inf
1.39/1.41 c 1.3s| 1 | 0 | 2657 | - |5567k| 0 | 269 | 464 | 891 | 464 |1433 | 542 | 0 | 0 | 9.900000e+01 | -- | Inf
1.99/2.08 c 2.0s| 1 | 0 | 3425 | - |6568k| 0 | 272 | 464 | 891 | 464 |1562 | 671 | 0 | 0 | 9.900000e+01 | -- | Inf
2.59/2.68 c 2.6s| 1 | 0 | 3961 | - |7654k| 0 | 273 | 464 | 891 | 464 |1652 | 761 | 0 | 0 | 9.900000e+01 | -- | Inf
3.30/3.39 c 3.3s| 1 | 0 | 4748 | - |8066k| 0 | 269 | 464 | 891 | 464 |1743 | 852 | 0 | 0 | 9.900000e+01 | -- | Inf
4.19/4.24 c 4.1s| 1 | 0 | 5988 | - |9456k| 0 | 233 | 464 | 891 | 464 |1813 | 922 | 0 | 0 | 9.900000e+01 | -- | Inf
4.89/4.91 c 4.8s| 1 | 0 | 6818 | - | 10M| 0 | 262 | 464 | 891 | 464 |1883 | 992 | 0 | 0 | 9.900000e+01 | -- | Inf
14.29/14.34 c 14.1s| 1 | 2 | 6818 | - | 10M| 0 | 262 | 464 | 891 | 464 |1883 | 992 | 0 | 25 | 9.900000e+01 | -- | Inf
496.63/496.86 c 487s| 10000 | 6495 | 1452k| 144.6 | 18M| 49 | 140 | 464 |1975 | 464 |1223 | 992 |7539 |2694 | 1.006000e+02 | -- | Inf
816.44/816.75 c 800s| 20000 | 12113 | 2577k| 128.5 | 25M| 57 | 193 | 464 |2543 | 464 |1223 | 992 | 16k|3574 | 1.010000e+02 | -- | Inf
1069.06/1069.41 c 1047s| 30000 | 17088 | 3482k| 115.9 | 32M| 63 | - | 464 |3001 | 464 |1223 | 992 | 28k|4281 | 1.010513e+02 | -- | Inf
1274.60/1275.00 c 1248s| 40000 | 20961 | 4215k| 105.2 | 38M| 63 | - | 464 |3738 | 464 |1223 | 992 | 41k|4956 | 1.011667e+02 | -- | Inf
1449.84/1450.34 c 1419s| 50000 | 24243 | 4852k| 96.9 | 44M| 63 | 111 | 464 |4180 | 464 |1223 | 992 | 56k|5313 | 1.013333e+02 | -- | Inf
1622.97/1623.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1622.97/1623.51 c 1589s| 60000 | 27298 | 5478k| 91.2 | 49M| 63 | 133 | 464 |4198 | 464 |1223 | 992 | 71k|5714 | 1.016467e+02 | -- | Inf
1800.02/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.63 c
1800.02/1800.63 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.63 c Solving Time (sec) : 1761.80
1800.02/1800.63 c Solving Nodes : 69831
1800.02/1800.63 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.02/1800.63 c Dual Bound : +1.02000000000000e+02
1800.02/1800.63 c Gap : infinite
1800.02/1800.63 s UNKNOWN
1800.02/1800.63 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.63 c Solving Time : 1761.80
1800.02/1800.63 c Original Problem :
1800.02/1800.63 c Problem name : HOME/instance-2667016-1276349693.opb
1800.02/1800.63 c Variables : 464 (464 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.63 c Constraints : 1059 initial, 1059 maximal
1800.02/1800.63 c Presolved Problem :
1800.02/1800.63 c Problem name : t_HOME/instance-2667016-1276349693.opb
1800.02/1800.63 c Variables : 464 (464 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.63 c Constraints : 891 initial, 4397 maximal
1800.02/1800.63 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.63 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.63 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.63 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.63 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.63 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.63 c probing : 0.02 0 0 0 0 0 0 0 0
1800.02/1800.63 c knapsack : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.63 c linear : 0.03 0 0 0 0 0 168 81 81
1800.02/1800.63 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.63 c root node : - 0 - - 0 - - - -
1800.02/1800.63 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.63 c integral : 0 0 0 56015 0 12 1101 0 0 110676
1800.02/1800.63 c knapsack : 673 8 397917 0 0 7113 437599 1237 0 0
1800.02/1800.63 c linear : 10 8 390804 0 0 1898 47150 22 0 0
1800.02/1800.63 c logicor : 208+ 8 298065 0 0 5427 299362 0 0 0
1800.02/1800.63 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.63 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.63 c integral : 172.25 0.00 0.00 172.25 0.00
1800.02/1800.63 c knapsack : 28.35 0.05 28.30 0.00 0.00
1800.02/1800.63 c linear : 6.90 0.01 6.89 0.00 0.00
1800.02/1800.63 c logicor : 16.87 0.00 16.87 0.00 0.00
1800.02/1800.63 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.63 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.63 c vbounds : 0.25 2 0 0
1800.02/1800.63 c rootredcost : 0.29 0 0 0
1800.02/1800.63 c pseudoobj : 0.65 397967 0 0
1800.02/1800.63 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.63 c propagation : 1.56 14438 14412 99816 24.5 4658 10.7 -
1800.02/1800.63 c infeasible LP : 3.97 11740 11740 62479 20.5 2586 8.4 0
1800.02/1800.63 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.63 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.63 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.63 c applied globally : - - - 86312 16.5 - - -
1800.02/1800.63 c applied locally : - - - 0 0.0 - - -
1800.02/1800.63 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.63 c cut pool : 0.00 7 - - 762 - (maximal pool size: 5100)
1800.02/1800.63 c redcost : 1.01 56024 0 3 0 0
1800.02/1800.63 c impliedbounds : 0.00 8 0 0 3 0
1800.02/1800.63 c intobj : 0.00 0 0 0 0 0
1800.02/1800.63 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.63 c gomory : 0.85 8 0 0 2713 0
1800.02/1800.63 c strongcg : 0.62 8 0 0 3762 0
1800.02/1800.63 c cmir : 0.23 8 0 0 796 0
1800.02/1800.63 c flowcover : 0.49 8 0 0 1515 0
1800.02/1800.63 c clique : 0.00 1 0 0 0 0
1800.02/1800.63 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.63 c mcf : 0.00 1 0 0 0 0
1800.02/1800.63 c rapidlearning : 0.06 1 0 0 0 0
1800.02/1800.63 c Pricers : Time Calls Vars
1800.02/1800.63 c problem variables: 0.00 0 0
1800.02/1800.63 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.63 c relpscost : 172.09 56015 12 1101 0 0 110676
1800.02/1800.63 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.63 c inference : 0.00 0 0 0 0 0 0
1800.02/1800.63 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.63 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.63 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.63 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.63 c random : 0.00 0 0 0 0 0 0
1800.02/1800.63 c Primal Heuristics : Time Calls Found
1800.02/1800.63 c LP solutions : 0.00 - 0
1800.02/1800.63 c pseudo solutions : 0.00 - 0
1800.02/1800.63 c oneopt : 0.13 0 0
1800.02/1800.63 c crossover : 0.07 0 0
1800.02/1800.63 c guideddiving : 0.00 0 0
1800.02/1800.63 c intshifting : 0.00 0 0
1800.02/1800.63 c feaspump : 15.13 87 0
1800.02/1800.63 c veclendiving : 57.16 479 0
1800.02/1800.63 c coefdiving : 70.00 492 0
1800.02/1800.63 c linesearchdiving : 68.75 582 0
1800.02/1800.63 c fracdiving : 72.30 640 0
1800.02/1800.63 c trivial : 0.00 2 0
1800.02/1800.63 c simplerounding : 0.06 0 0
1800.02/1800.63 c zirounding : 0.14 1000 0
1800.02/1800.63 c rounding : 0.65 3285 0
1800.02/1800.63 c shifting : 3.25 967 0
1800.02/1800.63 c twoopt : 0.00 0 0
1800.02/1800.63 c fixandinfer : 0.00 0 0
1800.02/1800.63 c pscostdiving : 70.82 477 0
1800.02/1800.63 c intdiving : 0.00 0 0
1800.02/1800.63 c actconsdiving : 0.00 0 0
1800.02/1800.63 c objpscostdiving : 16.85 50 0
1800.02/1800.63 c rootsoldiving : 14.10 87 0
1800.02/1800.63 c octane : 0.00 0 0
1800.02/1800.63 c rens : 0.00 0 0
1800.02/1800.63 c rins : 0.00 0 0
1800.02/1800.63 c localbranching : 0.00 0 0
1800.02/1800.63 c mutation : 0.00 0 0
1800.02/1800.63 c dins : 0.00 0 0
1800.02/1800.63 c undercover : 0.00 0 0
1800.02/1800.63 c nlp : 0.03 0 0
1800.02/1800.63 c trysol : 0.03 0 0
1800.02/1800.63 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.63 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.63 c dual LP : 1096.73 62988 4723107 74.98 4306.54
1800.02/1800.63 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.63 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.63 c diving/probing LP: 341.27 65096 1392114 21.39 4079.22
1800.02/1800.63 c strong branching : 166.09 6188 654534 105.77 3940.84
1800.02/1800.63 c (at root node) : - 25 21250 850.00 -
1800.02/1800.63 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.63 c B&B Tree :
1800.02/1800.63 c number of runs : 1
1800.02/1800.63 c nodes : 69831
1800.02/1800.63 c nodes (total) : 69831
1800.02/1800.63 c nodes left : 30288
1800.02/1800.63 c max depth : 63
1800.02/1800.63 c max depth (total): 63
1800.02/1800.63 c backtracks : 13573 (19.4%)
1800.02/1800.63 c delayed cutoffs : 10558
1800.02/1800.63 c repropagations : 61206 (238826 domain reductions, 3189 cutoffs)
1800.02/1800.63 c avg switch length: 8.43
1800.02/1800.63 c switching time : 18.46
1800.02/1800.63 c Solution :
1800.02/1800.63 c Solutions found : 0 (0 improvements)
1800.02/1800.63 c Primal Bound : -
1800.02/1800.63 c Dual Bound : +1.02000000000000e+02
1800.02/1800.63 c Gap : infinite
1800.02/1800.63 c Root Dual Bound : +9.90000000000000e+01
1800.02/1800.63 c Root Iterations : 6818
1800.21/1800.80 c Time complete: 1800.22.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667016-1276349693/watcher-2667016-1276349693 -o /tmp/evaluation-result-2667016-1276349693/solver-2667016-1276349693 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667016-1276349693.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 11875
/proc/meminfo: memFree=1850044/2059040 swapFree=4158992/4192956
[pid=11875] ppid=11873 vsize=6696 CPUtime=0
/proc/11875/stat : 11875 (pbscip.linux.x8) R 11873 11875 11757 0 -1 4202496 995 0 0 0 0 0 0 0 20 0 1 0 10572979 6856704 915 1992294400 4194304 8223781 140734260978112 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11875/statm: 1931 925 348 984 0 944 0
[startup+0.0746511 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 11875
/proc/meminfo: memFree=1850044/2059040 swapFree=4158992/4192956
[pid=11875] ppid=11873 vsize=16320 CPUtime=0.06
/proc/11875/stat : 11875 (pbscip.linux.x8) R 11873 11875 11757 0 -1 4202496 3542 0 0 0 6 0 0 0 20 0 1 0 10572979 16711680 2841 1992294400 4194304 8223781 140734260978112 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11875/statm: 4080 2853 447 984 0 3093 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16320
[startup+0.100655 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 11875
/proc/meminfo: memFree=1850044/2059040 swapFree=4158992/4192956
[pid=11875] ppid=11873 vsize=15292 CPUtime=0.09
/proc/11875/stat : 11875 (pbscip.linux.x8) R 11873 11875 11757 0 -1 4202496 4300 0 0 0 8 1 0 0 20 0 1 0 10572979 15659008 2828 1992294400 4194304 8223781 140734260978112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11875/statm: 3823 2828 468 984 0 2836 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15292
[startup+0.300678 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 11875
/proc/meminfo: memFree=1850044/2059040 swapFree=4158992/4192956
[pid=11875] ppid=11873 vsize=18272 CPUtime=0.29
/proc/11875/stat : 11875 (pbscip.linux.x8) R 11873 11875 11757 0 -1 4202496 5213 0 0 0 28 1 0 0 20 0 1 0 10572979 18710528 3695 1992294400 4194304 8223781 140734260978112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11875/statm: 4568 3695 546 984 0 3581 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18272
[startup+0.700724 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 11875
/proc/meminfo: memFree=1850044/2059040 swapFree=4158992/4192956
[pid=11875] ppid=11873 vsize=21148 CPUtime=0.69
/proc/11875/stat : 11875 (pbscip.linux.x8) R 11873 11875 11757 0 -1 4202496 9729 0 0 0 65 4 0 0 21 0 1 0 10572979 21655552 4378 1992294400 4194304 8223781 140734260978112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11875/statm: 5287 4378 586 984 0 4300 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21148
[startup+1.50082 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 11876
/proc/meminfo: memFree=1832552/2059040 swapFree=4158992/4192956
[pid=11875] ppid=11873 vsize=26604 CPUtime=1.49
/proc/11875/stat : 11875 (pbscip.linux.x8) R 11873 11875 11757 0 -1 4202496 11279 0 0 0 143 6 0 0 23 0 1 0 10572979 27242496 5674 1992294400 4194304 8223781 140734260978112 18446744073709551615 6044346 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11875/statm: 6651 5674 592 984 0 5664 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26604
[startup+3.101 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 11876
/proc/meminfo: memFree=1827840/2059040 swapFree=4158992/4192956
[pid=11875] ppid=11873 vsize=30320 CPUtime=3.09
/proc/11875/stat : 11875 (pbscip.linux.x8) R 11873 11875 11757 0 -1 4202496 12782 0 0 0 299 10 0 0 25 0 1 0 10572979 31047680 6529 1992294400 4194304 8223781 140734260978112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11875/statm: 7580 6529 586 984 0 6593 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30320
[startup+6.30137 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 11876
/proc/meminfo: memFree=1820772/2059040 swapFree=4158992/4192956
[pid=11875] ppid=11873 vsize=35268 CPUtime=6.29
/proc/11875/stat : 11875 (pbscip.linux.x8) R 11873 11875 11757 0 -1 4202496 17644 0 0 0 614 15 0 0 25 0 1 0 10572979 36114432 7773 1992294400 4194304 8223781 140734260978112 18446744073709551615 6568081 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11875/statm: 8817 7773 587 984 0 7830 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35268
[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 11876
/proc/meminfo: memFree=1820648/2059040 swapFree=4158992/4192956
[pid=11875] ppid=11873 vsize=35092 CPUtime=12.69
/proc/11875/stat : 11875 (pbscip.linux.x8) R 11873 11875 11757 0 -1 4202496 27041 0 0 0 1245 24 0 0 25 0 1 0 10572979 35934208 7636 1992294400 4194304 8223781 140734260978112 18446744073709551615 6592504 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11875/statm: 8773 7636 587 984 0 7786 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35092
[startup+25.5006 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 11876
/proc/meminfo: memFree=1820896/2059040 swapFree=4158992/4192956
[pid=11875] ppid=11873 vsize=34412 CPUtime=25.48
/proc/11875/stat : 11875 (pbscip.linux.x8) R 11873 11875 11757 0 -1 4202496 50020 0 0 0 2501 47 0 0 25 0 1 0 10572979 35237888 7596 1992294400 4194304 8223781 140734260978112 18446744073709551615 6568510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11875/statm: 8603 7596 588 984 0 7616 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 34412
[startup+51.1006 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 11878
/proc/meminfo: memFree=1820772/2059040 swapFree=4158992/4192956
[pid=11875] ppid=11873 vsize=34640 CPUtime=51.07
/proc/11875/stat : 11875 (pbscip.linux.x8) R 11873 11875 11757 0 -1 4202496 91039 0 0 0 5015 92 0 0 25 0 1 0 10572979 35471360 7674 1992294400 4194304 8223781 140734260978112 18446744073709551615 6003745 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11875/statm: 8660 7674 592 984 0 7673 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 34640
[startup+102.307 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 11878
/proc/meminfo: memFree=1819780/2059040 swapFree=4158992/4192956
[pid=11875] ppid=11873 vsize=35756 CPUtime=102.27
/proc/11875/stat : 11875 (pbscip.linux.x8) R 11873 11875 11757 0 -1 4202496 171956 0 0 0 10032 195 0 0 25 0 1 0 10572979 36614144 7924 1992294400 4194304 8223781 140734260978112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11875/statm: 8939 7924 603 984 0 7952 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 35756
[startup+162.3 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 11880
/proc/meminfo: memFree=1817796/2059040 swapFree=4158992/4192956
[pid=11875] ppid=11873 vsize=37388 CPUtime=162.24
/proc/11875/stat : 11875 (pbscip.linux.x8) R 11873 11875 11757 0 -1 4202496 255719 0 0 0 15912 312 0 0 25 0 1 0 10572979 38285312 8323 1992294400 4194304 8223781 140734260978112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11875/statm: 9347 8323 593 984 0 8360 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 37388
[startup+222.3 s]
/proc/loadavg: 1.04 1.01 1.04 2/107 11882
/proc/meminfo: memFree=1816804/2059040 swapFree=4158992/4192956
[pid=11875] ppid=11873 vsize=38352 CPUtime=222.22
/proc/11875/stat : 11875 (pbscip.linux.x8) R 11873 11875 11757 0 -1 4202496 353102 0 0 0 21783 439 0 0 25 0 1 0 10572979 39272448 8615 1992294400 4194304 8223781 140734260978112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11875/statm: 9588 8615 593 984 0 8601 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 38352
[startup+282.301 s]
/proc/loadavg: 1.01 1.01 1.03 2/107 11884
/proc/meminfo: memFree=1816308/2059040 swapFree=4158992/4192956
[pid=11875] ppid=11873 vsize=38796 CPUtime=282.2
/proc/11875/stat : 11875 (pbscip.linux.x8) R 11873 11875 11757 0 -1 4202496 442344 0 0 0 27657 563 0 0 25 0 1 0 10572979 39727104 8726 1992294400 4194304 8223781 140734260978112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11875/statm: 9699 8726 593 984 0 8712 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 38796
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 11886
/proc/meminfo: memFree=1814944/2059040 swapFree=4158992/4192956
[pid=11875] ppid=11873 vsize=40120 CPUtime=342.19
/proc/11875/stat : 11875 (pbscip.linux.x8) R 11873 11875 11757 0 -1 4202496 545005 0 0 0 33524 695 0 0 25 0 1 0 10572979 41082880 9020 1992294400 4194304 8223781 140734260978112 18446744073709551615 6571291 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11875/statm: 10030 9020 593 984 0 9043 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 40120
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 11886
/proc/meminfo: memFree=1812960/2059040 swapFree=4158992/4192956
[pid=11875] ppid=11873 vsize=42232 CPUtime=402.17
/proc/11875/stat : 11875 (pbscip.linux.x8) R 11873 11875 11757 0 -1 4202496 639157 0 0 0 39397 820 0 0 25 0 1 0 10572979 43245568 9578 1992294400 4194304 8223781 140734260978112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11875/statm: 10558 9578 593 984 0 9571 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 42232
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 11888
/proc/meminfo: memFree=1811844/2059040 swapFree=4158992/4192956
[pid=11875] ppid=11873 vsize=43392 CPUtime=462.15
/proc/11875/stat : 11875 (pbscip.linux.x8) R 11873 11875 11757 0 -1 4202496 717408 0 0 0 45270 945 0 0 25 0 1 0 10572979 44433408 9850 1992294400 4194304 8223781 140734260978112 18446744073709551615 5893780 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11875/statm: 10848 9850 593 984 0 9861 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 43392
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 11890
/proc/meminfo: memFree=1810852/2059040 swapFree=4158992/4192956
[pid=11875] ppid=11873 vsize=44132 CPUtime=522.12
/proc/11875/stat : 11875 (pbscip.linux.x8) R 11873 11875 11757 0 -1 4202496 797735 0 0 0 51148 1064 0 0 25 0 1 0 10572979 45191168 10021 1992294400 4194304 8223781 140734260978112 18446744073709551615 6589152 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11875/statm: 11033 10021 593 984 0 10046 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 44132
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 11892
/proc/meminfo: memFree=1809488/2059040 swapFree=4158992/4192956
[pid=11875] ppid=11873 vsize=45356 CPUtime=582.11
/proc/11875/stat : 11875 (pbscip.linux.x8) R 11873 11875 11757 0 -1 4202496 888981 0 0 0 57024 1187 0 0 25 0 1 0 10572979 46444544 10368 1992294400 4194304 8223781 140734260978112 18446744073709551615 6569998 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11875/statm: 11339 10368 593 984 0 10352 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 45356
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11894
/proc/meminfo: memFree=1808124/2059040 swapFree=4158992/4192956
[pid=11875] ppid=11873 vsize=46916 CPUtime=642.1
/proc/11875/stat : 11875 (pbscip.linux.x8) R 11873 11875 11757 0 -1 4202496 959180 0 0 0 62908 1302 0 0 25 0 1 0 10572979 48041984 10786 1992294400 4194304 8223781 140734260978112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11875/statm: 11729 10786 596 984 0 10742 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 46916
[startup+702.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11900
/proc/meminfo: memFree=1800064/2059040 swapFree=4158992/4192956
[pid=11875] ppid=11873 vsize=54788 CPUtime=882.02
/proc/11875/stat : 11875 (pbscip.linux.x8) R 11873 11875 11757 0 -1 4202496 1254470 0 0 0 86395 1807 0 0 25 0 1 0 10572979 56102912 12747 1992294400 4194304 8223781 140734260978112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11875/statm: 13697 12747 594 984 0 12710 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 54788
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11902
/proc/meminfo: memFree=1799072/2059040 swapFree=4158992/4192956
[pid=11875] ppid=11873 vsize=55764 CPUtime=942
/proc/11875/stat : 11875 (pbscip.linux.x8) R 11873 11875 11757 0 -1 4202496 1318487 0 0 0 92269 1931 0 0 25 0 1 0 10572979 57102336 13022 1992294400 4194304 8223781 140734260978112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11875/statm: 13941 13022 593 984 0 12954 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 55764
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11902
/proc/meminfo: memFree=1795600/2059040 swapFree=4158992/4192956
[pid=11875] ppid=11873 vsize=58724 CPUtime=1001.98
/proc/11875/stat : 11875 (pbscip.linux.x8) R 11873 11875 11757 0 -1 4202496 1379267 0 0 0 98144 2054 0 0 25 0 1 0 10572979 60133376 13758 1992294400 4194304 8223781 140734260978112 18446744073709551615 6571434 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11875/statm: 14681 13758 593 984 0 13694 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 58724
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11904
/proc/meminfo: memFree=1793864/2059040 swapFree=4158992/4192956
[pid=11875] ppid=11873 vsize=60600 CPUtime=1061.96
/proc/11875/stat : 11875 (pbscip.linux.x8) R 11873 11875 11757 0 -1 4202496 1453849 0 0 0 104008 2188 0 0 25 0 1 0 10572979 62054400 14195 1992294400 4194304 8223781 140734260978112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11875/statm: 15150 14195 593 984 0 14163 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 60600
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11906
/proc/meminfo: memFree=1792128/2059040 swapFree=4158992/4192956
[pid=11875] ppid=11873 vsize=62264 CPUtime=1121.95
/proc/11875/stat : 11875 (pbscip.linux.x8) R 11873 11875 11757 0 -1 4202496 1518259 0 0 0 109875 2320 0 0 25 0 1 0 10572979 63758336 14638 1992294400 4194304 8223781 140734260978112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11875/statm: 15566 14638 593 984 0 14579 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 62264
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11908
/proc/meminfo: memFree=1788780/2059040 swapFree=4158992/4192956
[pid=11875] ppid=11873 vsize=65660 CPUtime=1181.93
/proc/11875/stat : 11875 (pbscip.linux.x8) R 11873 11875 11757 0 -1 4202496 1603032 0 0 0 115738 2455 0 0 25 0 1 0 10572979 67235840 15477 1992294400 4194304 8223781 140734260978112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11875/statm: 16415 15477 593 984 0 15428 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 65660
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11910
/proc/meminfo: memFree=1786548/2059040 swapFree=4158992/4192956
[pid=11875] ppid=11873 vsize=67660 CPUtime=1241.91
/proc/11875/stat : 11875 (pbscip.linux.x8) R 11873 11875 11757 0 -1 4202496 1673938 0 0 0 121604 2587 0 0 25 0 1 0 10572979 69283840 15995 1992294400 4194304 8223781 140734260978112 18446744073709551615 5950293 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11875/statm: 16915 15995 593 984 0 15928 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 67660
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11910
/proc/meminfo: memFree=1785308/2059040 swapFree=4158992/4192956
[pid=11875] ppid=11873 vsize=68852 CPUtime=1301.9
/proc/11875/stat : 11875 (pbscip.linux.x8) R 11873 11875 11757 0 -1 4202496 1742283 0 0 0 127475 2715 0 0 25 0 1 0 10572979 70504448 16324 1992294400 4194304 8223781 140734260978112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11875/statm: 17213 16324 593 984 0 16226 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 68852
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11912
/proc/meminfo: memFree=1782332/2059040 swapFree=4158992/4192956
[pid=11875] ppid=11873 vsize=71376 CPUtime=1361.87
/proc/11875/stat : 11875 (pbscip.linux.x8) R 11873 11875 11757 0 -1 4202496 1812097 0 0 0 133344 2843 0 0 25 0 1 0 10572979 73089024 16953 1992294400 4194304 8223781 140734260978112 18446744073709551615 7302042 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11875/statm: 17887 16963 593 984 0 16900 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 71376
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11914
/proc/meminfo: memFree=1780224/2059040 swapFree=4158992/4192956
[pid=11875] ppid=11873 vsize=73716 CPUtime=1421.86
/proc/11875/stat : 11875 (pbscip.linux.x8) R 11873 11875 11757 0 -1 4202496 1883928 0 0 0 139199 2987 0 0 25 0 1 0 10572979 75485184 17506 1992294400 4194304 8223781 140734260978112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11875/statm: 18429 17506 593 984 0 17442 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 73716
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11916
/proc/meminfo: memFree=1777992/2059040 swapFree=4158992/4192956
[pid=11875] ppid=11873 vsize=75620 CPUtime=1481.83
/proc/11875/stat : 11875 (pbscip.linux.x8) R 11873 11875 11757 0 -1 4202496 1955134 0 0 0 145062 3121 0 0 25 0 1 0 10572979 77434880 18022 1992294400 4194304 8223781 140734260978112 18446744073709551615 6563159 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11875/statm: 18905 18022 593 984 0 17918 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 75620
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11918
/proc/meminfo: memFree=1775636/2059040 swapFree=4158992/4192956
[pid=11875] ppid=11873 vsize=78020 CPUtime=1541.81
/proc/11875/stat : 11875 (pbscip.linux.x8) R 11873 11875 11757 0 -1 4202496 2021636 0 0 0 150928 3253 0 0 25 0 1 0 10572979 79892480 18606 1992294400 4194304 8223781 140734260978112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11875/statm: 19505 18606 593 984 0 18518 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 78020
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11927
/proc/meminfo: memFree=1771668/2059040 swapFree=4158992/4192956
[pid=11875] ppid=11873 vsize=82024 CPUtime=1601.77
/proc/11875/stat : 11875 (pbscip.linux.x8) R 11873 11875 11757 0 -1 4202496 2090649 0 0 0 156785 3392 0 0 25 0 1 0 10572979 83992576 19592 1992294400 4194304 8223781 140734260978112 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11875/statm: 20506 19592 595 984 0 19519 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 82024
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11929
/proc/meminfo: memFree=1769312/2059040 swapFree=4158992/4192956
[pid=11875] ppid=11873 vsize=84476 CPUtime=1661.75
/proc/11875/stat : 11875 (pbscip.linux.x8) R 11873 11875 11757 0 -1 4202496 2153903 0 0 0 162649 3526 0 0 25 0 1 0 10572979 86503424 20244 1992294400 4194304 8223781 140734260978112 18446744073709551615 6569894 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11875/statm: 21119 20244 593 984 0 20132 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 84476
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11931
/proc/meminfo: memFree=1767080/2059040 swapFree=4158992/4192956
[pid=11875] ppid=11873 vsize=86500 CPUtime=1721.74
/proc/11875/stat : 11875 (pbscip.linux.x8) R 11873 11875 11757 0 -1 4202496 2209881 0 0 0 168524 3650 0 0 25 0 1 0 10572979 88576000 20761 1992294400 4194304 8223781 140734260978112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11875/statm: 21625 20761 593 984 0 20638 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 86500
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11933
/proc/meminfo: memFree=1765716/2059040 swapFree=4158992/4192956
[pid=11875] ppid=11873 vsize=87928 CPUtime=1781.72
/proc/11875/stat : 11875 (pbscip.linux.x8) R 11873 11875 11757 0 -1 4202496 2274686 0 0 0 174389 3783 0 0 25 0 1 0 10572979 90038272 21083 1992294400 4194304 8223781 140734260978112 18446744073709551615 4853690 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11875/statm: 21982 21083 593 984 0 20995 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 87928
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11933
/proc/meminfo: memFree=1765468/2059040 swapFree=4158992/4192956
[pid=11875] ppid=11873 vsize=88444 CPUtime=1800.02
/proc/11875/stat : 11875 (pbscip.linux.x8) R 11873 11875 11757 0 -1 4202496 2293360 0 0 0 176180 3822 0 0 25 0 1 0 10572979 90566656 21236 1992294400 4194304 8223781 140734260978112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11875/statm: 22111 21236 604 984 0 21124 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 88444
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: 1.00 1.00 1.00 2/107 11933
/proc/meminfo: memFree=1765468/2059040 swapFree=4158992/4192956
[pid=11875] ppid=11873 vsize=33540 CPUtime=1800.21
/proc/11875/stat : 11875 (pbscip.linux.x8) R 11873 11875 11757 0 -1 4202496 2293386 0 0 0 176198 3823 0 0 25 0 1 0 10572979 34344960 7845 1992294400 4194304 8223781 140734260978112 18446744073709551615 6207264 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11875/statm: 8385 7845 595 984 0 7398 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 33540
Child status: 0
Real time (s): 1800.81
CPU time (s): 1800.23
CPU user time (s): 1761.99
CPU system time (s): 38.2402
CPU usage (%): 99.9677
Max. virtual memory (cumulated for all children) (KiB): 88540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1761.99
system time used= 38.2402
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2293390
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= 2731
runsolver used 3.01454 second user time and 8.46471 second system time
The end