1.09/1.15 c SCIP version 1.1.0.7
1.09/1.15 c LP-Solver SoPlex 1.4.1
1.09/1.15 c user parameter file <scip.set> not found - using default parameters
1.09/1.15 c read problem <HOME/instance-3740531-1338762419.opb>
1.09/1.15 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 192786 constraints
1.38/1.46 c start presolving problem
1.38/1.46 c presolving:
6.78/6.89 c (round 1) 5514 del vars, 16310 del conss, 4361 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12924324 impls, 0 clqs
8.88/8.98 c (round 2) 10069 del vars, 37672 del conss, 8698 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12950575 impls, 0 clqs
9.57/9.66 c (round 3) 11967 del vars, 46486 del conss, 9833 chg bounds, 52 chg sides, 35 chg coeffs, 0 upgd conss, 12963790 impls, 0 clqs
10.08/10.13 c (round 4) 13035 del vars, 50747 del conss, 10620 chg bounds, 64 chg sides, 37 chg coeffs, 0 upgd conss, 12975862 impls, 0 clqs
10.37/10.45 c (round 5) 13841 del vars, 54129 del conss, 11171 chg bounds, 64 chg sides, 37 chg coeffs, 0 upgd conss, 12983857 impls, 0 clqs
10.68/10.72 c (round 6) 14493 del vars, 56691 del conss, 11618 chg bounds, 64 chg sides, 37 chg coeffs, 0 upgd conss, 12990906 impls, 0 clqs
10.88/10.90 c (round 7) 14904 del vars, 58377 del conss, 11910 chg bounds, 64 chg sides, 37 chg coeffs, 0 upgd conss, 12994961 impls, 0 clqs
10.98/11.05 c (round 8) 15185 del vars, 59590 del conss, 12109 chg bounds, 64 chg sides, 37 chg coeffs, 0 upgd conss, 12997837 impls, 0 clqs
11.08/11.16 c (round 9) 15346 del vars, 60284 del conss, 12212 chg bounds, 64 chg sides, 37 chg coeffs, 0 upgd conss, 12999757 impls, 0 clqs
11.17/11.24 c (round 10) 15427 del vars, 60663 del conss, 12261 chg bounds, 64 chg sides, 37 chg coeffs, 0 upgd conss, 13000589 impls, 0 clqs
11.28/11.33 c (round 11) 15474 del vars, 60878 del conss, 12296 chg bounds, 64 chg sides, 37 chg coeffs, 0 upgd conss, 13000985 impls, 0 clqs
11.37/11.40 c (round 12) 15490 del vars, 60979 del conss, 12304 chg bounds, 64 chg sides, 37 chg coeffs, 0 upgd conss, 13001208 impls, 0 clqs
11.37/11.48 c (round 13) 15498 del vars, 61014 del conss, 12311 chg bounds, 64 chg sides, 37 chg coeffs, 0 upgd conss, 13001304 impls, 0 clqs
11.48/11.54 c (round 14) 15506 del vars, 61050 del conss, 12313 chg bounds, 64 chg sides, 37 chg coeffs, 0 upgd conss, 13001326 impls, 0 clqs
11.99/12.04 c (round 15) 15506 del vars, 61052 del conss, 12313 chg bounds, 64 chg sides, 37 chg coeffs, 131734 upgd conss, 13001326 impls, 0 clqs
12.58/12.62 c (round 16) 15506 del vars, 61052 del conss, 12313 chg bounds, 332 chg sides, 959 chg coeffs, 131734 upgd conss, 13003710 impls, 3204 clqs
13.08/13.14 c (round 17) 15506 del vars, 61081 del conss, 12313 chg bounds, 367 chg sides, 1065 chg coeffs, 131734 upgd conss, 13003772 impls, 3467 clqs
384.71/384.86 c (382.2s) probing: 1000/39276 (2.5%) - 20 fixings, 12 aggregations, 10305850 implications, 0 bound changes
563.10/563.23 c (560.1s) probing: 2000/39276 (5.1%) - 20 fixings, 12 aggregations, 17027491 implications, 0 bound changes
713.27/713.43 c (709.9s) probing: 3000/39276 (7.6%) - 23 fixings, 12 aggregations, 23332469 implications, 0 bound changes
852.75/852.92 c (849.0s) probing: 4000/39276 (10.2%) - 25 fixings, 12 aggregations, 29319518 implications, 0 bound changes
993.53/993.73 c (989.5s) probing: 5000/39276 (12.7%) - 25 fixings, 12 aggregations, 34880535 implications, 0 bound changes
1140.70/1140.92 c (1136.2s) probing: 6000/39276 (15.3%) - 26 fixings, 14 aggregations, 40462587 implications, 0 bound changes
1284.88/1285.11 c (1280.0s) probing: 7000/39276 (17.8%) - 29 fixings, 14 aggregations, 45730852 implications, 0 bound changes
1422.34/1422.66 c (1417.2s) probing: 8000/39276 (20.4%) - 33 fixings, 15 aggregations, 50705485 implications, 0 bound changes
1430.44/1430.75 c (round 18) 15556 del vars, 61086 del conss, 12313 chg bounds, 367 chg sides, 1066 chg coeffs, 131734 upgd conss, 156455012 impls, 3333 clqs
1431.64/1431.91 c (round 19) 15568 del vars, 61530 del conss, 12313 chg bounds, 375 chg sides, 1319 chg coeffs, 131734 upgd conss, 156459122 impls, 3333 clqs
1432.13/1432.43 c (round 20) 15568 del vars, 61534 del conss, 12313 chg bounds, 405 chg sides, 1527 chg coeffs, 131734 upgd conss, 156459124 impls, 3471 clqs
1722.67/1723.03 c (1717.2s) probing: 9000/39276 (22.9%) - 63 fixings, 33 aggregations, 54347249 implications, 0 bound changes
1798.76/1799.13 c (1793.2s) probing: 9252/39276 (23.6%) - 63 fixings, 36 aggregations, 55691337 implications, 0 bound changes
1798.76/1799.13 c (1793.2s) probing aborted: solving stopped
1798.76/1799.13 c (round 21) 15617 del vars, 61534 del conss, 12313 chg bounds, 405 chg sides, 1537 chg coeffs, 131734 upgd conss, 170651196 impls, 3550 clqs
1798.76/1799.13 c presolving (21 rounds):
1798.76/1799.13 c 15617 deleted vars, 61534 deleted constraints, 12313 tightened bounds, 0 added holes, 405 changed sides, 1537 changed coefficients
1798.76/1799.13 c 170651196 implications, 3550 cliques
1798.76/1799.13 c presolving was interrupted.
1798.76/1799.13 c Presolving Time: 1793.01
1798.76/1799.13 c OPT-LIN
1798.76/1799.13 c -----------------------------------------------------------------------------------------------
1798.76/1799.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1798.76/1799.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1798.76/1799.13 c limits/memory = c 13950
1798.76/1799.13 c # maximal time in seconds to run
1798.76/1799.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1798.76/1799.13 c limits/time = c 1791
1798.76/1799.13 c # frequency for displaying node information lines
1798.76/1799.13 c # [type: int, range: [-1,2147483647], default: 100]
1798.76/1799.13 c display/freq = c 10000
1798.76/1799.13 c -----------------------------------------------------------------------------------------------
1798.76/1799.13 c start solving problem
1798.76/1799.13 c presolving:
1798.76/1799.13 c presolving (21 rounds):
1798.76/1799.13 c 15617 deleted vars, 61534 deleted constraints, 12313 tightened bounds, 0 added holes, 405 changed sides, 1537 changed coefficients
1798.76/1799.13 c 170651196 implications, 3550 cliques
1798.76/1799.13 c presolving was interrupted.
1798.76/1799.13 c Presolving Time: 1793.01
1798.76/1799.13 c
1798.76/1799.13 c SCIP Status : solving was interrupted [time limit reached]
1798.76/1799.13 c Solving Time (sec) : 1793.23
1798.76/1799.13 c Solving Nodes : 0
1798.76/1799.13 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1798.76/1799.13 c NODE 0
1798.76/1799.13 c DUAL BOUND -1e+20
1798.76/1799.13 c PRIMAL BOUND 1e+20
1798.76/1799.13 c GAP 1e+20
1798.76/1799.13 s UNKNOWN
1798.76/1799.13 c SCIP Status : solving was interrupted [time limit reached]
1798.76/1799.13 c Solving Time : 1793.23
1798.76/1799.13 c Original Problem :
1798.76/1799.13 c Problem name : HOME/instance-3740531-1338762419.opb
1798.76/1799.13 c Variables : 54782 (54782 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.76/1799.13 c Constraints : 192786 initial, 192786 maximal
1798.76/1799.13 c Presolved Problem :
1798.76/1799.13 c Problem name : t_HOME/instance-3740531-1338762419.opb
1798.76/1799.13 c Variables : 39165 (39165 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.76/1799.13 c Constraints : 131500 initial, 131500 maximal
1798.76/1799.13 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1798.76/1799.13 c trivial : 0.03 702 0 0 0 0 0 0 0
1798.76/1799.13 c dualfix : 0.04 92 0 0 0 0 0 0 0
1798.76/1799.13 c boundshift : 0.00 0 0 0 0 0 0 0 0
1798.76/1799.13 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1798.76/1799.13 c implics : 1.68 0 12 0 0 0 0 0 0
1798.76/1799.13 c probing : 1779.76 63 36 0 0 0 0 0 0
1798.76/1799.13 c knapsack : 1.52 0 0 0 0 0 33 341 1500
1798.76/1799.13 c setppc : 0.00 0 0 0 0 0 9 0 0
1798.76/1799.13 c linear : 9.32 11611 3101 0 12313 0 61052 64 37
1798.76/1799.13 c logicor : 0.45 0 0 0 0 0 440 0 0
1798.76/1799.14 c root node : - 0 - - 0 - - - -
1798.76/1799.14 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1798.76/1799.14 c integral : 0 0 0 0 0 0 0 0 0 0
1798.76/1799.14 c knapsack : 0+ 0 832991 0 0 10 0 0 0 0
1798.76/1799.14 c setppc : 0+ 0 832981 0 0 0 0 0 0 0
1798.76/1799.14 c linear : 0+ 0 0 0 0 0 0 0 0 0
1798.76/1799.14 c logicor : 0+ 0 828650 0 0 26 0 0 0 0
1798.76/1799.14 c countsols : 0 0 0 0 0 0 0 0 0 0
1798.76/1799.14 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1798.76/1799.14 c integral : 0.00 0.00 0.00 0.00 0.00
1798.76/1799.14 c knapsack : 15.80 0.00 15.80 0.00 0.00
1798.76/1799.14 c setppc : 2.60 0.00 2.60 0.00 0.00
1798.76/1799.14 c linear : 0.00 0.00 0.00 0.00 0.00
1798.76/1799.14 c logicor : 217.84 0.00 217.84 0.00 0.00
1798.76/1799.14 c countsols : 0.00 0.00 0.00 0.00 0.00
1798.76/1799.14 c Propagators : Time Calls Cutoffs DomReds
1798.76/1799.14 c rootredcost : 0.03 0 0 0
1798.76/1799.14 c pseudoobj : 0.05 0 0 0
1798.76/1799.14 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1798.76/1799.14 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1798.76/1799.14 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1798.76/1799.14 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1798.76/1799.14 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1798.76/1799.14 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1798.76/1799.14 c applied globally : - - - 0 0.0 - - -
1798.76/1799.14 c applied locally : - - - 0 0.0 - - -
1799.36/1799.79 c Time complete: 1799.46.
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-3740531-1338762419/watcher-3740531-1338762419 -o /tmp/evaluation-result-3740531-1338762419/solver-3740531-1338762419 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3740531-1338762419.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 13973
/proc/meminfo: memFree=23016268/32873648 swapFree=6852/6852
[pid=13973] ppid=13971 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/13973/stat : 13973 (runsolver) D 13971 13973 12217 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 342369171 12095488 51 33554432000 4194304 5436572 140735245254672 140735245250968 4883175 0 0 4096 24578 18446744071579943789 0 0 17 4 0 0 0 0 0
/proc/13973/statm: 2953 51 31 304 0 2645 0
[startup+0.010645 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 13973
/proc/meminfo: memFree=23016268/32873648 swapFree=6852/6852
[pid=13973] ppid=13971 vsize=8556 CPUtime=0 cores=0,2,4,6
/proc/13973/stat : 13973 (pbscip.linux.x8) R 13971 13973 12217 0 -1 4202496 1500 0 0 0 0 0 0 0 20 0 1 0 342369171 8761344 1452 33554432000 4194304 7823515 140737249228688 140737249093240 4808262 0 0 4096 0 0 0 0 17 6 0 0 0 0 0
/proc/13973/statm: 2139 1452 349 887 0 1249 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8556
[startup+0.10018 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 13973
/proc/meminfo: memFree=23016268/32873648 swapFree=6852/6852
[pid=13973] ppid=13971 vsize=25424 CPUtime=0.08 cores=0,2,4,6
/proc/13973/stat : 13973 (pbscip.linux.x8) R 13971 13973 12217 0 -1 4202496 5726 0 0 0 8 0 0 0 20 0 1 0 342369171 26034176 5678 33554432000 4194304 7823515 140737249228688 140737249094792 6896752 0 0 4096 0 0 0 0 17 6 0 0 0 0 0
/proc/13973/statm: 6356 5678 354 887 0 5466 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25424
[startup+0.30016 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 13973
/proc/meminfo: memFree=23016268/32873648 swapFree=6852/6852
[pid=13973] ppid=13971 vsize=45208 CPUtime=0.29 cores=0,2,4,6
/proc/13973/stat : 13973 (pbscip.linux.x8) R 13971 13973 12217 0 -1 4202496 10656 0 0 0 28 1 0 0 20 0 1 0 342369171 46292992 10608 33554432000 4194304 7823515 140737249228688 140737249094792 6896437 0 0 4096 0 0 0 0 17 6 0 0 0 0 0
/proc/13973/statm: 11302 10608 354 887 0 10412 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45208
[startup+0.700158 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 13973
/proc/meminfo: memFree=23016268/32873648 swapFree=6852/6852
[pid=13973] ppid=13971 vsize=72980 CPUtime=0.68 cores=0,2,4,6
/proc/13973/stat : 13973 (pbscip.linux.x8) R 13971 13973 12217 0 -1 4202496 17548 0 0 0 66 2 0 0 20 0 1 0 342369171 74731520 17500 33554432000 4194304 7823515 140737249228688 140737249094792 6908032 0 0 4096 0 0 0 0 17 6 0 0 0 0 0
/proc/13973/statm: 18245 17500 354 887 0 17355 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 72980
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13974
/proc/meminfo: memFree=22908744/32873648 swapFree=6852/6852
[pid=13973] ppid=13971 vsize=266652 CPUtime=1.48 cores=0,2,4,6
/proc/13973/stat : 13973 (pbscip.linux.x8) R 13971 13973 12217 0 -1 4202496 66001 0 0 0 139 9 0 0 20 0 1 0 342369171 273051648 65599 33554432000 4194304 7823515 140737249228688 140737249094344 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13973/statm: 66663 65599 418 887 0 65773 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 266652
[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13974
/proc/meminfo: memFree=22663092/32873648 swapFree=6852/6852
[pid=13973] ppid=13971 vsize=432312 CPUtime=3.08 cores=0,2,4,6
/proc/13973/stat : 13973 (pbscip.linux.x8) R 13971 13973 12217 0 -1 4202496 107322 0 0 0 290 18 0 0 20 0 1 0 342369171 442687488 106920 33554432000 4194304 7823515 140737249228688 140737249224232 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13973/statm: 108078 106920 427 887 0 107188 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 432312
[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13974
/proc/meminfo: memFree=22403932/32873648 swapFree=6852/6852
[pid=13973] ppid=13971 vsize=643152 CPUtime=6.28 cores=0,2,4,6
/proc/13973/stat : 13973 (pbscip.linux.x8) R 13971 13973 12217 0 -1 4202496 158129 0 0 0 598 30 0 0 20 0 1 0 342369171 658587648 157727 33554432000 4194304 7823515 140737249228688 140737249225624 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13973/statm: 160788 157727 432 887 0 159898 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 643152
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13974
/proc/meminfo: memFree=22265176/32873648 swapFree=6852/6852
[pid=13973] ppid=13971 vsize=720160 CPUtime=12.68 cores=0,2,4,6
/proc/13973/stat : 13973 (pbscip.linux.x8) R 13971 13973 12217 0 -1 4202496 175090 0 0 0 1194 74 0 0 20 0 1 0 342369171 737443840 176804 33554432000 4194304 7823515 140737249228688 140737249225976 6908077 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13973/statm: 180040 176804 449 887 0 179150 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 720160
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13974
/proc/meminfo: memFree=22191760/32873648 swapFree=6852/6852
[pid=13973] ppid=13971 vsize=731788 CPUtime=25.48 cores=0,2,4,6
/proc/13973/stat : 13973 (pbscip.linux.x8) R 13971 13973 12217 0 -1 4202496 177317 0 0 0 2468 80 0 0 20 0 1 0 342369171 749350912 179022 33554432000 4194304 7823515 140737249228688 140737249224744 5803146 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13973/statm: 182947 179022 460 887 0 182057 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 731788
[startup+51.1003 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 13974
/proc/meminfo: memFree=22059900/32873648 swapFree=6852/6852
[pid=13973] ppid=13971 vsize=793312 CPUtime=51.07 cores=0,2,4,6
/proc/13973/stat : 13973 (pbscip.linux.x8) R 13971 13973 12217 0 -1 4202496 191393 0 0 0 5024 83 0 0 20 0 1 0 342369171 812351488 193098 33554432000 4194304 7823515 140737249228688 140737249225384 5803108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13973/statm: 198328 193098 460 887 0 197438 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 793312
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 13975
/proc/meminfo: memFree=21751928/32873648 swapFree=6852/6852
[pid=13973] ppid=13971 vsize=962480 CPUtime=102.27 cores=0,2,4,6
/proc/13973/stat : 13973 (pbscip.linux.x8) R 13971 13973 12217 0 -1 4202496 232871 0 0 0 10138 89 0 0 20 0 1 0 342369171 985579520 234576 33554432000 4194304 7823515 140737249228688 140737249224744 5803639 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13973/statm: 240620 234576 461 887 0 239730 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 962480
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 13975
/proc/meminfo: memFree=21277904/32873648 swapFree=6852/6852
[pid=13973] ppid=13971 vsize=1271020 CPUtime=162.25 cores=0,2,4,6
/proc/13973/stat : 13973 (pbscip.linux.x8) R 13971 13973 12217 0 -1 4202496 309861 0 0 0 16124 101 0 0 20 0 1 0 342369171 1301524480 311566 33554432000 4194304 7823515 140737249228688 140737249225368 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13973/statm: 317755 311566 461 887 0 316865 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1271020
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13978
/proc/meminfo: memFree=20794096/32873648 swapFree=6852/6852
[pid=13973] ppid=13971 vsize=1568048 CPUtime=222.24 cores=0,2,4,6
/proc/13973/stat : 13973 (pbscip.linux.x8) R 13971 13973 12217 0 -1 4202496 382633 0 0 0 22107 117 0 0 20 0 1 0 342369171 1605681152 384338 33554432000 4194304 7823515 140737249228688 140737249224744 5803127 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13973/statm: 392012 384338 461 887 0 391122 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 1568048
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13978
/proc/meminfo: memFree=20291064/32873648 swapFree=6852/6852
[pid=13973] ppid=13971 vsize=1834768 CPUtime=282.23 cores=0,2,4,6
/proc/13973/stat : 13973 (pbscip.linux.x8) R 13971 13973 12217 0 -1 4202496 449386 0 0 0 28093 130 0 0 20 0 1 0 342369171 1878802432 451091 33554432000 4194304 7823515 140737249228688 140737249224744 4263286 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13973/statm: 458692 451091 461 887 0 457802 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1834768
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13978
/proc/meminfo: memFree=19909296/32873648 swapFree=6852/6852
[pid=13973] ppid=13971 vsize=2020396 CPUtime=342.22 cores=0,2,4,6
/proc/13973/stat : 13973 (pbscip.linux.x8) R 13971 13973 12217 0 -1 4202496 495246 0 0 0 34083 139 0 0 20 0 1 0 342369171 2068885504 496951 33554432000 4194304 7823515 140737249228688 140737249225384 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13973/statm: 505099 496951 461 887 0 504209 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 2020396
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13980
/proc/meminfo: memFree=19559388/32873648 swapFree=6852/6852
[pid=13973] ppid=13971 vsize=2212668 CPUtime=402.22 cores=0,2,4,6
/proc/13973/stat : 13973 (pbscip.linux.x8) R 13971 13973 12217 0 -1 4202496 542773 0 0 0 40070 152 0 0 20 0 1 0 342369171 2265772032 544478 33554432000 4194304 7823515 140737249228688 140737249225384 5803612 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13973/statm: 553167 544478 466 887 0 552277 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 2212668
[startup+462.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 13980
/proc/meminfo: memFree=19097656/32873648 swapFree=6852/6852
[pid=13973] ppid=13971 vsize=2443004 CPUtime=462.21 cores=0,2,4,6
/proc/13973/stat : 13973 (pbscip.linux.x8) R 13971 13973 12217 0 -1 4202496 599685 0 0 0 46054 167 0 0 20 0 1 0 342369171 2501636096 601390 33554432000 4194304 7823515 140737249228688 140737249225384 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13973/statm: 610751 601390 466 887 0 609861 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 2443004
[startup+522.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 13980
/proc/meminfo: memFree=18891416/32873648 swapFree=6852/6852
[pid=13973] ppid=13971 vsize=2633308 CPUtime=522.2 cores=0,2,4,6
/proc/13973/stat : 13973 (pbscip.linux.x8) R 13971 13973 12217 0 -1 4202496 647655 0 0 0 52040 180 0 0 20 0 1 0 342369171 2696507392 649360 33554432000 4194304 7823515 140737249228688 140737249225384 5803600 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13973/statm: 658327 649360 466 887 0 657437 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 2633308
[startup+582.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 13980
/proc/meminfo: memFree=18704636/32873648 swapFree=6852/6852
[pid=13973] ppid=13971 vsize=2813212 CPUtime=582.18 cores=0,2,4,6
/proc/13973/stat : 13973 (pbscip.linux.x8) R 13971 13973 12217 0 -1 4202496 692349 0 0 0 58021 197 0 0 20 0 1 0 342369171 2880729088 694054 33554432000 4194304 7823515 140737249228688 140737249225928 5803104 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13973/statm: 703303 694054 466 887 0 702413 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 2813212
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=17268740/32873648 swapFree=6852/6852
[pid=13973] ppid=13971 vsize=4222852 CPUtime=1062.12 cores=0,2,4,6
/proc/13973/stat : 13973 (pbscip.linux.x8) R 13971 13973 12217 0 -1 4202496 1042091 0 0 0 105892 320 0 0 20 0 1 0 342369171 4324200448 1043796 33554432000 4194304 7823515 140737249228688 140737249225368 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13973/statm: 1055713 1043796 466 887 0 1054823 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 4222852
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13986
/proc/meminfo: memFree=17097152/32873648 swapFree=6852/6852
[pid=13973] ppid=13971 vsize=4390344 CPUtime=1122.1 cores=0,2,4,6
/proc/13973/stat : 13973 (pbscip.linux.x8) R 13971 13973 12217 0 -1 4202496 1084111 0 0 0 111877 333 0 0 20 0 1 0 342369171 4495712256 1085816 33554432000 4194304 7823515 140737249228688 140737249224552 5803623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13973/statm: 1097586 1085816 466 887 0 1096696 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 4390344
[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 13986
/proc/meminfo: memFree=16927796/32873648 swapFree=6852/6852
[pid=13973] ppid=13971 vsize=4566868 CPUtime=1182.1 cores=0,2,4,6
/proc/13973/stat : 13973 (pbscip.linux.x8) R 13971 13973 12217 0 -1 4202496 1127251 0 0 0 117861 349 0 0 20 0 1 0 342369171 4676472832 1128956 33554432000 4194304 7823515 140737249228688 140737249224552 5803612 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13973/statm: 1141717 1128956 466 887 0 1140827 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 4566868
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 13986
/proc/meminfo: memFree=16757324/32873648 swapFree=6852/6852
[pid=13973] ppid=13971 vsize=4733060 CPUtime=1242.08 cores=0,2,4,6
/proc/13973/stat : 13973 (pbscip.linux.x8) R 13971 13973 12217 0 -1 4202496 1168290 0 0 0 123845 363 0 0 20 0 1 0 342369171 4846653440 1169995 33554432000 4194304 7823515 140737249228688 140737249225384 5803612 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13973/statm: 1183265 1169995 466 887 0 1182375 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 4733060
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13987
/proc/meminfo: memFree=16592680/32873648 swapFree=6852/6852
[pid=13973] ppid=13971 vsize=4896408 CPUtime=1302.08 cores=0,2,4,6
/proc/13973/stat : 13973 (pbscip.linux.x8) R 13971 13973 12217 0 -1 4202496 1208901 0 0 0 129829 379 0 0 20 0 1 0 342369171 5013921792 1210606 33554432000 4194304 7823515 140737249228688 140737249225384 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13973/statm: 1224102 1210606 466 887 0 1223212 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 4896408
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14025
/proc/meminfo: memFree=19783472/32873648 swapFree=6852/6852
[pid=13973] ppid=13971 vsize=5058428 CPUtime=1362.07 cores=0,2,4,6
/proc/13973/stat : 13973 (pbscip.linux.x8) R 13971 13973 12217 0 -1 4202496 1249119 0 0 0 135812 395 0 0 20 0 1 0 342369171 5179830272 1250917 33554432000 4194304 7823515 140737249228688 140737249225384 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13973/statm: 1264607 1250917 466 887 0 1263717 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 5058428
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14028
/proc/meminfo: memFree=19391288/32873648 swapFree=6852/6852
[pid=13973] ppid=13971 vsize=5209456 CPUtime=1422.05 cores=0,2,4,6
/proc/13973/stat : 13973 (pbscip.linux.x8) R 13971 13973 12217 0 -1 4202496 1286569 0 0 0 141795 410 0 0 20 0 1 0 342369171 5334482944 1288359 33554432000 4194304 7823515 140737249228688 140737249224744 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13973/statm: 1302364 1288359 466 887 0 1301474 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 5209456
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14028
/proc/meminfo: memFree=19041508/32873648 swapFree=6852/6852
[pid=13973] ppid=13971 vsize=5276476 CPUtime=1482.02 cores=0,2,4,6
/proc/13973/stat : 13973 (pbscip.linux.x8) R 13971 13973 12217 0 -1 4202496 1300884 0 0 0 147781 421 0 0 20 0 1 0 342369171 5403111424 1305977 33554432000 4194304 7823515 140737249228688 140737249225384 5102411 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13973/statm: 1319119 1305977 466 887 0 1318229 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 5276476
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14028
/proc/meminfo: memFree=18700288/32873648 swapFree=6852/6852
[pid=13973] ppid=13971 vsize=5348412 CPUtime=1542.01 cores=0,2,4,6
/proc/13973/stat : 13973 (pbscip.linux.x8) R 13971 13973 12217 0 -1 4202496 1318536 0 0 0 153775 426 0 0 20 0 1 0 342369171 5476773888 1323627 33554432000 4194304 7823515 140737249228688 140737249224552 5803623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13973/statm: 1337103 1323627 466 887 0 1336213 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 5348412
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 14029
/proc/meminfo: memFree=18435824/32873648 swapFree=6852/6852
[pid=13973] ppid=13971 vsize=5389044 CPUtime=1602 cores=0,2,4,6
/proc/13973/stat : 13973 (pbscip.linux.x8) R 13971 13973 12217 0 -1 4202496 1328916 0 0 0 159770 430 0 0 20 0 1 0 342369171 5518381056 1334007 33554432000 4194304 7823515 140737249228688 140737249225384 5803619 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13973/statm: 1347261 1334007 466 887 0 1346371 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 5389044
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 14029
/proc/meminfo: memFree=18125360/32873648 swapFree=6852/6852
[pid=13973] ppid=13971 vsize=5459568 CPUtime=1661.99 cores=0,2,4,6
/proc/13973/stat : 13973 (pbscip.linux.x8) R 13971 13973 12217 0 -1 4202496 1345960 0 0 0 165764 435 0 0 20 0 1 0 342369171 5590597632 1351049 33554432000 4194304 7823515 140737249228688 140737249225368 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13973/statm: 1364892 1351049 466 887 0 1364002 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 5459568
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14029
/proc/meminfo: memFree=17768256/32873648 swapFree=6852/6852
[pid=13973] ppid=13971 vsize=5534656 CPUtime=1721.97 cores=0,2,4,6
/proc/13973/stat : 13973 (pbscip.linux.x8) R 13971 13973 12217 0 -1 4202496 1364374 0 0 0 171757 440 0 0 20 0 1 0 342369171 5667487744 1369520 33554432000 4194304 7823515 140737249228688 140737249224552 5802411 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13973/statm: 1383664 1369520 466 887 0 1382774 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 5534656
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14029
/proc/meminfo: memFree=17598644/32873648 swapFree=6852/6852
[pid=13973] ppid=13971 vsize=5672024 CPUtime=1781.97 cores=0,2,4,6
/proc/13973/stat : 13973 (pbscip.linux.x8) R 13971 13973 12217 0 -1 4202496 1397420 0 0 0 177750 447 0 0 20 0 1 0 342369171 5808152576 1403224 33554432000 4194304 7823515 140737249228688 140737249225384 5102406 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13973/statm: 1418006 1403224 466 887 0 1417116 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 5672024
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14029
/proc/meminfo: memFree=17584120/32873648 swapFree=6852/6852
[pid=13973] ppid=13971 vsize=5685196 CPUtime=1791.57 cores=0,2,4,6
/proc/13973/stat : 13973 (pbscip.linux.x8) R 13971 13973 12217 0 -1 4202496 1400822 0 0 0 178710 447 0 0 20 0 1 0 342369171 5821640704 1406666 33554432000 4194304 7823515 140737249228688 140737249225368 5102411 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13973/statm: 1421299 1406666 466 887 0 1420409 0
Current children cumulated CPU time (s) 1791.57
Current children cumulated vsize (KiB) 5685196
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14029
/proc/meminfo: memFree=17575004/32873648 swapFree=6852/6852
[pid=13973] ppid=13971 vsize=5692196 CPUtime=1794.77 cores=0,2,4,6
/proc/13973/stat : 13973 (pbscip.linux.x8) R 13971 13973 12217 0 -1 4202496 1402386 0 0 0 179029 448 0 0 20 0 1 0 342369171 5828808704 1408230 33554432000 4194304 7823515 140737249228688 140737249225384 5803108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13973/statm: 1423049 1408230 466 887 0 1422159 0
Current children cumulated CPU time (s) 1794.77
Current children cumulated vsize (KiB) 5692196
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14029
/proc/meminfo: memFree=17564216/32873648 swapFree=6852/6852
[pid=13973] ppid=13971 vsize=5701264 CPUtime=1797.96 cores=0,2,4,6
/proc/13973/stat : 13973 (pbscip.linux.x8) R 13971 13973 12217 0 -1 4202496 1405147 0 0 0 179348 448 0 0 20 0 1 0 342369171 5838094336 1410991 33554432000 4194304 7823515 140737249228688 140737249224552 5803143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13973/statm: 1425316 1410991 466 887 0 1424426 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 5701264
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14029
/proc/meminfo: memFree=17563968/32873648 swapFree=6852/6852
[pid=13973] ppid=13971 vsize=5701264 CPUtime=1798.76 cores=0,2,4,6
/proc/13973/stat : 13973 (pbscip.linux.x8) R 13971 13973 12217 0 -1 4202496 1405147 0 0 0 179428 448 0 0 20 0 1 0 342369171 5838094336 1410991 33554432000 4194304 7823515 140737249228688 140737249224552 5803639 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13973/statm: 1425316 1410991 466 887 0 1424426 0
Current children cumulated CPU time (s) 1798.76
Current children cumulated vsize (KiB) 5701264
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14029
/proc/meminfo: memFree=18690024/32873648 swapFree=6852/6852
[pid=13973] ppid=13971 vsize=4998220 CPUtime=1799.17 cores=0,2,4,6
/proc/13973/stat : 13973 (pbscip.linux.x8) R 13971 13973 12217 0 -1 4202496 1405415 0 0 0 179462 455 0 0 20 0 1 0 342369171 5118177280 1102806 33554432000 4194304 7823515 140737249228688 140737249224248 7132266 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13973/statm: 1249555 1102806 478 887 0 1248665 0
Current children cumulated CPU time (s) 1799.17
Current children cumulated vsize (KiB) 4998220
[startup+1799.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14029
/proc/meminfo: memFree=18690024/32873648 swapFree=6852/6852
[pid=13973] ppid=13971 vsize=4998220 CPUtime=1799.36 cores=0,2,4,6
/proc/13973/stat : 13973 (pbscip.linux.x8) R 13971 13973 12217 0 -1 4202496 1405415 0 0 0 179462 474 0 0 20 0 1 0 342369171 5118177280 296398 33554432000 4194304 7823515 140737249228688 140737249224248 7132266 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13973/statm: 1249555 295888 478 887 0 1248665 0
Current children cumulated CPU time (s) 1799.36
Current children cumulated vsize (KiB) 4998220
Child status: 0
Real time (s): 1799.79
CPU time (s): 1799.47
CPU user time (s): 1794.68
CPU system time (s): 4.78627
CPU usage (%): 99.9818
Max. virtual memory (cumulated for all children) (KiB): 5702288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.68
system time used= 4.78627
maximum resident set size= 5645028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1405427
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= 75
involuntary context switches= 2069
runsolver used 3.10353 second user time and 8.5737 second system time
The end