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-3743543-1338786701.opb>
0.39/0.41 c original problem has 40451 variables (40451 bin, 0 int, 0 impl, 0 cont) and 40950 constraints
0.39/0.41 c problem read
0.39/0.41 c presolving settings loaded
0.49/0.59 c presolving:
0.69/0.76 c (round 1) 16164 del vars, 16284 del conss, 125 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10272 impls, 309 clqs
0.69/0.79 c (round 2) 16933 del vars, 17058 del conss, 771 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10694 impls, 308 clqs
0.79/0.82 c (round 3) 17336 del vars, 17461 del conss, 1174 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11368 impls, 308 clqs
0.79/0.86 c (round 4) 17613 del vars, 17738 del conss, 1451 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12458 impls, 308 clqs
0.79/0.89 c (round 5) 17827 del vars, 17952 del conss, 1665 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13718 impls, 308 clqs
0.89/0.92 c (round 6) 18009 del vars, 18134 del conss, 1847 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14604 impls, 308 clqs
0.89/0.95 c (round 7) 18157 del vars, 18282 del conss, 1995 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15254 impls, 308 clqs
0.89/0.97 c (round 8) 18241 del vars, 18366 del conss, 2079 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15896 impls, 308 clqs
0.89/1.00 c (round 9) 18279 del vars, 18404 del conss, 2117 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16336 impls, 308 clqs
0.99/1.03 c (round 10) 18294 del vars, 18419 del conss, 2132 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16578 impls, 308 clqs
35.47/35.53 c (round 11) 18403 del vars, 18485 del conss, 2133 chg bounds, 0 chg sides, 0 chg coeffs, 22400 upgd conss, 5331180 impls, 308 clqs
35.57/35.67 c (round 12) 18403 del vars, 18593 del conss, 2133 chg bounds, 0 chg sides, 0 chg coeffs, 22465 upgd conss, 5331278 impls, 308 clqs
55.97/56.05 c (round 13) 18453 del vars, 18593 del conss, 2133 chg bounds, 0 chg sides, 0 chg coeffs, 22465 upgd conss, 5631910 impls, 308 clqs
56.07/56.17 c (round 14) 18453 del vars, 18643 del conss, 2133 chg bounds, 0 chg sides, 0 chg coeffs, 22465 upgd conss, 5632022 impls, 308 clqs
163.55/163.65 c (163.2s) probing: 1000/22156 (4.5%) - 179 fixings, 18 aggregations, 895406 implications, 0 bound changes
199.15/199.21 c (round 15) 18503 del vars, 18643 del conss, 2133 chg bounds, 0 chg sides, 0 chg coeffs, 22465 upgd conss, 9002498 impls, 308 clqs
199.25/199.37 c (round 16) 18503 del vars, 18693 del conss, 2133 chg bounds, 0 chg sides, 0 chg coeffs, 22465 upgd conss, 9002498 impls, 308 clqs
294.53/294.64 c (294.2s) probing: 2000/22156 (9.0%) - 181 fixings, 32 aggregations, 2374562 implications, 0 bound changes
449.50/449.63 c (449.2s) probing: 3000/22156 (13.5%) - 182 fixings, 51 aggregations, 4559128 implications, 0 bound changes
650.87/651.00 c (650.6s) probing: 4000/22156 (18.1%) - 186 fixings, 63 aggregations, 6966746 implications, 0 bound changes
818.74/818.90 c (round 17) 18553 del vars, 18693 del conss, 2133 chg bounds, 0 chg sides, 0 chg coeffs, 22465 upgd conss, 25211278 impls, 308 clqs
818.84/819.07 c (round 18) 18553 del vars, 18743 del conss, 2133 chg bounds, 0 chg sides, 0 chg coeffs, 22465 upgd conss, 25211278 impls, 308 clqs
869.94/870.17 c (869.8s) probing: 5000/22156 (22.6%) - 189 fixings, 71 aggregations, 9404477 implications, 0 bound changes
1105.31/1105.55 c (1105.1s) probing: 6000/22156 (27.1%) - 192 fixings, 82 aggregations, 11979428 implications, 0 bound changes
1349.97/1350.20 c (1349.8s) probing: 7000/22156 (31.6%) - 195 fixings, 94 aggregations, 14527835 implications, 0 bound changes
1596.63/1596.95 c (1596.5s) probing: 8000/22156 (36.1%) - 197 fixings, 106 aggregations, 16987737 implications, 0 bound changes
1703.62/1703.94 c (round 19) 18603 del vars, 18743 del conss, 2133 chg bounds, 0 chg sides, 0 chg coeffs, 22465 upgd conss, 43861392 impls, 308 clqs
1703.81/1704.10 c (round 20) 18603 del vars, 18793 del conss, 2133 chg bounds, 0 chg sides, 0 chg coeffs, 22465 upgd conss, 43861392 impls, 308 clqs
1789.80/1790.16 c (1789.7s) probing: 8800/22156 (39.7%) - 199 fixings, 114 aggregations, 18864052 implications, 0 bound changes
1789.80/1790.16 c (1789.7s) probing aborted: solving stopped
1789.80/1790.16 c (round 21) 18608 del vars, 18793 del conss, 2133 chg bounds, 0 chg sides, 0 chg coeffs, 22465 upgd conss, 45560364 impls, 308 clqs
1789.80/1790.16 c presolving (21 rounds):
1789.80/1790.16 c 18608 deleted vars, 18793 deleted constraints, 2133 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1789.80/1790.16 c 45560364 implications, 308 cliques
1789.80/1790.16 c presolving was interrupted.
1789.80/1790.16 c Presolving Time: 1789.64
1789.80/1790.16 c - non default parameters ----------------------------------------------------------------------
1789.80/1790.16 c # SCIP version 1.2.1.3
1789.80/1790.16 c
1789.80/1790.16 c # frequency for displaying node information lines
1789.80/1790.16 c # [type: int, range: [-1,2147483647], default: 100]
1789.80/1790.16 c display/freq = 10000
1789.80/1790.16 c
1789.80/1790.16 c # maximal time in seconds to run
1789.80/1790.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.80/1790.16 c limits/time = 1789.6
1789.80/1790.16 c
1789.80/1790.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1789.80/1790.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.80/1790.16 c limits/memory = 13950
1789.80/1790.16 c
1789.80/1790.16 c # default clock type (1: CPU user seconds, 2: wall clock time)
1789.80/1790.16 c # [type: int, range: [1,2], default: 1]
1789.80/1790.16 c timing/clocktype = 2
1789.80/1790.16 c
1789.80/1790.16 c # should presolving try to simplify inequalities
1789.80/1790.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.80/1790.16 c constraints/linear/simplifyinequalities = TRUE
1789.80/1790.16 c
1789.80/1790.16 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1789.80/1790.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.80/1790.16 c constraints/indicator/addCouplingCons = TRUE
1789.80/1790.16 c
1789.80/1790.16 c # should presolving try to simplify knapsacks
1789.80/1790.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.80/1790.16 c constraints/knapsack/simplifyinequalities = TRUE
1789.80/1790.16 c
1789.80/1790.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1789.80/1790.16 c # [type: int, range: [-1,2147483647], default: -1]
1789.80/1790.16 c separating/rapidlearning/freq = 0
1789.80/1790.16 c
1789.80/1790.16 c -----------------------------------------------------------------------------------------------
1789.80/1790.16 c start solving
1789.80/1790.18 c presolving:
1789.80/1790.18 c presolving (21 rounds):
1789.80/1790.18 c 18608 deleted vars, 18793 deleted constraints, 2133 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1789.80/1790.18 c 45560364 implications, 308 cliques
1789.80/1790.18 c presolving was interrupted.
1789.80/1790.18 c Presolving Time: 1789.65
1789.80/1790.18 c
1789.80/1790.18 c SCIP Status : solving was interrupted [time limit reached]
1789.80/1790.18 c Solving Time (sec) : 1789.76
1789.80/1790.18 c Solving Nodes : 0
1789.80/1790.18 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.80/1790.18 s UNKNOWN
1789.80/1790.18 c SCIP Status : solving was interrupted [time limit reached]
1789.80/1790.18 c Solving Time : 1789.76
1789.80/1790.18 c Original Problem :
1789.80/1790.18 c Problem name : HOME/instance-3743543-1338786701.opb
1789.80/1790.18 c Variables : 40451 (40451 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.80/1790.18 c Constraints : 40950 initial, 40950 maximal
1789.80/1790.18 c Presolved Problem :
1789.80/1790.18 c Problem name : t_HOME/instance-3743543-1338786701.opb
1789.80/1790.18 c Variables : 21843 (21843 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.80/1790.18 c Constraints : 22157 initial, 22157 maximal
1789.80/1790.18 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.80/1790.18 c trivial : 0.03 123 0 0 0 0 0 0 0
1789.80/1790.18 c dualfix : 0.03 16038 0 0 0 0 0 0 0
1789.80/1790.18 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.80/1790.18 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.80/1790.18 c implics : 0.05 0 1 0 0 0 0 0 0
1789.80/1790.18 c probing : 1787.77 199 114 0 0 0 0 0 0
1789.80/1790.18 c knapsack : 0.61 0 0 0 0 0 0 0 0
1789.80/1790.18 c setppc : 0.06 0 0 0 0 0 178 0 0
1789.80/1790.18 c linear : 0.75 2133 0 0 2133 0 18485 0 0
1789.80/1790.18 c logicor : 0.22 0 0 0 0 0 130 0 0
1789.80/1790.18 c root node : - 0 - - 0 - - - -
1789.80/1790.18 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.80/1790.18 c integral : 0 0 0 0 0 0 0 0 0 0
1789.80/1790.18 c knapsack : 0+ 0 121689 0 0 16 0 0 0 0
1789.80/1790.18 c setppc : 0+ 0 121672 0 0 55 0 0 0 0
1789.80/1790.18 c linear : 0+ 0 1926 0 0 0 0 0 0 0
1789.80/1790.18 c logicor : 0+ 0 113578 0 0 7 0 0 0 0
1789.80/1790.18 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.80/1790.18 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.80/1790.18 c integral : 0.00 0.00 0.00 0.00 0.00
1789.80/1790.18 c knapsack : 1396.10 0.00 1396.10 0.00 0.00
1789.80/1790.18 c setppc : 10.32 0.00 10.32 0.00 0.00
1789.80/1790.18 c linear : 0.24 0.00 0.24 0.00 0.00
1789.80/1790.18 c logicor : 52.02 0.00 52.02 0.00 0.00
1789.80/1790.18 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.80/1790.18 c Propagators : Time Calls Cutoffs DomReds
1789.80/1790.18 c vbounds : 0.09 1 0 0
1789.80/1790.18 c rootredcost : 0.08 0 0 0
1789.80/1790.18 c pseudoobj : 0.08 0 0 0
1789.80/1790.18 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.80/1790.18 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1789.80/1790.18 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.80/1790.18 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.80/1790.18 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.80/1790.18 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.80/1790.18 c applied globally : - - - 0 0.0 - - -
1789.80/1790.18 c applied locally : - - - 0 0.0 - - -
1790.00/1790.38 c Time complete: 1790.08.
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-3743543-1338786701/watcher-3743543-1338786701 -o /tmp/evaluation-result-3743543-1338786701/solver-3743543-1338786701 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3743543-1338786701.opb -t 1800 -m 15500
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.01 2.01 2.00 3/176 2690
/proc/meminfo: memFree=25258668/32873648 swapFree=6852/6852
[pid=2690] ppid=2688 vsize=7916 CPUtime=0 cores=0,2,4,6
/proc/2690/stat : 2690 (pbscip.linux.x8) R 2688 2690 1632 0 -1 4202496 1248 0 0 0 0 0 0 0 20 0 1 0 344796912 8105984 1195 33554432000 4194304 8395647 140735972187936 140737222812568 7385025 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2690/statm: 1979 1195 370 1026 0 949 0
[startup+0.051837 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 2690
/proc/meminfo: memFree=25258668/32873648 swapFree=6852/6852
[pid=2690] ppid=2688 vsize=25832 CPUtime=0.04 cores=0,2,4,6
/proc/2690/stat : 2690 (pbscip.linux.x8) R 2688 2690 1632 0 -1 4202496 5742 0 0 0 4 0 0 0 20 0 1 0 344796912 26451968 5683 33554432000 4194304 8395647 140735972187936 140737222812568 7385355 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2690/statm: 6458 5683 394 1026 0 5428 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 25832
[startup+0.100331 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 2690
/proc/meminfo: memFree=25258668/32873648 swapFree=6852/6852
[pid=2690] ppid=2688 vsize=31932 CPUtime=0.08 cores=0,2,4,6
/proc/2690/stat : 2690 (pbscip.linux.x8) R 2688 2690 1632 0 -1 4202496 7263 0 0 0 8 0 0 0 20 0 1 0 344796912 32698368 7204 33554432000 4194304 8395647 140735972187936 140737222812568 6347101 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2690/statm: 7983 7204 394 1026 0 6953 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 31932
[startup+0.300286 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 2690
/proc/meminfo: memFree=25258668/32873648 swapFree=6852/6852
[pid=2690] ppid=2688 vsize=52892 CPUtime=0.29 cores=0,2,4,6
/proc/2690/stat : 2690 (pbscip.linux.x8) R 2688 2690 1632 0 -1 4202496 12521 0 0 0 28 1 0 0 20 0 1 0 344796912 54161408 12462 33554432000 4194304 8395647 140735972187936 140737222812568 7430272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2690/statm: 13223 12462 394 1026 0 12193 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52892
[startup+0.700283 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 2690
/proc/meminfo: memFree=25258668/32873648 swapFree=6852/6852
[pid=2690] ppid=2688 vsize=135140 CPUtime=0.69 cores=0,2,4,6
/proc/2690/stat : 2690 (pbscip.linux.x8) R 2688 2690 1632 0 -1 4202496 32973 0 0 0 65 4 0 0 20 0 1 0 344796912 138383360 32560 33554432000 4194304 8395647 140735972187936 140735972185560 4987107 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2690/statm: 33785 32560 471 1026 0 32755 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 135140
[startup+1.5003 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 2729
/proc/meminfo: memFree=26644504/32873648 swapFree=6852/6852
[pid=2690] ppid=2688 vsize=165876 CPUtime=1.49 cores=0,2,4,6
/proc/2690/stat : 2690 (pbscip.linux.x8) R 2688 2690 1632 0 -1 4202496 41570 0 0 0 144 5 0 0 20 0 1 0 344796912 169857024 40331 33554432000 4194304 8395647 140735972187936 140735972185560 6080679 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2690/statm: 41469 40331 498 1026 0 40439 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 165876
[startup+3.10031 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 2729
/proc/meminfo: memFree=26503484/32873648 swapFree=6852/6852
[pid=2690] ppid=2688 vsize=236884 CPUtime=3.09 cores=0,2,4,6
/proc/2690/stat : 2690 (pbscip.linux.x8) R 2688 2690 1632 0 -1 4202496 58086 0 0 0 301 8 0 0 20 0 1 0 344796912 242569216 56847 33554432000 4194304 8395647 140735972187936 140735972183800 6069608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2690/statm: 59221 56848 498 1026 0 58191 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 236884
[startup+6.30034 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 2729
/proc/meminfo: memFree=26307864/32873648 swapFree=6852/6852
[pid=2690] ppid=2688 vsize=271832 CPUtime=6.29 cores=0,2,4,6
/proc/2690/stat : 2690 (pbscip.linux.x8) R 2688 2690 1632 0 -1 4202496 66337 0 0 0 620 9 0 0 20 0 1 0 344796912 278355968 65098 33554432000 4194304 8395647 140735972187936 140735972183800 4684118 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2690/statm: 67958 65098 498 1026 0 66928 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 271832
[startup+12.7003 s]
/proc/loadavg: 1.94 1.99 1.99 3/177 2729
/proc/meminfo: memFree=26186292/32873648 swapFree=6852/6852
[pid=2690] ppid=2688 vsize=342832 CPUtime=12.69 cores=0,2,4,6
/proc/2690/stat : 2690 (pbscip.linux.x8) R 2688 2690 1632 0 -1 4202496 83591 0 0 0 1257 12 0 0 20 0 1 0 344796912 351059968 82352 33554432000 4194304 8395647 140735972187936 140735972184088 6080688 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2690/statm: 85708 82352 498 1026 0 84678 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 342832
[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 2729
/proc/meminfo: memFree=25975304/32873648 swapFree=6852/6852
[pid=2690] ppid=2688 vsize=457528 CPUtime=25.47 cores=0,2,4,6
/proc/2690/stat : 2690 (pbscip.linux.x8) R 2688 2690 1632 0 -1 4202496 111711 0 0 0 2531 16 0 0 20 0 1 0 344796912 468508672 110517 33554432000 4194304 8395647 140735972187936 140735972183800 6080665 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2690/statm: 114382 110517 498 1026 0 113352 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 457528
[startup+51.1003 s]
/proc/loadavg: 1.97 1.99 1.99 3/177 2729
/proc/meminfo: memFree=25782176/32873648 swapFree=6852/6852
[pid=2690] ppid=2688 vsize=524084 CPUtime=51.07 cores=0,2,4,6
/proc/2690/stat : 2690 (pbscip.linux.x8) R 2688 2690 1632 0 -1 4202496 127929 0 0 0 5088 19 0 0 20 0 1 0 344796912 536662016 126754 33554432000 4194304 8395647 140735972187936 140735972183960 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2690/statm: 131021 126754 507 1026 0 129991 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 524084
[startup+102.306 s]
/proc/loadavg: 1.98 1.99 1.99 3/177 2729
/proc/meminfo: memFree=25678556/32873648 swapFree=6852/6852
[pid=2690] ppid=2688 vsize=526600 CPUtime=102.26 cores=0,2,4,6
/proc/2690/stat : 2690 (pbscip.linux.x8) R 2688 2690 1632 0 -1 4202496 128560 0 0 0 10207 19 0 0 20 0 1 0 344796912 539238400 127872 33554432000 4194304 8395647 140735972187936 140735972183960 4911327 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2690/statm: 131650 127872 507 1026 0 130620 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 526600
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 2730
/proc/meminfo: memFree=25648328/32873648 swapFree=6852/6852
[pid=2690] ppid=2688 vsize=550572 CPUtime=162.25 cores=0,2,4,6
/proc/2690/stat : 2690 (pbscip.linux.x8) R 2688 2690 1632 0 -1 4202496 134181 0 0 0 16205 20 0 0 20 0 1 0 344796912 563785728 134455 33554432000 4194304 8395647 140735972187936 140735972183800 4911287 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2690/statm: 137643 134455 507 1026 0 136613 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 550572
[startup+222.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 2730
/proc/meminfo: memFree=25598264/32873648 swapFree=6852/6852
[pid=2690] ppid=2688 vsize=596264 CPUtime=222.24 cores=0,2,4,6
/proc/2690/stat : 2690 (pbscip.linux.x8) R 2688 2690 1632 0 -1 4202496 145150 0 0 0 22202 22 0 0 20 0 1 0 344796912 610574336 146002 33554432000 4194304 8395647 140735972187936 140735972183960 4911327 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2690/statm: 149066 146002 513 1026 0 148036 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 596264
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 2730
/proc/meminfo: memFree=25519552/32873648 swapFree=6852/6852
[pid=2690] ppid=2688 vsize=641072 CPUtime=282.23 cores=0,2,4,6
/proc/2690/stat : 2690 (pbscip.linux.x8) R 2688 2690 1632 0 -1 4202496 155996 0 0 0 28199 24 0 0 20 0 1 0 344796912 656457728 157631 33554432000 4194304 8395647 140735972187936 140735972184008 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2690/statm: 160268 157631 513 1026 0 159238 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 641072
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2730
/proc/meminfo: memFree=25353424/32873648 swapFree=6852/6852
[pid=2690] ppid=2688 vsize=694840 CPUtime=342.22 cores=0,2,4,6
/proc/2690/stat : 2690 (pbscip.linux.x8) R 2688 2690 1632 0 -1 4202496 169483 0 0 0 34196 26 0 0 20 0 1 0 344796912 711516160 171379 33554432000 4194304 8395647 140735972187936 140735972184008 4698190 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2690/statm: 173710 171379 513 1026 0 172680 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 694840
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2730
/proc/meminfo: memFree=25225360/32873648 swapFree=6852/6852
[pid=2690] ppid=2688 vsize=758456 CPUtime=402.21 cores=0,2,4,6
/proc/2690/stat : 2690 (pbscip.linux.x8) R 2688 2690 1632 0 -1 4202496 185270 0 0 0 40192 29 0 0 20 0 1 0 344796912 776658944 187423 33554432000 4194304 8395647 140735972187936 140735972184008 4911327 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2690/statm: 189614 187423 513 1026 0 188584 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 758456
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2731
/proc/meminfo: memFree=25123212/32873648 swapFree=6852/6852
[pid=2690] ppid=2688 vsize=792756 CPUtime=462.2 cores=0,2,4,6
/proc/2690/stat : 2690 (pbscip.linux.x8) R 2688 2690 1632 0 -1 4202496 193304 0 0 0 46190 30 0 0 20 0 1 0 344796912 811782144 197087 33554432000 4194304 8395647 140735972187936 140735972184008 4220208 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2690/statm: 198189 197087 513 1026 0 197159 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 792756
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2734
/proc/meminfo: memFree=25024400/32873648 swapFree=6852/6852
[pid=2690] ppid=2688 vsize=843260 CPUtime=522.19 cores=0,2,4,6
/proc/2690/stat : 2690 (pbscip.linux.x8) R 2688 2690 1632 0 -1 4202496 204384 0 0 0 52187 32 0 0 20 0 1 0 344796912 863498240 208456 33554432000 4194304 8395647 140735972187936 140735972184008 6080665 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2690/statm: 210815 208456 513 1026 0 209785 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 843260
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2734
/proc/meminfo: memFree=24913828/32873648 swapFree=6852/6852
[pid=2690] ppid=2688 vsize=894644 CPUtime=582.18 cores=0,2,4,6
/proc/2690/stat : 2690 (pbscip.linux.x8) R 2688 2690 1632 0 -1 4202496 216371 0 0 0 58185 33 0 0 20 0 1 0 344796912 916115456 220443 33554432000 4194304 8395647 140735972187936 140735972184008 4911327 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2690/statm: 223661 220443 513 1026 0 222631 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 894644
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=24500736/32873648 swapFree=6852/6852
[pid=2690] ppid=2688 vsize=1187008 CPUtime=1002.12 cores=0,2,4,6
/proc/2690/stat : 2690 (pbscip.linux.x8) R 2688 2690 1632 0 -1 4202496 289349 0 0 0 100168 44 0 0 20 0 1 0 344796912 1215496192 293421 33554432000 4194304 8395647 140735972187936 140735972184008 6080653 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2690/statm: 296752 293421 513 1026 0 295722 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 1187008
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2736
/proc/meminfo: memFree=24438764/32873648 swapFree=6852/6852
[pid=2690] ppid=2688 vsize=1222872 CPUtime=1062.11 cores=0,2,4,6
/proc/2690/stat : 2690 (pbscip.linux.x8) R 2688 2690 1632 0 -1 4202496 298487 0 0 0 106165 46 0 0 20 0 1 0 344796912 1252220928 302559 33554432000 4194304 8395647 140735972187936 140735972184008 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2690/statm: 305718 302559 513 1026 0 304688 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 1222872
[startup+1122.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 2739
/proc/meminfo: memFree=24367220/32873648 swapFree=6852/6852
[pid=2690] ppid=2688 vsize=1255780 CPUtime=1122.1 cores=0,2,4,6
/proc/2690/stat : 2690 (pbscip.linux.x8) R 2688 2690 1632 0 -1 4202496 306525 0 0 0 112163 47 0 0 20 0 1 0 344796912 1285918720 310597 33554432000 4194304 8395647 140735972187936 140735972184008 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2690/statm: 313945 310597 513 1026 0 312915 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 1255780
[startup+1182.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 2739
/proc/meminfo: memFree=24303396/32873648 swapFree=6852/6852
[pid=2690] ppid=2688 vsize=1286724 CPUtime=1182.09 cores=0,2,4,6
/proc/2690/stat : 2690 (pbscip.linux.x8) R 2688 2690 1632 0 -1 4202496 314470 0 0 0 118160 49 0 0 20 0 1 0 344796912 1317605376 318542 33554432000 4194304 8395647 140735972187936 140735972183800 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2690/statm: 321681 318542 513 1026 0 320651 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 1286724
[startup+1242.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/177 2739
/proc/meminfo: memFree=24242604/32873648 swapFree=6852/6852
[pid=2690] ppid=2688 vsize=1321620 CPUtime=1242.08 cores=0,2,4,6
/proc/2690/stat : 2690 (pbscip.linux.x8) R 2688 2690 1632 0 -1 4202496 322833 0 0 0 124158 50 0 0 20 0 1 0 344796912 1353338880 326905 33554432000 4194304 8395647 140735972187936 140735972184008 4684118 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2690/statm: 330405 326905 513 1026 0 329375 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1321620
[startup+1302.3 s]
/proc/loadavg: 2.18 2.06 2.01 3/178 2740
/proc/meminfo: memFree=24183720/32873648 swapFree=6852/6852
[pid=2690] ppid=2688 vsize=1354572 CPUtime=1302.08 cores=0,2,4,6
/proc/2690/stat : 2690 (pbscip.linux.x8) R 2688 2690 1632 0 -1 4202496 331059 0 0 0 130156 52 0 0 20 0 1 0 344796912 1387081728 335131 33554432000 4194304 8395647 140735972187936 140735972184008 4911287 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2690/statm: 338643 335131 513 1026 0 337613 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1354572
[startup+1362.3 s]
/proc/loadavg: 2.17 2.07 2.02 3/177 2741
/proc/meminfo: memFree=24115528/32873648 swapFree=6852/6852
[pid=2690] ppid=2688 vsize=1388524 CPUtime=1362.06 cores=0,2,4,6
/proc/2690/stat : 2690 (pbscip.linux.x8) R 2688 2690 1632 0 -1 4202496 339305 0 0 0 136153 53 0 0 20 0 1 0 344796912 1421848576 343377 33554432000 4194304 8395647 140735972187936 140735972184008 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2690/statm: 347131 343377 513 1026 0 346101 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1388524
[startup+1422.31 s]
/proc/loadavg: 2.06 2.06 2.01 3/177 2741
/proc/meminfo: memFree=24061836/32873648 swapFree=6852/6852
[pid=2690] ppid=2688 vsize=1419472 CPUtime=1422.06 cores=0,2,4,6
/proc/2690/stat : 2690 (pbscip.linux.x8) R 2688 2690 1632 0 -1 4202496 346847 0 0 0 142152 54 0 0 20 0 1 0 344796912 1453539328 350919 33554432000 4194304 8395647 140735972187936 140735972184008 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2690/statm: 354868 350919 513 1026 0 353838 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1419472
[startup+1482.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 2741
/proc/meminfo: memFree=23998100/32873648 swapFree=6852/6852
[pid=2690] ppid=2688 vsize=1451268 CPUtime=1482.04 cores=0,2,4,6
/proc/2690/stat : 2690 (pbscip.linux.x8) R 2688 2690 1632 0 -1 4202496 354916 0 0 0 148149 55 0 0 20 0 1 0 344796912 1486098432 358988 33554432000 4194304 8395647 140735972187936 140735972184008 4911287 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2690/statm: 362817 358988 513 1026 0 361787 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1451268
[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 2741
/proc/meminfo: memFree=23933872/32873648 swapFree=6852/6852
[pid=2690] ppid=2688 vsize=1483124 CPUtime=1542.03 cores=0,2,4,6
/proc/2690/stat : 2690 (pbscip.linux.x8) R 2688 2690 1632 0 -1 4202496 362629 0 0 0 154147 56 0 0 20 0 1 0 344796912 1518718976 366701 33554432000 4194304 8395647 140735972187936 140735972184008 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2690/statm: 370781 366701 513 1026 0 369751 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1483124
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 2741
/proc/meminfo: memFree=23870632/32873648 swapFree=6852/6852
[pid=2690] ppid=2688 vsize=1510988 CPUtime=1602.03 cores=0,2,4,6
/proc/2690/stat : 2690 (pbscip.linux.x8) R 2688 2690 1632 0 -1 4202496 369732 0 0 0 160145 58 0 0 20 0 1 0 344796912 1547251712 373804 33554432000 4194304 8395647 140735972187936 140735972184008 4911307 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2690/statm: 377747 373804 513 1026 0 376717 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1510988
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 2742
/proc/meminfo: memFree=23810492/32873648 swapFree=6852/6852
[pid=2690] ppid=2688 vsize=1539852 CPUtime=1662.01 cores=0,2,4,6
/proc/2690/stat : 2690 (pbscip.linux.x8) R 2688 2690 1632 0 -1 4202496 376822 0 0 0 166143 58 0 0 20 0 1 0 344796912 1576808448 380894 33554432000 4194304 8395647 140735972187936 140735972184008 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2690/statm: 384963 380894 513 1026 0 383933 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1539852
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 2745
/proc/meminfo: memFree=23752564/32873648 swapFree=6852/6852
[pid=2690] ppid=2688 vsize=1568664 CPUtime=1722 cores=0,2,4,6
/proc/2690/stat : 2690 (pbscip.linux.x8) R 2688 2690 1632 0 -1 4202496 384038 0 0 0 172141 59 0 0 20 0 1 0 344796912 1606311936 388110 33554432000 4194304 8395647 140735972187936 140735972184008 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2690/statm: 392166 388110 513 1026 0 391136 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1568664
[startup+1782.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 2745
/proc/meminfo: memFree=23688012/32873648 swapFree=6852/6852
[pid=2690] ppid=2688 vsize=1602532 CPUtime=1781.99 cores=0,2,4,6
/proc/2690/stat : 2690 (pbscip.linux.x8) R 2688 2690 1632 0 -1 4202496 392187 0 0 0 178139 60 0 0 20 0 1 0 344796912 1640992768 396506 33554432000 4194304 8395647 140735972187936 140735972184008 6080688 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2690/statm: 400633 396506 513 1026 0 399603 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1602532
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 2745
/proc/meminfo: memFree=23684664/32873648 swapFree=6852/6852
[pid=2690] ppid=2688 vsize=1604492 CPUtime=1785.2 cores=0,2,4,6
/proc/2690/stat : 2690 (pbscip.linux.x8) R 2688 2690 1632 0 -1 4202496 392756 0 0 0 178459 61 0 0 20 0 1 0 344796912 1642999808 397075 33554432000 4194304 8395647 140735972187936 140735972184008 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2690/statm: 401123 397075 513 1026 0 400093 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 1604492
[startup+1788.7 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 2745
/proc/meminfo: memFree=23679704/32873648 swapFree=6852/6852
[pid=2690] ppid=2688 vsize=1605448 CPUtime=1788.4 cores=0,2,4,6
/proc/2690/stat : 2690 (pbscip.linux.x8) R 2688 2690 1632 0 -1 4202496 393291 0 0 0 178779 61 0 0 20 0 1 0 344796912 1643978752 397610 33554432000 4194304 8395647 140735972187936 140735972184008 4911327 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2690/statm: 401362 397610 513 1026 0 400332 0
Current children cumulated CPU time (s) 1788.4
Current children cumulated vsize (KiB) 1605448
[startup+1789.5 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 2745
/proc/meminfo: memFree=23679704/32873648 swapFree=6852/6852
[pid=2690] ppid=2688 vsize=1605448 CPUtime=1789.2 cores=0,2,4,6
/proc/2690/stat : 2690 (pbscip.linux.x8) R 2688 2690 1632 0 -1 4202496 393317 0 0 0 178859 61 0 0 20 0 1 0 344796912 1643978752 397636 33554432000 4194304 8395647 140735972187936 140735972184008 7385355 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2690/statm: 401362 397636 513 1026 0 400332 0
Current children cumulated CPU time (s) 1789.2
Current children cumulated vsize (KiB) 1605448
[startup+1789.9 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 2745
/proc/meminfo: memFree=23678836/32873648 swapFree=6852/6852
[pid=2690] ppid=2688 vsize=1605448 CPUtime=1789.6 cores=0,2,4,6
/proc/2690/stat : 2690 (pbscip.linux.x8) R 2688 2690 1632 0 -1 4202496 393343 0 0 0 178899 61 0 0 20 0 1 0 344796912 1643978752 397689 33554432000 4194304 8395647 140735972187936 140735972184008 4911327 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2690/statm: 401362 397689 513 1026 0 400332 0
Current children cumulated CPU time (s) 1789.6
Current children cumulated vsize (KiB) 1605448
[startup+1790.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 2745
/proc/meminfo: memFree=23678836/32873648 swapFree=6852/6852
[pid=2690] ppid=2688 vsize=1607480 CPUtime=1790 cores=0,2,4,6
/proc/2690/stat : 2690 (pbscip.linux.x8) R 2688 2690 1632 0 -1 4202496 393708 0 0 0 178939 61 0 0 20 0 1 0 344796912 1646059520 398054 33554432000 4194304 8395647 140735972187936 140735972184008 6345754 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2690/statm: 401870 398054 520 1026 0 400840 0
Current children cumulated CPU time (s) 1790
Current children cumulated vsize (KiB) 1607480
Child status: 0
Real time (s): 1790.38
CPU time (s): 1790.09
CPU user time (s): 1789.42
CPU system time (s): 0.665898
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 1607480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.42
system time used= 0.665898
maximum resident set size= 1592220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 393722
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= 26
involuntary context switches= 1914
runsolver used 2.72259 second user time and 7.15491 second system time
The end