0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3743501-1338785386.opb>
0.39/0.43 c original problem has 40451 variables (40451 bin, 0 int, 0 impl, 0 cont) and 40950 constraints
0.39/0.43 c problem read
0.39/0.43 c presolving settings loaded
0.59/0.67 c presolving:
0.78/0.85 c (round 1) 6528 del vars, 6502 del conss, 125 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12516 impls, 455 clqs
0.78/0.90 c (round 2) 7587 del vars, 7566 del conss, 1061 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13114 impls, 454 clqs
0.89/0.95 c (round 3) 8137 del vars, 8116 del conss, 1611 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14056 impls, 454 clqs
1.00/1.01 c (round 4) 8513 del vars, 8492 del conss, 1987 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15636 impls, 454 clqs
1.00/1.06 c (round 5) 8808 del vars, 8787 del conss, 2282 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17312 impls, 454 clqs
1.10/1.11 c (round 6) 9062 del vars, 9041 del conss, 2536 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18360 impls, 454 clqs
1.10/1.15 c (round 7) 9279 del vars, 9258 del conss, 2753 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19120 impls, 454 clqs
1.19/1.20 c (round 8) 9405 del vars, 9384 del conss, 2879 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20044 impls, 454 clqs
1.19/1.24 c (round 9) 9454 del vars, 9433 del conss, 2928 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20696 impls, 454 clqs
1.19/1.28 c (round 10) 9475 del vars, 9454 del conss, 2949 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21028 impls, 454 clqs
101.84/101.93 c (round 11) 9533 del vars, 9520 del conss, 2950 chg bounds, 0 chg sides, 0 chg coeffs, 31365 upgd conss, 7863704 impls, 454 clqs
102.04/102.14 c (round 12) 9533 del vars, 9577 del conss, 2950 chg bounds, 0 chg sides, 0 chg coeffs, 31430 upgd conss, 7863704 impls, 454 clqs
321.91/322.04 c (321.6s) probing: 1000/30975 (3.2%) - 54 fixings, 16 aggregations, 1269034 implications, 0 bound changes
478.18/478.39 c (478.0s) probing: 2000/30975 (6.5%) - 55 fixings, 35 aggregations, 3498304 implications, 0 bound changes
674.35/674.52 c (round 13) 9583 del vars, 9577 del conss, 2950 chg bounds, 0 chg sides, 0 chg coeffs, 31430 upgd conss, 21850636 impls, 454 clqs
674.55/674.71 c (round 14) 9583 del vars, 9627 del conss, 2950 chg bounds, 0 chg sides, 0 chg coeffs, 31430 upgd conss, 21850636 impls, 454 clqs
775.83/776.01 c (775.6s) probing: 3000/30975 (9.7%) - 59 fixings, 48 aggregations, 5590322 implications, 0 bound changes
1137.57/1137.83 c (1137.4s) probing: 4000/30975 (12.9%) - 59 fixings, 49 aggregations, 8022588 implications, 0 bound changes
1508.92/1509.27 c (1508.8s) probing: 5000/30975 (16.1%) - 63 fixings, 56 aggregations, 11414237 implications, 0 bound changes
1789.78/1790.13 c (1789.7s) probing: 5703/30975 (18.4%) - 65 fixings, 62 aggregations, 13699993 implications, 0 bound changes
1789.78/1790.13 c (1789.7s) probing aborted: solving stopped
1789.78/1790.14 c (round 15) 9603 del vars, 9627 del conss, 2950 chg bounds, 0 chg sides, 0 chg coeffs, 31430 upgd conss, 39303346 impls, 454 clqs
1789.78/1790.14 c presolving (15 rounds):
1789.78/1790.14 c 9603 deleted vars, 9627 deleted constraints, 2950 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1789.78/1790.14 c 39303346 implications, 454 cliques
1789.78/1790.14 c presolving was interrupted.
1789.78/1790.14 c Presolving Time: 1789.57
1789.78/1790.14 c - non default parameters ----------------------------------------------------------------------
1789.78/1790.14 c # SCIP version 1.2.1.3
1789.78/1790.14 c
1789.78/1790.14 c # frequency for displaying node information lines
1789.78/1790.14 c # [type: int, range: [-1,2147483647], default: 100]
1789.78/1790.14 c display/freq = 10000
1789.78/1790.14 c
1789.78/1790.14 c # maximal time in seconds to run
1789.78/1790.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.78/1790.14 c limits/time = 1789.58
1789.78/1790.14 c
1789.78/1790.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1789.78/1790.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.78/1790.14 c limits/memory = 13950
1789.78/1790.14 c
1789.78/1790.14 c # default clock type (1: CPU user seconds, 2: wall clock time)
1789.78/1790.14 c # [type: int, range: [1,2], default: 1]
1789.78/1790.14 c timing/clocktype = 2
1789.78/1790.14 c
1789.78/1790.14 c # should presolving try to simplify inequalities
1789.78/1790.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.78/1790.14 c constraints/linear/simplifyinequalities = TRUE
1789.78/1790.14 c
1789.78/1790.14 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1789.78/1790.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.78/1790.14 c constraints/indicator/addCouplingCons = TRUE
1789.78/1790.14 c
1789.78/1790.14 c # should presolving try to simplify knapsacks
1789.78/1790.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.78/1790.14 c constraints/knapsack/simplifyinequalities = TRUE
1789.78/1790.14 c
1789.78/1790.14 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1789.78/1790.14 c # [type: int, range: [-1,2147483647], default: -1]
1789.78/1790.14 c separating/rapidlearning/freq = 0
1789.78/1790.14 c
1789.78/1790.14 c -----------------------------------------------------------------------------------------------
1789.78/1790.14 c start solving
1789.78/1790.15 c presolving:
1789.78/1790.15 c presolving (15 rounds):
1789.78/1790.15 c 9603 deleted vars, 9627 deleted constraints, 2950 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1789.78/1790.15 c 39303346 implications, 454 cliques
1789.78/1790.15 c presolving was interrupted.
1789.78/1790.15 c Presolving Time: 1789.59
1789.78/1790.15 c
1789.78/1790.15 c SCIP Status : solving was interrupted [time limit reached]
1789.78/1790.15 c Solving Time (sec) : 1789.72
1789.78/1790.15 c Solving Nodes : 0
1789.78/1790.15 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.78/1790.15 s UNKNOWN
1789.78/1790.15 c SCIP Status : solving was interrupted [time limit reached]
1789.78/1790.15 c Solving Time : 1789.72
1789.78/1790.15 c Original Problem :
1789.78/1790.15 c Problem name : HOME/instance-3743501-1338785386.opb
1789.78/1790.15 c Variables : 40451 (40451 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.78/1790.15 c Constraints : 40950 initial, 40950 maximal
1789.78/1790.15 c Presolved Problem :
1789.78/1790.15 c Problem name : t_HOME/instance-3743501-1338785386.opb
1789.78/1790.15 c Variables : 30848 (30848 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.78/1790.15 c Constraints : 31323 initial, 31323 maximal
1789.78/1790.15 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.78/1790.15 c trivial : 0.03 123 0 0 0 0 0 0 0
1789.78/1790.15 c dualfix : 0.03 6402 0 0 0 0 0 0 0
1789.78/1790.15 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.78/1790.15 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.78/1790.15 c implics : 0.04 0 1 0 0 0 0 0 0
1789.78/1790.15 c probing : 1787.32 65 62 0 0 0 0 0 0
1789.78/1790.15 c knapsack : 0.30 0 0 0 0 0 0 0 0
1789.78/1790.15 c setppc : 0.04 0 0 0 0 0 57 0 0
1789.78/1790.15 c linear : 1.50 2950 0 0 2950 0 9520 0 0
1789.78/1790.15 c logicor : 0.12 0 0 0 0 0 50 0 0
1789.78/1790.15 c root node : - 0 - - 0 - - - -
1789.78/1790.15 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.78/1790.15 c integral : 0 0 0 0 0 0 0 0 0 0
1789.78/1790.15 c knapsack : 0+ 0 73167 0 0 0 0 0 0 0
1789.78/1790.15 c setppc : 0+ 0 73167 0 0 13 0 0 0 0
1789.78/1790.15 c linear : 0+ 0 2610 0 0 0 0 0 0 0
1789.78/1790.15 c logicor : 0+ 0 66983 0 0 3 0 0 0 0
1789.78/1790.15 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.78/1790.15 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.78/1790.15 c integral : 0.00 0.00 0.00 0.00 0.00
1789.78/1790.15 c knapsack : 1393.73 0.00 1393.73 0.00 0.00
1789.78/1790.15 c setppc : 9.70 0.00 9.70 0.00 0.00
1789.78/1790.15 c linear : 0.33 0.00 0.33 0.00 0.00
1789.78/1790.15 c logicor : 36.44 0.00 36.44 0.00 0.00
1789.78/1790.15 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.78/1790.15 c Propagators : Time Calls Cutoffs DomReds
1789.78/1790.15 c vbounds : 0.06 1 0 0
1789.78/1790.15 c rootredcost : 0.05 0 0 0
1789.78/1790.15 c pseudoobj : 0.05 0 0 0
1789.78/1790.15 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.78/1790.15 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1789.78/1790.15 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.78/1790.15 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.78/1790.15 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.78/1790.15 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.78/1790.15 c applied globally : - - - 0 0.0 - - -
1789.78/1790.15 c applied locally : - - - 0 0.0 - - -
1789.98/1790.38 c Time complete: 1790.06.
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-3743501-1338785386/watcher-3743501-1338785386 -o /tmp/evaluation-result-3743501-1338785386/solver-3743501-1338785386 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3743501-1338785386.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 1.00 1.22 5/175 13615
/proc/meminfo: memFree=27638600/32873844 swapFree=7128/7128
[pid=13613] ppid=13610 vsize=7916 CPUtime=0 cores=1,3,5,7
/proc/13613/stat : 13613 (pbscip.linux.x8) R 13610 13613 13572 0 -1 4202496 1255 0 0 0 0 0 0 0 20 0 1 0 344605647 8105984 1201 33554432000 4194304 8395647 140735340764352 140733850216744 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13613/statm: 1979 1201 370 1026 0 949 0
[startup+0.057681 s]
/proc/loadavg: 0.99 1.00 1.22 5/175 13615
/proc/meminfo: memFree=27638600/32873844 swapFree=7128/7128
[pid=13613] ppid=13610 vsize=30956 CPUtime=0.04 cores=1,3,5,7
/proc/13613/stat : 13613 (pbscip.linux.x8) R 13610 13613 13572 0 -1 4202496 6979 0 0 0 4 0 0 0 20 0 1 0 344605647 31698944 6919 33554432000 4194304 8395647 140735340764352 140733850216744 7370168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13613/statm: 7739 6919 394 1026 0 6709 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 30956
[startup+0.100311 s]
/proc/loadavg: 0.99 1.00 1.22 5/175 13615
/proc/meminfo: memFree=27638600/32873844 swapFree=7128/7128
[pid=13613] ppid=13610 vsize=37260 CPUtime=0.09 cores=1,3,5,7
/proc/13613/stat : 13613 (pbscip.linux.x8) R 13610 13613 13572 0 -1 4202496 8565 0 0 0 8 1 0 0 20 0 1 0 344605647 38154240 8505 33554432000 4194304 8395647 140735340764352 140733850216744 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13613/statm: 9315 8505 394 1026 0 8285 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37260
[startup+0.300238 s]
/proc/loadavg: 0.99 1.00 1.22 5/175 13615
/proc/meminfo: memFree=27638600/32873844 swapFree=7128/7128
[pid=13613] ppid=13610 vsize=53004 CPUtime=0.29 cores=1,3,5,7
/proc/13613/stat : 13613 (pbscip.linux.x8) R 13610 13613 13572 0 -1 4202496 12509 0 0 0 28 1 0 0 20 0 1 0 344605647 54276096 12449 33554432000 4194304 8395647 140735340764352 140735340629560 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13613/statm: 13251 12449 394 1026 0 12221 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53004
[startup+0.700388 s]
/proc/loadavg: 0.99 1.00 1.22 5/175 13615
/proc/meminfo: memFree=27638600/32873844 swapFree=7128/7128
[pid=13613] ppid=13610 vsize=133116 CPUtime=0.69 cores=1,3,5,7
/proc/13613/stat : 13613 (pbscip.linux.x8) R 13610 13613 13572 0 -1 4202496 32410 0 0 0 65 4 0 0 20 0 1 0 344605647 136310784 31996 33554432000 4194304 8395647 140735340764352 140735340629560 5035737 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13613/statm: 33279 31996 470 1026 0 32249 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 133116
[startup+1.50028 s]
/proc/loadavg: 0.99 1.00 1.22 4/177 13617
/proc/meminfo: memFree=27372340/32873844 swapFree=7128/7128
[pid=13613] ppid=13610 vsize=140100 CPUtime=1.49 cores=1,3,5,7
/proc/13613/stat : 13613 (pbscip.linux.x8) R 13610 13613 13572 0 -1 4202496 35002 0 0 0 144 5 0 0 20 0 1 0 344605647 143462400 33762 33554432000 4194304 8395647 140735340764352 140735340760152 5019249 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13613/statm: 35025 33762 478 1026 0 33995 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 140100
[startup+3.10039 s]
/proc/loadavg: 0.99 1.00 1.22 4/177 13617
/proc/meminfo: memFree=27339696/32873844 swapFree=7128/7128
[pid=13613] ppid=13610 vsize=221284 CPUtime=3.09 cores=1,3,5,7
/proc/13613/stat : 13613 (pbscip.linux.x8) R 13610 13613 13572 0 -1 4202496 54546 0 0 0 301 8 0 0 20 0 1 0 344605647 226594816 53277 33554432000 4194304 8395647 140735340764352 140735340758280 6080692 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13613/statm: 55321 53277 498 1026 0 54291 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 221284
[startup+6.3005 s]
/proc/loadavg: 1.07 1.02 1.23 4/177 13617
/proc/meminfo: memFree=27097856/32873844 swapFree=7128/7128
[pid=13613] ppid=13610 vsize=296200 CPUtime=6.28 cores=1,3,5,7
/proc/13613/stat : 13613 (pbscip.linux.x8) R 13610 13613 13572 0 -1 4202496 72061 0 0 0 617 11 0 0 20 0 1 0 344605647 303308800 70875 33554432000 4194304 8395647 140735340764352 140735340760216 6080661 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13613/statm: 74050 70875 498 1026 0 73020 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 296200
[startup+12.7005 s]
/proc/loadavg: 1.15 1.03 1.23 4/177 13617
/proc/meminfo: memFree=27012872/32873844 swapFree=7128/7128
[pid=13613] ppid=13610 vsize=317480 CPUtime=12.68 cores=1,3,5,7
/proc/13613/stat : 13613 (pbscip.linux.x8) R 13610 13613 13572 0 -1 4202496 77399 0 0 0 1255 13 0 0 20 0 1 0 344605647 325099520 76213 33554432000 4194304 8395647 140735340764352 140735340760216 6080688 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13613/statm: 79370 76213 498 1026 0 78340 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 317480
[startup+25.5005 s]
/proc/loadavg: 1.34 1.08 1.24 4/178 13620
/proc/meminfo: memFree=26860968/32873844 swapFree=7128/7128
[pid=13613] ppid=13610 vsize=408892 CPUtime=25.46 cores=1,3,5,7
/proc/13613/stat : 13613 (pbscip.linux.x8) R 13610 13613 13572 0 -1 4202496 99149 0 0 0 2529 17 0 0 20 0 1 0 344605647 418705408 97964 33554432000 4194304 8395647 140735340764352 140735340760216 6080688 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13613/statm: 102223 97964 498 1026 0 101193 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 408892
[startup+51.1005 s]
/proc/loadavg: 1.56 1.15 1.26 4/178 13620
/proc/meminfo: memFree=26654608/32873844 swapFree=7128/7128
[pid=13613] ppid=13610 vsize=496872 CPUtime=51.05 cores=1,3,5,7
/proc/13613/stat : 13613 (pbscip.linux.x8) R 13610 13613 13572 0 -1 4202496 121134 0 0 0 5082 23 0 0 20 0 1 0 344605647 508796928 120213 33554432000 4194304 8395647 140735340764352 140735340760216 6080701 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13613/statm: 124218 120213 498 1026 0 123188 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 496872
[startup+102.307 s]
/proc/loadavg: 1.81 1.28 1.30 4/177 13620
/proc/meminfo: memFree=26348008/32873844 swapFree=7128/7128
[pid=13613] ppid=13610 vsize=667896 CPUtime=102.24 cores=1,3,5,7
/proc/13613/stat : 13613 (pbscip.linux.x8) R 13610 13613 13572 0 -1 4202496 163509 0 0 0 10193 31 0 0 20 0 1 0 344605647 683925504 163042 33554432000 4194304 8395647 140735340764352 140735340760376 5085381 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13613/statm: 166974 163042 507 1026 0 165944 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 667896
[startup+162.3 s]
/proc/loadavg: 1.93 1.41 1.34 4/177 13620
/proc/meminfo: memFree=26342208/32873844 swapFree=7128/7128
[pid=13613] ppid=13610 vsize=667896 CPUtime=162.23 cores=1,3,5,7
/proc/13613/stat : 13613 (pbscip.linux.x8) R 13610 13613 13572 0 -1 4202496 163666 0 0 0 16192 31 0 0 20 0 1 0 344605647 683925504 164065 33554432000 4194304 8395647 140735340764352 140735340760376 4911327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13613/statm: 166974 164065 507 1026 0 165944 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 667896
[startup+222.3 s]
/proc/loadavg: 1.97 1.51 1.38 4/177 13620
/proc/meminfo: memFree=26338268/32873844 swapFree=7128/7128
[pid=13613] ppid=13610 vsize=671536 CPUtime=222.23 cores=1,3,5,7
/proc/13613/stat : 13613 (pbscip.linux.x8) R 13610 13613 13572 0 -1 4202496 164312 0 0 0 22191 32 0 0 20 0 1 0 344605647 687652864 165241 33554432000 4194304 8395647 140735340764352 140735340760216 4911327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13613/statm: 167884 165241 507 1026 0 166854 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 671536
[startup+282.3 s]
/proc/loadavg: 1.99 1.60 1.41 4/177 13621
/proc/meminfo: memFree=26320564/32873844 swapFree=7128/7128
[pid=13613] ppid=13610 vsize=680684 CPUtime=282.21 cores=1,3,5,7
/proc/13613/stat : 13613 (pbscip.linux.x8) R 13610 13613 13572 0 -1 4202496 166339 0 0 0 28189 32 0 0 20 0 1 0 344605647 697020416 167659 33554432000 4194304 8395647 140735340764352 140735340760216 4911287 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13613/statm: 170171 167659 507 1026 0 169141 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 680684
[startup+342.3 s]
/proc/loadavg: 1.99 1.67 1.45 4/177 13621
/proc/meminfo: memFree=26162740/32873844 swapFree=7128/7128
[pid=13613] ppid=13610 vsize=796680 CPUtime=342.2 cores=1,3,5,7
/proc/13613/stat : 13613 (pbscip.linux.x8) R 13610 13613 13572 0 -1 4202496 194760 0 0 0 34184 36 0 0 20 0 1 0 344605647 815800320 197138 33554432000 4194304 8395647 140735340764352 140735340760424 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13613/statm: 199170 197138 513 1026 0 198140 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 796680
[startup+402.3 s]
/proc/loadavg: 1.99 1.73 1.48 4/177 13621
/proc/meminfo: memFree=26017440/32873844 swapFree=7128/7128
[pid=13613] ppid=13610 vsize=890060 CPUtime=402.19 cores=1,3,5,7
/proc/13613/stat : 13613 (pbscip.linux.x8) R 13610 13613 13572 0 -1 4202496 217634 0 0 0 40179 40 0 0 20 0 1 0 344605647 911421440 220020 33554432000 4194304 8395647 140735340764352 140735340760424 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13613/statm: 222515 220020 513 1026 0 221485 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 890060
[startup+462.3 s]
/proc/loadavg: 1.99 1.77 1.51 4/177 13621
/proc/meminfo: memFree=25884664/32873844 swapFree=7128/7128
[pid=13613] ppid=13610 vsize=949412 CPUtime=462.18 cores=1,3,5,7
/proc/13613/stat : 13613 (pbscip.linux.x8) R 13610 13613 13572 0 -1 4202496 231783 0 0 0 46175 43 0 0 20 0 1 0 344605647 972197888 234311 33554432000 4194304 8395647 140735340764352 140735340760424 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13613/statm: 237353 234311 513 1026 0 236323 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 949412
[startup+522.3 s]
/proc/loadavg: 1.99 1.81 1.54 4/177 13621
/proc/meminfo: memFree=25765156/32873844 swapFree=7128/7128
[pid=13613] ppid=13610 vsize=1003004 CPUtime=522.17 cores=1,3,5,7
/proc/13613/stat : 13613 (pbscip.linux.x8) R 13610 13613 13572 0 -1 4202496 245671 0 0 0 52171 46 0 0 20 0 1 0 344605647 1027076096 248558 33554432000 4194304 8395647 140735340764352 140735340760424 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13613/statm: 250751 248558 513 1026 0 249721 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 1003004
[startup+582.3 s]
/proc/loadavg: 1.99 1.84 1.56 4/177 13622
/proc/meminfo: memFree=25617812/32873844 swapFree=7128/7128
[pid=13613] ppid=13610 vsize=1065488 CPUtime=582.15 cores=1,3,5,7
/proc/13613/stat : 13613 (pbscip.linux.x8) R 13610 13613 13572 0 -1 4202496 260885 0 0 0 58167 48 0 0 20 0 1 0 344605647 1091059712 264109 33554432000 4194304 8395647 140735340764352 140735340760424 4911327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13613/statm: 266372 264109 513 1026 0 265342 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 1065488
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25287212/32873844 swapFree=7128/7128
[pid=13613] ppid=13610 vsize=1186776 CPUtime=1002.1 cores=1,3,5,7
/proc/13613/stat : 13613 (pbscip.linux.x8) R 13610 13613 13572 0 -1 4202496 289180 0 0 0 100155 55 0 0 20 0 1 0 344605647 1215258624 294592 33554432000 4194304 8395647 140735340764352 140735340760424 4911327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13613/statm: 296694 294592 513 1026 0 295664 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 1186776
[startup+1062.3 s]
/proc/loadavg: 2.04 1.98 1.73 4/177 13649
/proc/meminfo: memFree=25236276/32873844 swapFree=7128/7128
[pid=13613] ppid=13610 vsize=1213620 CPUtime=1062.09 cores=1,3,5,7
/proc/13613/stat : 13613 (pbscip.linux.x8) R 13610 13613 13572 0 -1 4202496 295516 0 0 0 106153 56 0 0 20 0 1 0 344605647 1242746880 300928 33554432000 4194304 8395647 140735340764352 140735340760216 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13613/statm: 303405 300928 513 1026 0 302375 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 1213620
[startup+1122.3 s]
/proc/loadavg: 2.01 1.98 1.74 4/177 13649
/proc/meminfo: memFree=25158680/32873844 swapFree=7128/7128
[pid=13613] ppid=13610 vsize=1244664 CPUtime=1122.07 cores=1,3,5,7
/proc/13613/stat : 13613 (pbscip.linux.x8) R 13610 13613 13572 0 -1 4202496 303249 0 0 0 112150 57 0 0 20 0 1 0 344605647 1274535936 308661 33554432000 4194304 8395647 140735340764352 140735340760424 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13613/statm: 311166 308661 513 1026 0 310136 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 1244664
[startup+1182.3 s]
/proc/loadavg: 2.00 1.98 1.75 4/177 13649
/proc/meminfo: memFree=25101048/32873844 swapFree=7128/7128
[pid=13613] ppid=13610 vsize=1269696 CPUtime=1182.07 cores=1,3,5,7
/proc/13613/stat : 13613 (pbscip.linux.x8) R 13610 13613 13572 0 -1 4202496 309303 0 0 0 118149 58 0 0 20 0 1 0 344605647 1300168704 314715 33554432000 4194304 8395647 140735340764352 140735340760424 4911327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13613/statm: 317424 314715 513 1026 0 316394 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 1269696
[startup+1242.3 s]
/proc/loadavg: 2.00 1.98 1.77 4/178 13653
/proc/meminfo: memFree=25041920/32873844 swapFree=7128/7128
[pid=13613] ppid=13610 vsize=1294548 CPUtime=1242.06 cores=1,3,5,7
/proc/13613/stat : 13613 (pbscip.linux.x8) R 13610 13613 13572 0 -1 4202496 315646 0 0 0 124146 60 0 0 20 0 1 0 344605647 1325617152 321058 33554432000 4194304 8395647 140735340764352 140735340760424 4911307 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13613/statm: 323637 321058 513 1026 0 322607 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 1294548
[startup+1302.3 s]
/proc/loadavg: 2.00 1.98 1.78 4/177 13653
/proc/meminfo: memFree=24977724/32873844 swapFree=7128/7128
[pid=13613] ppid=13610 vsize=1320572 CPUtime=1302.05 cores=1,3,5,7
/proc/13613/stat : 13613 (pbscip.linux.x8) R 13610 13613 13572 0 -1 4202496 322130 0 0 0 130144 61 0 0 20 0 1 0 344605647 1352265728 327542 33554432000 4194304 8395647 140735340764352 140735340760424 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13613/statm: 330143 327542 513 1026 0 329113 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 1320572
[startup+1362.3 s]
/proc/loadavg: 2.00 1.98 1.79 4/177 13653
/proc/meminfo: memFree=24914016/32873844 swapFree=7128/7128
[pid=13613] ppid=13610 vsize=1342480 CPUtime=1362.04 cores=1,3,5,7
/proc/13613/stat : 13613 (pbscip.linux.x8) R 13610 13613 13572 0 -1 4202496 327561 0 0 0 136142 62 0 0 20 0 1 0 344605647 1374699520 332973 33554432000 4194304 8395647 140735340764352 140735340760424 4911327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13613/statm: 335620 332973 513 1026 0 334590 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 1342480
[startup+1422.31 s]
/proc/loadavg: 2.00 1.98 1.80 4/177 13653
/proc/meminfo: memFree=24855516/32873844 swapFree=7128/7128
[pid=13613] ppid=13610 vsize=1362236 CPUtime=1422.03 cores=1,3,5,7
/proc/13613/stat : 13613 (pbscip.linux.x8) R 13610 13613 13572 0 -1 4202496 332849 0 0 0 142140 63 0 0 20 0 1 0 344605647 1394929664 338261 33554432000 4194304 8395647 140735340764352 140735340760424 4911327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13613/statm: 340559 338261 513 1026 0 339529 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 1362236
[startup+1482.3 s]
/proc/loadavg: 2.12 2.01 1.82 4/177 13653
/proc/meminfo: memFree=24796768/32873844 swapFree=7128/7128
[pid=13613] ppid=13610 vsize=1391672 CPUtime=1482.02 cores=1,3,5,7
/proc/13613/stat : 13613 (pbscip.linux.x8) R 13610 13613 13572 0 -1 4202496 339926 0 0 0 148137 65 0 0 20 0 1 0 344605647 1425072128 345338 33554432000 4194304 8395647 140735340764352 140735340760424 4684118 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13613/statm: 347918 345338 513 1026 0 346888 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 1391672
[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 1.83 4/177 13654
/proc/meminfo: memFree=24729960/32873844 swapFree=7128/7128
[pid=13613] ppid=13610 vsize=1429324 CPUtime=1542.01 cores=1,3,5,7
/proc/13613/stat : 13613 (pbscip.linux.x8) R 13610 13613 13572 0 -1 4202496 348629 0 0 0 154135 66 0 0 20 0 1 0 344605647 1463627776 354041 33554432000 4194304 8395647 140735340764352 140735340760424 4911287 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13613/statm: 357331 354041 513 1026 0 356301 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 1429324
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 1.83 4/177 13654
/proc/meminfo: memFree=24656832/32873844 swapFree=7128/7128
[pid=13613] ppid=13610 vsize=1464012 CPUtime=1602 cores=1,3,5,7
/proc/13613/stat : 13613 (pbscip.linux.x8) R 13610 13613 13572 0 -1 4202496 356904 0 0 0 160132 68 0 0 20 0 1 0 344605647 1499148288 362316 33554432000 4194304 8395647 140735340764352 140735340760424 4911287 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13613/statm: 366003 362316 513 1026 0 364973 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 1464012
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.84 4/177 13654
/proc/meminfo: memFree=24587500/32873844 swapFree=7128/7128
[pid=13613] ppid=13610 vsize=1490464 CPUtime=1661.99 cores=1,3,5,7
/proc/13613/stat : 13613 (pbscip.linux.x8) R 13610 13613 13572 0 -1 4202496 363765 0 0 0 166130 69 0 0 20 0 1 0 344605647 1526235136 369177 33554432000 4194304 8395647 140735340764352 140735340760424 4911327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13613/statm: 372616 369177 513 1026 0 371586 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 1490464
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.85 4/177 13654
/proc/meminfo: memFree=24509132/32873844 swapFree=7128/7128
[pid=13613] ppid=13610 vsize=1524956 CPUtime=1721.98 cores=1,3,5,7
/proc/13613/stat : 13613 (pbscip.linux.x8) R 13610 13613 13572 0 -1 4202496 372254 0 0 0 172128 70 0 0 20 0 1 0 344605647 1561554944 377666 33554432000 4194304 8395647 140735340764352 140735340760424 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13613/statm: 381239 377666 513 1026 0 380209 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 1524956
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.85 4/177 13654
/proc/meminfo: memFree=24410676/32873844 swapFree=7128/7128
[pid=13613] ppid=13610 vsize=1571192 CPUtime=1781.97 cores=1,3,5,7
/proc/13613/stat : 13613 (pbscip.linux.x8) R 13610 13613 13572 0 -1 4202496 383455 0 0 0 178126 71 0 0 20 0 1 0 344605647 1608900608 388867 33554432000 4194304 8395647 140735340764352 140735340760040 6080701 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13613/statm: 392798 388867 513 1026 0 391768 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 1571192
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.85 4/177 13654
/proc/meminfo: memFree=24407204/32873844 swapFree=7128/7128
[pid=13613] ppid=13610 vsize=1575128 CPUtime=1785.17 cores=1,3,5,7
/proc/13613/stat : 13613 (pbscip.linux.x8) R 13610 13613 13572 0 -1 4202496 383967 0 0 0 178446 71 0 0 20 0 1 0 344605647 1612931072 389379 33554432000 4194304 8395647 140735340764352 140735340760424 4911327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13613/statm: 393782 389379 513 1026 0 392752 0
Current children cumulated CPU time (s) 1785.17
Current children cumulated vsize (KiB) 1575128
[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 1.85 4/177 13654
/proc/meminfo: memFree=24401004/32873844 swapFree=7128/7128
[pid=13613] ppid=13610 vsize=1577156 CPUtime=1788.37 cores=1,3,5,7
/proc/13613/stat : 13613 (pbscip.linux.x8) R 13610 13613 13572 0 -1 4202496 384612 0 0 0 178766 71 0 0 20 0 1 0 344605647 1615007744 390024 33554432000 4194304 8395647 140735340764352 140735340760424 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13613/statm: 394289 390024 513 1026 0 393259 0
Current children cumulated CPU time (s) 1788.37
Current children cumulated vsize (KiB) 1577156
[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 1.85 4/177 13654
/proc/meminfo: memFree=24401004/32873844 swapFree=7128/7128
[pid=13613] ppid=13610 vsize=1578124 CPUtime=1789.17 cores=1,3,5,7
/proc/13613/stat : 13613 (pbscip.linux.x8) R 13610 13613 13572 0 -1 4202496 384763 0 0 0 178846 71 0 0 20 0 1 0 344605647 1615998976 390175 33554432000 4194304 8395647 140735340764352 140735340760424 4911327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13613/statm: 394531 390175 513 1026 0 393501 0
Current children cumulated CPU time (s) 1789.17
Current children cumulated vsize (KiB) 1578124
[startup+1789.9 s]
/proc/loadavg: 2.00 2.00 1.85 4/177 13654
/proc/meminfo: memFree=24400136/32873844 swapFree=7128/7128
[pid=13613] ppid=13610 vsize=1578124 CPUtime=1789.58 cores=1,3,5,7
/proc/13613/stat : 13613 (pbscip.linux.x8) R 13610 13613 13572 0 -1 4202496 384804 0 0 0 178886 72 0 0 20 0 1 0 344605647 1615998976 390216 33554432000 4194304 8395647 140735340764352 140735340760424 4911327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13613/statm: 394531 390216 513 1026 0 393501 0
Current children cumulated CPU time (s) 1789.58
Current children cumulated vsize (KiB) 1578124
[startup+1790.3 s]
/proc/loadavg: 2.00 2.00 1.85 4/177 13654
/proc/meminfo: memFree=24400136/32873844 swapFree=7128/7128
[pid=13613] ppid=13610 vsize=1579148 CPUtime=1789.98 cores=1,3,5,7
/proc/13613/stat : 13613 (pbscip.linux.x8) R 13610 13613 13572 0 -1 4202496 385254 0 0 0 178926 72 0 0 20 0 1 0 344605647 1617047552 390666 33554432000 4194304 8395647 140735340764352 140735340760184 6345185 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13613/statm: 394787 390666 520 1026 0 393757 0
Current children cumulated CPU time (s) 1789.98
Current children cumulated vsize (KiB) 1579148
Child status: 0
Real time (s): 1790.39
CPU time (s): 1790.07
CPU user time (s): 1789.3
CPU system time (s): 0.767883
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 1579148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.3
system time used= 0.767883
maximum resident set size= 1562668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 385268
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= 53
involuntary context switches= 1842
runsolver used 5.49017 second user time and 19.0571 second system time
The end