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-3743513-1338785754.opb>
0.38/0.43 c original problem has 40451 variables (40451 bin, 0 int, 0 impl, 0 cont) and 40950 constraints
0.38/0.43 c problem read
0.38/0.43 c presolving settings loaded
0.59/0.63 c presolving:
0.69/0.76 c (round 1) 16164 del vars, 16284 del conss, 125 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11328 impls, 309 clqs
0.69/0.77 c (round 2) 16940 del vars, 17065 del conss, 778 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11724 impls, 308 clqs
0.78/0.80 c (round 3) 17345 del vars, 17470 del conss, 1183 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12360 impls, 308 clqs
0.78/0.82 c (round 4) 17622 del vars, 17747 del conss, 1460 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13460 impls, 308 clqs
0.78/0.83 c (round 5) 17836 del vars, 17961 del conss, 1674 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14682 impls, 308 clqs
0.78/0.85 c (round 6) 18023 del vars, 18148 del conss, 1861 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15472 impls, 308 clqs
0.78/0.87 c (round 7) 18177 del vars, 18302 del conss, 2015 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16086 impls, 308 clqs
0.78/0.88 c (round 8) 18263 del vars, 18388 del conss, 2101 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16782 impls, 308 clqs
0.89/0.90 c (round 9) 18294 del vars, 18419 del conss, 2132 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17254 impls, 308 clqs
0.89/0.91 c (round 10) 18306 del vars, 18431 del conss, 2144 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17502 impls, 308 clqs
49.39/49.47 c (round 11) 18357 del vars, 18497 del conss, 2145 chg bounds, 0 chg sides, 0 chg coeffs, 22388 upgd conss, 7911600 impls, 308 clqs
49.68/49.71 c (round 12) 18402 del vars, 18592 del conss, 2145 chg bounds, 0 chg sides, 0 chg coeffs, 22453 upgd conss, 7911600 impls, 308 clqs
264.85/264.96 c (264.5s) probing: 1000/22144 (4.5%) - 10 fixings, 42 aggregations, 363814 implications, 0 bound changes
339.93/340.07 c (339.6s) probing: 2000/22144 (9.0%) - 16 fixings, 63 aggregations, 1472555 implications, 0 bound changes
466.11/466.26 c (465.8s) probing: 3000/22144 (13.5%) - 19 fixings, 80 aggregations, 3268003 implications, 0 bound changes
468.72/468.90 c (round 13) 18452 del vars, 18592 del conss, 2145 chg bounds, 0 chg sides, 0 chg coeffs, 22453 upgd conss, 15575836 impls, 308 clqs
468.82/468.99 c (round 14) 18452 del vars, 18642 del conss, 2145 chg bounds, 0 chg sides, 0 chg coeffs, 22453 upgd conss, 15575836 impls, 308 clqs
666.77/666.90 c (666.5s) probing: 4000/22144 (18.1%) - 22 fixings, 85 aggregations, 5252066 implications, 0 bound changes
858.23/858.40 c (858.0s) probing: 5000/22144 (22.6%) - 24 fixings, 92 aggregations, 7975831 implications, 0 bound changes
1072.10/1072.30 c (1071.9s) probing: 6000/22144 (27.1%) - 26 fixings, 101 aggregations, 10511464 implications, 0 bound changes
1298.07/1298.32 c (1297.9s) probing: 7000/22144 (31.6%) - 30 fixings, 113 aggregations, 13084430 implications, 0 bound changes
1423.84/1424.16 c (round 15) 18502 del vars, 18642 del conss, 2145 chg bounds, 0 chg sides, 0 chg coeffs, 22453 upgd conss, 39040958 impls, 308 clqs
1423.94/1424.26 c (round 16) 18502 del vars, 18692 del conss, 2145 chg bounds, 0 chg sides, 0 chg coeffs, 22453 upgd conss, 39040958 impls, 308 clqs
1539.74/1540.04 c (1539.6s) probing: 8000/22144 (36.1%) - 32 fixings, 120 aggregations, 15298879 implications, 0 bound changes
1768.79/1769.14 c (1768.7s) probing: 9000/22144 (40.6%) - 35 fixings, 131 aggregations, 17603528 implications, 0 bound changes
1789.79/1790.11 c (1789.7s) probing: 9093/22144 (41.1%) - 36 fixings, 132 aggregations, 17851671 implications, 0 bound changes
1789.79/1790.11 c (1789.7s) probing aborted: solving stopped
1789.79/1790.11 c (round 17) 18520 del vars, 18692 del conss, 2145 chg bounds, 0 chg sides, 0 chg coeffs, 22453 upgd conss, 46279202 impls, 308 clqs
1789.79/1790.11 c presolving (17 rounds):
1789.79/1790.11 c 18520 deleted vars, 18692 deleted constraints, 2145 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1789.79/1790.11 c 46279202 implications, 308 cliques
1789.79/1790.11 c presolving was interrupted.
1789.79/1790.11 c Presolving Time: 1789.56
1789.79/1790.11 c - non default parameters ----------------------------------------------------------------------
1789.79/1790.11 c # SCIP version 1.2.1.3
1789.79/1790.11 c
1789.79/1790.11 c # frequency for displaying node information lines
1789.79/1790.11 c # [type: int, range: [-1,2147483647], default: 100]
1789.79/1790.11 c display/freq = 10000
1789.79/1790.11 c
1789.79/1790.11 c # maximal time in seconds to run
1789.79/1790.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.79/1790.11 c limits/time = 1789.57
1789.79/1790.11 c
1789.79/1790.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1789.79/1790.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.79/1790.11 c limits/memory = 13950
1789.79/1790.11 c
1789.79/1790.11 c # default clock type (1: CPU user seconds, 2: wall clock time)
1789.79/1790.11 c # [type: int, range: [1,2], default: 1]
1789.79/1790.11 c timing/clocktype = 2
1789.79/1790.11 c
1789.79/1790.11 c # should presolving try to simplify inequalities
1789.79/1790.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.79/1790.11 c constraints/linear/simplifyinequalities = TRUE
1789.79/1790.11 c
1789.79/1790.11 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1789.79/1790.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.79/1790.11 c constraints/indicator/addCouplingCons = TRUE
1789.79/1790.11 c
1789.79/1790.11 c # should presolving try to simplify knapsacks
1789.79/1790.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.79/1790.11 c constraints/knapsack/simplifyinequalities = TRUE
1789.79/1790.11 c
1789.79/1790.11 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1789.79/1790.11 c # [type: int, range: [-1,2147483647], default: -1]
1789.79/1790.11 c separating/rapidlearning/freq = 0
1789.79/1790.11 c
1789.79/1790.11 c -----------------------------------------------------------------------------------------------
1789.79/1790.11 c start solving
1789.79/1790.12 c presolving:
1789.79/1790.12 c presolving (17 rounds):
1789.79/1790.12 c 18520 deleted vars, 18692 deleted constraints, 2145 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1789.79/1790.12 c 46279202 implications, 308 cliques
1789.79/1790.12 c presolving was interrupted.
1789.79/1790.12 c Presolving Time: 1789.57
1789.79/1790.12 c
1789.79/1790.12 c SCIP Status : solving was interrupted [time limit reached]
1789.79/1790.12 c Solving Time (sec) : 1789.69
1789.79/1790.12 c Solving Nodes : 0
1789.79/1790.12 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.79/1790.12 s UNKNOWN
1789.79/1790.12 c SCIP Status : solving was interrupted [time limit reached]
1789.79/1790.12 c Solving Time : 1789.69
1789.79/1790.12 c Original Problem :
1789.79/1790.12 c Problem name : HOME/instance-3743513-1338785754.opb
1789.79/1790.12 c Variables : 40451 (40451 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.79/1790.12 c Constraints : 40950 initial, 40950 maximal
1789.79/1790.12 c Presolved Problem :
1789.79/1790.12 c Problem name : t_HOME/instance-3743513-1338785754.opb
1789.79/1790.12 c Variables : 21931 (21931 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.79/1790.12 c Constraints : 22258 initial, 22258 maximal
1789.79/1790.12 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.79/1790.12 c trivial : 0.02 123 0 0 0 0 0 0 0
1789.79/1790.12 c dualfix : 0.03 16038 0 0 0 0 0 0 0
1789.79/1790.12 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.79/1790.12 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.79/1790.12 c implics : 0.03 0 1 0 0 0 0 0 0
1789.79/1790.12 c probing : 1788.11 36 132 0 0 0 0 0 0
1789.79/1790.12 c knapsack : 0.57 0 0 0 0 0 0 0 0
1789.79/1790.12 c setppc : 0.04 45 0 0 0 0 172 0 0
1789.79/1790.12 c linear : 0.57 2145 0 0 2145 0 18497 0 0
1789.79/1790.12 c logicor : 0.05 0 0 0 0 0 23 0 0
1789.79/1790.12 c root node : - 0 - - 0 - - - -
1789.79/1790.12 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.79/1790.12 c integral : 0 0 0 0 0 0 0 0 0 0
1789.79/1790.12 c knapsack : 0+ 0 118989 0 0 0 0 0 0 0
1789.79/1790.12 c setppc : 0+ 0 118989 0 0 26 0 0 0 0
1789.79/1790.12 c linear : 0+ 0 1770 0 0 0 0 0 0 0
1789.79/1790.12 c logicor : 0+ 0 110249 0 0 4 0 0 0 0
1789.79/1790.12 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.79/1790.12 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.79/1790.12 c integral : 0.00 0.00 0.00 0.00 0.00
1789.79/1790.12 c knapsack : 1442.45 0.00 1442.45 0.00 0.00
1789.79/1790.12 c setppc : 9.69 0.00 9.69 0.00 0.00
1789.79/1790.12 c linear : 0.20 0.00 0.20 0.00 0.00
1789.79/1790.12 c logicor : 34.96 0.00 34.96 0.00 0.00
1789.79/1790.12 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.79/1790.12 c Propagators : Time Calls Cutoffs DomReds
1789.79/1790.12 c vbounds : 0.02 1 0 0
1789.79/1790.12 c rootredcost : 0.01 0 0 0
1789.79/1790.12 c pseudoobj : 0.02 0 0 0
1789.79/1790.12 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.79/1790.12 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1789.79/1790.12 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.79/1790.12 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.79/1790.12 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.79/1790.12 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.79/1790.12 c applied globally : - - - 0 0.0 - - -
1789.79/1790.12 c applied locally : - - - 0 0.0 - - -
1789.89/1790.26 c Time complete: 1789.95.
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-3743513-1338785754/watcher-3743513-1338785754 -o /tmp/evaluation-result-3743513-1338785754/solver-3743513-1338785754 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3743513-1338785754.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.02 2.01 1.92 3/176 5122
/proc/meminfo: memFree=31358708/32873844 swapFree=7116/7116
[pid=5122] ppid=5120 vsize=7916 CPUtime=0 cores=0,2,4,6
/proc/5122/stat : 5122 (pbscip.linux.x8) R 5120 5122 4984 0 -1 4202496 1251 0 0 0 0 0 0 0 20 0 1 0 344704012 8105984 1198 33554432000 4194304 8395647 140733642094688 140734839408168 7430272 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5122/statm: 1979 1198 370 1026 0 949 0
[startup+0.0295249 s]
/proc/loadavg: 2.02 2.01 1.92 3/176 5122
/proc/meminfo: memFree=31358708/32873844 swapFree=7116/7116
[pid=5122] ppid=5120 vsize=19660 CPUtime=0.02 cores=0,2,4,6
/proc/5122/stat : 5122 (pbscip.linux.x8) R 5120 5122 4984 0 -1 4202496 4172 0 0 0 1 1 0 0 20 0 1 0 344704012 20131840 4113 33554432000 4194304 8395647 140733642094688 140734839408168 7370166 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5122/statm: 4915 4113 387 1026 0 3885 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19660
[startup+0.100272 s]
/proc/loadavg: 2.02 2.01 1.92 3/176 5122
/proc/meminfo: memFree=31358708/32873844 swapFree=7116/7116
[pid=5122] ppid=5120 vsize=31804 CPUtime=0.08 cores=0,2,4,6
/proc/5122/stat : 5122 (pbscip.linux.x8) R 5120 5122 4984 0 -1 4202496 7231 0 0 0 7 1 0 0 20 0 1 0 344704012 32567296 7172 33554432000 4194304 8395647 140733642094688 140734839408168 7382016 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5122/statm: 7951 7172 394 1026 0 6921 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 31804
[startup+0.300213 s]
/proc/loadavg: 2.02 2.01 1.92 3/176 5122
/proc/meminfo: memFree=31358708/32873844 swapFree=7116/7116
[pid=5122] ppid=5120 vsize=52700 CPUtime=0.29 cores=0,2,4,6
/proc/5122/stat : 5122 (pbscip.linux.x8) R 5120 5122 4984 0 -1 4202496 12468 0 0 0 27 2 0 0 20 0 1 0 344704012 53964800 12409 33554432000 4194304 8395647 140733642094688 140733641959896 7430272 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5122/statm: 13175 12409 394 1026 0 12145 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52700
[startup+0.70026 s]
/proc/loadavg: 2.02 2.01 1.92 3/176 5122
/proc/meminfo: memFree=31358708/32873844 swapFree=7116/7116
[pid=5122] ppid=5120 vsize=135144 CPUtime=0.69 cores=0,2,4,6
/proc/5122/stat : 5122 (pbscip.linux.x8) R 5120 5122 4984 0 -1 4202496 32969 0 0 0 64 5 0 0 20 0 1 0 344704012 138387456 32556 33554432000 4194304 8395647 140733642094688 140733642092312 5041434 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5122/statm: 33786 32556 471 1026 0 32756 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 135144
[startup+1.50022 s]
/proc/loadavg: 2.02 2.01 1.92 3/177 5123
/proc/meminfo: memFree=31168584/32873844 swapFree=7116/7116
[pid=5122] ppid=5120 vsize=181196 CPUtime=1.49 cores=0,2,4,6
/proc/5122/stat : 5122 (pbscip.linux.x8) R 5120 5122 4984 0 -1 4202496 45204 0 0 0 142 7 0 0 20 0 1 0 344704012 185544704 43965 33554432000 4194304 8395647 140733642094688 140733642091912 6080665 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5122/statm: 45299 43965 498 1026 0 44269 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 181196
[startup+3.10029 s]
/proc/loadavg: 2.02 2.01 1.92 3/177 5123
/proc/meminfo: memFree=31071344/32873844 swapFree=7116/7116
[pid=5122] ppid=5120 vsize=224792 CPUtime=3.09 cores=0,2,4,6
/proc/5122/stat : 5122 (pbscip.linux.x8) R 5120 5122 4984 0 -1 4202496 55369 0 0 0 299 10 0 0 20 0 1 0 344704012 230187008 54130 33554432000 4194304 8395647 140733642094688 140733642090552 6080692 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5122/statm: 56198 54130 498 1026 0 55168 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 224792
[startup+6.30023 s]
/proc/loadavg: 2.01 2.01 1.92 3/177 5123
/proc/meminfo: memFree=31009592/32873844 swapFree=7116/7116
[pid=5122] ppid=5120 vsize=264472 CPUtime=6.29 cores=0,2,4,6
/proc/5122/stat : 5122 (pbscip.linux.x8) R 5120 5122 4984 0 -1 4202496 64619 0 0 0 618 11 0 0 20 0 1 0 344704012 270819328 63380 33554432000 4194304 8395647 140733642094688 140733642090760 6080717 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5122/statm: 66118 63380 498 1026 0 65088 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 264472
[startup+12.7004 s]
/proc/loadavg: 2.01 2.01 1.92 3/177 5123
/proc/meminfo: memFree=30888748/32873844 swapFree=7116/7116
[pid=5122] ppid=5120 vsize=316968 CPUtime=12.69 cores=0,2,4,6
/proc/5122/stat : 5122 (pbscip.linux.x8) R 5120 5122 4984 0 -1 4202496 77192 0 0 0 1256 13 0 0 20 0 1 0 344704012 324575232 75953 33554432000 4194304 8395647 140733642094688 140733642090552 6079610 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5122/statm: 79242 75953 498 1026 0 78212 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 316968
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 1.92 3/177 5123
/proc/meminfo: memFree=30710816/32873844 swapFree=7116/7116
[pid=5122] ppid=5120 vsize=417568 CPUtime=25.48 cores=0,2,4,6
/proc/5122/stat : 5122 (pbscip.linux.x8) R 5120 5122 4984 0 -1 4202496 101647 0 0 0 2531 17 0 0 20 0 1 0 344704012 427589632 100408 33554432000 4194304 8395647 140733642094688 140733642090552 6080661 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5122/statm: 104392 100408 498 1026 0 103362 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 417568
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 5123
/proc/meminfo: memFree=30416284/32873844 swapFree=7116/7116
[pid=5122] ppid=5120 vsize=578836 CPUtime=51.08 cores=0,2,4,6
/proc/5122/stat : 5122 (pbscip.linux.x8) R 5120 5122 4984 0 -1 4202496 141507 0 0 0 5085 23 0 0 20 0 1 0 344704012 592728064 140268 33554432000 4194304 8395647 140733642094688 140733642090712 4911327 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5122/statm: 144709 140268 507 1026 0 143679 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 578836
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 5123
/proc/meminfo: memFree=30409988/32873844 swapFree=7116/7116
[pid=5122] ppid=5120 vsize=578836 CPUtime=102.28 cores=0,2,4,6
/proc/5122/stat : 5122 (pbscip.linux.x8) R 5120 5122 4984 0 -1 4202496 141513 0 0 0 10205 23 0 0 20 0 1 0 344704012 592728064 140274 33554432000 4194304 8395647 140733642094688 140733642090712 4911287 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5122/statm: 144709 140274 507 1026 0 143679 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 578836
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 5123
/proc/meminfo: memFree=30376552/32873844 swapFree=7116/7116
[pid=5122] ppid=5120 vsize=580380 CPUtime=162.26 cores=0,2,4,6
/proc/5122/stat : 5122 (pbscip.linux.x8) R 5120 5122 4984 0 -1 4202496 142030 0 0 0 16203 23 0 0 20 0 1 0 344704012 594309120 140791 33554432000 4194304 8395647 140733642094688 140733642090760 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5122/statm: 145095 140791 507 1026 0 144065 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 580380
[startup+222.3 s]
/proc/loadavg: 2.06 2.01 1.92 3/177 5124
/proc/meminfo: memFree=30278976/32873844 swapFree=7116/7116
[pid=5122] ppid=5120 vsize=596604 CPUtime=222.25 cores=0,2,4,6
/proc/5122/stat : 5122 (pbscip.linux.x8) R 5120 5122 4984 0 -1 4202496 146003 0 0 0 22202 23 0 0 20 0 1 0 344704012 610922496 144764 33554432000 4194304 8395647 140733642094688 140733642090760 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5122/statm: 149151 144764 507 1026 0 148121 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 596604
[startup+282.3 s]
/proc/loadavg: 2.06 2.02 1.93 3/178 5127
/proc/meminfo: memFree=30181424/32873844 swapFree=7116/7116
[pid=5122] ppid=5120 vsize=626156 CPUtime=282.24 cores=0,2,4,6
/proc/5122/stat : 5122 (pbscip.linux.x8) R 5120 5122 4984 0 -1 4202496 153217 0 0 0 28200 24 0 0 20 0 1 0 344704012 641183744 151978 33554432000 4194304 8395647 140733642094688 140733642090760 4698201 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5122/statm: 156539 151978 513 1026 0 155509 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 626156
[startup+342.3 s]
/proc/loadavg: 2.02 2.02 1.93 3/178 5150
/proc/meminfo: memFree=30074548/32873844 swapFree=7116/7116
[pid=5122] ppid=5120 vsize=706476 CPUtime=342.24 cores=0,2,4,6
/proc/5122/stat : 5122 (pbscip.linux.x8) R 5120 5122 4984 0 -1 4202496 173317 0 0 0 34196 28 0 0 20 0 1 0 344704012 723431424 172078 33554432000 4194304 8395647 140733642094688 140733642090552 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5122/statm: 176619 172078 513 1026 0 175589 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 706476
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 5150
/proc/meminfo: memFree=29987616/32873844 swapFree=7116/7116
[pid=5122] ppid=5120 vsize=776560 CPUtime=402.22 cores=0,2,4,6
/proc/5122/stat : 5122 (pbscip.linux.x8) R 5120 5122 4984 0 -1 4202496 190665 0 0 0 40192 30 0 0 20 0 1 0 344704012 795197440 189426 33554432000 4194304 8395647 140733642094688 140733642090376 6345754 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5122/statm: 194140 189426 513 1026 0 193110 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 776560
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 5150
/proc/meminfo: memFree=29878652/32873844 swapFree=7116/7116
[pid=5122] ppid=5120 vsize=828180 CPUtime=462.21 cores=0,2,4,6
/proc/5122/stat : 5122 (pbscip.linux.x8) R 5120 5122 4984 0 -1 4202496 203071 0 0 0 46189 32 0 0 20 0 1 0 344704012 848056320 201832 33554432000 4194304 8395647 140733642094688 140733642090760 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5122/statm: 207045 201832 513 1026 0 206015 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 828180
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 5151
/proc/meminfo: memFree=29824880/32873844 swapFree=7116/7116
[pid=5122] ppid=5120 vsize=837164 CPUtime=522.2 cores=0,2,4,6
/proc/5122/stat : 5122 (pbscip.linux.x8) R 5120 5122 4984 0 -1 4202496 206039 0 0 0 52187 33 0 0 20 0 1 0 344704012 857255936 204856 33554432000 4194304 8395647 140733642094688 140733642090760 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5122/statm: 209291 204856 513 1026 0 208261 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 837164
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 5151
/proc/meminfo: memFree=29751004/32873844 swapFree=7116/7116
[pid=5122] ppid=5120 vsize=870324 CPUtime=582.18 cores=0,2,4,6
/proc/5122/stat : 5122 (pbscip.linux.x8) R 5120 5122 4984 0 -1 4202496 213756 0 0 0 58184 34 0 0 20 0 1 0 344704012 891211776 212846 33554432000 4194304 8395647 140733642094688 140733642090760 4911327 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5122/statm: 217581 212846 513 1026 0 216551 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 870324
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29072080/32873844 swapFree=7116/7116
[pid=5122] ppid=5120 vsize=1250696 CPUtime=1062.11 cores=0,2,4,6
/proc/5122/stat : 5122 (pbscip.linux.x8) R 5120 5122 4984 0 -1 4202496 308818 0 0 0 106160 51 0 0 20 0 1 0 344704012 1280712704 310508 33554432000 4194304 8395647 140733642094688 140733642090552 4911287 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5122/statm: 312674 310508 513 1026 0 311644 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 1250696
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 5155
/proc/meminfo: memFree=28996096/32873844 swapFree=7116/7116
[pid=5122] ppid=5120 vsize=1289632 CPUtime=1122.09 cores=0,2,4,6
/proc/5122/stat : 5122 (pbscip.linux.x8) R 5120 5122 4984 0 -1 4202496 318329 0 0 0 112156 53 0 0 20 0 1 0 344704012 1320583168 320481 33554432000 4194304 8395647 140733642094688 140733642090760 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5122/statm: 322408 320481 513 1026 0 321378 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 1289632
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 5156
/proc/meminfo: memFree=28933752/32873844 swapFree=7116/7116
[pid=5122] ppid=5120 vsize=1325528 CPUtime=1182.08 cores=0,2,4,6
/proc/5122/stat : 5122 (pbscip.linux.x8) R 5120 5122 4984 0 -1 4202496 326876 0 0 0 118154 54 0 0 20 0 1 0 344704012 1357340672 329434 33554432000 4194304 8395647 140733642094688 140733642090376 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5122/statm: 331382 329434 513 1026 0 330352 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 1325528
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 5156
/proc/meminfo: memFree=28865208/32873844 swapFree=7116/7116
[pid=5122] ppid=5120 vsize=1356564 CPUtime=1242.08 cores=0,2,4,6
/proc/5122/stat : 5122 (pbscip.linux.x8) R 5120 5122 4984 0 -1 4202496 334653 0 0 0 124152 56 0 0 20 0 1 0 344704012 1389121536 337499 33554432000 4194304 8395647 140733642094688 140733642090760 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5122/statm: 339141 337499 513 1026 0 338111 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1356564
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 5156
/proc/meminfo: memFree=28792448/32873844 swapFree=7116/7116
[pid=5122] ppid=5120 vsize=1403512 CPUtime=1302.08 cores=0,2,4,6
/proc/5122/stat : 5122 (pbscip.linux.x8) R 5120 5122 4984 0 -1 4202496 345813 0 0 0 130150 58 0 0 20 0 1 0 344704012 1437196288 349696 33554432000 4194304 8395647 140733642094688 140733642089624 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5122/statm: 350878 349696 513 1026 0 349848 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1403512
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 5156
/proc/meminfo: memFree=28741940/32873844 swapFree=7116/7116
[pid=5122] ppid=5120 vsize=1427540 CPUtime=1362.06 cores=0,2,4,6
/proc/5122/stat : 5122 (pbscip.linux.x8) R 5120 5122 4984 0 -1 4202496 351636 0 0 0 136147 59 0 0 20 0 1 0 344704012 1461800960 355648 33554432000 4194304 8395647 140733642094688 140733642090760 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5122/statm: 356885 355648 513 1026 0 355855 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1427540
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 5156
/proc/meminfo: memFree=28677708/32873844 swapFree=7116/7116
[pid=5122] ppid=5120 vsize=1464556 CPUtime=1422.05 cores=0,2,4,6
/proc/5122/stat : 5122 (pbscip.linux.x8) R 5120 5122 4984 0 -1 4202496 360342 0 0 0 142145 60 0 0 20 0 1 0 344704012 1499705344 364354 33554432000 4194304 8395647 140733642094688 140733642090760 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5122/statm: 366139 364354 513 1026 0 365109 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 1464556
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 5160
/proc/meminfo: memFree=28626364/32873844 swapFree=7116/7116
[pid=5122] ppid=5120 vsize=1485400 CPUtime=1482.04 cores=0,2,4,6
/proc/5122/stat : 5122 (pbscip.linux.x8) R 5120 5122 4984 0 -1 4202496 365370 0 0 0 148143 61 0 0 20 0 1 0 344704012 1521049600 369382 33554432000 4194304 8395647 140733642094688 140733642090760 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5122/statm: 371350 369382 513 1026 0 370320 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1485400
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 5160
/proc/meminfo: memFree=28558544/32873844 swapFree=7116/7116
[pid=5122] ppid=5120 vsize=1522580 CPUtime=1542.03 cores=0,2,4,6
/proc/5122/stat : 5122 (pbscip.linux.x8) R 5120 5122 4984 0 -1 4202496 374085 0 0 0 154141 62 0 0 20 0 1 0 344704012 1559121920 378097 33554432000 4194304 8395647 140733642094688 140733642090552 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5122/statm: 380645 378097 513 1026 0 379615 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1522580
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 5160
/proc/meminfo: memFree=28498908/32873844 swapFree=7116/7116
[pid=5122] ppid=5120 vsize=1549644 CPUtime=1602.02 cores=0,2,4,6
/proc/5122/stat : 5122 (pbscip.linux.x8) R 5120 5122 4984 0 -1 4202496 381038 0 0 0 160139 63 0 0 20 0 1 0 344704012 1586835456 385050 33554432000 4194304 8395647 140733642094688 140733642090760 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5122/statm: 387411 385050 513 1026 0 386381 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1549644
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 5161
/proc/meminfo: memFree=28435288/32873844 swapFree=7116/7116
[pid=5122] ppid=5120 vsize=1580524 CPUtime=1662.01 cores=0,2,4,6
/proc/5122/stat : 5122 (pbscip.linux.x8) R 5120 5122 4984 0 -1 4202496 388607 0 0 0 166137 64 0 0 20 0 1 0 344704012 1618456576 392619 33554432000 4194304 8395647 140733642094688 140733642090760 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5122/statm: 395131 392619 513 1026 0 394101 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1580524
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 1.94 3/177 5161
/proc/meminfo: memFree=28373224/32873844 swapFree=7116/7116
[pid=5122] ppid=5120 vsize=1617404 CPUtime=1722 cores=0,2,4,6
/proc/5122/stat : 5122 (pbscip.linux.x8) R 5120 5122 4984 0 -1 4202496 397216 0 0 0 172134 66 0 0 20 0 1 0 344704012 1656221696 401228 33554432000 4194304 8395647 140733642094688 140733642090760 4911327 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5122/statm: 404351 401228 513 1026 0 403321 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1617404
[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 1.94 3/177 5162
/proc/meminfo: memFree=28307068/32873844 swapFree=7116/7116
[pid=5122] ppid=5120 vsize=1648428 CPUtime=1781.99 cores=0,2,4,6
/proc/5122/stat : 5122 (pbscip.linux.x8) R 5120 5122 4984 0 -1 4202496 405180 0 0 0 178132 67 0 0 20 0 1 0 344704012 1687990272 409192 33554432000 4194304 8395647 140733642094688 140733642090760 4911307 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5122/statm: 412107 409192 513 1026 0 411077 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1648428
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.05 2.02 1.94 3/177 5162
/proc/meminfo: memFree=28303212/32873844 swapFree=7116/7116
[pid=5122] ppid=5120 vsize=1650412 CPUtime=1785.19 cores=0,2,4,6
/proc/5122/stat : 5122 (pbscip.linux.x8) R 5120 5122 4984 0 -1 4202496 405515 0 0 0 178452 67 0 0 20 0 1 0 344704012 1690021888 409527 33554432000 4194304 8395647 140733642094688 140733642090760 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5122/statm: 412603 409527 513 1026 0 411573 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 1650412
[startup+1788.7 s]
/proc/loadavg: 2.05 2.02 1.94 3/177 5162
/proc/meminfo: memFree=28299492/32873844 swapFree=7116/7116
[pid=5122] ppid=5120 vsize=1651380 CPUtime=1788.39 cores=0,2,4,6
/proc/5122/stat : 5122 (pbscip.linux.x8) R 5120 5122 4984 0 -1 4202496 406013 0 0 0 178772 67 0 0 20 0 1 0 344704012 1691013120 410025 33554432000 4194304 8395647 140733642094688 140733642090760 6068858 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5122/statm: 412845 410025 513 1026 0 411815 0
Current children cumulated CPU time (s) 1788.39
Current children cumulated vsize (KiB) 1651380
[startup+1789.5 s]
/proc/loadavg: 2.05 2.02 1.94 3/177 5162
/proc/meminfo: memFree=28299492/32873844 swapFree=7116/7116
[pid=5122] ppid=5120 vsize=1651380 CPUtime=1789.19 cores=0,2,4,6
/proc/5122/stat : 5122 (pbscip.linux.x8) R 5120 5122 4984 0 -1 4202496 406014 0 0 0 178852 67 0 0 20 0 1 0 344704012 1691013120 410026 33554432000 4194304 8395647 140733642094688 140733642090760 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5122/statm: 412845 410026 513 1026 0 411815 0
Current children cumulated CPU time (s) 1789.19
Current children cumulated vsize (KiB) 1651380
[startup+1789.9 s]
/proc/loadavg: 1.97 2.01 1.94 2/172 5186
/proc/meminfo: memFree=29862260/32873844 swapFree=7116/7116
[pid=5122] ppid=5120 vsize=1651380 CPUtime=1789.59 cores=0,2,4,6
/proc/5122/stat : 5122 (pbscip.linux.x8) R 5120 5122 4984 0 -1 4202496 406014 0 0 0 178892 67 0 0 20 0 1 0 344704012 1691013120 410026 33554432000 4194304 8395647 140733642094688 140733642090760 4911287 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5122/statm: 412845 410026 513 1026 0 411815 0
Current children cumulated CPU time (s) 1789.59
Current children cumulated vsize (KiB) 1651380
[startup+1790.1 s]
/proc/loadavg: 1.97 2.01 1.94 2/172 5186
/proc/meminfo: memFree=29862260/32873844 swapFree=7116/7116
[pid=5122] ppid=5120 vsize=1651380 CPUtime=1789.79 cores=0,2,4,6
/proc/5122/stat : 5122 (pbscip.linux.x8) R 5120 5122 4984 0 -1 4202496 406040 0 0 0 178912 67 0 0 20 0 1 0 344704012 1691013120 410052 33554432000 4194304 8395647 140733642094688 140733642090760 4911327 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5122/statm: 412845 410052 513 1026 0 411815 0
Current children cumulated CPU time (s) 1789.79
Current children cumulated vsize (KiB) 1651380
[startup+1790.2 s]
/proc/loadavg: 1.97 2.01 1.94 2/172 5186
/proc/meminfo: memFree=29862260/32873844 swapFree=7116/7116
[pid=5122] ppid=5120 vsize=1652404 CPUtime=1789.89 cores=0,2,4,6
/proc/5122/stat : 5122 (pbscip.linux.x8) R 5120 5122 4984 0 -1 4202496 406303 0 0 0 178922 67 0 0 20 0 1 0 344704012 1692061696 410315 33554432000 4194304 8395647 140733642094688 140733642090488 6066693 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5122/statm: 413101 410315 520 1026 0 412071 0
Current children cumulated CPU time (s) 1789.89
Current children cumulated vsize (KiB) 1652404
Child status: 0
Real time (s): 1790.26
CPU time (s): 1789.96
CPU user time (s): 1789.26
CPU system time (s): 0.703892
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 1652404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.26
system time used= 0.703892
maximum resident set size= 1641264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 406317
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= 31
involuntary context switches= 1927
runsolver used 3.54046 second user time and 8.29574 second system time
The end