0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 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-3489757-1307792859.opb>
1.39/1.43 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256080 constraints
1.39/1.43 c problem read
1.39/1.43 c presolving settings loaded
1.89/1.91 c presolving:
10.19/10.24 c (round 1) 8415 del vars, 24630 del conss, 0 add conss, 6727 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17108448 impls, 0 clqs
14.69/14.75 c (round 2) 15696 del vars, 57449 del conss, 0 add conss, 13637 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17153467 impls, 0 clqs
16.19/16.23 c (round 3) 18675 del vars, 71135 del conss, 0 add conss, 15416 chg bounds, 28 chg sides, 40 chg coeffs, 0 upgd conss, 17176968 impls, 0 clqs
17.09/17.10 c (round 4) 20163 del vars, 77277 del conss, 0 add conss, 16434 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17190663 impls, 0 clqs
17.69/17.75 c (round 5) 21434 del vars, 82152 del conss, 0 add conss, 17262 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17206416 impls, 0 clqs
18.09/18.19 c (round 6) 22312 del vars, 85677 del conss, 0 add conss, 17788 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17216560 impls, 0 clqs
18.49/18.53 c (round 7) 22952 del vars, 88212 del conss, 0 add conss, 18165 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17224525 impls, 0 clqs
18.69/18.78 c (round 8) 23423 del vars, 90155 del conss, 0 add conss, 18437 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17230881 impls, 0 clqs
18.89/18.96 c (round 9) 23737 del vars, 91434 del conss, 0 add conss, 18607 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17235664 impls, 0 clqs
18.99/19.08 c (round 10) 23908 del vars, 92234 del conss, 0 add conss, 18698 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17238307 impls, 0 clqs
19.19/19.21 c (round 11) 24017 del vars, 92705 del conss, 0 add conss, 18756 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17239760 impls, 0 clqs
19.19/19.29 c (round 12) 24066 del vars, 92963 del conss, 0 add conss, 18777 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17240509 impls, 0 clqs
19.29/19.36 c (round 13) 24092 del vars, 93088 del conss, 0 add conss, 18791 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17240891 impls, 0 clqs
19.39/19.44 c (round 14) 24110 del vars, 93170 del conss, 0 add conss, 18797 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17241014 impls, 0 clqs
19.39/19.49 c (round 15) 24114 del vars, 93200 del conss, 0 add conss, 18798 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17241032 impls, 0 clqs
20.09/20.15 c (round 16) 24114 del vars, 93204 del conss, 0 add conss, 18798 chg bounds, 30 chg sides, 42 chg coeffs, 162876 upgd conss, 17241032 impls, 0 clqs
801.41/801.49 c (801.5s) probing: 1000/48728 (2.1%) - 15 fixings, 9 aggregations, 13101516 implications, 0 bound changes
1443.93/1443.90 c (1443.9s) probing: 2000/48728 (4.1%) - 29 fixings, 10 aggregations, 21495169 implications, 0 bound changes
1797.03/1797.08 c (1797.1s) probing: 2669/48728 (5.5%) - 29 fixings, 12 aggregations, 26579574 implications, 0 bound changes
1797.03/1797.08 c (1797.1s) probing aborted: solving stopped
1797.03/1797.08 c (round 17) 24155 del vars, 93204 del conss, 2 add conss, 18798 chg bounds, 40 chg sides, 167 chg coeffs, 162876 upgd conss, 117958834 impls, 0 clqs
1797.03/1797.08 c presolving (17 rounds):
1797.03/1797.08 c 24155 deleted vars, 93204 deleted constraints, 2 added constraints, 18798 tightened bounds, 0 added holes, 40 changed sides, 167 changed coefficients
1797.03/1797.08 c 117958834 implications, 0 cliques
1797.03/1797.08 c presolving was interrupted.
1797.03/1797.08 c Presolving Time: 1795.29
1797.03/1797.08 c - non default parameters ----------------------------------------------------------------------
1797.03/1797.08 c # SCIP version 2.0.1.5
1797.03/1797.08 c
1797.03/1797.08 c # frequency for displaying node information lines
1797.03/1797.08 c # [type: int, range: [-1,2147483647], default: 100]
1797.03/1797.08 c display/freq = 10000
1797.03/1797.08 c
1797.03/1797.08 c # maximal time in seconds to run
1797.03/1797.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.03/1797.08 c limits/time = 1797
1797.03/1797.08 c
1797.03/1797.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1797.03/1797.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.03/1797.08 c limits/memory = 13950
1797.03/1797.08 c
1797.03/1797.08 c # default clock type (1: CPU user seconds, 2: wall clock time)
1797.03/1797.08 c # [type: int, range: [1,2], default: 1]
1797.03/1797.08 c timing/clocktype = 2
1797.03/1797.08 c
1797.03/1797.08 c # belongs reading time to solving time?
1797.03/1797.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.03/1797.08 c timing/reading = TRUE
1797.03/1797.08 c
1797.03/1797.08 c # should presolving try to simplify inequalities
1797.03/1797.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.03/1797.08 c constraints/linear/simplifyinequalities = TRUE
1797.03/1797.08 c
1797.03/1797.08 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1797.03/1797.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.03/1797.08 c constraints/indicator/addCouplingCons = TRUE
1797.03/1797.08 c
1797.03/1797.08 c # should presolving try to simplify knapsacks
1797.03/1797.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.03/1797.08 c constraints/knapsack/simplifyinequalities = TRUE
1797.03/1797.08 c
1797.03/1797.08 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1797.03/1797.08 c # [type: int, range: [-1,2147483647], default: -1]
1797.03/1797.08 c separating/rapidlearning/freq = 0
1797.03/1797.08 c
1797.03/1797.08 c -----------------------------------------------------------------------------------------------
1797.03/1797.08 c start solving
1797.13/1797.11 c presolving:
1797.13/1797.11 c presolving (17 rounds):
1797.13/1797.11 c 24155 deleted vars, 93204 deleted constraints, 2 added constraints, 18798 tightened bounds, 0 added holes, 40 changed sides, 167 changed coefficients
1797.13/1797.11 c 117958834 implications, 0 cliques
1797.13/1797.11 c presolving was interrupted.
1797.13/1797.11 c Presolving Time: 1795.33
1797.13/1797.11 c
1797.13/1797.11 c SCIP Status : solving was interrupted [time limit reached]
1797.13/1797.11 c Solving Time (sec) : 1797.11
1797.13/1797.11 c Solving Nodes : 0
1797.13/1797.11 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.13/1797.11 s UNKNOWN
1797.13/1797.11 c SCIP Status : solving was interrupted [time limit reached]
1797.13/1797.11 c Total Time : 1797.11
1797.13/1797.11 c solving : 1797.11
1797.13/1797.11 c presolving : 1795.33 (included in solving)
1797.13/1797.11 c reading : 1.43 (included in solving)
1797.13/1797.11 c Original Problem :
1797.13/1797.11 c Problem name : HOME/instance-3489757-1307792859.opb
1797.13/1797.11 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.13/1797.11 c Constraints : 256080 initial, 256080 maximal
1797.13/1797.11 c Presolved Problem :
1797.13/1797.11 c Problem name : t_HOME/instance-3489757-1307792859.opb
1797.13/1797.11 c Variables : 48687 (48687 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.13/1797.11 c Constraints : 162878 initial, 162878 maximal
1797.13/1797.11 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.13/1797.11 c trivial : 0.05 1157 0 0 0 0 0 0 0 0
1797.13/1797.11 c dualfix : 0.08 121 0 0 0 0 0 0 0 0
1797.13/1797.11 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.13/1797.11 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.13/1797.11 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.13/1797.11 c implics : 0.53 0 0 0 0 0 0 0 0 0
1797.13/1797.11 c probing : 1775.97 29 12 0 0 0 0 0 0 0
1797.13/1797.11 c knapsack : 0.71 0 0 0 0 0 0 2 10 125
1797.13/1797.11 c setppc : 0.19 0 0 0 0 0 0 0 0 0
1797.13/1797.11 c linear : 17.38 17641 5195 0 18798 0 93204 0 30 42
1797.13/1797.11 c logicor : 0.03 0 0 0 0 0 0 0 0 0
1797.13/1797.11 c root node : - 0 - - 0 - - - - -
1797.13/1797.11 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.13/1797.11 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1797.13/1797.11 c knapsack : 0+ 0 129486 0 0 0 0 8 0 0 0 0
1797.13/1797.11 c setppc : 0+ 0 129478 0 0 0 0 6 0 0 0 0
1797.13/1797.11 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1797.13/1797.11 c logicor : 0+ 0 116627 0 0 0 0 0 0 0 0 0
1797.13/1797.11 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1797.13/1797.11 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.13/1797.11 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.13/1797.11 c knapsack : 9.24 0.00 9.24 0.00 0.00 0.00 0.00
1797.13/1797.11 c setppc : 700.10 0.00 700.10 0.00 0.00 0.00 0.00
1797.13/1797.11 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.13/1797.11 c logicor : 8.98 0.00 8.98 0.00 0.00 0.00 0.00
1797.13/1797.11 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.13/1797.11 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.13/1797.11 c vbounds : 0 0 0 0
1797.13/1797.11 c rootredcost : 0 0 0 0
1797.13/1797.11 c pseudoobj : 0 0 0 0
1797.13/1797.11 c Propagator Timings : TotalTime Propagate Resprop
1797.13/1797.11 c vbounds : 0.05 0.05 0.00
1797.13/1797.11 c rootredcost : 0.03 0.03 0.00
1797.13/1797.11 c pseudoobj : 0.02 0.02 0.00
1797.13/1797.11 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.13/1797.11 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.13/1797.11 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.13/1797.11 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.13/1797.11 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.13/1797.11 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.13/1797.11 c applied globally : - - - 0 0.0 - - -
1797.13/1797.11 c applied locally : - - - 0 0.0 - - -
1797.73/1797.70 c Time complete: 1797.73.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3489757-1307792859/watcher-3489757-1307792859 -o /tmp/evaluation-result-3489757-1307792859/solver-3489757-1307792859 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489757-1307792859.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: 2.00 1.98 1.91 2/177 943
/proc/meminfo: memFree=30140056/32950928 swapFree=67055156/67111528
[pid=943] ppid=941 vsize=9316 CPUtime=0 cores=1,3,5,7
/proc/943/stat : 943 (scip-2.0.1.4b_2) R 941 943 30017 0 -1 4202496 1442 0 0 0 0 0 0 0 25 0 1 0 890885728 9539584 1396 33554432000 4194304 9016284 140735227648192 18446744073709551615 6287696 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/943/statm: 2329 1402 302 1178 0 1147 0
[startup+0.0488759 s]
/proc/loadavg: 2.00 1.98 1.91 2/177 943
/proc/meminfo: memFree=30140056/32950928 swapFree=67055156/67111528
[pid=943] ppid=941 vsize=23204 CPUtime=0.04 cores=1,3,5,7
/proc/943/stat : 943 (scip-2.0.1.4b_2) R 941 943 30017 0 -1 4202496 4775 0 0 0 4 0 0 0 25 0 1 0 890885728 23760896 4729 33554432000 4194304 9016284 140735227648192 18446744073709551615 7875152 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/943/statm: 5801 4729 360 1178 0 4619 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 23204
[startup+0.100866 s]
/proc/loadavg: 2.00 1.98 1.91 2/177 943
/proc/meminfo: memFree=30140056/32950928 swapFree=67055156/67111528
[pid=943] ppid=941 vsize=32396 CPUtime=0.09 cores=1,3,5,7
/proc/943/stat : 943 (scip-2.0.1.4b_2) R 941 943 30017 0 -1 4202496 7099 0 0 0 9 0 0 0 25 0 1 0 890885728 33173504 7053 33554432000 4194304 9016284 140735227648192 18446744073709551615 7851340 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/943/statm: 8099 7053 360 1178 0 6917 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32396
[startup+0.300831 s]
/proc/loadavg: 2.00 1.98 1.91 2/177 943
/proc/meminfo: memFree=30140056/32950928 swapFree=67055156/67111528
[pid=943] ppid=941 vsize=59144 CPUtime=0.29 cores=1,3,5,7
/proc/943/stat : 943 (scip-2.0.1.4b_2) R 941 943 30017 0 -1 4202496 13786 0 0 0 28 1 0 0 25 0 1 0 890885728 60563456 13740 33554432000 4194304 9016284 140735227648192 18446744073709551615 7870463 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/943/statm: 14786 13740 360 1178 0 13604 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59144
[startup+0.70076 s]
/proc/loadavg: 2.00 1.98 1.91 2/177 943
/proc/meminfo: memFree=30140056/32950928 swapFree=67055156/67111528
[pid=943] ppid=941 vsize=88832 CPUtime=0.69 cores=1,3,5,7
/proc/943/stat : 943 (scip-2.0.1.4b_2) R 941 943 30017 0 -1 4202496 21208 0 0 0 67 2 0 0 25 0 1 0 890885728 90963968 21162 33554432000 4194304 9016284 140735227648192 18446744073709551615 4536490 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/943/statm: 22208 21162 360 1178 0 21026 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88832
[startup+1.50062 s]
/proc/loadavg: 2.00 1.98 1.91 3/178 944
/proc/meminfo: memFree=30023524/32950928 swapFree=67055156/67111528
[pid=943] ppid=941 vsize=230716 CPUtime=1.49 cores=1,3,5,7
/proc/943/stat : 943 (scip-2.0.1.4b_2) R 941 943 30017 0 -1 4202496 56523 0 0 0 143 6 0 0 25 0 1 0 890885728 236253184 56459 33554432000 4194304 9016284 140735227648192 18446744073709551615 7875499 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/943/statm: 57722 56519 406 1178 0 56540 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 230716
[startup+3.1004 s]
/proc/loadavg: 2.00 1.98 1.91 3/178 944
/proc/meminfo: memFree=29739564/32950928 swapFree=67055156/67111528
[pid=943] ppid=941 vsize=514432 CPUtime=3.09 cores=1,3,5,7
/proc/943/stat : 943 (scip-2.0.1.4b_2) R 941 943 30017 0 -1 4202496 126322 0 0 0 296 13 0 0 25 0 1 0 890885728 526778368 126257 33554432000 4194304 9016284 140735227648192 18446744073709551615 6480229 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/943/statm: 128608 126257 485 1178 0 127426 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 514432
[startup+6.30077 s]
/proc/loadavg: 2.00 1.98 1.91 3/178 944
/proc/meminfo: memFree=29462668/32950928 swapFree=67055156/67111528
[pid=943] ppid=941 vsize=726976 CPUtime=6.29 cores=1,3,5,7
/proc/943/stat : 943 (scip-2.0.1.4b_2) R 941 943 30017 0 -1 4202496 179077 0 0 0 611 18 0 0 25 0 1 0 890885728 744423424 179012 33554432000 4194304 9016284 140735227648192 18446744073709551615 6480425 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/943/statm: 181744 179012 485 1178 0 180562 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 726976
[startup+12.7006 s]
/proc/loadavg: 2.00 1.98 1.91 3/178 944
/proc/meminfo: memFree=29229944/32950928 swapFree=67055156/67111528
[pid=943] ppid=941 vsize=903328 CPUtime=12.69 cores=1,3,5,7
/proc/943/stat : 943 (scip-2.0.1.4b_2) R 941 943 30017 0 -1 4202496 220793 0 0 0 1246 23 0 0 25 0 1 0 890885728 925007872 220471 33554432000 4194304 9016284 140735227648192 18446744073709551615 6481192 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/943/statm: 225832 220471 496 1178 0 224650 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 903328
[startup+25.5004 s]
/proc/loadavg: 2.00 1.98 1.91 3/178 945
/proc/meminfo: memFree=29140664/32950928 swapFree=67055156/67111528
[pid=943] ppid=941 vsize=969160 CPUtime=25.49 cores=1,3,5,7
/proc/943/stat : 943 (scip-2.0.1.4b_2) R 941 943 30017 0 -1 4202496 251039 0 0 0 2521 28 0 0 25 0 1 0 890885728 992419840 236531 33554432000 4194304 9016284 140735227648192 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/943/statm: 242290 236531 583 1178 0 241108 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 969160
[startup+51.1009 s]
/proc/loadavg: 2.06 2.00 1.91 3/178 945
/proc/meminfo: memFree=29049864/32950928 swapFree=67055156/67111528
[pid=943] ppid=941 vsize=1012656 CPUtime=51.1 cores=1,3,5,7
/proc/943/stat : 943 (scip-2.0.1.4b_2) R 941 943 30017 0 -1 4202496 261546 0 0 0 5080 30 0 0 25 0 1 0 890885728 1036959744 247005 33554432000 4194304 9016284 140735227648192 18446744073709551615 6480241 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/943/statm: 253164 247005 583 1178 0 251982 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 1012656
[startup+102.307 s]
/proc/loadavg: 2.02 2.00 1.91 3/178 947
/proc/meminfo: memFree=28774288/32950928 swapFree=67055156/67111528
[pid=943] ppid=941 vsize=1086468 CPUtime=102.29 cores=1,3,5,7
/proc/943/stat : 943 (scip-2.0.1.4b_2) R 941 943 30017 0 -1 4202496 279395 0 0 0 10198 31 0 0 25 0 1 0 890885728 1112543232 264854 33554432000 4194304 9016284 140735227648192 18446744073709551615 6480180 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/943/statm: 271617 264854 583 1178 0 270435 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1086468
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/178 948
/proc/meminfo: memFree=28470092/32950928 swapFree=67055156/67111528
[pid=943] ppid=941 vsize=1215696 CPUtime=162.29 cores=1,3,5,7
/proc/943/stat : 943 (scip-2.0.1.4b_2) R 941 943 30017 0 -1 4202496 311288 0 0 0 16193 36 0 0 25 0 1 0 890885728 1244872704 296747 33554432000 4194304 9016284 140735227648192 18446744073709551615 5511040 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/943/statm: 303924 296747 583 1178 0 302742 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1215696
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 950
/proc/meminfo: memFree=28117636/32950928 swapFree=67055156/67111528
[pid=943] ppid=941 vsize=1410028 CPUtime=222.3 cores=1,3,5,7
/proc/943/stat : 943 (scip-2.0.1.4b_2) R 941 943 30017 0 -1 4202496 359150 0 0 0 22189 41 0 0 25 0 1 0 890885728 1443868672 344609 33554432000 4194304 9016284 140735227648192 18446744073709551615 6476118 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/943/statm: 352507 344609 583 1178 0 351325 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1410028
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 951
/proc/meminfo: memFree=27796064/32950928 swapFree=67055156/67111528
[pid=943] ppid=941 vsize=1584900 CPUtime=282.3 cores=1,3,5,7
/proc/943/stat : 943 (scip-2.0.1.4b_2) R 941 943 30017 0 -1 4202496 402332 0 0 0 28185 45 0 0 25 0 1 0 890885728 1622937600 387791 33554432000 4194304 9016284 140735227648192 18446744073709551615 6480360 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/943/statm: 396225 387791 583 1178 0 395043 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1584900
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 953
/proc/meminfo: memFree=27419188/32950928 swapFree=67055156/67111528
[pid=943] ppid=941 vsize=1749176 CPUtime=342.3 cores=1,3,5,7
/proc/943/stat : 943 (scip-2.0.1.4b_2) R 941 943 30017 0 -1 4202496 442776 0 0 0 34180 50 0 0 25 0 1 0 890885728 1791156224 428235 33554432000 4194304 9016284 140735227648192 18446744073709551615 6480241 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/943/statm: 437294 428235 583 1178 0 436112 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1749176
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 955
/proc/meminfo: memFree=27150556/32950928 swapFree=67055156/67111528
[pid=943] ppid=941 vsize=1917868 CPUtime=402.3 cores=1,3,5,7
/proc/943/stat : 943 (scip-2.0.1.4b_2) R 941 943 30017 0 -1 4202496 484465 0 0 0 40174 56 0 0 25 0 1 0 890885728 1963896832 469924 33554432000 4194304 9016284 140735227648192 18446744073709551615 6480376 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/943/statm: 479467 469924 583 1178 0 478285 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1917868
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 956
/proc/meminfo: memFree=26896444/32950928 swapFree=67055156/67111528
[pid=943] ppid=941 vsize=2061444 CPUtime=462.31 cores=1,3,5,7
/proc/943/stat : 943 (scip-2.0.1.4b_2) R 941 943 30017 0 -1 4202496 520598 0 0 0 46170 61 0 0 25 0 1 0 890885728 2110918656 506057 33554432000 4194304 9016284 140735227648192 18446744073709551615 6480425 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/943/statm: 515361 506057 583 1178 0 514179 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 2061444
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 958
/proc/meminfo: memFree=26666376/32950928 swapFree=67055156/67111528
[pid=943] ppid=941 vsize=2204904 CPUtime=522.3 cores=1,3,5,7
/proc/943/stat : 943 (scip-2.0.1.4b_2) R 941 943 30017 0 -1 4202496 556169 0 0 0 52165 65 0 0 25 0 1 0 890885728 2257821696 541628 33554432000 4194304 9016284 140735227648192 18446744073709551615 5511150 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/943/statm: 551226 541628 583 1178 0 550044 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2204904
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 959
/proc/meminfo: memFree=26399732/32950928 swapFree=67055156/67111528
[pid=943] ppid=941 vsize=2319924 CPUtime=582.3 cores=1,3,5,7
/proc/943/stat : 943 (scip-2.0.1.4b_2) R 941 943 30017 0 -1 4202496 584542 0 0 0 58161 69 0 0 25 0 1 0 890885728 2375602176 570001 33554432000 4194304 9016284 140735227648192 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/943/statm: 579981 570001 583 1178 0 578799 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2319924
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25040912/32950928 swapFree=67055156/67111528
[pid=943] ppid=941 vsize=3093624 CPUtime=1062.32 cores=1,3,5,7
/proc/943/stat : 943 (scip-2.0.1.4b_2) R 941 943 30017 0 -1 4202496 777464 0 0 0 106134 98 0 0 25 0 1 0 890885728 3167870976 762923 33554432000 4194304 9016284 140735227648192 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/943/statm: 773406 762923 588 1178 0 772224 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 3093624
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 987
/proc/meminfo: memFree=24822012/32950928 swapFree=67055156/67111528
[pid=943] ppid=941 vsize=3223924 CPUtime=1122.32 cores=1,3,5,7
/proc/943/stat : 943 (scip-2.0.1.4b_2) R 941 943 30017 0 -1 4202496 809289 0 0 0 112131 101 0 0 25 0 1 0 890885728 3301298176 794748 33554432000 4194304 9016284 140735227648192 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/943/statm: 805981 794748 588 1178 0 804799 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 3223924
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 988
/proc/meminfo: memFree=24706140/32950928 swapFree=67055156/67111528
[pid=943] ppid=941 vsize=3300596 CPUtime=1182.32 cores=1,3,5,7
/proc/943/stat : 943 (scip-2.0.1.4b_2) R 941 943 30017 0 -1 4202496 828166 0 0 0 118128 104 0 0 25 0 1 0 890885728 3379810304 813625 33554432000 4194304 9016284 140735227648192 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/943/statm: 825149 813625 588 1178 0 823967 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 3300596
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 990
/proc/meminfo: memFree=24570552/32950928 swapFree=67055156/67111528
[pid=943] ppid=941 vsize=3387852 CPUtime=1242.32 cores=1,3,5,7
/proc/943/stat : 943 (scip-2.0.1.4b_2) R 941 943 30017 0 -1 4202496 849895 0 0 0 124126 106 0 0 25 0 1 0 890885728 3469160448 835354 33554432000 4194304 9016284 140735227648192 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/943/statm: 846963 835354 588 1178 0 845781 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 3387852
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 992
/proc/meminfo: memFree=24439688/32950928 swapFree=67055156/67111528
[pid=943] ppid=941 vsize=3453344 CPUtime=1302.32 cores=1,3,5,7
/proc/943/stat : 943 (scip-2.0.1.4b_2) R 941 943 30017 0 -1 4202496 867071 0 0 0 130123 109 0 0 25 0 1 0 890885728 3536224256 852530 33554432000 4194304 9016284 140735227648192 18446744073709551615 6480197 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/943/statm: 863336 852530 588 1178 0 862154 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 3453344
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 993
/proc/meminfo: memFree=24085756/32950928 swapFree=67055156/67111528
[pid=943] ppid=941 vsize=3526160 CPUtime=1362.33 cores=1,3,5,7
/proc/943/stat : 943 (scip-2.0.1.4b_2) R 941 943 30017 0 -1 4202496 884644 0 0 0 136121 112 0 0 25 0 1 0 890885728 3610787840 870103 33554432000 4194304 9016284 140735227648192 18446744073709551615 6480372 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/943/statm: 881540 870103 588 1178 0 880358 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 3526160
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 995
/proc/meminfo: memFree=24013288/32950928 swapFree=67055156/67111528
[pid=943] ppid=941 vsize=3579552 CPUtime=1422.33 cores=1,3,5,7
/proc/943/stat : 943 (scip-2.0.1.4b_2) R 941 943 30017 0 -1 4202496 898259 0 0 0 142120 113 0 0 25 0 1 0 890885728 3665461248 883718 33554432000 4194304 9016284 140735227648192 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/943/statm: 894888 883718 588 1178 0 893706 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 3579552
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 996
/proc/meminfo: memFree=23933260/32950928 swapFree=67055156/67111528
[pid=943] ppid=941 vsize=3641720 CPUtime=1482.32 cores=1,3,5,7
/proc/943/stat : 943 (scip-2.0.1.4b_2) R 941 943 30017 0 -1 4202496 913724 0 0 0 148117 115 0 0 25 0 1 0 890885728 3729121280 899183 33554432000 4194304 9016284 140735227648192 18446744073709551615 4875334 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/943/statm: 910430 899183 588 1178 0 909248 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 3641720
[startup+1542.3 s]
/proc/loadavg: 2.07 2.01 1.92 3/178 998
/proc/meminfo: memFree=23841324/32950928 swapFree=67055156/67111528
[pid=943] ppid=941 vsize=3720352 CPUtime=1542.33 cores=1,3,5,7
/proc/943/stat : 943 (scip-2.0.1.4b_2) R 941 943 30017 0 -1 4202496 933481 0 0 0 154115 118 0 0 25 0 1 0 890885728 3809640448 918940 33554432000 4194304 9016284 140735227648192 18446744073709551615 4222983 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/943/statm: 930088 918940 588 1178 0 928906 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 3720352
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/178 1039
/proc/meminfo: memFree=26988484/32950928 swapFree=67055156/67111528
[pid=943] ppid=941 vsize=3787520 CPUtime=1602.33 cores=1,3,5,7
/proc/943/stat : 943 (scip-2.0.1.4b_2) R 941 943 30017 0 -1 4202496 950182 0 0 0 160114 119 0 0 25 0 1 0 890885728 3878420480 935641 33554432000 4194304 9016284 140735227648192 18446744073709551615 5512272 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/943/statm: 946880 935641 588 1178 0 945698 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3787520
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 1040
/proc/meminfo: memFree=26783488/32950928 swapFree=67055156/67111528
[pid=943] ppid=941 vsize=3855756 CPUtime=1662.33 cores=1,3,5,7
/proc/943/stat : 943 (scip-2.0.1.4b_2) R 941 943 30017 0 -1 4202496 967572 0 0 0 166112 121 0 0 25 0 1 0 890885728 3948294144 953031 33554432000 4194304 9016284 140735227648192 18446744073709551615 6480197 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/943/statm: 963939 953031 588 1178 0 962757 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3855756
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 1042
/proc/meminfo: memFree=26613688/32950928 swapFree=67055156/67111528
[pid=943] ppid=941 vsize=3912780 CPUtime=1722.33 cores=1,3,5,7
/proc/943/stat : 943 (scip-2.0.1.4b_2) R 941 943 30017 0 -1 4202496 980953 0 0 0 172110 123 0 0 25 0 1 0 890885728 4006686720 966412 33554432000 4194304 9016284 140735227648192 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/943/statm: 978195 966412 588 1178 0 977013 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 3912780
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 1043
/proc/meminfo: memFree=26395644/32950928 swapFree=67055156/67111528
[pid=943] ppid=941 vsize=3965800 CPUtime=1782.33 cores=1,3,5,7
/proc/943/stat : 943 (scip-2.0.1.4b_2) R 941 943 30017 0 -1 4202496 994415 0 0 0 178107 126 0 0 25 0 1 0 890885728 4060979200 979874 33554432000 4194304 9016284 140735227648192 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/943/statm: 991450 979874 588 1178 0 990268 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 3965800
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 1044
/proc/meminfo: memFree=26388944/32950928 swapFree=67055156/67111528
[pid=943] ppid=941 vsize=3969800 CPUtime=1785.53 cores=1,3,5,7
/proc/943/stat : 943 (scip-2.0.1.4b_2) R 941 943 30017 0 -1 4202496 995407 0 0 0 178427 126 0 0 25 0 1 0 890885728 4065075200 980866 33554432000 4194304 9016284 140735227648192 18446744073709551615 6480433 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/943/statm: 992450 980866 588 1178 0 991268 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 3969800
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 1044
/proc/meminfo: memFree=26370332/32950928 swapFree=67055156/67111528
[pid=943] ppid=941 vsize=3976804 CPUtime=1791.94 cores=1,3,5,7
/proc/943/stat : 943 (scip-2.0.1.4b_2) R 941 943 30017 0 -1 4202496 996848 0 0 0 179068 126 0 0 25 0 1 0 890885728 4072247296 982307 33554432000 4194304 9016284 140735227648192 18446744073709551615 4875342 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/943/statm: 994201 982307 588 1178 0 993019 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 3976804
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 1044
/proc/meminfo: memFree=26360412/32950928 swapFree=67055156/67111528
[pid=943] ppid=941 vsize=3979416 CPUtime=1795.13 cores=1,3,5,7
/proc/943/stat : 943 (scip-2.0.1.4b_2) R 941 943 30017 0 -1 4202496 997612 0 0 0 179387 126 0 0 25 0 1 0 890885728 4074921984 983071 33554432000 4194304 9016284 140735227648192 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/943/statm: 994854 983071 588 1178 0 993672 0
Current children cumulated CPU time (s) 1795.13
Current children cumulated vsize (KiB) 3979416
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 1044
/proc/meminfo: memFree=26358924/32950928 swapFree=67055156/67111528
[pid=943] ppid=941 vsize=3980420 CPUtime=1796.73 cores=1,3,5,7
/proc/943/stat : 943 (scip-2.0.1.4b_2) R 941 943 30017 0 -1 4202496 997862 0 0 0 179547 126 0 0 25 0 1 0 890885728 4075950080 983321 33554432000 4194304 9016284 140735227648192 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/943/statm: 995105 983321 588 1178 0 993923 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 3980420
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 1044
/proc/meminfo: memFree=26362272/32950928 swapFree=67055156/67111528
[pid=943] ppid=941 vsize=3611376 CPUtime=1797.54 cores=1,3,5,7
/proc/943/stat : 943 (scip-2.0.1.4b_2) R 941 943 30017 0 -1 4202496 998480 0 0 0 179626 128 0 0 25 0 1 0 890885728 3698049024 891630 33554432000 4194304 9016284 140735227648192 18446744073709551615 6812640 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/943/statm: 902844 891630 601 1178 0 901662 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 3611376
[startup+1797.7 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 1044
/proc/meminfo: memFree=26362272/32950928 swapFree=67055156/67111528
[pid=943] ppid=941 vsize=3151088 CPUtime=1797.73 cores=1,3,5,7
/proc/943/stat : 943 (scip-2.0.1.4b_2) R 941 943 30017 0 -1 4202496 998489 0 0 0 179632 141 0 0 25 0 1 0 890885728 3226714112 31861 33554432000 4194304 9016284 140735227648192 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/943/statm: 787772 31861 610 1178 0 786590 0
Current children cumulated CPU time (s) 1797.73
Current children cumulated vsize (KiB) 3151088
Child status: 0
Real time (s): 1797.71
CPU time (s): 1797.75
CPU user time (s): 1796.33
CPU system time (s): 1.41978
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3981444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.33
system time used= 1.41978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 998494
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= 5
involuntary context switches= 923
runsolver used 2.46263 second user time and 5.99209 second system time
The end