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-3743633-1338789336.opb>
0.38/0.42 c original problem has 40451 variables (40451 bin, 0 int, 0 impl, 0 cont) and 40950 constraints
0.38/0.42 c problem read
0.38/0.42 c presolving settings loaded
0.58/0.60 c presolving:
0.69/0.71 c (round 1) 6528 del vars, 6502 del conss, 125 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11856 impls, 455 clqs
0.69/0.73 c (round 2) 7590 del vars, 7569 del conss, 1064 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12450 impls, 454 clqs
0.69/0.76 c (round 3) 8141 del vars, 8120 del conss, 1615 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13374 impls, 454 clqs
0.69/0.79 c (round 4) 8521 del vars, 8500 del conss, 1995 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14926 impls, 454 clqs
0.79/0.81 c (round 5) 8830 del vars, 8809 del conss, 2304 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16620 impls, 454 clqs
0.79/0.83 c (round 6) 9093 del vars, 9072 del conss, 2567 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17768 impls, 454 clqs
0.79/0.86 c (round 7) 9313 del vars, 9292 del conss, 2787 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18678 impls, 454 clqs
0.79/0.88 c (round 8) 9438 del vars, 9417 del conss, 2912 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19642 impls, 454 clqs
0.89/0.90 c (round 9) 9487 del vars, 9466 del conss, 2961 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20292 impls, 454 clqs
0.89/0.91 c (round 10) 9508 del vars, 9487 del conss, 2982 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20606 impls, 454 clqs
77.57/77.63 c (round 11) 9569 del vars, 9553 del conss, 2983 chg bounds, 0 chg sides, 0 chg coeffs, 31332 upgd conss, 7906090 impls, 454 clqs
77.67/77.74 c (round 12) 9569 del vars, 9613 del conss, 2983 chg bounds, 0 chg sides, 0 chg coeffs, 31397 upgd conss, 7906090 impls, 454 clqs
104.78/104.82 c (round 13) 9625 del vars, 9613 del conss, 2983 chg bounds, 0 chg sides, 0 chg coeffs, 31397 upgd conss, 8411502 impls, 454 clqs
104.88/104.91 c (round 14) 9625 del vars, 9669 del conss, 2983 chg bounds, 0 chg sides, 0 chg coeffs, 31397 upgd conss, 8411572 impls, 454 clqs
390.33/390.42 c (round 15) 9675 del vars, 9669 del conss, 2983 chg bounds, 0 chg sides, 0 chg coeffs, 31397 upgd conss, 12786644 impls, 454 clqs
390.43/390.58 c (round 16) 9675 del vars, 9719 del conss, 2983 chg bounds, 0 chg sides, 0 chg coeffs, 31397 upgd conss, 12786744 impls, 454 clqs
493.70/493.85 c (493.4s) probing: 1000/30942 (3.2%) - 184 fixings, 14 aggregations, 3391175 implications, 0 bound changes
664.27/664.46 c (664.0s) probing: 2000/30942 (6.5%) - 184 fixings, 22 aggregations, 5390393 implications, 0 bound changes
803.04/803.26 c (round 17) 9725 del vars, 9719 del conss, 2983 chg bounds, 0 chg sides, 0 chg coeffs, 31397 upgd conss, 23703660 impls, 454 clqs
803.24/803.49 c (round 18) 9725 del vars, 9769 del conss, 2983 chg bounds, 0 chg sides, 0 chg coeffs, 31397 upgd conss, 23703660 impls, 454 clqs
924.42/924.60 c (924.2s) probing: 3000/30942 (9.7%) - 185 fixings, 31 aggregations, 7830627 implications, 0 bound changes
1177.18/1177.48 c (1177.1s) probing: 4000/30942 (12.9%) - 188 fixings, 38 aggregations, 9792820 implications, 0 bound changes
1473.53/1473.86 c (1473.4s) probing: 5000/30942 (16.2%) - 193 fixings, 54 aggregations, 12774567 implications, 0 bound changes
1789.88/1790.24 c (1789.8s) probing: 5934/30942 (19.2%) - 195 fixings, 61 aggregations, 15981442 implications, 0 bound changes
1789.88/1790.24 c (1789.8s) probing aborted: solving stopped
1789.88/1790.24 c (round 19) 9765 del vars, 9769 del conss, 2983 chg bounds, 0 chg sides, 0 chg coeffs, 31397 upgd conss, 42506054 impls, 454 clqs
1789.88/1790.24 c presolving (19 rounds):
1789.88/1790.24 c 9765 deleted vars, 9769 deleted constraints, 2983 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1789.88/1790.24 c 42506054 implications, 454 cliques
1789.88/1790.24 c presolving was interrupted.
1789.88/1790.24 c Presolving Time: 1789.71
1789.88/1790.24 c - non default parameters ----------------------------------------------------------------------
1789.88/1790.24 c # SCIP version 1.2.1.3
1789.88/1790.24 c
1789.88/1790.24 c # frequency for displaying node information lines
1789.88/1790.24 c # [type: int, range: [-1,2147483647], default: 100]
1789.88/1790.24 c display/freq = 10000
1789.88/1790.24 c
1789.88/1790.24 c # maximal time in seconds to run
1789.88/1790.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.88/1790.24 c limits/time = 1789.59
1789.88/1790.24 c
1789.88/1790.24 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1789.88/1790.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.88/1790.24 c limits/memory = 13950
1789.88/1790.24 c
1789.88/1790.24 c # default clock type (1: CPU user seconds, 2: wall clock time)
1789.88/1790.24 c # [type: int, range: [1,2], default: 1]
1789.88/1790.24 c timing/clocktype = 2
1789.88/1790.24 c
1789.88/1790.24 c # should presolving try to simplify inequalities
1789.88/1790.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.88/1790.24 c constraints/linear/simplifyinequalities = TRUE
1789.88/1790.24 c
1789.88/1790.24 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1789.88/1790.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.88/1790.24 c constraints/indicator/addCouplingCons = TRUE
1789.88/1790.24 c
1789.88/1790.24 c # should presolving try to simplify knapsacks
1789.88/1790.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.88/1790.24 c constraints/knapsack/simplifyinequalities = TRUE
1789.88/1790.24 c
1789.88/1790.24 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1789.88/1790.24 c # [type: int, range: [-1,2147483647], default: -1]
1789.88/1790.24 c separating/rapidlearning/freq = 0
1789.88/1790.24 c
1789.88/1790.24 c -----------------------------------------------------------------------------------------------
1789.88/1790.24 c start solving
1789.88/1790.26 c presolving:
1789.88/1790.26 c presolving (19 rounds):
1789.88/1790.26 c 9765 deleted vars, 9769 deleted constraints, 2983 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1789.88/1790.26 c 42506054 implications, 454 cliques
1789.88/1790.26 c presolving was interrupted.
1789.88/1790.26 c Presolving Time: 1789.72
1789.88/1790.26 c
1789.88/1790.26 c SCIP Status : solving was interrupted [time limit reached]
1789.88/1790.26 c Solving Time (sec) : 1789.84
1789.88/1790.26 c Solving Nodes : 0
1789.88/1790.26 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.88/1790.26 s UNKNOWN
1789.88/1790.26 c SCIP Status : solving was interrupted [time limit reached]
1789.88/1790.26 c Solving Time : 1789.84
1789.88/1790.26 c Original Problem :
1789.88/1790.26 c Problem name : HOME/instance-3743633-1338789336.opb
1789.88/1790.26 c Variables : 40451 (40451 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.88/1790.26 c Constraints : 40950 initial, 40950 maximal
1789.88/1790.26 c Presolved Problem :
1789.88/1790.26 c Problem name : t_HOME/instance-3743633-1338789336.opb
1789.88/1790.26 c Variables : 30686 (30686 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.88/1790.26 c Constraints : 31181 initial, 31181 maximal
1789.88/1790.26 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.88/1790.26 c trivial : 0.03 123 0 0 0 0 0 0 0
1789.88/1790.26 c dualfix : 0.03 6402 0 0 0 0 0 0 0
1789.88/1790.26 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.88/1790.26 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.88/1790.26 c implics : 0.05 0 1 0 0 0 0 0 0
1789.88/1790.26 c probing : 1787.97 195 61 0 0 0 0 0 0
1789.88/1790.26 c knapsack : 0.53 0 0 0 0 0 0 0 0
1789.88/1790.26 c setppc : 0.03 0 0 0 0 0 149 0 0
1789.88/1790.26 c linear : 0.85 2983 0 0 2983 0 9553 0 0
1789.88/1790.26 c logicor : 0.09 0 0 0 0 0 67 0 0
1789.88/1790.26 c root node : - 0 - - 0 - - - -
1789.88/1790.26 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.88/1790.26 c integral : 0 0 0 0 0 0 0 0 0 0
1789.88/1790.26 c knapsack : 0+ 0 72239 0 0 33 0 0 0 0
1789.88/1790.26 c setppc : 0+ 0 72206 0 0 51 0 0 0 0
1789.88/1790.26 c linear : 0+ 0 2040 0 0 0 0 0 0 0
1789.88/1790.26 c logicor : 0+ 0 65864 0 0 16 0 0 0 0
1789.88/1790.26 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.88/1790.26 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.88/1790.26 c integral : 0.00 0.00 0.00 0.00 0.00
1789.88/1790.26 c knapsack : 1436.33 0.00 1436.33 0.00 0.00
1789.88/1790.26 c setppc : 6.74 0.00 6.74 0.00 0.00
1789.88/1790.26 c linear : 0.22 0.00 0.22 0.00 0.00
1789.88/1790.26 c logicor : 25.65 0.00 25.65 0.00 0.00
1789.88/1790.26 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.88/1790.26 c Propagators : Time Calls Cutoffs DomReds
1789.88/1790.26 c vbounds : 0.01 1 0 0
1789.88/1790.26 c rootredcost : 0.01 0 0 0
1789.88/1790.26 c pseudoobj : 0.01 0 0 0
1789.88/1790.26 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.88/1790.26 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1789.88/1790.26 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.88/1790.26 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.88/1790.26 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.88/1790.26 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.88/1790.26 c applied globally : - - - 0 0.0 - - -
1789.88/1790.26 c applied locally : - - - 0 0.0 - - -
1790.09/1790.43 c Time complete: 1790.12.
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-3743633-1338789336/watcher-3743633-1338789336 -o /tmp/evaluation-result-3743633-1338789336/solver-3743633-1338789336 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3743633-1338789336.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: 2.00 2.00 1.96 2/176 5329
/proc/meminfo: memFree=31357088/32873844 swapFree=7116/7116
[pid=5329] ppid=5327 vsize=7916 CPUtime=0 cores=0,2,4,6
/proc/5329/stat : 5329 (pbscip.linux.x8) R 5327 5329 4984 0 -1 4202496 1254 0 0 0 0 0 0 0 20 0 1 0 345062154 8105984 1201 33554432000 4194304 8395647 140737185983232 140737185979512 7430272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5329/statm: 1979 1201 370 1026 0 949 0
[startup+0.054145 s]
/proc/loadavg: 2.00 2.00 1.96 2/176 5329
/proc/meminfo: memFree=31357088/32873844 swapFree=7116/7116
[pid=5329] ppid=5327 vsize=30956 CPUtime=0.05 cores=0,2,4,6
/proc/5329/stat : 5329 (pbscip.linux.x8) R 5327 5329 4984 0 -1 4202496 6976 0 0 0 4 1 0 0 20 0 1 0 345062154 31698944 6917 33554432000 4194304 8395647 140737185983232 140737185979512 5753625 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5329/statm: 7739 6917 394 1026 0 6709 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 30956
[startup+0.100312 s]
/proc/loadavg: 2.00 2.00 1.96 2/176 5329
/proc/meminfo: memFree=31357088/32873844 swapFree=7116/7116
[pid=5329] ppid=5327 vsize=37260 CPUtime=0.09 cores=0,2,4,6
/proc/5329/stat : 5329 (pbscip.linux.x8) R 5327 5329 4984 0 -1 4202496 8564 0 0 0 8 1 0 0 20 0 1 0 345062154 38154240 8505 33554432000 4194304 8395647 140737185983232 140737185979512 7301536 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5329/statm: 9315 8505 394 1026 0 8285 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37260
[startup+0.300268 s]
/proc/loadavg: 2.00 2.00 1.96 2/176 5329
/proc/meminfo: memFree=31357088/32873844 swapFree=7116/7116
[pid=5329] ppid=5327 vsize=53004 CPUtime=0.28 cores=0,2,4,6
/proc/5329/stat : 5329 (pbscip.linux.x8) R 5327 5329 4984 0 -1 4202496 12509 0 0 0 27 1 0 0 20 0 1 0 345062154 54276096 12450 33554432000 4194304 8395647 140737185983232 140737185848440 7430272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5329/statm: 13251 12450 394 1026 0 12221 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 53004
[startup+0.700307 s]
/proc/loadavg: 2.00 2.00 1.96 2/176 5329
/proc/meminfo: memFree=31357088/32873844 swapFree=7116/7116
[pid=5329] ppid=5327 vsize=136260 CPUtime=0.69 cores=0,2,4,6
/proc/5329/stat : 5329 (pbscip.linux.x8) R 5327 5329 4984 0 -1 4202496 33210 0 0 0 65 4 0 0 20 0 1 0 345062154 139530240 32797 33554432000 4194304 8395647 140737185983232 140737185848440 5026558 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5329/statm: 34065 32797 471 1026 0 33035 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 136260
[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 5330
/proc/meminfo: memFree=31168220/32873844 swapFree=7116/7116
[pid=5329] ppid=5327 vsize=160000 CPUtime=1.49 cores=0,2,4,6
/proc/5329/stat : 5329 (pbscip.linux.x8) R 5327 5329 4984 0 -1 4202496 39367 0 0 0 144 5 0 0 20 0 1 0 345062154 163840000 38640 33554432000 4194304 8395647 140737185983232 140737185980456 6347101 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5329/statm: 40000 38673 484 1026 0 38970 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 160000
[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 5330
/proc/meminfo: memFree=31065036/32873844 swapFree=7116/7116
[pid=5329] ppid=5327 vsize=254284 CPUtime=3.09 cores=0,2,4,6
/proc/5329/stat : 5329 (pbscip.linux.x8) R 5327 5329 4984 0 -1 4202496 61656 0 0 0 301 8 0 0 20 0 1 0 345062154 260386816 60899 33554432000 4194304 8395647 140737185983232 140737185979096 6080665 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5329/statm: 63571 60899 498 1026 0 62541 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 254284
[startup+6.30039 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 5330
/proc/meminfo: memFree=30971656/32873844 swapFree=7116/7116
[pid=5329] ppid=5327 vsize=287516 CPUtime=6.29 cores=0,2,4,6
/proc/5329/stat : 5329 (pbscip.linux.x8) R 5327 5329 4984 0 -1 4202496 69561 0 0 0 620 9 0 0 20 0 1 0 345062154 294416384 68804 33554432000 4194304 8395647 140737185983232 140737185979096 6080661 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5329/statm: 71879 68804 498 1026 0 70849 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 287516
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.96 4/177 5330
/proc/meminfo: memFree=30862800/32873844 swapFree=7116/7116
[pid=5329] ppid=5327 vsize=335660 CPUtime=12.69 cores=0,2,4,6
/proc/5329/stat : 5329 (pbscip.linux.x8) R 5327 5329 4984 0 -1 4202496 81319 0 0 0 1258 11 0 0 20 0 1 0 345062154 343715840 80562 33554432000 4194304 8395647 140737185983232 140737185979096 6080679 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5329/statm: 83915 80562 498 1026 0 82885 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 335660
[startup+25.5004 s]
/proc/loadavg: 2.07 2.02 1.97 3/177 5330
/proc/meminfo: memFree=30717272/32873844 swapFree=7116/7116
[pid=5329] ppid=5327 vsize=414144 CPUtime=25.48 cores=0,2,4,6
/proc/5329/stat : 5329 (pbscip.linux.x8) R 5327 5329 4984 0 -1 4202496 100680 0 0 0 2534 14 0 0 20 0 1 0 345062154 424083456 99923 33554432000 4194304 8395647 140737185983232 140737185979096 6080679 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5329/statm: 103536 99923 498 1026 0 102506 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 414144
[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 1.97 3/177 5330
/proc/meminfo: memFree=30486228/32873844 swapFree=7116/7116
[pid=5329] ppid=5327 vsize=529976 CPUtime=51.09 cores=0,2,4,6
/proc/5329/stat : 5329 (pbscip.linux.x8) R 5327 5329 4984 0 -1 4202496 128801 0 0 0 5089 20 0 0 20 0 1 0 345062154 542695424 128044 33554432000 4194304 8395647 140737185983232 140737185978712 6080661 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5329/statm: 132494 128044 498 1026 0 131464 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 529976
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 1.97 3/177 5330
/proc/meminfo: memFree=30311540/32873844 swapFree=7116/7116
[pid=5329] ppid=5327 vsize=677316 CPUtime=102.28 cores=0,2,4,6
/proc/5329/stat : 5329 (pbscip.linux.x8) R 5327 5329 4984 0 -1 4202496 165449 0 0 0 10203 25 0 0 20 0 1 0 345062154 693571584 164692 33554432000 4194304 8395647 140737185983232 140737185979096 6080675 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5329/statm: 169329 164692 507 1026 0 168299 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 677316
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 5330
/proc/meminfo: memFree=30286784/32873844 swapFree=7116/7116
[pid=5329] ppid=5327 vsize=680328 CPUtime=162.27 cores=0,2,4,6
/proc/5329/stat : 5329 (pbscip.linux.x8) R 5327 5329 4984 0 -1 4202496 166202 0 0 0 16202 25 0 0 20 0 1 0 345062154 696655872 165445 33554432000 4194304 8395647 140737185983232 140737185979256 4911327 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5329/statm: 170082 165445 507 1026 0 169052 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 680328
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 5330
/proc/meminfo: memFree=30210552/32873844 swapFree=7116/7116
[pid=5329] ppid=5327 vsize=680328 CPUtime=222.26 cores=0,2,4,6
/proc/5329/stat : 5329 (pbscip.linux.x8) R 5327 5329 4984 0 -1 4202496 166226 0 0 0 22201 25 0 0 20 0 1 0 345062154 696655872 165469 33554432000 4194304 8395647 140737185983232 140737185979256 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5329/statm: 170082 165469 507 1026 0 169052 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 680328
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 5333
/proc/meminfo: memFree=30129724/32873844 swapFree=7116/7116
[pid=5329] ppid=5327 vsize=693696 CPUtime=282.24 cores=0,2,4,6
/proc/5329/stat : 5329 (pbscip.linux.x8) R 5327 5329 4984 0 -1 4202496 169681 0 0 0 28199 25 0 0 20 0 1 0 345062154 710344704 168924 33554432000 4194304 8395647 140737185983232 140737185979304 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5329/statm: 173424 168924 507 1026 0 172394 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 693696
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 5357
/proc/meminfo: memFree=30098132/32873844 swapFree=7116/7116
[pid=5329] ppid=5327 vsize=697788 CPUtime=342.23 cores=0,2,4,6
/proc/5329/stat : 5329 (pbscip.linux.x8) R 5327 5329 4984 0 -1 4202496 170704 0 0 0 34198 25 0 0 20 0 1 0 345062154 714534912 169947 33554432000 4194304 8395647 140737185983232 140737185979304 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5329/statm: 174447 169947 507 1026 0 173417 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 697788
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 5357
/proc/meminfo: memFree=30005540/32873844 swapFree=7116/7116
[pid=5329] ppid=5327 vsize=758568 CPUtime=402.23 cores=0,2,4,6
/proc/5329/stat : 5329 (pbscip.linux.x8) R 5327 5329 4984 0 -1 4202496 185357 0 0 0 40195 28 0 0 20 0 1 0 345062154 776773632 184600 33554432000 4194304 8395647 140737185983232 140737185979096 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5329/statm: 189642 184600 507 1026 0 188612 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 758568
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 5357
/proc/meminfo: memFree=29904824/32873844 swapFree=7116/7116
[pid=5329] ppid=5327 vsize=797072 CPUtime=462.22 cores=0,2,4,6
/proc/5329/stat : 5329 (pbscip.linux.x8) R 5327 5329 4984 0 -1 4202496 194810 0 0 0 46193 29 0 0 20 0 1 0 345062154 816201728 194053 33554432000 4194304 8395647 140737185983232 140737185979304 6080705 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5329/statm: 199268 194053 507 1026 0 198238 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 797072
[startup+522.3 s]
/proc/loadavg: 2.06 2.01 1.97 3/177 5357
/proc/meminfo: memFree=29803668/32873844 swapFree=7116/7116
[pid=5329] ppid=5327 vsize=851944 CPUtime=522.19 cores=0,2,4,6
/proc/5329/stat : 5329 (pbscip.linux.x8) R 5327 5329 4984 0 -1 4202496 208284 0 0 0 52188 31 0 0 20 0 1 0 345062154 872390656 207619 33554432000 4194304 8395647 140737185983232 140737185979304 4911327 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5329/statm: 212986 207619 513 1026 0 211956 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 851944
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/177 5357
/proc/meminfo: memFree=29686392/32873844 swapFree=7116/7116
[pid=5329] ppid=5327 vsize=921016 CPUtime=582.17 cores=0,2,4,6
/proc/5329/stat : 5329 (pbscip.linux.x8) R 5327 5329 4984 0 -1 4202496 225466 0 0 0 58184 33 0 0 20 0 1 0 345062154 943120384 225114 33554432000 4194304 8395647 140737185983232 140737185979304 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5329/statm: 230254 225114 513 1026 0 229224 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 921016
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29091292/32873844 swapFree=7116/7116
[pid=5329] ppid=5327 vsize=1221584 CPUtime=1062.1 cores=0,2,4,6
/proc/5329/stat : 5329 (pbscip.linux.x8) R 5327 5329 4984 0 -1 4202496 300126 0 0 0 106165 45 0 0 20 0 1 0 345062154 1250902016 302098 33554432000 4194304 8395647 140737185983232 140737185979304 4911287 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5329/statm: 305396 302098 513 1026 0 304366 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 1221584
[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/177 5362
/proc/meminfo: memFree=29023368/32873844 swapFree=7116/7116
[pid=5329] ppid=5327 vsize=1256888 CPUtime=1122.09 cores=0,2,4,6
/proc/5329/stat : 5329 (pbscip.linux.x8) R 5327 5329 4984 0 -1 4202496 308981 0 0 0 112162 47 0 0 20 0 1 0 345062154 1287053312 311526 33554432000 4194304 8395647 140737185983232 140737185979304 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5329/statm: 314222 311526 513 1026 0 313192 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 1256888
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 5362
/proc/meminfo: memFree=28958048/32873844 swapFree=7116/7116
[pid=5329] ppid=5327 vsize=1289188 CPUtime=1182.08 cores=0,2,4,6
/proc/5329/stat : 5329 (pbscip.linux.x8) R 5327 5329 4984 0 -1 4202496 316858 0 0 0 118160 48 0 0 20 0 1 0 345062154 1320128512 320261 33554432000 4194304 8395647 140737185983232 140737185979304 6080661 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5329/statm: 322297 320261 513 1026 0 321267 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 1289188
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 5363
/proc/meminfo: memFree=28894836/32873844 swapFree=7116/7116
[pid=5329] ppid=5327 vsize=1324544 CPUtime=1242.07 cores=0,2,4,6
/proc/5329/stat : 5329 (pbscip.linux.x8) R 5327 5329 4984 0 -1 4202496 325494 0 0 0 124158 49 0 0 20 0 1 0 345062154 1356333056 329346 33554432000 4194304 8395647 140737185983232 140737185979096 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5329/statm: 331136 329346 513 1026 0 330106 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 1324544
[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 1.99 3/177 5363
/proc/meminfo: memFree=28820444/32873844 swapFree=7116/7116
[pid=5329] ppid=5327 vsize=1368792 CPUtime=1302.06 cores=0,2,4,6
/proc/5329/stat : 5329 (pbscip.linux.x8) R 5327 5329 4984 0 -1 4202496 335596 0 0 0 130155 51 0 0 20 0 1 0 345062154 1401643008 340351 33554432000 4194304 8395647 140737185983232 140737185979304 4911287 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5329/statm: 342198 340351 513 1026 0 341168 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 1368792
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 1.99 3/177 5363
/proc/meminfo: memFree=28744308/32873844 swapFree=7116/7116
[pid=5329] ppid=5327 vsize=1415244 CPUtime=1362.04 cores=0,2,4,6
/proc/5329/stat : 5329 (pbscip.linux.x8) R 5327 5329 4984 0 -1 4202496 347233 0 0 0 136152 52 0 0 20 0 1 0 345062154 1449209856 351988 33554432000 4194304 8395647 140737185983232 140737185979096 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5329/statm: 353811 351988 513 1026 0 352781 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 1415244
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 5363
/proc/meminfo: memFree=28680572/32873844 swapFree=7116/7116
[pid=5329] ppid=5327 vsize=1445148 CPUtime=1422.04 cores=0,2,4,6
/proc/5329/stat : 5329 (pbscip.linux.x8) R 5327 5329 4984 0 -1 4202496 354428 0 0 0 142150 54 0 0 20 0 1 0 345062154 1479831552 359183 33554432000 4194304 8395647 140737185983232 140737185979304 4911287 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5329/statm: 361287 359183 513 1026 0 360257 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 1445148
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 5366
/proc/meminfo: memFree=28605544/32873844 swapFree=7116/7116
[pid=5329] ppid=5327 vsize=1491952 CPUtime=1482.03 cores=0,2,4,6
/proc/5329/stat : 5329 (pbscip.linux.x8) R 5327 5329 4984 0 -1 4202496 366293 0 0 0 148147 56 0 0 20 0 1 0 345062154 1527758848 371048 33554432000 4194304 8395647 140737185983232 140737185979304 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5329/statm: 372988 371048 513 1026 0 371958 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 1491952
[startup+1542.3 s]
/proc/loadavg: 2.06 2.02 1.99 3/177 5367
/proc/meminfo: memFree=28525572/32873844 swapFree=7116/7116
[pid=5329] ppid=5327 vsize=1541388 CPUtime=1542.02 cores=0,2,4,6
/proc/5329/stat : 5329 (pbscip.linux.x8) R 5327 5329 4984 0 -1 4202496 378113 0 0 0 154144 58 0 0 20 0 1 0 345062154 1578381312 382868 33554432000 4194304 8395647 140737185983232 140737185979304 4911327 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5329/statm: 385347 382868 513 1026 0 384317 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 1541388
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 1.99 3/177 5367
/proc/meminfo: memFree=28456380/32873844 swapFree=7116/7116
[pid=5329] ppid=5327 vsize=1580976 CPUtime=1602.02 cores=0,2,4,6
/proc/5329/stat : 5329 (pbscip.linux.x8) R 5327 5329 4984 0 -1 4202496 388165 0 0 0 160142 60 0 0 20 0 1 0 345062154 1618919424 392920 33554432000 4194304 8395647 140737185983232 140737185979304 4911287 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5329/statm: 395244 392920 513 1026 0 394214 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1580976
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 1.99 3/177 5367
/proc/meminfo: memFree=28371688/32873844 swapFree=7116/7116
[pid=5329] ppid=5327 vsize=1636612 CPUtime=1662 cores=0,2,4,6
/proc/5329/stat : 5329 (pbscip.linux.x8) R 5327 5329 4984 0 -1 4202496 401387 0 0 0 166138 62 0 0 20 0 1 0 345062154 1675890688 406142 33554432000 4194304 8395647 140737185983232 140737185979304 4911307 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5329/statm: 409153 406142 513 1026 0 408123 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 1636612
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 5367
/proc/meminfo: memFree=28296544/32873844 swapFree=7116/7116
[pid=5329] ppid=5327 vsize=1684384 CPUtime=1722 cores=0,2,4,6
/proc/5329/stat : 5329 (pbscip.linux.x8) R 5327 5329 4984 0 -1 4202496 413237 0 0 0 172136 64 0 0 20 0 1 0 345062154 1724809216 417992 33554432000 4194304 8395647 140737185983232 140737185979304 4737477 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5329/statm: 421096 417992 513 1026 0 420066 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1684384
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 5367
/proc/meminfo: memFree=28224872/32873844 swapFree=7116/7116
[pid=5329] ppid=5327 vsize=1724296 CPUtime=1781.99 cores=0,2,4,6
/proc/5329/stat : 5329 (pbscip.linux.x8) R 5327 5329 4984 0 -1 4202496 423240 0 0 0 178133 66 0 0 20 0 1 0 345062154 1765679104 427995 33554432000 4194304 8395647 140737185983232 140737185979304 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5329/statm: 431074 427995 513 1026 0 430044 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1724296
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 5367
/proc/meminfo: memFree=28220392/32873844 swapFree=7116/7116
[pid=5329] ppid=5327 vsize=1725292 CPUtime=1785.18 cores=0,2,4,6
/proc/5329/stat : 5329 (pbscip.linux.x8) R 5327 5329 4984 0 -1 4202496 423590 0 0 0 178452 66 0 0 20 0 1 0 345062154 1766699008 428345 33554432000 4194304 8395647 140737185983232 140737185979304 4911327 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5329/statm: 431323 428345 513 1026 0 430293 0
Current children cumulated CPU time (s) 1785.18
Current children cumulated vsize (KiB) 1725292
[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 5367
/proc/meminfo: memFree=28218780/32873844 swapFree=7116/7116
[pid=5329] ppid=5327 vsize=1726296 CPUtime=1788.38 cores=0,2,4,6
/proc/5329/stat : 5329 (pbscip.linux.x8) R 5327 5329 4984 0 -1 4202496 423780 0 0 0 178772 66 0 0 20 0 1 0 345062154 1767727104 428535 33554432000 4194304 8395647 140737185983232 140737185979304 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5329/statm: 431574 428535 513 1026 0 430544 0
Current children cumulated CPU time (s) 1788.38
Current children cumulated vsize (KiB) 1726296
[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 5367
/proc/meminfo: memFree=28218780/32873844 swapFree=7116/7116
[pid=5329] ppid=5327 vsize=1726296 CPUtime=1789.18 cores=0,2,4,6
/proc/5329/stat : 5329 (pbscip.linux.x8) R 5327 5329 4984 0 -1 4202496 423806 0 0 0 178852 66 0 0 20 0 1 0 345062154 1767727104 428561 33554432000 4194304 8395647 140737185983232 140737185979304 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5329/statm: 431574 428561 513 1026 0 430544 0
Current children cumulated CPU time (s) 1789.18
Current children cumulated vsize (KiB) 1726296
[startup+1789.9 s]
/proc/loadavg: 2.00 2.00 1.99 3/174 5395
/proc/meminfo: memFree=29777900/32873844 swapFree=7116/7116
[pid=5329] ppid=5327 vsize=1727284 CPUtime=1789.58 cores=0,2,4,6
/proc/5329/stat : 5329 (pbscip.linux.x8) R 5327 5329 4984 0 -1 4202496 423859 0 0 0 178892 66 0 0 20 0 1 0 345062154 1768738816 428614 33554432000 4194304 8395647 140737185983232 140737185979304 4911327 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5329/statm: 431821 428614 513 1026 0 430791 0
Current children cumulated CPU time (s) 1789.58
Current children cumulated vsize (KiB) 1727284
[startup+1790.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/174 5395
/proc/meminfo: memFree=29777900/32873844 swapFree=7116/7116
[pid=5329] ppid=5327 vsize=1728308 CPUtime=1789.98 cores=0,2,4,6
/proc/5329/stat : 5329 (pbscip.linux.x8) R 5327 5329 4984 0 -1 4202496 424174 0 0 0 178932 66 0 0 20 0 1 0 345062154 1769787392 428929 33554432000 4194304 8395647 140737185983232 140737185979304 6345173 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5329/statm: 432077 428929 520 1026 0 431047 0
Current children cumulated CPU time (s) 1789.98
Current children cumulated vsize (KiB) 1728308
[startup+1790.4 s]
/proc/loadavg: 2.00 2.00 1.99 3/174 5395
/proc/meminfo: memFree=29777900/32873844 swapFree=7116/7116
[pid=5329] ppid=5327 vsize=1700360 CPUtime=1790.09 cores=0,2,4,6
/proc/5329/stat : 5329 (pbscip.linux.x8) R 5327 5329 4984 0 -1 4202496 424175 0 0 0 178940 69 0 0 20 0 1 0 345062154 1741168640 179075 33554432000 4194304 8395647 140737185983232 140737185979304 7602442 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5329/statm: 425090 178563 521 1026 0 424060 0
Current children cumulated CPU time (s) 1790.09
Current children cumulated vsize (KiB) 1700360
Child status: 0
Real time (s): 1790.43
CPU time (s): 1790.12
CPU user time (s): 1789.42
CPU system time (s): 0.702893
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 1728308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.42
system time used= 0.702893
maximum resident set size= 1715716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 424188
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= 45
involuntary context switches= 1930
runsolver used 2.68159 second user time and 7.16091 second system time
The end