0.29/0.37 c SCIP version 1.1.0.7
0.29/0.37 c LP-Solver SoPlex 1.4.1
0.29/0.37 c user parameter file <scip.set> not found - using default parameters
0.29/0.37 c read problem <HOME/instance-3743058-1338801260.opb>
0.29/0.37 c original problem has 40937 variables (40937 bin, 0 int, 0 impl, 0 cont) and 41436 constraints
0.49/0.51 c start presolving problem
0.49/0.51 c presolving:
0.58/0.63 c (round 1) 126 del vars, 3 del conss, 125 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13572 impls, 552 clqs
0.58/0.67 c (round 2) 1372 del vars, 1254 del conss, 1248 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14312 impls, 551 clqs
0.58/0.69 c (round 3) 2024 del vars, 1906 del conss, 1900 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15434 impls, 551 clqs
0.69/0.72 c (round 4) 2475 del vars, 2357 del conss, 2351 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17248 impls, 551 clqs
0.69/0.75 c (round 5) 2838 del vars, 2720 del conss, 2714 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19234 impls, 551 clqs
0.69/0.77 c (round 6) 3150 del vars, 3032 del conss, 3026 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20550 impls, 551 clqs
0.79/0.80 c (round 7) 3418 del vars, 3300 del conss, 3294 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21548 impls, 551 clqs
0.79/0.82 c (round 8) 3571 del vars, 3453 del conss, 3447 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22728 impls, 551 clqs
0.79/0.84 c (round 9) 3629 del vars, 3511 del conss, 3505 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23538 impls, 551 clqs
0.79/0.86 c (round 10) 3654 del vars, 3536 del conss, 3530 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23938 impls, 551 clqs
129.17/129.24 c (round 11) 3720 del vars, 4088 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 36797 upgd conss, 9478650 impls, 551 clqs
129.27/129.34 c (round 12) 3720 del vars, 4148 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 9478820 impls, 551 clqs
157.66/157.75 c (156.9s) probing: 1000/37282 (2.7%) - 63 fixings, 9 aggregations, 1318806 implications, 0 bound changes
207.55/207.60 c (206.7s) probing: 2000/37282 (5.4%) - 64 fixings, 31 aggregations, 3773638 implications, 0 bound changes
263.95/264.05 c (263.0s) probing: 3000/37282 (8.0%) - 68 fixings, 39 aggregations, 6511906 implications, 0 bound changes
320.33/320.44 c (round 13) 3770 del vars, 4148 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 31412780 impls, 551 clqs
320.44/320.50 c (round 14) 3770 del vars, 4157 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 31412780 impls, 551 clqs
330.53/330.61 c (329.4s) probing: 4000/37282 (10.7%) - 69 fixings, 46 aggregations, 8656518 implications, 0 bound changes
428.22/428.33 c (427.0s) probing: 5000/37282 (13.4%) - 70 fixings, 49 aggregations, 12465707 implications, 0 bound changes
541.30/541.48 c (540.0s) probing: 6000/37282 (16.1%) - 73 fixings, 57 aggregations, 16429187 implications, 0 bound changes
686.78/686.92 c (685.3s) probing: 7000/37282 (18.8%) - 74 fixings, 64 aggregations, 21036690 implications, 0 bound changes
829.76/829.95 c (828.2s) probing: 8000/37282 (21.5%) - 76 fixings, 71 aggregations, 25290110 implications, 0 bound changes
967.74/967.95 c (966.1s) probing: 9000/37282 (24.1%) - 77 fixings, 76 aggregations, 29319464 implications, 0 bound changes
1121.40/1121.61 c (1119.6s) probing: 10000/37282 (26.8%) - 79 fixings, 85 aggregations, 33574654 implications, 0 bound changes
1143.91/1144.16 c (round 15) 3820 del vars, 4157 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 86691896 impls, 551 clqs
1144.00/1144.22 c (round 16) 3820 del vars, 4167 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 86691896 impls, 551 clqs
1249.09/1249.38 c (1247.2s) probing: 11000/37282 (29.5%) - 81 fixings, 91 aggregations, 37114851 implications, 0 bound changes
1400.97/1401.22 c (1398.9s) probing: 12000/37282 (32.2%) - 83 fixings, 97 aggregations, 41306518 implications, 0 bound changes
1549.14/1549.47 c (1547.0s) probing: 13000/37282 (34.9%) - 84 fixings, 105 aggregations, 45214146 implications, 0 bound changes
1696.11/1696.47 c (1693.9s) probing: 14000/37282 (37.6%) - 86 fixings, 111 aggregations, 49180513 implications, 0 bound changes
1793.40/1793.79 c (1791.1s) probing: 14674/37282 (39.4%) - 87 fixings, 115 aggregations, 51900367 implications, 0 bound changes
1793.40/1793.79 c (1791.1s) probing aborted: solving stopped
1793.40/1793.79 c (round 17) 3857 del vars, 4167 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 124835416 impls, 551 clqs
1793.40/1793.79 c presolving (17 rounds):
1793.40/1793.79 c 3857 deleted vars, 4167 deleted constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1793.40/1793.79 c 124835416 implications, 551 cliques
1793.40/1793.79 c presolving was interrupted.
1793.40/1793.79 c Presolving Time: 1791.00
1793.40/1793.79 c OPT-LIN
1793.40/1793.79 c -----------------------------------------------------------------------------------------------
1793.40/1793.79 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1793.40/1793.79 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1793.40/1793.79 c limits/memory = c 13950
1793.40/1793.79 c # maximal time in seconds to run
1793.40/1793.79 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1793.40/1793.79 c limits/time = c 1791
1793.40/1793.79 c # frequency for displaying node information lines
1793.40/1793.79 c # [type: int, range: [-1,2147483647], default: 100]
1793.40/1793.79 c display/freq = c 10000
1793.40/1793.79 c -----------------------------------------------------------------------------------------------
1793.40/1793.79 c start solving problem
1793.40/1793.79 c presolving:
1793.40/1793.79 c presolving (17 rounds):
1793.40/1793.79 c 3857 deleted vars, 4167 deleted constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1793.40/1793.79 c 124835416 implications, 551 cliques
1793.40/1793.79 c presolving was interrupted.
1793.40/1793.79 c Presolving Time: 1791.00
1793.40/1793.79 c
1793.40/1793.79 c SCIP Status : solving was interrupted [time limit reached]
1793.40/1793.79 c Solving Time (sec) : 1791.09
1793.40/1793.79 c Solving Nodes : 0
1793.40/1793.79 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1793.40/1793.79 c NODE 0
1793.40/1793.79 c DUAL BOUND -1e+20
1793.40/1793.79 c PRIMAL BOUND 1e+20
1793.40/1793.79 c GAP 1e+20
1793.40/1793.79 s UNKNOWN
1793.40/1793.79 c SCIP Status : solving was interrupted [time limit reached]
1793.40/1793.79 c Solving Time : 1791.09
1793.40/1793.79 c Original Problem :
1793.40/1793.79 c Problem name : HOME/instance-3743058-1338801260.opb
1793.40/1793.79 c Variables : 40937 (40937 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.40/1793.79 c Constraints : 41436 initial, 41436 maximal
1793.40/1793.79 c Presolved Problem :
1793.40/1793.79 c Problem name : t_HOME/instance-3743058-1338801260.opb
1793.40/1793.79 c Variables : 37080 (37080 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.40/1793.79 c Constraints : 37269 initial, 37269 maximal
1793.40/1793.79 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1793.40/1793.79 c trivial : 0.03 123 0 0 0 0 0 0 0
1793.40/1793.79 c dualfix : 0.02 0 0 0 0 0 0 0 0
1793.40/1793.79 c boundshift : 0.00 0 0 0 0 0 0 0 0
1793.40/1793.79 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1793.40/1793.79 c implics : 0.04 0 1 0 0 0 0 0 0
1793.40/1793.79 c probing : 1790.21 87 115 0 0 0 0 0 0
1793.40/1793.79 c knapsack : 0.10 0 0 0 0 0 0 0 0
1793.40/1793.79 c setppc : 0.01 0 0 0 0 0 0 0 0
1793.40/1793.79 c linear : 0.39 3531 0 0 3531 0 4088 0 0
1793.40/1793.79 c logicor : 0.10 0 0 0 0 0 79 0 0
1793.40/1793.79 c root node : - 0 - - 0 - - - -
1793.40/1793.79 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1793.40/1793.79 c integral : 0 0 0 0 0 0 0 0 0 0
1793.40/1793.79 c knapsack : 0+ 0 207711 0 0 0 0 0 0 0
1793.40/1793.79 c setppc : 0+ 0 205137 0 0 26 0 0 0 0
1793.40/1793.79 c linear : 0+ 0 2573 0 0 0 0 0 0 0
1793.40/1793.79 c logicor : 0+ 0 194982 0 0 3 0 0 0 0
1793.40/1793.79 c countsols : 0 0 0 0 0 0 0 0 0 0
1793.40/1793.79 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1793.40/1793.79 c integral : 0.00 0.00 0.00 0.00 0.00
1793.40/1793.79 c knapsack : 0.05 0.00 0.05 0.00 0.00
1793.40/1793.79 c setppc : 2.15 0.00 2.15 0.00 0.00
1793.40/1793.79 c linear : 2.83 0.00 2.83 0.00 0.00
1793.40/1793.79 c logicor : 88.67 0.00 88.67 0.00 0.00
1793.40/1793.79 c countsols : 0.00 0.00 0.00 0.00 0.00
1793.40/1793.79 c Propagators : Time Calls Cutoffs DomReds
1793.40/1793.79 c rootredcost : 0.01 0 0 0
1793.40/1793.79 c pseudoobj : 0.04 0 0 0
1793.40/1793.79 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1793.40/1793.79 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1793.40/1793.79 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1793.40/1793.79 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1793.40/1793.79 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1793.40/1793.79 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1793.40/1793.79 c applied globally : - - - 0 0.0 - - -
1793.40/1793.79 c applied locally : - - - 0 0.0 - - -
1793.81/1794.16 c Time complete: 1793.86.
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-3743058-1338801260/watcher-3743058-1338801260 -o /tmp/evaluation-result-3743058-1338801260/solver-3743058-1338801260 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3743058-1338801260.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: 0.92 1.00 1.24 4/175 734
/proc/meminfo: memFree=26169352/32873648 swapFree=6864/6864
[pid=734] ppid=728 vsize=8556 CPUtime=0 cores=0,2,4,6
/proc/734/stat : 734 (pbscip.linux.x8) R 728 734 30743 0 -1 4202496 1469 0 0 0 0 0 0 0 20 0 1 0 346251401 8761344 1422 33554432000 4194304 7823515 140736970998608 140736970998280 6884213 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/734/statm: 2139 1429 349 887 0 1249 0
[startup+0.0170261 s]
/proc/loadavg: 0.92 1.00 1.24 4/175 734
/proc/meminfo: memFree=26169352/32873648 swapFree=6864/6864
[pid=734] ppid=728 vsize=11908 CPUtime=0.01 cores=0,2,4,6
/proc/734/stat : 734 (pbscip.linux.x8) R 728 734 30743 0 -1 4202496 2322 0 0 0 1 0 0 0 20 0 1 0 346251401 12193792 2274 33554432000 4194304 7823515 140736970998608 140736970998280 4765623 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/734/statm: 2977 2274 354 887 0 2087 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11908
[startup+0.100274 s]
/proc/loadavg: 0.92 1.00 1.24 4/175 734
/proc/meminfo: memFree=26169352/32873648 swapFree=6864/6864
[pid=734] ppid=728 vsize=24000 CPUtime=0.09 cores=0,2,4,6
/proc/734/stat : 734 (pbscip.linux.x8) R 728 734 30743 0 -1 4202496 5355 0 0 0 9 0 0 0 20 0 1 0 346251401 24576000 5310 33554432000 4194304 7823515 140736970998608 140736970863224 6911735 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/734/statm: 6000 5310 354 887 0 5110 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24000
[startup+0.300253 s]
/proc/loadavg: 0.92 1.00 1.24 4/175 734
/proc/meminfo: memFree=26169352/32873648 swapFree=6864/6864
[pid=734] ppid=728 vsize=50820 CPUtime=0.29 cores=0,2,4,6
/proc/734/stat : 734 (pbscip.linux.x8) R 728 734 30743 0 -1 4202496 12033 0 0 0 28 1 0 0 20 0 1 0 346251401 52039680 11988 33554432000 4194304 7823515 140736970998608 140736970863224 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/734/statm: 12705 11988 354 887 0 11815 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50820
[startup+0.700259 s]
/proc/loadavg: 0.92 1.00 1.24 4/175 734
/proc/meminfo: memFree=26169352/32873648 swapFree=6864/6864
[pid=734] ppid=728 vsize=131356 CPUtime=0.69 cores=0,2,4,6
/proc/734/stat : 734 (pbscip.linux.x8) R 728 734 30743 0 -1 4202496 32210 0 0 0 62 7 0 0 20 0 1 0 346251401 134508544 31807 33554432000 4194304 7823515 140736970998608 140736970995544 5430151 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/734/statm: 32839 31807 431 887 0 31949 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 131356
[startup+1.50023 s]
/proc/loadavg: 0.92 1.00 1.24 4/177 736
/proc/meminfo: memFree=25905672/32873648 swapFree=6864/6864
[pid=734] ppid=728 vsize=185836 CPUtime=1.49 cores=0,2,4,6
/proc/734/stat : 734 (pbscip.linux.x8) R 728 734 30743 0 -1 4202496 45959 0 0 0 134 15 0 0 20 0 1 0 346251401 190296064 45229 33554432000 4194304 7823515 140736970998608 140736970995544 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/734/statm: 46459 45229 449 887 0 45569 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 185836
[startup+3.10024 s]
/proc/loadavg: 0.92 1.00 1.24 4/177 736
/proc/meminfo: memFree=25759592/32873648 swapFree=6864/6864
[pid=734] ppid=728 vsize=329656 CPUtime=3.09 cores=0,2,4,6
/proc/734/stat : 734 (pbscip.linux.x8) R 728 734 30743 0 -1 4202496 79928 0 0 0 290 19 0 0 20 0 1 0 346251401 337567744 79198 33554432000 4194304 7823515 140736970998608 140736970994664 5803623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/734/statm: 82414 79199 449 887 0 81524 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 329656
[startup+6.30022 s]
/proc/loadavg: 1.01 1.02 1.24 4/177 736
/proc/meminfo: memFree=25561964/32873648 swapFree=6864/6864
[pid=734] ppid=728 vsize=370328 CPUtime=6.29 cores=0,2,4,6
/proc/734/stat : 734 (pbscip.linux.x8) R 728 734 30743 0 -1 4202496 89827 0 0 0 608 21 0 0 20 0 1 0 346251401 379215872 89097 33554432000 4194304 7823515 140736970998608 140736970994472 5803619 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/734/statm: 92582 89097 449 887 0 91692 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 370328
[startup+12.7002 s]
/proc/loadavg: 1.09 1.03 1.25 4/177 736
/proc/meminfo: memFree=25449320/32873648 swapFree=6864/6864
[pid=734] ppid=728 vsize=405700 CPUtime=12.68 cores=0,2,4,6
/proc/734/stat : 734 (pbscip.linux.x8) R 728 734 30743 0 -1 4202496 98468 0 0 0 1247 21 0 0 20 0 1 0 346251401 415436800 97738 33554432000 4194304 7823515 140736970998608 140736970994472 5803623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/734/statm: 101425 97738 449 887 0 100535 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 405700
[startup+25.5002 s]
/proc/loadavg: 1.29 1.08 1.26 4/177 736
/proc/meminfo: memFree=25317036/32873648 swapFree=6864/6864
[pid=734] ppid=728 vsize=446920 CPUtime=25.48 cores=0,2,4,6
/proc/734/stat : 734 (pbscip.linux.x8) R 728 734 30743 0 -1 4202496 108900 0 0 0 2525 23 0 0 20 0 1 0 346251401 457646080 108170 33554432000 4194304 7823515 140736970998608 140736970995304 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/734/statm: 111730 108170 449 887 0 110840 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 446920
[startup+51.1003 s]
/proc/loadavg: 1.53 1.15 1.28 4/177 736
/proc/meminfo: memFree=25136728/32873648 swapFree=6864/6864
[pid=734] ppid=728 vsize=535748 CPUtime=51.08 cores=0,2,4,6
/proc/734/stat : 734 (pbscip.linux.x8) R 728 734 30743 0 -1 4202496 130086 0 0 0 5081 27 0 0 20 0 1 0 346251401 548605952 129356 33554432000 4194304 7823515 140736970998608 140736970994472 5803623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/734/statm: 133937 129356 449 887 0 133047 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 535748
[startup+102.307 s]
/proc/loadavg: 1.79 1.28 1.31 4/177 736
/proc/meminfo: memFree=24831292/32873648 swapFree=6864/6864
[pid=734] ppid=728 vsize=660184 CPUtime=102.27 cores=0,2,4,6
/proc/734/stat : 734 (pbscip.linux.x8) R 728 734 30743 0 -1 4202496 161086 0 0 0 10195 32 0 0 20 0 1 0 346251401 676028416 160356 33554432000 4194304 7823515 140736970998608 140736970994472 4241313 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/734/statm: 165046 160356 449 887 0 164156 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 660184
[startup+162.3 s]
/proc/loadavg: 1.92 1.41 1.35 4/177 736
/proc/meminfo: memFree=24308300/32873648 swapFree=6864/6864
[pid=734] ppid=728 vsize=887416 CPUtime=162.26 cores=0,2,4,6
/proc/734/stat : 734 (pbscip.linux.x8) R 728 734 30743 0 -1 4202496 217439 0 0 0 16180 46 0 0 20 0 1 0 346251401 908713984 216709 33554432000 4194304 7823515 140736970998608 140736970995304 5803658 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/734/statm: 221854 216709 466 887 0 220964 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 887416
[startup+222.3 s]
/proc/loadavg: 1.97 1.51 1.39 4/177 736
/proc/meminfo: memFree=23822876/32873648 swapFree=6864/6864
[pid=734] ppid=728 vsize=1168156 CPUtime=222.25 cores=0,2,4,6
/proc/734/stat : 734 (pbscip.linux.x8) R 728 734 30743 0 -1 4202496 287204 0 0 0 22165 60 0 0 20 0 1 0 346251401 1196191744 286474 33554432000 4194304 7823515 140736970998608 140736970995304 5803639 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/734/statm: 292039 286474 466 887 0 291149 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1168156
[startup+282.3 s]
/proc/loadavg: 1.99 1.60 1.42 4/177 737
/proc/meminfo: memFree=23443340/32873648 swapFree=6864/6864
[pid=734] ppid=728 vsize=1393656 CPUtime=282.24 cores=0,2,4,6
/proc/734/stat : 734 (pbscip.linux.x8) R 728 734 30743 0 -1 4202496 343596 0 0 0 28152 72 0 0 20 0 1 0 346251401 1427103744 342866 33554432000 4194304 7823515 140736970998608 140736970995304 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/734/statm: 348414 342866 466 887 0 347524 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1393656
[startup+342.3 s]
/proc/loadavg: 1.99 1.67 1.46 4/178 740
/proc/meminfo: memFree=23196412/32873648 swapFree=6864/6864
[pid=734] ppid=728 vsize=1494580 CPUtime=342.23 cores=0,2,4,6
/proc/734/stat : 734 (pbscip.linux.x8) R 728 734 30743 0 -1 4202496 368774 0 0 0 34144 79 0 0 20 0 1 0 346251401 1530449920 368044 33554432000 4194304 7823515 140736970998608 140736970995304 5803600 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/734/statm: 373645 368044 466 887 0 372755 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1494580
[startup+402.3 s]
/proc/loadavg: 2.05 1.74 1.49 4/178 740
/proc/meminfo: memFree=22997000/32873648 swapFree=6864/6864
[pid=734] ppid=728 vsize=1587104 CPUtime=402.22 cores=0,2,4,6
/proc/734/stat : 734 (pbscip.linux.x8) R 728 734 30743 0 -1 4202496 392527 0 0 0 40136 86 0 0 20 0 1 0 346251401 1625194496 391797 33554432000 4194304 7823515 140736970998608 140736970994664 4788719 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/734/statm: 396776 391797 466 887 0 395886 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1587104
[startup+462.3 s]
/proc/loadavg: 2.02 1.79 1.52 4/177 740
/proc/meminfo: memFree=22791632/32873648 swapFree=6864/6864
[pid=734] ppid=728 vsize=1685204 CPUtime=462.21 cores=0,2,4,6
/proc/734/stat : 734 (pbscip.linux.x8) R 728 734 30743 0 -1 4202496 416622 0 0 0 46129 92 0 0 20 0 1 0 346251401 1725648896 415892 33554432000 4194304 7823515 140736970998608 140736970995304 5803658 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/734/statm: 421301 415892 466 887 0 420411 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1685204
[startup+522.3 s]
/proc/loadavg: 2.00 1.82 1.55 4/177 740
/proc/meminfo: memFree=22549240/32873648 swapFree=6864/6864
[pid=734] ppid=728 vsize=1803488 CPUtime=522.21 cores=0,2,4,6
/proc/734/stat : 734 (pbscip.linux.x8) R 728 734 30743 0 -1 4202496 444697 0 0 0 52122 99 0 0 20 0 1 0 346251401 1846771712 443967 33554432000 4194304 7823515 140736970998608 140736970995304 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/734/statm: 450872 443967 466 887 0 449982 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1803488
[startup+582.3 s]
/proc/loadavg: 2.00 1.85 1.57 4/177 741
/proc/meminfo: memFree=22314792/32873648 swapFree=6864/6864
[pid=734] ppid=728 vsize=1919208 CPUtime=582.19 cores=0,2,4,6
/proc/734/stat : 734 (pbscip.linux.x8) R 728 734 30743 0 -1 4202496 473405 0 0 0 58115 104 0 0 20 0 1 0 346251401 1965268992 472675 33554432000 4194304 7823515 140736970998608 140736970995304 5803635 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/734/statm: 479802 472675 466 887 0 478912 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 1919208
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=20635460/32873648 swapFree=6864/6864
[pid=734] ppid=728 vsize=2756156 CPUtime=1062.12 cores=0,2,4,6
/proc/734/stat : 734 (pbscip.linux.x8) R 728 734 30743 0 -1 4202496 677640 0 0 0 106065 147 0 0 20 0 1 0 346251401 2822303744 676910 33554432000 4194304 7823515 140736970998608 140736970995304 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/734/statm: 689039 676910 466 887 0 688149 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 2756156
[startup+1122.3 s]
/proc/loadavg: 2.00 1.98 1.76 4/177 746
/proc/meminfo: memFree=20454200/32873648 swapFree=6864/6864
[pid=734] ppid=728 vsize=2835424 CPUtime=1122.1 cores=0,2,4,6
/proc/734/stat : 734 (pbscip.linux.x8) R 728 734 30743 0 -1 4202496 697258 0 0 0 112059 151 0 0 20 0 1 0 346251401 2903474176 696528 33554432000 4194304 7823515 140736970998608 140736970995304 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/734/statm: 708856 696528 466 887 0 707966 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 2835424
[startup+1182.3 s]
/proc/loadavg: 2.00 1.98 1.77 4/177 747
/proc/meminfo: memFree=20262276/32873648 swapFree=6864/6864
[pid=734] ppid=728 vsize=2928968 CPUtime=1182.1 cores=0,2,4,6
/proc/734/stat : 734 (pbscip.linux.x8) R 728 734 30743 0 -1 4202496 720919 0 0 0 118052 158 0 0 20 0 1 0 346251401 2999263232 720189 33554432000 4194304 7823515 140736970998608 140736970995304 5803612 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/734/statm: 732242 720189 466 887 0 731352 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 2928968
[startup+1242.3 s]
/proc/loadavg: 2.13 2.02 1.79 4/177 747
/proc/meminfo: memFree=20073080/32873648 swapFree=6864/6864
[pid=734] ppid=728 vsize=3025208 CPUtime=1242.08 cores=0,2,4,6
/proc/734/stat : 734 (pbscip.linux.x8) R 728 734 30743 0 -1 4202496 743598 0 0 0 124046 162 0 0 20 0 1 0 346251401 3097812992 742868 33554432000 4194304 7823515 140736970998608 140736970995304 5808246 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/734/statm: 756302 742868 466 887 0 755412 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 3025208
[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 1.80 4/177 747
/proc/meminfo: memFree=19884656/32873648 swapFree=6864/6864
[pid=734] ppid=728 vsize=3107420 CPUtime=1302.08 cores=0,2,4,6
/proc/734/stat : 734 (pbscip.linux.x8) R 728 734 30743 0 -1 4202496 763994 0 0 0 130041 167 0 0 20 0 1 0 346251401 3181998080 763264 33554432000 4194304 7823515 140736970998608 140736970995304 5803616 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/734/statm: 776855 763264 466 887 0 775965 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 3107420
[startup+1362.3 s]
/proc/loadavg: 2.02 2.00 1.81 4/177 747
/proc/meminfo: memFree=19703892/32873648 swapFree=6864/6864
[pid=734] ppid=728 vsize=3200720 CPUtime=1362.07 cores=0,2,4,6
/proc/734/stat : 734 (pbscip.linux.x8) R 728 734 30743 0 -1 4202496 785725 0 0 0 136035 172 0 0 20 0 1 0 346251401 3277537280 784995 33554432000 4194304 7823515 140736970998608 140736970995304 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/734/statm: 800180 784995 466 887 0 799290 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 3200720
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.82 4/177 747
/proc/meminfo: memFree=19515504/32873648 swapFree=6864/6864
[pid=734] ppid=728 vsize=3282076 CPUtime=1422.07 cores=0,2,4,6
/proc/734/stat : 734 (pbscip.linux.x8) R 728 734 30743 0 -1 4202496 806126 0 0 0 142030 177 0 0 20 0 1 0 346251401 3360845824 805396 33554432000 4194304 7823515 140736970998608 140736970995304 5803612 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/734/statm: 820519 805396 466 887 0 819629 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 3282076
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.83 4/177 748
/proc/meminfo: memFree=19329924/32873648 swapFree=6864/6864
[pid=734] ppid=728 vsize=3369100 CPUtime=1482.05 cores=0,2,4,6
/proc/734/stat : 734 (pbscip.linux.x8) R 728 734 30743 0 -1 4202496 826973 0 0 0 148024 181 0 0 20 0 1 0 346251401 3449958400 826243 33554432000 4194304 7823515 140736970998608 140736970995304 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/734/statm: 842275 826243 466 887 0 841385 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 3369100
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.83 4/178 751
/proc/meminfo: memFree=19134628/32873648 swapFree=6864/6864
[pid=734] ppid=728 vsize=3458828 CPUtime=1542.04 cores=0,2,4,6
/proc/734/stat : 734 (pbscip.linux.x8) R 728 734 30743 0 -1 4202496 849299 0 0 0 154019 185 0 0 20 0 1 0 346251401 3541839872 848569 33554432000 4194304 7823515 140736970998608 140736970995304 4243078 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/734/statm: 864707 848569 466 887 0 863817 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 3458828
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.84 4/177 751
/proc/meminfo: memFree=18952952/32873648 swapFree=6864/6864
[pid=734] ppid=728 vsize=3539152 CPUtime=1602.03 cores=0,2,4,6
/proc/734/stat : 734 (pbscip.linux.x8) R 728 734 30743 0 -1 4202496 868883 0 0 0 160013 190 0 0 20 0 1 0 346251401 3624091648 868153 33554432000 4194304 7823515 140736970998608 140736970995304 4817501 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/734/statm: 884788 868153 466 887 0 883898 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 3539152
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.85 4/177 751
/proc/meminfo: memFree=18751832/32873648 swapFree=6864/6864
[pid=734] ppid=728 vsize=3635836 CPUtime=1662.02 cores=0,2,4,6
/proc/734/stat : 734 (pbscip.linux.x8) R 728 734 30743 0 -1 4202496 891846 0 0 0 166006 196 0 0 20 0 1 0 346251401 3723096064 891116 33554432000 4194304 7823515 140736970998608 140736970995304 5803612 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/734/statm: 908959 891116 466 887 0 908069 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 3635836
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.85 4/177 751
/proc/meminfo: memFree=18564860/32873648 swapFree=6864/6864
[pid=734] ppid=728 vsize=3722876 CPUtime=1722.01 cores=0,2,4,6
/proc/734/stat : 734 (pbscip.linux.x8) R 728 734 30743 0 -1 4202496 913266 0 0 0 172001 200 0 0 20 0 1 0 346251401 3812225024 912536 33554432000 4194304 7823515 140736970998608 140736970995304 5803623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/734/statm: 930719 912536 466 887 0 929829 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 3722876
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.86 4/177 752
/proc/meminfo: memFree=18368480/32873648 swapFree=6864/6864
[pid=734] ppid=728 vsize=3812600 CPUtime=1782 cores=0,2,4,6
/proc/734/stat : 734 (pbscip.linux.x8) R 728 734 30743 0 -1 4202496 935432 0 0 0 177995 205 0 0 20 0 1 0 346251401 3904102400 934702 33554432000 4194304 7823515 140736970998608 140736970995304 5803658 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/734/statm: 953150 934702 466 887 0 952260 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 3812600
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.86 4/177 752
/proc/meminfo: memFree=18361404/32873648 swapFree=6864/6864
[pid=734] ppid=728 vsize=3817528 CPUtime=1785.2 cores=0,2,4,6
/proc/734/stat : 734 (pbscip.linux.x8) R 728 734 30743 0 -1 4202496 936511 0 0 0 178315 205 0 0 20 0 1 0 346251401 3909148672 935781 33554432000 4194304 7823515 140736970998608 140736970995304 4781995 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/734/statm: 954382 935781 466 887 0 953492 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 3817528
[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 1.86 4/177 752
/proc/meminfo: memFree=18350740/32873648 swapFree=6864/6864
[pid=734] ppid=728 vsize=3823340 CPUtime=1788.4 cores=0,2,4,6
/proc/734/stat : 734 (pbscip.linux.x8) R 728 734 30743 0 -1 4202496 937734 0 0 0 178634 206 0 0 20 0 1 0 346251401 3915100160 937004 33554432000 4194304 7823515 140736970998608 140736970995304 5803623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/734/statm: 955835 937004 466 887 0 954945 0
Current children cumulated CPU time (s) 1788.4
Current children cumulated vsize (KiB) 3823340
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.86 4/177 752
/proc/meminfo: memFree=18337828/32873648 swapFree=6864/6864
[pid=734] ppid=728 vsize=3829200 CPUtime=1791.61 cores=0,2,4,6
/proc/734/stat : 734 (pbscip.linux.x8) R 728 734 30743 0 -1 4202496 939254 0 0 0 178955 206 0 0 20 0 1 0 346251401 3921100800 938524 33554432000 4194304 7823515 140736970998608 140736970994328 5803623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/734/statm: 957300 938524 466 887 0 956410 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 3829200
[startup+1793.5 s]
/proc/loadavg: 2.00 2.00 1.86 4/177 752
/proc/meminfo: memFree=18331504/32873648 swapFree=6864/6864
[pid=734] ppid=728 vsize=3834056 CPUtime=1793.2 cores=0,2,4,6
/proc/734/stat : 734 (pbscip.linux.x8) R 728 734 30743 0 -1 4202496 940505 0 0 0 179114 206 0 0 20 0 1 0 346251401 3926073344 939775 33554432000 4194304 7823515 140736970998608 140736970994328 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/734/statm: 958514 939775 466 887 0 957624 0
Current children cumulated CPU time (s) 1793.2
Current children cumulated vsize (KiB) 3834056
[startup+1793.9 s]
/proc/loadavg: 2.00 2.00 1.86 4/177 752
/proc/meminfo: memFree=18331504/32873648 swapFree=6864/6864
[pid=734] ppid=728 vsize=3792032 CPUtime=1793.6 cores=0,2,4,6
/proc/734/stat : 734 (pbscip.linux.x8) R 728 734 30743 0 -1 4202496 940927 0 0 0 179153 207 0 0 20 0 1 0 346251401 3883040768 930377 33554432000 4194304 7823515 140736970998608 140736970995304 5875265 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/734/statm: 948008 930377 476 887 0 947118 0
Current children cumulated CPU time (s) 1793.6
Current children cumulated vsize (KiB) 3792032
[startup+1794.11 s]
/proc/loadavg: 2.00 2.00 1.86 4/177 752
/proc/meminfo: memFree=19668224/32873648 swapFree=6864/6864
[pid=734] ppid=728 vsize=2815792 CPUtime=1793.81 cores=0,2,4,6
/proc/734/stat : 734 (pbscip.linux.x8) R 728 734 30743 0 -1 4202496 940929 0 0 0 179156 225 0 0 20 0 1 0 346251401 2883371008 154327 33554432000 4194304 7823515 140736970998608 140736970995304 7132266 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/734/statm: 703948 153815 478 887 0 703058 0
Current children cumulated CPU time (s) 1793.81
Current children cumulated vsize (KiB) 2815792
Child status: 0
Real time (s): 1794.16
CPU time (s): 1793.87
CPU user time (s): 1791.58
CPU system time (s): 2.28865
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 3836036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.58
system time used= 2.28865
maximum resident set size= 3760788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 940941
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= 7
involuntary context switches= 1893
runsolver used 2.99055 second user time and 8.80566 second system time
The end