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-2665529-1276378979.opb>
10.69/10.79 c original problem has 10000 variables (10000 bin, 0 int, 0 impl, 0 cont) and 656900 constraints
10.69/10.79 c problem read
10.69/10.79 c presolving settings loaded
13.59/13.69 c presolving:
25.48/25.57 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 656900 upgd conss, 1313400 impls, 0 clqs
30.98/31.07 c (17.9s) probing: 101/10000 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
30.98/31.07 c (17.9s) probing aborted: 100/100 successive totally useless probings
30.98/31.07 c presolving (2 rounds):
30.98/31.07 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
30.98/31.07 c 1313400 implications, 0 cliques
30.98/31.07 c presolved problem has 10000 variables (10000 bin, 0 int, 0 impl, 0 cont) and 656900 constraints
30.98/31.07 c 656900 constraints of type <logicor>
30.98/31.07 c transformed objective value is always integral (scale: 1)
30.98/31.07 c Presolving Time: 15.99
30.98/31.07 c - non default parameters ----------------------------------------------------------------------
30.98/31.07 c # SCIP version 1.2.1.2
30.98/31.07 c
30.98/31.07 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
30.98/31.07 c # [type: int, range: [-1,2147483647], default: -1]
30.98/31.07 c conflict/interconss = 0
30.98/31.07 c
30.98/31.07 c # should binary conflicts be preferred?
30.98/31.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
30.98/31.07 c conflict/preferbinary = TRUE
30.98/31.07 c
30.98/31.07 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
30.98/31.07 c # [type: int, range: [-1,2147483647], default: 0]
30.98/31.07 c constraints/agelimit = 1
30.98/31.07 c
30.98/31.07 c # should enforcement of pseudo solution be disabled?
30.98/31.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
30.98/31.07 c constraints/disableenfops = TRUE
30.98/31.07 c
30.98/31.07 c # frequency for displaying node information lines
30.98/31.07 c # [type: int, range: [-1,2147483647], default: 100]
30.98/31.07 c display/freq = 10000
30.98/31.07 c
30.98/31.07 c # maximal time in seconds to run
30.98/31.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
30.98/31.07 c limits/time = 1789.22
30.98/31.07 c
30.98/31.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
30.98/31.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
30.98/31.07 c limits/memory = 1620
30.98/31.07 c
30.98/31.07 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
30.98/31.07 c # [type: int, range: [-1,2147483647], default: 1]
30.98/31.07 c lp/solvefreq = 0
30.98/31.07 c
30.98/31.07 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
30.98/31.07 c # [type: char, range: {lafpsqd}, default: l]
30.98/31.07 c lp/pricing = a
30.98/31.07 c
30.98/31.07 c # should presolving try to simplify inequalities
30.98/31.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
30.98/31.07 c constraints/linear/simplifyinequalities = TRUE
30.98/31.07 c
30.98/31.07 c # should presolving try to simplify knapsacks
30.98/31.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
30.98/31.07 c constraints/knapsack/simplifyinequalities = TRUE
30.98/31.07 c
30.98/31.07 c # priority of node selection rule <dfs> in standard mode
30.98/31.07 c # [type: int, range: [-536870912,536870911], default: 0]
30.98/31.07 c nodeselection/dfs/stdpriority = 1000000
30.98/31.07 c
30.98/31.07 c -----------------------------------------------------------------------------------------------
30.98/31.07 c start solving
31.08/31.12 c
47.58/47.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.58/47.65 c 33.8s| 1 | 0 | 623 | - | 735M| 0 | 275 | 10k| 656k| 10k| 656k| 0 | 0 | 0 | 1.972643e+02 | -- | Inf
208.23/208.31 c 193s| 1 | 0 | 971 | - | 736M| 0 | 269 | 10k| 656k| 10k| 656k| 11 | 0 | 0 | 2.021645e+02 | -- | Inf
315.31/315.42 c 299s| 1 | 0 | 1538 | - | 744M| 0 | 271 | 10k| 656k| 10k| 656k| 24 | 0 | 0 | 2.084698e+02 | -- | Inf
420.87/421.04 c 404s| 1 | 0 | 2012 | - | 745M| 0 | 284 | 10k| 656k| 10k| 656k| 36 | 0 | 0 | 2.130349e+02 | -- | Inf
1015.31/1015.69 c 998s| 1 | 0 | 2413 | - | 745M| 0 | 287 | 10k| 656k| 10k| 656k| 42 | 0 | 0 | 2.161946e+02 | -- | Inf
1319.61/1320.08 c 1301s| 1 | 0 | 2713 | - | 745M| 0 | 297 | 10k| 656k| 10k| 656k| 50 | 0 | 0 | 2.185387e+02 | -- | Inf
1612.72/1613.21 c 1594s| 1 | 0 | 3020 | - | 745M| 0 | 291 | 10k| 656k| 10k| 656k| 57 | 0 | 0 | 2.205162e+02 | -- | Inf
1800.08/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.69 c 1781s| 1 | 2 | 3020 | - | 745M| 0 | 291 | 10k| 656k| 10k| 656k| 57 | 0 | 0 | 2.205162e+02 | -- | Inf
1800.08/1800.69 c
1800.08/1800.69 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.69 c Solving Time (sec) : 1780.97
1800.08/1800.69 c Solving Nodes : 1
1800.08/1800.69 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.08/1800.69 c Dual Bound : +2.20516151211837e+02
1800.08/1800.69 c Gap : infinite
1800.08/1800.69 s UNKNOWN
1800.08/1800.69 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.69 c Solving Time : 1780.97
1800.08/1800.69 c Original Problem :
1800.08/1800.69 c Problem name : HOME/instance-2665529-1276378979.opb
1800.08/1800.69 c Variables : 10000 (10000 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.69 c Constraints : 656900 initial, 656900 maximal
1800.08/1800.69 c Presolved Problem :
1800.08/1800.69 c Problem name : t_HOME/instance-2665529-1276378979.opb
1800.08/1800.69 c Variables : 10000 (10000 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.69 c Constraints : 656900 initial, 656900 maximal
1800.08/1800.69 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.69 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.69 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.69 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.69 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.69 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.69 c probing : 4.15 0 0 0 0 0 0 0 0
1800.08/1800.69 c logicor : 2.88 0 0 0 0 0 0 0 0
1800.08/1800.69 c root node : - 0 - - 0 - - - -
1800.08/1800.69 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.69 c integral : 0 0 0 1 0 0 0 0 0 2
1800.08/1800.69 c logicor : 656900 7 201 0 0 0 0 0 0 0
1800.08/1800.69 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.69 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.69 c integral : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.69 c logicor : 3.33 0.56 2.77 0.00 0.00
1800.08/1800.69 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.69 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.69 c vbounds : 0.00 2 0 0
1800.08/1800.69 c rootredcost : 0.00 0 0 0
1800.08/1800.69 c pseudoobj : 0.01 8 0 0
1800.08/1800.69 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.69 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.08/1800.69 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.69 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.69 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.69 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.08/1800.69 c applied globally : - - - 0 0.0 - - -
1800.08/1800.69 c applied locally : - - - 0 0.0 - - -
1800.08/1800.69 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.69 c cut pool : 0.04 6 - - 0 - (maximal pool size: 127)
1800.08/1800.69 c redcost : 0.03 7 0 0 0 0
1800.08/1800.69 c impliedbounds : 0.02 7 0 0 0 0
1800.08/1800.69 c intobj : 0.00 0 0 0 0 0
1800.08/1800.69 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.69 c gomory : 707.52 7 0 0 2500 0
1800.08/1800.69 c strongcg : 512.51 6 0 0 2500 0
1800.08/1800.69 c cmir : 28.68 6 0 0 0 0
1800.08/1800.69 c flowcover : 394.26 6 0 0 0 0
1800.08/1800.69 c clique : 3.06 6 0 0 36 0
1800.08/1800.69 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.69 c mcf : 1.15 1 0 0 0 0
1800.08/1800.69 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.69 c Pricers : Time Calls Vars
1800.08/1800.69 c problem variables: 0.00 0 0
1800.08/1800.69 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.69 c relpscost : 0.00 1 0 0 0 0 2
1800.08/1800.69 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.69 c inference : 0.00 0 0 0 0 0 0
1800.08/1800.69 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.69 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.69 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.69 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.69 c random : 0.00 0 0 0 0 0 0
1800.08/1800.69 c Primal Heuristics : Time Calls Found
1800.08/1800.69 c LP solutions : 0.00 - 0
1800.08/1800.69 c pseudo solutions : 0.00 - 0
1800.08/1800.69 c oneopt : 0.00 0 0
1800.08/1800.69 c crossover : 0.00 0 0
1800.08/1800.69 c trivial : 1.00 2 0
1800.08/1800.69 c simplerounding : 0.00 0 0
1800.08/1800.69 c zirounding : 0.08 1 0
1800.08/1800.69 c rounding : 0.61 7 0
1800.08/1800.69 c shifting : 0.94 7 0
1800.08/1800.69 c intshifting : 0.00 0 0
1800.08/1800.69 c twoopt : 0.00 0 0
1800.08/1800.69 c fixandinfer : 0.00 0 0
1800.08/1800.69 c feaspump : 7.77 1 0
1800.08/1800.69 c coefdiving : 0.00 0 0
1800.08/1800.69 c pscostdiving : 0.00 0 0
1800.08/1800.69 c fracdiving : 0.00 0 0
1800.08/1800.69 c veclendiving : 0.00 0 0
1800.08/1800.69 c intdiving : 0.00 0 0
1800.08/1800.69 c actconsdiving : 0.00 0 0
1800.08/1800.69 c objpscostdiving : 0.00 0 0
1800.08/1800.69 c rootsoldiving : 0.00 0 0
1800.08/1800.69 c linesearchdiving : 0.00 0 0
1800.08/1800.69 c guideddiving : 0.00 0 0
1800.08/1800.69 c octane : 0.00 0 0
1800.08/1800.69 c rens : 0.00 0 0
1800.08/1800.69 c rins : 0.00 0 0
1800.08/1800.69 c localbranching : 0.00 0 0
1800.08/1800.69 c mutation : 0.00 0 0
1800.08/1800.69 c dins : 0.00 0 0
1800.08/1800.69 c undercover : 0.00 0 0
1800.08/1800.69 c nlp : 0.00 0 0
1800.08/1800.69 c trysol : 0.00 0 0
1800.08/1800.69 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.69 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.69 c dual LP : 100.87 7 3020 431.43 29.94
1800.08/1800.69 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.69 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.69 c diving/probing LP: 6.33 0 0 0.00 0.00
1800.08/1800.69 c strong branching : 0.00 0 0 0.00 -
1800.08/1800.69 c (at root node) : - 0 0 0.00 -
1800.08/1800.69 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.69 c B&B Tree :
1800.08/1800.69 c number of runs : 1
1800.08/1800.69 c nodes : 1
1800.08/1800.69 c nodes (total) : 1
1800.08/1800.69 c nodes left : 2
1800.08/1800.69 c max depth : 0
1800.08/1800.69 c max depth (total): 0
1800.08/1800.69 c backtracks : 0 (0.0%)
1800.08/1800.69 c delayed cutoffs : 0
1800.08/1800.69 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.08/1800.69 c avg switch length: 1.00
1800.08/1800.69 c switching time : 0.00
1800.08/1800.69 c Solution :
1800.08/1800.69 c Solutions found : 0 (0 improvements)
1800.08/1800.69 c Primal Bound : -
1800.08/1800.69 c Dual Bound : +2.20516151211837e+02
1800.08/1800.69 c Gap : infinite
1800.08/1800.69 c Root Dual Bound : +2.20516151211837e+02
1800.08/1800.69 c Root Iterations : 3020
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665529-1276378979/watcher-2665529-1276378979 -o /tmp/evaluation-result-2665529-1276378979/solver-2665529-1276378979 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665529-1276378979.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: 0.89 0.98 1.09 3/106 12513
/proc/meminfo: memFree=1837560/2059040 swapFree=4163504/4192956
[pid=12513] ppid=12511 vsize=8260 CPUtime=0
/proc/12513/stat : 12513 (pbscip.linux.x8) R 12511 12513 12488 0 -1 4202496 1011 0 0 0 0 0 0 0 20 0 1 0 13501910 8458240 931 1992294400 4194304 9819077 140736004724896 18446744073709551615 8610878 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12513/statm: 2065 931 366 1374 0 686 0
[startup+0.053482 s]
/proc/loadavg: 0.89 0.98 1.09 3/106 12513
/proc/meminfo: memFree=1837560/2059040 swapFree=4163504/4192956
[pid=12513] ppid=12511 vsize=18896 CPUtime=0.04
/proc/12513/stat : 12513 (pbscip.linux.x8) R 12511 12513 12488 0 -1 4202496 3681 0 0 0 3 1 0 0 20 0 1 0 13501910 19349504 3597 1992294400 4194304 9819077 140736004724896 18446744073709551615 4525424 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12513/statm: 4724 3597 390 1374 0 3345 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 18896
[startup+0.101486 s]
/proc/loadavg: 0.89 0.98 1.09 3/106 12513
/proc/meminfo: memFree=1837560/2059040 swapFree=4163504/4192956
[pid=12513] ppid=12511 vsize=20380 CPUtime=0.09
/proc/12513/stat : 12513 (pbscip.linux.x8) R 12511 12513 12488 0 -1 4202496 4037 0 0 0 8 1 0 0 20 0 1 0 13501910 20869120 3951 1992294400 4194304 9819077 140736004724896 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12513/statm: 5095 3951 388 1374 0 3716 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20380
[startup+0.301505 s]
/proc/loadavg: 0.89 0.98 1.09 3/106 12513
/proc/meminfo: memFree=1837560/2059040 swapFree=4163504/4192956
[pid=12513] ppid=12511 vsize=24280 CPUtime=0.29
/proc/12513/stat : 12513 (pbscip.linux.x8) R 12511 12513 12488 0 -1 4202496 5027 0 0 0 28 1 0 0 20 0 1 0 13501910 24862720 4941 1992294400 4194304 9819077 140736004724896 18446744073709551615 4213900 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12513/statm: 6070 4941 388 1374 0 4691 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24280
[startup+0.701543 s]
/proc/loadavg: 0.89 0.98 1.09 3/106 12513
/proc/meminfo: memFree=1837560/2059040 swapFree=4163504/4192956
[pid=12513] ppid=12511 vsize=33168 CPUtime=0.69
/proc/12513/stat : 12513 (pbscip.linux.x8) R 12511 12513 12488 0 -1 4202496 7215 0 0 0 67 2 0 0 21 0 1 0 13501910 33964032 7129 1992294400 4194304 9819077 140736004724896 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12513/statm: 8292 7129 388 1374 0 6913 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33168
[startup+1.50162 s]
/proc/loadavg: 0.89 0.98 1.09 2/107 12514
/proc/meminfo: memFree=1803948/2059040 swapFree=4163504/4192956
[pid=12513] ppid=12511 vsize=49764 CPUtime=1.49
/proc/12513/stat : 12513 (pbscip.linux.x8) R 12511 12513 12488 0 -1 4202496 11365 0 0 0 145 4 0 0 23 0 1 0 13501910 50958336 11279 1992294400 4194304 9819077 140736004724896 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12513/statm: 12441 11279 388 1374 0 11062 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49764
[startup+3.10077 s]
/proc/loadavg: 0.89 0.98 1.09 2/107 12514
/proc/meminfo: memFree=1780512/2059040 swapFree=4163504/4192956
[pid=12513] ppid=12511 vsize=82784 CPUtime=3.09
/proc/12513/stat : 12513 (pbscip.linux.x8) R 12511 12513 12488 0 -1 4202496 19644 0 0 0 302 7 0 0 25 0 1 0 13501910 84770816 19558 1992294400 4194304 9819077 140736004724896 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12513/statm: 20696 19558 388 1374 0 19317 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 82784
[startup+6.30107 s]
/proc/loadavg: 0.90 0.98 1.09 2/107 12514
/proc/meminfo: memFree=1713552/2059040 swapFree=4163504/4192956
[pid=12513] ppid=12511 vsize=149276 CPUtime=6.29
/proc/12513/stat : 12513 (pbscip.linux.x8) R 12511 12513 12488 0 -1 4202496 36242 0 0 0 615 14 0 0 25 0 1 0 13501910 152858624 36156 1992294400 4194304 9819077 140736004724896 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12513/statm: 37319 36156 388 1374 0 35940 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 149276
[startup+12.7007 s]
/proc/loadavg: 0.91 0.98 1.09 2/107 12514
/proc/meminfo: memFree=1333864/2059040 swapFree=4163504/4192956
[pid=12513] ppid=12511 vsize=591676 CPUtime=12.69
/proc/12513/stat : 12513 (pbscip.linux.x8) R 12511 12513 12488 0 -1 4202496 147341 0 0 0 1215 54 0 0 25 0 1 0 13501910 605876224 146210 1992294400 4194304 9819077 140736004724896 18446744073709551615 4906691 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12513/statm: 147919 146210 438 1374 0 146540 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 591676
[startup+25.5009 s]
/proc/loadavg: 0.93 0.98 1.08 2/107 12514
/proc/meminfo: memFree=1182336/2059040 swapFree=4163504/4192956
[pid=12513] ppid=12511 vsize=666640 CPUtime=25.48
/proc/12513/stat : 12513 (pbscip.linux.x8) R 12511 12513 12488 0 -1 4202496 236570 0 0 0 2329 219 0 0 25 0 1 0 13501910 682639360 163922 1992294400 4194304 9819077 140736004724896 18446744073709551615 6180545 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12513/statm: 166660 163922 490 1374 0 165281 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 666640
[startup+51.1013 s]
/proc/loadavg: 0.95 0.98 1.08 2/107 12514
/proc/meminfo: memFree=671084/2059040 swapFree=4163504/4192956
[pid=12513] ppid=12511 vsize=1457504 CPUtime=51.07
/proc/12513/stat : 12513 (pbscip.linux.x8) R 12511 12513 12488 0 -1 4202496 534105 0 0 0 4751 356 0 0 25 0 1 0 13501910 1492484096 291465 1992294400 4194304 9819077 140736004724896 18446744073709551615 7816457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12513/statm: 364376 291465 640 1374 0 362997 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1457504
[startup+102.309 s]
/proc/loadavg: 0.98 0.98 1.08 2/107 12516
/proc/meminfo: memFree=684724/2059040 swapFree=4163504/4192956
[pid=12513] ppid=12511 vsize=1444220 CPUtime=102.27
/proc/12513/stat : 12513 (pbscip.linux.x8) R 12511 12513 12488 0 -1 4202496 695899 0 0 0 9802 425 0 0 25 0 1 0 13501910 1478881280 288228 1992294400 4194304 9819077 140736004724896 18446744073709551615 6555649 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12513/statm: 361055 288228 652 1374 0 359676 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1444220
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 1.07 2/107 12518
/proc/meminfo: memFree=669968/2059040 swapFree=4163504/4192956
[pid=12513] ppid=12511 vsize=1468708 CPUtime=162.25
/proc/12513/stat : 12513 (pbscip.linux.x8) R 12511 12513 12488 0 -1 4202496 699581 0 0 0 15794 431 0 0 25 0 1 0 13501910 1503956992 291910 1992294400 4194304 9819077 140736004724896 18446744073709551615 5743107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12513/statm: 367177 291910 659 1374 0 365798 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1468708
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 1.06 2/107 12520
/proc/meminfo: memFree=654840/2059040 swapFree=4163504/4192956
[pid=12513] ppid=12511 vsize=1488360 CPUtime=222.23
/proc/12513/stat : 12513 (pbscip.linux.x8) R 12511 12513 12488 0 -1 4202496 806987 0 0 0 21707 516 0 0 25 0 1 0 13501910 1524080640 295849 1992294400 4194304 9819077 140736004724896 18446744073709551615 6555649 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12513/statm: 372090 295849 675 1374 0 370711 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1488360
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 1.06 2/107 12520
/proc/meminfo: memFree=627312/2059040 swapFree=4163504/4192956
[pid=12513] ppid=12511 vsize=1516596 CPUtime=282.21
/proc/12513/stat : 12513 (pbscip.linux.x8) R 12511 12513 12488 0 -1 4202496 813681 0 0 0 27702 519 0 0 25 0 1 0 13501910 1552994304 302543 1992294400 4194304 9819077 140736004724896 18446744073709551615 5743088 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12513/statm: 379149 302543 675 1374 0 377770 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1516596
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 1.05 2/107 12522
/proc/meminfo: memFree=620244/2059040 swapFree=4163504/4192956
[pid=12513] ppid=12511 vsize=1524148 CPUtime=342.2
/proc/12513/stat : 12513 (pbscip.linux.x8) R 12511 12513 12488 0 -1 4202496 912363 0 0 0 33656 564 0 0 25 0 1 0 13501910 1560727552 304305 1992294400 4194304 9819077 140736004724896 18446744073709551615 5743112 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12513/statm: 381037 304305 675 1374 0 379658 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1524148
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 1.05 2/107 12524
/proc/meminfo: memFree=620244/2059040 swapFree=4163504/4192956
[pid=12513] ppid=12511 vsize=1524148 CPUtime=402.18
/proc/12513/stat : 12513 (pbscip.linux.x8) R 12511 12513 12488 0 -1 4202496 912363 0 0 0 39654 564 0 0 25 0 1 0 13501910 1560727552 304305 1992294400 4194304 9819077 140736004724896 18446744073709551615 6043589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12513/statm: 381037 304305 675 1374 0 379658 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1524148
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 1.04 2/107 12526
/proc/meminfo: memFree=620368/2059040 swapFree=4163504/4192956
[pid=12513] ppid=12511 vsize=1523144 CPUtime=462.16
/proc/12513/stat : 12513 (pbscip.linux.x8) R 12511 12513 12488 0 -1 4202496 1007437 0 0 0 45608 608 0 0 25 0 1 0 13501910 1559699456 304125 1992294400 4194304 9819077 140736004724896 18446744073709551615 6043587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12513/statm: 380786 304125 677 1374 0 379407 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1523144
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 1.04 2/107 12528
/proc/meminfo: memFree=620244/2059040 swapFree=4163504/4192956
[pid=12513] ppid=12511 vsize=1523144 CPUtime=522.15
/proc/12513/stat : 12513 (pbscip.linux.x8) R 12511 12513 12488 0 -1 4202496 1007437 0 0 0 51597 618 0 0 25 0 1 0 13501910 1559699456 304125 1992294400 4194304 9819077 140736004724896 18446744073709551615 6555649 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12513/statm: 380786 304125 677 1374 0 379407 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1523144
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 1.03 2/107 12528
/proc/meminfo: memFree=620120/2059040 swapFree=4163504/4192956
[pid=12513] ppid=12511 vsize=1523144 CPUtime=582.13
/proc/12513/stat : 12513 (pbscip.linux.x8) R 12511 12513 12488 0 -1 4202496 1007437 0 0 0 57587 626 0 0 25 0 1 0 13501910 1559699456 304125 1992294400 4194304 9819077 140736004724896 18446744073709551615 6555649 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12513/statm: 380786 304125 677 1374 0 379407 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 1523144
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 1.02 2/107 12530
/proc/meminfo: memFree=620120/2059040 swapFree=4163504/4192956
[pid=12513] ppid=12511 vsize=1523144 CPUtime=642.12
/proc/12513/stat : 12513 (pbscip.linux.x8) R 12511 12513 12488 0 -1 4202496 1007437 0 0 0 63577 635 0 0 25 0 1 0 13501910 1559699456 304125 1992294400 4194304 9819077 140736004724896 18446744073709551615 6043589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12513/statm: 380786 304125 677 1374 0 379407 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 1523144
[startup+702.301 s]
################
# More data... #
################
/proc/12513/stat : 12513 (pbscip.linux.x8) R 12511 12513 12488 0 -1 4202496 1101351 0 0 0 105470 729 0 0 25 0 1 0 13501910 1560100864 304180 1992294400 4194304 9819077 140736004724896 18446744073709551615 6043570 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12513/statm: 380884 304180 677 1374 0 379505 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 1523536
[startup+1122.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 12553
/proc/meminfo: memFree=618944/2059040 swapFree=4163504/4192956
[pid=12513] ppid=12511 vsize=1523536 CPUtime=1121.95
/proc/12513/stat : 12513 (pbscip.linux.x8) R 12511 12513 12488 0 -1 4202496 1101351 0 0 0 111455 740 0 0 25 0 1 0 13501910 1560100864 304180 1992294400 4194304 9819077 140736004724896 18446744073709551615 6555649 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12513/statm: 380884 304180 677 1374 0 379505 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 1523536
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12553
/proc/meminfo: memFree=618944/2059040 swapFree=4163504/4192956
[pid=12513] ppid=12511 vsize=1523536 CPUtime=1181.94
/proc/12513/stat : 12513 (pbscip.linux.x8) R 12511 12513 12488 0 -1 4202496 1101993 0 0 0 117442 752 0 0 25 0 1 0 13501910 1560100864 304180 1992294400 4194304 9819077 140736004724896 18446744073709551615 6555649 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12513/statm: 380884 304180 677 1374 0 379505 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 1523536
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12555
/proc/meminfo: memFree=619068/2059040 swapFree=4163504/4192956
[pid=12513] ppid=12511 vsize=1523536 CPUtime=1241.92
/proc/12513/stat : 12513 (pbscip.linux.x8) R 12511 12513 12488 0 -1 4202496 1101993 0 0 0 123430 762 0 0 25 0 1 0 13501910 1560100864 304180 1992294400 4194304 9819077 140736004724896 18446744073709551615 5743107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12513/statm: 380884 304180 677 1374 0 379505 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1523536
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12557
/proc/meminfo: memFree=619068/2059040 swapFree=4163504/4192956
[pid=12513] ppid=12511 vsize=1523536 CPUtime=1301.91
/proc/12513/stat : 12513 (pbscip.linux.x8) R 12511 12513 12488 0 -1 4202496 1101993 0 0 0 129429 762 0 0 25 0 1 0 13501910 1560100864 304180 1992294400 4194304 9819077 140736004724896 18446744073709551615 5743109 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12513/statm: 380884 304180 677 1374 0 379505 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1523536
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12559
/proc/meminfo: memFree=618944/2059040 swapFree=4163504/4192956
[pid=12513] ppid=12511 vsize=1523900 CPUtime=1361.89
/proc/12513/stat : 12513 (pbscip.linux.x8) R 12511 12513 12488 0 -1 4202496 1193895 0 0 0 135387 802 0 0 25 0 1 0 13501910 1560473600 304228 1992294400 4194304 9819077 140736004724896 18446744073709551615 6555680 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12513/statm: 380975 304228 677 1374 0 379596 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1523900
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12561
/proc/meminfo: memFree=618944/2059040 swapFree=4163504/4192956
[pid=12513] ppid=12511 vsize=1523900 CPUtime=1421.89
/proc/12513/stat : 12513 (pbscip.linux.x8) R 12511 12513 12488 0 -1 4202496 1194537 0 0 0 141380 809 0 0 25 0 1 0 13501910 1560473600 304228 1992294400 4194304 9819077 140736004724896 18446744073709551615 6555649 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12513/statm: 380975 304228 677 1374 0 379596 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1523900
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12561
/proc/meminfo: memFree=618944/2059040 swapFree=4163504/4192956
[pid=12513] ppid=12511 vsize=1523900 CPUtime=1481.86
/proc/12513/stat : 12513 (pbscip.linux.x8) R 12511 12513 12488 0 -1 4202496 1194537 0 0 0 147369 817 0 0 25 0 1 0 13501910 1560473600 304228 1992294400 4194304 9819077 140736004724896 18446744073709551615 6555649 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12513/statm: 380975 304228 677 1374 0 379596 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1523900
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12563
/proc/meminfo: memFree=618820/2059040 swapFree=4163504/4192956
[pid=12513] ppid=12511 vsize=1523900 CPUtime=1541.84
/proc/12513/stat : 12513 (pbscip.linux.x8) R 12511 12513 12488 0 -1 4202496 1194537 0 0 0 153361 823 0 0 25 0 1 0 13501910 1560473600 304228 1992294400 4194304 9819077 140736004724896 18446744073709551615 5743112 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12513/statm: 380975 304228 677 1374 0 379596 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1523900
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12565
/proc/meminfo: memFree=619688/2059040 swapFree=4163504/4192956
[pid=12513] ppid=12511 vsize=1525864 CPUtime=1601.82
/proc/12513/stat : 12513 (pbscip.linux.x8) R 12511 12513 12488 0 -1 4202496 1246424 0 0 0 159339 843 0 0 25 0 1 0 13501910 1562484736 304219 1992294400 4194304 9819077 140736004724896 18446744073709551615 6198310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12513/statm: 381466 304219 677 1374 0 380087 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1525864
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12567
/proc/meminfo: memFree=616960/2059040 swapFree=4163504/4192956
[pid=12513] ppid=12511 vsize=1525740 CPUtime=1661.8
/proc/12513/stat : 12513 (pbscip.linux.x8) R 12511 12513 12488 0 -1 4202496 1267672 0 0 0 165326 854 0 0 25 0 1 0 13501910 1562357760 304709 1992294400 4194304 9819077 140736004724896 18446744073709551615 6555649 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12513/statm: 381435 304709 677 1374 0 380056 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1525740
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12569
/proc/meminfo: memFree=616836/2059040 swapFree=4163504/4192956
[pid=12513] ppid=12511 vsize=1525740 CPUtime=1721.78
/proc/12513/stat : 12513 (pbscip.linux.x8) R 12511 12513 12488 0 -1 4202496 1267672 0 0 0 171320 858 0 0 25 0 1 0 13501910 1562357760 304709 1992294400 4194304 9819077 140736004724896 18446744073709551615 6043587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12513/statm: 381435 304709 677 1374 0 380056 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1525740
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12569
/proc/meminfo: memFree=616588/2059040 swapFree=4163504/4192956
[pid=12513] ppid=12511 vsize=1525740 CPUtime=1781.77
/proc/12513/stat : 12513 (pbscip.linux.x8) R 12511 12513 12488 0 -1 4202496 1267672 0 0 0 177314 863 0 0 25 0 1 0 13501910 1562357760 304709 1992294400 4194304 9819077 140736004724896 18446744073709551615 6555649 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12513/statm: 381435 304709 677 1374 0 380056 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1525740
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12571
/proc/meminfo: memFree=616588/2059040 swapFree=4163504/4192956
[pid=12513] ppid=12511 vsize=1525740 CPUtime=1800.08
/proc/12513/stat : 12513 (pbscip.linux.x8) R 12511 12513 12488 0 -1 4202496 1267672 0 0 0 179144 864 0 0 25 0 1 0 13501910 1562357760 304709 1992294400 4194304 9819077 140736004724896 18446744073709551615 6043587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12513/statm: 381435 304709 677 1374 0 380056 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1525740
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -12513
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12571
/proc/meminfo: memFree=616588/2059040 swapFree=4163504/4192956
[pid=12513] ppid=12511 vsize=1452816 CPUtime=1800.86
/proc/12513/stat : 12513 (pbscip.linux.x8) R 12511 12513 12488 0 -1 4202496 1295944 0 0 0 179212 874 0 0 25 0 1 0 13501910 1487683584 296890 1992294400 4194304 9819077 140736004724896 18446744073709551615 6209887 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12513/statm: 363204 296897 683 1374 0 361825 0
Current children cumulated CPU time (s) 1800.86
Current children cumulated vsize (KiB) 1452816
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12572
/proc/meminfo: memFree=607776/2059040 swapFree=4163504/4192956
[pid=12513] ppid=12511 vsize=1526680 CPUtime=1801.66
/proc/12513/stat : 12513 (pbscip.linux.x8) R 12511 12513 12488 0 -1 4202496 1311246 0 0 0 179287 879 0 0 25 0 1 0 13501910 1563320320 304429 1992294400 4194304 9819077 140736004724896 18446744073709551615 6075114 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12513/statm: 381670 304429 687 1374 0 380291 0
Current children cumulated CPU time (s) 1801.66
Current children cumulated vsize (KiB) 1526680
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12572
/proc/meminfo: memFree=607776/2059040 swapFree=4163504/4192956
[pid=12513] ppid=12511 vsize=1457612 CPUtime=1802.06
/proc/12513/stat : 12513 (pbscip.linux.x8) R 12511 12513 12488 0 -1 4202496 1311890 0 0 0 179326 880 0 0 25 0 1 0 13501910 1492594688 287164 1992294400 4194304 9819077 140736004724896 18446744073709551615 6027079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12513/statm: 364403 287164 689 1374 0 363024 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 1457612
[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12572
/proc/meminfo: memFree=607776/2059040 swapFree=4163504/4192956
[pid=12513] ppid=12511 vsize=0 CPUtime=1802.16
/proc/12513/stat : 12513 (pbscip.linux.x8) R 12511 12513 12488 0 -1 4203524 1311890 0 0 0 179327 889 0 0 25 0 1 0 13501910 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/12513/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.16
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.73
CPU time (s): 1802.2
CPU user time (s): 1793.28
CPU system time (s): 8.92164
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 1536156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.28
system time used= 8.92164
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1311890
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= 8016
runsolver used 2.94555 second user time and 8.5687 second system time
The end