0.00/0.01 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.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-2665553-1276621104.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.27 c presolving:
0.29/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.29/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.48
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.8
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.89/1.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.89/1.94 c 1.7s| 1 | 0 | 1424 | - | 15M| 0 |1336 |1806 |1966 |1806 |1966 | 0 | 0 | 0 | 6.600000e+01 | -- | Inf
10.08/10.11 c 9.7s| 1 | 0 | 2407 | - | 17M| 0 |1077 |1806 |2870 |1806 |2027 | 61 | 0 | 0 | 6.600000e+01 | -- | Inf
10.69/10.80 c 10.4s| 1 | 0 | 3016 | - | 18M| 0 |1081 |1806 |2870 |1806 |2085 | 119 | 0 | 0 | 6.600000e+01 | -- | Inf
11.49/11.56 c 11.2s| 1 | 0 | 3503 | - | 18M| 0 |1169 |1806 |2870 |1806 |2162 | 196 | 0 | 0 | 6.600000e+01 | -- | Inf
12.78/12.84 c 12.4s| 1 | 0 | 4213 | - | 19M| 0 |1147 |1806 |2870 |1806 |2233 | 267 | 0 | 0 | 6.600000e+01 | -- | Inf
14.20/14.20 c 13.8s| 1 | 0 | 4851 | - | 19M| 0 |1058 |1806 |2870 |1806 |2305 | 339 | 0 | 0 | 6.600000e+01 | -- | Inf
15.78/15.85 c 15.4s| 1 | 0 | 5567 | - | 20M| 0 |1103 |1806 |2870 |1806 |2389 | 423 | 0 | 0 | 6.600000e+01 | -- | Inf
18.98/19.01 c 18.6s| 1 | 2 | 5567 | - | 20M| 0 |1103 |1806 |2870 |1806 |2389 | 423 | 0 | 16 | 6.600000e+01 | -- | Inf
973.28/973.72 c 953s| 10000 | 2388 | 1545k| 154.1 | 39M| 52 | 888 |1806 |4296 |1806 |2098 | 423 | 15k|4597 | 6.600000e+01 | -- | Inf
1571.45/1572.17 c 1535s| 20000 | 3484 | 2631k| 131.3 | 51M| 59 | 665 |1806 |5201 |1806 |2098 | 423 | 29k|7021 | 6.600000e+01 | -- | Inf
1800.07/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.80 c
1800.07/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.80 c Solving Time (sec) : 1757.54
1800.07/1800.80 c Solving Nodes : 24338
1800.07/1800.80 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.07/1800.80 c Dual Bound : +6.60000000000000e+01
1800.07/1800.80 c Gap : infinite
1800.07/1800.80 s UNKNOWN
1800.07/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.80 c Solving Time : 1757.54
1800.07/1800.80 c Original Problem :
1800.07/1800.80 c Problem name : HOME/instance-2665553-1276621104.opb
1800.07/1800.80 c Variables : 1807 (1807 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.80 c Constraints : 3444 initial, 3444 maximal
1800.07/1800.80 c Presolved Problem :
1800.07/1800.80 c Problem name : t_HOME/instance-2665553-1276621104.opb
1800.07/1800.80 c Variables : 1806 (1806 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.80 c Constraints : 1966 initial, 5317 maximal
1800.07/1800.80 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.80 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.80 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.80 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.80 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.80 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.80 c probing : 1.31 0 0 0 0 0 0 0 0
1800.07/1800.80 c knapsack : 0.02 0 0 0 0 0 0 60 482
1800.07/1800.80 c linear : 0.14 1 0 0 1 0 1478 66 339
1800.07/1800.80 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.80 c root node : - 0 - - 0 - - - -
1800.07/1800.80 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.80 c integral : 0 0 0 17200 0 41 2493 0 0 33098
1800.07/1800.80 c knapsack : 489 6 124989 0 0 1752 359964 903 0 0
1800.07/1800.80 c linear : 1477+ 7 123237 0 0 6559 1844905 19 0 0
1800.07/1800.80 c logicor : 0+ 0 70163 0 0 609 72507 0 0 0
1800.07/1800.80 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.80 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.80 c integral : 397.95 0.00 0.00 397.95 0.00
1800.07/1800.80 c knapsack : 45.26 0.09 45.17 0.00 0.00
1800.07/1800.80 c linear : 177.80 0.01 177.79 0.00 0.00
1800.07/1800.80 c logicor : 10.17 0.00 10.17 0.00 0.00
1800.07/1800.80 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.80 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.80 c vbounds : 0.13 2 0 0
1800.07/1800.80 c rootredcost : 0.13 0 0 0
1800.07/1800.80 c pseudoobj : 0.29 124572 0 0
1800.07/1800.80 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.80 c propagation : 1.85 8920 8907 74782 38.3 488 26.2 -
1800.07/1800.80 c infeasible LP : 7.81 8799 8798 24753 24.2 547 19.2 0
1800.07/1800.80 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.80 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.80 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.80 c applied globally : - - - 36702 24.8 - - -
1800.07/1800.80 c applied locally : - - - 0 0.0 - - -
1800.07/1800.80 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.80 c cut pool : 0.00 5 - - 830 - (maximal pool size: 4311)
1800.07/1800.80 c redcost : 1.77 17199 0 8 0 0
1800.07/1800.80 c impliedbounds : 0.00 6 0 0 43 0
1800.07/1800.80 c intobj : 0.00 0 0 0 0 0
1800.07/1800.80 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.80 c gomory : 0.62 6 0 0 83 0
1800.07/1800.80 c strongcg : 0.59 6 0 0 65 0
1800.07/1800.80 c cmir : 1.47 6 0 0 3000 0
1800.07/1800.80 c flowcover : 0.86 6 0 0 1200 0
1800.07/1800.80 c clique : 0.01 6 0 0 0 0
1800.07/1800.80 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.80 c mcf : 0.00 1 0 0 0 0
1800.07/1800.80 c rapidlearning : 7.36 1 0 0 0 904
1800.07/1800.80 c Pricers : Time Calls Vars
1800.07/1800.80 c problem variables: 0.00 0 0
1800.07/1800.80 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.80 c relpscost : 397.92 17200 41 2493 0 0 33098
1800.07/1800.80 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.80 c inference : 0.00 0 0 0 0 0 0
1800.07/1800.80 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.80 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.80 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.80 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.80 c random : 0.00 0 0 0 0 0 0
1800.07/1800.80 c Primal Heuristics : Time Calls Found
1800.07/1800.80 c LP solutions : 0.00 - 0
1800.07/1800.80 c pseudo solutions : 0.00 - 0
1800.07/1800.80 c oneopt : 0.07 0 0
1800.07/1800.80 c crossover : 0.03 0 0
1800.07/1800.80 c guideddiving : 0.00 0 0
1800.07/1800.80 c intshifting : 0.00 0 0
1800.07/1800.80 c rootsoldiving : 10.77 22 0
1800.07/1800.80 c coefdiving : 106.31 52 0
1800.07/1800.80 c fracdiving : 63.32 60 0
1800.07/1800.80 c veclendiving : 25.78 60 0
1800.07/1800.80 c linesearchdiving : 31.60 61 0
1800.07/1800.80 c pscostdiving : 42.63 61 0
1800.07/1800.80 c objpscostdiving : 11.50 31 0
1800.07/1800.80 c feaspump : 2.24 31 0
1800.07/1800.80 c trivial : 0.01 2 0
1800.07/1800.80 c simplerounding : 0.03 0 0
1800.07/1800.80 c zirounding : 0.27 1000 0
1800.07/1800.80 c rounding : 1.72 1814 0
1800.07/1800.80 c shifting : 8.02 544 0
1800.07/1800.80 c twoopt : 0.00 0 0
1800.07/1800.80 c fixandinfer : 0.00 0 0
1800.07/1800.80 c intdiving : 0.00 0 0
1800.07/1800.80 c actconsdiving : 0.00 0 0
1800.07/1800.80 c octane : 0.00 0 0
1800.07/1800.80 c rens : 0.01 0 0
1800.07/1800.80 c rins : 0.00 0 0
1800.07/1800.80 c localbranching : 0.00 0 0
1800.07/1800.80 c mutation : 0.00 0 0
1800.07/1800.80 c dins : 0.00 0 0
1800.07/1800.80 c undercover : 0.00 0 0
1800.07/1800.80 c nlp : 0.07 0 0
1800.07/1800.80 c trysol : 0.03 0 0
1800.07/1800.80 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.80 c primal LP : 0.01 0 0 0.00 0.00
1800.07/1800.80 c dual LP : 735.80 19895 2568321 129.09 3490.52
1800.07/1800.80 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.80 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.80 c diving/probing LP: 234.07 16412 562995 34.30 2405.24
1800.07/1800.81 c strong branching : 393.10 7397 1085585 146.76 2761.60
1800.07/1800.81 c (at root node) : - 16 3310 206.88 -
1800.07/1800.81 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.81 c B&B Tree :
1800.07/1800.81 c number of runs : 1
1800.07/1800.81 c nodes : 24338
1800.07/1800.81 c nodes (total) : 24338
1800.07/1800.81 c nodes left : 3923
1800.07/1800.81 c max depth : 59
1800.07/1800.81 c max depth (total): 59
1800.07/1800.81 c backtracks : 5113 (21.0%)
1800.07/1800.81 c delayed cutoffs : 4838
1800.07/1800.81 c repropagations : 24865 (830075 domain reductions, 2931 cutoffs)
1800.07/1800.81 c avg switch length: 6.56
1800.07/1800.81 c switching time : 73.23
1800.07/1800.81 c Solution :
1800.07/1800.81 c Solutions found : 0 (0 improvements)
1800.07/1800.81 c Primal Bound : -
1800.07/1800.81 c Dual Bound : +6.60000000000000e+01
1800.07/1800.81 c Gap : infinite
1800.07/1800.81 c Root Dual Bound : +6.60000000000000e+01
1800.07/1800.81 c Root Iterations : 5567
1800.17/1800.95 c Time complete: 1800.21.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665553-1276621104/watcher-2665553-1276621104 -o /tmp/evaluation-result-2665553-1276621104/solver-2665553-1276621104 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665553-1276621104.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.00 1.08 3/106 5650
/proc/meminfo: memFree=1774200/2059040 swapFree=4140448/4192956
[pid=5650] ppid=5648 vsize=10316 CPUtime=0
/proc/5650/stat : 5650 (pbscip.linux.x8) R 5648 5650 4987 0 -1 4202496 1335 0 0 0 0 0 0 0 20 0 1 0 35766738 10563584 1256 1992294400 4194304 9819077 140736372325232 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5650/statm: 2579 1266 371 1374 0 1200 0
[startup+0.0213161 s]
/proc/loadavg: 1.00 1.00 1.08 3/106 5650
/proc/meminfo: memFree=1774200/2059040 swapFree=4140448/4192956
[pid=5650] ppid=5648 vsize=10832 CPUtime=0.01
/proc/5650/stat : 5650 (pbscip.linux.x8) R 5648 5650 4987 0 -1 4202496 1658 0 0 0 1 0 0 0 20 0 1 0 35766738 11091968 1579 1992294400 4194304 9819077 140736372325232 18446744073709551615 5650709 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5650/statm: 2708 1579 388 1374 0 1329 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10832
[startup+0.101331 s]
/proc/loadavg: 1.00 1.00 1.08 3/106 5650
/proc/meminfo: memFree=1774200/2059040 swapFree=4140448/4192956
[pid=5650] ppid=5648 vsize=12900 CPUtime=0.09
/proc/5650/stat : 5650 (pbscip.linux.x8) R 5648 5650 4987 0 -1 4202496 2169 0 0 0 8 1 0 0 20 0 1 0 35766738 13209600 2090 1992294400 4194304 9819077 140736372325232 18446744073709551615 4240584 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5650/statm: 3225 2090 388 1374 0 1846 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12900
[startup+0.301367 s]
/proc/loadavg: 1.00 1.00 1.08 3/106 5650
/proc/meminfo: memFree=1774200/2059040 swapFree=4140448/4192956
[pid=5650] ppid=5648 vsize=43256 CPUtime=0.29
/proc/5650/stat : 5650 (pbscip.linux.x8) R 5648 5650 4987 0 -1 4202496 9682 0 0 0 25 4 0 0 20 0 1 0 35766738 44294144 9249 1992294400 4194304 9819077 140736372325232 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5650/statm: 10814 9249 479 1374 0 9435 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43256
[startup+0.701444 s]
/proc/loadavg: 1.00 1.00 1.08 3/106 5650
/proc/meminfo: memFree=1774200/2059040 swapFree=4140448/4192956
[pid=5650] ppid=5648 vsize=45776 CPUtime=0.69
/proc/5650/stat : 5650 (pbscip.linux.x8) R 5648 5650 4987 0 -1 4202496 12674 0 0 0 63 6 0 0 21 0 1 0 35766738 46874624 9928 1992294400 4194304 9819077 140736372325232 18446744073709551615 4978944 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5650/statm: 11444 9928 512 1374 0 10065 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45776
[startup+1.50059 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 5651
/proc/meminfo: memFree=1735876/2059040 swapFree=4140448/4192956
[pid=5650] ppid=5648 vsize=45776 CPUtime=1.49
/proc/5650/stat : 5650 (pbscip.linux.x8) R 5648 5650 4987 0 -1 4202496 12674 0 0 0 143 6 0 0 23 0 1 0 35766738 46874624 9928 1992294400 4194304 9819077 140736372325232 18446744073709551615 4978016 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5650/statm: 11444 9928 512 1374 0 10065 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45776
[startup+3.10089 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 5651
/proc/meminfo: memFree=1729304/2059040 swapFree=4140448/4192956
[pid=5650] ppid=5648 vsize=86292 CPUtime=3.09
/proc/5650/stat : 5650 (pbscip.linux.x8) R 5648 5650 4987 0 -1 4202496 26322 0 0 0 295 14 0 0 25 0 1 0 35766738 88363008 19266 1992294400 4194304 9819077 140736372325232 18446744073709551615 4981237 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5650/statm: 21573 19266 687 1374 0 20194 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 86292
[startup+6.30049 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 5651
/proc/meminfo: memFree=1697064/2059040 swapFree=4140448/4192956
[pid=5650] ppid=5648 vsize=89236 CPUtime=6.29
/proc/5650/stat : 5650 (pbscip.linux.x8) R 5648 5650 4987 0 -1 4202496 27058 0 0 0 613 16 0 0 25 0 1 0 35766738 91377664 20002 1992294400 4194304 9819077 140736372325232 18446744073709551615 4854173 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5650/statm: 22309 20002 687 1374 0 20930 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 89236
[startup+12.7007 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 5653
/proc/meminfo: memFree=1711572/2059040 swapFree=4140448/4192956
[pid=5650] ppid=5648 vsize=69756 CPUtime=12.68
/proc/5650/stat : 5650 (pbscip.linux.x8) R 5648 5650 4987 0 -1 4202496 27730 0 0 0 1249 19 0 0 25 0 1 0 35766738 71430144 16035 1992294400 4194304 9819077 140736372325232 18446744073709551615 7292010 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5650/statm: 17439 16035 699 1374 0 16060 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 69756
[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 5653
/proc/meminfo: memFree=1711324/2059040 swapFree=4140448/4192956
[pid=5650] ppid=5648 vsize=77672 CPUtime=25.48
/proc/5650/stat : 5650 (pbscip.linux.x8) R 5648 5650 4987 0 -1 4202496 39076 0 0 0 2521 27 0 0 25 0 1 0 35766738 79536128 16281 1992294400 4194304 9819077 140736372325232 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5650/statm: 19418 16281 709 1374 0 18039 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 77672
[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 5653
/proc/meminfo: memFree=1711200/2059040 swapFree=4140448/4192956
[pid=5650] ppid=5648 vsize=72892 CPUtime=51.06
/proc/5650/stat : 5650 (pbscip.linux.x8) R 5648 5650 4987 0 -1 4202496 59481 0 0 0 5063 43 0 0 25 0 1 0 35766738 74641408 16152 1992294400 4194304 9819077 140736372325232 18446744073709551615 7291971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5650/statm: 18223 16152 709 1374 0 16844 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 72892
[startup+102.307 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 5655
/proc/meminfo: memFree=1711200/2059040 swapFree=4140448/4192956
[pid=5650] ppid=5648 vsize=69756 CPUtime=102.25
/proc/5650/stat : 5650 (pbscip.linux.x8) R 5648 5650 4987 0 -1 4202496 80071 0 0 0 10158 67 0 0 25 0 1 0 35766738 71430144 16104 1992294400 4194304 9819077 140736372325232 18446744073709551615 7290864 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5650/statm: 17439 16104 711 1374 0 16060 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 69756
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 5666
/proc/meminfo: memFree=1710564/2059040 swapFree=4140448/4192956
[pid=5650] ppid=5648 vsize=69756 CPUtime=162.2
/proc/5650/stat : 5650 (pbscip.linux.x8) R 5648 5650 4987 0 -1 4202496 106705 0 0 0 16117 103 0 0 25 0 1 0 35766738 71430144 16126 1992294400 4194304 9819077 140736372325232 18446744073709551615 6391510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5650/statm: 17439 16126 726 1374 0 16060 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 69756
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 5666
/proc/meminfo: memFree=1710580/2059040 swapFree=4140448/4192956
[pid=5650] ppid=5648 vsize=70468 CPUtime=222.18
/proc/5650/stat : 5650 (pbscip.linux.x8) R 5648 5650 4987 0 -1 4202496 135771 0 0 0 22079 139 0 0 25 0 1 0 35766738 72159232 16130 1992294400 4194304 9819077 140736372325232 18446744073709551615 7301779 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5650/statm: 17617 16130 726 1374 0 16238 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 70468
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 5668
/proc/meminfo: memFree=1710580/2059040 swapFree=4140448/4192956
[pid=5650] ppid=5648 vsize=70764 CPUtime=282.16
/proc/5650/stat : 5650 (pbscip.linux.x8) R 5648 5650 4987 0 -1 4202496 208648 0 0 0 28024 192 0 0 25 0 1 0 35766738 72462336 16138 1992294400 4194304 9819077 140736372325232 18446744073709551615 7308997 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5650/statm: 17691 16138 726 1374 0 16312 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 70764
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 5670
/proc/meminfo: memFree=1709216/2059040 swapFree=4140448/4192956
[pid=5650] ppid=5648 vsize=74728 CPUtime=342.13
/proc/5650/stat : 5650 (pbscip.linux.x8) R 5648 5650 4987 0 -1 4202496 341641 0 0 0 33939 274 0 0 25 0 1 0 35766738 76521472 16470 1992294400 4194304 9819077 140736372325232 18446744073709551615 6591404 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5650/statm: 18682 16470 726 1374 0 17303 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 74728
[startup+402.3 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 5672
/proc/meminfo: memFree=1709588/2059040 swapFree=4140448/4192956
[pid=5650] ppid=5648 vsize=73716 CPUtime=402.11
/proc/5650/stat : 5650 (pbscip.linux.x8) R 5648 5650 4987 0 -1 4202496 592434 0 0 0 39809 402 0 0 25 0 1 0 35766738 75485184 16435 1992294400 4194304 9819077 140736372325232 18446744073709551615 4977973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5650/statm: 18429 16435 726 1374 0 17050 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 73716
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 5674
/proc/meminfo: memFree=1708968/2059040 swapFree=4140448/4192956
[pid=5650] ppid=5648 vsize=75316 CPUtime=462.08
/proc/5650/stat : 5650 (pbscip.linux.x8) R 5648 5650 4987 0 -1 4202496 922840 0 0 0 45658 550 0 0 25 0 1 0 35766738 77123584 16696 1992294400 4194304 9819077 140736372325232 18446744073709551615 7816453 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5650/statm: 18829 16696 726 1374 0 17450 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 75316
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 5674
/proc/meminfo: memFree=1705496/2059040 swapFree=4140448/4192956
[pid=5650] ppid=5648 vsize=81144 CPUtime=522.06
/proc/5650/stat : 5650 (pbscip.linux.x8) R 5648 5650 4987 0 -1 4202496 1302808 0 0 0 51490 716 0 0 25 0 1 0 35766738 83091456 17767 1992294400 4194304 9819077 140736372325232 18446744073709551615 7309089 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5650/statm: 20286 17767 726 1374 0 18907 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 81144
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 5676
/proc/meminfo: memFree=1700908/2059040 swapFree=4140448/4192956
[pid=5650] ppid=5648 vsize=82656 CPUtime=582.04
/proc/5650/stat : 5650 (pbscip.linux.x8) R 5648 5650 4987 0 -1 4202496 1656416 0 0 0 57313 891 0 0 25 0 1 0 35766738 84639744 18703 1992294400 4194304 9819077 140736372325232 18446744073709551615 6372765 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5650/statm: 20664 18703 726 1374 0 19285 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 82656
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 5678
/proc/meminfo: memFree=1696816/2059040 swapFree=4140448/4192956
[pid=5650] ppid=5648 vsize=86596 CPUtime=642.02
/proc/5650/stat : 5650 (pbscip.linux.x8) R 5648 5650 4987 0 -1 4202496 2079791 0 0 0 63119 1083 0 0 25 0 1 0 35766738 88674304 19701 1992294400 4194304 9819077 140736372325232 18446744073709551615 7228832 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5650/statm: 21649 19708 727 1374 0 20270 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 86596
[startup+702.3 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5684
/proc/meminfo: memFree=1684664/2059040 swapFree=4140448/4192956
[pid=5650] ppid=5648 vsize=99536 CPUtime=881.91
/proc/5650/stat : 5650 (pbscip.linux.x8) R 5648 5650 4987 0 -1 4202496 3660864 0 0 0 86399 1792 0 0 25 0 1 0 35766738 101924864 22694 1992294400 4194304 9819077 140736372325232 18446744073709551615 6568812 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5650/statm: 24884 22694 726 1374 0 23505 0
Current children cumulated CPU time (s) 881.91
Current children cumulated vsize (KiB) 99536
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5686
/proc/meminfo: memFree=1682184/2059040 swapFree=4140448/4192956
[pid=5650] ppid=5648 vsize=102772 CPUtime=941.89
/proc/5650/stat : 5650 (pbscip.linux.x8) R 5648 5650 4987 0 -1 4202496 4032019 0 0 0 92231 1958 0 0 25 0 1 0 35766738 105238528 23396 1992294400 4194304 9819077 140736372325232 18446744073709551615 7291012 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5650/statm: 25693 23396 726 1374 0 24314 0
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (KiB) 102772
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5688
/proc/meminfo: memFree=1680448/2059040 swapFree=4140448/4192956
[pid=5650] ppid=5648 vsize=103796 CPUtime=1001.87
/proc/5650/stat : 5650 (pbscip.linux.x8) R 5648 5650 4987 0 -1 4202496 4436010 0 0 0 98052 2135 0 0 25 0 1 0 35766738 106287104 23836 1992294400 4194304 9819077 140736372325232 18446744073709551615 7222401 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5650/statm: 25949 23837 726 1374 0 24570 0
Current children cumulated CPU time (s) 1001.87
Current children cumulated vsize (KiB) 103796
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5690
/proc/meminfo: memFree=1678092/2059040 swapFree=4140448/4192956
[pid=5650] ppid=5648 vsize=106512 CPUtime=1061.85
/proc/5650/stat : 5650 (pbscip.linux.x8) R 5648 5650 4987 0 -1 4202496 4755477 0 0 0 103906 2279 0 0 25 0 1 0 35766738 109068288 24363 1992294400 4194304 9819077 140736372325232 18446744073709551615 6023949 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5650/statm: 26628 24363 726 1374 0 25249 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 106512
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5690
/proc/meminfo: memFree=1676108/2059040 swapFree=4140448/4192956
[pid=5650] ppid=5648 vsize=115564 CPUtime=1121.82
/proc/5650/stat : 5650 (pbscip.linux.x8) R 5648 5650 4987 0 -1 4202496 5070184 0 0 0 109748 2434 0 0 25 0 1 0 35766738 118337536 25022 1992294400 4194304 9819077 140736372325232 18446744073709551615 7292224 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5650/statm: 28891 25022 726 1374 0 27512 0
Current children cumulated CPU time (s) 1121.82
Current children cumulated vsize (KiB) 115564
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5692
/proc/meminfo: memFree=1672760/2059040 swapFree=4140448/4192956
[pid=5650] ppid=5648 vsize=113092 CPUtime=1181.8
/proc/5650/stat : 5650 (pbscip.linux.x8) R 5648 5650 4987 0 -1 4202496 5416011 0 0 0 115586 2594 0 0 25 0 1 0 35766738 115806208 25652 1992294400 4194304 9819077 140736372325232 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5650/statm: 28273 25652 726 1374 0 26894 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 113092
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5694
/proc/meminfo: memFree=1670528/2059040 swapFree=4140448/4192956
[pid=5650] ppid=5648 vsize=113396 CPUtime=1241.78
/proc/5650/stat : 5650 (pbscip.linux.x8) R 5648 5650 4987 0 -1 4202496 5770852 0 0 0 121428 2750 0 0 25 0 1 0 35766738 116117504 26157 1992294400 4194304 9819077 140736372325232 18446744073709551615 6372743 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5650/statm: 28349 26157 726 1374 0 26970 0
Current children cumulated CPU time (s) 1241.78
Current children cumulated vsize (KiB) 113396
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5696
/proc/meminfo: memFree=1668048/2059040 swapFree=4140448/4192956
[pid=5650] ppid=5648 vsize=116640 CPUtime=1301.76
/proc/5650/stat : 5650 (pbscip.linux.x8) R 5648 5650 4987 0 -1 4202496 6130079 0 0 0 127258 2918 0 0 25 0 1 0 35766738 119439360 26794 1992294400 4194304 9819077 140736372325232 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5650/statm: 29160 26794 726 1374 0 27781 0
Current children cumulated CPU time (s) 1301.76
Current children cumulated vsize (KiB) 116640
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5698
/proc/meminfo: memFree=1665692/2059040 swapFree=4140448/4192956
[pid=5650] ppid=5648 vsize=122820 CPUtime=1361.73
/proc/5650/stat : 5650 (pbscip.linux.x8) R 5648 5650 4987 0 -1 4202496 6510889 0 0 0 133081 3092 0 0 25 0 1 0 35766738 125767680 27489 1992294400 4194304 9819077 140736372325232 18446744073709551615 7290944 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5650/statm: 30705 27489 726 1374 0 29326 0
Current children cumulated CPU time (s) 1361.73
Current children cumulated vsize (KiB) 122820
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5698
/proc/meminfo: memFree=1662592/2059040 swapFree=4140448/4192956
[pid=5650] ppid=5648 vsize=121908 CPUtime=1421.72
/proc/5650/stat : 5650 (pbscip.linux.x8) R 5648 5650 4987 0 -1 4202496 6874047 0 0 0 138923 3249 0 0 25 0 1 0 35766738 124833792 28093 1992294400 4194304 9819077 140736372325232 18446744073709551615 7291457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5650/statm: 30477 28093 726 1374 0 29098 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 121908
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5700
/proc/meminfo: memFree=1661476/2059040 swapFree=4140448/4192956
[pid=5650] ppid=5648 vsize=129740 CPUtime=1481.68
/proc/5650/stat : 5650 (pbscip.linux.x8) R 5648 5650 4987 0 -1 4202496 7246566 0 0 0 144752 3416 0 0 25 0 1 0 35766738 132853760 28551 1992294400 4194304 9819077 140736372325232 18446744073709551615 7291717 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5650/statm: 32435 28551 726 1374 0 31056 0
Current children cumulated CPU time (s) 1481.68
Current children cumulated vsize (KiB) 129740
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5702
/proc/meminfo: memFree=1659988/2059040 swapFree=4140448/4192956
[pid=5650] ppid=5648 vsize=125788 CPUtime=1541.66
/proc/5650/stat : 5650 (pbscip.linux.x8) R 5648 5650 4987 0 -1 4202496 7597915 0 0 0 150585 3581 0 0 25 0 1 0 35766738 128806912 28810 1992294400 4194304 9819077 140736372325232 18446744073709551615 6656908 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5650/statm: 31447 28810 726 1374 0 30068 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 125788
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5704
/proc/meminfo: memFree=1656268/2059040 swapFree=4140448/4192956
[pid=5650] ppid=5648 vsize=135900 CPUtime=1601.64
/proc/5650/stat : 5650 (pbscip.linux.x8) R 5648 5650 4987 0 -1 4202496 7965449 0 0 0 156415 3749 0 0 25 0 1 0 35766738 139161600 29829 1992294400 4194304 9819077 140736372325232 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5650/statm: 33975 29829 726 1374 0 32596 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 135900
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5706
/proc/meminfo: memFree=1653416/2059040 swapFree=4140448/4192956
[pid=5650] ppid=5648 vsize=132620 CPUtime=1661.61
/proc/5650/stat : 5650 (pbscip.linux.x8) R 5648 5650 4987 0 -1 4202496 8297992 0 0 0 162264 3897 0 0 25 0 1 0 35766738 135802880 30230 1992294400 4194304 9819077 140736372325232 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5650/statm: 33155 30230 726 1374 0 31776 0
Current children cumulated CPU time (s) 1661.61
Current children cumulated vsize (KiB) 132620
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5706
/proc/meminfo: memFree=1651928/2059040 swapFree=4140448/4192956
[pid=5650] ppid=5648 vsize=133388 CPUtime=1721.58
/proc/5650/stat : 5650 (pbscip.linux.x8) R 5648 5650 4987 0 -1 4202496 8615698 0 0 0 168112 4046 0 0 25 0 1 0 35766738 136589312 30755 1992294400 4194304 9819077 140736372325232 18446744073709551615 7291707 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5650/statm: 33347 30755 726 1374 0 31968 0
Current children cumulated CPU time (s) 1721.58
Current children cumulated vsize (KiB) 133388
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5708
/proc/meminfo: memFree=1649200/2059040 swapFree=4140448/4192956
[pid=5650] ppid=5648 vsize=136096 CPUtime=1781.57
/proc/5650/stat : 5650 (pbscip.linux.x8) R 5648 5650 4987 0 -1 4202496 8907745 0 0 0 173971 4186 0 0 25 0 1 0 35766738 139362304 31358 1992294400 4194304 9819077 140736372325232 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5650/statm: 34024 31358 726 1374 0 32645 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (KiB) 136096
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5708
/proc/meminfo: memFree=1649076/2059040 swapFree=4140448/4192956
[pid=5650] ppid=5648 vsize=136312 CPUtime=1800.07
/proc/5650/stat : 5650 (pbscip.linux.x8) R 5648 5650 4987 0 -1 4202496 9003049 0 0 0 175773 4234 0 0 25 0 1 0 35766738 139583488 31432 1992294400 4194304 9819077 140736372325232 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5650/statm: 34078 31432 726 1374 0 32699 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 136312
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5708
/proc/meminfo: memFree=1649076/2059040 swapFree=4140448/4192956
[pid=5650] ppid=5648 vsize=135284 CPUtime=1800.17
/proc/5650/stat : 5650 (pbscip.linux.x8) R 5648 5650 4987 0 -1 4202496 9003052 0 0 0 175783 4234 0 0 25 0 1 0 35766738 138530816 31178 1992294400 4194304 9819077 140736372325232 18446744073709551615 5950362 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5650/statm: 33821 31178 729 1374 0 32442 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 135284
Child status: 0
Real time (s): 1800.96
CPU time (s): 1800.22
CPU user time (s): 1757.87
CPU system time (s): 42.3566
CPU usage (%): 99.9593
Max. virtual memory (cumulated for all children) (KiB): 144556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1757.87
system time used= 42.3566
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9003056
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= 25246
runsolver used 2.90156 second user time and 8.5807 second system time
The end