1.49/1.53 c SCIP version 1.1.0.7
1.49/1.53 c LP-Solver SoPlex 1.4.1
1.49/1.53 c user parameter file <scip.set> not found - using default parameters
1.49/1.53 c read problem <HOME/instance-3740454-1338761894.opb>
1.49/1.53 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256017 constraints
1.98/2.04 c start presolving problem
1.98/2.04 c presolving:
9.59/9.62 c (round 1) 7580 del vars, 22516 del conss, 5915 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17307118 impls, 0 clqs
14.09/14.15 c (round 2) 14916 del vars, 53202 del conss, 12865 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17350919 impls, 0 clqs
15.48/15.51 c (round 3) 17859 del vars, 66972 del conss, 14578 chg bounds, 37 chg sides, 22 chg coeffs, 0 upgd conss, 17373718 impls, 0 clqs
16.18/16.26 c (round 4) 19161 del vars, 72613 del conss, 15389 chg bounds, 45 chg sides, 30 chg coeffs, 0 upgd conss, 17387851 impls, 0 clqs
16.68/16.74 c (round 5) 20011 del vars, 76086 del conss, 15889 chg bounds, 45 chg sides, 30 chg coeffs, 0 upgd conss, 17396575 impls, 0 clqs
16.98/17.08 c (round 6) 20587 del vars, 78446 del conss, 16217 chg bounds, 45 chg sides, 30 chg coeffs, 0 upgd conss, 17403099 impls, 0 clqs
17.28/17.39 c (round 7) 21105 del vars, 80405 del conss, 16522 chg bounds, 45 chg sides, 30 chg coeffs, 0 upgd conss, 17409700 impls, 0 clqs
17.60/17.63 c (round 8) 21480 del vars, 81948 del conss, 16729 chg bounds, 45 chg sides, 30 chg coeffs, 0 upgd conss, 17414570 impls, 0 clqs
17.79/17.83 c (round 9) 21764 del vars, 83091 del conss, 16880 chg bounds, 45 chg sides, 30 chg coeffs, 0 upgd conss, 17418268 impls, 0 clqs
17.89/17.99 c (round 10) 21924 del vars, 83834 del conss, 16964 chg bounds, 45 chg sides, 30 chg coeffs, 0 upgd conss, 17419944 impls, 0 clqs
18.09/18.12 c (round 11) 22002 del vars, 84198 del conss, 17004 chg bounds, 45 chg sides, 30 chg coeffs, 0 upgd conss, 17420936 impls, 0 clqs
18.19/18.23 c (round 12) 22048 del vars, 84418 del conss, 17029 chg bounds, 45 chg sides, 30 chg coeffs, 0 upgd conss, 17421434 impls, 0 clqs
18.29/18.37 c (round 13) 22080 del vars, 84565 del conss, 17045 chg bounds, 45 chg sides, 30 chg coeffs, 0 upgd conss, 17421702 impls, 0 clqs
18.38/18.47 c (round 14) 22088 del vars, 84624 del conss, 17049 chg bounds, 45 chg sides, 30 chg coeffs, 0 upgd conss, 17421740 impls, 0 clqs
19.19/19.24 c (round 15) 22088 del vars, 84632 del conss, 17049 chg bounds, 45 chg sides, 30 chg coeffs, 171385 upgd conss, 17421740 impls, 0 clqs
20.08/20.15 c (round 16) 22109 del vars, 84715 del conss, 17057 chg bounds, 167 chg sides, 581 chg coeffs, 171385 upgd conss, 17435050 impls, 2366 clqs
20.89/20.93 c (round 17) 22139 del vars, 84819 del conss, 17064 chg bounds, 179 chg sides, 652 chg coeffs, 171385 upgd conss, 17439917 impls, 2558 clqs
21.08/21.16 c (round 18) 22159 del vars, 84867 del conss, 17064 chg bounds, 182 chg sides, 664 chg coeffs, 171385 upgd conss, 17443245 impls, 2558 clqs
21.28/21.35 c (round 19) 22170 del vars, 84901 del conss, 17064 chg bounds, 182 chg sides, 664 chg coeffs, 171385 upgd conss, 17443415 impls, 2558 clqs
21.38/21.49 c (round 20) 22194 del vars, 84962 del conss, 17064 chg bounds, 182 chg sides, 664 chg coeffs, 171385 upgd conss, 17445405 impls, 2558 clqs
21.58/21.67 c (round 21) 22206 del vars, 85002 del conss, 17064 chg bounds, 182 chg sides, 664 chg coeffs, 171385 upgd conss, 17445551 impls, 2558 clqs
21.78/21.82 c (round 22) 22211 del vars, 85027 del conss, 17065 chg bounds, 182 chg sides, 664 chg coeffs, 171385 upgd conss, 17445564 impls, 2558 clqs
21.89/21.95 c (round 23) 22218 del vars, 85045 del conss, 17065 chg bounds, 182 chg sides, 664 chg coeffs, 171385 upgd conss, 17445678 impls, 2558 clqs
22.09/22.12 c (round 24) 22224 del vars, 85066 del conss, 17068 chg bounds, 182 chg sides, 664 chg coeffs, 171385 upgd conss, 17445789 impls, 2558 clqs
22.19/22.25 c (round 25) 22230 del vars, 85087 del conss, 17068 chg bounds, 182 chg sides, 664 chg coeffs, 171385 upgd conss, 17445825 impls, 2558 clqs
201.46/201.56 c (round 26) 22280 del vars, 85087 del conss, 17068 chg bounds, 182 chg sides, 664 chg coeffs, 171385 upgd conss, 32971183 impls, 2464 clqs
202.46/202.57 c (round 27) 22284 del vars, 86433 del conss, 17068 chg bounds, 182 chg sides, 1475 chg coeffs, 171385 upgd conss, 32971563 impls, 2464 clqs
704.78/704.92 c (701.3s) probing: 1000/50612 (2.0%) - 65 fixings, 27 aggregations, 13152373 implications, 0 bound changes
837.03/837.27 c (round 28) 22334 del vars, 86433 del conss, 17068 chg bounds, 193 chg sides, 1516 chg coeffs, 171385 upgd conss, 81244617 impls, 4064 clqs
841.43/841.62 c (round 29) 22342 del vars, 86623 del conss, 17068 chg bounds, 195 chg sides, 1532 chg coeffs, 171385 upgd conss, 81506535 impls, 4068 clqs
954.70/954.92 c (round 30) 22392 del vars, 86623 del conss, 17068 chg bounds, 195 chg sides, 1532 chg coeffs, 171385 upgd conss, 85233603 impls, 4068 clqs
959.69/959.98 c (round 31) 22410 del vars, 86803 del conss, 17068 chg bounds, 195 chg sides, 1532 chg coeffs, 171385 upgd conss, 85472761 impls, 4068 clqs
1190.14/1190.47 c (round 32) 22460 del vars, 86807 del conss, 17068 chg bounds, 195 chg sides, 1532 chg coeffs, 171385 upgd conss, 95566983 impls, 4068 clqs
1191.25/1191.58 c (round 33) 22468 del vars, 86984 del conss, 17068 chg bounds, 195 chg sides, 1532 chg coeffs, 171385 upgd conss, 95567829 impls, 4068 clqs
1249.24/1249.56 c (1245.1s) probing: 2000/50612 (4.0%) - 157 fixings, 55 aggregations, 20095519 implications, 0 bound changes
1787.49/1787.98 c (1782.6s) probing: 3000/50612 (5.9%) - 173 fixings, 68 aggregations, 32581150 implications, 0 bound changes
1796.39/1796.80 c (1791.4s) probing: 3018/50612 (6.0%) - 173 fixings, 68 aggregations, 32851464 implications, 0 bound changes
1796.39/1796.80 c (1791.4s) probing aborted: solving stopped
1796.39/1796.81 c (round 34) 22509 del vars, 86984 del conss, 17068 chg bounds, 195 chg sides, 1532 chg coeffs, 171385 upgd conss, 134043993 impls, 4068 clqs
1796.39/1796.81 c presolving (34 rounds):
1796.39/1796.81 c 22509 deleted vars, 86984 deleted constraints, 17068 tightened bounds, 0 added holes, 195 changed sides, 1532 changed coefficients
1796.39/1796.81 c 134043993 implications, 4068 cliques
1796.39/1796.81 c presolving was interrupted.
1796.39/1796.81 c Presolving Time: 1791.05
1796.39/1796.81 c OPT-LIN
1796.39/1796.81 c -----------------------------------------------------------------------------------------------
1796.39/1796.81 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1796.39/1796.81 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.39/1796.81 c limits/memory = c 13950
1796.39/1796.81 c # maximal time in seconds to run
1796.39/1796.81 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.39/1796.81 c limits/time = c 1791
1796.39/1796.81 c # frequency for displaying node information lines
1796.39/1796.81 c # [type: int, range: [-1,2147483647], default: 100]
1796.39/1796.81 c display/freq = c 10000
1796.39/1796.81 c -----------------------------------------------------------------------------------------------
1796.39/1796.81 c start solving problem
1796.39/1796.81 c presolving:
1796.39/1796.81 c presolving (34 rounds):
1796.39/1796.81 c 22509 deleted vars, 86984 deleted constraints, 17068 tightened bounds, 0 added holes, 195 changed sides, 1532 changed coefficients
1796.39/1796.81 c 134043993 implications, 4068 cliques
1796.39/1796.81 c presolving was interrupted.
1796.39/1796.81 c Presolving Time: 1791.05
1796.39/1796.81 c
1796.39/1796.81 c SCIP Status : solving was interrupted [time limit reached]
1796.39/1796.81 c Solving Time (sec) : 1791.38
1796.39/1796.81 c Solving Nodes : 0
1796.39/1796.81 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.39/1796.81 c NODE 0
1796.39/1796.81 c DUAL BOUND -1e+20
1796.39/1796.81 c PRIMAL BOUND 1e+20
1796.39/1796.81 c GAP 1e+20
1796.39/1796.81 s UNKNOWN
1796.39/1796.81 c SCIP Status : solving was interrupted [time limit reached]
1796.39/1796.81 c Solving Time : 1791.38
1796.39/1796.81 c Original Problem :
1796.39/1796.81 c Problem name : HOME/instance-3740454-1338761894.opb
1796.39/1796.81 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.39/1796.81 c Constraints : 256017 initial, 256017 maximal
1796.39/1796.81 c Presolved Problem :
1796.39/1796.81 c Problem name : t_HOME/instance-3740454-1338761894.opb
1796.39/1796.81 c Variables : 50333 (50333 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.39/1796.81 c Constraints : 169159 initial, 169159 maximal
1796.39/1796.81 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1796.39/1796.81 c trivial : 0.16 1131 0 0 0 0 0 0 0
1796.39/1796.81 c dualfix : 0.15 121 0 0 0 0 0 0 0
1796.39/1796.81 c boundshift : 0.00 0 0 0 0 0 0 0 0
1796.39/1796.81 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1796.39/1796.81 c implics : 10.52 0 98 0 0 0 0 0 0
1796.39/1796.81 c probing : 1757.91 173 68 0 0 0 0 0 0
1796.39/1796.81 c knapsack : 5.21 0 0 0 8 0 25 150 1502
1796.39/1796.81 c setppc : 0.00 0 0 0 0 0 6 0 0
1796.39/1796.81 c linear : 15.30 15937 4918 0 17049 0 84632 45 30
1796.39/1796.81 c logicor : 1.37 63 0 0 11 0 2321 0 0
1796.39/1796.81 c root node : - 0 - - 0 - - - -
1796.39/1796.81 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1796.39/1796.81 c integral : 0 0 0 0 0 0 0 0 0 0
1796.39/1796.81 c knapsack : 0+ 0 200327 0 0 26 0 0 0 0
1796.39/1796.81 c setppc : 0+ 0 200301 0 0 1 0 0 0 0
1796.39/1796.81 c linear : 0+ 0 0 0 0 0 0 0 0 0
1796.39/1796.81 c logicor : 0+ 0 199600 0 0 78 0 0 0 0
1796.39/1796.81 c countsols : 0 0 0 0 0 0 0 0 0 0
1796.39/1796.81 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1796.39/1796.81 c integral : 0.00 0.00 0.00 0.00 0.00
1796.39/1796.81 c knapsack : 4.49 0.00 4.49 0.00 0.00
1796.39/1796.81 c setppc : 0.49 0.00 0.49 0.00 0.00
1796.39/1796.81 c linear : 0.00 0.00 0.00 0.00 0.00
1796.39/1796.81 c logicor : 191.00 0.00 191.00 0.00 0.00
1796.39/1796.81 c countsols : 0.00 0.00 0.00 0.00 0.00
1796.39/1796.81 c Propagators : Time Calls Cutoffs DomReds
1796.39/1796.81 c rootredcost : 0.01 0 0 0
1796.39/1796.81 c pseudoobj : 0.02 0 0 0
1796.39/1796.81 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.39/1796.81 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.39/1796.81 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.39/1796.81 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.39/1796.81 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.39/1796.81 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.39/1796.81 c applied globally : - - - 0 0.0 - - -
1796.39/1796.81 c applied locally : - - - 0 0.0 - - -
1797.08/1797.52 c Time complete: 1797.11.
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-3740454-1338761894/watcher-3740454-1338761894 -o /tmp/evaluation-result-3740454-1338761894/solver-3740454-1338761894 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3740454-1338761894.opb
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 28960
/proc/meminfo: memFree=24954024/32873844 swapFree=7108/7108
[pid=28960] ppid=28958 vsize=8556 CPUtime=0 cores=1,3,5,7
/proc/28960/stat : 28960 (pbscip.linux.x8) R 28958 28960 26990 0 -1 4202496 1473 0 0 0 0 0 0 0 20 0 1 0 342313936 8761344 1425 33554432000 4194304 7823515 140733231715584 140733377661688 5878822 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28960/statm: 2139 1431 349 887 0 1249 0
[startup+0.044858 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 28960
/proc/meminfo: memFree=24954024/32873844 swapFree=7108/7108
[pid=28960] ppid=28958 vsize=16572 CPUtime=0.03 cores=1,3,5,7
/proc/28960/stat : 28960 (pbscip.linux.x8) R 28958 28960 26990 0 -1 4202496 3506 0 0 0 3 0 0 0 20 0 1 0 342313936 16969728 3458 33554432000 4194304 7823515 140733231715584 140733377661688 6861408 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28960/statm: 4143 3458 354 887 0 3253 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 16572
[startup+0.100355 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 28960
/proc/meminfo: memFree=24954024/32873844 swapFree=7108/7108
[pid=28960] ppid=28958 vsize=25692 CPUtime=0.08 cores=1,3,5,7
/proc/28960/stat : 28960 (pbscip.linux.x8) R 28958 28960 26990 0 -1 4202496 5756 0 0 0 8 0 0 0 20 0 1 0 342313936 26308608 5708 33554432000 4194304 7823515 140733231715584 140733377661688 6957168 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28960/statm: 6423 5708 354 887 0 5533 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25692
[startup+0.300302 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 28960
/proc/meminfo: memFree=24954024/32873844 swapFree=7108/7108
[pid=28960] ppid=28958 vsize=51592 CPUtime=0.28 cores=1,3,5,7
/proc/28960/stat : 28960 (pbscip.linux.x8) R 28958 28960 26990 0 -1 4202496 12254 0 0 0 27 1 0 0 20 0 1 0 342313936 52830208 12206 33554432000 4194304 7823515 140733231715584 140733377661688 6908062 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28960/statm: 12898 12206 354 887 0 12008 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 51592
[startup+0.700293 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 28960
/proc/meminfo: memFree=24954024/32873844 swapFree=7108/7108
[pid=28960] ppid=28958 vsize=76120 CPUtime=0.69 cores=1,3,5,7
/proc/28960/stat : 28960 (pbscip.linux.x8) R 28958 28960 26990 0 -1 4202496 18339 0 0 0 66 3 0 0 20 0 1 0 342313936 77946880 18291 33554432000 4194304 7823515 140733231715584 140733231581688 4765623 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28960/statm: 19030 18291 354 887 0 18140 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76120
[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28961
/proc/meminfo: memFree=24858040/32873844 swapFree=7108/7108
[pid=28960] ppid=28958 vsize=146568 CPUtime=1.49 cores=1,3,5,7
/proc/28960/stat : 28960 (pbscip.linux.x8) R 28958 28960 26990 0 -1 4202496 35952 0 0 0 143 6 0 0 20 0 1 0 342313936 150085632 35904 33554432000 4194304 7823515 140733231715584 140733231581688 6957168 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28960/statm: 36642 35904 354 887 0 35752 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 146568
[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28961
/proc/meminfo: memFree=24605636/32873844 swapFree=7108/7108
[pid=28960] ppid=28958 vsize=476524 CPUtime=3.09 cores=1,3,5,7
/proc/28960/stat : 28960 (pbscip.linux.x8) R 28958 28960 26990 0 -1 4202496 117657 0 0 0 289 20 0 0 20 0 1 0 342313936 487960576 117766 33554432000 4194304 7823515 140733231715584 140733231712520 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/28960/statm: 119131 117766 427 887 0 118241 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 476524
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28961
/proc/meminfo: memFree=24304612/32873844 swapFree=7108/7108
[pid=28960] ppid=28958 vsize=719220 CPUtime=6.29 cores=1,3,5,7
/proc/28960/stat : 28960 (pbscip.linux.x8) R 28958 28960 26990 0 -1 4202496 177814 0 0 0 596 33 0 0 20 0 1 0 342313936 736481280 177923 33554432000 4194304 7823515 140733231715584 140733231711128 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/28960/statm: 179805 177923 427 887 0 178915 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 719220
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28961
/proc/meminfo: memFree=24096540/32873844 swapFree=7108/7108
[pid=28960] ppid=28958 vsize=873860 CPUtime=12.69 cores=1,3,5,7
/proc/28960/stat : 28960 (pbscip.linux.x8) R 28958 28960 26990 0 -1 4202496 213996 0 0 0 1222 47 0 0 20 0 1 0 342313936 894832640 214105 33554432000 4194304 7823515 140733231715584 140733231712520 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/28960/statm: 218465 214105 432 887 0 217575 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 873860
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28961
/proc/meminfo: memFree=24020616/32873844 swapFree=7108/7108
[pid=28960] ppid=28958 vsize=950388 CPUtime=25.49 cores=1,3,5,7
/proc/28960/stat : 28960 (pbscip.linux.x8) R 28958 28960 26990 0 -1 4202496 231017 0 0 0 2428 121 0 0 20 0 1 0 342313936 973197312 233216 33554432000 4194304 7823515 140733231715584 140733231712280 5803650 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/28960/statm: 237597 233216 460 887 0 236707 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 950388
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28961
/proc/meminfo: memFree=23988220/32873844 swapFree=7108/7108
[pid=28960] ppid=28958 vsize=986104 CPUtime=51.08 cores=1,3,5,7
/proc/28960/stat : 28960 (pbscip.linux.x8) R 28958 28960 26990 0 -1 4202496 239334 0 0 0 4986 122 0 0 20 0 1 0 342313936 1009770496 241533 33554432000 4194304 7823515 140733231715584 140733231712280 4209589 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/28960/statm: 246526 241533 460 887 0 245636 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 986104
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28961
/proc/meminfo: memFree=23879452/32873844 swapFree=7108/7108
[pid=28960] ppid=28958 vsize=1098612 CPUtime=102.28 cores=1,3,5,7
/proc/28960/stat : 28960 (pbscip.linux.x8) R 28958 28960 26990 0 -1 4202496 265941 0 0 0 10100 128 0 0 20 0 1 0 342313936 1124978688 268140 33554432000 4194304 7823515 140733231715584 140733231711448 5803627 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/28960/statm: 274653 268140 460 887 0 273763 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1098612
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28964
/proc/meminfo: memFree=23759440/32873844 swapFree=7108/7108
[pid=28960] ppid=28958 vsize=1219272 CPUtime=162.27 cores=1,3,5,7
/proc/28960/stat : 28960 (pbscip.linux.x8) R 28958 28960 26990 0 -1 4202496 295811 0 0 0 16093 134 0 0 20 0 1 0 342313936 1248534528 298010 33554432000 4194304 7823515 140733231715584 140733231711640 5803600 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/28960/statm: 304818 298010 461 887 0 303928 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1219272
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28964
/proc/meminfo: memFree=23595972/32873844 swapFree=7108/7108
[pid=28960] ppid=28958 vsize=1380820 CPUtime=222.25 cores=1,3,5,7
/proc/28960/stat : 28960 (pbscip.linux.x8) R 28958 28960 26990 0 -1 4202496 333588 0 0 0 22081 144 0 0 20 0 1 0 342313936 1413959680 338342 33554432000 4194304 7823515 140733231715584 140733231712280 5803119 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/28960/statm: 345205 338342 461 887 0 344315 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1380820
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28964
/proc/meminfo: memFree=23541936/32873844 swapFree=7108/7108
[pid=28960] ppid=28958 vsize=1438712 CPUtime=282.25 cores=1,3,5,7
/proc/28960/stat : 28960 (pbscip.linux.x8) R 28958 28960 26990 0 -1 4202496 347324 0 0 0 28078 147 0 0 20 0 1 0 342313936 1473241088 352078 33554432000 4194304 7823515 140733231715584 140733231711448 5803608 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/28960/statm: 359678 352078 461 887 0 358788 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1438712
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28965
/proc/meminfo: memFree=23492984/32873844 swapFree=7108/7108
[pid=28960] ppid=28958 vsize=1487872 CPUtime=342.23 cores=1,3,5,7
/proc/28960/stat : 28960 (pbscip.linux.x8) R 28958 28960 26990 0 -1 4202496 359315 0 0 0 34073 150 0 0 20 0 1 0 342313936 1523580928 364069 33554432000 4194304 7823515 140733231715584 140733231711448 5803639 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/28960/statm: 371968 364069 461 887 0 371078 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1487872
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28965
/proc/meminfo: memFree=23426672/32873844 swapFree=7108/7108
[pid=28960] ppid=28958 vsize=1557092 CPUtime=402.23 cores=1,3,5,7
/proc/28960/stat : 28960 (pbscip.linux.x8) R 28958 28960 26990 0 -1 4202496 375612 0 0 0 40070 153 0 0 20 0 1 0 342313936 1594462208 380366 33554432000 4194304 7823515 140733231715584 140733231711448 5803662 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/28960/statm: 389273 380366 461 887 0 388383 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1557092
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28965
/proc/meminfo: memFree=23304684/32873844 swapFree=7108/7108
[pid=28960] ppid=28958 vsize=1676900 CPUtime=462.22 cores=1,3,5,7
/proc/28960/stat : 28960 (pbscip.linux.x8) R 28958 28960 26990 0 -1 4202496 405656 0 0 0 46062 160 0 0 20 0 1 0 342313936 1717145600 410410 33554432000 4194304 7823515 140733231715584 140733231712280 5803631 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/28960/statm: 419225 410410 461 887 0 418335 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1676900
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28965
/proc/meminfo: memFree=23111516/32873844 swapFree=7108/7108
[pid=28960] ppid=28958 vsize=1851240 CPUtime=522.21 cores=1,3,5,7
/proc/28960/stat : 28960 (pbscip.linux.x8) R 28958 28960 26990 0 -1 4202496 448760 0 0 0 52051 170 0 0 20 0 1 0 342313936 1895669760 453514 33554432000 4194304 7823515 140733231715584 140733231711448 4209458 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/28960/statm: 462810 453514 461 887 0 461920 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1851240
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28965
/proc/meminfo: memFree=22887352/32873844 swapFree=7108/7108
[pid=28960] ppid=28958 vsize=2073968 CPUtime=582.2 cores=1,3,5,7
/proc/28960/stat : 28960 (pbscip.linux.x8) R 28958 28960 26990 0 -1 4202496 503861 0 0 0 58038 182 0 0 20 0 1 0 342313936 2123743232 508615 33554432000 4194304 7823515 140733231715584 140733231712280 6911387 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/28960/statm: 518492 508615 461 887 0 517602 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 2073968
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=23377340/32873844 swapFree=7108/7108
[pid=28960] ppid=28958 vsize=3083960 CPUtime=1062.07 cores=1,3,5,7
/proc/28960/stat : 28960 (pbscip.linux.x8) R 28958 28960 26990 0 -1 4202496 752363 0 0 0 105950 257 0 0 20 0 1 0 342313936 3157975040 759987 33554432000 4194304 7823515 140733231715584 140733231711448 5803146 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/28960/statm: 770990 759987 466 887 0 770100 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 3083960
[startup+1122.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/177 29008
/proc/meminfo: memFree=23100972/32873844 swapFree=7108/7108
[pid=28960] ppid=28958 vsize=3172116 CPUtime=1122.06 cores=1,3,5,7
/proc/28960/stat : 28960 (pbscip.linux.x8) R 28958 28960 26990 0 -1 4202496 774145 0 0 0 111944 262 0 0 20 0 1 0 342313936 3248246784 781769 33554432000 4194304 7823515 140733231715584 140733231712264 5102406 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/28960/statm: 793029 781769 466 887 0 792139 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 3172116
[startup+1182.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/177 29008
/proc/meminfo: memFree=22831548/32873844 swapFree=7108/7108
[pid=28960] ppid=28958 vsize=3275076 CPUtime=1182.05 cores=1,3,5,7
/proc/28960/stat : 28960 (pbscip.linux.x8) R 28958 28960 26990 0 -1 4202496 799422 0 0 0 117937 268 0 0 20 0 1 0 342313936 3353677824 807045 33554432000 4194304 7823515 140733231715584 140733231711448 5803619 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/28960/statm: 818769 807045 466 887 0 817879 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 3275076
[startup+1242.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 29009
/proc/meminfo: memFree=22436036/32873844 swapFree=7108/7108
[pid=28960] ppid=28958 vsize=3327176 CPUtime=1242.03 cores=1,3,5,7
/proc/28960/stat : 28960 (pbscip.linux.x8) R 28958 28960 26990 0 -1 4202496 809047 0 0 0 123927 276 0 0 20 0 1 0 342313936 3407028224 819240 33554432000 4194304 7823515 140733231715584 140733231711640 5803612 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/28960/statm: 831794 819240 466 887 0 830904 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 3327176
[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 29009
/proc/meminfo: memFree=22324840/32873844 swapFree=7108/7108
[pid=28960] ppid=28958 vsize=3408548 CPUtime=1302.02 cores=1,3,5,7
/proc/28960/stat : 28960 (pbscip.linux.x8) R 28958 28960 26990 0 -1 4202496 829363 0 0 0 129921 281 0 0 20 0 1 0 342313936 3490353152 839907 33554432000 4194304 7823515 140733231715584 140733231712280 4221694 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/28960/statm: 852137 839907 466 887 0 851247 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 3408548
[startup+1362.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/178 29012
/proc/meminfo: memFree=22166436/32873844 swapFree=7108/7108
[pid=28960] ppid=28958 vsize=3541324 CPUtime=1362 cores=1,3,5,7
/proc/28960/stat : 28960 (pbscip.linux.x8) R 28958 28960 26990 0 -1 4202496 863051 0 0 0 135910 290 0 0 20 0 1 0 342313936 3626315776 874234 33554432000 4194304 7823515 140733231715584 140733231711640 5102336 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/28960/statm: 885331 874234 466 887 0 884441 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 3541324
[startup+1422.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 29012
/proc/meminfo: memFree=22020152/32873844 swapFree=7108/7108
[pid=28960] ppid=28958 vsize=3686676 CPUtime=1421.99 cores=1,3,5,7
/proc/28960/stat : 28960 (pbscip.linux.x8) R 28958 28960 26990 0 -1 4202496 898500 0 0 0 141901 298 0 0 20 0 1 0 342313936 3775156224 910139 33554432000 4194304 7823515 140733231715584 140733231711640 5803146 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/28960/statm: 921669 910139 466 887 0 920779 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 3686676
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 29012
/proc/meminfo: memFree=21891716/32873844 swapFree=7108/7108
[pid=28960] ppid=28958 vsize=3814900 CPUtime=1481.97 cores=1,3,5,7
/proc/28960/stat : 28960 (pbscip.linux.x8) R 28958 28960 26990 0 -1 4202496 930067 0 0 0 147891 306 0 0 20 0 1 0 342313936 3906457600 942147 33554432000 4194304 7823515 140733231715584 140733231712280 5803650 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/28960/statm: 953725 942147 466 887 0 952835 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 3814900
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 29013
/proc/meminfo: memFree=21778724/32873844 swapFree=7108/7108
[pid=28960] ppid=28958 vsize=3927204 CPUtime=1541.96 cores=1,3,5,7
/proc/28960/stat : 28960 (pbscip.linux.x8) R 28958 28960 26990 0 -1 4202496 957736 0 0 0 153882 314 0 0 20 0 1 0 342313936 4021456896 969824 33554432000 4194304 7823515 140733231715584 140733231711448 5803619 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/28960/statm: 981801 969824 466 887 0 980911 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 3927204
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 29013
/proc/meminfo: memFree=21621708/32873844 swapFree=7108/7108
[pid=28960] ppid=28958 vsize=4089616 CPUtime=1601.92 cores=1,3,5,7
/proc/28960/stat : 28960 (pbscip.linux.x8) R 28958 28960 26990 0 -1 4202496 998228 0 0 0 159870 322 0 0 20 0 1 0 342313936 4187766784 1011274 33554432000 4194304 7823515 140733231715584 140733231711448 5803131 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/28960/statm: 1022404 1011274 466 887 0 1021514 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 4089616
[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 29013
/proc/meminfo: memFree=21463140/32873844 swapFree=7108/7108
[pid=28960] ppid=28958 vsize=4242320 CPUtime=1661.92 cores=1,3,5,7
/proc/28960/stat : 28960 (pbscip.linux.x8) R 28958 28960 26990 0 -1 4202496 1035668 0 0 0 165858 334 0 0 20 0 1 0 342313936 4344135680 1049350 33554432000 4194304 7823515 140733231715584 140733231711448 5803608 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/28960/statm: 1060580 1049350 466 887 0 1059690 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 4242320
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 29013
/proc/meminfo: memFree=21317964/32873844 swapFree=7108/7108
[pid=28960] ppid=28958 vsize=4386144 CPUtime=1721.9 cores=1,3,5,7
/proc/28960/stat : 28960 (pbscip.linux.x8) R 28958 28960 26990 0 -1 4202496 1070940 0 0 0 171847 343 0 0 20 0 1 0 342313936 4491411456 1084992 33554432000 4194304 7823515 140733231715584 140733231712280 5803135 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/28960/statm: 1096536 1084992 466 887 0 1095646 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 4386144
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 29013
/proc/meminfo: memFree=21163116/32873844 swapFree=7108/7108
[pid=28960] ppid=28958 vsize=4540684 CPUtime=1781.89 cores=1,3,5,7
/proc/28960/stat : 28960 (pbscip.linux.x8) R 28958 28960 26990 0 -1 4202496 1108958 0 0 0 177836 353 0 0 20 0 1 0 342313936 4649660416 1123253 33554432000 4194304 7823515 140733231715584 140733231712280 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/28960/statm: 1135171 1123253 466 887 0 1134281 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 4540684
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 29013
/proc/meminfo: memFree=21154420/32873844 swapFree=7108/7108
[pid=28960] ppid=28958 vsize=4550744 CPUtime=1785.09 cores=1,3,5,7
/proc/28960/stat : 28960 (pbscip.linux.x8) R 28958 28960 26990 0 -1 4202496 1111336 0 0 0 178155 354 0 0 20 0 1 0 342313936 4659961856 1125639 33554432000 4194304 7823515 140733231715584 140733231711640 5803135 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/28960/statm: 1137686 1125639 466 887 0 1136796 0
Current children cumulated CPU time (s) 1785.09
Current children cumulated vsize (KiB) 4550744
[startup+1791.91 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 29013
/proc/meminfo: memFree=21134828/32873844 swapFree=7108/7108
[pid=28960] ppid=28958 vsize=4569816 CPUtime=1791.5 cores=1,3,5,7
/proc/28960/stat : 28960 (pbscip.linux.x8) R 28958 28960 26990 0 -1 4202496 1115924 0 0 0 178795 355 0 0 20 0 1 0 342313936 4679491584 1130227 33554432000 4194304 7823515 140733231715584 140733231711448 5803154 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/28960/statm: 1142454 1130227 466 887 0 1141564 0
Current children cumulated CPU time (s) 1791.5
Current children cumulated vsize (KiB) 4569816
[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 29013
/proc/meminfo: memFree=21123652/32873844 swapFree=7108/7108
[pid=28960] ppid=28958 vsize=4578864 CPUtime=1794.69 cores=1,3,5,7
/proc/28960/stat : 28960 (pbscip.linux.x8) R 28958 28960 26990 0 -1 4202496 1118696 0 0 0 179113 356 0 0 20 0 1 0 342313936 4688756736 1133035 33554432000 4194304 7823515 140733231715584 140733231711448 4221694 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/28960/statm: 1144716 1133035 466 887 0 1143826 0
Current children cumulated CPU time (s) 1794.69
Current children cumulated vsize (KiB) 4578864
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29013
/proc/meminfo: memFree=21120676/32873844 swapFree=7108/7108
[pid=28960] ppid=28958 vsize=4583948 CPUtime=1796.29 cores=1,3,5,7
/proc/28960/stat : 28960 (pbscip.linux.x8) R 28958 28960 26990 0 -1 4202496 1119641 0 0 0 179273 356 0 0 20 0 1 0 342313936 4693962752 1133980 33554432000 4194304 7823515 140733231715584 140733231711640 5803115 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/28960/statm: 1145987 1133980 466 887 0 1145097 0
Current children cumulated CPU time (s) 1796.29
Current children cumulated vsize (KiB) 4583948
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29013
/proc/meminfo: memFree=21120676/32873844 swapFree=7108/7108
[pid=28960] ppid=28958 vsize=4582780 CPUtime=1796.68 cores=1,3,5,7
/proc/28960/stat : 28960 (pbscip.linux.x8) R 28958 28960 26990 0 -1 4202496 1120078 0 0 0 179312 356 0 0 20 0 1 0 342313936 4692766720 1133916 33554432000 4194304 7823515 140733231715584 140733231711640 5875714 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28960/statm: 1145695 1133916 476 887 0 1144805 0
Current children cumulated CPU time (s) 1796.68
Current children cumulated vsize (KiB) 4582780
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29013
/proc/meminfo: memFree=22978916/32873844 swapFree=7108/7108
[pid=28960] ppid=28958 vsize=844972 CPUtime=1797.08 cores=1,3,5,7
/proc/28960/stat : 28960 (pbscip.linux.x8) R 28958 28960 26990 0 -1 4202496 1120080 0 0 0 179332 376 0 0 20 0 1 0 342313936 865251328 210540 33554432000 4194304 7823515 140733231715584 140733231714904 5875920 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28960/statm: 211243 210540 478 887 0 210353 0
Current children cumulated CPU time (s) 1797.08
Current children cumulated vsize (KiB) 844972
Child status: 0
Real time (s): 1797.53
CPU time (s): 1797.12
CPU user time (s): 1793.35
CPU system time (s): 3.77543
CPU usage (%): 99.9775
Max. virtual memory (cumulated for all children) (KiB): 4584972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.35
system time used= 3.77543
maximum resident set size= 4537668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1120092
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= 146
involuntary context switches= 1847
runsolver used 3.51147 second user time and 8.23975 second system time
The end