0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2665644-1276620063.opb>
0.09/0.14 c original problem has 1288 variables (1288 bin, 0 int, 0 impl, 0 cont) and 2431 constraints
0.09/0.14 c problem read
0.09/0.14 c presolving settings loaded
0.09/0.18 c presolving:
0.19/0.22 c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 2 chg sides, 37 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.19/0.25 c (round 2) 1 del vars, 1183 del conss, 1 chg bounds, 2 chg sides, 37 chg coeffs, 38 upgd conss, 0 impls, 0 clqs
0.19/0.27 c (round 3) 1 del vars, 1183 del conss, 1 chg bounds, 2 chg sides, 37 chg coeffs, 66 upgd conss, 26 impls, 0 clqs
0.59/0.62 c (0.5s) probing: 151/1287 (11.7%) - 0 fixings, 0 aggregations, 4 implications, 0 bound changes
0.59/0.62 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.59/0.62 c presolving (4 rounds):
0.59/0.62 c 1 deleted vars, 1183 deleted constraints, 1 tightened bounds, 0 added holes, 2 changed sides, 37 changed coefficients
0.59/0.62 c 36 implications, 0 cliques
0.59/0.62 c presolved problem has 1287 variables (1287 bin, 0 int, 0 impl, 0 cont) and 1248 constraints
0.59/0.62 c 66 constraints of type <knapsack>
0.59/0.62 c 1182 constraints of type <linear>
0.59/0.62 c transformed objective value is always integral (scale: 1)
0.59/0.62 c Presolving Time: 0.43
0.59/0.62 c - non default parameters ----------------------------------------------------------------------
0.59/0.62 c # SCIP version 1.2.1.2
0.59/0.62 c
0.59/0.62 c # frequency for displaying node information lines
0.59/0.62 c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.62 c display/freq = 10000
0.59/0.62 c
0.59/0.62 c # maximal time in seconds to run
0.59/0.62 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.62 c limits/time = 1799.87
0.59/0.62 c
0.59/0.62 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.62 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.62 c limits/memory = 1620
0.59/0.62 c
0.59/0.63 c # should presolving try to simplify inequalities
0.59/0.63 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.63 c constraints/linear/simplifyinequalities = TRUE
0.59/0.63 c
0.59/0.63 c # should presolving try to simplify knapsacks
0.59/0.63 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.63 c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.63 c
0.59/0.63 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.63 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.63 c separating/rapidlearning/freq = 0
0.59/0.63 c
0.59/0.63 c -----------------------------------------------------------------------------------------------
0.59/0.63 c start solving
0.59/0.63 c
0.59/0.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.69 c 0.5s| 1 | 0 | 567 | - |9523k| 0 | 402 |1287 |1248 |1287 |1248 | 0 | 0 | 0 | 5.500000e+01 | -- | Inf
1.10/1.13 c 0.9s| 1 | 0 | 830 | - | 10M| 0 | 610 |1287 |1248 |1287 |1354 | 106 | 0 | 0 | 5.500000e+01 | -- | Inf
1.49/1.57 c 1.4s| 1 | 0 | 1141 | - | 10M| 0 | 747 |1287 |1248 |1287 |1496 | 248 | 0 | 0 | 5.500000e+01 | -- | Inf
2.29/2.37 c 2.2s| 1 | 0 | 1409 | - | 11M| 0 | 753 |1287 |1248 |1287 |1650 | 402 | 0 | 0 | 5.500000e+01 | -- | Inf
3.29/3.39 c 3.2s| 1 | 0 | 1641 | - | 11M| 0 | 734 |1287 |1248 |1287 |1731 | 483 | 0 | 0 | 5.500000e+01 | -- | Inf
4.40/4.41 c 4.2s| 1 | 0 | 1881 | - | 11M| 0 | 726 |1287 |1248 |1287 |1800 | 552 | 0 | 0 | 5.500000e+01 | -- | Inf
5.59/5.66 c 5.4s| 1 | 0 | 1998 | - | 11M| 0 | 769 |1287 |1248 |1287 |1850 | 602 | 0 | 0 | 5.500000e+01 | -- | Inf
14.89/14.97 c 14.6s| 1 | 2 | 1998 | - | 11M| 0 | 769 |1287 |1248 |1287 |1850 | 602 | 0 | 18 | 5.500000e+01 | -- | Inf
463.58/463.77 c 450s| 10000 | 4259 |954904 | 95.3 | 28M| 97 | 154 |1287 |3695 |1287 |1340 | 602 | 15k|4142 | 5.500000e+01 | -- | Inf
767.69/767.93 c 745s| 20000 | 6161 | 1619k| 80.9 | 39M| 97 | - |1287 |4242 |1287 |1340 | 602 | 33k|6047 | 5.500000e+01 | -- | Inf
1081.12/1081.47 c 1048s| 30000 | 8008 | 2300k| 76.6 | 49M| 97 | 554 |1287 |4353 |1287 |1340 | 602 | 50k|8275 | 5.500000e+01 | -- | Inf
1327.14/1327.57 c 1287s| 40000 | 9538 | 2852k| 71.3 | 58M| 97 | 234 |1287 |5288 |1287 |1340 | 602 | 67k|9551 | 5.500000e+01 | -- | Inf
1535.80/1536.22 c 1489s| 50000 | 10802 | 3298k| 65.9 | 66M| 97 | 245 |1287 |6252 |1287 |1340 | 602 | 84k| 10k| 5.500000e+01 | -- | Inf
1764.14/1764.67 c 1711s| 60000 | 11846 | 3762k| 62.7 | 73M| 97 | 178 |1287 |5860 |1287 |1340 | 602 | 103k| 12k| 5.500000e+01 | -- | Inf
1800.03/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.51 c
1800.03/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.51 c Solving Time (sec) : 1745.38
1800.03/1800.51 c Solving Nodes : 61474
1800.03/1800.51 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.03/1800.51 c Dual Bound : +5.50000000000000e+01
1800.03/1800.51 c Gap : infinite
1800.03/1800.51 s UNKNOWN
1800.03/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.51 c Solving Time : 1745.38
1800.03/1800.51 c Original Problem :
1800.03/1800.51 c Problem name : HOME/instance-2665644-1276620063.opb
1800.03/1800.51 c Variables : 1288 (1288 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.51 c Constraints : 2431 initial, 2431 maximal
1800.03/1800.51 c Presolved Problem :
1800.03/1800.51 c Problem name : t_HOME/instance-2665644-1276620063.opb
1800.03/1800.51 c Variables : 1287 (1287 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.51 c Constraints : 1248 initial, 6995 maximal
1800.03/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c probing : 0.34 0 0 0 0 0 0 0 0
1800.03/1800.51 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c linear : 0.09 1 0 0 1 0 1183 2 37
1800.03/1800.51 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c root node : - 0 - - 0 - - - -
1800.03/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.51 c integral : 0 0 0 41248 0 113 5714 0 0 79524
1800.03/1800.51 c knapsack : 66 6 358468 0 0 859 112251 112 0 0
1800.03/1800.51 c linear : 1182 6 357609 0 0 11171 3351878 0 0 0
1800.03/1800.51 c logicor : 0+ 0 227000 0 0 987 349508 0 0 0
1800.03/1800.51 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.51 c integral : 291.91 0.00 0.00 291.91 0.00
1800.03/1800.51 c knapsack : 13.37 0.00 13.37 0.00 0.00
1800.03/1800.51 c linear : 317.63 0.00 317.63 0.00 0.00
1800.03/1800.51 c logicor : 21.71 0.00 21.71 0.00 0.00
1800.03/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.51 c vbounds : 0.32 2 0 0
1800.03/1800.51 c rootredcost : 0.21 0 0 0
1800.03/1800.51 c pseudoobj : 0.59 358164 0 0
1800.03/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.51 c propagation : 3.19 13017 13013 138837 37.0 579 22.1 -
1800.03/1800.51 c infeasible LP : 17.43 23679 23679 93968 26.0 1801 19.0 0
1800.03/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.51 c applied globally : - - - 106333 24.8 - - -
1800.03/1800.51 c applied locally : - - - 0 0.0 - - -
1800.03/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.51 c cut pool : 0.00 5 - - 431 - (maximal pool size: 2935)
1800.03/1800.51 c redcost : 1.64 41204 0 91 0 0
1800.03/1800.51 c impliedbounds : 0.00 6 0 0 2 0
1800.03/1800.51 c intobj : 0.00 0 0 0 0 0
1800.03/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.51 c gomory : 0.40 6 0 0 3 0
1800.03/1800.51 c strongcg : 0.37 6 0 0 3 0
1800.03/1800.51 c cmir : 1.49 6 0 0 2048 0
1800.03/1800.51 c flowcover : 1.43 6 0 0 1144 0
1800.03/1800.51 c clique : 0.00 1 0 0 0 0
1800.03/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.51 c mcf : 0.00 1 0 0 0 0
1800.03/1800.51 c rapidlearning : 0.10 1 0 0 0 0
1800.03/1800.51 c Pricers : Time Calls Vars
1800.03/1800.51 c problem variables: 0.00 0 0
1800.03/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.51 c relpscost : 291.81 41248 113 5714 0 0 79524
1800.03/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.51 c inference : 0.00 0 0 0 0 0 0
1800.03/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.51 c random : 0.00 0 0 0 0 0 0
1800.03/1800.51 c Primal Heuristics : Time Calls Found
1800.03/1800.51 c LP solutions : 0.00 - 0
1800.03/1800.51 c pseudo solutions : 0.00 - 0
1800.03/1800.51 c oneopt : 0.17 0 0
1800.03/1800.51 c crossover : 0.11 0 0
1800.03/1800.51 c guideddiving : 0.01 0 0
1800.03/1800.51 c rootsoldiving : 8.51 55 0
1800.03/1800.51 c veclendiving : 28.03 161 0
1800.03/1800.51 c coefdiving : 79.05 161 0
1800.03/1800.51 c objpscostdiving : 4.13 81 0
1800.03/1800.51 c feaspump : 2.54 81 0
1800.03/1800.51 c pscostdiving : 38.16 162 0
1800.03/1800.51 c fracdiving : 60.37 162 0
1800.03/1800.51 c linesearchdiving : 16.43 162 0
1800.03/1800.51 c trivial : 0.00 2 0
1800.03/1800.51 c simplerounding : 0.08 0 0
1800.03/1800.51 c zirounding : 0.18 1000 0
1800.03/1800.51 c rounding : 1.83 2804 0
1800.03/1800.51 c shifting : 13.01 859 0
1800.03/1800.51 c intshifting : 0.00 0 0
1800.03/1800.51 c twoopt : 0.00 0 0
1800.03/1800.51 c fixandinfer : 0.00 0 0
1800.03/1800.51 c intdiving : 0.00 0 0
1800.03/1800.51 c actconsdiving : 0.00 0 0
1800.03/1800.51 c octane : 0.00 0 0
1800.03/1800.51 c rens : 0.01 0 0
1800.03/1800.51 c rins : 0.00 0 0
1800.03/1800.51 c localbranching : 0.00 0 0
1800.03/1800.51 c mutation : 0.00 0 0
1800.03/1800.51 c dins : 0.00 0 0
1800.03/1800.51 c undercover : 0.00 0 0
1800.03/1800.51 c nlp : 0.06 0 0
1800.03/1800.51 c trysol : 0.08 0 0
1800.03/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.51 c dual LP : 749.02 54930 3288330 59.86 4390.18
1800.03/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.51 c diving/probing LP: 176.22 24060 545808 22.69 3097.31
1800.03/1800.51 c strong branching : 284.61 12883 1025904 79.63 3604.60
1800.03/1800.51 c (at root node) : - 18 14851 825.06 -
1800.03/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.51 c B&B Tree :
1800.03/1800.51 c number of runs : 1
1800.03/1800.51 c nodes : 61474
1800.03/1800.51 c nodes (total) : 61474
1800.03/1800.51 c nodes left : 11988
1800.03/1800.51 c max depth : 97
1800.03/1800.51 c max depth (total): 97
1800.03/1800.51 c backtracks : 10232 (16.6%)
1800.03/1800.51 c delayed cutoffs : 6063
1800.03/1800.51 c repropagations : 88061 (1148999 domain reductions, 3258 cutoffs)
1800.03/1800.51 c avg switch length: 7.42
1800.03/1800.51 c switching time : 74.82
1800.03/1800.51 c Solution :
1800.03/1800.51 c Solutions found : 0 (0 improvements)
1800.03/1800.51 c Primal Bound : -
1800.03/1800.51 c Dual Bound : +5.50000000000000e+01
1800.03/1800.51 c Gap : infinite
1800.03/1800.51 c Root Dual Bound : +5.50000000000000e+01
1800.03/1800.51 c Root Iterations : 1998
1800.14/1800.67 c Time complete: 1800.21.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665644-1276620063/watcher-2665644-1276620063 -o /tmp/evaluation-result-2665644-1276620063/solver-2665644-1276620063 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665644-1276620063.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.25 1.42 3/106 12187
/proc/meminfo: memFree=1394560/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=9288 CPUtime=0
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 1024 0 0 0 0 0 0 0 18 0 1 0 3297301 9510912 945 1992294400 4194304 9819077 140735604520784 18446744073709551615 8657695 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12187/statm: 2322 954 371 1374 0 943 0
[startup+0.063811 s]
/proc/loadavg: 1.00 1.25 1.42 3/106 12187
/proc/meminfo: memFree=1394560/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=12184 CPUtime=0.05
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 1967 0 0 0 5 0 0 0 20 0 1 0 3297301 12476416 1888 1992294400 4194304 9819077 140735604520784 18446744073709551615 8638119 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12187/statm: 3046 1888 388 1374 0 1667 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12184
[startup+0.101815 s]
/proc/loadavg: 1.00 1.25 1.42 3/106 12187
/proc/meminfo: memFree=1394560/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=13032 CPUtime=0.09
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 2184 0 0 0 9 0 0 0 20 0 1 0 3297301 13344768 2105 1992294400 4194304 9819077 140735604520784 18446744073709551615 5648489 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12187/statm: 3258 2105 388 1374 0 1879 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13032
[startup+0.301833 s]
/proc/loadavg: 1.00 1.25 1.42 3/106 12187
/proc/meminfo: memFree=1394560/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=32268 CPUtime=0.29
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 8655 0 0 0 27 2 0 0 20 0 1 0 3297301 33042432 6680 1992294400 4194304 9819077 140735604520784 18446744073709551615 4947385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 8067 6680 512 1374 0 6688 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32268
[startup+0.701873 s]
/proc/loadavg: 1.00 1.25 1.42 3/106 12187
/proc/meminfo: memFree=1394560/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=40376 CPUtime=0.69
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 10566 0 0 0 66 3 0 0 20 0 1 0 3297301 41345024 8344 1992294400 4194304 9819077 140735604520784 18446744073709551615 5435206 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 10094 8344 643 1374 0 8715 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40376
[startup+1.50195 s]
/proc/loadavg: 1.00 1.25 1.42 2/107 12188
/proc/meminfo: memFree=1346564/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=47008 CPUtime=1.49
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 17337 0 0 0 143 6 0 0 23 0 1 0 3297301 48136192 10271 1992294400 4194304 9819077 140735604520784 18446744073709551615 7296878 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 11752 10271 692 1374 0 10373 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47008
[startup+3.10111 s]
/proc/loadavg: 1.00 1.24 1.42 2/107 12188
/proc/meminfo: memFree=1354996/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=48452 CPUtime=3.09
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 17649 0 0 0 302 7 0 0 25 0 1 0 3297301 49614848 10316 1992294400 4194304 9819077 140735604520784 18446744073709551615 5734160 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 12113 10316 694 1374 0 10734 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 48452
[startup+6.30142 s]
/proc/loadavg: 1.00 1.24 1.42 2/107 12188
/proc/meminfo: memFree=1353384/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=58672 CPUtime=6.29
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 22608 0 0 0 618 11 0 0 25 0 1 0 3297301 60080128 10894 1992294400 4194304 9819077 140735604520784 18446744073709551615 7262296 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 14668 10894 700 1374 0 13289 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 58672
[startup+12.701 s]
/proc/loadavg: 1.00 1.24 1.42 2/107 12188
/proc/meminfo: memFree=1352764/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=60508 CPUtime=12.68
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 49205 0 0 0 1246 22 0 0 25 0 1 0 3297301 61960192 11051 1992294400 4194304 9819077 140735604520784 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 15127 11051 700 1374 0 13748 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 60508
[startup+25.5013 s]
/proc/loadavg: 1.00 1.23 1.41 2/107 12188
/proc/meminfo: memFree=1353508/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=50076 CPUtime=25.49
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 76653 0 0 0 2509 40 0 0 25 0 1 0 3297301 51277824 10708 1992294400 4194304 9819077 140735604520784 18446744073709551615 7333554 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 12519 10708 704 1374 0 11140 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 50076
[startup+51.1018 s]
/proc/loadavg: 1.00 1.21 1.40 2/107 12188
/proc/meminfo: memFree=1353508/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=47864 CPUtime=51.08
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 105844 0 0 0 5042 66 0 0 25 0 1 0 3297301 49012736 10681 1992294400 4194304 9819077 140735604520784 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 11966 10681 710 1374 0 10587 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 47864
[startup+102.309 s]
/proc/loadavg: 1.00 1.17 1.37 2/107 12190
/proc/meminfo: memFree=1353136/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=49396 CPUtime=102.27
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 254041 0 0 0 10075 152 0 0 25 0 1 0 3297301 50581504 10811 1992294400 4194304 9819077 140735604520784 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 12349 10811 710 1374 0 10970 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 49396
[startup+162.302 s]
/proc/loadavg: 1.00 1.14 1.35 2/107 12192
/proc/meminfo: memFree=1351276/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=51928 CPUtime=162.25
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 656375 0 0 0 15880 345 0 0 25 0 1 0 3297301 53174272 11231 1992294400 4194304 9819077 140735604520784 18446744073709551615 7292354 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 12982 11231 710 1374 0 11603 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 51928
[startup+222.301 s]
/proc/loadavg: 1.00 1.11 1.32 2/107 12194
/proc/meminfo: memFree=1346812/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=57120 CPUtime=222.24
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 1124679 0 0 0 21662 562 0 0 25 0 1 0 3297301 58490880 12392 1992294400 4194304 9819077 140735604520784 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 14280 12392 725 1374 0 12901 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 57120
[startup+282.301 s]
/proc/loadavg: 1.00 1.09 1.30 2/107 12194
/proc/meminfo: memFree=1343464/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=60440 CPUtime=282.22
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 1564030 0 0 0 27460 762 0 0 25 0 1 0 3297301 61890560 13234 1992294400 4194304 9819077 140735604520784 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 15110 13234 725 1374 0 13731 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 60440
[startup+342.301 s]
/proc/loadavg: 1.00 1.07 1.28 2/107 12196
/proc/meminfo: memFree=1338256/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=65948 CPUtime=342.2
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 1955400 0 0 0 33270 950 0 0 25 0 1 0 3297301 67530752 14545 1992294400 4194304 9819077 140735604520784 18446744073709551615 7291729 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 16487 14545 725 1374 0 15108 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 65948
[startup+402.302 s]
/proc/loadavg: 1.00 1.05 1.26 2/107 12198
/proc/meminfo: memFree=1333916/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=69940 CPUtime=402.19
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 2385725 0 0 0 39068 1151 0 0 25 0 1 0 3297301 71618560 15546 1992294400 4194304 9819077 140735604520784 18446744073709551615 6191204 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 17485 15546 725 1374 0 16106 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 69940
[startup+462.302 s]
/proc/loadavg: 1.00 1.04 1.24 2/107 12200
/proc/meminfo: memFree=1331932/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=71476 CPUtime=462.17
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 2816714 0 0 0 44876 1341 0 0 25 0 1 0 3297301 73191424 16033 1992294400 4194304 9819077 140735604520784 18446744073709551615 6192292 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 17869 16033 725 1374 0 16490 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 71476
[startup+522.301 s]
/proc/loadavg: 1.00 1.03 1.22 2/107 12202
/proc/meminfo: memFree=1326724/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=77700 CPUtime=522.16
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 3160640 0 0 0 50698 1518 0 0 25 0 1 0 3297301 79564800 17327 1992294400 4194304 9819077 140735604520784 18446744073709551615 6361881 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 19425 17327 725 1374 0 18046 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 77700
[startup+582.301 s]
/proc/loadavg: 1.00 1.02 1.21 2/107 12202
/proc/meminfo: memFree=1323376/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=81452 CPUtime=582.14
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 3536436 0 0 0 56521 1693 0 0 25 0 1 0 3297301 83406848 18215 1992294400 4194304 9819077 140735604520784 18446744073709551615 7309128 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 20363 18215 725 1374 0 18984 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 81452
[startup+642.301 s]
/proc/loadavg: 1.00 1.02 1.19 2/107 12204
/proc/meminfo: memFree=1320524/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=84832 CPUtime=642.14
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 3912852 0 0 0 62332 1882 0 0 25 0 1 0 3297301 86867968 18991 1992294400 4194304 9819077 140735604520784 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 21208 18991 725 1374 0 19829 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 84832
[startup+702.302 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.14 2/107 12210
/proc/meminfo: memFree=1308124/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=97136 CPUtime=882.07
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 5507467 0 0 0 85551 2656 0 0 25 0 1 0 3297301 99467264 21993 1992294400 4194304 9819077 140735604520784 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 24284 21993 725 1374 0 22905 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 97136
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 12212
/proc/meminfo: memFree=1305892/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=98896 CPUtime=942.05
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 5895757 0 0 0 91357 2848 0 0 25 0 1 0 3297301 101269504 22511 1992294400 4194304 9819077 140735604520784 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 24724 22511 725 1374 0 23345 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 98896
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/107 12214
/proc/meminfo: memFree=1303040/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=101572 CPUtime=1002.04
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 6273358 0 0 0 97167 3037 0 0 25 0 1 0 3297301 104009728 23180 1992294400 4194304 9819077 140735604520784 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 25393 23180 725 1374 0 24014 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 101572
[startup+1062.3 s]
/proc/loadavg: 1.04 1.01 1.11 2/107 12216
/proc/meminfo: memFree=1300560/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=107828 CPUtime=1062.02
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 6685846 0 0 0 102967 3235 0 0 25 0 1 0 3297301 110415872 23920 1992294400 4194304 9819077 140735604520784 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 26957 23920 725 1374 0 25578 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 107828
[startup+1122.3 s]
/proc/loadavg: 1.05 1.02 1.10 2/107 12218
/proc/meminfo: memFree=1298328/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=106372 CPUtime=1122.01
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 7014233 0 0 0 108802 3399 0 0 25 0 1 0 3297301 108924928 24404 1992294400 4194304 9819077 140735604520784 18446744073709551615 4978178 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 26593 24404 725 1374 0 25214 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 106372
[startup+1182.3 s]
/proc/loadavg: 1.05 1.03 1.10 2/107 12218
/proc/meminfo: memFree=1295228/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=110100 CPUtime=1182
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 7309304 0 0 0 114634 3566 0 0 25 0 1 0 3297301 112742400 25180 1992294400 4194304 9819077 140735604520784 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 27525 25180 725 1374 0 26146 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 110100
[startup+1242.3 s]
/proc/loadavg: 1.12 1.05 1.10 2/107 12229
/proc/meminfo: memFree=1291136/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=113516 CPUtime=1241.97
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 7679461 0 0 0 120445 3752 0 0 25 0 1 0 3297301 116240384 26009 1992294400 4194304 9819077 140735604520784 18446744073709551615 7292006 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 28379 26010 725 1374 0 27000 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 113516
[startup+1302.3 s]
/proc/loadavg: 1.15 1.07 1.09 2/107 12231
/proc/meminfo: memFree=1288036/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=116748 CPUtime=1301.96
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 8048717 0 0 0 126259 3937 0 0 25 0 1 0 3297301 119549952 26813 1992294400 4194304 9819077 140735604520784 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 29187 26813 725 1374 0 27808 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 116748
[startup+1362.3 s]
/proc/loadavg: 1.17 1.08 1.09 2/107 12233
/proc/meminfo: memFree=1285432/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=118956 CPUtime=1361.94
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 8420539 0 0 0 132066 4128 0 0 25 0 1 0 3297301 121810944 27468 1992294400 4194304 9819077 140735604520784 18446744073709551615 7291729 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 29739 27468 725 1374 0 28360 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 118956
[startup+1422.31 s]
/proc/loadavg: 1.06 1.07 1.09 2/107 12235
/proc/meminfo: memFree=1282828/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=124512 CPUtime=1421.93
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 8778460 0 0 0 137880 4313 0 0 25 0 1 0 3297301 127500288 28125 1992294400 4194304 9819077 140735604520784 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 31128 28133 725 1374 0 29749 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 124512
[startup+1482.3 s]
/proc/loadavg: 1.02 1.05 1.08 2/107 12235
/proc/meminfo: memFree=1280348/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=124552 CPUtime=1481.91
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 9077650 0 0 0 143710 4481 0 0 25 0 1 0 3297301 127541248 28750 1992294400 4194304 9819077 140735604520784 18446744073709551615 7316353 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 31138 28750 725 1374 0 29759 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 124552
[startup+1542.3 s]
/proc/loadavg: 1.01 1.04 1.08 2/107 12237
/proc/meminfo: memFree=1277372/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=128404 CPUtime=1541.89
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 9343645 0 0 0 149554 4635 0 0 25 0 1 0 3297301 131485696 29534 1992294400 4194304 9819077 140735604520784 18446744073709551615 4979703 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 32101 29534 725 1374 0 30722 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 128404
[startup+1602.3 s]
/proc/loadavg: 1.00 1.03 1.07 2/107 12239
/proc/meminfo: memFree=1274892/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=130604 CPUtime=1601.87
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 9678268 0 0 0 155379 4808 0 0 25 0 1 0 3297301 133738496 30111 1992294400 4194304 9819077 140735604520784 18446744073709551615 7292224 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 32651 30111 725 1374 0 31272 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 130604
[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.06 2/107 12241
/proc/meminfo: memFree=1273032/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=132428 CPUtime=1661.86
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 10056044 0 0 0 161182 5004 0 0 25 0 1 0 3297301 135606272 30567 1992294400 4194304 9819077 140735604520784 18446744073709551615 4978109 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 33107 30567 725 1374 0 31728 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 132428
[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.06 2/107 12243
/proc/meminfo: memFree=1269808/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=135640 CPUtime=1721.85
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 10415747 0 0 0 166991 5194 0 0 25 0 1 0 3297301 138895360 31352 1992294400 4194304 9819077 140735604520784 18446744073709551615 6023058 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 33910 31352 725 1374 0 32531 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 135640
[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.05 2/107 12243
/proc/meminfo: memFree=1267576/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=137500 CPUtime=1781.83
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 10790667 0 0 0 172791 5392 0 0 25 0 1 0 3297301 140800000 31833 1992294400 4194304 9819077 140735604520784 18446744073709551615 6372771 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 34375 31833 725 1374 0 32996 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 137500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.01 1.05 2/107 12245
/proc/meminfo: memFree=1267328/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=138268 CPUtime=1800.03
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 10910582 0 0 0 174550 5453 0 0 25 0 1 0 3297301 141586432 31944 1992294400 4194304 9819077 140735604520784 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 34567 31944 725 1374 0 33188 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 138268
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.61 s]
/proc/loadavg: 1.00 1.01 1.05 2/108 12246
/proc/meminfo: memFree=1267320/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=138180 CPUtime=1800.14
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 10910662 0 0 0 174561 5453 0 0 25 0 1 0 3297301 141496320 31948 1992294400 4194304 9819077 140735604520784 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12187/statm: 34545 31948 728 1374 0 33166 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 138180
Child status: 0
Real time (s): 1800.68
CPU time (s): 1800.22
CPU user time (s): 1745.66
CPU system time (s): 54.5517
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 143068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1745.66
system time used= 54.5517
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10910666
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= 5823
runsolver used 2.99554 second user time and 8.48571 second system time
The end