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-3743579-1338787748.opb>
0.39/0.42 c original problem has 40937 variables (40937 bin, 0 int, 0 impl, 0 cont) and 41436 constraints
0.39/0.42 c problem read
0.39/0.42 c presolving settings loaded
0.59/0.62 c presolving:
0.69/0.76 c (round 1) 126 del vars, 3 del conss, 125 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13572 impls, 552 clqs
0.79/0.82 c (round 2) 1372 del vars, 1254 del conss, 1248 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14312 impls, 551 clqs
0.79/0.86 c (round 3) 2024 del vars, 1906 del conss, 1900 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15434 impls, 551 clqs
0.89/0.91 c (round 4) 2475 del vars, 2357 del conss, 2351 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17248 impls, 551 clqs
0.89/0.95 c (round 5) 2838 del vars, 2720 del conss, 2714 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19234 impls, 551 clqs
0.89/0.99 c (round 6) 3150 del vars, 3032 del conss, 3026 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20550 impls, 551 clqs
0.99/1.03 c (round 7) 3418 del vars, 3300 del conss, 3294 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21548 impls, 551 clqs
0.99/1.07 c (round 8) 3571 del vars, 3453 del conss, 3447 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22728 impls, 551 clqs
1.09/1.11 c (round 9) 3629 del vars, 3511 del conss, 3505 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23538 impls, 551 clqs
1.09/1.14 c (round 10) 3654 del vars, 3536 del conss, 3530 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23938 impls, 551 clqs
153.24/153.36 c (round 11) 3721 del vars, 4088 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 36797 upgd conss, 9599108 impls, 551 clqs
153.43/153.55 c (round 12) 3721 del vars, 4154 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 9599212 impls, 551 clqs
171.74/171.85 c (round 13) 3774 del vars, 4154 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 10472526 impls, 551 clqs
171.84/172.00 c (round 14) 3774 del vars, 4207 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 10472632 impls, 551 clqs
201.03/201.17 c (round 15) 3824 del vars, 4207 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 12635028 impls, 551 clqs
201.24/201.32 c (round 16) 3824 del vars, 4257 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 12635142 impls, 551 clqs
216.33/216.46 c (216.0s) probing: 1000/37282 (2.7%) - 191 fixings, 12 aggregations, 1490338 implications, 0 bound changes
258.32/258.46 c (258.0s) probing: 2000/37282 (5.4%) - 191 fixings, 20 aggregations, 3782544 implications, 0 bound changes
284.91/285.06 c (round 17) 3874 del vars, 4257 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 23083106 impls, 551 clqs
285.10/285.22 c (round 18) 3874 del vars, 4307 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 23083106 impls, 551 clqs
318.69/318.81 c (318.4s) probing: 3000/37282 (8.0%) - 193 fixings, 29 aggregations, 6238004 implications, 0 bound changes
380.18/380.31 c (379.9s) probing: 4000/37282 (10.7%) - 197 fixings, 38 aggregations, 8815786 implications, 0 bound changes
475.55/475.79 c (475.4s) probing: 5000/37282 (13.4%) - 199 fixings, 54 aggregations, 12464352 implications, 0 bound changes
588.02/588.21 c (587.8s) probing: 6000/37282 (16.1%) - 200 fixings, 58 aggregations, 16540334 implications, 0 bound changes
707.29/707.53 c (707.1s) probing: 7000/37282 (18.8%) - 202 fixings, 65 aggregations, 20591537 implications, 0 bound changes
733.79/734.01 c (round 19) 3924 del vars, 4307 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 59123736 impls, 551 clqs
733.89/734.18 c (round 20) 3924 del vars, 4357 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 59123736 impls, 551 clqs
830.07/830.35 c (829.9s) probing: 8000/37282 (21.5%) - 204 fixings, 72 aggregations, 24566332 implications, 0 bound changes
962.95/963.27 c (962.8s) probing: 9000/37282 (24.1%) - 206 fixings, 78 aggregations, 28713564 implications, 0 bound changes
1097.82/1098.13 c (1097.7s) probing: 10000/37282 (26.8%) - 207 fixings, 83 aggregations, 32977301 implications, 0 bound changes
1237.70/1238.04 c (1237.6s) probing: 11000/37282 (29.5%) - 208 fixings, 91 aggregations, 37199605 implications, 0 bound changes
1375.47/1375.84 c (1375.4s) probing: 12000/37282 (32.2%) - 210 fixings, 97 aggregations, 41385341 implications, 0 bound changes
1499.95/1500.33 c (1499.9s) probing: 13000/37282 (34.9%) - 211 fixings, 104 aggregations, 44957582 implications, 0 bound changes
1575.23/1575.69 c (round 21) 3974 del vars, 4357 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 114196304 impls, 551 clqs
1575.54/1575.91 c (round 22) 3974 del vars, 4407 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 114196304 impls, 551 clqs
1597.63/1598.07 c (1597.6s) probing: 14000/37282 (37.6%) - 213 fixings, 108 aggregations, 47683681 implications, 0 bound changes
1722.81/1723.28 c (1722.9s) probing: 15000/37282 (40.2%) - 215 fixings, 114 aggregations, 51432993 implications, 0 bound changes
1789.60/1790.02 c (1789.6s) probing: 15487/37282 (41.5%) - 216 fixings, 118 aggregations, 53444306 implications, 0 bound changes
1789.60/1790.02 c (1789.6s) probing aborted: solving stopped
1789.60/1790.02 c (round 23) 3989 del vars, 4407 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 127211270 impls, 551 clqs
1789.60/1790.02 c presolving (23 rounds):
1789.60/1790.02 c 3989 deleted vars, 4407 deleted constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1789.60/1790.02 c 127211270 implications, 551 cliques
1789.60/1790.02 c presolving was interrupted.
1789.60/1790.02 c Presolving Time: 1789.47
1789.60/1790.02 c - non default parameters ----------------------------------------------------------------------
1789.60/1790.02 c # SCIP version 1.2.1.3
1789.60/1790.02 c
1789.60/1790.02 c # frequency for displaying node information lines
1789.60/1790.02 c # [type: int, range: [-1,2147483647], default: 100]
1789.60/1790.02 c display/freq = 10000
1789.60/1790.02 c
1789.60/1790.02 c # maximal time in seconds to run
1789.60/1790.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.60/1790.02 c limits/time = 1789.59
1789.60/1790.02 c
1789.60/1790.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1789.60/1790.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.60/1790.02 c limits/memory = 13950
1789.60/1790.02 c
1789.60/1790.02 c # default clock type (1: CPU user seconds, 2: wall clock time)
1789.60/1790.02 c # [type: int, range: [1,2], default: 1]
1789.60/1790.02 c timing/clocktype = 2
1789.60/1790.02 c
1789.60/1790.02 c # should presolving try to simplify inequalities
1789.60/1790.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.60/1790.02 c constraints/linear/simplifyinequalities = TRUE
1789.60/1790.02 c
1789.60/1790.02 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1789.60/1790.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.60/1790.02 c constraints/indicator/addCouplingCons = TRUE
1789.60/1790.02 c
1789.60/1790.02 c # should presolving try to simplify knapsacks
1789.60/1790.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.60/1790.02 c constraints/knapsack/simplifyinequalities = TRUE
1789.60/1790.02 c
1789.60/1790.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1789.60/1790.02 c # [type: int, range: [-1,2147483647], default: -1]
1789.60/1790.02 c separating/rapidlearning/freq = 0
1789.60/1790.02 c
1789.60/1790.02 c -----------------------------------------------------------------------------------------------
1789.60/1790.02 c start solving
1789.60/1790.04 c presolving:
1789.60/1790.04 c presolving (23 rounds):
1789.60/1790.04 c 3989 deleted vars, 4407 deleted constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1789.60/1790.04 c 127211270 implications, 551 cliques
1789.60/1790.04 c presolving was interrupted.
1789.60/1790.04 c Presolving Time: 1789.49
1789.60/1790.04 c
1789.60/1790.04 c SCIP Status : solving was interrupted [time limit reached]
1789.60/1790.04 c Solving Time (sec) : 1789.61
1789.60/1790.04 c Solving Nodes : 0
1789.60/1790.04 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.60/1790.04 s UNKNOWN
1789.60/1790.04 c SCIP Status : solving was interrupted [time limit reached]
1789.60/1790.04 c Solving Time : 1789.61
1789.60/1790.04 c Original Problem :
1789.60/1790.04 c Problem name : HOME/instance-3743579-1338787748.opb
1789.60/1790.04 c Variables : 40937 (40937 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.60/1790.04 c Constraints : 41436 initial, 41436 maximal
1789.60/1790.04 c Presolved Problem :
1789.60/1790.04 c Problem name : t_HOME/instance-3743579-1338787748.opb
1789.60/1790.04 c Variables : 36948 (36948 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.60/1790.04 c Constraints : 37029 initial, 37029 maximal
1789.60/1790.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.60/1790.04 c trivial : 0.04 123 0 0 0 0 0 0 0
1789.60/1790.04 c dualfix : 0.03 0 0 0 0 0 0 0 0
1789.60/1790.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.60/1790.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.60/1790.04 c implics : 0.04 0 1 0 0 0 0 0 0
1789.60/1790.04 c probing : 1787.27 216 118 0 0 0 0 0 0
1789.60/1790.04 c knapsack : 0.79 0 0 0 0 0 0 0 0
1789.60/1790.04 c setppc : 0.08 0 0 0 0 0 221 0 0
1789.60/1790.04 c linear : 0.70 3531 0 0 3531 0 4088 0 0
1789.60/1790.04 c logicor : 0.35 0 0 0 0 0 98 0 0
1789.60/1790.04 c root node : - 0 - - 0 - - - -
1789.60/1790.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.60/1790.04 c integral : 0 0 0 0 0 0 0 0 0 0
1789.60/1790.04 c knapsack : 0+ 0 210929 0 0 19 0 0 0 0
1789.60/1790.04 c setppc : 0+ 0 210909 0 0 85 0 0 0 0
1789.60/1790.04 c linear : 0+ 0 2536 0 0 0 0 0 0 0
1789.60/1790.04 c logicor : 0+ 0 194967 0 0 34 0 0 0 0
1789.60/1790.04 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.60/1790.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.60/1790.04 c integral : 0.00 0.00 0.00 0.00 0.00
1789.60/1790.04 c knapsack : 321.76 0.00 321.76 0.00 0.00
1789.60/1790.04 c setppc : 23.79 0.00 23.79 0.00 0.00
1789.60/1790.04 c linear : 3.03 0.00 3.03 0.00 0.00
1789.60/1790.04 c logicor : 82.00 0.00 82.00 0.00 0.00
1789.60/1790.04 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.60/1790.04 c Propagators : Time Calls Cutoffs DomReds
1789.60/1790.04 c vbounds : 0.16 1 0 0
1789.60/1790.04 c rootredcost : 0.13 0 0 0
1789.60/1790.04 c pseudoobj : 0.14 0 0 0
1789.60/1790.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.60/1790.04 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1789.60/1790.04 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.60/1790.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.60/1790.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.60/1790.04 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.60/1790.04 c applied globally : - - - 0 0.0 - - -
1789.60/1790.04 c applied locally : - - - 0 0.0 - - -
1789.79/1790.25 c Time complete: 1789.85.
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-3743579-1338787748/watcher-3743579-1338787748 -o /tmp/evaluation-result-3743579-1338787748/solver-3743579-1338787748 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3743579-1338787748.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.01 2.00 1.97 3/176 2558
/proc/meminfo: memFree=26866356/32873844 swapFree=7372/7372
[pid=2558] ppid=2556 vsize=8944 CPUtime=0 cores=0,2,4,6
/proc/2558/stat : 2558 (pbscip.linux.x8) R 2556 2558 2230 0 -1 4202496 1464 0 0 0 0 0 0 0 20 0 1 0 344903419 9158656 1411 33554432000 4194304 8395647 140736978597488 140734790209976 7382157 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2558/statm: 2236 1421 374 1026 0 1206 0
[startup+0.0636851 s]
/proc/loadavg: 2.01 2.00 1.97 3/176 2558
/proc/meminfo: memFree=26866356/32873844 swapFree=7372/7372
[pid=2558] ppid=2556 vsize=20744 CPUtime=0.05 cores=0,2,4,6
/proc/2558/stat : 2558 (pbscip.linux.x8) R 2556 2558 2230 0 -1 4202496 4241 0 0 0 5 0 0 0 20 0 1 0 344903419 21241856 4189 33554432000 4194304 8395647 140736978597488 140734790209976 6347101 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2558/statm: 5186 4201 393 1026 0 4156 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 20744
[startup+0.100267 s]
/proc/loadavg: 2.01 2.00 1.97 3/176 2558
/proc/meminfo: memFree=26866356/32873844 swapFree=7372/7372
[pid=2558] ppid=2556 vsize=21588 CPUtime=0.09 cores=0,2,4,6
/proc/2558/stat : 2558 (pbscip.linux.x8) R 2556 2558 2230 0 -1 4202496 4656 0 0 0 9 0 0 0 20 0 1 0 344903419 22106112 4603 33554432000 4194304 8395647 140736978597488 140734790209976 7279780 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2558/statm: 5397 4603 393 1026 0 4367 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21588
[startup+0.300222 s]
/proc/loadavg: 2.01 2.00 1.97 3/176 2558
/proc/meminfo: memFree=26866356/32873844 swapFree=7372/7372
[pid=2558] ppid=2556 vsize=49148 CPUtime=0.29 cores=0,2,4,6
/proc/2558/stat : 2558 (pbscip.linux.x8) R 2556 2558 2230 0 -1 4202496 11530 0 0 0 28 1 0 0 20 0 1 0 344903419 50327552 11477 33554432000 4194304 8395647 140736978597488 140734790209976 7382056 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2558/statm: 12287 11477 393 1026 0 11257 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49148
[startup+0.700232 s]
/proc/loadavg: 2.01 2.00 1.97 3/176 2558
/proc/meminfo: memFree=26866356/32873844 swapFree=7372/7372
[pid=2558] ppid=2556 vsize=134592 CPUtime=0.69 cores=0,2,4,6
/proc/2558/stat : 2558 (pbscip.linux.x8) R 2556 2558 2230 0 -1 4202496 32834 0 0 0 65 4 0 0 20 0 1 0 344903419 137822208 32422 33554432000 4194304 8395647 140736978597488 140736978593928 18446744073699066235 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2558/statm: 33648 32422 471 1026 0 32618 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 134592
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 2559
/proc/meminfo: memFree=26731188/32873844 swapFree=7372/7372
[pid=2558] ppid=2556 vsize=174800 CPUtime=1.49 cores=0,2,4,6
/proc/2558/stat : 2558 (pbscip.linux.x8) R 2556 2558 2230 0 -1 4202496 43719 0 0 0 144 5 0 0 20 0 1 0 344903419 178995200 42470 33554432000 4194304 8395647 140736978597488 140736978593928 5026684 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2558/statm: 43700 42470 498 1026 0 42670 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 174800
[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 2559
/proc/meminfo: memFree=26662608/32873844 swapFree=7372/7372
[pid=2558] ppid=2556 vsize=338064 CPUtime=3.09 cores=0,2,4,6
/proc/2558/stat : 2558 (pbscip.linux.x8) R 2556 2558 2230 0 -1 4202496 82803 0 0 0 298 11 0 0 20 0 1 0 344903419 346177536 81554 33554432000 4194304 8395647 140736978597488 140736978593352 5026483 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2558/statm: 84516 81554 498 1026 0 83486 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 338064
[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 2559
/proc/meminfo: memFree=26503640/32873844 swapFree=7372/7372
[pid=2558] ppid=2556 vsize=376176 CPUtime=6.28 cores=0,2,4,6
/proc/2558/stat : 2558 (pbscip.linux.x8) R 2556 2558 2230 0 -1 4202496 91850 0 0 0 616 12 0 0 20 0 1 0 344903419 385204224 90601 33554432000 4194304 8395647 140736978597488 140736978593352 6080705 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2558/statm: 94044 90601 498 1026 0 93014 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 376176
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 2597
/proc/meminfo: memFree=27729376/32873844 swapFree=7372/7372
[pid=2558] ppid=2556 vsize=412472 CPUtime=12.68 cores=0,2,4,6
/proc/2558/stat : 2558 (pbscip.linux.x8) R 2556 2558 2230 0 -1 4202496 100614 0 0 0 1254 14 0 0 20 0 1 0 344903419 422371328 99462 33554432000 4194304 8395647 140736978597488 140736978593352 6080692 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2558/statm: 103118 99462 498 1026 0 102088 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 412472
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 2597
/proc/meminfo: memFree=27603524/32873844 swapFree=7372/7372
[pid=2558] ppid=2556 vsize=451468 CPUtime=25.48 cores=0,2,4,6
/proc/2558/stat : 2558 (pbscip.linux.x8) R 2556 2558 2230 0 -1 4202496 110131 0 0 0 2531 17 0 0 20 0 1 0 344903419 462303232 108973 33554432000 4194304 8395647 140736978597488 140736978593352 6080661 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2558/statm: 112867 108973 498 1026 0 111837 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 451468
[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 2597
/proc/meminfo: memFree=27463992/32873844 swapFree=7372/7372
[pid=2558] ppid=2556 vsize=498892 CPUtime=51.06 cores=0,2,4,6
/proc/2558/stat : 2558 (pbscip.linux.x8) R 2556 2558 2230 0 -1 4202496 122268 0 0 0 5087 19 0 0 20 0 1 0 344903419 510865408 121134 33554432000 4194304 8395647 140736978597488 140736978593352 6080675 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2558/statm: 124723 121134 498 1026 0 123693 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 498892
[startup+102.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 2600
/proc/meminfo: memFree=27234984/32873844 swapFree=7372/7372
[pid=2558] ppid=2556 vsize=602124 CPUtime=102.25 cores=0,2,4,6
/proc/2558/stat : 2558 (pbscip.linux.x8) R 2556 2558 2230 0 -1 4202496 147491 0 0 0 10201 24 0 0 20 0 1 0 344903419 616574976 146822 33554432000 4194304 8395647 140736978597488 140736978593352 6080665 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2558/statm: 150531 146822 498 1026 0 149501 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 602124
[startup+162.3 s]
/proc/loadavg: 2.04 2.01 1.98 3/177 2600
/proc/meminfo: memFree=26910652/32873844 swapFree=7372/7372
[pid=2558] ppid=2556 vsize=773780 CPUtime=162.24 cores=0,2,4,6
/proc/2558/stat : 2558 (pbscip.linux.x8) R 2556 2558 2230 0 -1 4202496 189414 0 0 0 16192 32 0 0 20 0 1 0 344903419 792350720 189941 33554432000 4194304 8395647 140736978597488 140736978593512 5608296 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2558/statm: 193445 189941 507 1026 0 192415 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 773780
[startup+222.307 s]
/proc/loadavg: 2.01 2.01 1.98 3/177 2600
/proc/meminfo: memFree=26834172/32873844 swapFree=7372/7372
[pid=2558] ppid=2556 vsize=848044 CPUtime=222.23 cores=0,2,4,6
/proc/2558/stat : 2558 (pbscip.linux.x8) R 2556 2558 2230 0 -1 4202496 207380 0 0 0 22189 34 0 0 20 0 1 0 344903419 868397056 208475 33554432000 4194304 8395647 140736978597488 140736978593560 6080653 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2558/statm: 212011 208475 513 1026 0 210981 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 848044
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 2600
/proc/meminfo: memFree=26565368/32873844 swapFree=7372/7372
[pid=2558] ppid=2556 vsize=1117948 CPUtime=282.2 cores=0,2,4,6
/proc/2558/stat : 2558 (pbscip.linux.x8) R 2556 2558 2230 0 -1 4202496 273530 0 0 0 28176 44 0 0 20 0 1 0 344903419 1144778752 275082 33554432000 4194304 8395647 140736978597488 140736978593560 4247653 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2558/statm: 279487 275082 513 1026 0 278457 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 1117948
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 2601
/proc/meminfo: memFree=26406304/32873844 swapFree=7372/7372
[pid=2558] ppid=2556 vsize=1266404 CPUtime=342.19 cores=0,2,4,6
/proc/2558/stat : 2558 (pbscip.linux.x8) R 2556 2558 2230 0 -1 4202496 311096 0 0 0 34168 51 0 0 20 0 1 0 344903419 1296797696 313132 33554432000 4194304 8395647 140736978597488 140736978593560 6080679 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2558/statm: 316601 313132 513 1026 0 315571 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 1266404
[startup+402.3 s]
/proc/loadavg: 2.10 2.03 1.99 3/177 2601
/proc/meminfo: memFree=26226160/32873844 swapFree=7372/7372
[pid=2558] ppid=2556 vsize=1443852 CPUtime=402.18 cores=0,2,4,6
/proc/2558/stat : 2558 (pbscip.linux.x8) R 2556 2558 2230 0 -1 4202496 355241 0 0 0 40161 57 0 0 20 0 1 0 344903419 1478504448 357770 33554432000 4194304 8395647 140736978597488 140736978593560 4911327 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2558/statm: 360963 357770 513 1026 0 359933 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1443852
[startup+462.3 s]
/proc/loadavg: 2.04 2.02 1.99 3/177 2601
/proc/meminfo: memFree=26013776/32873844 swapFree=7372/7372
[pid=2558] ppid=2556 vsize=1578544 CPUtime=462.15 cores=0,2,4,6
/proc/2558/stat : 2558 (pbscip.linux.x8) R 2556 2558 2230 0 -1 4202496 388255 0 0 0 46153 62 0 0 20 0 1 0 344903419 1616429056 391110 33554432000 4194304 8395647 140736978597488 140736978593560 6080661 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2558/statm: 394636 391110 513 1026 0 393606 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 1578544
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/177 2601
/proc/meminfo: memFree=25800152/32873844 swapFree=7372/7372
[pid=2558] ppid=2556 vsize=1722628 CPUtime=522.15 cores=0,2,4,6
/proc/2558/stat : 2558 (pbscip.linux.x8) R 2556 2558 2230 0 -1 4202496 423890 0 0 0 52147 68 0 0 20 0 1 0 344903419 1763971072 426753 33554432000 4194304 8395647 140736978597488 140736978593560 4911287 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2558/statm: 430657 426753 513 1026 0 429627 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1722628
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/177 2601
/proc/meminfo: memFree=25599176/32873844 swapFree=7372/7372
[pid=2558] ppid=2556 vsize=1852528 CPUtime=582.12 cores=0,2,4,6
/proc/2558/stat : 2558 (pbscip.linux.x8) R 2556 2558 2230 0 -1 4202496 456146 0 0 0 58139 73 0 0 20 0 1 0 344903419 1896988672 459065 33554432000 4194304 8395647 140736978597488 140736978593560 6080692 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2558/statm: 463132 459065 513 1026 0 462102 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 1852528
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=24463036/32873844 swapFree=7372/7372
[pid=2558] ppid=2556 vsize=2693884 CPUtime=1002.05 cores=0,2,4,6
/proc/2558/stat : 2558 (pbscip.linux.x8) R 2556 2558 2230 0 -1 4202496 661581 0 0 0 100098 107 0 0 20 0 1 0 344903419 2758537216 665761 33554432000 4194304 8395647 140736978597488 140736978593560 6349187 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2558/statm: 673471 665761 513 1026 0 672441 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 2693884
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 2606
/proc/meminfo: memFree=24342536/32873844 swapFree=7372/7372
[pid=2558] ppid=2556 vsize=2787632 CPUtime=1062.03 cores=0,2,4,6
/proc/2558/stat : 2558 (pbscip.linux.x8) R 2556 2558 2230 0 -1 4202496 684624 0 0 0 106091 112 0 0 20 0 1 0 344903419 2854535168 689104 33554432000 4194304 8395647 140736978597488 140736978593560 6080679 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2558/statm: 696908 689104 513 1026 0 695878 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 2787632
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 2606
/proc/meminfo: memFree=24221788/32873844 swapFree=7372/7372
[pid=2558] ppid=2556 vsize=2883188 CPUtime=1122.02 cores=0,2,4,6
/proc/2558/stat : 2558 (pbscip.linux.x8) R 2556 2558 2230 0 -1 4202496 707984 0 0 0 112086 116 0 0 20 0 1 0 344903419 2952384512 712930 33554432000 4194304 8395647 140736978597488 140736978593560 6080705 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2558/statm: 720797 712930 513 1026 0 719767 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 2883188
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 2606
/proc/meminfo: memFree=24107552/32873844 swapFree=7372/7372
[pid=2558] ppid=2556 vsize=2965216 CPUtime=1182.01 cores=0,2,4,6
/proc/2558/stat : 2558 (pbscip.linux.x8) R 2556 2558 2230 0 -1 4202496 728192 0 0 0 118081 120 0 0 20 0 1 0 344903419 3036381184 733607 33554432000 4194304 8395647 140736978597488 140736978593560 6080675 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2558/statm: 741304 733607 513 1026 0 740274 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 2965216
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 2607
/proc/meminfo: memFree=23985688/32873844 swapFree=7372/7372
[pid=2558] ppid=2556 vsize=3058172 CPUtime=1241.99 cores=0,2,4,6
/proc/2558/stat : 2558 (pbscip.linux.x8) R 2556 2558 2230 0 -1 4202496 750771 0 0 0 124076 123 0 0 20 0 1 0 344903419 3131568128 756560 33554432000 4194304 8395647 140736978597488 140736978593560 6080653 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2558/statm: 764543 756560 513 1026 0 763513 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 3058172
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 2610
/proc/meminfo: memFree=23870760/32873844 swapFree=7372/7372
[pid=2558] ppid=2556 vsize=3153192 CPUtime=1301.97 cores=0,2,4,6
/proc/2558/stat : 2558 (pbscip.linux.x8) R 2556 2558 2230 0 -1 4202496 773678 0 0 0 130071 126 0 0 20 0 1 0 344903419 3228868608 780082 33554432000 4194304 8395647 140736978597488 140736978593560 6080679 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2558/statm: 788298 780082 513 1026 0 787268 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 3153192
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 2610
/proc/meminfo: memFree=23768000/32873844 swapFree=7372/7372
[pid=2558] ppid=2556 vsize=3255004 CPUtime=1361.97 cores=0,2,4,6
/proc/2558/stat : 2558 (pbscip.linux.x8) R 2556 2558 2230 0 -1 4202496 798318 0 0 0 136066 131 0 0 20 0 1 0 344903419 3333124096 805263 33554432000 4194304 8395647 140736978597488 140736978593560 6080692 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2558/statm: 813751 805263 513 1026 0 812721 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 3255004
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 2610
/proc/meminfo: memFree=23674036/32873844 swapFree=7372/7372
[pid=2558] ppid=2556 vsize=3346876 CPUtime=1421.96 cores=0,2,4,6
/proc/2558/stat : 2558 (pbscip.linux.x8) R 2556 2558 2230 0 -1 4202496 820874 0 0 0 142061 135 0 0 20 0 1 0 344903419 3427201024 828321 33554432000 4194304 8395647 140736978597488 140736978593560 4911327 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2558/statm: 836719 828321 513 1026 0 835689 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 3346876
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 2610
/proc/meminfo: memFree=23577096/32873844 swapFree=7372/7372
[pid=2558] ppid=2556 vsize=3441764 CPUtime=1481.95 cores=0,2,4,6
/proc/2558/stat : 2558 (pbscip.linux.x8) R 2556 2558 2230 0 -1 4202496 844316 0 0 0 148056 139 0 0 20 0 1 0 344903419 3524366336 852305 33554432000 4194304 8395647 140736978597488 140736978593560 6080653 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2558/statm: 860441 852305 513 1026 0 859411 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 3441764
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 2611
/proc/meminfo: memFree=23494540/32873844 swapFree=7372/7372
[pid=2558] ppid=2556 vsize=3524176 CPUtime=1541.95 cores=0,2,4,6
/proc/2558/stat : 2558 (pbscip.linux.x8) R 2556 2558 2230 0 -1 4202496 863990 0 0 0 154052 143 0 0 20 0 1 0 344903419 3608756224 872594 33554432000 4194304 8395647 140736978597488 140736978593560 6080653 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2558/statm: 881044 872594 513 1026 0 880014 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 3524176
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 2611
/proc/meminfo: memFree=23404792/32873844 swapFree=7372/7372
[pid=2558] ppid=2556 vsize=3612928 CPUtime=1601.93 cores=0,2,4,6
/proc/2558/stat : 2558 (pbscip.linux.x8) R 2556 2558 2230 0 -1 4202496 885883 0 0 0 160046 147 0 0 20 0 1 0 344903419 3699638272 894961 33554432000 4194304 8395647 140736978597488 140736978593560 6080688 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2558/statm: 903232 894961 513 1026 0 902202 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 3612928
[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 2611
/proc/meminfo: memFree=23306612/32873844 swapFree=7372/7372
[pid=2558] ppid=2556 vsize=3705748 CPUtime=1661.92 cores=0,2,4,6
/proc/2558/stat : 2558 (pbscip.linux.x8) R 2556 2558 2230 0 -1 4202496 908631 0 0 0 166041 151 0 0 20 0 1 0 344903419 3794685952 918282 33554432000 4194304 8395647 140736978597488 140736978593352 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2558/statm: 926437 918282 513 1026 0 925407 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 3705748
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2611
/proc/meminfo: memFree=23192684/32873844 swapFree=7372/7372
[pid=2558] ppid=2556 vsize=3809156 CPUtime=1721.91 cores=0,2,4,6
/proc/2558/stat : 2558 (pbscip.linux.x8) R 2556 2558 2230 0 -1 4202496 933673 0 0 0 172035 156 0 0 20 0 1 0 344903419 3900575744 944042 33554432000 4194304 8395647 140736978597488 140736978593560 6080701 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2558/statm: 952289 944042 513 1026 0 951259 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 3809156
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2611
/proc/meminfo: memFree=23070572/32873844 swapFree=7372/7372
[pid=2558] ppid=2556 vsize=3901120 CPUtime=1781.9 cores=0,2,4,6
/proc/2558/stat : 2558 (pbscip.linux.x8) R 2556 2558 2230 0 -1 4202496 956329 0 0 0 178030 160 0 0 20 0 1 0 344903419 3994746880 967335 33554432000 4194304 8395647 140736978597488 140736978593560 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2558/statm: 975280 967335 513 1026 0 974250 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 3901120
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2611
/proc/meminfo: memFree=23063116/32873844 swapFree=7372/7372
[pid=2558] ppid=2556 vsize=3907992 CPUtime=1785.19 cores=0,2,4,6
/proc/2558/stat : 2558 (pbscip.linux.x8) R 2556 2558 2230 0 -1 4202496 957809 0 0 0 178359 160 0 0 20 0 1 0 344903419 4001783808 968946 33554432000 4194304 8395647 140736978597488 140736978593560 6080688 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2558/statm: 976998 968946 513 1026 0 975968 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 3907992
[startup+1788.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2611
/proc/meminfo: memFree=23054064/32873844 swapFree=7372/7372
[pid=2558] ppid=2556 vsize=3916784 CPUtime=1788.4 cores=0,2,4,6
/proc/2558/stat : 2558 (pbscip.linux.x8) R 2556 2558 2230 0 -1 4202496 959595 0 0 0 178679 161 0 0 20 0 1 0 344903419 4010786816 970732 33554432000 4194304 8395647 140736978597488 140736978593560 6069048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2558/statm: 979196 970732 513 1026 0 978166 0
Current children cumulated CPU time (s) 1788.4
Current children cumulated vsize (KiB) 3916784
[startup+1789.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2611
/proc/meminfo: memFree=23054064/32873844 swapFree=7372/7372
[pid=2558] ppid=2556 vsize=3916784 CPUtime=1789.2 cores=0,2,4,6
/proc/2558/stat : 2558 (pbscip.linux.x8) R 2556 2558 2230 0 -1 4202496 959908 0 0 0 178759 161 0 0 20 0 1 0 344903419 4010786816 971045 33554432000 4194304 8395647 140736978597488 140736978593560 6080692 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2558/statm: 979196 971045 513 1026 0 978166 0
Current children cumulated CPU time (s) 1789.2
Current children cumulated vsize (KiB) 3916784
[startup+1790 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2611
/proc/meminfo: memFree=23052080/32873844 swapFree=7372/7372
[pid=2558] ppid=2556 vsize=3918748 CPUtime=1789.6 cores=0,2,4,6
/proc/2558/stat : 2558 (pbscip.linux.x8) R 2556 2558 2230 0 -1 4202496 960116 0 0 0 178799 161 0 0 20 0 1 0 344903419 4012797952 971253 33554432000 4194304 8395647 140736978597488 140736978593560 6080665 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2558/statm: 979687 971253 513 1026 0 978657 0
Current children cumulated CPU time (s) 1789.6
Current children cumulated vsize (KiB) 3918748
[startup+1790.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2611
/proc/meminfo: memFree=23052080/32873844 swapFree=7372/7372
[pid=2558] ppid=2556 vsize=3889412 CPUtime=1789.79 cores=0,2,4,6
/proc/2558/stat : 2558 (pbscip.linux.x8) R 2556 2558 2230 0 -1 4202496 960438 0 0 0 178814 165 0 0 20 0 1 0 344903419 3982757888 821791 33554432000 4194304 8395647 140736978597488 140736978593272 7602442 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2558/statm: 972353 821791 521 1026 0 971323 0
Current children cumulated CPU time (s) 1789.79
Current children cumulated vsize (KiB) 3889412
Child status: 0
Real time (s): 1790.25
CPU time (s): 1789.86
CPU user time (s): 1788.17
CPU system time (s): 1.68674
CPU usage (%): 99.9778
Max. virtual memory (cumulated for all children) (KiB): 3919772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.17
system time used= 1.68674
maximum resident set size= 3886296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 960451
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= 171
involuntary context switches= 2105
runsolver used 2.72159 second user time and 7.85381 second system time
The end