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-3743489-1338784911.opb>
0.38/0.41 c original problem has 40451 variables (40451 bin, 0 int, 0 impl, 0 cont) and 40950 constraints
0.38/0.41 c problem read
0.38/0.41 c presolving settings loaded
0.48/0.59 c presolving:
0.69/0.75 c (round 1) 16164 del vars, 16284 del conss, 125 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10404 impls, 309 clqs
0.69/0.78 c (round 2) 16938 del vars, 17063 del conss, 776 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10808 impls, 308 clqs
0.79/0.81 c (round 3) 17339 del vars, 17464 del conss, 1177 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11476 impls, 308 clqs
0.79/0.84 c (round 4) 17624 del vars, 17749 del conss, 1462 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12550 impls, 308 clqs
0.79/0.87 c (round 5) 17832 del vars, 17957 del conss, 1670 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13794 impls, 308 clqs
0.89/0.90 c (round 6) 18010 del vars, 18135 del conss, 1848 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14688 impls, 308 clqs
0.89/0.93 c (round 7) 18167 del vars, 18292 del conss, 2005 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15270 impls, 308 clqs
0.89/0.96 c (round 8) 18255 del vars, 18380 del conss, 2093 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15934 impls, 308 clqs
0.89/0.98 c (round 9) 18289 del vars, 18414 del conss, 2127 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16466 impls, 308 clqs
1.00/1.01 c (round 10) 18300 del vars, 18425 del conss, 2138 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16724 impls, 308 clqs
35.88/35.91 c (round 11) 18373 del vars, 18491 del conss, 2139 chg bounds, 0 chg sides, 0 chg coeffs, 22394 upgd conss, 5412256 impls, 308 clqs
35.98/36.01 c (round 12) 18373 del vars, 18563 del conss, 2139 chg bounds, 0 chg sides, 0 chg coeffs, 22459 upgd conss, 5412312 impls, 308 clqs
162.77/162.87 c (162.5s) probing: 1000/22150 (4.5%) - 71 fixings, 18 aggregations, 793984 implications, 0 bound changes
270.55/270.62 c (270.2s) probing: 2000/22150 (9.0%) - 76 fixings, 43 aggregations, 2573709 implications, 0 bound changes
290.54/290.69 c (round 13) 18423 del vars, 18563 del conss, 2139 chg bounds, 0 chg sides, 0 chg coeffs, 22459 upgd conss, 12112298 impls, 308 clqs
290.64/290.78 c (round 14) 18423 del vars, 18613 del conss, 2139 chg bounds, 0 chg sides, 0 chg coeffs, 22459 upgd conss, 12112298 impls, 308 clqs
484.51/484.65 c (484.2s) probing: 3000/22150 (13.5%) - 77 fixings, 51 aggregations, 4499466 implications, 0 bound changes
687.06/687.25 c (686.8s) probing: 4000/22150 (18.1%) - 79 fixings, 61 aggregations, 7075423 implications, 0 bound changes
910.23/910.48 c (910.1s) probing: 5000/22150 (22.6%) - 82 fixings, 72 aggregations, 9614116 implications, 0 bound changes
1147.79/1148.05 c (1147.6s) probing: 6000/22150 (27.1%) - 84 fixings, 83 aggregations, 12060363 implications, 0 bound changes
1215.39/1215.65 c (round 15) 18473 del vars, 18613 del conss, 2139 chg bounds, 0 chg sides, 0 chg coeffs, 22459 upgd conss, 33506676 impls, 308 clqs
1215.48/1215.73 c (round 16) 18473 del vars, 18663 del conss, 2139 chg bounds, 0 chg sides, 0 chg coeffs, 22459 upgd conss, 33506676 impls, 308 clqs
1391.15/1391.49 c (1391.1s) probing: 7000/22150 (31.6%) - 87 fixings, 95 aggregations, 14223967 implications, 0 bound changes
1628.01/1628.35 c (1627.9s) probing: 8000/22150 (36.1%) - 91 fixings, 105 aggregations, 16799067 implications, 0 bound changes
1789.70/1790.07 c (1789.7s) probing: 8663/22150 (39.1%) - 92 fixings, 113 aggregations, 18413465 implications, 0 bound changes
1789.70/1790.07 c (1789.7s) probing aborted: solving stopped
1789.70/1790.07 c (round 17) 18506 del vars, 18663 del conss, 2139 chg bounds, 0 chg sides, 0 chg coeffs, 22459 upgd conss, 45042378 impls, 308 clqs
1789.70/1790.07 c presolving (17 rounds):
1789.70/1790.07 c 18506 deleted vars, 18663 deleted constraints, 2139 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1789.70/1790.07 c 45042378 implications, 308 cliques
1789.70/1790.07 c presolving was interrupted.
1789.70/1790.07 c Presolving Time: 1789.55
1789.70/1790.07 c - non default parameters ----------------------------------------------------------------------
1789.70/1790.07 c # SCIP version 1.2.1.3
1789.70/1790.07 c
1789.70/1790.07 c # frequency for displaying node information lines
1789.70/1790.07 c # [type: int, range: [-1,2147483647], default: 100]
1789.70/1790.07 c display/freq = 10000
1789.70/1790.07 c
1789.70/1790.07 c # maximal time in seconds to run
1789.70/1790.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.70/1790.07 c limits/time = 1789.6
1789.70/1790.07 c
1789.70/1790.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1789.70/1790.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.70/1790.07 c limits/memory = 13950
1789.70/1790.07 c
1789.70/1790.07 c # default clock type (1: CPU user seconds, 2: wall clock time)
1789.70/1790.07 c # [type: int, range: [1,2], default: 1]
1789.70/1790.07 c timing/clocktype = 2
1789.70/1790.07 c
1789.70/1790.07 c # should presolving try to simplify inequalities
1789.70/1790.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.70/1790.07 c constraints/linear/simplifyinequalities = TRUE
1789.70/1790.07 c
1789.70/1790.07 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1789.70/1790.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.70/1790.07 c constraints/indicator/addCouplingCons = TRUE
1789.70/1790.07 c
1789.70/1790.07 c # should presolving try to simplify knapsacks
1789.70/1790.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.70/1790.07 c constraints/knapsack/simplifyinequalities = TRUE
1789.70/1790.07 c
1789.70/1790.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1789.70/1790.07 c # [type: int, range: [-1,2147483647], default: -1]
1789.70/1790.07 c separating/rapidlearning/freq = 0
1789.70/1790.07 c
1789.70/1790.07 c -----------------------------------------------------------------------------------------------
1789.70/1790.07 c start solving
1789.70/1790.08 c presolving:
1789.70/1790.08 c presolving (17 rounds):
1789.70/1790.08 c 18506 deleted vars, 18663 deleted constraints, 2139 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1789.70/1790.08 c 45042378 implications, 308 cliques
1789.70/1790.08 c presolving was interrupted.
1789.70/1790.08 c Presolving Time: 1789.56
1789.70/1790.08 c
1789.70/1790.08 c SCIP Status : solving was interrupted [time limit reached]
1789.70/1790.08 c Solving Time (sec) : 1789.68
1789.70/1790.08 c Solving Nodes : 0
1789.70/1790.08 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.70/1790.08 s UNKNOWN
1789.70/1790.08 c SCIP Status : solving was interrupted [time limit reached]
1789.70/1790.08 c Solving Time : 1789.68
1789.70/1790.08 c Original Problem :
1789.70/1790.08 c Problem name : HOME/instance-3743489-1338784911.opb
1789.70/1790.08 c Variables : 40451 (40451 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.70/1790.08 c Constraints : 40950 initial, 40950 maximal
1789.70/1790.08 c Presolved Problem :
1789.70/1790.08 c Problem name : t_HOME/instance-3743489-1338784911.opb
1789.70/1790.08 c Variables : 21945 (21945 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.70/1790.08 c Constraints : 22287 initial, 22287 maximal
1789.70/1790.08 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.70/1790.08 c trivial : 0.02 123 0 0 0 0 0 0 0
1789.70/1790.08 c dualfix : 0.03 16038 0 0 0 0 0 0 0
1789.70/1790.08 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.70/1790.08 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.70/1790.08 c implics : 0.03 0 1 0 0 0 0 0 0
1789.70/1790.08 c probing : 1788.28 92 113 0 0 0 0 0 0
1789.70/1790.08 c knapsack : 0.20 0 0 0 0 0 0 0 0
1789.70/1790.08 c setppc : 0.04 0 0 0 0 0 96 0 0
1789.70/1790.08 c linear : 0.72 2139 0 0 2139 0 18491 0 0
1789.70/1790.08 c logicor : 0.12 0 0 0 0 0 76 0 0
1789.70/1790.08 c root node : - 0 - - 0 - - - -
1789.70/1790.08 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.70/1790.08 c integral : 0 0 0 0 0 0 0 0 0 0
1789.70/1790.08 c knapsack : 0+ 0 121010 0 0 0 0 0 0 0
1789.70/1790.08 c setppc : 0+ 0 121009 0 0 25 0 0 0 0
1789.70/1790.08 c linear : 0+ 0 2304 0 0 0 0 0 0 0
1789.70/1790.08 c logicor : 0+ 0 112909 0 0 5 0 0 0 0
1789.70/1790.08 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.70/1790.08 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.70/1790.08 c integral : 0.00 0.00 0.00 0.00 0.00
1789.70/1790.08 c knapsack : 1456.88 0.00 1456.88 0.00 0.00
1789.70/1790.08 c setppc : 8.78 0.00 8.78 0.00 0.00
1789.70/1790.08 c linear : 0.22 0.00 0.22 0.00 0.00
1789.70/1790.08 c logicor : 36.79 0.00 36.79 0.00 0.00
1789.70/1790.08 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.70/1790.08 c Propagators : Time Calls Cutoffs DomReds
1789.70/1790.08 c vbounds : 0.09 1 0 0
1789.70/1790.08 c rootredcost : 0.08 0 0 0
1789.70/1790.08 c pseudoobj : 0.08 0 0 0
1789.70/1790.08 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.70/1790.08 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1789.70/1790.08 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.70/1790.08 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.70/1790.08 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.70/1790.08 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.70/1790.08 c applied globally : - - - 0 0.0 - - -
1789.70/1790.08 c applied locally : - - - 0 0.0 - - -
1789.89/1790.22 c Time complete: 1789.91.
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-3743489-1338784911/watcher-3743489-1338784911 -o /tmp/evaluation-result-3743489-1338784911/solver-3743489-1338784911 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3743489-1338784911.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: 1.92 1.98 1.99 4/176 2614
/proc/meminfo: memFree=26705644/32873648 swapFree=6852/6852
[pid=2614] ppid=2612 vsize=7916 CPUtime=0 cores=1,3,5,7
/proc/2614/stat : 2614 (pbscip.linux.x8) R 2612 2614 1632 0 -1 4202496 1249 0 0 0 0 0 0 0 20 0 1 0 344617914 8105984 1195 33554432000 4194304 8395647 140735941627568 140736067701032 7385025 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2614/statm: 1979 1195 370 1026 0 949 0
[startup+0.0719361 s]
/proc/loadavg: 1.92 1.98 1.99 4/176 2614
/proc/meminfo: memFree=26705644/32873648 swapFree=6852/6852
[pid=2614] ppid=2612 vsize=29376 CPUtime=0.06 cores=1,3,5,7
/proc/2614/stat : 2614 (pbscip.linux.x8) R 2612 2614 1632 0 -1 4202496 6647 0 0 0 6 0 0 0 20 0 1 0 344617914 30081024 6587 33554432000 4194304 8395647 140735941627568 140736067701032 6347101 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2614/statm: 7344 6587 394 1026 0 6314 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 29376
[startup+0.100337 s]
/proc/loadavg: 1.92 1.98 1.99 4/176 2614
/proc/meminfo: memFree=26705644/32873648 swapFree=6852/6852
[pid=2614] ppid=2612 vsize=31936 CPUtime=0.08 cores=1,3,5,7
/proc/2614/stat : 2614 (pbscip.linux.x8) R 2612 2614 1632 0 -1 4202496 7265 0 0 0 8 0 0 0 20 0 1 0 344617914 32702464 7205 33554432000 4194304 8395647 140735941627568 140736067701032 7430272 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2614/statm: 7984 7205 394 1026 0 6954 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 31936
[startup+0.300233 s]
/proc/loadavg: 1.92 1.98 1.99 4/176 2614
/proc/meminfo: memFree=26705644/32873648 swapFree=6852/6852
[pid=2614] ppid=2612 vsize=52896 CPUtime=0.29 cores=1,3,5,7
/proc/2614/stat : 2614 (pbscip.linux.x8) R 2612 2614 1632 0 -1 4202496 12524 0 0 0 28 1 0 0 20 0 1 0 344617914 54165504 12464 33554432000 4194304 8395647 140735941627568 140736067701032 4423932 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2614/statm: 13224 12464 394 1026 0 12194 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52896
[startup+0.700256 s]
/proc/loadavg: 1.92 1.98 1.99 4/176 2614
/proc/meminfo: memFree=26705644/32873648 swapFree=6852/6852
[pid=2614] ppid=2612 vsize=135144 CPUtime=0.69 cores=1,3,5,7
/proc/2614/stat : 2614 (pbscip.linux.x8) R 2612 2614 1632 0 -1 4202496 32979 0 0 0 65 4 0 0 20 0 1 0 344617914 138387456 32565 33554432000 4194304 8395647 140735941627568 140735941625192 4215509 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2614/statm: 33786 32565 471 1026 0 32756 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 135144
[startup+1.50024 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 2615
/proc/meminfo: memFree=26569244/32873648 swapFree=6852/6852
[pid=2614] ppid=2612 vsize=171704 CPUtime=1.49 cores=1,3,5,7
/proc/2614/stat : 2614 (pbscip.linux.x8) R 2612 2614 1632 0 -1 4202496 42458 0 0 0 144 5 0 0 20 0 1 0 344617914 175824896 41729 33554432000 4194304 8395647 140735941627568 140735941625192 6080661 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2614/statm: 42926 41729 498 1026 0 41896 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 171704
[startup+3.10034 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 2615
/proc/meminfo: memFree=26410508/32873648 swapFree=6852/6852
[pid=2614] ppid=2612 vsize=236908 CPUtime=3.09 cores=1,3,5,7
/proc/2614/stat : 2614 (pbscip.linux.x8) R 2612 2614 1632 0 -1 4202496 57591 0 0 0 302 7 0 0 20 0 1 0 344617914 242593792 56862 33554432000 4194304 8395647 140735941627568 140735941623432 6080679 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2614/statm: 59227 56862 498 1026 0 58197 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 236908
[startup+6.30039 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 2615
/proc/meminfo: memFree=26301300/32873648 swapFree=6852/6852
[pid=2614] ppid=2612 vsize=271912 CPUtime=6.29 cores=1,3,5,7
/proc/2614/stat : 2614 (pbscip.linux.x8) R 2612 2614 1632 0 -1 4202496 65843 0 0 0 621 8 0 0 20 0 1 0 344617914 278437888 65114 33554432000 4194304 8395647 140735941627568 140735941623432 6080675 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2614/statm: 67978 65114 498 1026 0 66948 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 271912
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 2615
/proc/meminfo: memFree=26152656/32873648 swapFree=6852/6852
[pid=2614] ppid=2612 vsize=353648 CPUtime=12.69 cores=1,3,5,7
/proc/2614/stat : 2614 (pbscip.linux.x8) R 2612 2614 1632 0 -1 4202496 85699 0 0 0 1257 12 0 0 20 0 1 0 344617914 362135552 84970 33554432000 4194304 8395647 140735941627568 140735941623432 6080661 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2614/statm: 88412 84970 498 1026 0 87382 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 353648
[startup+25.5005 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 2615
/proc/meminfo: memFree=25964872/32873648 swapFree=6852/6852
[pid=2614] ppid=2612 vsize=460184 CPUtime=25.48 cores=1,3,5,7
/proc/2614/stat : 2614 (pbscip.linux.x8) R 2612 2614 1632 0 -1 4202496 111877 0 0 0 2532 16 0 0 20 0 1 0 344617914 471228416 111148 33554432000 4194304 8395647 140735941627568 140735941623048 6080665 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2614/statm: 115046 111148 498 1026 0 114016 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 460184
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 2615
/proc/meminfo: memFree=25765028/32873648 swapFree=6852/6852
[pid=2614] ppid=2612 vsize=531264 CPUtime=51.08 cores=1,3,5,7
/proc/2614/stat : 2614 (pbscip.linux.x8) R 2612 2614 1632 0 -1 4202496 129090 0 0 0 5089 19 0 0 20 0 1 0 344617914 544014336 128361 33554432000 4194304 8395647 140735941627568 140735941623592 4911327 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2614/statm: 132816 128361 507 1026 0 131786 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 531264
[startup+102.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 2616
/proc/meminfo: memFree=25517196/32873648 swapFree=6852/6852
[pid=2614] ppid=2612 vsize=531788 CPUtime=102.28 cores=1,3,5,7
/proc/2614/stat : 2614 (pbscip.linux.x8) R 2612 2614 1632 0 -1 4202496 129228 0 0 0 10209 19 0 0 20 0 1 0 344617914 544550912 128499 33554432000 4194304 8395647 140735941627568 140735941623432 4911325 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2614/statm: 132947 128499 507 1026 0 131917 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 531788
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/176 2616
/proc/meminfo: memFree=25468624/32873648 swapFree=6852/6852
[pid=2614] ppid=2612 vsize=579084 CPUtime=162.26 cores=1,3,5,7
/proc/2614/stat : 2614 (pbscip.linux.x8) R 2612 2614 1632 0 -1 4202496 140557 0 0 0 16205 21 0 0 20 0 1 0 344617914 592982016 139828 33554432000 4194304 8395647 140735941627568 140735941623256 5210338 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2614/statm: 144771 139828 507 1026 0 143741 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 579084
[startup+222.307 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 2617
/proc/meminfo: memFree=25394508/32873648 swapFree=6852/6852
[pid=2614] ppid=2612 vsize=648212 CPUtime=222.26 cores=1,3,5,7
/proc/2614/stat : 2614 (pbscip.linux.x8) R 2612 2614 1632 0 -1 4202496 158338 0 0 0 22201 25 0 0 20 0 1 0 344617914 663769088 157609 33554432000 4194304 8395647 140735941627568 140735941623640 4911325 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2614/statm: 162053 157609 513 1026 0 161023 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 648212
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 2617
/proc/meminfo: memFree=25334396/32873648 swapFree=6852/6852
[pid=2614] ppid=2612 vsize=708008 CPUtime=282.24 cores=1,3,5,7
/proc/2614/stat : 2614 (pbscip.linux.x8) R 2612 2614 1632 0 -1 4202496 172991 0 0 0 28197 27 0 0 20 0 1 0 344617914 725000192 172262 33554432000 4194304 8395647 140735941627568 140735941623640 4911287 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2614/statm: 177002 172262 513 1026 0 175972 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 708008
[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 2617
/proc/meminfo: memFree=25304420/32873648 swapFree=6852/6852
[pid=2614] ppid=2612 vsize=722068 CPUtime=342.23 cores=1,3,5,7
/proc/2614/stat : 2614 (pbscip.linux.x8) R 2612 2614 1632 0 -1 4202496 176468 0 0 0 34196 27 0 0 20 0 1 0 344617914 739397632 175739 33554432000 4194304 8395647 140735941627568 140735941623640 4911325 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2614/statm: 180517 175739 513 1026 0 179487 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 722068
[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 2618
/proc/meminfo: memFree=25259560/32873648 swapFree=6852/6852
[pid=2614] ppid=2612 vsize=749272 CPUtime=402.23 cores=1,3,5,7
/proc/2614/stat : 2614 (pbscip.linux.x8) R 2612 2614 1632 0 -1 4202496 183426 0 0 0 40194 29 0 0 20 0 1 0 344617914 767254528 182697 33554432000 4194304 8395647 140735941627568 140735941623640 4911327 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2614/statm: 187318 182697 513 1026 0 186288 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 749272
[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 2618
/proc/meminfo: memFree=25204036/32873648 swapFree=6852/6852
[pid=2614] ppid=2612 vsize=799876 CPUtime=462.21 cores=1,3,5,7
/proc/2614/stat : 2614 (pbscip.linux.x8) R 2612 2614 1632 0 -1 4202496 195783 0 0 0 46190 31 0 0 20 0 1 0 344617914 819073024 195054 33554432000 4194304 8395647 140735941627568 140735941623640 6080692 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2614/statm: 199969 195054 513 1026 0 198939 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 799876
[startup+522.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 2621
/proc/meminfo: memFree=25148000/32873648 swapFree=6852/6852
[pid=2614] ppid=2612 vsize=841072 CPUtime=522.21 cores=1,3,5,7
/proc/2614/stat : 2614 (pbscip.linux.x8) R 2612 2614 1632 0 -1 4202496 206624 0 0 0 52187 34 0 0 20 0 1 0 344617914 861257728 205933 33554432000 4194304 8395647 140735941627568 140735941623432 4911307 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2614/statm: 210268 205933 513 1026 0 209238 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 841072
[startup+582.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 2621
/proc/meminfo: memFree=25059784/32873648 swapFree=6852/6852
[pid=2614] ppid=2612 vsize=885188 CPUtime=582.18 cores=1,3,5,7
/proc/2614/stat : 2614 (pbscip.linux.x8) R 2612 2614 1632 0 -1 4202496 217686 0 0 0 58182 36 0 0 20 0 1 0 344617914 906432512 217279 33554432000 4194304 8395647 140735941627568 140735941623640 6080705 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2614/statm: 221297 217279 513 1026 0 220267 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 885188
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=24361864/32873648 swapFree=6852/6852
[pid=2614] ppid=2612 vsize=1164496 CPUtime=1002.12 cores=1,3,5,7
/proc/2614/stat : 2614 (pbscip.linux.x8) R 2612 2614 1632 0 -1 4202496 286963 0 0 0 100164 48 0 0 20 0 1 0 344617914 1192443904 288531 33554432000 4194304 8395647 140735941627568 140735941623640 4911335 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2614/statm: 291124 288531 513 1026 0 290094 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 1164496
[startup+1062.3 s]
/proc/loadavg: 2.07 2.00 2.00 3/177 2623
/proc/meminfo: memFree=24285260/32873648 swapFree=6852/6852
[pid=2614] ppid=2612 vsize=1200244 CPUtime=1062.11 cores=1,3,5,7
/proc/2614/stat : 2614 (pbscip.linux.x8) R 2612 2614 1632 0 -1 4202496 295451 0 0 0 106161 50 0 0 20 0 1 0 344617914 1229049856 297207 33554432000 4194304 8395647 140735941627568 140735941623432 4911325 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2614/statm: 300061 297207 513 1026 0 299031 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 1200244
[startup+1122.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/178 2626
/proc/meminfo: memFree=24213980/32873648 swapFree=6852/6852
[pid=2614] ppid=2612 vsize=1231172 CPUtime=1122.09 cores=1,3,5,7
/proc/2614/stat : 2614 (pbscip.linux.x8) R 2612 2614 1632 0 -1 4202496 302982 0 0 0 112157 52 0 0 20 0 1 0 344617914 1260720128 305249 33554432000 4194304 8395647 140735941627568 140735941623432 4911307 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2614/statm: 307793 305249 513 1026 0 306763 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 1231172
[startup+1182.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 2648
/proc/meminfo: memFree=24131052/32873648 swapFree=6852/6852
[pid=2614] ppid=2612 vsize=1268108 CPUtime=1182.08 cores=1,3,5,7
/proc/2614/stat : 2614 (pbscip.linux.x8) R 2612 2614 1632 0 -1 4202496 311931 0 0 0 118154 54 0 0 20 0 1 0 344617914 1298542592 314586 33554432000 4194304 8395647 140735941627568 140735941623640 4911325 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2614/statm: 317027 314586 513 1026 0 315997 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 1268108
[startup+1242.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 2648
/proc/meminfo: memFree=24096008/32873648 swapFree=6852/6852
[pid=2614] ppid=2612 vsize=1295116 CPUtime=1242.07 cores=1,3,5,7
/proc/2614/stat : 2614 (pbscip.linux.x8) R 2612 2614 1632 0 -1 4202496 318818 0 0 0 124152 55 0 0 20 0 1 0 344617914 1326198784 322040 33554432000 4194304 8395647 140735941627568 140735941623640 4911325 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2614/statm: 323779 322040 513 1026 0 322749 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 1295116
[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 2649
/proc/meminfo: memFree=24060452/32873648 swapFree=6852/6852
[pid=2614] ppid=2612 vsize=1321120 CPUtime=1302.06 cores=1,3,5,7
/proc/2614/stat : 2614 (pbscip.linux.x8) R 2612 2614 1632 0 -1 4202496 324893 0 0 0 130150 56 0 0 20 0 1 0 344617914 1352826880 329214 33554432000 4194304 8395647 140735941627568 140735941623640 4911287 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2614/statm: 330280 329214 513 1026 0 329250 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 1321120
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 2649
/proc/meminfo: memFree=24022996/32873648 swapFree=6852/6852
[pid=2614] ppid=2612 vsize=1352004 CPUtime=1362.06 cores=1,3,5,7
/proc/2614/stat : 2614 (pbscip.linux.x8) R 2612 2614 1632 0 -1 4202496 332137 0 0 0 136148 58 0 0 20 0 1 0 344617914 1384452096 336458 33554432000 4194304 8395647 140735941627568 140735941623640 4911325 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2614/statm: 338001 336458 513 1026 0 336971 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1352004
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2649
/proc/meminfo: memFree=23976744/32873648 swapFree=6852/6852
[pid=2614] ppid=2612 vsize=1385880 CPUtime=1422.05 cores=1,3,5,7
/proc/2614/stat : 2614 (pbscip.linux.x8) R 2612 2614 1632 0 -1 4202496 340107 0 0 0 142146 59 0 0 20 0 1 0 344617914 1419141120 344428 33554432000 4194304 8395647 140735941627568 140735941623640 4911287 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2614/statm: 346470 344428 513 1026 0 345440 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 1385880
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2649
/proc/meminfo: memFree=23905568/32873648 swapFree=6852/6852
[pid=2614] ppid=2612 vsize=1417748 CPUtime=1482.03 cores=1,3,5,7
/proc/2614/stat : 2614 (pbscip.linux.x8) R 2612 2614 1632 0 -1 4202496 347986 0 0 0 148143 60 0 0 20 0 1 0 344617914 1451773952 352307 33554432000 4194304 8395647 140735941627568 140735941623640 4911287 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2614/statm: 354437 352307 513 1026 0 353407 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 1417748
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2649
/proc/meminfo: memFree=23840224/32873648 swapFree=6852/6852
[pid=2614] ppid=2612 vsize=1453488 CPUtime=1542.04 cores=1,3,5,7
/proc/2614/stat : 2614 (pbscip.linux.x8) R 2612 2614 1632 0 -1 4202496 356295 0 0 0 154142 62 0 0 20 0 1 0 344617914 1488371712 360616 33554432000 4194304 8395647 140735941627568 140735941623640 6080688 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2614/statm: 363372 360616 513 1026 0 362342 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1453488
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2650
/proc/meminfo: memFree=23764460/32873648 swapFree=6852/6852
[pid=2614] ppid=2612 vsize=1491112 CPUtime=1602.02 cores=1,3,5,7
/proc/2614/stat : 2614 (pbscip.linux.x8) R 2612 2614 1632 0 -1 4202496 365417 0 0 0 160138 64 0 0 20 0 1 0 344617914 1526898688 369738 33554432000 4194304 8395647 140735941627568 140735941623256 6080661 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2614/statm: 372778 369738 513 1026 0 371748 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1491112
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2650
/proc/meminfo: memFree=23710644/32873648 swapFree=6852/6852
[pid=2614] ppid=2612 vsize=1515084 CPUtime=1662.02 cores=1,3,5,7
/proc/2614/stat : 2614 (pbscip.linux.x8) R 2612 2614 1632 0 -1 4202496 371727 0 0 0 166137 65 0 0 20 0 1 0 344617914 1551446016 376048 33554432000 4194304 8395647 140735941627568 140735941623640 4911325 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2614/statm: 378771 376048 513 1026 0 377741 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1515084
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 2653
/proc/meminfo: memFree=23639340/32873648 swapFree=6852/6852
[pid=2614] ppid=2612 vsize=1552652 CPUtime=1722 cores=1,3,5,7
/proc/2614/stat : 2614 (pbscip.linux.x8) R 2612 2614 1632 0 -1 4202496 380850 0 0 0 172134 66 0 0 20 0 1 0 344617914 1589915648 385171 33554432000 4194304 8395647 140735941627568 140735941623640 4911325 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2614/statm: 388163 385171 513 1026 0 387133 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1552652
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2653
/proc/meminfo: memFree=23572760/32873648 swapFree=6852/6852
[pid=2614] ppid=2612 vsize=1585564 CPUtime=1781.99 cores=1,3,5,7
/proc/2614/stat : 2614 (pbscip.linux.x8) R 2612 2614 1632 0 -1 4202496 389072 0 0 0 178132 67 0 0 20 0 1 0 344617914 1623617536 393393 33554432000 4194304 8395647 140735941627568 140735941623640 4911325 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2614/statm: 396391 393393 513 1026 0 395361 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1585564
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2653
/proc/meminfo: memFree=23569412/32873648 swapFree=6852/6852
[pid=2614] ppid=2612 vsize=1585564 CPUtime=1785.3 cores=1,3,5,7
/proc/2614/stat : 2614 (pbscip.linux.x8) R 2612 2614 1632 0 -1 4202496 389076 0 0 0 178462 68 0 0 20 0 1 0 344617914 1623617536 393397 33554432000 4194304 8395647 140735941627568 140735941623640 4911307 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2614/statm: 396391 393397 513 1026 0 395361 0
Current children cumulated CPU time (s) 1785.3
Current children cumulated vsize (KiB) 1585564
[startup+1788.8 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2653
/proc/meminfo: memFree=23564948/32873648 swapFree=6852/6852
[pid=2614] ppid=2612 vsize=1588556 CPUtime=1788.5 cores=1,3,5,7
/proc/2614/stat : 2614 (pbscip.linux.x8) R 2612 2614 1632 0 -1 4202496 389515 0 0 0 178782 68 0 0 20 0 1 0 344617914 1626681344 393836 33554432000 4194304 8395647 140735941627568 140735941623432 4911325 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2614/statm: 397139 393836 513 1026 0 396109 0
Current children cumulated CPU time (s) 1788.5
Current children cumulated vsize (KiB) 1588556
[startup+1789.6 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2653
/proc/meminfo: memFree=23564948/32873648 swapFree=6852/6852
[pid=2614] ppid=2612 vsize=1588556 CPUtime=1789.3 cores=1,3,5,7
/proc/2614/stat : 2614 (pbscip.linux.x8) R 2612 2614 1632 0 -1 4202496 389593 0 0 0 178862 68 0 0 20 0 1 0 344617914 1626681344 393914 33554432000 4194304 8395647 140735941627568 140735941623432 4911325 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2614/statm: 397139 393914 513 1026 0 396109 0
Current children cumulated CPU time (s) 1789.3
Current children cumulated vsize (KiB) 1588556
[startup+1790 s]
/proc/loadavg: 2.01 2.01 2.00 3/174 2663
/proc/meminfo: memFree=25259808/32873648 swapFree=6852/6852
[pid=2614] ppid=2612 vsize=1588556 CPUtime=1789.7 cores=1,3,5,7
/proc/2614/stat : 2614 (pbscip.linux.x8) R 2612 2614 1632 0 -1 4202496 389643 0 0 0 178902 68 0 0 20 0 1 0 344617914 1626681344 393964 33554432000 4194304 8395647 140735941627568 140735941623432 4911325 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2614/statm: 397139 393964 513 1026 0 396109 0
Current children cumulated CPU time (s) 1789.7
Current children cumulated vsize (KiB) 1588556
[startup+1790.2 s]
/proc/loadavg: 2.01 2.01 2.00 3/174 2663
/proc/meminfo: memFree=25259808/32873648 swapFree=6852/6852
[pid=2614] ppid=2612 vsize=528720 CPUtime=1789.89 cores=1,3,5,7
/proc/2614/stat : 2614 (pbscip.linux.x8) R 2612 2614 1632 0 -1 4202496 389931 0 0 0 178920 69 0 0 20 0 1 0 344617914 541409280 131415 33554432000 4194304 8395647 140735941627568 140735941623432 7182347 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2614/statm: 132180 131415 521 1026 0 131150 0
Current children cumulated CPU time (s) 1789.89
Current children cumulated vsize (KiB) 528720
Child status: 0
Real time (s): 1790.22
CPU time (s): 1789.92
CPU user time (s): 1789.22
CPU system time (s): 0.706892
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 1589580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.22
system time used= 0.706892
maximum resident set size= 1577004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 389944
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= 39
involuntary context switches= 1839
runsolver used 3.04754 second user time and 9.2006 second system time
The end