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-3742853-1338775528.opb>
0.39/0.44 c original problem has 40451 variables (40451 bin, 0 int, 0 impl, 0 cont) and 40950 constraints
0.39/0.44 c problem read
0.39/0.44 c presolving settings loaded
0.59/0.63 c presolving:
0.69/0.78 c (round 1) 3294 del vars, 3219 del conss, 125 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12912 impls, 504 clqs
0.79/0.83 c (round 2) 4444 del vars, 4374 del conss, 1152 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13588 impls, 503 clqs
0.79/0.89 c (round 3) 5045 del vars, 4975 del conss, 1753 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14634 impls, 503 clqs
0.88/0.94 c (round 4) 5464 del vars, 5394 del conss, 2172 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16300 impls, 503 clqs
0.88/0.99 c (round 5) 5792 del vars, 5722 del conss, 2500 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17978 impls, 503 clqs
0.99/1.04 c (round 6) 6057 del vars, 5987 del conss, 2765 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18682 impls, 503 clqs
0.99/1.08 c (round 7) 6267 del vars, 6197 del conss, 2975 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20210 impls, 503 clqs
1.09/1.13 c (round 8) 6464 del vars, 6394 del conss, 3172 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21122 impls, 503 clqs
1.09/1.17 c (round 9) 6485 del vars, 6415 del conss, 3193 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21736 impls, 503 clqs
1.18/1.21 c (round 10) 6545 del vars, 6475 del conss, 3253 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22334 impls, 503 clqs
105.96/106.07 c (round 11) 6657 del vars, 6541 del conss, 3254 chg bounds, 0 chg sides, 0 chg coeffs, 34344 upgd conss, 8268594 impls, 503 clqs
106.16/106.28 c (round 12) 6657 del vars, 6652 del conss, 3254 chg bounds, 0 chg sides, 0 chg coeffs, 34409 upgd conss, 8268686 impls, 504 clqs
210.84/210.96 c (round 13) 6731 del vars, 6652 del conss, 3254 chg bounds, 0 chg sides, 0 chg coeffs, 34409 upgd conss, 9342824 impls, 504 clqs
211.34/211.46 c (round 14) 6731 del vars, 6726 del conss, 3254 chg bounds, 0 chg sides, 0 chg coeffs, 34409 upgd conss, 9342932 impls, 504 clqs
408.82/408.99 c (round 15) 6783 del vars, 6726 del conss, 3254 chg bounds, 0 chg sides, 0 chg coeffs, 34409 upgd conss, 11783512 impls, 504 clqs
409.42/409.54 c (round 16) 6783 del vars, 6778 del conss, 3254 chg bounds, 0 chg sides, 0 chg coeffs, 34409 upgd conss, 11783620 impls, 504 clqs
722.35/722.58 c (round 17) 6833 del vars, 6778 del conss, 3254 chg bounds, 0 chg sides, 0 chg coeffs, 34409 upgd conss, 16798966 impls, 504 clqs
722.95/723.17 c (round 18) 6833 del vars, 6828 del conss, 3254 chg bounds, 0 chg sides, 0 chg coeffs, 34409 upgd conss, 16798966 impls, 504 clqs
852.12/852.40 c (852.0s) probing: 1000/33905 (2.9%) - 306 fixings, 13 aggregations, 3810380 implications, 0 bound changes
897.81/898.00 c (round 19) 6883 del vars, 6828 del conss, 3254 chg bounds, 0 chg sides, 0 chg coeffs, 34409 upgd conss, 19143842 impls, 504 clqs
898.32/898.60 c (round 20) 6883 del vars, 6878 del conss, 3254 chg bounds, 0 chg sides, 0 chg coeffs, 34409 upgd conss, 19143842 impls, 504 clqs
1145.48/1145.78 c (round 21) 6933 del vars, 6878 del conss, 3254 chg bounds, 0 chg sides, 0 chg coeffs, 34409 upgd conss, 21291776 impls, 504 clqs
1146.08/1146.38 c (round 22) 6933 del vars, 6928 del conss, 3254 chg bounds, 0 chg sides, 0 chg coeffs, 34409 upgd conss, 21291776 impls, 504 clqs
1668.79/1669.11 c (1668.7s) probing: 2000/33905 (5.9%) - 390 fixings, 21 aggregations, 7791836 implications, 0 bound changes
1790.38/1790.77 c (1790.3s) probing: 2138/33905 (6.3%) - 394 fixings, 21 aggregations, 8404077 implications, 0 bound changes
1790.38/1790.77 c (1790.3s) probing aborted: solving stopped
1790.38/1790.77 c (round 23) 6961 del vars, 6928 del conss, 3254 chg bounds, 0 chg sides, 0 chg coeffs, 34409 upgd conss, 28308314 impls, 504 clqs
1790.38/1790.77 c presolving (23 rounds):
1790.38/1790.77 c 6961 deleted vars, 6928 deleted constraints, 3254 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1790.38/1790.77 c 28308314 implications, 504 cliques
1790.38/1790.77 c presolving was interrupted.
1790.38/1790.77 c Presolving Time: 1790.21
1790.38/1790.77 c - non default parameters ----------------------------------------------------------------------
1790.38/1790.77 c # SCIP version 1.2.1.3
1790.38/1790.77 c
1790.38/1790.77 c # frequency for displaying node information lines
1790.38/1790.77 c # [type: int, range: [-1,2147483647], default: 100]
1790.38/1790.77 c display/freq = 10000
1790.38/1790.77 c
1790.38/1790.77 c # maximal time in seconds to run
1790.38/1790.77 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1790.38/1790.77 c limits/time = 1789.57
1790.38/1790.77 c
1790.38/1790.77 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1790.38/1790.77 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1790.38/1790.77 c limits/memory = 13950
1790.38/1790.77 c
1790.38/1790.77 c # default clock type (1: CPU user seconds, 2: wall clock time)
1790.38/1790.77 c # [type: int, range: [1,2], default: 1]
1790.38/1790.77 c timing/clocktype = 2
1790.38/1790.77 c
1790.38/1790.77 c # should presolving try to simplify inequalities
1790.38/1790.77 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1790.38/1790.77 c constraints/linear/simplifyinequalities = TRUE
1790.38/1790.77 c
1790.38/1790.77 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1790.38/1790.77 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1790.38/1790.77 c constraints/indicator/addCouplingCons = TRUE
1790.38/1790.77 c
1790.38/1790.77 c # should presolving try to simplify knapsacks
1790.38/1790.77 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1790.38/1790.77 c constraints/knapsack/simplifyinequalities = TRUE
1790.38/1790.77 c
1790.38/1790.77 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1790.38/1790.77 c # [type: int, range: [-1,2147483647], default: -1]
1790.38/1790.77 c separating/rapidlearning/freq = 0
1790.38/1790.77 c
1790.38/1790.77 c -----------------------------------------------------------------------------------------------
1790.38/1790.77 c start solving
1790.38/1790.79 c presolving:
1790.38/1790.79 c presolving (23 rounds):
1790.38/1790.79 c 6961 deleted vars, 6928 deleted constraints, 3254 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1790.38/1790.79 c 28308314 implications, 504 cliques
1790.38/1790.79 c presolving was interrupted.
1790.38/1790.79 c Presolving Time: 1790.22
1790.38/1790.79 c
1790.38/1790.79 c SCIP Status : solving was interrupted [time limit reached]
1790.38/1790.79 c Solving Time (sec) : 1790.35
1790.38/1790.79 c Solving Nodes : 0
1790.38/1790.79 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1790.38/1790.79 s UNKNOWN
1790.38/1790.79 c SCIP Status : solving was interrupted [time limit reached]
1790.38/1790.79 c Solving Time : 1790.35
1790.38/1790.79 c Original Problem :
1790.38/1790.79 c Problem name : HOME/instance-3742853-1338775528.opb
1790.38/1790.79 c Variables : 40451 (40451 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.38/1790.79 c Constraints : 40950 initial, 40950 maximal
1790.38/1790.79 c Presolved Problem :
1790.38/1790.79 c Problem name : t_HOME/instance-3742853-1338775528.opb
1790.38/1790.79 c Variables : 33490 (33490 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.38/1790.79 c Constraints : 34022 initial, 34022 maximal
1790.38/1790.79 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.38/1790.79 c trivial : 0.04 123 0 0 0 0 0 0 0
1790.38/1790.79 c dualfix : 0.03 3168 0 0 0 0 0 0 0
1790.38/1790.79 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.38/1790.79 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.38/1790.79 c implics : 0.07 0 1 0 0 0 0 0 0
1790.38/1790.79 c probing : 1785.31 394 21 0 0 0 0 0 0
1790.38/1790.79 c knapsack : 2.80 0 0 0 0 0 0 0 0
1790.38/1790.79 c setppc : 0.09 0 0 0 0 0 246 0 0
1790.38/1790.79 c linear : 1.37 3254 0 0 3254 0 6541 0 0
1790.38/1790.79 c logicor : 0.35 0 0 0 0 0 141 0 0
1790.38/1790.79 c root node : - 0 - - 0 - - - -
1790.38/1790.79 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.38/1790.79 c integral : 0 0 0 0 0 0 0 0 0 0
1790.38/1790.79 c knapsack : 0+ 0 18263 0 0 79 0 0 0 0
1790.38/1790.79 c setppc : 0+ 0 18183 0 0 116 0 0 0 0
1790.38/1790.79 c linear : 0+ 0 1924 0 0 0 0 0 0 0
1790.38/1790.79 c logicor : 0+ 0 15430 0 0 37 0 0 0 0
1790.38/1790.79 c countsols : 0 0 0 0 0 0 0 0 0 0
1790.38/1790.79 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.38/1790.79 c integral : 0.00 0.00 0.00 0.00 0.00
1790.38/1790.79 c knapsack : 1525.71 0.00 1525.71 0.00 0.00
1790.38/1790.79 c setppc : 2.42 0.00 2.42 0.00 0.00
1790.38/1790.79 c linear : 0.22 0.00 0.22 0.00 0.00
1790.38/1790.79 c logicor : 7.59 0.00 7.59 0.00 0.00
1790.38/1790.79 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.38/1790.79 c Propagators : Time Calls Cutoffs DomReds
1790.38/1790.79 c vbounds : 0.01 1 0 0
1790.38/1790.79 c rootredcost : 0.01 0 0 0
1790.38/1790.79 c pseudoobj : 0.01 0 0 0
1790.38/1790.79 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.38/1790.79 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1790.38/1790.79 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1790.38/1790.79 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.38/1790.79 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.38/1790.79 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.38/1790.79 c applied globally : - - - 0 0.0 - - -
1790.38/1790.79 c applied locally : - - - 0 0.0 - - -
1790.57/1790.95 c Time complete: 1790.64.
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-3742853-1338775528/watcher-3742853-1338775528 -o /tmp/evaluation-result-3742853-1338775528/solver-3742853-1338775528 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3742853-1338775528.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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.94 1.99 1.86 3/178 12448
/proc/meminfo: memFree=27985176/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=7916 CPUtime=0 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 1248 0 0 0 0 0 0 0 20 0 1 0 343678250 8105984 1194 33554432000 4194304 8395647 140734120708592 140735286607672 7430272 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12448/statm: 1979 1195 370 1026 0 949 0
[startup+0.0668339 s]
/proc/loadavg: 1.94 1.99 1.86 3/178 12448
/proc/meminfo: memFree=27985176/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=32892 CPUtime=0.05 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 7518 0 0 0 5 0 0 0 20 0 1 0 343678250 33681408 7458 33554432000 4194304 8395647 140734120708592 140734120571096 4403588 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12448/statm: 8259 7462 394 1026 0 7229 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 32892
[startup+0.100265 s]
/proc/loadavg: 1.94 1.99 1.86 3/178 12448
/proc/meminfo: memFree=27985176/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=38268 CPUtime=0.09 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 8833 0 0 0 8 1 0 0 20 0 1 0 343678250 39186432 8773 33554432000 4194304 8395647 140734120708592 140734120571096 5757912 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12448/statm: 9567 8773 394 1026 0 8537 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38268
[startup+0.300215 s]
/proc/loadavg: 1.94 1.99 1.86 3/178 12448
/proc/meminfo: memFree=27985176/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=51944 CPUtime=0.29 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 12254 0 0 0 27 2 0 0 20 0 1 0 343678250 53190656 12194 33554432000 4194304 8395647 140734120708592 140734120573800 7382041 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12448/statm: 12986 12194 394 1026 0 11956 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51944
[startup+0.700254 s]
/proc/loadavg: 1.94 1.99 1.86 3/178 12448
/proc/meminfo: memFree=27985176/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=135912 CPUtime=0.69 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 33105 0 0 0 65 4 0 0 20 0 1 0 343678250 139173888 32691 33554432000 4194304 8395647 140734120708592 140734120573800 4962932 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12448/statm: 33978 32691 471 1026 0 32948 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 135912
[startup+1.50017 s]
/proc/loadavg: 1.94 1.99 1.86 3/179 12449
/proc/meminfo: memFree=27754464/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=140248 CPUtime=1.48 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 35039 0 0 0 144 4 0 0 20 0 1 0 343678250 143613952 33799 33554432000 4194304 8395647 140734120708592 140734120705816 5019732 0 0 4096 16384 0 0 0 17 6 0 0 0 0 0
/proc/12448/statm: 35062 33799 478 1026 0 34032 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 140248
[startup+3.10022 s]
/proc/loadavg: 1.94 1.99 1.86 3/179 12449
/proc/meminfo: memFree=27720612/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=232640 CPUtime=3.09 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 57312 0 0 0 301 8 0 0 20 0 1 0 343678250 238223360 56040 33554432000 4194304 8395647 140734120708592 140734120704456 6080653 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12448/statm: 58160 56040 498 1026 0 57130 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 232640
[startup+6.3003 s]
/proc/loadavg: 1.94 1.99 1.86 3/179 12449
/proc/meminfo: memFree=27468900/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=307548 CPUtime=6.29 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 74680 0 0 0 618 11 0 0 20 0 1 0 343678250 314929152 73408 33554432000 4194304 8395647 140734120708592 140734120704456 6080688 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12448/statm: 76887 73408 498 1026 0 75857 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 307548
[startup+12.7002 s]
/proc/loadavg: 1.95 1.99 1.86 3/179 12449
/proc/meminfo: memFree=27406244/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=337420 CPUtime=12.68 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 81956 0 0 0 1256 12 0 0 20 0 1 0 343678250 345518080 80684 33554432000 4194304 8395647 140734120708592 140734120704456 5604533 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12448/statm: 84355 80684 498 1026 0 83325 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 337420
[startup+25.5003 s]
/proc/loadavg: 1.96 1.99 1.86 3/179 12449
/proc/meminfo: memFree=27258188/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=400936 CPUtime=25.48 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 97617 0 0 0 2532 16 0 0 20 0 1 0 343678250 410558464 96345 33554432000 4194304 8395647 140734120708592 140734120704456 6080661 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12448/statm: 100234 96345 498 1026 0 99204 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 400936
[startup+51.1004 s]
/proc/loadavg: 1.97 1.99 1.86 3/179 12449
/proc/meminfo: memFree=27033468/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=535672 CPUtime=51.07 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 129594 0 0 0 5086 21 0 0 20 0 1 0 343678250 548528128 128322 33554432000 4194304 8395647 140734120708592 140734120704456 6080675 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 133918 128322 498 1026 0 132888 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 535672
[startup+102.307 s]
/proc/loadavg: 1.99 1.99 1.87 3/179 12449
/proc/meminfo: memFree=26741120/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=696096 CPUtime=102.27 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 169417 0 0 0 10199 28 0 0 20 0 1 0 343678250 712802304 168145 33554432000 4194304 8395647 140734120708592 140734120704456 6068869 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 174024 168145 498 1026 0 172994 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 696096
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.87 3/179 12450
/proc/meminfo: memFree=26567052/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=731336 CPUtime=162.25 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 178505 0 0 0 16196 29 0 0 20 0 1 0 343678250 748888064 177233 33554432000 4194304 8395647 140734120708592 140734120704616 6080679 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 182834 177233 507 1026 0 181804 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 731336
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.88 3/179 12450
/proc/meminfo: memFree=26551456/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=741220 CPUtime=222.25 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 180980 0 0 0 22195 30 0 0 20 0 1 0 343678250 759009280 179708 33554432000 4194304 8395647 140734120708592 140734120704616 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 185305 179708 507 1026 0 184275 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 741220
[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.88 3/180 12453
/proc/meminfo: memFree=26548964/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=741220 CPUtime=282.24 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 180980 0 0 0 28194 30 0 0 20 0 1 0 343678250 759009280 179708 33554432000 4194304 8395647 140734120708592 140734120704616 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 185305 179708 507 1026 0 184275 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 741220
[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.89 3/179 12453
/proc/meminfo: memFree=26538492/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=741220 CPUtime=342.23 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 180980 0 0 0 34193 30 0 0 20 0 1 0 343678250 759009280 179708 33554432000 4194304 8395647 140734120708592 140734120704616 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 185305 179708 507 1026 0 184275 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 741220
[startup+402.3 s]
/proc/loadavg: 2.07 2.00 1.90 3/179 12453
/proc/meminfo: memFree=26491772/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=743320 CPUtime=402.22 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 181505 0 0 0 40192 30 0 0 20 0 1 0 343678250 761159680 180233 33554432000 4194304 8395647 140734120708592 140734120704664 6345902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 185830 180233 507 1026 0 184800 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 743320
[startup+462.3 s]
/proc/loadavg: 2.02 2.00 1.91 3/179 12454
/proc/meminfo: memFree=26413804/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=750432 CPUtime=462.21 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 183283 0 0 0 46191 30 0 0 20 0 1 0 343678250 768442368 182011 33554432000 4194304 8395647 140734120708592 140734120704616 4911287 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 187608 182011 507 1026 0 186578 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 750432
[startup+522.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 12454
/proc/meminfo: memFree=26309052/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=752536 CPUtime=522.2 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 183809 0 0 0 52190 30 0 0 20 0 1 0 343678250 770596864 182537 33554432000 4194304 8395647 140734120708592 140734120704664 4247653 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 188134 182537 507 1026 0 187104 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 752536
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12454
/proc/meminfo: memFree=26220792/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=764820 CPUtime=582.19 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 186880 0 0 0 58189 30 0 0 20 0 1 0 343678250 783175680 185608 33554432000 4194304 8395647 140734120708592 140734120704664 4911307 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 191205 185608 507 1026 0 190175 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 764820
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25768968/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=893612 CPUtime=1002.1 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 218582 0 0 0 100174 36 0 0 20 0 1 0 343678250 915058688 220075 33554432000 4194304 8395647 140734120708592 140734120704520 6080653 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 223403 220075 513 1026 0 222373 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 893612
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/178 12458
/proc/meminfo: memFree=25708980/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=901796 CPUtime=1062.09 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 220728 0 0 0 106173 36 0 0 20 0 1 0 343678250 923439104 223536 33554432000 4194304 8395647 140734120708592 140734120704664 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 225449 223536 513 1026 0 224419 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 901796
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/178 12459
/proc/meminfo: memFree=25673676/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=924224 CPUtime=1122.08 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 226238 0 0 0 112171 37 0 0 20 0 1 0 343678250 946405376 229287 33554432000 4194304 8395647 140734120708592 140734120704456 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 231056 229287 513 1026 0 230026 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 924224
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12460
/proc/meminfo: memFree=25661296/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=935364 CPUtime=1182.06 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 228726 0 0 0 118169 37 0 0 20 0 1 0 343678250 957812736 232192 33554432000 4194304 8395647 140734120708592 140734120704520 4911327 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 233841 232192 513 1026 0 232811 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 935364
[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/179 12460
/proc/meminfo: memFree=25644524/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=947436 CPUtime=1242.06 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 231533 0 0 0 124168 38 0 0 20 0 1 0 343678250 970174464 235560 33554432000 4194304 8395647 140734120708592 140734120704664 4911327 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 236859 235560 513 1026 0 235829 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 947436
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/179 12460
/proc/meminfo: memFree=25613700/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=976916 CPUtime=1302.06 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 238799 0 0 0 130167 39 0 0 20 0 1 0 343678250 1000361984 242826 33554432000 4194304 8395647 140734120708592 140734120704664 4911327 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 244229 242826 513 1026 0 243199 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 976916
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12460
/proc/meminfo: memFree=25590884/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=998908 CPUtime=1362.04 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 244131 0 0 0 136165 39 0 0 20 0 1 0 343678250 1022881792 248158 33554432000 4194304 8395647 140734120708592 140734120704664 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 249727 248158 513 1026 0 248697 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 998908
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12461
/proc/meminfo: memFree=25567572/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=1012988 CPUtime=1422.04 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 247543 0 0 0 142164 40 0 0 20 0 1 0 343678250 1037299712 251570 33554432000 4194304 8395647 140734120708592 140734120704664 4911287 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 253247 251570 513 1026 0 252217 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 1012988
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 12464
/proc/meminfo: memFree=25520660/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=1031052 CPUtime=1482.02 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 251354 0 0 0 148162 40 0 0 20 0 1 0 343678250 1055797248 255381 33554432000 4194304 8395647 140734120708592 140734120704664 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 257763 255381 513 1026 0 256733 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 1031052
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12464
/proc/meminfo: memFree=25483748/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=1039068 CPUtime=1542.02 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 253507 0 0 0 154161 41 0 0 20 0 1 0 343678250 1064005632 257534 33554432000 4194304 8395647 140734120708592 140734120704664 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 259767 257534 513 1026 0 258737 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 1039068
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12464
/proc/meminfo: memFree=25435016/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=1069504 CPUtime=1602.01 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 261065 0 0 0 160159 42 0 0 20 0 1 0 343678250 1095172096 265092 33554432000 4194304 8395647 140734120708592 140734120704664 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 267376 265092 513 1026 0 266346 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 1069504
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12464
/proc/meminfo: memFree=25375992/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=1098812 CPUtime=1661.99 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 268465 0 0 0 166157 42 0 0 20 0 1 0 343678250 1125183488 272492 33554432000 4194304 8395647 140734120708592 140734120704664 6080665 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 274703 272492 513 1026 0 273673 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 1098812
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12465
/proc/meminfo: memFree=25323540/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=1131984 CPUtime=1721.99 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 276245 0 0 0 172156 43 0 0 20 0 1 0 343678250 1159151616 280272 33554432000 4194304 8395647 140734120708592 140734120704664 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 282996 280272 513 1026 0 281966 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 1131984
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12465
/proc/meminfo: memFree=25246660/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=1173492 CPUtime=1781.98 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 286374 0 0 0 178153 45 0 0 20 0 1 0 343678250 1201655808 290401 33554432000 4194304 8395647 140734120708592 140734120704664 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 293373 290401 513 1026 0 292343 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 1173492
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12465
/proc/meminfo: memFree=25243808/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=1174512 CPUtime=1785.18 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 286772 0 0 0 178473 45 0 0 20 0 1 0 343678250 1202700288 290799 33554432000 4194304 8395647 140734120708592 140734120704664 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 293628 290799 513 1026 0 292598 0
Current children cumulated CPU time (s) 1785.18
Current children cumulated vsize (KiB) 1174512
[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12465
/proc/meminfo: memFree=25238228/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=1175480 CPUtime=1788.38 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 287020 0 0 0 178793 45 0 0 20 0 1 0 343678250 1203691520 291047 33554432000 4194304 8395647 140734120708592 140734120704664 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 293870 291047 513 1026 0 292840 0
Current children cumulated CPU time (s) 1788.38
Current children cumulated vsize (KiB) 1175480
[startup+1790.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12465
/proc/meminfo: memFree=25236492/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=1178516 CPUtime=1789.98 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 287520 0 0 0 178953 45 0 0 20 0 1 0 343678250 1206800384 291547 33554432000 4194304 8395647 140734120708592 140734120704664 4911327 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 294629 291547 513 1026 0 293599 0
Current children cumulated CPU time (s) 1789.98
Current children cumulated vsize (KiB) 1178516
[startup+1790.7 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12503
/proc/meminfo: memFree=26809084/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=1178516 CPUtime=1790.38 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 287520 0 0 0 178993 45 0 0 20 0 1 0 343678250 1206800384 291547 33554432000 4194304 8395647 140734120708592 140734120704664 4911307 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 294629 291547 513 1026 0 293599 0
Current children cumulated CPU time (s) 1790.38
Current children cumulated vsize (KiB) 1178516
[startup+1790.9 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12503
/proc/meminfo: memFree=26809084/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=1174512 CPUtime=1790.57 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 288026 0 0 0 179012 45 0 0 20 0 1 0 343678250 1202700288 291045 33554432000 4194304 8395647 140734120708592 140734120704392 6076037 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 293628 291045 520 1026 0 292598 0
Current children cumulated CPU time (s) 1790.57
Current children cumulated vsize (KiB) 1174512
Child status: 0
Real time (s): 1790.96
CPU time (s): 1790.64
CPU user time (s): 1790.16
CPU system time (s): 0.481926
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 1180560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.16
system time used= 0.481926
maximum resident set size= 1168212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 288040
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= 38
involuntary context switches= 2993
runsolver used 3.34649 second user time and 8.41672 second system time
The end