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-3742963-1338777178.opb>
0.39/0.41 c original problem has 40937 variables (40937 bin, 0 int, 0 impl, 0 cont) and 41436 constraints
0.39/0.41 c problem read
0.39/0.41 c presolving settings loaded
0.58/0.65 c presolving:
0.69/0.75 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.69/0.79 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.78/0.82 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.78/0.85 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.78/0.87 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.90 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.89/0.92 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.89/0.94 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
0.89/0.96 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
0.89/0.98 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
150.26/150.32 c (round 11) 3720 del vars, 4088 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 36797 upgd conss, 8924290 impls, 551 clqs
150.46/150.54 c (round 12) 3720 del vars, 4153 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 8924460 impls, 551 clqs
154.77/154.84 c (round 13) 3774 del vars, 4153 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 9910386 impls, 551 clqs
154.87/155.00 c (round 14) 3774 del vars, 4207 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 9910386 impls, 551 clqs
198.65/198.78 c (198.4s) probing: 1000/37282 (2.7%) - 117 fixings, 9 aggregations, 1485554 implications, 0 bound changes
248.75/248.88 c (248.5s) probing: 2000/37282 (5.4%) - 118 fixings, 29 aggregations, 3650551 implications, 0 bound changes
318.64/318.79 c (318.4s) probing: 3000/37282 (8.0%) - 122 fixings, 39 aggregations, 6378217 implications, 0 bound changes
434.62/434.73 c (434.3s) probing: 4000/37282 (10.7%) - 122 fixings, 46 aggregations, 10501244 implications, 0 bound changes
451.42/451.56 c (round 15) 3824 del vars, 4207 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 36636582 impls, 551 clqs
451.62/451.75 c (round 16) 3824 del vars, 4257 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 36636582 impls, 551 clqs
516.41/516.57 c (516.2s) probing: 5000/37282 (13.4%) - 123 fixings, 49 aggregations, 12184800 implications, 0 bound changes
651.10/651.25 c (650.8s) probing: 6000/37282 (16.1%) - 126 fixings, 52 aggregations, 16459695 implications, 0 bound changes
801.37/801.55 c (801.1s) probing: 7000/37282 (18.8%) - 128 fixings, 65 aggregations, 20492936 implications, 0 bound changes
971.90/972.11 c (971.7s) probing: 8000/37282 (21.5%) - 130 fixings, 72 aggregations, 24856434 implications, 0 bound changes
1125.88/1126.14 c (1125.7s) probing: 9000/37282 (24.1%) - 131 fixings, 76 aggregations, 29314197 implications, 0 bound changes
1275.45/1275.72 c (1275.3s) probing: 10000/37282 (26.8%) - 133 fixings, 84 aggregations, 33282350 implications, 0 bound changes
1299.35/1299.63 c (round 17) 3874 del vars, 4257 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 86081564 impls, 551 clqs
1299.55/1299.84 c (round 18) 3874 del vars, 4307 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 86081564 impls, 551 clqs
1411.92/1412.26 c (1411.9s) probing: 11000/37282 (29.5%) - 135 fixings, 91 aggregations, 36689324 implications, 0 bound changes
1565.60/1565.95 c (1565.5s) probing: 12000/37282 (32.2%) - 137 fixings, 97 aggregations, 40886832 implications, 0 bound changes
1717.08/1717.47 c (1717.1s) probing: 13000/37282 (34.9%) - 138 fixings, 105 aggregations, 44834111 implications, 0 bound changes
1789.66/1790.04 c (1789.6s) probing: 13497/37282 (36.2%) - 139 fixings, 106 aggregations, 46866823 implications, 0 bound changes
1789.66/1790.04 c (1789.6s) probing aborted: solving stopped
1789.66/1790.04 c (round 19) 3900 del vars, 4307 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 113698602 impls, 551 clqs
1789.66/1790.04 c presolving (19 rounds):
1789.66/1790.04 c 3900 deleted vars, 4307 deleted constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1789.66/1790.04 c 113698602 implications, 551 cliques
1789.66/1790.04 c presolving was interrupted.
1789.66/1790.04 c Presolving Time: 1789.49
1789.66/1790.04 c - non default parameters ----------------------------------------------------------------------
1789.66/1790.04 c # SCIP version 1.2.1.3
1789.66/1790.04 c
1789.66/1790.04 c # frequency for displaying node information lines
1789.66/1790.04 c # [type: int, range: [-1,2147483647], default: 100]
1789.66/1790.04 c display/freq = 10000
1789.66/1790.04 c
1789.66/1790.04 c # maximal time in seconds to run
1789.66/1790.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.66/1790.04 c limits/time = 1789.6
1789.66/1790.04 c
1789.66/1790.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1789.66/1790.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.66/1790.04 c limits/memory = 13950
1789.66/1790.04 c
1789.66/1790.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
1789.66/1790.04 c # [type: int, range: [1,2], default: 1]
1789.66/1790.04 c timing/clocktype = 2
1789.66/1790.04 c
1789.66/1790.04 c # should presolving try to simplify inequalities
1789.66/1790.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.66/1790.04 c constraints/linear/simplifyinequalities = TRUE
1789.66/1790.04 c
1789.66/1790.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1789.66/1790.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.66/1790.04 c constraints/indicator/addCouplingCons = TRUE
1789.66/1790.04 c
1789.66/1790.04 c # should presolving try to simplify knapsacks
1789.66/1790.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.66/1790.04 c constraints/knapsack/simplifyinequalities = TRUE
1789.66/1790.04 c
1789.66/1790.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1789.66/1790.04 c # [type: int, range: [-1,2147483647], default: -1]
1789.66/1790.04 c separating/rapidlearning/freq = 0
1789.66/1790.04 c
1789.66/1790.04 c -----------------------------------------------------------------------------------------------
1789.66/1790.04 c start solving
1789.66/1790.06 c presolving:
1789.66/1790.06 c presolving (19 rounds):
1789.66/1790.06 c 3900 deleted vars, 4307 deleted constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1789.66/1790.06 c 113698602 implications, 551 cliques
1789.66/1790.06 c presolving was interrupted.
1789.66/1790.06 c Presolving Time: 1789.51
1789.66/1790.06 c
1789.66/1790.06 c SCIP Status : solving was interrupted [time limit reached]
1789.66/1790.06 c Solving Time (sec) : 1789.65
1789.66/1790.06 c Solving Nodes : 0
1789.66/1790.06 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.66/1790.06 s UNKNOWN
1789.66/1790.06 c SCIP Status : solving was interrupted [time limit reached]
1789.66/1790.06 c Solving Time : 1789.65
1789.66/1790.06 c Original Problem :
1789.66/1790.06 c Problem name : HOME/instance-3742963-1338777178.opb
1789.66/1790.06 c Variables : 40937 (40937 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.66/1790.06 c Constraints : 41436 initial, 41436 maximal
1789.66/1790.06 c Presolved Problem :
1789.66/1790.06 c Problem name : t_HOME/instance-3742963-1338777178.opb
1789.66/1790.06 c Variables : 37037 (37037 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.66/1790.06 c Constraints : 37129 initial, 37129 maximal
1789.66/1790.06 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.66/1790.06 c trivial : 0.05 123 0 0 0 0 0 0 0
1789.66/1790.06 c dualfix : 0.04 0 0 0 0 0 0 0 0
1789.66/1790.06 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.66/1790.06 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.66/1790.06 c implics : 0.04 0 1 0 0 0 0 0 0
1789.66/1790.06 c probing : 1787.91 139 106 0 0 0 0 0 0
1789.66/1790.06 c knapsack : 0.64 0 0 0 0 0 0 0 0
1789.66/1790.06 c setppc : 0.05 0 0 0 0 0 95 0 0
1789.66/1790.06 c linear : 0.44 3531 0 0 3531 0 4088 0 0
1789.66/1790.06 c logicor : 0.12 0 0 0 0 0 124 0 0
1789.66/1790.06 c root node : - 0 - - 0 - - - -
1789.66/1790.06 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.66/1790.06 c integral : 0 0 0 0 0 0 0 0 0 0
1789.66/1790.06 c knapsack : 0+ 0 187339 0 0 0 0 0 0 0
1789.66/1790.06 c setppc : 0+ 0 187337 0 0 24 0 0 0 0
1789.66/1790.06 c linear : 0+ 0 1409 0 0 0 0 0 0 0
1789.66/1790.06 c logicor : 0+ 0 173194 0 0 5 0 0 0 0
1789.66/1790.06 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.66/1790.06 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.66/1790.06 c integral : 0.00 0.00 0.00 0.00 0.00
1789.66/1790.06 c knapsack : 286.57 0.00 286.57 0.00 0.00
1789.66/1790.06 c setppc : 26.88 0.00 26.88 0.00 0.00
1789.66/1790.06 c linear : 1.75 0.00 1.75 0.00 0.00
1789.66/1790.06 c logicor : 101.95 0.00 101.95 0.00 0.00
1789.66/1790.06 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.66/1790.06 c Propagators : Time Calls Cutoffs DomReds
1789.66/1790.06 c vbounds : 0.04 1 0 0
1789.66/1790.06 c rootredcost : 0.03 0 0 0
1789.66/1790.06 c pseudoobj : 0.03 0 0 0
1789.66/1790.06 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.66/1790.06 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1789.66/1790.06 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.66/1790.06 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.66/1790.06 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.66/1790.06 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.66/1790.06 c applied globally : - - - 0 0.0 - - -
1789.66/1790.06 c applied locally : - - - 0 0.0 - - -
1790.06/1790.40 c Time complete: 1790.06.
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-3742963-1338777178/watcher-3742963-1338777178 -o /tmp/evaluation-result-3742963-1338777178/solver-3742963-1338777178 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3742963-1338777178.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32319
/proc/meminfo: memFree=24057256/32873844 swapFree=7116/7116
[pid=32319] ppid=32317 vsize=7912 CPUtime=0 cores=1,3,5,7
/proc/32319/stat : 32319 (pbscip.linux.x8) R 32317 32319 30273 0 -1 4202496 1166 0 0 0 0 0 0 0 20 0 1 0 343846359 8101888 1112 33554432000 4194304 8395647 140735559657392 140736490488136 7382157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32319/statm: 1978 1121 365 1026 0 948 0
[startup+0.062252 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32319
/proc/meminfo: memFree=24057256/32873844 swapFree=7116/7116
[pid=32319] ppid=32317 vsize=20760 CPUtime=0.05 cores=1,3,5,7
/proc/32319/stat : 32319 (pbscip.linux.x8) R 32317 32319 30273 0 -1 4202496 4448 0 0 0 4 1 0 0 20 0 1 0 343846359 21258240 4394 33554432000 4194304 8395647 140735559657392 140736490488136 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32319/statm: 5223 4401 393 1026 0 4193 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 20760
[startup+0.100355 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32319
/proc/meminfo: memFree=24057256/32873844 swapFree=7116/7116
[pid=32319] ppid=32317 vsize=23544 CPUtime=0.09 cores=1,3,5,7
/proc/32319/stat : 32319 (pbscip.linux.x8) R 32317 32319 30273 0 -1 4202496 5159 0 0 0 8 1 0 0 20 0 1 0 343846359 24109056 5105 33554432000 4194304 8395647 140735559657392 140735559522600 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32319/statm: 5886 5105 393 1026 0 4856 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23544
[startup+0.300302 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32319
/proc/meminfo: memFree=24057256/32873844 swapFree=7116/7116
[pid=32319] ppid=32317 vsize=50468 CPUtime=0.29 cores=1,3,5,7
/proc/32319/stat : 32319 (pbscip.linux.x8) R 32317 32319 30273 0 -1 4202496 11852 0 0 0 27 2 0 0 20 0 1 0 343846359 51679232 11798 33554432000 4194304 8395647 140735559657392 140735559522600 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32319/statm: 12617 11798 393 1026 0 11587 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50468
[startup+0.700373 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32319
/proc/meminfo: memFree=24057256/32873844 swapFree=7116/7116
[pid=32319] ppid=32317 vsize=134508 CPUtime=0.69 cores=1,3,5,7
/proc/32319/stat : 32319 (pbscip.linux.x8) R 32317 32319 30273 0 -1 4202496 32816 0 0 0 64 5 0 0 20 0 1 0 343846359 137736192 32403 33554432000 4194304 8395647 140735559657392 140735559522600 5026487 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32319/statm: 33627 32403 471 1026 0 32597 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 134508
[startup+1.50031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32320
/proc/meminfo: memFree=23918304/32873844 swapFree=7116/7116
[pid=32319] ppid=32317 vsize=176752 CPUtime=1.49 cores=1,3,5,7
/proc/32319/stat : 32319 (pbscip.linux.x8) R 32317 32319 30273 0 -1 4202496 43683 0 0 0 142 7 0 0 20 0 1 0 343846359 180994048 42944 33554432000 4194304 8395647 140735559657392 140735559654104 4722727 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32319/statm: 44188 42944 498 1026 0 43158 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 176752
[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32320
/proc/meminfo: memFree=23837272/32873844 swapFree=7116/7116
[pid=32319] ppid=32317 vsize=338064 CPUtime=3.09 cores=1,3,5,7
/proc/32319/stat : 32319 (pbscip.linux.x8) R 32317 32319 30273 0 -1 4202496 82267 0 0 0 296 13 0 0 20 0 1 0 343846359 346177536 81528 33554432000 4194304 8395647 140735559657392 140735559653256 5604422 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32319/statm: 84516 81528 498 1026 0 83486 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 338064
[startup+6.30038 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32320
/proc/meminfo: memFree=23713272/32873844 swapFree=7116/7116
[pid=32319] ppid=32317 vsize=376172 CPUtime=6.29 cores=1,3,5,7
/proc/32319/stat : 32319 (pbscip.linux.x8) R 32317 32319 30273 0 -1 4202496 91194 0 0 0 615 14 0 0 20 0 1 0 343846359 385200128 90455 33554432000 4194304 8395647 140735559657392 140735559653256 6080679 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32319/statm: 94043 90455 498 1026 0 93013 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 376172
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32321
/proc/meminfo: memFree=23649288/32873844 swapFree=7116/7116
[pid=32319] ppid=32317 vsize=410608 CPUtime=12.69 cores=1,3,5,7
/proc/32319/stat : 32319 (pbscip.linux.x8) R 32317 32319 30273 0 -1 4202496 99373 0 0 0 1253 16 0 0 20 0 1 0 343846359 420462592 98634 33554432000 4194304 8395647 140735559657392 140735559653256 6080688 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32319/statm: 102652 98634 498 1026 0 101622 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 410608
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32321
/proc/meminfo: memFree=23592116/32873844 swapFree=7116/7116
[pid=32319] ppid=32317 vsize=451464 CPUtime=25.48 cores=1,3,5,7
/proc/32319/stat : 32319 (pbscip.linux.x8) R 32317 32319 30273 0 -1 4202496 109492 0 0 0 2530 18 0 0 20 0 1 0 343846359 462299136 108753 33554432000 4194304 8395647 140735559657392 140735559653256 6080692 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32319/statm: 112866 108753 498 1026 0 111836 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 451464
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32321
/proc/meminfo: memFree=23507456/32873844 swapFree=7116/7116
[pid=32319] ppid=32317 vsize=499916 CPUtime=51.08 cores=1,3,5,7
/proc/32319/stat : 32319 (pbscip.linux.x8) R 32317 32319 30273 0 -1 4202496 121951 0 0 0 5086 22 0 0 20 0 1 0 343846359 511913984 121212 33554432000 4194304 8395647 140735559657392 140735559652936 6080653 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32319/statm: 124979 121212 498 1026 0 123949 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 499916
[startup+102.308 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32322
/proc/meminfo: memFree=23331784/32873844 swapFree=7116/7116
[pid=32319] ppid=32317 vsize=605644 CPUtime=102.29 cores=1,3,5,7
/proc/32319/stat : 32319 (pbscip.linux.x8) R 32317 32319 30273 0 -1 4202496 147871 0 0 0 10199 30 0 0 20 0 1 0 343846359 620179456 147132 33554432000 4194304 8395647 140735559657392 140735559653256 6080688 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32319/statm: 151411 147132 498 1026 0 150381 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 605644
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32322
/proc/meminfo: memFree=23058764/32873844 swapFree=7116/7116
[pid=32319] ppid=32317 vsize=775576 CPUtime=162.26 cores=1,3,5,7
/proc/32319/stat : 32319 (pbscip.linux.x8) R 32317 32319 30273 0 -1 4202496 189789 0 0 0 16188 38 0 0 20 0 1 0 343846359 794189824 189050 33554432000 4194304 8395647 140735559657392 140735559653416 5085404 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32319/statm: 193894 189050 507 1026 0 192864 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 775576
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32322
/proc/meminfo: memFree=22768756/32873844 swapFree=7116/7116
[pid=32319] ppid=32317 vsize=975120 CPUtime=222.25 cores=1,3,5,7
/proc/32319/stat : 32319 (pbscip.linux.x8) R 32317 32319 30273 0 -1 4202496 239118 0 0 0 22179 46 0 0 20 0 1 0 343846359 998522880 238379 33554432000 4194304 8395647 140735559657392 140735559653464 7385355 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32319/statm: 243780 238379 513 1026 0 242750 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 975120
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32322
/proc/meminfo: memFree=22465108/32873844 swapFree=7116/7116
[pid=32319] ppid=32317 vsize=1201460 CPUtime=282.25 cores=1,3,5,7
/proc/32319/stat : 32319 (pbscip.linux.x8) R 32317 32319 30273 0 -1 4202496 295802 0 0 0 28168 57 0 0 20 0 1 0 343846359 1230295040 295063 33554432000 4194304 8395647 140735559657392 140735559653256 6080688 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32319/statm: 300365 295063 513 1026 0 299335 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1201460
[startup+342.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 32323
/proc/meminfo: memFree=22181672/32873844 swapFree=7116/7116
[pid=32319] ppid=32317 vsize=1385140 CPUtime=342.24 cores=1,3,5,7
/proc/32319/stat : 32319 (pbscip.linux.x8) R 32317 32319 30273 0 -1 4202496 340994 0 0 0 34159 65 0 0 20 0 1 0 343846359 1418383360 340255 33554432000 4194304 8395647 140735559657392 140735559653080 4706214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32319/statm: 346285 340255 513 1026 0 345255 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1385140
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 32324
/proc/meminfo: memFree=22032148/32873844 swapFree=7116/7116
[pid=32319] ppid=32317 vsize=1435820 CPUtime=402.23 cores=1,3,5,7
/proc/32319/stat : 32319 (pbscip.linux.x8) R 32317 32319 30273 0 -1 4202496 354195 0 0 0 40155 68 0 0 20 0 1 0 343846359 1470279680 353456 33554432000 4194304 8395647 140735559657392 140735559653464 6080701 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32319/statm: 358955 353456 513 1026 0 357925 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1435820
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32326
/proc/meminfo: memFree=21832164/32873844 swapFree=7116/7116
[pid=32319] ppid=32317 vsize=1546484 CPUtime=462.22 cores=1,3,5,7
/proc/32319/stat : 32319 (pbscip.linux.x8) R 32317 32319 30273 0 -1 4202496 381233 0 0 0 46148 74 0 0 20 0 1 0 343846359 1583599616 380494 33554432000 4194304 8395647 140735559657392 140735559653464 4911327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32319/statm: 386621 380494 513 1026 0 385591 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1546484
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32326
/proc/meminfo: memFree=21669512/32873844 swapFree=7116/7116
[pid=32319] ppid=32317 vsize=1626340 CPUtime=522.21 cores=1,3,5,7
/proc/32319/stat : 32319 (pbscip.linux.x8) R 32317 32319 30273 0 -1 4202496 400820 0 0 0 52144 77 0 0 20 0 1 0 343846359 1665372160 400081 33554432000 4194304 8395647 140735559657392 140735559653464 4247653 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32319/statm: 406585 400081 513 1026 0 405555 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1626340
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32326
/proc/meminfo: memFree=21454648/32873844 swapFree=7116/7116
[pid=32319] ppid=32317 vsize=1739540 CPUtime=582.2 cores=1,3,5,7
/proc/32319/stat : 32319 (pbscip.linux.x8) R 32317 32319 30273 0 -1 4202496 429840 0 0 0 58138 82 0 0 20 0 1 0 343846359 1781288960 429101 33554432000 4194304 8395647 140735559657392 140735559653464 6068924 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32319/statm: 434885 429101 513 1026 0 433855 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1739540
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=23316124/32873844 swapFree=7116/7116
[pid=32319] ppid=32317 vsize=2522404 CPUtime=1062.09 cores=1,3,5,7
/proc/32319/stat : 32319 (pbscip.linux.x8) R 32317 32319 30273 0 -1 4202496 621163 0 0 0 106089 120 0 0 20 0 1 0 343846359 2582941696 620879 33554432000 4194304 8395647 140735559657392 140735559653464 6080661 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32319/statm: 630601 620879 513 1026 0 629571 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 2522404
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32369
/proc/meminfo: memFree=23230724/32873844 swapFree=7116/7116
[pid=32319] ppid=32317 vsize=2608228 CPUtime=1122.08 cores=1,3,5,7
/proc/32319/stat : 32319 (pbscip.linux.x8) R 32317 32319 30273 0 -1 4202496 642251 0 0 0 112084 124 0 0 20 0 1 0 343846359 2670825472 642091 33554432000 4194304 8395647 140735559657392 140735559653464 6080665 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32319/statm: 652057 642091 513 1026 0 651027 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 2608228
[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 32369
/proc/meminfo: memFree=23127212/32873844 swapFree=7116/7116
[pid=32319] ppid=32317 vsize=2702932 CPUtime=1182.08 cores=1,3,5,7
/proc/32319/stat : 32319 (pbscip.linux.x8) R 32317 32319 30273 0 -1 4202496 665277 0 0 0 118080 128 0 0 20 0 1 0 343846359 2767802368 665585 33554432000 4194304 8395647 140735559657392 140735559653464 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32319/statm: 675733 665585 513 1026 0 674703 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 2702932
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 32370
/proc/meminfo: memFree=23024444/32873844 swapFree=7116/7116
[pid=32319] ppid=32317 vsize=2807520 CPUtime=1242.06 cores=1,3,5,7
/proc/32319/stat : 32319 (pbscip.linux.x8) R 32317 32319 30273 0 -1 4202496 690176 0 0 0 124074 132 0 0 20 0 1 0 343846359 2874900480 690933 33554432000 4194304 8395647 140735559657392 140735559653464 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32319/statm: 701880 690933 513 1026 0 700850 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 2807520
[startup+1302.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 32370
/proc/meminfo: memFree=22911632/32873844 swapFree=7116/7116
[pid=32319] ppid=32317 vsize=2898312 CPUtime=1302.06 cores=1,3,5,7
/proc/32319/stat : 32319 (pbscip.linux.x8) R 32317 32319 30273 0 -1 4202496 712798 0 0 0 130069 137 0 0 20 0 1 0 343846359 2967871488 714106 33554432000 4194304 8395647 140735559657392 140735559653416 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32319/statm: 724578 714106 513 1026 0 723548 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 2898312
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 32370
/proc/meminfo: memFree=22774516/32873844 swapFree=7116/7116
[pid=32319] ppid=32317 vsize=2960684 CPUtime=1362.03 cores=1,3,5,7
/proc/32319/stat : 32319 (pbscip.linux.x8) R 32317 32319 30273 0 -1 4202496 728656 0 0 0 136063 140 0 0 20 0 1 0 343846359 3031740416 729963 33554432000 4194304 8395647 140735559657392 140735559653464 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32319/statm: 740171 729963 513 1026 0 739141 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 2960684
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 32370
/proc/meminfo: memFree=22610740/32873844 swapFree=7116/7116
[pid=32319] ppid=32317 vsize=3052704 CPUtime=1422.03 cores=1,3,5,7
/proc/32319/stat : 32319 (pbscip.linux.x8) R 32317 32319 30273 0 -1 4202496 750578 0 0 0 142058 145 0 0 20 0 1 0 343846359 3125968896 751894 33554432000 4194304 8395647 140735559657392 140735559653464 4706433 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32319/statm: 763176 751894 513 1026 0 762146 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 3052704
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32370
/proc/meminfo: memFree=22464076/32873844 swapFree=7116/7116
[pid=32319] ppid=32317 vsize=3133968 CPUtime=1482.01 cores=1,3,5,7
/proc/32319/stat : 32319 (pbscip.linux.x8) R 32317 32319 30273 0 -1 4202496 770625 0 0 0 148052 149 0 0 20 0 1 0 343846359 3209183232 772010 33554432000 4194304 8395647 140735559657392 140735559653464 5085404 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32319/statm: 783492 772010 513 1026 0 782462 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 3133968
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32371
/proc/meminfo: memFree=22302408/32873844 swapFree=7116/7116
[pid=32319] ppid=32317 vsize=3219904 CPUtime=1542 cores=1,3,5,7
/proc/32319/stat : 32319 (pbscip.linux.x8) R 32317 32319 30273 0 -1 4202496 791456 0 0 0 154048 152 0 0 20 0 1 0 343846359 3297181696 792877 33554432000 4194304 8395647 140735559657392 140735559653464 6012594 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32319/statm: 804976 792877 513 1026 0 803946 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 3219904
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32371
/proc/meminfo: memFree=22158348/32873844 swapFree=7116/7116
[pid=32319] ppid=32317 vsize=3305344 CPUtime=1601.99 cores=1,3,5,7
/proc/32319/stat : 32319 (pbscip.linux.x8) R 32317 32319 30273 0 -1 4202496 812047 0 0 0 160044 155 0 0 20 0 1 0 343846359 3384672256 813524 33554432000 4194304 8395647 140735559657392 140735559653464 5604533 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32319/statm: 826336 813524 513 1026 0 825306 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 3305344
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 32374
/proc/meminfo: memFree=22014280/32873844 swapFree=7116/7116
[pid=32319] ppid=32317 vsize=3386440 CPUtime=1661.98 cores=1,3,5,7
/proc/32319/stat : 32319 (pbscip.linux.x8) R 32317 32319 30273 0 -1 4202496 832019 0 0 0 166038 160 0 0 20 0 1 0 343846359 3467714560 833688 33554432000 4194304 8395647 140735559657392 140735559653464 6080661 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32319/statm: 846610 833688 513 1026 0 845580 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 3386440
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 32397
/proc/meminfo: memFree=21892292/32873844 swapFree=7116/7116
[pid=32319] ppid=32317 vsize=3473268 CPUtime=1721.97 cores=1,3,5,7
/proc/32319/stat : 32319 (pbscip.linux.x8) R 32317 32319 30273 0 -1 4202496 853395 0 0 0 172034 163 0 0 20 0 1 0 343846359 3556626432 855268 33554432000 4194304 8395647 140735559657392 140735559653464 6080665 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32319/statm: 868317 855268 513 1026 0 867287 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 3473268
[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 32397
/proc/meminfo: memFree=21747372/32873844 swapFree=7116/7116
[pid=32319] ppid=32317 vsize=3563204 CPUtime=1781.96 cores=1,3,5,7
/proc/32319/stat : 32319 (pbscip.linux.x8) R 32317 32319 30273 0 -1 4202496 874944 0 0 0 178030 166 0 0 20 0 1 0 343846359 3648720896 877067 33554432000 4194304 8395647 140735559657392 140735559653464 7385696 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32319/statm: 890801 877067 513 1026 0 889771 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 3563204
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 32397
/proc/meminfo: memFree=21740412/32873844 swapFree=7116/7116
[pid=32319] ppid=32317 vsize=3567068 CPUtime=1785.16 cores=1,3,5,7
/proc/32319/stat : 32319 (pbscip.linux.x8) R 32317 32319 30273 0 -1 4202496 876049 0 0 0 178349 167 0 0 20 0 1 0 343846359 3652677632 878295 33554432000 4194304 8395647 140735559657392 140735559653464 6080701 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32319/statm: 891767 878295 513 1026 0 890737 0
Current children cumulated CPU time (s) 1785.16
Current children cumulated vsize (KiB) 3567068
[startup+1788.7 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 32397
/proc/meminfo: memFree=21736072/32873844 swapFree=7116/7116
[pid=32319] ppid=32317 vsize=3570988 CPUtime=1788.36 cores=1,3,5,7
/proc/32319/stat : 32319 (pbscip.linux.x8) R 32317 32319 30273 0 -1 4202496 876835 0 0 0 178669 167 0 0 20 0 1 0 343846359 3656691712 879081 33554432000 4194304 8395647 140735559657392 140735559653464 7385703 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32319/statm: 892747 879081 513 1026 0 891717 0
Current children cumulated CPU time (s) 1788.36
Current children cumulated vsize (KiB) 3570988
[startup+1789.5 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 32397
/proc/meminfo: memFree=21736072/32873844 swapFree=7116/7116
[pid=32319] ppid=32317 vsize=3571972 CPUtime=1789.16 cores=1,3,5,7
/proc/32319/stat : 32319 (pbscip.linux.x8) R 32317 32319 30273 0 -1 4202496 877073 0 0 0 178749 167 0 0 20 0 1 0 343846359 3657699328 879319 33554432000 4194304 8395647 140735559657392 140735559653464 6080701 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32319/statm: 892993 879319 513 1026 0 891963 0
Current children cumulated CPU time (s) 1789.16
Current children cumulated vsize (KiB) 3571972
[startup+1789.9 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 32397
/proc/meminfo: memFree=21734088/32873844 swapFree=7116/7116
[pid=32319] ppid=32317 vsize=3572960 CPUtime=1789.56 cores=1,3,5,7
/proc/32319/stat : 32319 (pbscip.linux.x8) R 32317 32319 30273 0 -1 4202496 877247 0 0 0 178789 167 0 0 20 0 1 0 343846359 3658711040 879493 33554432000 4194304 8395647 140735559657392 140735559653464 6080692 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32319/statm: 893240 879493 513 1026 0 892210 0
Current children cumulated CPU time (s) 1789.56
Current children cumulated vsize (KiB) 3572960
[startup+1790.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 32397
/proc/meminfo: memFree=21734088/32873844 swapFree=7116/7116
[pid=32319] ppid=32317 vsize=3197480 CPUtime=1789.96 cores=1,3,5,7
/proc/32319/stat : 32319 (pbscip.linux.x8) R 32317 32319 30273 0 -1 4202496 877563 0 0 0 178823 173 0 0 20 0 1 0 343846359 3274219520 644627 33554432000 4194304 8395647 140735559657392 140735559653224 7602442 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32319/statm: 799370 644627 521 1026 0 798340 0
Current children cumulated CPU time (s) 1789.96
Current children cumulated vsize (KiB) 3197480
[startup+1790.4 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 32397
/proc/meminfo: memFree=21734088/32873844 swapFree=7116/7116
[pid=32319] ppid=32317 vsize=734472 CPUtime=1790.06 cores=1,3,5,7
/proc/32319/stat : 32319 (pbscip.linux.x8) R 32317 32319 30273 0 -1 4202496 877563 0 0 0 178825 181 0 0 20 0 1 0 343846359 752099328 36476 33554432000 4194304 8395647 140735559657392 140735559653224 7602442 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32319/statm: 183618 36476 521 1026 0 182588 0
Current children cumulated CPU time (s) 1790.06
Current children cumulated vsize (KiB) 734472
Child status: 0
Real time (s): 1790.41
CPU time (s): 1790.07
CPU user time (s): 1788.26
CPU system time (s): 1.81672
CPU usage (%): 99.9815
Max. virtual memory (cumulated for all children) (KiB): 3573984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.26
system time used= 1.81672
maximum resident set size= 3519232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 877576
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= 77
involuntary context switches= 1832
runsolver used 3.19751 second user time and 8.70968 second system time
The end