1.59/1.60 c SCIP version 1.1.0.7
1.59/1.60 c LP-Solver SoPlex 1.4.1
1.59/1.60 c user parameter file <scip.set> not found - using default parameters
1.59/1.60 c read problem <HOME/instance-3740432-1338761508.opb>
1.59/1.60 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256445 constraints
1.99/2.03 c start presolving problem
1.99/2.03 c presolving:
9.39/9.40 c (round 1) 7946 del vars, 23667 del conss, 6409 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17151058 impls, 0 clqs
12.99/13.10 c (round 2) 14341 del vars, 53167 del conss, 12515 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17187456 impls, 0 clqs
14.39/14.46 c (round 3) 17051 del vars, 65144 del conss, 14284 chg bounds, 100 chg sides, 96 chg coeffs, 0 upgd conss, 17204908 impls, 0 clqs
15.18/15.27 c (round 4) 18567 del vars, 71293 del conss, 15327 chg bounds, 124 chg sides, 116 chg coeffs, 0 upgd conss, 17216609 impls, 0 clqs
15.68/15.77 c (round 5) 19590 del vars, 75453 del conss, 15968 chg bounds, 132 chg sides, 124 chg coeffs, 0 upgd conss, 17227510 impls, 0 clqs
16.09/16.17 c (round 6) 20349 del vars, 78416 del conss, 16469 chg bounds, 132 chg sides, 124 chg coeffs, 0 upgd conss, 17233817 impls, 0 clqs
16.39/16.47 c (round 7) 20911 del vars, 80712 del conss, 16812 chg bounds, 132 chg sides, 124 chg coeffs, 0 upgd conss, 17239889 impls, 0 clqs
16.69/16.71 c (round 8) 21296 del vars, 82321 del conss, 17040 chg bounds, 132 chg sides, 124 chg coeffs, 0 upgd conss, 17243868 impls, 0 clqs
16.79/16.89 c (round 9) 21560 del vars, 83435 del conss, 17201 chg bounds, 132 chg sides, 124 chg coeffs, 0 upgd conss, 17246564 impls, 0 clqs
16.99/17.02 c (round 10) 21688 del vars, 84064 del conss, 17278 chg bounds, 132 chg sides, 124 chg coeffs, 0 upgd conss, 17247727 impls, 0 clqs
17.09/17.14 c (round 11) 21773 del vars, 84426 del conss, 17324 chg bounds, 132 chg sides, 124 chg coeffs, 0 upgd conss, 17248890 impls, 0 clqs
17.19/17.24 c (round 12) 21837 del vars, 84698 del conss, 17359 chg bounds, 132 chg sides, 124 chg coeffs, 0 upgd conss, 17249723 impls, 0 clqs
17.29/17.37 c (round 13) 21877 del vars, 84885 del conss, 17388 chg bounds, 132 chg sides, 124 chg coeffs, 0 upgd conss, 17250152 impls, 0 clqs
17.38/17.47 c (round 14) 21899 del vars, 85000 del conss, 17398 chg bounds, 132 chg sides, 124 chg coeffs, 0 upgd conss, 17250329 impls, 0 clqs
17.50/17.57 c (round 15) 21905 del vars, 85034 del conss, 17401 chg bounds, 132 chg sides, 124 chg coeffs, 0 upgd conss, 17250394 impls, 0 clqs
770.94/771.10 c (767.6s) probing: 1000/50935 (2.0%) - 3 fixings, 1 aggregations, 14312709 implications, 0 bound changes
1347.72/1348.05 c (1343.8s) probing: 2000/50935 (3.9%) - 5 fixings, 3 aggregations, 23329528 implications, 0 bound changes
1795.44/1795.82 c (1791.1s) probing: 2870/50935 (5.6%) - 5 fixings, 3 aggregations, 30214192 implications, 0 bound changes
1795.44/1795.82 c (1791.1s) probing aborted: solving stopped
1795.44/1795.82 c (round 16) 21915 del vars, 85049 del conss, 17401 chg bounds, 132 chg sides, 124 chg coeffs, 0 upgd conss, 120540870 impls, 0 clqs
1795.44/1795.82 c presolving (16 rounds):
1795.44/1795.82 c 21915 deleted vars, 85049 deleted constraints, 17401 tightened bounds, 0 added holes, 132 changed sides, 124 changed coefficients
1795.44/1795.82 c 120540870 implications, 0 cliques
1795.44/1795.82 c presolving was interrupted.
1795.44/1795.82 c Presolving Time: 1790.85
1795.44/1795.82 c OPT-LIN
1795.44/1795.82 c -----------------------------------------------------------------------------------------------
1795.44/1795.82 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1795.44/1795.82 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1795.44/1795.82 c limits/memory = c 13950
1795.44/1795.82 c # maximal time in seconds to run
1795.44/1795.82 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1795.44/1795.82 c limits/time = c 1791
1795.44/1795.82 c # frequency for displaying node information lines
1795.44/1795.82 c # [type: int, range: [-1,2147483647], default: 100]
1795.44/1795.82 c display/freq = c 10000
1795.44/1795.82 c -----------------------------------------------------------------------------------------------
1795.44/1795.82 c start solving problem
1795.44/1795.82 c presolving:
1795.44/1795.82 c presolving (16 rounds):
1795.44/1795.82 c 21915 deleted vars, 85049 deleted constraints, 17401 tightened bounds, 0 added holes, 132 changed sides, 124 changed coefficients
1795.44/1795.82 c 120540870 implications, 0 cliques
1795.44/1795.82 c presolving was interrupted.
1795.44/1795.82 c Presolving Time: 1790.85
1795.44/1795.82 c
1795.44/1795.82 c SCIP Status : solving was interrupted [time limit reached]
1795.44/1795.82 c Solving Time (sec) : 1791.13
1795.44/1795.82 c Solving Nodes : 0
1795.44/1795.82 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1795.44/1795.82 c NODE 0
1795.44/1795.82 c DUAL BOUND -1e+20
1795.44/1795.82 c PRIMAL BOUND 1e+20
1795.44/1795.82 c GAP 1e+20
1795.44/1795.82 s UNKNOWN
1795.44/1795.82 c SCIP Status : solving was interrupted [time limit reached]
1795.44/1795.82 c Solving Time : 1791.13
1795.44/1795.82 c Original Problem :
1795.44/1795.82 c Problem name : HOME/instance-3740432-1338761508.opb
1795.44/1795.82 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.44/1795.82 c Constraints : 256445 initial, 256445 maximal
1795.44/1795.82 c Presolved Problem :
1795.44/1795.82 c Problem name : t_HOME/instance-3740432-1338761508.opb
1795.44/1795.82 c Variables : 50927 (50927 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.44/1795.82 c Constraints : 171396 initial, 171396 maximal
1795.44/1795.82 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1795.44/1795.82 c trivial : 0.02 1093 0 0 0 0 0 0 0
1795.44/1795.82 c dualfix : 0.07 122 0 0 0 0 0 0 0
1795.44/1795.82 c boundshift : 0.00 0 0 0 0 0 0 0 0
1795.44/1795.82 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1795.44/1795.82 c implics : 0.63 0 0 0 0 0 0 0 0
1795.44/1795.82 c probing : 1775.92 5 3 0 0 0 0 0 0
1795.44/1795.82 c linear : 14.07 16308 4384 0 17401 0 85049 132 124
1795.44/1795.82 c root node : - 0 - - 0 - - - -
1795.44/1795.82 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1795.44/1795.82 c integral : 0 0 0 0 0 0 0 0 0 0
1795.44/1795.82 c linear : 0+ 0 142745 0 0 3 0 0 0 0
1795.44/1795.82 c countsols : 0 0 0 0 0 0 0 0 0 0
1795.44/1795.82 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1795.44/1795.82 c integral : 0.00 0.00 0.00 0.00 0.00
1795.44/1795.82 c linear : 810.74 0.00 810.74 0.00 0.00
1795.44/1795.82 c countsols : 0.00 0.00 0.00 0.00 0.00
1795.44/1795.82 c Propagators : Time Calls Cutoffs DomReds
1795.44/1795.82 c rootredcost : 0.05 0 0 0
1795.44/1795.82 c pseudoobj : 0.02 0 0 0
1795.44/1795.82 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1795.44/1795.82 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1795.44/1795.82 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1795.44/1795.82 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1795.44/1795.82 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1795.44/1795.82 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1795.44/1795.82 c applied globally : - - - 0 0.0 - - -
1795.44/1795.82 c applied locally : - - - 0 0.0 - - -
1795.94/1796.31 c Time complete: 1795.96.
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-3740432-1338761508/watcher-3740432-1338761508 -o /tmp/evaluation-result-3740432-1338761508/solver-3740432-1338761508 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3740432-1338761508.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10969
/proc/meminfo: memFree=27122932/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=8728 CPUtime=0 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 1545 0 0 0 0 0 0 0 20 0 1 0 342275395 8937472 1498 33554432000 4194304 7823515 140734732811168 140734391354536 6883856 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 2182 1498 354 887 0 1292 0
[startup+0.0157201 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10969
/proc/meminfo: memFree=27122932/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=10336 CPUtime=0.01 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 1940 0 0 0 1 0 0 0 20 0 1 0 342275395 10584064 1893 33554432000 4194304 7823515 140734732811168 140734391354536 6908047 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 2584 1893 354 887 0 1694 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10336
[startup+0.100221 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10969
/proc/meminfo: memFree=27122932/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=25420 CPUtime=0.09 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 5702 0 0 0 9 0 0 0 20 0 1 0 342275395 26030080 5656 33554432000 4194304 7823515 140734732811168 140734391354536 5878822 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 6355 5676 354 887 0 5465 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25420
[startup+0.300225 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10969
/proc/meminfo: memFree=27122932/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=50560 CPUtime=0.29 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 11958 0 0 0 28 1 0 0 20 0 1 0 342275395 51773440 11911 33554432000 4194304 7823515 140734732811168 140734391354536 6908047 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 12640 11911 354 887 0 11750 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50560
[startup+0.700215 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10969
/proc/meminfo: memFree=27122932/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=73800 CPUtime=0.68 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 17779 0 0 0 67 1 0 0 20 0 1 0 342275395 75571200 17732 33554432000 4194304 7823515 140734732811168 140734391354536 6908057 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 18450 17732 354 887 0 17560 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 73800
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10970
/proc/meminfo: memFree=27031272/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=140208 CPUtime=1.49 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 34292 0 0 0 145 4 0 0 20 0 1 0 342275395 143572992 34246 33554432000 4194304 7823515 140734732811168 140734732676824 5878822 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 35052 34279 354 887 0 34162 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 140208
[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10970
/proc/meminfo: memFree=26774592/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=470968 CPUtime=3.08 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 116757 0 0 0 291 17 0 0 20 0 1 0 342275395 482271232 116356 33554432000 4194304 7823515 140734732811168 140734732808104 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 118010 116375 427 887 0 117120 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 470968
[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10970
/proc/meminfo: memFree=26478108/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=712976 CPUtime=6.29 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 176768 0 0 0 599 30 0 0 20 0 1 0 342275395 730087424 176367 33554432000 4194304 7823515 140734732811168 140734732808104 5875900 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 178244 176367 427 887 0 177354 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 712976
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10970
/proc/meminfo: memFree=26274756/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=862800 CPUtime=12.69 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 212215 0 0 0 1222 47 0 0 20 0 1 0 342275395 883507200 211814 33554432000 4194304 7823515 140734732811168 140734732808104 5808235 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 215700 211814 432 887 0 214810 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 862800
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10971
/proc/meminfo: memFree=26227064/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=913288 CPUtime=25.48 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 224270 0 0 0 2455 93 0 0 20 0 1 0 342275395 935206912 223760 33554432000 4194304 7823515 140734732811168 140734732807864 5803612 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 228322 223760 440 887 0 227432 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 913288
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10971
/proc/meminfo: memFree=26187832/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=950996 CPUtime=51.08 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 233642 0 0 0 5013 95 0 0 20 0 1 0 342275395 973819904 233132 33554432000 4194304 7823515 140734732811168 140734732807864 5803146 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 237749 233132 440 887 0 236859 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 950996
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10971
/proc/meminfo: memFree=26092768/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=1049336 CPUtime=102.27 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 257200 0 0 0 10128 99 0 0 20 0 1 0 342275395 1074520064 256690 33554432000 4194304 7823515 140734732811168 140734732807864 5803623 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 262334 256690 440 887 0 261444 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1049336
[startup+162.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 10971
/proc/meminfo: memFree=25956272/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=1178228 CPUtime=162.26 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 289361 0 0 0 16121 105 0 0 20 0 1 0 342275395 1206505472 288851 33554432000 4194304 7823515 140734732811168 140734732807864 5061259 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 294557 288851 441 887 0 293667 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1178228
[startup+222.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 10971
/proc/meminfo: memFree=25810724/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=1332260 CPUtime=222.25 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 326058 0 0 0 22114 111 0 0 20 0 1 0 342275395 1364234240 325548 33554432000 4194304 7823515 140734732811168 140734732807032 5803619 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 333065 325548 441 887 0 332175 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1332260
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 10971
/proc/meminfo: memFree=25642360/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=1499564 CPUtime=282.23 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 367684 0 0 0 28105 118 0 0 20 0 1 0 342275395 1535553536 367174 33554432000 4194304 7823515 140734732811168 140734732807864 5803639 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 374891 367174 441 887 0 374001 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1499564
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10972
/proc/meminfo: memFree=25474244/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=1667568 CPUtime=342.23 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 409518 0 0 0 34098 125 0 0 20 0 1 0 342275395 1707589632 409008 33554432000 4194304 7823515 140734732811168 140734732807848 5879248 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 416892 409008 441 887 0 416002 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1667568
[startup+402.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 10972
/proc/meminfo: memFree=25289884/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=1852984 CPUtime=402.22 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 455773 0 0 0 40090 132 0 0 20 0 1 0 342275395 1897455616 455263 33554432000 4194304 7823515 140734732811168 140734732807848 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 463246 455263 441 887 0 462356 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1852984
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10972
/proc/meminfo: memFree=25137080/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=2001240 CPUtime=462.21 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 492036 0 0 0 46081 140 0 0 20 0 1 0 342275395 2049269760 491526 33554432000 4194304 7823515 140734732811168 140734732807864 5803127 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 500310 491526 441 887 0 499420 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 2001240
[startup+522.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 10975
/proc/meminfo: memFree=24979452/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=2173904 CPUtime=522.2 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 535013 0 0 0 52071 149 0 0 20 0 1 0 342275395 2226077696 534503 33554432000 4194304 7823515 140734732811168 140734732807032 6911387 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 543476 534503 441 887 0 542586 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 2173904
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10976
/proc/meminfo: memFree=24824416/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=2306504 CPUtime=582.19 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 568305 0 0 0 58063 156 0 0 20 0 1 0 342275395 2361860096 567795 33554432000 4194304 7823515 140734732811168 140734732807224 5066015 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 576626 567795 441 887 0 575736 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 2306504
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25695460/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=3218368 CPUtime=1062.07 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 794709 0 0 0 105997 210 0 0 20 0 1 0 342275395 3295608832 794636 33554432000 4194304 7823515 140734732811168 140734732807848 5066015 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 804592 794636 446 887 0 803702 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 3218368
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11019
/proc/meminfo: memFree=25506132/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=3317276 CPUtime=1122.06 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 819968 0 0 0 111987 219 0 0 20 0 1 0 342275395 3396890624 820419 33554432000 4194304 7823515 140734732811168 140734732807848 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 829319 820419 446 887 0 828429 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 3317276
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11019
/proc/meminfo: memFree=25392336/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=3381964 CPUtime=1182.05 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 836377 0 0 0 117980 225 0 0 20 0 1 0 342275395 3463131136 837097 33554432000 4194304 7823515 140734732811168 140734732807848 5066015 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 845491 837097 446 887 0 844601 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 3381964
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11020
/proc/meminfo: memFree=25246044/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=3451268 CPUtime=1242.04 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 852928 0 0 0 123975 229 0 0 20 0 1 0 342275395 3534098432 853894 33554432000 4194304 7823515 140734732811168 140734732807848 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 862817 853894 446 887 0 861927 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 3451268
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11020
/proc/meminfo: memFree=25104960/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=3525432 CPUtime=1302.04 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 871643 0 0 0 129968 236 0 0 20 0 1 0 342275395 3610042368 873076 33554432000 4194304 7823515 140734732811168 140734732807848 5066015 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 881358 873076 446 887 0 880468 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 3525432
[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 11020
/proc/meminfo: memFree=24921716/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=3593524 CPUtime=1362.02 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 888737 0 0 0 135961 241 0 0 20 0 1 0 342275395 3679768576 890330 33554432000 4194304 7823515 140734732811168 140734732807848 5020870 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 898381 890330 446 887 0 897491 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 3593524
[startup+1422.31 s]
/proc/loadavg: 2.11 2.04 2.01 3/177 11020
/proc/meminfo: memFree=24712556/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=3652420 CPUtime=1422.02 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 903202 0 0 0 141956 246 0 0 20 0 1 0 342275395 3740078080 904895 33554432000 4194304 7823515 140734732811168 140734732807848 5803135 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 913105 904895 446 887 0 912215 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 3652420
[startup+1482.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/177 11020
/proc/meminfo: memFree=24565272/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=3742860 CPUtime=1482 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 925385 0 0 0 147949 251 0 0 20 0 1 0 342275395 3832688640 927252 33554432000 4194304 7823515 140734732811168 140734732807848 5066015 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 935715 927252 446 887 0 934825 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 3742860
[startup+1542.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/177 11021
/proc/meminfo: memFree=24423824/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=3809748 CPUtime=1541.99 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 941443 0 0 0 153942 257 0 0 20 0 1 0 342275395 3901181952 943395 33554432000 4194304 7823515 140734732811168 140734732807848 5066015 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 952437 943395 446 887 0 951547 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 3809748
[startup+1602.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/177 11021
/proc/meminfo: memFree=24311996/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=3878260 CPUtime=1601.98 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 958280 0 0 0 159935 263 0 0 20 0 1 0 342275395 3971338240 960462 33554432000 4194304 7823515 140734732811168 140734732807848 5066015 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 969565 960462 446 887 0 968675 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 3878260
[startup+1662.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/177 11021
/proc/meminfo: memFree=24215056/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=3938344 CPUtime=1661.96 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 974009 0 0 0 165928 268 0 0 20 0 1 0 342275395 4032864256 976305 33554432000 4194304 7823515 140734732811168 140734732807848 5066015 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 984586 976305 446 887 0 983696 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 3938344
[startup+1722.3 s]
/proc/loadavg: 2.12 2.07 2.01 3/178 11024
/proc/meminfo: memFree=24107692/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=4008984 CPUtime=1721.95 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 990650 0 0 0 171923 272 0 0 20 0 1 0 342275395 4105199616 993080 33554432000 4194304 7823515 140734732811168 140734732807848 5803608 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 1002246 993080 446 887 0 1001356 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 4008984
[startup+1782.3 s]
/proc/loadavg: 2.04 2.06 2.00 3/177 11024
/proc/meminfo: memFree=24020804/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=4057188 CPUtime=1781.94 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 1002945 0 0 0 177918 276 0 0 20 0 1 0 342275395 4154560512 1005541 33554432000 4194304 7823515 140734732811168 140734732807848 5020319 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 1014297 1005541 446 887 0 1013407 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 4057188
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.04 2.06 2.00 3/177 11024
/proc/meminfo: memFree=24018944/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=4058156 CPUtime=1785.14 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 1003327 0 0 0 178238 276 0 0 20 0 1 0 342275395 4155551744 1005923 33554432000 4194304 7823515 140734732811168 140734732807848 5066015 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 1014539 1005923 446 887 0 1013649 0
Current children cumulated CPU time (s) 1785.14
Current children cumulated vsize (KiB) 4058156
[startup+1791.91 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 11024
/proc/meminfo: memFree=24009380/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=4065192 CPUtime=1791.55 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 1005065 0 0 0 178878 277 0 0 20 0 1 0 342275395 4162756608 1007713 33554432000 4194304 7823515 140734732811168 140734732807224 5066015 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 1016298 1007713 446 887 0 1015408 0
Current children cumulated CPU time (s) 1791.55
Current children cumulated vsize (KiB) 4065192
[startup+1793.5 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 11024
/proc/meminfo: memFree=24006280/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=4068168 CPUtime=1793.14 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 1005399 0 0 0 179037 277 0 0 20 0 1 0 342275395 4165804032 1008047 33554432000 4194304 7823515 140734732811168 140734732807848 5803608 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 1017042 1008047 446 887 0 1016152 0
Current children cumulated CPU time (s) 1793.14
Current children cumulated vsize (KiB) 4068168
[startup+1795.1 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 11024
/proc/meminfo: memFree=24003304/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=4068168 CPUtime=1794.75 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 1005670 0 0 0 179198 277 0 0 20 0 1 0 342275395 4165804032 1008318 33554432000 4194304 7823515 140734732811168 140734732807864 5066007 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 1017042 1008318 446 887 0 1016152 0
Current children cumulated CPU time (s) 1794.75
Current children cumulated vsize (KiB) 4068168
[startup+1795.9 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 11024
/proc/meminfo: memFree=24003304/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=4069192 CPUtime=1795.54 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 1006172 0 0 0 179277 277 0 0 20 0 1 0 342275395 4166852608 1008820 33554432000 4194304 7823515 140734732811168 140734732808072 4219445 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 1017298 1008820 456 887 0 1016408 0
Current children cumulated CPU time (s) 1795.54
Current children cumulated vsize (KiB) 4069192
[startup+1796.31 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 11024
/proc/meminfo: memFree=25892240/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=1600140 CPUtime=1795.94 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 1006174 0 0 0 179304 290 0 0 20 0 1 0 342275395 1638543360 399284 33554432000 4194304 7823515 140734732811168 140734732808072 5875738 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 400035 399284 458 887 0 399145 0
Current children cumulated CPU time (s) 1795.94
Current children cumulated vsize (KiB) 1600140
Child status: 0
Real time (s): 1796.32
CPU time (s): 1795.97
CPU user time (s): 1793.05
CPU system time (s): 2.91556
CPU usage (%): 99.9806
Max. virtual memory (cumulated for all children) (KiB): 4069192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.05
system time used= 2.91556
maximum resident set size= 4035280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1006189
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= 102
involuntary context switches= 2135
runsolver used 3.53346 second user time and 8.29974 second system time
The end