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-2666983-1276621118.opb>
0.19/0.20 c original problem has 1807 variables (1807 bin, 0 int, 0 impl, 0 cont) and 3444 constraints
0.19/0.20 c problem read
0.19/0.20 c presolving settings loaded
0.19/0.26 c presolving:
0.28/0.32 c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 66 chg sides, 339 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.28/0.36 c (round 2) 1 del vars, 1478 del conss, 1 chg bounds, 66 chg sides, 339 chg coeffs, 250 upgd conss, 0 impls, 0 clqs
0.39/0.41 c (round 3) 1 del vars, 1478 del conss, 1 chg bounds, 118 chg sides, 749 chg coeffs, 489 upgd conss, 418 impls, 3 clqs
0.39/0.43 c (round 4) 1 del vars, 1478 del conss, 1 chg bounds, 126 chg sides, 821 chg coeffs, 489 upgd conss, 418 impls, 3 clqs
1.69/1.77 c (1.5s) probing: 204/1806 (11.3%) - 0 fixings, 0 aggregations, 443 implications, 0 bound changes
1.69/1.77 c (1.5s) probing aborted: 100/100 successive totally useless probings
1.69/1.77 c presolving (5 rounds):
1.69/1.77 c 1 deleted vars, 1478 deleted constraints, 1 tightened bounds, 0 added holes, 126 changed sides, 821 changed coefficients
1.69/1.77 c 1304 implications, 3 cliques
1.69/1.77 c presolved problem has 1806 variables (1806 bin, 0 int, 0 impl, 0 cont) and 1966 constraints
1.69/1.77 c 489 constraints of type <knapsack>
1.69/1.77 c 1477 constraints of type <linear>
1.69/1.77 c transformed objective value is always integral (scale: 1)
1.69/1.77 c Presolving Time: 1.49
1.69/1.77 c - non default parameters ----------------------------------------------------------------------
1.69/1.77 c # SCIP version 1.2.1.2
1.69/1.77 c
1.69/1.77 c # frequency for displaying node information lines
1.69/1.77 c # [type: int, range: [-1,2147483647], default: 100]
1.69/1.77 c display/freq = 10000
1.69/1.77 c
1.69/1.77 c # maximal time in seconds to run
1.69/1.77 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.69/1.77 c limits/time = 1799.81
1.69/1.77 c
1.69/1.77 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.69/1.77 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.69/1.77 c limits/memory = 1620
1.69/1.77 c
1.69/1.77 c # should presolving try to simplify inequalities
1.69/1.77 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.69/1.77 c constraints/linear/simplifyinequalities = TRUE
1.69/1.77 c
1.69/1.77 c # should presolving try to simplify knapsacks
1.69/1.77 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.69/1.77 c constraints/knapsack/simplifyinequalities = TRUE
1.69/1.77 c
1.69/1.77 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.69/1.77 c # [type: int, range: [-1,2147483647], default: -1]
1.69/1.77 c separating/rapidlearning/freq = 0
1.69/1.77 c
1.69/1.77 c -----------------------------------------------------------------------------------------------
1.69/1.77 c start solving
1.69/1.77 c
1.79/1.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.79/1.86 c 1.6s| 1 | 0 | 799 | - | 15M| 0 | 771 |1806 |1966 |1806 |1966 | 0 | 0 | 0 | 6.600000e+01 | -- | Inf
15.88/15.93 c 15.5s| 1 | 0 | 4934 | - | 18M| 0 | 943 |1806 |3349 |1806 |2074 | 108 | 0 | 0 | 6.600000e+01 | -- | Inf
16.98/17.04 c 16.6s| 1 | 0 | 6481 | - | 19M| 0 | 990 |1806 |3349 |1806 |2143 | 177 | 0 | 0 | 6.600000e+01 | -- | Inf
18.49/18.55 c 18.1s| 1 | 0 | 8170 | - | 20M| 0 |1034 |1806 |3349 |1806 |2233 | 267 | 0 | 0 | 6.600000e+01 | -- | Inf
20.18/20.24 c 19.8s| 1 | 0 | 9634 | - | 20M| 0 |1105 |1806 |3349 |1806 |2324 | 358 | 0 | 0 | 6.600000e+01 | -- | Inf
21.89/21.99 c 21.5s| 1 | 0 | 11108 | - | 21M| 0 |1083 |1806 |3349 |1806 |2401 | 435 | 0 | 0 | 6.600000e+01 | -- | Inf
24.68/24.76 c 24.3s| 1 | 0 | 12677 | - | 21M| 0 |1067 |1806 |3349 |1806 |2479 | 513 | 0 | 0 | 6.600000e+01 | -- | Inf
34.58/34.60 c 34.0s| 1 | 2 | 12677 | - | 21M| 0 |1067 |1806 |3349 |1806 |2479 | 513 | 0 | 15 | 6.600000e+01 | -- | Inf
1056.74/1057.14 c 1038s| 10000 | 3119 | 2364k| 235.2 | 51M| 51 | 266 |1806 |4464 |1806 |2100 | 513 | 13k|3975 | 6.600000e+01 | -- | Inf
1742.23/1742.81 c 1710s| 20000 | 5840 | 4192k| 209.0 | 79M| 62 | - |1806 |5041 | 0 | 0 | 513 | 30k|6781 | 6.600000e+01 | -- | Inf
1800.02/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.21/1800.86 c
1800.21/1800.86 c SCIP Status : solving was interrupted [user interrupt]
1800.21/1800.86 c Solving Time (sec) : 1766.90
1800.21/1800.86 c Solving Nodes : 20874
1800.21/1800.86 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.21/1800.86 c Dual Bound : +6.60000000000000e+01
1800.21/1800.86 c Gap : infinite
1800.21/1800.86 s UNKNOWN
1800.21/1800.86 c SCIP Status : solving was interrupted [user interrupt]
1800.21/1800.86 c Solving Time : 1766.90
1800.21/1800.86 c Original Problem :
1800.21/1800.86 c Problem name : HOME/instance-2666983-1276621118.opb
1800.21/1800.86 c Variables : 1807 (1807 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.21/1800.86 c Constraints : 3444 initial, 3444 maximal
1800.21/1800.86 c Presolved Problem :
1800.21/1800.86 c Problem name : t_HOME/instance-2666983-1276621118.opb
1800.21/1800.86 c Variables : 1806 (1806 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.21/1800.86 c Constraints : 1966 initial, 6008 maximal
1800.21/1800.86 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.21/1800.86 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.21/1800.86 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.21/1800.86 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.21/1800.86 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.21/1800.86 c implics : 0.01 0 0 0 0 0 0 0 0
1800.21/1800.86 c probing : 1.32 0 0 0 0 0 0 0 0
1800.21/1800.86 c knapsack : 0.03 0 0 0 0 0 0 60 482
1800.21/1800.86 c linear : 0.13 1 0 0 1 0 1478 66 339
1800.21/1800.86 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.21/1800.86 c root node : - 0 - - 0 - - - -
1800.21/1800.86 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.21/1800.86 c integral : 0 0 0 16076 0 16 3749 0 0 30336
1800.21/1800.86 c knapsack : 489 6 86607 0 0 1266 292408 727 0 0
1800.21/1800.86 c linear : 1477+ 7 85341 0 0 7166 1853257 48 0 0
1800.21/1800.86 c logicor : 0+ 0 43205 0 0 468 25622 0 0 0
1800.21/1800.86 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.21/1800.86 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.21/1800.86 c integral : 468.47 0.00 0.00 468.47 0.00
1800.21/1800.86 c knapsack : 35.71 0.08 35.63 0.00 0.00
1800.21/1800.86 c linear : 143.63 0.04 143.59 0.00 0.00
1800.21/1800.86 c logicor : 7.95 0.00 7.95 0.00 0.00
1800.21/1800.86 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.21/1800.86 c Propagators : Time Calls Cutoffs DomReds
1800.21/1800.86 c vbounds : 0.11 2 0 0
1800.21/1800.86 c rootredcost : 0.02 0 0 0
1800.21/1800.86 c pseudoobj : 0.26 86190 0 0
1800.21/1800.86 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.21/1800.86 c propagation : 2.07 8900 8860 90501 39.9 528 28.5 -
1800.21/1800.86 c infeasible LP : 2.50 2591 2591 7566 24.2 155 20.4 0
1800.21/1800.86 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.21/1800.86 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.21/1800.86 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.21/1800.86 c applied globally : - - - 31850 32.3 - - -
1800.21/1800.86 c applied locally : - - - 0 0.0 - - -
1800.21/1800.86 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.21/1800.86 c cut pool : 0.00 5 - - 698 - (maximal pool size: 3961)
1800.21/1800.86 c redcost : 2.22 16074 0 0 0 0
1800.21/1800.86 c impliedbounds : 0.00 6 0 0 49 0
1800.21/1800.86 c intobj : 0.00 0 0 0 0 0
1800.21/1800.86 c cgmip : 0.00 0 0 0 0 0
1800.21/1800.86 c gomory : 0.82 6 0 0 29 0
1800.21/1800.86 c strongcg : 0.80 6 0 0 29 0
1800.21/1800.86 c cmir : 1.76 6 0 0 2810 0
1800.21/1800.86 c flowcover : 1.14 6 0 0 1200 0
1800.21/1800.86 c clique : 0.00 6 0 0 0 0
1800.21/1800.86 c zerohalf : 0.00 0 0 0 0 0
1800.21/1800.86 c mcf : 0.00 1 0 0 0 0
1800.21/1800.86 c rapidlearning : 11.61 1 0 0 0 1383
1800.21/1800.86 c Pricers : Time Calls Vars
1800.21/1800.86 c problem variables: 0.00 0 0
1800.21/1800.86 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.21/1800.86 c relpscost : 468.41 16076 16 3749 0 0 30336
1800.21/1800.86 c pscost : 0.00 0 0 0 0 0 0
1800.21/1800.86 c inference : 0.00 0 0 0 0 0 0
1800.21/1800.86 c mostinf : 0.00 0 0 0 0 0 0
1800.21/1800.86 c leastinf : 0.00 0 0 0 0 0 0
1800.21/1800.86 c fullstrong : 0.00 0 0 0 0 0 0
1800.21/1800.86 c allfullstrong : 0.00 0 0 0 0 0 0
1800.21/1800.86 c random : 0.00 0 0 0 0 0 0
1800.21/1800.86 c Primal Heuristics : Time Calls Found
1800.21/1800.86 c LP solutions : 0.00 - 0
1800.21/1800.86 c pseudo solutions : 0.00 - 0
1800.21/1800.86 c oneopt : 0.05 0 0
1800.21/1800.86 c crossover : 0.03 0 0
1800.21/1800.86 c guideddiving : 0.00 0 0
1800.21/1800.86 c intshifting : 0.00 0 0
1800.21/1800.86 c objpscostdiving : 22.03 29 0
1800.21/1800.86 c linesearchdiving : 10.86 77 0
1800.21/1800.86 c veclendiving : 14.68 77 0
1800.21/1800.86 c coefdiving : 76.04 77 0
1800.21/1800.86 c fracdiving : 35.60 77 0
1800.21/1800.86 c rootsoldiving : 11.97 39 0
1800.21/1800.86 c pscostdiving : 21.18 78 0
1800.21/1800.86 c feaspump : 20.75 40 0
1800.21/1800.86 c trivial : 0.00 2 0
1800.21/1800.86 c simplerounding : 0.04 0 0
1800.21/1800.86 c zirounding : 0.24 1000 0
1800.21/1800.86 c rounding : 1.32 1737 0
1800.21/1800.86 c shifting : 6.42 518 0
1800.21/1800.86 c twoopt : 0.00 0 0
1800.21/1800.86 c fixandinfer : 0.00 0 0
1800.21/1800.86 c intdiving : 0.00 0 0
1800.21/1800.86 c actconsdiving : 0.00 0 0
1800.21/1800.86 c octane : 0.00 0 0
1800.21/1800.86 c rens : 0.01 0 0
1800.21/1800.86 c rins : 0.00 0 0
1800.21/1800.86 c localbranching : 0.00 0 0
1800.21/1800.86 c mutation : 0.00 0 0
1800.21/1800.86 c dins : 0.00 0 0
1800.21/1800.86 c undercover : 0.00 0 0
1800.21/1800.86 c nlp : 0.02 0 0
1800.21/1800.86 c trysol : 0.07 0 0
1800.21/1800.86 c LP : Time Calls Iterations Iter/call Iter/sec
1800.21/1800.86 c primal LP : 0.01 0 0 0.00 0.00
1800.21/1800.86 c dual LP : 779.86 16695 3766022 225.58 4829.10
1800.21/1800.86 c lex dual LP : 0.00 0 0 0.00 -
1800.21/1800.86 c barrier LP : 0.00 0 0 0.00 -
1800.21/1800.86 c diving/probing LP: 179.02 8823 572785 64.92 3199.56
1800.21/1800.86 c strong branching : 464.61 7042 1748303 248.27 3762.95
1800.21/1800.86 c (at root node) : - 15 13197 879.80 -
1800.21/1800.86 c conflict analysis: 0.00 0 0 0.00 -
1800.21/1800.86 c B&B Tree :
1800.21/1800.86 c number of runs : 1
1800.21/1800.86 c nodes : 20874
1800.21/1800.86 c nodes (total) : 20874
1800.21/1800.86 c nodes left : 6030
1800.21/1800.86 c max depth : 62
1800.21/1800.86 c max depth (total): 62
1800.21/1800.86 c backtracks : 3847 (18.4%)
1800.21/1800.86 c delayed cutoffs : 3433
1800.21/1800.86 c repropagations : 16669 (580479 domain reductions, 2621 cutoffs)
1800.21/1800.86 c avg switch length: 5.90
1800.21/1800.86 c switching time : 78.26
1800.21/1800.86 c Solution :
1800.21/1800.86 c Solutions found : 0 (0 improvements)
1800.21/1800.86 c Primal Bound : -
1800.21/1800.86 c Dual Bound : +6.60000000000000e+01
1800.21/1800.86 c Gap : infinite
1800.21/1800.86 c Root Dual Bound : +6.60000000000000e+01
1800.21/1800.86 c Root Iterations : 12677
1800.41/1801.03 c Time complete: 1800.45.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666983-1276621118/watcher-2666983-1276621118 -o /tmp/evaluation-result-2666983-1276621118/solver-2666983-1276621118 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666983-1276621118.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 4917
/proc/meminfo: memFree=1655060/2059040 swapFree=4140048/4192956
[pid=4917] ppid=4915 vsize=7724 CPUtime=0
/proc/4917/stat : 4917 (pbscip.linux.x8) R 4915 4917 4640 0 -1 4202496 1037 0 0 0 0 0 0 0 20 0 1 0 37715511 7909376 957 1992294400 4194304 8223781 140734173013808 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4917/statm: 1931 967 348 984 0 944 0
[startup+0.0917681 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 4917
/proc/meminfo: memFree=1655060/2059040 swapFree=4140048/4192956
[pid=4917] ppid=4915 vsize=11088 CPUtime=0.08
/proc/4917/stat : 4917 (pbscip.linux.x8) R 4915 4917 4640 0 -1 4202496 2066 0 0 0 8 0 0 0 20 0 1 0 37715511 11354112 1986 1992294400 4194304 8223781 140734173013808 18446744073709551615 7189693 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4917/statm: 2772 1986 365 984 0 1785 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11088
[startup+0.100768 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 4917
/proc/meminfo: memFree=1655060/2059040 swapFree=4140048/4192956
[pid=4917] ppid=4915 vsize=11340 CPUtime=0.09
/proc/4917/stat : 4917 (pbscip.linux.x8) R 4915 4917 4640 0 -1 4202496 2147 0 0 0 9 0 0 0 20 0 1 0 37715511 11612160 2067 1992294400 4194304 8223781 140734173013808 18446744073709551615 7247221 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4917/statm: 2835 2067 365 984 0 1848 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11340
[startup+0.300791 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 4917
/proc/meminfo: memFree=1655060/2059040 swapFree=4140048/4192956
[pid=4917] ppid=4915 vsize=42012 CPUtime=0.28
/proc/4917/stat : 4917 (pbscip.linux.x8) R 4915 4917 4640 0 -1 4202496 9647 0 0 0 26 2 0 0 20 0 1 0 37715511 43020288 9203 1992294400 4194304 8223781 140734173013808 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4917/statm: 10503 9203 432 984 0 9516 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 42012
[startup+0.700839 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 4917
/proc/meminfo: memFree=1655060/2059040 swapFree=4140048/4192956
[pid=4917] ppid=4915 vsize=44536 CPUtime=0.69
/proc/4917/stat : 4917 (pbscip.linux.x8) R 4915 4917 4640 0 -1 4202496 12638 0 0 0 65 4 0 0 21 0 1 0 37715511 45604864 9881 1992294400 4194304 8223781 140734173013808 18446744073709551615 4980123 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4917/statm: 11134 9881 466 984 0 10147 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44536
[startup+1.50093 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 4918
/proc/meminfo: memFree=1616364/2059040 swapFree=4140048/4192956
[pid=4917] ppid=4915 vsize=44536 CPUtime=1.49
/proc/4917/stat : 4917 (pbscip.linux.x8) R 4915 4917 4640 0 -1 4202496 12638 0 0 0 145 4 0 0 23 0 1 0 37715511 45604864 9881 1992294400 4194304 8223781 140734173013808 18446744073709551615 4979548 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4917/statm: 11134 9881 466 984 0 10147 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44536
[startup+3.10111 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 4918
/proc/meminfo: memFree=1609296/2059040 swapFree=4140048/4192956
[pid=4917] ppid=4915 vsize=53468 CPUtime=3.09
/proc/4917/stat : 4917 (pbscip.linux.x8) R 4915 4917 4640 0 -1 4202496 15408 0 0 0 303 6 0 0 25 0 1 0 37715511 54751232 11897 1992294400 4194304 8223781 140734173013808 18446744073709551615 6563322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4917/statm: 13367 11897 549 984 0 12380 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53468
[startup+6.30148 s]
/proc/loadavg: 1.08 1.03 1.01 2/107 4920
/proc/meminfo: memFree=1578916/2059040 swapFree=4140048/4192956
[pid=4917] ppid=4915 vsize=85952 CPUtime=6.29
/proc/4917/stat : 4917 (pbscip.linux.x8) R 4915 4917 4640 0 -1 4202496 24934 0 0 0 617 12 0 0 25 0 1 0 37715511 88014848 19623 1992294400 4194304 8223781 140734173013808 18446744073709551615 4923493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4917/statm: 21488 19623 582 984 0 20501 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 85952
[startup+12.7012 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 4920
/proc/meminfo: memFree=1575072/2059040 swapFree=4140048/4192956
[pid=4917] ppid=4915 vsize=89560 CPUtime=12.68
/proc/4917/stat : 4917 (pbscip.linux.x8) R 4915 4917 4640 0 -1 4202496 25815 0 0 0 1250 18 0 0 25 0 1 0 37715511 91709440 20504 1992294400 4194304 8223781 140734173013808 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4917/statm: 22390 20504 582 984 0 21403 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 89560
[startup+25.5007 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 4920
/proc/meminfo: memFree=1582140/2059040 swapFree=4140048/4192956
[pid=4917] ppid=4915 vsize=80516 CPUtime=25.49
/proc/4917/stat : 4917 (pbscip.linux.x8) R 4915 4917 4640 0 -1 4202496 28312 0 0 0 2520 29 0 0 25 0 1 0 37715511 82448384 18642 1992294400 4194304 8223781 140734173013808 18446744073709551615 6446805 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4917/statm: 20129 18642 596 984 0 19142 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 80516
[startup+51.1007 s]
/proc/loadavg: 1.04 1.02 1.00 2/107 4920
/proc/meminfo: memFree=1582016/2059040 swapFree=4140048/4192956
[pid=4917] ppid=4915 vsize=80516 CPUtime=51.07
/proc/4917/stat : 4917 (pbscip.linux.x8) R 4915 4917 4640 0 -1 4202496 28326 0 0 0 5059 48 0 0 25 0 1 0 37715511 82448384 18654 1992294400 4194304 8223781 140734173013808 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4917/statm: 20129 18654 594 984 0 19142 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 80516
[startup+102.308 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 4922
/proc/meminfo: memFree=1581892/2059040 swapFree=4140048/4192956
[pid=4917] ppid=4915 vsize=80516 CPUtime=102.26
/proc/4917/stat : 4917 (pbscip.linux.x8) R 4915 4917 4640 0 -1 4202496 28328 0 0 0 10129 97 0 0 25 0 1 0 37715511 82448384 18656 1992294400 4194304 8223781 140734173013808 18446744073709551615 6571264 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4917/statm: 20129 18656 596 984 0 19142 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 80516
[startup+162.301 s]
/proc/loadavg: 1.06 1.04 1.00 2/107 4933
/proc/meminfo: memFree=1581024/2059040 swapFree=4140048/4192956
[pid=4917] ppid=4915 vsize=80516 CPUtime=162.23
/proc/4917/stat : 4917 (pbscip.linux.x8) R 4915 4917 4640 0 -1 4202496 28331 0 0 0 16067 156 0 0 25 0 1 0 37715511 82448384 18659 1992294400 4194304 8223781 140734173013808 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4917/statm: 20129 18659 596 984 0 19142 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 80516
[startup+222.3 s]
/proc/loadavg: 1.05 1.04 1.00 2/107 4933
/proc/meminfo: memFree=1581024/2059040 swapFree=4140048/4192956
[pid=4917] ppid=4915 vsize=80516 CPUtime=222.21
/proc/4917/stat : 4917 (pbscip.linux.x8) R 4915 4917 4640 0 -1 4202496 28343 0 0 0 21994 227 0 0 25 0 1 0 37715511 82448384 18667 1992294400 4194304 8223781 140734173013808 18446744073709551615 6568494 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4917/statm: 20129 18667 592 984 0 19142 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 80516
[startup+282.3 s]
/proc/loadavg: 1.13 1.06 1.01 2/107 4935
/proc/meminfo: memFree=1581024/2059040 swapFree=4140048/4192956
[pid=4917] ppid=4915 vsize=80516 CPUtime=282.19
/proc/4917/stat : 4917 (pbscip.linux.x8) R 4915 4917 4640 0 -1 4202496 28345 0 0 0 27921 298 0 0 25 0 1 0 37715511 82448384 18669 1992294400 4194304 8223781 140734173013808 18446744073709551615 6568087 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4917/statm: 20129 18669 592 984 0 19142 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 80516
[startup+342.3 s]
/proc/loadavg: 1.12 1.06 1.00 2/107 4937
/proc/meminfo: memFree=1580900/2059040 swapFree=4140048/4192956
[pid=4917] ppid=4915 vsize=80516 CPUtime=342.17
/proc/4917/stat : 4917 (pbscip.linux.x8) R 4915 4917 4640 0 -1 4202496 31676 0 0 0 33848 369 0 0 25 0 1 0 37715511 82448384 18669 1992294400 4194304 8223781 140734173013808 18446744073709551615 6569873 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4917/statm: 20129 18669 592 984 0 19142 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 80516
[startup+402.3 s]
/proc/loadavg: 1.11 1.07 1.00 2/107 4939
/proc/meminfo: memFree=1578916/2059040 swapFree=4140048/4192956
[pid=4917] ppid=4915 vsize=82880 CPUtime=402.14
/proc/4917/stat : 4917 (pbscip.linux.x8) R 4915 4917 4640 0 -1 4202496 115679 0 0 0 39742 472 0 0 25 0 1 0 37715511 84869120 19143 1992294400 4194304 8223781 140734173013808 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4917/statm: 20720 19143 592 984 0 19733 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 82880
[startup+462.3 s]
/proc/loadavg: 1.10 1.07 1.00 2/107 4941
/proc/meminfo: memFree=1572716/2059040 swapFree=4140048/4192956
[pid=4917] ppid=4915 vsize=90304 CPUtime=462.13
/proc/4917/stat : 4917 (pbscip.linux.x8) R 4915 4917 4640 0 -1 4202496 235265 0 0 0 45611 602 0 0 25 0 1 0 37715511 92471296 20747 1992294400 4194304 8223781 140734173013808 18446744073709551615 6599072 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4917/statm: 22576 20747 594 984 0 21589 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 90304
[startup+522.301 s]
/proc/loadavg: 1.09 1.07 1.00 2/107 4941
/proc/meminfo: memFree=1568376/2059040 swapFree=4140048/4192956
[pid=4917] ppid=4915 vsize=93992 CPUtime=522.11
/proc/4917/stat : 4917 (pbscip.linux.x8) R 4915 4917 4640 0 -1 4202496 351910 0 0 0 51484 727 0 0 25 0 1 0 37715511 96247808 21714 1992294400 4194304 8223781 140734173013808 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4917/statm: 23498 21714 604 984 0 22511 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 93992
[startup+582.301 s]
/proc/loadavg: 1.12 1.08 1.01 2/107 4943
/proc/meminfo: memFree=1566020/2059040 swapFree=4140048/4192956
[pid=4917] ppid=4915 vsize=96324 CPUtime=582.09
/proc/4917/stat : 4917 (pbscip.linux.x8) R 4915 4917 4640 0 -1 4202496 464070 0 0 0 57364 845 0 0 25 0 1 0 37715511 98635776 22369 1992294400 4194304 8223781 140734173013808 18446744073709551615 6436959 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4917/statm: 24081 22369 605 984 0 23094 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 96324
[startup+642.301 s]
/proc/loadavg: 1.13 1.09 1.01 2/107 4945
/proc/meminfo: memFree=1563292/2059040 swapFree=4140048/4192956
[pid=4917] ppid=4915 vsize=99480 CPUtime=642.08
/proc/4917/stat : 4917 (pbscip.linux.x8) R 4915 4917 4640 0 -1 4202496 586219 0 0 0 63241 967 0 0 25 0 1 0 37715511 101867520 23153 1992294400 4194304 8223781 140734173013808 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4917/statm: 24870 23153 607 984 0 23883 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 99480
[startup+702.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 1.13 1.12 1.03 2/107 4951
/proc/meminfo: memFree=1549032/2059040 swapFree=4140048/4192956
[pid=4917] ppid=4915 vsize=114104 CPUtime=881.99
/proc/4917/stat : 4917 (pbscip.linux.x8) R 4915 4917 4640 0 -1 4202496 1062493 0 0 0 86740 1459 0 0 25 0 1 0 37715511 116842496 26635 1992294400 4194304 8223781 140734173013808 18446744073709551615 6568470 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4917/statm: 28526 26635 610 984 0 27539 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 114104
[startup+942.301 s]
/proc/loadavg: 1.26 1.16 1.05 2/107 4956
/proc/meminfo: memFree=1545312/2059040 swapFree=4140048/4192956
[pid=4917] ppid=4915 vsize=119100 CPUtime=941.98
/proc/4917/stat : 4917 (pbscip.linux.x8) R 4915 4917 4640 0 -1 4202496 1165442 0 0 0 92627 1571 0 0 25 0 1 0 37715511 121958400 27497 1992294400 4194304 8223781 140734173013808 18446744073709551615 6599057 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4917/statm: 29775 27497 618 984 0 28788 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 119100
[startup+1002.3 s]
/proc/loadavg: 1.22 1.16 1.05 2/107 4958
/proc/meminfo: memFree=1543700/2059040 swapFree=4140048/4192956
[pid=4917] ppid=4915 vsize=120412 CPUtime=1001.96
/proc/4917/stat : 4917 (pbscip.linux.x8) R 4915 4917 4640 0 -1 4202496 1270152 0 0 0 98495 1701 0 0 25 0 1 0 37715511 123301888 27992 1992294400 4194304 8223781 140734173013808 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4917/statm: 30103 27992 622 984 0 29116 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 120412
[startup+1062.3 s]
/proc/loadavg: 1.20 1.16 1.06 2/107 4960
/proc/meminfo: memFree=1540228/2059040 swapFree=4140048/4192956
[pid=4917] ppid=4915 vsize=123472 CPUtime=1061.93
/proc/4917/stat : 4917 (pbscip.linux.x8) R 4915 4917 4640 0 -1 4202496 1391977 0 0 0 104364 1829 0 0 25 0 1 0 37715511 126435328 28710 1992294400 4194304 8223781 140734173013808 18446744073709551615 6568176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4917/statm: 30868 28710 624 984 0 29881 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 123472
[startup+1122.3 s]
/proc/loadavg: 1.19 1.16 1.06 2/107 4960
/proc/meminfo: memFree=1537748/2059040 swapFree=4140048/4192956
[pid=4917] ppid=4915 vsize=125632 CPUtime=1121.92
/proc/4917/stat : 4917 (pbscip.linux.x8) R 4915 4917 4640 0 -1 4202496 1506919 0 0 0 110233 1959 0 0 25 0 1 0 37715511 128647168 29389 1992294400 4194304 8223781 140734173013808 18446744073709551615 4663294 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4917/statm: 31408 29389 629 984 0 30421 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 125632
[startup+1182.3 s]
/proc/loadavg: 1.18 1.16 1.07 2/107 4962
/proc/meminfo: memFree=1535392/2059040 swapFree=4140048/4192956
[pid=4917] ppid=4915 vsize=128664 CPUtime=1181.9
/proc/4917/stat : 4917 (pbscip.linux.x8) R 4915 4917 4640 0 -1 4202496 1628241 0 0 0 116108 2082 0 0 25 0 1 0 37715511 131751936 30001 1992294400 4194304 8223781 140734173013808 18446744073709551615 6570006 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4917/statm: 32166 30001 622 984 0 31179 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 128664
[startup+1242.3 s]
/proc/loadavg: 1.20 1.16 1.07 2/107 4964
/proc/meminfo: memFree=1533780/2059040 swapFree=4140048/4192956
[pid=4917] ppid=4915 vsize=129148 CPUtime=1241.88
/proc/4917/stat : 4917 (pbscip.linux.x8) R 4915 4917 4640 0 -1 4202496 1746097 0 0 0 121983 2205 0 0 25 0 1 0 37715511 132247552 30318 1992294400 4194304 8223781 140734173013808 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4917/statm: 32287 30318 628 984 0 31300 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 129148
[startup+1302.3 s]
/proc/loadavg: 1.12 1.14 1.07 2/107 4966
/proc/meminfo: memFree=1531300/2059040 swapFree=4140048/4192956
[pid=4917] ppid=4915 vsize=131368 CPUtime=1301.87
/proc/4917/stat : 4917 (pbscip.linux.x8) R 4915 4917 4640 0 -1 4202496 1862654 0 0 0 127860 2327 0 0 25 0 1 0 37715511 134520832 30907 1992294400 4194304 8223781 140734173013808 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4917/statm: 32842 30907 625 984 0 31855 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 131368
[startup+1362.3 s]
/proc/loadavg: 1.04 1.11 1.07 2/107 4968
/proc/meminfo: memFree=1528200/2059040 swapFree=4140048/4192956
[pid=4917] ppid=4915 vsize=135132 CPUtime=1361.85
/proc/4917/stat : 4917 (pbscip.linux.x8) R 4915 4917 4640 0 -1 4202496 1969692 0 0 0 133737 2448 0 0 25 0 1 0 37715511 138375168 31691 1992294400 4194304 8223781 140734173013808 18446744073709551615 6591317 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4917/statm: 33783 31691 625 984 0 32796 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 135132
[startup+1422.31 s]
/proc/loadavg: 1.01 1.09 1.06 2/107 4968
/proc/meminfo: memFree=1522124/2059040 swapFree=4140048/4192956
[pid=4917] ppid=4915 vsize=140436 CPUtime=1421.84
/proc/4917/stat : 4917 (pbscip.linux.x8) R 4915 4917 4640 0 -1 4202496 2091449 0 0 0 139613 2571 0 0 25 0 1 0 37715511 143806464 33202 1992294400 4194304 8223781 140734173013808 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4917/statm: 35109 33202 636 984 0 34122 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 140436
[startup+1482.3 s]
/proc/loadavg: 1.00 1.07 1.05 2/107 4970
/proc/meminfo: memFree=1518900/2059040 swapFree=4140048/4192956
[pid=4917] ppid=4915 vsize=144292 CPUtime=1481.81
/proc/4917/stat : 4917 (pbscip.linux.x8) R 4915 4917 4640 0 -1 4202496 2207106 0 0 0 145472 2709 0 0 25 0 1 0 37715511 147755008 34017 1992294400 4194304 8223781 140734173013808 18446744073709551615 6599059 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4917/statm: 36073 34017 640 984 0 35086 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 144292
[startup+1542.3 s]
/proc/loadavg: 1.00 1.05 1.05 2/107 4972
/proc/meminfo: memFree=1516792/2059040 swapFree=4140048/4192956
[pid=4917] ppid=4915 vsize=146212 CPUtime=1541.78
/proc/4917/stat : 4917 (pbscip.linux.x8) R 4915 4917 4640 0 -1 4202496 2321730 0 0 0 151339 2839 0 0 25 0 1 0 37715511 149721088 34560 1992294400 4194304 8223781 140734173013808 18446744073709551615 4676371 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4917/statm: 36553 34560 642 984 0 35566 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 146212
[startup+1602.3 s]
/proc/loadavg: 1.00 1.04 1.04 2/107 4974
/proc/meminfo: memFree=1511956/2059040 swapFree=4140048/4192956
[pid=4917] ppid=4915 vsize=151620 CPUtime=1601.76
/proc/4917/stat : 4917 (pbscip.linux.x8) R 4915 4917 4640 0 -1 4202496 2413284 0 0 0 157219 2957 0 0 25 0 1 0 37715511 155258880 35827 1992294400 4194304 8223781 140734173013808 18446744073709551615 4853690 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4917/statm: 37905 35827 635 984 0 36918 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 151620
[startup+1662.3 s]
/proc/loadavg: 1.00 1.03 1.04 2/107 4976
/proc/meminfo: memFree=1507864/2059040 swapFree=4140048/4192956
[pid=4917] ppid=4915 vsize=155264 CPUtime=1661.75
/proc/4917/stat : 4917 (pbscip.linux.x8) R 4915 4917 4640 0 -1 4202496 2481055 0 0 0 163111 3064 0 0 25 0 1 0 37715511 158990336 36773 1992294400 4194304 8223781 140734173013808 18446744073709551615 6568212 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4917/statm: 38816 36773 645 984 0 37829 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 155264
[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.03 2/107 4976
/proc/meminfo: memFree=1504516/2059040 swapFree=4140048/4192956
[pid=4917] ppid=4915 vsize=158732 CPUtime=1721.73
/proc/4917/stat : 4917 (pbscip.linux.x8) R 4915 4917 4640 0 -1 4202496 2544861 0 0 0 169007 3166 0 0 25 0 1 0 37715511 162541568 37638 1992294400 4194304 8223781 140734173013808 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4917/statm: 39683 37638 640 984 0 38696 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 158732
[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.03 2/107 4978
/proc/meminfo: memFree=1500672/2059040 swapFree=4140048/4192956
[pid=4917] ppid=4915 vsize=163448 CPUtime=1781.71
/proc/4917/stat : 4917 (pbscip.linux.x8) R 4915 4917 4640 0 -1 4202496 2644029 0 0 0 174888 3283 0 0 25 0 1 0 37715511 167370752 38600 1992294400 4194304 8223781 140734173013808 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4917/statm: 40862 38600 644 984 0 39875 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 163448
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.02 1.02 2/107 4978
/proc/meminfo: memFree=1499184/2059040 swapFree=4140048/4192956
[pid=4917] ppid=4915 vsize=166364 CPUtime=1800.02
/proc/4917/stat : 4917 (pbscip.linux.x8) R 4915 4917 4640 0 -1 4202496 2676337 0 0 0 176685 3317 0 0 25 0 1 0 37715511 170356736 39018 1992294400 4194304 8223781 140734173013808 18446744073709551615 6599059 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4917/statm: 41591 39018 646 984 0 40604 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 166364
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.02 1.02 2/107 4978
/proc/meminfo: memFree=1499184/2059040 swapFree=4140048/4192956
[pid=4917] ppid=4915 vsize=165336 CPUtime=1800.41
/proc/4917/stat : 4917 (pbscip.linux.x8) R 4915 4917 4640 0 -1 4202496 2677251 0 0 0 176723 3318 0 0 25 0 1 0 37715511 169304064 38738 1992294400 4194304 8223781 140734173013808 18446744073709551615 5953359 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4917/statm: 41334 38738 648 984 0 40347 0
Current children cumulated CPU time (s) 1800.41
Current children cumulated vsize (KiB) 165336
Child status: 0
Real time (s): 1801.04
CPU time (s): 1800.45
CPU user time (s): 1767.25
CPU system time (s): 33.202
CPU usage (%): 99.9676
Max. virtual memory (cumulated for all children) (KiB): 166592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.25
system time used= 33.202
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2677255
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= 1
involuntary context switches= 23299
runsolver used 3.00754 second user time and 8.48171 second system time
The end