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-2667009-1276401208.opb>
1.00/1.05 c original problem has 2700 variables (2700 bin, 0 int, 0 impl, 0 cont) and 42620 constraints
1.00/1.05 c problem read
1.00/1.05 c presolving settings loaded
1.19/1.25 c presolving:
1.89/1.99 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 42620 upgd conss, 6660 impls, 630 clqs
3.90/3.93 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 43200 chg sides, 64800 chg coeffs, 42620 upgd conss, 6660 impls, 630 clqs
18.98/19.04 c (17.7s) probing: 1000/2700 (37.0%) - 0 fixings, 0 aggregations, 9281 implications, 0 bound changes
25.08/25.14 c (23.8s) probing: 1721/2700 (63.7%) - 0 fixings, 0 aggregations, 15210 implications, 0 bound changes
25.08/25.14 c (23.8s) probing aborted: 100/100 successive totally useless probings
25.08/25.15 c presolving (3 rounds):
25.08/25.15 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 43200 changed sides, 64800 changed coefficients
25.08/25.15 c 37080 implications, 630 cliques
25.08/25.15 c presolved problem has 2700 variables (2700 bin, 0 int, 0 impl, 0 cont) and 42620 constraints
25.08/25.15 c 21770 constraints of type <knapsack>
25.08/25.15 c 630 constraints of type <setppc>
25.08/25.15 c 20220 constraints of type <logicor>
25.08/25.15 c transformed objective value is always integral (scale: 1)
25.08/25.15 c Presolving Time: 23.62
25.08/25.15 c - non default parameters ----------------------------------------------------------------------
25.08/25.15 c # SCIP version 1.2.1.2
25.08/25.15 c
25.08/25.15 c # frequency for displaying node information lines
25.08/25.15 c # [type: int, range: [-1,2147483647], default: 100]
25.08/25.15 c display/freq = 10000
25.08/25.15 c
25.08/25.15 c # maximal time in seconds to run
25.08/25.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
25.08/25.15 c limits/time = 1798.95
25.08/25.15 c
25.08/25.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
25.08/25.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
25.08/25.15 c limits/memory = 1620
25.08/25.15 c
25.08/25.15 c # should presolving try to simplify inequalities
25.08/25.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
25.08/25.15 c constraints/linear/simplifyinequalities = TRUE
25.08/25.15 c
25.08/25.15 c # should presolving try to simplify knapsacks
25.08/25.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
25.08/25.15 c constraints/knapsack/simplifyinequalities = TRUE
25.08/25.15 c
25.08/25.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
25.08/25.15 c # [type: int, range: [-1,2147483647], default: -1]
25.08/25.15 c separating/rapidlearning/freq = 0
25.08/25.15 c
25.08/25.15 c -----------------------------------------------------------------------------------------------
25.08/25.15 c start solving
25.08/25.15 c
79.87/79.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.87/79.95 c 78.2s| 1 | 0 | 6354 | - | 96M| 0 | 762 |2700 | 42k|2700 | 42k| 0 | 0 | 0 | 1.400000e+02 | -- | Inf
317.60/317.71 c 306s| 1 | 0 | 16950 | - | 104M| 0 | 795 |2700 | 42k|2700 | 42k| 7 | 0 | 0 | 1.400000e+02 | -- | Inf
410.58/410.74 c 382s| 1 | 0 | 18987 | - | 104M| 0 | 811 |2700 | 42k|2700 | 42k| 15 | 0 | 0 | 1.400000e+02 | -- | Inf
495.74/495.91 c 451s| 1 | 0 | 19864 | - | 104M| 0 | 806 |2700 | 42k|2700 | 42k| 20 | 0 | 0 | 1.400000e+02 | -- | Inf
591.82/592.01 c 530s| 1 | 0 | 21882 | - | 104M| 0 | 802 |2700 | 42k|2700 | 42k| 27 | 0 | 0 | 1.400000e+02 | -- | Inf
666.19/666.44 c 596s| 1 | 0 | 25348 | - | 104M| 0 | 818 |2700 | 42k|2700 | 42k| 36 | 0 | 0 | 1.400000e+02 | -- | Inf
742.37/742.60 c 659s| 1 | 0 | 27259 | - | 104M| 0 | 851 |2700 | 42k|2700 | 42k| 46 | 0 | 0 | 1.400000e+02 | -- | Inf
1326.72/1327.16 c 1239s| 1 | 2 | 27259 | - | 104M| 0 | 851 |2700 | 42k|2700 | 42k| 46 | 0 | 58 | 1.400000e+02 | -- | Inf
1800.10/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.58/1801.15 c
1800.58/1801.15 c SCIP Status : solving was interrupted [user interrupt]
1800.58/1801.15 c Solving Time (sec) : 1709.08
1800.58/1801.15 c Solving Nodes : 3
1800.58/1801.15 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.58/1801.15 c Dual Bound : +1.40000000000000e+02
1800.58/1801.15 c Gap : infinite
1800.58/1801.15 s UNKNOWN
1800.58/1801.15 c SCIP Status : solving was interrupted [user interrupt]
1800.58/1801.15 c Solving Time : 1709.08
1800.58/1801.15 c Original Problem :
1800.58/1801.15 c Problem name : HOME/instance-2667009-1276401208.opb
1800.58/1801.15 c Variables : 2700 (2700 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.58/1801.15 c Constraints : 42620 initial, 42620 maximal
1800.58/1801.15 c Presolved Problem :
1800.58/1801.15 c Problem name : t_HOME/instance-2667009-1276401208.opb
1800.58/1801.15 c Variables : 2700 (2700 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.58/1801.15 c Constraints : 42620 initial, 42620 maximal
1800.58/1801.15 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.58/1801.15 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.58/1801.15 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.58/1801.15 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.58/1801.15 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.58/1801.15 c implics : 0.00 0 0 0 0 0 0 0 0
1800.58/1801.15 c probing : 19.55 0 0 0 0 0 0 0 0
1800.58/1801.15 c knapsack : 3.37 0 0 0 0 0 0 43200 64800
1800.58/1801.15 c setppc : 0.01 0 0 0 0 0 0 0 0
1800.58/1801.15 c logicor : 0.10 0 0 0 0 0 0 0 0
1800.58/1801.15 c root node : - 0 - - 0 - - - -
1800.58/1801.15 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.58/1801.15 c integral : 0 0 0 3 0 0 0 0 0 6
1800.58/1801.15 c knapsack : 21770 6 4989 0 0 0 0 0 0 0
1800.58/1801.15 c setppc : 630 6 4989 0 0 0 0 0 0 0
1800.58/1801.15 c logicor : 20220 6 3443 0 0 0 18 0 0 0
1800.58/1801.15 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.58/1801.15 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.58/1801.15 c integral : 998.66 0.00 0.00 998.66 0.00
1800.58/1801.15 c knapsack : 14.90 0.84 14.06 0.00 0.00
1800.58/1801.15 c setppc : 0.43 0.00 0.43 0.00 0.00
1800.58/1801.15 c logicor : 0.75 0.03 0.72 0.00 0.00
1800.58/1801.15 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.58/1801.15 c Propagators : Time Calls Cutoffs DomReds
1800.58/1801.15 c vbounds : 0.00 2 0 0
1800.58/1801.15 c rootredcost : 0.01 0 0 0
1800.58/1801.15 c pseudoobj : 0.00 6 0 0
1800.58/1801.15 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.58/1801.15 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.58/1801.15 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.58/1801.15 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.58/1801.15 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.58/1801.15 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.58/1801.15 c applied globally : - - - 0 0.0 - - -
1800.58/1801.15 c applied locally : - - - 0 0.0 - - -
1800.58/1801.15 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.58/1801.15 c cut pool : 0.03 5 - - 8 - (maximal pool size: 374)
1800.58/1801.15 c redcost : 0.00 8 0 0 0 0
1800.58/1801.15 c impliedbounds : 0.00 6 0 0 0 0
1800.58/1801.15 c intobj : 0.00 0 0 0 0 0
1800.58/1801.15 c cgmip : 0.00 0 0 0 0 0
1800.58/1801.15 c gomory : 169.97 6 0 0 1673 0
1800.58/1801.15 c strongcg : 123.99 6 0 0 2037 0
1800.58/1801.15 c cmir : 1.89 6 0 0 0 0
1800.58/1801.15 c flowcover : 9.45 6 0 0 1 0
1800.58/1801.15 c clique : 0.22 6 0 0 41 0
1800.58/1801.15 c zerohalf : 0.00 0 0 0 0 0
1800.58/1801.15 c mcf : 0.09 1 0 0 0 0
1800.58/1801.15 c rapidlearning : 0.00 0 0 0 0 0
1800.58/1801.15 c Pricers : Time Calls Vars
1800.58/1801.15 c problem variables: 0.00 0 0
1800.58/1801.15 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.58/1801.15 c relpscost : 998.66 3 0 0 0 0 6
1800.58/1801.15 c pscost : 0.00 0 0 0 0 0 0
1800.58/1801.15 c inference : 0.00 0 0 0 0 0 0
1800.58/1801.15 c mostinf : 0.00 0 0 0 0 0 0
1800.58/1801.15 c leastinf : 0.00 0 0 0 0 0 0
1800.58/1801.15 c fullstrong : 0.00 0 0 0 0 0 0
1800.58/1801.15 c allfullstrong : 0.00 0 0 0 0 0 0
1800.58/1801.15 c random : 0.00 0 0 0 0 0 0
1800.58/1801.15 c Primal Heuristics : Time Calls Found
1800.58/1801.15 c LP solutions : 0.00 - 0
1800.58/1801.15 c pseudo solutions : 0.00 - 0
1800.58/1801.15 c oneopt : 0.00 0 0
1800.58/1801.15 c crossover : 0.00 0 0
1800.58/1801.15 c coefdiving : 0.00 0 0
1800.58/1801.15 c pscostdiving : 0.00 0 0
1800.58/1801.15 c trivial : 0.03 2 0
1800.58/1801.15 c simplerounding : 0.00 0 0
1800.58/1801.15 c zirounding : 0.02 3 0
1800.58/1801.15 c rounding : 0.08 9 0
1800.58/1801.15 c shifting : 0.30 7 0
1800.58/1801.15 c intshifting : 0.00 0 0
1800.58/1801.15 c twoopt : 0.00 0 0
1800.58/1801.15 c fixandinfer : 0.00 0 0
1800.58/1801.15 c feaspump : 154.74 1 0
1800.58/1801.15 c fracdiving : 0.00 0 0
1800.58/1801.15 c veclendiving : 0.00 0 0
1800.58/1801.15 c intdiving : 0.00 0 0
1800.58/1801.15 c actconsdiving : 0.00 0 0
1800.58/1801.15 c objpscostdiving : 0.00 0 0
1800.58/1801.15 c rootsoldiving : 0.00 0 0
1800.58/1801.15 c linesearchdiving : 0.00 0 0
1800.58/1801.15 c guideddiving : 0.00 0 0
1800.58/1801.15 c octane : 0.00 0 0
1800.58/1801.15 c rens : 0.66 1 0
1800.58/1801.15 c rins : 0.00 0 0
1800.58/1801.15 c localbranching : 0.00 0 0
1800.58/1801.15 c mutation : 0.00 0 0
1800.58/1801.15 c dins : 0.00 0 0
1800.58/1801.15 c undercover : 0.00 0 0
1800.58/1801.15 c nlp : 0.00 0 0
1800.58/1801.15 c trysol : 0.00 0 0
1800.58/1801.15 c LP : Time Calls Iterations Iter/call Iter/sec
1800.58/1801.15 c primal LP : 0.07 0 0 0.00 0.00
1800.58/1801.15 c dual LP : 223.80 9 23946 2660.67 107.00
1800.58/1801.15 c lex dual LP : 0.00 0 0 0.00 -
1800.58/1801.15 c barrier LP : 0.00 0 0 0.00 -
1800.58/1801.15 c diving/probing LP: 154.70 3 8278 2759.33 53.51
1800.58/1801.15 c strong branching : 998.66 100 100000 1000.00 100.13
1800.58/1801.15 c (at root node) : - 58 58000 1000.00 -
1800.58/1801.15 c conflict analysis: 0.00 0 0 0.00 -
1800.58/1801.15 c B&B Tree :
1800.58/1801.15 c number of runs : 1
1800.58/1801.15 c nodes : 3
1800.58/1801.15 c nodes (total) : 3
1800.58/1801.15 c nodes left : 4
1800.58/1801.15 c max depth : 2
1800.58/1801.15 c max depth (total): 2
1800.58/1801.15 c backtracks : 0 (0.0%)
1800.58/1801.15 c delayed cutoffs : 0
1800.58/1801.15 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.58/1801.15 c avg switch length: 1.00
1800.58/1801.15 c switching time : 0.09
1800.58/1801.15 c Solution :
1800.58/1801.15 c Solutions found : 0 (0 improvements)
1800.58/1801.15 c Primal Bound : -
1800.58/1801.15 c Dual Bound : +1.40000000000000e+02
1800.58/1801.15 c Gap : infinite
1800.58/1801.15 c Root Dual Bound : +1.40000000000000e+02
1800.58/1801.15 c Root Iterations : 27259
1800.88/1801.45 c Time complete: 1800.94.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667009-1276401208/watcher-2667009-1276401208 -o /tmp/evaluation-result-2667009-1276401208/solver-2667009-1276401208 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667009-1276401208.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.18 1.07 1.02 3/106 22518
/proc/meminfo: memFree=1752412/2059040 swapFree=4136464/4192956
[pid=22518] ppid=22516 vsize=7724 CPUtime=0
/proc/22518/stat : 22518 (pbscip.linux.x8) R 22516 22518 13713 0 -1 4202496 1020 0 0 0 0 0 0 0 15 0 1 0 15724867 7909376 940 1992294400 4194304 8223781 140735426125984 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22518/statm: 1931 949 348 984 0 944 0
[startup+0.0424701 s]
/proc/loadavg: 1.18 1.07 1.02 3/106 22518
/proc/meminfo: memFree=1752412/2059040 swapFree=4136464/4192956
[pid=22518] ppid=22516 vsize=12448 CPUtime=0.03
/proc/22518/stat : 22518 (pbscip.linux.x8) R 22516 22518 13713 0 -1 4202496 2417 0 0 0 3 0 0 0 17 0 1 0 15724867 12746752 2337 1992294400 4194304 8223781 140735426125984 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22518/statm: 3112 2337 365 984 0 2125 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12448
[startup+0.101475 s]
/proc/loadavg: 1.18 1.07 1.02 3/106 22518
/proc/meminfo: memFree=1752412/2059040 swapFree=4136464/4192956
[pid=22518] ppid=22516 vsize=13484 CPUtime=0.09
/proc/22518/stat : 22518 (pbscip.linux.x8) R 22516 22518 13713 0 -1 4202496 2686 0 0 0 9 0 0 0 17 0 1 0 15724867 13807616 2606 1992294400 4194304 8223781 140735426125984 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22518/statm: 3371 2606 365 984 0 2384 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13484
[startup+0.301499 s]
/proc/loadavg: 1.18 1.07 1.02 3/106 22518
/proc/meminfo: memFree=1752412/2059040 swapFree=4136464/4192956
[pid=22518] ppid=22516 vsize=18792 CPUtime=0.29
/proc/22518/stat : 22518 (pbscip.linux.x8) R 22516 22518 13713 0 -1 4202496 4011 0 0 0 28 1 0 0 17 0 1 0 15724867 19243008 3931 1992294400 4194304 8223781 140735426125984 18446744073709551615 4214042 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22518/statm: 4698 3931 365 984 0 3711 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18792
[startup+0.701545 s]
/proc/loadavg: 1.18 1.07 1.02 3/106 22518
/proc/meminfo: memFree=1752412/2059040 swapFree=4136464/4192956
[pid=22518] ppid=22516 vsize=25296 CPUtime=0.69
/proc/22518/stat : 22518 (pbscip.linux.x8) R 22516 22518 13713 0 -1 4202496 5612 0 0 0 67 2 0 0 17 0 1 0 15724867 25903104 5532 1992294400 4194304 8223781 140735426125984 18446744073709551615 7210444 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22518/statm: 6324 5532 365 984 0 5337 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25296
[startup+1.50164 s]
/proc/loadavg: 1.18 1.07 1.02 2/107 22519
/proc/meminfo: memFree=1725124/2059040 swapFree=4136464/4192956
[pid=22518] ppid=22516 vsize=91968 CPUtime=1.49
/proc/22518/stat : 22518 (pbscip.linux.x8) R 22516 22518 13713 0 -1 4202496 22339 0 0 0 137 12 0 0 18 0 1 0 15724867 94175232 21866 1992294400 4194304 8223781 140735426125984 18446744073709551615 4361616 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22518/statm: 22992 21866 440 984 0 22005 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 91968
[startup+3.10183 s]
/proc/loadavg: 1.16 1.07 1.02 2/107 22519
/proc/meminfo: memFree=1638200/2059040 swapFree=4136464/4192956
[pid=22518] ppid=22516 vsize=122100 CPUtime=3.09
/proc/22518/stat : 22518 (pbscip.linux.x8) R 22516 22518 13713 0 -1 4202496 35132 0 0 0 287 22 0 0 21 0 1 0 15724867 125030400 29422 1992294400 4194304 8223781 140735426125984 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22518/statm: 30525 29422 458 984 0 29538 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 122100
[startup+6.30121 s]
/proc/loadavg: 1.16 1.07 1.02 2/107 22519
/proc/meminfo: memFree=1635844/2059040 swapFree=4136464/4192956
[pid=22518] ppid=22516 vsize=123776 CPUtime=6.29
/proc/22518/stat : 22518 (pbscip.linux.x8) R 22516 22518 13713 0 -1 4202496 39549 0 0 0 601 28 0 0 25 0 1 0 15724867 126746624 29876 1992294400 4194304 8223781 140735426125984 18446744073709551615 5497079 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22518/statm: 30944 29876 472 984 0 29957 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 123776
[startup+12.702 s]
/proc/loadavg: 1.14 1.07 1.01 2/107 22519
/proc/meminfo: memFree=1633488/2059040 swapFree=4136464/4192956
[pid=22518] ppid=22516 vsize=124292 CPUtime=12.69
/proc/22518/stat : 22518 (pbscip.linux.x8) R 22516 22518 13713 0 -1 4202496 39677 0 0 0 1239 30 0 0 25 0 1 0 15724867 127275008 30004 1992294400 4194304 8223781 140735426125984 18446744073709551615 4853656 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22518/statm: 31073 30004 472 984 0 30086 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 124292
[startup+25.5015 s]
/proc/loadavg: 1.12 1.07 1.01 2/107 22521
/proc/meminfo: memFree=1627164/2059040 swapFree=4136464/4192956
[pid=22518] ppid=22516 vsize=192100 CPUtime=25.49
/proc/22518/stat : 22518 (pbscip.linux.x8) R 22516 22518 13713 0 -1 4202496 57073 0 0 0 2508 41 0 0 25 0 1 0 15724867 196710400 44804 1992294400 4194304 8223781 140735426125984 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22518/statm: 48025 44807 548 984 0 47038 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 192100
[startup+51.1015 s]
/proc/loadavg: 1.08 1.06 1.01 2/107 22521
/proc/meminfo: memFree=1560700/2059040 swapFree=4136464/4192956
[pid=22518] ppid=22516 vsize=211968 CPUtime=51.08
/proc/22518/stat : 22518 (pbscip.linux.x8) R 22516 22518 13713 0 -1 4202496 84311 0 0 0 5050 58 0 0 25 0 1 0 15724867 217055232 48279 1992294400 4194304 8223781 140735426125984 18446744073709551615 6570019 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22518/statm: 52992 48279 542 984 0 52005 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 211968
[startup+102.309 s]
/proc/loadavg: 1.03 1.05 1.01 2/107 22523
/proc/meminfo: memFree=1560328/2059040 swapFree=4136464/4192956
[pid=22518] ppid=22516 vsize=212364 CPUtime=102.27
/proc/22518/stat : 22518 (pbscip.linux.x8) R 22516 22518 13713 0 -1 4202496 114862 0 0 0 10149 78 0 0 25 0 1 0 15724867 217460736 48340 1992294400 4194304 8223781 140735426125984 18446744073709551615 6503370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22518/statm: 53091 48340 549 984 0 52104 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 212364
[startup+162.301 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 22523
/proc/meminfo: memFree=1559584/2059040 swapFree=4136464/4192956
[pid=22518] ppid=22516 vsize=214452 CPUtime=162.25
/proc/22518/stat : 22518 (pbscip.linux.x8) R 22516 22518 13713 0 -1 4202496 133234 0 0 0 16133 92 0 0 25 0 1 0 15724867 219598848 48499 1992294400 4194304 8223781 140735426125984 18446744073709551615 6563500 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22518/statm: 53613 48499 549 984 0 52626 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 214452
[startup+222.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 22525
/proc/meminfo: memFree=1559336/2059040 swapFree=4136464/4192956
[pid=22518] ppid=22516 vsize=215336 CPUtime=222.23
/proc/22518/stat : 22518 (pbscip.linux.x8) R 22516 22518 13713 0 -1 4202496 155320 0 0 0 22115 108 0 0 25 0 1 0 15724867 220504064 48596 1992294400 4194304 8223781 140735426125984 18446744073709551615 6563155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22518/statm: 53834 48596 551 984 0 52847 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 215336
[startup+282.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 22527
/proc/meminfo: memFree=1569008/2059040 swapFree=4136464/4192956
[pid=22518] ppid=22516 vsize=205916 CPUtime=282.21
/proc/22518/stat : 22518 (pbscip.linux.x8) R 22516 22518 13713 0 -1 4202496 2214887 0 0 0 27337 884 0 0 25 0 1 0 15724867 210857984 46083 1992294400 4194304 8223781 140735426125984 18446744073709551615 6299725 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22518/statm: 51479 46083 559 984 0 50492 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 205916
[startup+342.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 22529
/proc/meminfo: memFree=1542844/2059040 swapFree=4136464/4192956
[pid=22518] ppid=22516 vsize=233612 CPUtime=342.2
/proc/22518/stat : 22518 (pbscip.linux.x8) R 22516 22518 13713 0 -1 4202496 4474121 0 0 0 32573 1647 0 0 25 0 1 0 15724867 239218688 52688 1992294400 4194304 8223781 140735426125984 18446744073709551615 6300048 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22518/statm: 58403 52688 578 984 0 57416 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 233612
[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 22531
/proc/meminfo: memFree=1539124/2059040 swapFree=4136464/4192956
[pid=22518] ppid=22516 vsize=237336 CPUtime=402.18
/proc/22518/stat : 22518 (pbscip.linux.x8) R 22516 22518 13713 0 -1 4202496 7905197 0 0 0 37489 2729 0 0 25 0 1 0 15724867 243032064 53640 1992294400 4194304 8223781 140735426125984 18446744073709551615 6568510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22518/statm: 59334 53640 579 984 0 58347 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 237336
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22540
/proc/meminfo: memFree=1538504/2059040 swapFree=4136464/4192956
[pid=22518] ppid=22516 vsize=237472 CPUtime=462.15
/proc/22518/stat : 22518 (pbscip.linux.x8) R 22516 22518 13713 0 -1 4202496 11476503 0 0 0 42331 3884 0 0 25 0 1 0 15724867 243171328 53620 1992294400 4194304 8223781 140735426125984 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22518/statm: 59368 53620 579 984 0 58381 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 237472
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22542
/proc/meminfo: memFree=1538752/2059040 swapFree=4136464/4192956
[pid=22518] ppid=22516 vsize=237636 CPUtime=522.14
/proc/22518/stat : 22518 (pbscip.linux.x8) R 22516 22518 13713 0 -1 4202496 14941068 0 0 0 47202 5012 0 0 25 0 1 0 15724867 243339264 53646 1992294400 4194304 8223781 140735426125984 18446744073709551615 6299587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22518/statm: 59409 53646 579 984 0 58422 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 237636
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22544
/proc/meminfo: memFree=1537760/2059040 swapFree=4136464/4192956
[pid=22518] ppid=22516 vsize=238720 CPUtime=582.12
/proc/22518/stat : 22518 (pbscip.linux.x8) R 22516 22518 13713 0 -1 4202496 18325013 0 0 0 52108 6104 0 0 25 0 1 0 15724867 244449280 53917 1992294400 4194304 8223781 140735426125984 18446744073709551615 6570006 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22518/statm: 59680 53917 579 984 0 58693 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 238720
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22546
/proc/meminfo: memFree=1537264/2059040 swapFree=4136464/4192956
[pid=22518] ppid=22516 vsize=241524 CPUtime=642.11
/proc/22518/stat : 22518 (pbscip.linux.x8) R 22516 22518 13713 0 -1 4202496 20901518 0 0 0 57272 6939 0 0 25 0 1 0 15724867 247320576 54038 1992294400 4194304 8223781 140735426125984 18446744073709551615 6570002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22518/statm: 60381 54038 579 984 0 59394 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 241524
[startup+702.301 s]
################
# More data... #
################
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22554
/proc/meminfo: memFree=1536768/2059040 swapFree=4136464/4192956
[pid=22518] ppid=22516 vsize=241608 CPUtime=942.02
/proc/22518/stat : 22518 (pbscip.linux.x8) R 22516 22518 13713 0 -1 4202496 25024013 0 0 0 85820 8382 0 0 25 0 1 0 15724867 247406592 54117 1992294400 4194304 8223781 140735426125984 18446744073709551615 6251377 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22518/statm: 60402 54117 593 984 0 59415 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 241608
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22556
/proc/meminfo: memFree=1536520/2059040 swapFree=4136464/4192956
[pid=22518] ppid=22516 vsize=241724 CPUtime=1002.01
/proc/22518/stat : 22518 (pbscip.linux.x8) R 22516 22518 13713 0 -1 4202496 25110566 0 0 0 91769 8432 0 0 25 0 1 0 15724867 247525376 54155 1992294400 4194304 8223781 140735426125984 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22518/statm: 60431 54155 593 984 0 59444 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 241724
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22556
/proc/meminfo: memFree=1535776/2059040 swapFree=4136464/4192956
[pid=22518] ppid=22516 vsize=241640 CPUtime=1061.98
/proc/22518/stat : 22518 (pbscip.linux.x8) R 22516 22518 13713 0 -1 4202496 25190866 0 0 0 97720 8478 0 0 25 0 1 0 15724867 247439360 54337 1992294400 4194304 8223781 140735426125984 18446744073709551615 6569483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22518/statm: 60410 54337 593 984 0 59423 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 241640
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22558
/proc/meminfo: memFree=1535900/2059040 swapFree=4136464/4192956
[pid=22518] ppid=22516 vsize=241824 CPUtime=1121.97
/proc/22518/stat : 22518 (pbscip.linux.x8) R 22516 22518 13713 0 -1 4202496 25272396 0 0 0 103674 8523 0 0 25 0 1 0 15724867 247627776 54333 1992294400 4194304 8223781 140735426125984 18446744073709551615 6569990 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22518/statm: 60456 54333 593 984 0 59469 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 241824
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22560
/proc/meminfo: memFree=1540736/2059040 swapFree=4136464/4192956
[pid=22518] ppid=22516 vsize=240480 CPUtime=1181.95
/proc/22518/stat : 22518 (pbscip.linux.x8) R 22516 22518 13713 0 -1 4202496 25351533 0 0 0 109624 8571 0 0 25 0 1 0 15724867 246251520 53906 1992294400 4194304 8223781 140735426125984 18446744073709551615 6567505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22518/statm: 60120 53906 593 984 0 59133 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 240480
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22565
/proc/meminfo: memFree=1539992/2059040 swapFree=4136464/4192956
[pid=22518] ppid=22516 vsize=240480 CPUtime=1241.94
/proc/22518/stat : 22518 (pbscip.linux.x8) R 22516 22518 13713 0 -1 4202496 25435302 0 0 0 115573 8621 0 0 25 0 1 0 15724867 246251520 53396 1992294400 4194304 8223781 140735426125984 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22518/statm: 60120 53396 593 984 0 59133 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 240480
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22567
/proc/meminfo: memFree=1539868/2059040 swapFree=4136464/4192956
[pid=22518] ppid=22516 vsize=240480 CPUtime=1301.92
/proc/22518/stat : 22518 (pbscip.linux.x8) R 22516 22518 13713 0 -1 4202496 25519000 0 0 0 121522 8670 0 0 25 0 1 0 15724867 246251520 53177 1992294400 4194304 8223781 140735426125984 18446744073709551615 6446989 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22518/statm: 60120 53177 593 984 0 59133 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 240480
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22567
/proc/meminfo: memFree=1535900/2059040 swapFree=4136464/4192956
[pid=22518] ppid=22516 vsize=241984 CPUtime=1361.91
/proc/22518/stat : 22518 (pbscip.linux.x8) R 22516 22518 13713 0 -1 4202496 25586901 0 0 0 127478 8713 0 0 25 0 1 0 15724867 247791616 54180 1992294400 4194304 8223781 140735426125984 18446744073709551615 6568490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22518/statm: 60496 54180 593 984 0 59509 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 241984
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22569
/proc/meminfo: memFree=1535652/2059040 swapFree=4136464/4192956
[pid=22518] ppid=22516 vsize=241844 CPUtime=1421.9
/proc/22518/stat : 22518 (pbscip.linux.x8) R 22516 22518 13713 0 -1 4202496 25660744 0 0 0 133432 8758 0 0 25 0 1 0 15724867 247648256 54258 1992294400 4194304 8223781 140735426125984 18446744073709551615 6569888 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22518/statm: 60461 54258 593 984 0 59474 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 241844
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22571
/proc/meminfo: memFree=1535156/2059040 swapFree=4136464/4192956
[pid=22518] ppid=22516 vsize=242388 CPUtime=1481.88
/proc/22518/stat : 22518 (pbscip.linux.x8) R 22516 22518 13713 0 -1 4202496 25733967 0 0 0 139387 8801 0 0 25 0 1 0 15724867 248205312 54354 1992294400 4194304 8223781 140735426125984 18446744073709551615 6568077 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22518/statm: 60597 54354 593 984 0 59610 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 242388
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22573
/proc/meminfo: memFree=1534288/2059040 swapFree=4136464/4192956
[pid=22518] ppid=22516 vsize=243024 CPUtime=1541.86
/proc/22518/stat : 22518 (pbscip.linux.x8) R 22516 22518 13713 0 -1 4202496 25797992 0 0 0 145343 8843 0 0 25 0 1 0 15724867 248856576 54604 1992294400 4194304 8223781 140735426125984 18446744073709551615 6569998 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22518/statm: 60756 54604 593 984 0 59769 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 243024
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22575
/proc/meminfo: memFree=1534040/2059040 swapFree=4136464/4192956
[pid=22518] ppid=22516 vsize=242084 CPUtime=1601.84
/proc/22518/stat : 22518 (pbscip.linux.x8) R 22516 22518 13713 0 -1 4202496 25878055 0 0 0 151294 8890 0 0 25 0 1 0 15724867 247894016 54665 1992294400 4194304 8223781 140735426125984 18446744073709551615 6568401 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22518/statm: 60521 54665 593 984 0 59534 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 242084
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22575
/proc/meminfo: memFree=1534784/2059040 swapFree=4136464/4192956
[pid=22518] ppid=22516 vsize=242464 CPUtime=1661.82
/proc/22518/stat : 22518 (pbscip.linux.x8) R 22516 22518 13713 0 -1 4202496 25962256 0 0 0 157244 8938 0 0 25 0 1 0 15724867 248283136 54517 1992294400 4194304 8223781 140735426125984 18446744073709551615 6569990 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22518/statm: 60616 54517 593 984 0 59629 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 242464
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22577
/proc/meminfo: memFree=1535900/2059040 swapFree=4136464/4192956
[pid=22518] ppid=22516 vsize=242272 CPUtime=1721.8
/proc/22518/stat : 22518 (pbscip.linux.x8) R 22516 22518 13713 0 -1 4202496 26046284 0 0 0 163194 8986 0 0 25 0 1 0 15724867 248086528 54571 1992294400 4194304 8223781 140735426125984 18446744073709551615 6570002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22518/statm: 60568 54571 593 984 0 59581 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 242272
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22579
/proc/meminfo: memFree=1538504/2059040 swapFree=4136464/4192956
[pid=22518] ppid=22516 vsize=241144 CPUtime=1781.79
/proc/22518/stat : 22518 (pbscip.linux.x8) R 22516 22518 13713 0 -1 4202496 26132584 0 0 0 169140 9039 0 0 25 0 1 0 15724867 246931456 53798 1992294400 4194304 8223781 140735426125984 18446744073709551615 6568510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22518/statm: 60286 53798 593 984 0 59299 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 241144
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22579
/proc/meminfo: memFree=1534536/2059040 swapFree=4136464/4192956
[pid=22518] ppid=22516 vsize=242344 CPUtime=1800.1
/proc/22518/stat : 22518 (pbscip.linux.x8) R 22516 22518 13713 0 -1 4202496 26156949 0 0 0 170956 9054 0 0 25 0 1 0 15724867 248160256 54500 1992294400 4194304 8223781 140735426125984 18446744073709551615 6569994 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22518/statm: 60586 54500 593 984 0 59599 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 242344
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 22579
/proc/meminfo: memFree=1534536/2059040 swapFree=4136464/4192956
[pid=22518] ppid=22516 vsize=242344 CPUtime=1800.48
/proc/22518/stat : 22518 (pbscip.linux.x8) R 22516 22518 13713 0 -1 4202496 26156964 0 0 0 170994 9054 0 0 25 0 1 0 15724867 248160256 54515 1992294400 4194304 8223781 140735426125984 18446744073709551615 6502720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22518/statm: 60586 54515 593 984 0 59599 0
Current children cumulated CPU time (s) 1800.48
Current children cumulated vsize (KiB) 242344
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22579
/proc/meminfo: memFree=1534536/2059040 swapFree=4136464/4192956
[pid=22518] ppid=22516 vsize=186096 CPUtime=1800.88
/proc/22518/stat : 22518 (pbscip.linux.x8) R 22516 22518 13713 0 -1 4202496 26157095 0 0 0 171033 9055 0 0 25 0 1 0 15724867 190562304 41634 1992294400 4194304 8223781 140735426125984 18446744073709551615 4698824 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22518/statm: 46524 41634 595 984 0 45537 0
Current children cumulated CPU time (s) 1800.88
Current children cumulated vsize (KiB) 186096
Child status: 0
Real time (s): 1801.45
CPU time (s): 1800.95
CPU user time (s): 1710.37
CPU system time (s): 90.5812
CPU usage (%): 99.9719
Max. virtual memory (cumulated for all children) (KiB): 328028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1710.37
system time used= 90.5812
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26157099
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= 1542
runsolver used 3.03454 second user time and 8.46371 second system time
The end