0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2664119-1276587499.opb>
0.89/0.95 c original problem has 7089 variables (7089 bin, 0 int, 0 impl, 0 cont) and 13888 constraints
0.89/0.95 c problem read
0.89/0.95 c presolving settings loaded
0.89/0.95 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
1.19/1.26 c presolving:
1.49/1.59 c (round 1) 0 del vars, 6936 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 16 upgd conss, 0 impls, 0 clqs
5.69/5.75 c (4.7s) probing: 118/7089 (1.7%) - 0 fixings, 0 aggregations, 1663 implications, 0 bound changes
5.69/5.75 c (4.7s) probing aborted: 100/100 successive totally useless probings
5.69/5.75 c presolving (2 rounds):
5.69/5.75 c 0 deleted vars, 6936 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
5.69/5.75 c 14144 implications, 0 cliques
5.69/5.75 c presolved problem has 7089 variables (7089 bin, 0 int, 0 impl, 0 cont) and 6952 constraints
5.69/5.75 c 16 constraints of type <knapsack>
5.69/5.75 c 6936 constraints of type <linear>
5.69/5.75 c transformed objective value is always integral (scale: 1)
5.69/5.75 c Presolving Time: 4.48
5.69/5.75 c - non default parameters ----------------------------------------------------------------------
5.69/5.75 c # SCIP version 1.2.1.2
5.69/5.75 c
5.69/5.75 c # frequency for displaying node information lines
5.69/5.75 c # [type: int, range: [-1,2147483647], default: 100]
5.69/5.75 c display/freq = 10000
5.69/5.75 c
5.69/5.75 c # maximal time in seconds to run
5.69/5.75 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.69/5.75 c limits/time = 1799.05
5.69/5.75 c
5.69/5.75 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.69/5.75 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.69/5.75 c limits/memory = 1620
5.69/5.75 c
5.69/5.75 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
5.69/5.75 c # [type: int, range: [-1,2147483647], default: 1]
5.69/5.75 c lp/solvefreq = -1
5.69/5.75 c
5.69/5.75 c # should presolving try to simplify inequalities
5.69/5.75 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.69/5.75 c constraints/linear/simplifyinequalities = TRUE
5.69/5.75 c
5.69/5.75 c # should presolving try to simplify knapsacks
5.69/5.75 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.69/5.75 c constraints/knapsack/simplifyinequalities = TRUE
5.69/5.75 c
5.69/5.75 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
5.69/5.75 c # [type: int, range: [-1,2147483647], default: -1]
5.69/5.75 c separating/rapidlearning/freq = 0
5.69/5.75 c
5.69/5.75 c -----------------------------------------------------------------------------------------------
5.69/5.75 c start solving
5.69/5.76 c
5.69/5.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.69/5.78 c 4.7s| 1 | 2 | 0 | - | 48M| 0 | - |7089 |6952 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
427.68/427.89 c 426s| 10000 | 6531 | 0 | 0.0 | 100M| 571 | - |7089 |7439 | 0 | 0 | 0 |4147 | 0 | 1.000000e+00 | -- | Inf
852.05/852.30 c 850s| 20000 | 13107 | 0 | 0.0 | 175M| 571 | - |7089 |7543 | 0 | 0 | 0 |9135 | 0 | 1.000000e+00 | -- | Inf
1350.60/1351.05 c 1348s| 30000 | 19306 | 0 | 0.0 | 261M| 571 | - |7089 |7429 | 0 | 0 | 0 | 14k| 0 | 1.000000e+00 | -- | Inf
1731.09/1731.65 c 1728s| 40000 | 25309 | 0 | 0.0 | 304M| 571 | - |7089 |7772 | 0 | 0 | 0 | 19k| 0 | 1.000000e+00 | -- | Inf
1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.62 c
1800.07/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.62 c Solving Time (sec) : 1796.88
1800.07/1800.62 c Solving Nodes : 41637
1800.07/1800.62 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.07/1800.62 c Dual Bound : +1.00000000000000e+00
1800.07/1800.62 c Gap : infinite
1800.07/1800.62 s UNKNOWN
1800.07/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.62 c Solving Time : 1796.88
1800.07/1800.62 c Original Problem :
1800.07/1800.62 c Problem name : HOME/instance-2664119-1276587499.opb
1800.07/1800.62 c Variables : 7089 (7089 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.62 c Constraints : 13888 initial, 13888 maximal
1800.07/1800.62 c Presolved Problem :
1800.07/1800.62 c Problem name : t_HOME/instance-2664119-1276587499.opb
1800.07/1800.62 c Variables : 7089 (7089 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.62 c Constraints : 6952 initial, 8037 maximal
1800.07/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c probing : 4.03 0 0 0 0 0 0 0 0
1800.07/1800.62 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c linear : 0.37 0 0 0 0 0 6936 0 0
1800.07/1800.62 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c root node : - 0 - - 0 - - - -
1800.07/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.62 c knapsack : 16 0 122575 0 35793 1598 98525 0 0 0
1800.07/1800.62 c linear : 6936 0 120977 0 35793 6504 6956779 0 0 0
1800.07/1800.62 c logicor : 0+ 0 63694 0 0 404 25438 0 0 0
1800.07/1800.62 c countsols : 0 0 0 0 35793 0 0 0 0 0
1800.07/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.62 c knapsack : 65.74 0.00 65.45 0.00 0.29
1800.07/1800.62 c linear : 1367.20 0.00 1367.09 0.00 0.11
1800.07/1800.62 c logicor : 19.30 0.00 19.30 0.00 0.00
1800.07/1800.62 c countsols : 0.04 0.00 0.00 0.00 0.04
1800.07/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.62 c vbounds : 0.20 2 0 0
1800.07/1800.62 c rootredcost : 0.12 0 0 0
1800.07/1800.62 c pseudoobj : 0.49 122325 0 0
1800.07/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.62 c propagation : 1.56 8506 8488 65097 40.5 545 24.4 -
1800.07/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.62 c applied globally : - - - 20964 34.5 - - -
1800.07/1800.62 c applied locally : - - - 0 0.0 - - -
1800.07/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.62 c redcost : 0.00 0 0 0 0 0
1800.07/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.62 c intobj : 0.00 0 0 0 0 0
1800.07/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.62 c gomory : 0.00 0 0 0 0 0
1800.07/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.62 c cmir : 0.00 0 0 0 0 0
1800.07/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.62 c clique : 0.00 0 0 0 0 0
1800.07/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.62 c mcf : 0.00 0 0 0 0 0
1800.07/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.62 c Pricers : Time Calls Vars
1800.07/1800.62 c problem variables: 0.00 0 0
1800.07/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.62 c inference : 111.92 35793 0 0 0 0 71586
1800.07/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.62 c random : 0.00 0 0 0 0 0 0
1800.07/1800.62 c Primal Heuristics : Time Calls Found
1800.07/1800.62 c LP solutions : 0.00 - 0
1800.07/1800.62 c pseudo solutions : 0.00 - 0
1800.07/1800.62 c oneopt : 0.01 0 0
1800.07/1800.62 c trivial : 0.02 2 0
1800.07/1800.62 c simplerounding : 0.00 0 0
1800.07/1800.62 c zirounding : 0.00 0 0
1800.07/1800.62 c rounding : 0.00 0 0
1800.07/1800.62 c shifting : 0.00 0 0
1800.07/1800.62 c intshifting : 0.00 0 0
1800.07/1800.62 c twoopt : 0.00 0 0
1800.07/1800.62 c fixandinfer : 0.00 0 0
1800.07/1800.62 c feaspump : 0.00 0 0
1800.07/1800.62 c coefdiving : 0.00 0 0
1800.07/1800.62 c pscostdiving : 0.00 0 0
1800.07/1800.62 c fracdiving : 0.00 0 0
1800.07/1800.62 c veclendiving : 0.00 0 0
1800.07/1800.62 c intdiving : 0.00 0 0
1800.07/1800.62 c actconsdiving : 0.00 0 0
1800.07/1800.62 c objpscostdiving : 0.00 0 0
1800.07/1800.62 c rootsoldiving : 0.00 0 0
1800.07/1800.62 c linesearchdiving : 0.00 0 0
1800.07/1800.62 c guideddiving : 0.00 0 0
1800.07/1800.62 c octane : 0.00 0 0
1800.07/1800.62 c rens : 0.00 0 0
1800.07/1800.62 c rins : 0.00 0 0
1800.07/1800.62 c localbranching : 0.00 0 0
1800.07/1800.62 c mutation : 0.00 0 0
1800.07/1800.62 c crossover : 0.00 0 0
1800.07/1800.62 c dins : 0.00 0 0
1800.07/1800.62 c undercover : 0.00 0 0
1800.07/1800.62 c nlp : 0.08 0 0
1800.07/1800.62 c trysol : 0.05 0 0
1800.07/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.62 c (at root node) : - 0 0 0.00 -
1800.07/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.62 c B&B Tree :
1800.07/1800.62 c number of runs : 1
1800.07/1800.62 c nodes : 41637
1800.07/1800.62 c nodes (total) : 41637
1800.07/1800.62 c nodes left : 26250
1800.07/1800.62 c max depth : 571
1800.07/1800.62 c max depth (total): 571
1800.07/1800.62 c backtracks : 2961 (7.1%)
1800.07/1800.62 c delayed cutoffs : 3700
1800.07/1800.62 c repropagations : 12079 (896170 domain reductions, 2662 cutoffs)
1800.07/1800.62 c avg switch length: 4.36
1800.07/1800.62 c switching time : 223.95
1800.07/1800.62 c Solution :
1800.07/1800.62 c Solutions found : 0 (0 improvements)
1800.07/1800.62 c Primal Bound : -
1800.07/1800.62 c Dual Bound : +1.00000000000000e+00
1800.07/1800.62 c Gap : infinite
1800.07/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.62 c Root Iterations : 0
1800.57/1801.18 c Time complete: 1800.66.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664119-1276587499/watcher-2664119-1276587499 -o /tmp/evaluation-result-2664119-1276587499/solver-2664119-1276587499 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664119-1276587499.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.06 1.03 1.00 3/106 1272
/proc/meminfo: memFree=1833628/2059040 swapFree=4139744/4192956
[pid=1272] ppid=1270 vsize=3652 CPUtime=0
/proc/1272/stat : 1272 (pbscip.linux.x8) R 1270 1272 1153 0 -1 4202496 452 0 0 0 0 0 0 0 15 0 1 0 34351430 3739648 375 1992294400 4194304 7136930 140734933931376 18446744073709551615 5941905 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1272/statm: 913 377 224 719 0 192 0
[startup+0.016328 s]
/proc/loadavg: 1.06 1.03 1.00 3/106 1272
/proc/meminfo: memFree=1833628/2059040 swapFree=4139744/4192956
[pid=1272] ppid=1270 vsize=7984 CPUtime=0.01
/proc/1272/stat : 1272 (pbscip.linux.x8) R 1270 1272 1153 0 -1 4202496 1490 0 0 0 1 0 0 0 15 0 1 0 34351430 8175616 1413 1992294400 4194304 7136930 140734933931376 18446744073709551615 6178293 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1272/statm: 1996 1413 271 719 0 1275 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7984
[startup+0.10134 s]
/proc/loadavg: 1.06 1.03 1.00 3/106 1272
/proc/meminfo: memFree=1833628/2059040 swapFree=4139744/4192956
[pid=1272] ppid=1270 vsize=10420 CPUtime=0.09
/proc/1272/stat : 1272 (pbscip.linux.x8) R 1270 1272 1153 0 -1 4202496 2031 0 0 0 9 0 0 0 17 0 1 0 34351430 10670080 1954 1992294400 4194304 7136930 140734933931376 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1272/statm: 2605 1966 271 719 0 1884 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10420
[startup+0.301365 s]
/proc/loadavg: 1.06 1.03 1.00 3/106 1272
/proc/meminfo: memFree=1833628/2059040 swapFree=4139744/4192956
[pid=1272] ppid=1270 vsize=15336 CPUtime=0.29
/proc/1272/stat : 1272 (pbscip.linux.x8) R 1270 1272 1153 0 -1 4202496 3303 0 0 0 28 1 0 0 17 0 1 0 34351430 15704064 3226 1992294400 4194304 7136930 140734933931376 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1272/statm: 3834 3226 271 719 0 3113 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15336
[startup+0.701417 s]
/proc/loadavg: 1.06 1.03 1.00 3/106 1272
/proc/meminfo: memFree=1833628/2059040 swapFree=4139744/4192956
[pid=1272] ppid=1270 vsize=23496 CPUtime=0.69
/proc/1272/stat : 1272 (pbscip.linux.x8) R 1270 1272 1153 0 -1 4202496 5342 0 0 0 67 2 0 0 17 0 1 0 34351430 24059904 5265 1992294400 4194304 7136930 140734933931376 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1272/statm: 5874 5265 271 719 0 5153 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23496
[startup+1.50152 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 1273
/proc/meminfo: memFree=1795552/2059040 swapFree=4139744/4192956
[pid=1272] ppid=1270 vsize=126740 CPUtime=1.49
/proc/1272/stat : 1272 (pbscip.linux.x8) R 1270 1272 1153 0 -1 4202496 32521 0 0 0 136 13 0 0 18 0 1 0 34351430 129781760 29743 1992294400 4194304 7136930 140734933931376 18446744073709551615 4457986 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1272/statm: 31685 29743 336 719 0 30964 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 126740
[startup+3.10073 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 1273
/proc/meminfo: memFree=1714952/2059040 swapFree=4139744/4192956
[pid=1272] ppid=1270 vsize=127992 CPUtime=3.09
/proc/1272/stat : 1272 (pbscip.linux.x8) R 1270 1272 1153 0 -1 4202496 33740 0 0 0 293 16 0 0 21 0 1 0 34351430 131063808 30095 1992294400 4194304 7136930 140734933931376 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1272/statm: 31998 30095 366 719 0 31277 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 127992
[startup+6.30115 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 1273
/proc/meminfo: memFree=1713836/2059040 swapFree=4139744/4192956
[pid=1272] ppid=1270 vsize=129856 CPUtime=6.29
/proc/1272/stat : 1272 (pbscip.linux.x8) R 1270 1272 1153 0 -1 4202496 34211 0 0 0 613 16 0 0 25 0 1 0 34351430 132972544 30566 1992294400 4194304 7136930 140734933931376 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1272/statm: 32464 30566 386 719 0 31743 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 129856
[startup+12.701 s]
/proc/loadavg: 1.04 1.02 1.00 2/107 1273
/proc/meminfo: memFree=1711108/2059040 swapFree=4139744/4192956
[pid=1272] ppid=1270 vsize=131080 CPUtime=12.69
/proc/1272/stat : 1272 (pbscip.linux.x8) R 1270 1272 1153 0 -1 4202496 34513 0 0 0 1251 18 0 0 25 0 1 0 34351430 134225920 30868 1992294400 4194304 7136930 140734933931376 18446744073709551615 4948367 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1272/statm: 32770 30868 394 719 0 32049 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 131080
[startup+25.5017 s]
/proc/loadavg: 1.04 1.02 1.00 2/107 1273
/proc/meminfo: memFree=1707760/2059040 swapFree=4139744/4192956
[pid=1272] ppid=1270 vsize=134792 CPUtime=25.48
/proc/1272/stat : 1272 (pbscip.linux.x8) R 1270 1272 1153 0 -1 4202496 35396 0 0 0 2528 20 0 0 25 0 1 0 34351430 138027008 31751 1992294400 4194304 7136930 140734933931376 18446744073709551615 4981607 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1272/statm: 33698 31751 394 719 0 32977 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 134792
[startup+51.101 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 1275
/proc/meminfo: memFree=1704040/2059040 swapFree=4139744/4192956
[pid=1272] ppid=1270 vsize=138348 CPUtime=51.08
/proc/1272/stat : 1272 (pbscip.linux.x8) R 1270 1272 1153 0 -1 4202496 36284 0 0 0 5084 24 0 0 25 0 1 0 34351430 141668352 32639 1992294400 4194304 7136930 140734933931376 18446744073709551615 4980105 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1272/statm: 34587 32639 394 719 0 33866 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 138348
[startup+102.309 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 1275
/proc/meminfo: memFree=1695484/2059040 swapFree=4139744/4192956
[pid=1272] ppid=1270 vsize=147676 CPUtime=102.27
/proc/1272/stat : 1272 (pbscip.linux.x8) R 1270 1272 1153 0 -1 4202496 38442 0 0 0 10197 30 0 0 25 0 1 0 34351430 151220224 34797 1992294400 4194304 7136930 140734933931376 18446744073709551615 4947748 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1272/statm: 36919 34797 394 719 0 36198 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 147676
[startup+162.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 1277
/proc/meminfo: memFree=1685440/2059040 swapFree=4139744/4192956
[pid=1272] ppid=1270 vsize=158968 CPUtime=162.25
/proc/1272/stat : 1272 (pbscip.linux.x8) R 1270 1272 1153 0 -1 4202496 40900 0 0 0 16188 37 0 0 25 0 1 0 34351430 162783232 37255 1992294400 4194304 7136930 140734933931376 18446744073709551615 4980289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1272/statm: 39742 37255 394 719 0 39021 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 158968
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1279
/proc/meminfo: memFree=1674404/2059040 swapFree=4139744/4192956
[pid=1272] ppid=1270 vsize=171044 CPUtime=222.23
/proc/1272/stat : 1272 (pbscip.linux.x8) R 1270 1272 1153 0 -1 4202496 43637 0 0 0 22178 45 0 0 25 0 1 0 34351430 175149056 39992 1992294400 4194304 7136930 140734933931376 18446744073709551615 4947556 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1272/statm: 42761 39992 394 719 0 42040 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 171044
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1281
/proc/meminfo: memFree=1668948/2059040 swapFree=4139744/4192956
[pid=1272] ppid=1270 vsize=177476 CPUtime=282.21
/proc/1272/stat : 1272 (pbscip.linux.x8) R 1270 1272 1153 0 -1 4202496 45035 0 0 0 28170 51 0 0 25 0 1 0 34351430 181735424 41390 1992294400 4194304 7136930 140734933931376 18446744073709551615 4947417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1272/statm: 44369 41390 394 719 0 43648 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 177476
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1281
/proc/meminfo: memFree=1661384/2059040 swapFree=4139744/4192956
[pid=1272] ppid=1270 vsize=186016 CPUtime=342.19
/proc/1272/stat : 1272 (pbscip.linux.x8) R 1270 1272 1153 0 -1 4202496 46908 0 0 0 34162 57 0 0 25 0 1 0 34351430 190480384 43263 1992294400 4194304 7136930 140734933931376 18446744073709551615 4978973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1272/statm: 46504 43263 394 719 0 45783 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 186016
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1283
/proc/meminfo: memFree=1653324/2059040 swapFree=4139744/4192956
[pid=1272] ppid=1270 vsize=195644 CPUtime=402.18
/proc/1272/stat : 1272 (pbscip.linux.x8) R 1270 1272 1153 0 -1 4202496 49070 0 0 0 40152 66 0 0 25 0 1 0 34351430 200339456 45425 1992294400 4194304 7136930 140734933931376 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1272/statm: 48911 45425 394 719 0 48190 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 195644
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1285
/proc/meminfo: memFree=1644396/2059040 swapFree=4139744/4192956
[pid=1272] ppid=1270 vsize=205352 CPUtime=462.16
/proc/1272/stat : 1272 (pbscip.linux.x8) R 1270 1272 1153 0 -1 4202496 51124 0 0 0 46143 73 0 0 25 0 1 0 34351430 210280448 47479 1992294400 4194304 7136930 140734933931376 18446744073709551615 4978081 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1272/statm: 51338 47479 394 719 0 50617 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 205352
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1287
/proc/meminfo: memFree=1635964/2059040 swapFree=4139744/4192956
[pid=1272] ppid=1270 vsize=215140 CPUtime=522.14
/proc/1272/stat : 1272 (pbscip.linux.x8) R 1270 1272 1153 0 -1 4202496 53215 0 0 0 52134 80 0 0 25 0 1 0 34351430 220303360 49570 1992294400 4194304 7136930 140734933931376 18446744073709551615 4948245 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1272/statm: 53785 49570 394 719 0 53064 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 215140
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1289
/proc/meminfo: memFree=1626788/2059040 swapFree=4139744/4192956
[pid=1272] ppid=1270 vsize=225720 CPUtime=582.13
/proc/1272/stat : 1272 (pbscip.linux.x8) R 1270 1272 1153 0 -1 4202496 55515 0 0 0 58125 88 0 0 25 0 1 0 34351430 231137280 51870 1992294400 4194304 7136930 140734933931376 18446744073709551615 4983126 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1272/statm: 56430 51870 394 719 0 55709 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 225720
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1289
/proc/meminfo: memFree=1615504/2059040 swapFree=4139744/4192956
[pid=1272] ppid=1270 vsize=239168 CPUtime=642.11
/proc/1272/stat : 1272 (pbscip.linux.x8) R 1270 1272 1153 0 -1 4202496 58303 0 0 0 64116 95 0 0 25 0 1 0 34351430 244908032 54658 1992294400 4194304 7136930 140734933931376 18446744073709551615 4947128 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1272/statm: 59792 54658 394 719 0 59071 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 239168
[startup+702.301 s]
################
# More data... #
################
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1297
/proc/meminfo: memFree=1541228/2059040 swapFree=4139744/4192956
[pid=1272] ppid=1270 vsize=327780 CPUtime=942.02
/proc/1272/stat : 1272 (pbscip.linux.x8) R 1270 1272 1153 0 -1 4202496 76934 0 0 0 94073 129 0 0 25 0 1 0 34351430 335646720 73289 1992294400 4194304 7136930 140734933931376 18446744073709551615 4983126 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1272/statm: 81945 73289 394 719 0 81224 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 327780
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1299
/proc/meminfo: memFree=1525480/2059040 swapFree=4139744/4192956
[pid=1272] ppid=1270 vsize=346496 CPUtime=1002
/proc/1272/stat : 1272 (pbscip.linux.x8) R 1270 1272 1153 0 -1 4202496 80747 0 0 0 100065 135 0 0 25 0 1 0 34351430 354811904 77102 1992294400 4194304 7136930 140734933931376 18446744073709551615 4978051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1272/statm: 86624 77102 394 719 0 85903 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 346496
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1301
/proc/meminfo: memFree=1510104/2059040 swapFree=4139744/4192956
[pid=1272] ppid=1270 vsize=364736 CPUtime=1061.99
/proc/1272/stat : 1272 (pbscip.linux.x8) R 1270 1272 1153 0 -1 4202496 84577 0 0 0 106057 142 0 0 25 0 1 0 34351430 373489664 80932 1992294400 4194304 7136930 140734933931376 18446744073709551615 4978086 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1272/statm: 91184 80932 394 719 0 90463 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 364736
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1303
/proc/meminfo: memFree=1493984/2059040 swapFree=4139744/4192956
[pid=1272] ppid=1270 vsize=385348 CPUtime=1121.97
/proc/1272/stat : 1272 (pbscip.linux.x8) R 1270 1272 1153 0 -1 4202496 88611 0 0 0 112048 149 0 0 25 0 1 0 34351430 394596352 84966 1992294400 4194304 7136930 140734933931376 18446744073709551615 4979760 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1272/statm: 96337 84966 394 719 0 95616 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 385348
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1305
/proc/meminfo: memFree=1482080/2059040 swapFree=4139744/4192956
[pid=1272] ppid=1270 vsize=399560 CPUtime=1181.95
/proc/1272/stat : 1272 (pbscip.linux.x8) R 1270 1272 1153 0 -1 4202496 91591 0 0 0 118040 155 0 0 25 0 1 0 34351430 409149440 87946 1992294400 4194304 7136930 140734933931376 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1272/statm: 99890 87946 394 719 0 99169 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 399560
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1305
/proc/meminfo: memFree=1469060/2059040 swapFree=4139744/4192956
[pid=1272] ppid=1270 vsize=414640 CPUtime=1241.93
/proc/1272/stat : 1272 (pbscip.linux.x8) R 1270 1272 1153 0 -1 4202496 94734 0 0 0 124031 162 0 0 25 0 1 0 34351430 424591360 91089 1992294400 4194304 7136930 140734933931376 18446744073709551615 4947397 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1272/statm: 103660 91089 394 719 0 102939 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 414640
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1307
/proc/meminfo: memFree=1460256/2059040 swapFree=4139744/4192956
[pid=1272] ppid=1270 vsize=424328 CPUtime=1301.92
/proc/1272/stat : 1272 (pbscip.linux.x8) R 1270 1272 1153 0 -1 4202496 96866 0 0 0 130022 170 0 0 25 0 1 0 34351430 434511872 93221 1992294400 4194304 7136930 140734933931376 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1272/statm: 106082 93221 394 719 0 105361 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 424328
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1309
/proc/meminfo: memFree=1452692/2059040 swapFree=4139744/4192956
[pid=1272] ppid=1270 vsize=433404 CPUtime=1361.89
/proc/1272/stat : 1272 (pbscip.linux.x8) R 1270 1272 1153 0 -1 4202496 98823 0 0 0 136012 177 0 0 25 0 1 0 34351430 443805696 95178 1992294400 4194304 7136930 140734933931376 18446744073709551615 4978470 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1272/statm: 108351 95178 394 719 0 107630 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 433404
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1320
/proc/meminfo: memFree=1446368/2059040 swapFree=4139744/4192956
[pid=1272] ppid=1270 vsize=440040 CPUtime=1421.88
/proc/1272/stat : 1272 (pbscip.linux.x8) R 1270 1272 1153 0 -1 4202496 100199 0 0 0 142004 184 0 0 25 0 1 0 34351430 450600960 96554 1992294400 4194304 7136930 140734933931376 18446744073709551615 4948236 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1272/statm: 110010 96554 394 719 0 109289 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 440040
[startup+1482.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 1322
/proc/meminfo: memFree=1438928/2059040 swapFree=4139744/4192956
[pid=1272] ppid=1270 vsize=449412 CPUtime=1481.86
/proc/1272/stat : 1272 (pbscip.linux.x8) R 1270 1272 1153 0 -1 4202496 102059 0 0 0 147995 191 0 0 25 0 1 0 34351430 460197888 98414 1992294400 4194304 7136930 140734933931376 18446744073709551615 4978371 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1272/statm: 112353 98414 394 719 0 111632 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 449412
[startup+1542.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 1322
/proc/meminfo: memFree=1428884/2059040 swapFree=4139744/4192956
[pid=1272] ppid=1270 vsize=460048 CPUtime=1541.85
/proc/1272/stat : 1272 (pbscip.linux.x8) R 1270 1272 1153 0 -1 4202496 104607 0 0 0 153985 200 0 0 25 0 1 0 34351430 471089152 100962 1992294400 4194304 7136930 140734933931376 18446744073709551615 4979386 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1272/statm: 115012 100962 394 719 0 114291 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 460048
[startup+1602.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 1324
/proc/meminfo: memFree=1420328/2059040 swapFree=4139744/4192956
[pid=1272] ppid=1270 vsize=470020 CPUtime=1601.83
/proc/1272/stat : 1272 (pbscip.linux.x8) R 1270 1272 1153 0 -1 4202496 106728 0 0 0 159976 207 0 0 25 0 1 0 34351430 481300480 103083 1992294400 4194304 7136930 140734933931376 18446744073709551615 4947748 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1272/statm: 117505 103083 394 719 0 116784 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 470020
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1326
/proc/meminfo: memFree=1413260/2059040 swapFree=4139744/4192956
[pid=1272] ppid=1270 vsize=478952 CPUtime=1661.81
/proc/1272/stat : 1272 (pbscip.linux.x8) R 1270 1272 1153 0 -1 4202496 108495 0 0 0 165966 215 0 0 25 0 1 0 34351430 490446848 104850 1992294400 4194304 7136930 140734933931376 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1272/statm: 119738 104850 394 719 0 119017 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 478952
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1328
/proc/meminfo: memFree=1404456/2059040 swapFree=4139744/4192956
[pid=1272] ppid=1270 vsize=490032 CPUtime=1721.79
/proc/1272/stat : 1272 (pbscip.linux.x8) R 1270 1272 1153 0 -1 4202496 110747 0 0 0 171957 222 0 0 25 0 1 0 34351430 501792768 107102 1992294400 4194304 7136930 140734933931376 18446744073709551615 4978081 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1272/statm: 122508 107102 394 719 0 121787 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 490032
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1330
/proc/meminfo: memFree=1394288/2059040 swapFree=4139744/4192956
[pid=1272] ppid=1270 vsize=504192 CPUtime=1781.78
/proc/1272/stat : 1272 (pbscip.linux.x8) R 1270 1272 1153 0 -1 4202496 113257 0 0 0 177951 227 0 0 25 0 1 0 34351430 516292608 109612 1992294400 4194304 7136930 140734933931376 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1272/statm: 126048 109612 394 719 0 125327 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 504192
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1330
/proc/meminfo: memFree=1392304/2059040 swapFree=4139744/4192956
[pid=1272] ppid=1270 vsize=506444 CPUtime=1800.07
/proc/1272/stat : 1272 (pbscip.linux.x8) R 1270 1272 1153 0 -1 4202496 113709 0 0 0 179779 228 0 0 25 0 1 0 34351430 518598656 110064 1992294400 4194304 7136930 140734933931376 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1272/statm: 126611 110064 394 719 0 125890 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 506444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1330
/proc/meminfo: memFree=1392304/2059040 swapFree=4139744/4192956
[pid=1272] ppid=1270 vsize=506444 CPUtime=1800.46
/proc/1272/stat : 1272 (pbscip.linux.x8) R 1270 1272 1153 0 -1 4202496 113715 0 0 0 179818 228 0 0 25 0 1 0 34351430 518598656 110070 1992294400 4194304 7136930 140734933931376 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1272/statm: 126611 110070 400 719 0 125890 0
Current children cumulated CPU time (s) 1800.46
Current children cumulated vsize (KiB) 506444
[startup+1801.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1330
/proc/meminfo: memFree=1392304/2059040 swapFree=4139744/4192956
[pid=1272] ppid=1270 vsize=489460 CPUtime=1800.57
/proc/1272/stat : 1272 (pbscip.linux.x8) R 1270 1272 1153 0 -1 4202496 113715 0 0 0 179828 229 0 0 25 0 1 0 34351430 501207040 105931 1992294400 4194304 7136930 140734933931376 18446744073709551615 4699937 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1272/statm: 122365 105931 400 719 0 121644 0
Current children cumulated CPU time (s) 1800.57
Current children cumulated vsize (KiB) 489460
Child status: 0
Real time (s): 1801.19
CPU time (s): 1800.67
CPU user time (s): 1798.32
CPU system time (s): 2.34364
CPU usage (%): 99.971
Max. virtual memory (cumulated for all children) (KiB): 506444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.32
system time used= 2.34364
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113722
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= 3
involuntary context switches= 18916
runsolver used 2.98055 second user time and 8.50171 second system time
The end