0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-3744299-1338804084.opb>
4.79/4.80 c original problem has 250200 variables (250200 bin, 0 int, 0 impl, 0 cont) and 605407 constraints
4.79/4.80 c problem read
4.79/4.80 c presolving settings loaded
6.60/6.61 c presolving:
8.49/8.56 c (round 1) 10000 del vars, 4903 del conss, 150 chg bounds, 1225 chg sides, 3675 chg coeffs, 0 upgd conss, 1188350 impls, 1 clqs
14.20/14.23 c (round 2) 10000 del vars, 6128 del conss, 150 chg bounds, 1225 chg sides, 3675 chg coeffs, 599276 upgd conss, 1188350 impls, 1 clqs
172.76/172.86 c (168.1s) probing: 1000/240200 (0.4%) - 0 fixings, 0 aggregations, 357821 implications, 0 bound changes
336.54/336.65 c (331.9s) probing: 2000/240200 (0.8%) - 0 fixings, 0 aggregations, 414549 implications, 0 bound changes
336.73/336.82 c (332.0s) probing: 2001/240200 (0.8%) - 0 fixings, 0 aggregations, 414586 implications, 0 bound changes
336.73/336.82 c (332.0s) probing aborted: 2000/2000 successive useless probings
336.73/336.84 c presolving (3 rounds):
336.73/336.84 c 10000 deleted vars, 6128 deleted constraints, 150 tightened bounds, 0 added holes, 1225 changed sides, 3675 changed coefficients
336.73/336.84 c 36969234 implications, 1 cliques
336.73/336.84 c presolved problem has 240200 variables (240200 bin, 0 int, 0 impl, 0 cont) and 599279 constraints
336.73/336.84 c 121425 constraints of type <knapsack>
336.73/336.84 c 356526 constraints of type <setppc>
336.73/336.84 c 3 constraints of type <linear>
336.73/336.84 c 121325 constraints of type <logicor>
336.73/336.84 c transformed objective value is always integral (scale: 1)
336.73/336.84 c Presolving Time: 330.84
336.73/336.84 c - non default parameters ----------------------------------------------------------------------
336.73/336.84 c # SCIP version 1.2.1.3
336.73/336.84 c
336.73/336.84 c # frequency for displaying node information lines
336.73/336.84 c # [type: int, range: [-1,2147483647], default: 100]
336.73/336.84 c display/freq = 10000
336.73/336.84 c
336.73/336.84 c # maximal time in seconds to run
336.73/336.84 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
336.73/336.84 c limits/time = 1785.21
336.73/336.84 c
336.73/336.84 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
336.73/336.84 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
336.73/336.84 c limits/memory = 13950
336.73/336.84 c
336.73/336.84 c # default clock type (1: CPU user seconds, 2: wall clock time)
336.73/336.84 c # [type: int, range: [1,2], default: 1]
336.73/336.84 c timing/clocktype = 2
336.73/336.84 c
336.73/336.84 c # should presolving try to simplify inequalities
336.73/336.84 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
336.73/336.84 c constraints/linear/simplifyinequalities = TRUE
336.73/336.84 c
336.73/336.84 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
336.73/336.84 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
336.73/336.84 c constraints/indicator/addCouplingCons = TRUE
336.73/336.84 c
336.73/336.84 c # should presolving try to simplify knapsacks
336.73/336.84 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
336.73/336.84 c constraints/knapsack/simplifyinequalities = TRUE
336.73/336.84 c
336.73/336.84 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
336.73/336.84 c # [type: int, range: [-1,2147483647], default: -1]
336.73/336.84 c separating/rapidlearning/freq = 0
336.73/336.84 c
336.73/336.84 c -----------------------------------------------------------------------------------------------
336.73/336.84 c start solving
336.84/336.95 c
422.62/422.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
422.62/422.72 c 418s| 1 | 0 | 5824 | - |2412M| 0 | 533 | 240k| 599k| 240k| 599k| 0 | 0 | 0 | 5.339523e+05 | -- | Inf
1387.67/1387.94 c 1383s| 1 | 0 | 18220 | - |2435M| 0 | 422 | 240k| 599k| 240k| 599k| 48 | 0 | 0 | 5.955969e+05 | -- | Inf
1789.81/1790.11 c 1785s| 1 | 0 | 18220 | - |2444M| 0 | - | 240k| 599k| 240k| 599k| 86 | 0 | 0 | 5.955969e+05 | -- | Inf
1790.11/1790.41 c 1786s| 1 | 2 | 18220 | - |2444M| 0 | - | 240k| 599k| 240k| 599k| 86 | 0 | 0 | 5.955969e+05 | -- | Inf
1790.11/1790.41 c
1790.11/1790.41 c SCIP Status : solving was interrupted [time limit reached]
1790.11/1790.41 c Solving Time (sec) : 1785.62
1790.11/1790.41 c Solving Nodes : 1
1790.11/1790.41 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1790.11/1790.41 c Dual Bound : +5.95596918614160e+05
1790.11/1790.41 c Gap : infinite
1790.11/1790.41 s UNKNOWN
1790.11/1790.41 c SCIP Status : solving was interrupted [time limit reached]
1790.11/1790.41 c Solving Time : 1785.62
1790.11/1790.41 c Original Problem :
1790.11/1790.41 c Problem name : HOME/instance-3744299-1338804084.opb
1790.11/1790.41 c Variables : 250200 (250200 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.11/1790.41 c Constraints : 605407 initial, 605407 maximal
1790.11/1790.41 c Presolved Problem :
1790.11/1790.41 c Problem name : t_HOME/instance-3744299-1338804084.opb
1790.11/1790.41 c Variables : 240200 (240200 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.11/1790.41 c Constraints : 599279 initial, 599279 maximal
1790.11/1790.41 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.11/1790.41 c trivial : 0.05 0 0 0 0 0 0 0 0
1790.11/1790.41 c dualfix : 0.05 7400 0 0 0 0 0 0 0
1790.11/1790.41 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.11/1790.41 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.11/1790.41 c implics : 0.05 0 0 0 0 0 0 0 0
1790.11/1790.41 c probing : 299.69 0 0 0 0 0 0 0 0
1790.11/1790.41 c knapsack : 22.36 0 0 0 0 0 0 0 0
1790.11/1790.41 c setppc : 0.40 0 0 0 0 0 0 0 0
1790.11/1790.41 c linear : 6.75 150 2450 0 150 0 6128 1225 3675
1790.11/1790.41 c logicor : 0.18 0 0 0 0 0 0 0 0
1790.11/1790.41 c root node : - 0 - - 0 - - - -
1790.11/1790.41 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.11/1790.41 c integral : 0 0 0 0 0 0 0 0 0 0
1790.11/1790.41 c knapsack : 121425 2 6050 0 1 0 0 142 0 0
1790.11/1790.41 c setppc : 356526 2 6050 0 1 0 0 0 0 0
1790.11/1790.41 c linear : 3 2 6050 0 0 0 0 0 0 0
1790.11/1790.41 c logicor : 121325 2 4051 0 1 0 0 0 0 0
1790.11/1790.41 c countsols : 0 0 0 0 1 0 0 0 0 0
1790.11/1790.41 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.11/1790.41 c integral : 0.00 0.00 0.00 0.00 0.00
1790.11/1790.41 c knapsack : 81.48 0.33 81.14 0.00 0.01
1790.11/1790.41 c setppc : 151.74 0.09 151.50 0.00 0.15
1790.11/1790.41 c linear : 30.81 29.55 1.26 0.00 0.00
1790.11/1790.41 c logicor : 1.06 0.03 0.97 0.00 0.06
1790.11/1790.41 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.11/1790.41 c Propagators : Time Calls Cutoffs DomReds
1790.11/1790.41 c vbounds : 0.00 2 0 0
1790.11/1790.41 c rootredcost : 0.00 0 0 0
1790.11/1790.41 c pseudoobj : 0.03 3 0 0
1790.11/1790.41 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.11/1790.41 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1790.11/1790.41 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1790.11/1790.41 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.11/1790.41 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.11/1790.41 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.11/1790.41 c applied globally : - - - 0 0.0 - - -
1790.11/1790.41 c applied locally : - - - 0 0.0 - - -
1790.11/1790.41 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.11/1790.41 c cut pool : 0.00 1 - - 53 - (maximal pool size: 921)
1790.11/1790.41 c redcost : 0.03 2 0 0 0 0
1790.11/1790.41 c impliedbounds : 0.06 2 0 0 66 0
1790.11/1790.41 c intobj : 0.00 0 0 0 0 0
1790.11/1790.41 c cgmip : 0.00 0 0 0 0 0
1790.11/1790.41 c gomory : 44.73 2 0 0 1000 0
1790.11/1790.41 c strongcg : 17.49 2 0 0 1000 0
1790.11/1790.41 c cmir : 288.49 2 0 0 0 0
1790.11/1790.41 c flowcover : 501.44 2 0 0 103 0
1790.11/1790.41 c clique : 32.83 1 0 0 6 0
1790.11/1790.41 c zerohalf : 0.00 0 0 0 0 0
1790.11/1790.41 c mcf : 0.60 1 0 0 0 0
1790.11/1790.41 c rapidlearning : 0.00 0 0 0 0 0
1790.11/1790.41 c Pricers : Time Calls Vars
1790.11/1790.41 c problem variables: 0.00 0 0
1790.11/1790.41 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.11/1790.41 c relpscost : 0.00 0 0 0 0 0 0
1790.11/1790.41 c pscost : 0.00 0 0 0 0 0 0
1790.11/1790.41 c inference : 0.08 1 0 0 0 0 2
1790.11/1790.41 c mostinf : 0.00 0 0 0 0 0 0
1790.11/1790.41 c leastinf : 0.00 0 0 0 0 0 0
1790.11/1790.41 c fullstrong : 0.00 0 0 0 0 0 0
1790.11/1790.41 c allfullstrong : 0.00 0 0 0 0 0 0
1790.11/1790.41 c random : 0.00 0 0 0 0 0 0
1790.11/1790.41 c Primal Heuristics : Time Calls Found
1790.11/1790.41 c LP solutions : 0.00 - 0
1790.11/1790.41 c pseudo solutions : 0.00 - 0
1790.11/1790.41 c oneopt : 0.00 0 0
1790.11/1790.41 c trivial : 0.32 2 0
1790.11/1790.41 c simplerounding : 0.01 0 0
1790.11/1790.41 c zirounding : 0.00 0 0
1790.11/1790.41 c rounding : 0.05 2 0
1790.11/1790.41 c shifting : 0.15 2 0
1790.11/1790.41 c intshifting : 0.00 0 0
1790.11/1790.41 c twoopt : 0.00 0 0
1790.11/1790.41 c fixandinfer : 0.00 0 0
1790.11/1790.41 c feaspump : 415.71 1 0
1790.11/1790.41 c coefdiving : 0.00 0 0
1790.11/1790.41 c pscostdiving : 0.00 0 0
1790.11/1790.41 c fracdiving : 0.00 0 0
1790.11/1790.41 c veclendiving : 0.00 0 0
1790.11/1790.41 c intdiving : 0.00 0 0
1790.11/1790.41 c actconsdiving : 0.00 0 0
1790.11/1790.41 c objpscostdiving : 0.00 0 0
1790.11/1790.41 c rootsoldiving : 0.00 0 0
1790.11/1790.41 c linesearchdiving : 0.00 0 0
1790.11/1790.41 c guideddiving : 0.00 0 0
1790.11/1790.41 c octane : 0.00 0 0
1790.11/1790.41 c rens : 0.00 0 0
1790.11/1790.41 c rins : 0.00 0 0
1790.11/1790.41 c localbranching : 0.00 0 0
1790.11/1790.41 c mutation : 0.00 0 0
1790.11/1790.41 c crossover : 0.00 0 0
1790.11/1790.41 c dins : 0.00 0 0
1790.11/1790.41 c undercover : 0.00 0 0
1790.11/1790.41 c nlp : 0.00 0 0
1790.11/1790.41 c trysol : 0.00 0 0
1790.11/1790.41 c LP : Time Calls Iterations Iter/call Iter/sec
1790.11/1790.41 c primal LP : 0.00 0 0 0.00 -
1790.11/1790.41 c dual LP : 119.32 2 7588 3794.00 63.60
1790.11/1790.41 c lex dual LP : 0.00 0 0 0.00 -
1790.11/1790.41 c barrier LP : 0.00 0 0 0.00 -
1790.11/1790.41 c diving/probing LP: 415.10 3 10632 3544.00 25.61
1790.11/1790.41 c strong branching : 0.00 0 0 0.00 -
1790.11/1790.41 c (at root node) : - 0 0 0.00 -
1790.11/1790.41 c conflict analysis: 0.00 0 0 0.00 -
1790.11/1790.41 c B&B Tree :
1790.11/1790.41 c number of runs : 1
1790.11/1790.41 c nodes : 1
1790.11/1790.41 c nodes (total) : 1
1790.11/1790.41 c nodes left : 2
1790.11/1790.41 c max depth : 0
1790.11/1790.41 c max depth (total): 0
1790.11/1790.41 c backtracks : 0 (0.0%)
1790.11/1790.41 c delayed cutoffs : 0
1790.11/1790.41 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1790.11/1790.41 c avg switch length: 1.00
1790.11/1790.41 c switching time : 0.00
1790.11/1790.41 c Solution :
1790.11/1790.41 c Solutions found : 0 (0 improvements)
1790.11/1790.41 c Primal Bound : -
1790.11/1790.41 c Dual Bound : +5.95596918614160e+05
1790.11/1790.41 c Gap : infinite
1790.11/1790.41 c Root Dual Bound : +5.95596918614160e+05
1790.11/1790.41 c Root Iterations : 18220
1794.41/1794.70 c Time complete: 1794.42.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3744299-1338804084/watcher-3744299-1338804084 -o /tmp/evaluation-result-3744299-1338804084/solver-3744299-1338804084 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744299-1338804084.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 6415
/proc/meminfo: memFree=30420748/32873844 swapFree=7116/7116
[pid=6415] ppid=6413 vsize=7916 CPUtime=0 cores=1,3,5,7
/proc/6415/stat : 6415 (pbscip.linux.x8) R 6413 6415 4984 0 -1 4202496 1250 0 0 0 0 0 0 0 20 0 1 0 346537089 8105984 1196 33554432000 4194304 8395647 140734182454624 140734182450024 7385025 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6415/statm: 1979 1196 370 1026 0 949 0
[startup+0.099702 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 6415
/proc/meminfo: memFree=30420748/32873844 swapFree=7116/7116
[pid=6415] ppid=6413 vsize=46316 CPUtime=0.09 cores=1,3,5,7
/proc/6415/stat : 6415 (pbscip.linux.x8) R 6413 6415 4984 0 -1 4202496 10765 0 0 0 8 1 0 0 20 0 1 0 346537089 47427584 10705 33554432000 4194304 8395647 140734182454624 140734182450024 5759075 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6415/statm: 11579 10705 387 1026 0 10549 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 46316
[startup+0.100378 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 6415
/proc/meminfo: memFree=30420748/32873844 swapFree=7116/7116
[pid=6415] ppid=6413 vsize=47340 CPUtime=0.09 cores=1,3,5,7
/proc/6415/stat : 6415 (pbscip.linux.x8) R 6413 6415 4984 0 -1 4202496 11021 0 0 0 8 1 0 0 20 0 1 0 346537089 48476160 10961 33554432000 4194304 8395647 140734182454624 140734182450024 6347101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6415/statm: 11835 10961 387 1026 0 10805 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 47340
[startup+0.300316 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 6415
/proc/meminfo: memFree=30420748/32873844 swapFree=7116/7116
[pid=6415] ppid=6413 vsize=103364 CPUtime=0.29 cores=1,3,5,7
/proc/6415/stat : 6415 (pbscip.linux.x8) R 6413 6415 4984 0 -1 4202496 24936 0 0 0 26 3 0 0 20 0 1 0 346537089 105844736 24876 33554432000 4194304 8395647 140734182454624 140734182450024 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6415/statm: 25841 24876 394 1026 0 24811 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 103364
[startup+0.700319 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 6415
/proc/meminfo: memFree=30420748/32873844 swapFree=7116/7116
[pid=6415] ppid=6413 vsize=148244 CPUtime=0.69 cores=1,3,5,7
/proc/6415/stat : 6415 (pbscip.linux.x8) R 6413 6415 4984 0 -1 4202496 36162 0 0 0 64 5 0 0 20 0 1 0 346537089 151801856 36102 33554432000 4194304 8395647 140734182454624 140734182450024 7382056 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6415/statm: 37061 36102 394 1026 0 36031 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 148244
[startup+1.5003 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 6416
/proc/meminfo: memFree=30234856/32873844 swapFree=7116/7116
[pid=6415] ppid=6413 vsize=242064 CPUtime=1.49 cores=1,3,5,7
/proc/6415/stat : 6415 (pbscip.linux.x8) R 6413 6415 4984 0 -1 4202496 59563 0 0 0 140 9 0 0 20 0 1 0 346537089 247873536 59503 33554432000 4194304 8395647 140734182454624 140734182319832 7382016 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6415/statm: 60516 59503 394 1026 0 59486 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 242064
[startup+3.10032 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 6416
/proc/meminfo: memFree=30151032/32873844 swapFree=7116/7116
[pid=6415] ppid=6413 vsize=318276 CPUtime=3.09 cores=1,3,5,7
/proc/6415/stat : 6415 (pbscip.linux.x8) R 6413 6415 4984 0 -1 4202496 78616 0 0 0 297 12 0 0 20 0 1 0 346537089 325914624 78556 33554432000 4194304 8395647 140734182454624 140734182319832 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6415/statm: 79569 78556 394 1026 0 78539 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 318276
[startup+6.30036 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 6416
/proc/meminfo: memFree=29675664/32873844 swapFree=7116/7116
[pid=6415] ppid=6413 vsize=1000952 CPUtime=6.29 cores=1,3,5,7
/proc/6415/stat : 6415 (pbscip.linux.x8) R 6413 6415 4984 0 -1 4202496 247401 0 0 0 591 38 0 0 20 0 1 0 346537089 1024974848 246987 33554432000 4194304 8395647 140734182454624 140734182452184 4601776 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6415/statm: 250238 246987 431 1026 0 249208 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1000952
[startup+12.7003 s]
/proc/loadavg: 1.94 1.98 1.99 3/178 6416
/proc/meminfo: memFree=29311692/32873844 swapFree=7116/7116
[pid=6415] ppid=6413 vsize=1207276 CPUtime=12.68 cores=1,3,5,7
/proc/6415/stat : 6415 (pbscip.linux.x8) R 6413 6415 4984 0 -1 4202496 297313 0 0 0 1222 46 0 0 20 0 1 0 346537089 1236250624 297084 33554432000 4194304 8395647 140734182454624 140734182451656 4215509 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6415/statm: 301819 297089 483 1026 0 300789 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1207276
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/178 6416
/proc/meminfo: memFree=28486092/32873844 swapFree=7116/7116
[pid=6415] ppid=6413 vsize=1971768 CPUtime=25.49 cores=1,3,5,7
/proc/6415/stat : 6415 (pbscip.linux.x8) R 6413 6415 4984 0 -1 4202496 487314 0 0 0 2474 75 0 0 20 0 1 0 346537089 2019090432 487008 33554432000 4194304 8395647 140734182454624 140734182450088 6080692 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6415/statm: 492942 487008 496 1026 0 491912 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1971768
[startup+51.1004 s]
/proc/loadavg: 1.97 1.98 1.99 3/177 6416
/proc/meminfo: memFree=27871884/32873844 swapFree=7116/7116
[pid=6415] ppid=6413 vsize=2569128 CPUtime=51.09 cores=1,3,5,7
/proc/6415/stat : 6415 (pbscip.linux.x8) R 6413 6415 4984 0 -1 4202496 634805 0 0 0 5011 98 0 0 20 0 1 0 346537089 2630787072 636658 33554432000 4194304 8395647 140734182454624 140734182450488 5210311 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6415/statm: 642282 636658 508 1026 0 641252 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 2569128
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 6416
/proc/meminfo: memFree=27866596/32873844 swapFree=7116/7116
[pid=6415] ppid=6413 vsize=2574244 CPUtime=102.28 cores=1,3,5,7
/proc/6415/stat : 6415 (pbscip.linux.x8) R 6413 6415 4984 0 -1 4202496 636084 0 0 0 10130 98 0 0 20 0 1 0 346537089 2636025856 637937 33554432000 4194304 8395647 140734182454624 140734182450552 5210321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6415/statm: 643561 637937 508 1026 0 642531 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2574244
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 6416
/proc/meminfo: memFree=27860424/32873844 swapFree=7116/7116
[pid=6415] ppid=6413 vsize=2580384 CPUtime=162.26 cores=1,3,5,7
/proc/6415/stat : 6415 (pbscip.linux.x8) R 6413 6415 4984 0 -1 4202496 637619 0 0 0 16128 98 0 0 20 0 1 0 346537089 2642313216 639472 33554432000 4194304 8395647 140734182454624 140734182450552 4910737 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6415/statm: 645096 639472 508 1026 0 644066 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 2580384
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 6417
/proc/meminfo: memFree=27851276/32873844 swapFree=7116/7116
[pid=6415] ppid=6413 vsize=2583456 CPUtime=222.25 cores=1,3,5,7
/proc/6415/stat : 6415 (pbscip.linux.x8) R 6413 6415 4984 0 -1 4202496 638412 0 0 0 22127 98 0 0 20 0 1 0 346537089 2645458944 640265 33554432000 4194304 8395647 140734182454624 140734182450408 5604537 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6415/statm: 645864 640265 514 1026 0 644834 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 2583456
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 6417
/proc/meminfo: memFree=27827744/32873844 swapFree=7116/7116
[pid=6415] ppid=6413 vsize=2598808 CPUtime=282.25 cores=1,3,5,7
/proc/6415/stat : 6415 (pbscip.linux.x8) R 6413 6415 4984 0 -1 4202496 642250 0 0 0 28126 99 0 0 20 0 1 0 346537089 2661179392 644103 33554432000 4194304 8395647 140734182454624 140734182450488 5210338 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6415/statm: 649702 644103 514 1026 0 648672 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 2598808
[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 6417
/proc/meminfo: memFree=27089436/32873844 swapFree=7116/7116
[pid=6415] ppid=6413 vsize=3384092 CPUtime=342.24 cores=1,3,5,7
/proc/6415/stat : 6415 (pbscip.linux.x8) R 6413 6415 4984 0 -1 4202496 765428 0 0 0 34099 125 0 0 20 0 1 0 346537089 3465310208 824011 33554432000 4194304 8395647 140734182454624 140734182450088 6587036 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6415/statm: 846023 824011 579 1026 0 844993 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 3384092
[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 6417
/proc/meminfo: memFree=26972464/32873844 swapFree=7116/7116
[pid=6415] ppid=6413 vsize=3527668 CPUtime=402.23 cores=1,3,5,7
/proc/6415/stat : 6415 (pbscip.linux.x8) R 6413 6415 4984 0 -1 4202496 775326 0 0 0 40084 139 0 0 20 0 1 0 346537089 3612332032 849476 33554432000 4194304 8395647 140734182454624 140734182449752 6721235 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6415/statm: 881917 849476 584 1026 0 880887 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 3527668
[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 6417
/proc/meminfo: memFree=26935596/32873844 swapFree=7116/7116
[pid=6415] ppid=6413 vsize=3510832 CPUtime=462.22 cores=1,3,5,7
/proc/6415/stat : 6415 (pbscip.linux.x8) R 6413 6415 4984 0 -1 4202496 779478 0 0 0 46069 153 0 0 20 0 1 0 346537089 3595091968 856098 33554432000 4194304 8395647 140734182454624 140734182449144 6697250 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6415/statm: 877708 856098 590 1026 0 876678 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 3510832
[startup+522.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 6421
/proc/meminfo: memFree=26843504/32873844 swapFree=7116/7116
[pid=6415] ppid=6413 vsize=3589644 CPUtime=522.21 cores=1,3,5,7
/proc/6415/stat : 6415 (pbscip.linux.x8) R 6413 6415 4984 0 -1 4202496 782091 0 0 0 52057 164 0 0 20 0 1 0 346537089 3675795456 867665 33554432000 4194304 8395647 140734182454624 140734182449144 6708004 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6415/statm: 897411 867665 590 1026 0 896381 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 3589644
[startup+582.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 6421
/proc/meminfo: memFree=26813592/32873844 swapFree=7116/7116
[pid=6415] ppid=6413 vsize=3610800 CPUtime=582.2 cores=1,3,5,7
/proc/6415/stat : 6415 (pbscip.linux.x8) R 6413 6415 4984 0 -1 4202496 782799 0 0 0 58053 167 0 0 20 0 1 0 346537089 3697459200 875024 33554432000 4194304 8395647 140734182454624 140734182449144 6708022 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6415/statm: 902700 875024 590 1026 0 901670 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 3610800
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26853200/32873844 swapFree=7116/7116
[pid=6415] ppid=6413 vsize=3492780 CPUtime=1062.12 cores=1,3,5,7
/proc/6415/stat : 6415 (pbscip.linux.x8) R 6413 6415 4984 0 -1 4202496 784422 0 0 0 106036 176 0 0 20 0 1 0 346537089 3576606720 854819 33554432000 4194304 8395647 140734182454624 140734182449912 5849682 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6415/statm: 873195 854819 610 1026 0 872165 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 3492780
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6426
/proc/meminfo: memFree=26843888/32873844 swapFree=7116/7116
[pid=6415] ppid=6413 vsize=3503952 CPUtime=1122.11 cores=1,3,5,7
/proc/6415/stat : 6415 (pbscip.linux.x8) R 6413 6415 4984 0 -1 4202496 785151 0 0 0 112035 176 0 0 20 0 1 0 346537089 3588046848 855625 33554432000 4194304 8395647 140734182454624 140734182448520 5852527 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6415/statm: 875988 855625 613 1026 0 874958 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 3503952
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6464
/proc/meminfo: memFree=27824584/32873844 swapFree=7116/7116
[pid=6415] ppid=6413 vsize=3503952 CPUtime=1182.1 cores=1,3,5,7
/proc/6415/stat : 6415 (pbscip.linux.x8) R 6413 6415 4984 0 -1 4202496 785151 0 0 0 118034 176 0 0 20 0 1 0 346537089 3588046848 855729 33554432000 4194304 8395647 140734182454624 140734182448520 5852534 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6415/statm: 875988 855729 613 1026 0 874958 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 3503952
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6464
/proc/meminfo: memFree=27822752/32873844 swapFree=7116/7116
[pid=6415] ppid=6413 vsize=3503952 CPUtime=1242.09 cores=1,3,5,7
/proc/6415/stat : 6415 (pbscip.linux.x8) R 6413 6415 4984 0 -1 4202496 785151 0 0 0 124033 176 0 0 20 0 1 0 346537089 3588046848 855729 33554432000 4194304 8395647 140734182454624 140734182448520 5852534 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6415/statm: 875988 855729 613 1026 0 874958 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 3503952
[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 6464
/proc/meminfo: memFree=27822912/32873844 swapFree=7116/7116
[pid=6415] ppid=6413 vsize=3503952 CPUtime=1302.09 cores=1,3,5,7
/proc/6415/stat : 6415 (pbscip.linux.x8) R 6413 6415 4984 0 -1 4202496 785215 0 0 0 130033 176 0 0 20 0 1 0 346537089 3588046848 855793 33554432000 4194304 8395647 140734182454624 140734182448520 7382137 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6415/statm: 875988 855793 613 1026 0 874958 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 3503952
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 6465
/proc/meminfo: memFree=27593840/32873844 swapFree=7116/7116
[pid=6415] ppid=6413 vsize=3736676 CPUtime=1362.08 cores=1,3,5,7
/proc/6415/stat : 6415 (pbscip.linux.x8) R 6413 6415 4984 0 -1 4202496 796430 0 0 0 136023 185 0 0 20 0 1 0 346537089 3826356224 912773 33554432000 4194304 8395647 140734182454624 140734182450184 6585848 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6415/statm: 934169 912773 626 1026 0 933139 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 3736676
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6466
/proc/meminfo: memFree=27570412/32873844 swapFree=7116/7116
[pid=6415] ppid=6413 vsize=3761380 CPUtime=1422.08 cores=1,3,5,7
/proc/6415/stat : 6415 (pbscip.linux.x8) R 6413 6415 4984 0 -1 4202496 797462 0 0 0 142018 190 0 0 20 0 1 0 346537089 3851653120 918740 33554432000 4194304 8395647 140734182454624 140734182449816 7382137 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6415/statm: 940345 918740 626 1026 0 939315 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 3761380
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6466
/proc/meminfo: memFree=27569572/32873844 swapFree=7116/7116
[pid=6415] ppid=6413 vsize=3761380 CPUtime=1482.06 cores=1,3,5,7
/proc/6415/stat : 6415 (pbscip.linux.x8) R 6413 6415 4984 0 -1 4202496 797715 0 0 0 148016 190 0 0 20 0 1 0 346537089 3851653120 918993 33554432000 4194304 8395647 140734182454624 140734182449912 7382137 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6415/statm: 940345 918993 626 1026 0 939315 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 3761380
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6466
/proc/meminfo: memFree=27569600/32873844 swapFree=7116/7116
[pid=6415] ppid=6413 vsize=3761380 CPUtime=1542.05 cores=1,3,5,7
/proc/6415/stat : 6415 (pbscip.linux.x8) R 6413 6415 4984 0 -1 4202496 797715 0 0 0 154015 190 0 0 20 0 1 0 346537089 3851653120 918993 33554432000 4194304 8395647 140734182454624 140734182449912 7382137 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6415/statm: 940345 918993 626 1026 0 939315 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 3761380
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6466
/proc/meminfo: memFree=27569504/32873844 swapFree=7116/7116
[pid=6415] ppid=6413 vsize=3761380 CPUtime=1602.04 cores=1,3,5,7
/proc/6415/stat : 6415 (pbscip.linux.x8) R 6413 6415 4984 0 -1 4202496 797715 0 0 0 160014 190 0 0 20 0 1 0 346537089 3851653120 918993 33554432000 4194304 8395647 140734182454624 140734182449912 5849675 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6415/statm: 940345 918993 626 1026 0 939315 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 3761380
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6466
/proc/meminfo: memFree=27569408/32873844 swapFree=7116/7116
[pid=6415] ppid=6413 vsize=3761380 CPUtime=1662.03 cores=1,3,5,7
/proc/6415/stat : 6415 (pbscip.linux.x8) R 6413 6415 4984 0 -1 4202496 797715 0 0 0 166013 190 0 0 20 0 1 0 346537089 3851653120 918993 33554432000 4194304 8395647 140734182454624 140734182449912 5849694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6415/statm: 940345 918993 626 1026 0 939315 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 3761380
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6470
/proc/meminfo: memFree=27569164/32873844 swapFree=7116/7116
[pid=6415] ppid=6413 vsize=3761380 CPUtime=1722.02 cores=1,3,5,7
/proc/6415/stat : 6415 (pbscip.linux.x8) R 6413 6415 4984 0 -1 4202496 797731 0 0 0 172012 190 0 0 20 0 1 0 346537089 3851653120 919009 33554432000 4194304 8395647 140734182454624 140734182449912 7382116 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6415/statm: 940345 919009 626 1026 0 939315 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 3761380
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6470
/proc/meminfo: memFree=27568844/32873844 swapFree=7116/7116
[pid=6415] ppid=6413 vsize=3761380 CPUtime=1782.01 cores=1,3,5,7
/proc/6415/stat : 6415 (pbscip.linux.x8) R 6413 6415 4984 0 -1 4202496 797731 0 0 0 178011 190 0 0 20 0 1 0 346537089 3851653120 919009 33554432000 4194304 8395647 140734182454624 140734182449912 7382132 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6415/statm: 940345 919009 626 1026 0 939315 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 3761380
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6470
/proc/meminfo: memFree=27569340/32873844 swapFree=7116/7116
[pid=6415] ppid=6413 vsize=3761380 CPUtime=1785.21 cores=1,3,5,7
/proc/6415/stat : 6415 (pbscip.linux.x8) R 6413 6415 4984 0 -1 4202496 797731 0 0 0 178331 190 0 0 20 0 1 0 346537089 3851653120 919009 33554432000 4194304 8395647 140734182454624 140734182449912 5852502 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6415/statm: 940345 919009 626 1026 0 939315 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 3761380
[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6470
/proc/meminfo: memFree=27569324/32873844 swapFree=7116/7116
[pid=6415] ppid=6413 vsize=3761380 CPUtime=1788.41 cores=1,3,5,7
/proc/6415/stat : 6415 (pbscip.linux.x8) R 6413 6415 4984 0 -1 4202496 797731 0 0 0 178651 190 0 0 20 0 1 0 346537089 3851653120 919009 33554432000 4194304 8395647 140734182454624 140734182449912 7382162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6415/statm: 940345 919009 626 1026 0 939315 0
Current children cumulated CPU time (s) 1788.41
Current children cumulated vsize (KiB) 3761380
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6470
/proc/meminfo: memFree=27681408/32873844 swapFree=7116/7116
[pid=6415] ppid=6413 vsize=3640496 CPUtime=1791.62 cores=1,3,5,7
/proc/6415/stat : 6415 (pbscip.linux.x8) R 6413 6415 4984 0 -1 4202496 798587 0 0 0 178970 192 0 0 20 0 1 0 346537089 3727867904 890913 33554432000 4194304 8395647 140734182454624 140734182453960 6063821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6415/statm: 910124 890913 635 1026 0 909094 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 3640496
[startup+1793.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6470
/proc/meminfo: memFree=27681408/32873844 swapFree=7116/7116
[pid=6415] ppid=6413 vsize=3640496 CPUtime=1793.21 cores=1,3,5,7
/proc/6415/stat : 6415 (pbscip.linux.x8) R 6413 6415 4984 0 -1 4202496 798587 0 0 0 179129 192 0 0 20 0 1 0 346537089 3727867904 890913 33554432000 4194304 8395647 140734182454624 140734182453960 6063840 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6415/statm: 910124 890913 635 1026 0 909094 0
Current children cumulated CPU time (s) 1793.21
Current children cumulated vsize (KiB) 3640496
[startup+1794.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6470
/proc/meminfo: memFree=27686120/32873844 swapFree=7116/7116
[pid=6415] ppid=6413 vsize=3635048 CPUtime=1794.01 cores=1,3,5,7
/proc/6415/stat : 6415 (pbscip.linux.x8) R 6413 6415 4984 0 -1 4202496 798587 0 0 0 179209 192 0 0 20 0 1 0 346537089 3722289152 889730 33554432000 4194304 8395647 140734182454624 140734182454008 6066710 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6415/statm: 908762 889730 635 1026 0 907732 0
Current children cumulated CPU time (s) 1794.01
Current children cumulated vsize (KiB) 3635048
[startup+1794.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6470
/proc/meminfo: memFree=27686120/32873844 swapFree=7116/7116
[pid=6415] ppid=6413 vsize=2032400 CPUtime=1794.41 cores=1,3,5,7
/proc/6415/stat : 6415 (pbscip.linux.x8) R 6413 6415 4984 0 -1 4202496 798588 0 0 0 179241 200 0 0 20 0 1 0 346537089 2081177600 178006 33554432000 4194304 8395647 140734182454624 140734182454008 7602442 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6415/statm: 508100 178006 636 1026 0 507070 0
Current children cumulated CPU time (s) 1794.41
Current children cumulated vsize (KiB) 2032400
Child status: 0
Real time (s): 1794.71
CPU time (s): 1794.43
CPU user time (s): 1792.41
CPU system time (s): 2.01369
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 3836296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.41
system time used= 2.01369
maximum resident set size= 3708060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 798593
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= 13
involuntary context switches= 1845
runsolver used 2.87956 second user time and 8.31474 second system time
The end