0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
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-3453531-1307122146.opb>
1.11/1.17 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 184309 constraints
1.11/1.17 c problem read
1.11/1.17 c presolving settings loaded
1.69/1.79 c presolving:
6.40/6.48 c (round 1) 4517 del vars, 13331 del conss, 0 add conss, 3315 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12578578 impls, 0 clqs
7.89/7.94 c (round 2) 9805 del vars, 32221 del conss, 0 add conss, 8252 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12605991 impls, 0 clqs
8.29/8.32 c (round 3) 11376 del vars, 40367 del conss, 0 add conss, 9097 chg bounds, 79 chg sides, 67 chg coeffs, 0 upgd conss, 12617283 impls, 0 clqs
8.49/8.53 c (round 4) 12030 del vars, 43159 del conss, 0 add conss, 9489 chg bounds, 90 chg sides, 74 chg coeffs, 0 upgd conss, 12621642 impls, 0 clqs
8.59/8.65 c (round 5) 12448 del vars, 44885 del conss, 0 add conss, 9691 chg bounds, 90 chg sides, 74 chg coeffs, 0 upgd conss, 12625365 impls, 0 clqs
8.70/8.73 c (round 6) 12628 del vars, 45709 del conss, 0 add conss, 9776 chg bounds, 90 chg sides, 74 chg coeffs, 0 upgd conss, 12627216 impls, 0 clqs
8.70/8.80 c (round 7) 12714 del vars, 46109 del conss, 0 add conss, 9821 chg bounds, 90 chg sides, 74 chg coeffs, 0 upgd conss, 12628092 impls, 0 clqs
8.80/8.85 c (round 8) 12758 del vars, 46319 del conss, 0 add conss, 9847 chg bounds, 90 chg sides, 74 chg coeffs, 0 upgd conss, 12628506 impls, 0 clqs
8.89/8.90 c (round 9) 12784 del vars, 46438 del conss, 0 add conss, 9863 chg bounds, 90 chg sides, 74 chg coeffs, 0 upgd conss, 12628756 impls, 0 clqs
8.89/8.94 c (round 10) 12794 del vars, 46496 del conss, 0 add conss, 9869 chg bounds, 90 chg sides, 74 chg coeffs, 0 upgd conss, 12628794 impls, 0 clqs
9.39/9.47 c (round 11) 12794 del vars, 46507 del conss, 0 add conss, 9869 chg bounds, 90 chg sides, 74 chg coeffs, 137802 upgd conss, 12628794 impls, 0 clqs
9.80/9.87 c (round 12) 12794 del vars, 46507 del conss, 19 add conss, 9869 chg bounds, 113 chg sides, 245 chg coeffs, 137802 upgd conss, 12629308 impls, 1786 clqs
454.61/454.67 c (454.7s) probing: 1000/41988 (2.4%) - 13 fixings, 1 aggregations, 10032411 implications, 0 bound changes
831.22/831.22 c (831.2s) probing: 2000/41988 (4.8%) - 13 fixings, 1 aggregations, 16173197 implications, 0 bound changes
1203.44/1203.48 c (1203.5s) probing: 3000/41988 (7.1%) - 16 fixings, 1 aggregations, 21770644 implications, 0 bound changes
1578.24/1578.28 c (1578.3s) probing: 4000/41988 (9.5%) - 16 fixings, 4 aggregations, 27004187 implications, 0 bound changes
1800.05/1800.04 c (1800.0s) probing: 4607/41988 (11.0%) - 16 fixings, 4 aggregations, 30085640 implications, 0 bound changes
1800.05/1800.04 c (1800.0s) probing aborted: solving stopped
1800.05/1800.04 c (round 13) 12814 del vars, 46507 del conss, 19 add conss, 9869 chg bounds, 113 chg sides, 261 chg coeffs, 137802 upgd conss, 98262752 impls, 1911 clqs
1800.05/1800.04 c presolving (13 rounds):
1800.05/1800.04 c 12814 deleted vars, 46507 deleted constraints, 19 added constraints, 9869 tightened bounds, 0 added holes, 113 changed sides, 261 changed coefficients
1800.05/1800.04 c 98262752 implications, 1911 cliques
1800.05/1800.04 c presolving was interrupted.
1800.05/1800.04 c Presolving Time: 1798.70
1800.05/1800.04 c - non default parameters ----------------------------------------------------------------------
1800.05/1800.04 c # SCIP version 2.0.1.4
1800.05/1800.04 c
1800.05/1800.04 c # frequency for displaying node information lines
1800.05/1800.04 c # [type: int, range: [-1,2147483647], default: 100]
1800.05/1800.04 c display/freq = 10000
1800.05/1800.04 c
1800.05/1800.04 c # maximal time in seconds to run
1800.05/1800.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.05/1800.04 c limits/time = 1800
1800.05/1800.04 c
1800.05/1800.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1800.05/1800.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.05/1800.04 c limits/memory = 13950
1800.05/1800.04 c
1800.05/1800.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
1800.05/1800.04 c # [type: int, range: [1,2], default: 1]
1800.05/1800.04 c timing/clocktype = 2
1800.05/1800.04 c
1800.05/1800.04 c # belongs reading time to solving time?
1800.05/1800.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.05/1800.04 c timing/reading = TRUE
1800.05/1800.04 c
1800.05/1800.04 c # should presolving try to simplify inequalities
1800.05/1800.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.05/1800.04 c constraints/linear/simplifyinequalities = TRUE
1800.05/1800.04 c
1800.05/1800.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1800.05/1800.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.05/1800.04 c constraints/indicator/addCouplingCons = TRUE
1800.05/1800.04 c
1800.05/1800.04 c # should presolving try to simplify knapsacks
1800.05/1800.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.05/1800.04 c constraints/knapsack/simplifyinequalities = TRUE
1800.05/1800.04 c
1800.05/1800.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1800.05/1800.04 c # [type: int, range: [-1,2147483647], default: -1]
1800.05/1800.04 c separating/rapidlearning/freq = 0
1800.05/1800.04 c
1800.05/1800.04 c -----------------------------------------------------------------------------------------------
1800.05/1800.04 c start solving
1800.05/1800.07 c presolving:
1800.05/1800.07 c presolving (13 rounds):
1800.05/1800.07 c 12814 deleted vars, 46507 deleted constraints, 19 added constraints, 9869 tightened bounds, 0 added holes, 113 changed sides, 261 changed coefficients
1800.05/1800.07 c 98262752 implications, 1911 cliques
1800.05/1800.07 c presolving was interrupted.
1800.05/1800.07 c Presolving Time: 1798.73
1800.05/1800.07 c
1800.05/1800.07 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.07 c Solving Time (sec) : 1800.07
1800.05/1800.07 c Solving Nodes : 0
1800.05/1800.07 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.07 s UNKNOWN
1800.05/1800.07 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.07 c Total Time : 1800.07
1800.05/1800.07 c solving : 1800.07
1800.05/1800.07 c presolving : 1798.73 (included in solving)
1800.05/1800.07 c reading : 1.17 (included in solving)
1800.05/1800.07 c Original Problem :
1800.05/1800.07 c Problem name : HOME/instance-3453531-1307122146.opb
1800.05/1800.07 c Variables : 54782 (54782 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.07 c Constraints : 184309 initial, 184309 maximal
1800.05/1800.07 c Presolved Problem :
1800.05/1800.07 c Problem name : t_HOME/instance-3453531-1307122146.opb
1800.05/1800.07 c Variables : 41968 (41968 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.07 c Constraints : 137821 initial, 137821 maximal
1800.05/1800.07 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.05/1800.07 c trivial : 0.03 731 0 0 0 0 0 0 0 0
1800.05/1800.07 c dualfix : 0.05 92 0 0 0 0 0 0 0 0
1800.05/1800.07 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.07 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.07 c implics : 0.33 0 0 0 0 0 0 0 0 0
1800.05/1800.07 c probing : 1789.92 16 4 0 0 0 0 0 0 0
1800.05/1800.07 c pseudoboolean : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.07 c knapsack : 0.31 0 0 0 0 0 0 19 23 187
1800.05/1800.07 c setppc : 0.24 0 0 0 0 0 0 0 0 0
1800.05/1800.07 c linear : 7.18 9138 2833 0 9869 0 46507 0 90 74
1800.05/1800.07 c logicor : 0.05 0 0 0 0 0 0 0 0 0
1800.05/1800.07 c root node : - 0 - - 0 - - - - -
1800.05/1800.07 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.05/1800.07 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1800.05/1800.07 c pseudoboolean : 0+ 0 0 0 0 0 0 0 0 0 0 0
1800.05/1800.07 c knapsack : 0+ 0 252948 0 0 0 0 4 0 0 0 0
1800.05/1800.07 c setppc : 0+ 0 252944 0 0 0 0 2 0 0 0 0
1800.05/1800.07 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1800.05/1800.07 c logicor : 0+ 0 226353 0 0 0 0 2 0 0 0 0
1800.05/1800.07 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.05/1800.07 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.05/1800.07 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.05/1800.07 c pseudoboolean : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.05/1800.07 c knapsack : 14.69 0.00 14.69 0.00 0.00 0.00 0.00
1800.05/1800.07 c setppc : 1188.31 0.00 1188.31 0.00 0.00 0.00 0.00
1800.05/1800.07 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.05/1800.07 c logicor : 10.38 0.00 10.38 0.00 0.00 0.00 0.00
1800.05/1800.07 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.05/1800.07 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.05/1800.07 c vbounds : 0 0 0 0
1800.05/1800.07 c rootredcost : 0 0 0 0
1800.05/1800.07 c pseudoobj : 0 0 0 0
1800.05/1800.07 c Propagator Timings : TotalTime Propagate Resprop
1800.05/1800.07 c vbounds : 0.11 0.11 0.00
1800.05/1800.07 c rootredcost : 0.05 0.05 0.00
1800.05/1800.07 c pseudoobj : 0.05 0.05 0.00
1800.05/1800.07 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.07 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.07 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.07 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.07 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.07 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.07 c applied globally : - - - 0 0.0 - - -
1800.05/1800.07 c applied locally : - - - 0 0.0 - - -
1800.54/1800.55 c Time complete: 1800.59.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3453531-1307122146/watcher-3453531-1307122146 -o /tmp/evaluation-result-3453531-1307122146/solver-3453531-1307122146 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453531-1307122146.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.71 1.94 1.98 3/327 21733
/proc/meminfo: memFree=24104328/32951124 swapFree=67056304/67111528
[pid=21733] ppid=21731 vsize=11568 CPUtime=0 cores=1,3,5,7
/proc/21733/stat : 21733 (scip-2.0.1.4.li) R 21731 21733 18990 0 -1 4202496 1902 0 0 0 0 0 0 0 21 0 1 0 902445190 11845632 1855 33554432000 4194304 9128323 140733375136016 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21733/statm: 2892 1855 400 1205 0 1683 0
[startup+0.0390331 s]
/proc/loadavg: 1.71 1.94 1.98 3/327 21733
/proc/meminfo: memFree=24104328/32951124 swapFree=67056304/67111528
[pid=21733] ppid=21731 vsize=17316 CPUtime=0.03 cores=1,3,5,7
/proc/21733/stat : 21733 (scip-2.0.1.4.li) R 21731 21733 18990 0 -1 4202496 3313 0 0 0 3 0 0 0 21 0 1 0 902445190 17731584 3265 33554432000 4194304 9128323 140733375136016 18446744073709551615 8006320 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21733/statm: 4329 3265 400 1205 0 3120 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17316
[startup+0.101022 s]
/proc/loadavg: 1.71 1.94 1.98 3/327 21733
/proc/meminfo: memFree=24104328/32951124 swapFree=67056304/67111528
[pid=21733] ppid=21731 vsize=27508 CPUtime=0.09 cores=1,3,5,7
/proc/21733/stat : 21733 (scip-2.0.1.4.li) R 21731 21733 18990 0 -1 4202496 5888 0 0 0 9 0 0 0 22 0 1 0 902445190 28168192 5839 33554432000 4194304 9128323 140733375136016 18446744073709551615 8008930 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21733/statm: 6877 5839 400 1205 0 5668 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27508
[startup+0.300985 s]
/proc/loadavg: 1.71 1.94 1.98 3/327 21733
/proc/meminfo: memFree=24104328/32951124 swapFree=67056304/67111528
[pid=21733] ppid=21731 vsize=44020 CPUtime=0.29 cores=1,3,5,7
/proc/21733/stat : 21733 (scip-2.0.1.4.li) R 21731 21733 18990 0 -1 4202496 10037 0 0 0 29 0 0 0 22 0 1 0 902445190 45076480 9956 33554432000 4194304 9128323 140733375136016 18446744073709551615 4338650 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21733/statm: 11005 9956 400 1205 0 9796 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44020
[startup+0.70091 s]
/proc/loadavg: 1.71 1.94 1.98 3/327 21733
/proc/meminfo: memFree=24104328/32951124 swapFree=67056304/67111528
[pid=21733] ppid=21731 vsize=66596 CPUtime=0.69 cores=1,3,5,7
/proc/21733/stat : 21733 (scip-2.0.1.4.li) R 21731 21733 18990 0 -1 4202496 15661 0 0 0 68 1 0 0 24 0 1 0 902445190 68194304 15572 33554432000 4194304 9128323 140733375136016 18446744073709551615 6193865 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21733/statm: 16649 15572 400 1205 0 15440 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 66596
[startup+1.50076 s]
/proc/loadavg: 1.71 1.94 1.98 3/328 21734
/proc/meminfo: memFree=23942624/32951124 swapFree=67056304/67111528
[pid=21733] ppid=21731 vsize=247984 CPUtime=1.49 cores=1,3,5,7
/proc/21733/stat : 21733 (scip-2.0.1.4.li) R 21731 21733 18990 0 -1 4202496 60594 0 0 0 142 7 0 0 25 0 1 0 902445190 253935616 60439 33554432000 4194304 9128323 140733375136016 18446744073709551615 4214375 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21733/statm: 61996 60439 467 1205 0 60787 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 247984
[startup+3.10047 s]
/proc/loadavg: 1.71 1.94 1.98 3/328 21734
/proc/meminfo: memFree=23473608/32951124 swapFree=67056304/67111528
[pid=21733] ppid=21731 vsize=453560 CPUtime=3.09 cores=1,3,5,7
/proc/21733/stat : 21733 (scip-2.0.1.4.li) R 21731 21733 18990 0 -1 4202496 119450 0 0 0 295 14 0 0 25 0 1 0 902445190 464445440 111124 33554432000 4194304 9128323 140733375136016 18446744073709551615 18446744073699065939 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21733/statm: 113390 111124 510 1205 0 112181 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 453560
[startup+6.30088 s]
/proc/loadavg: 1.73 1.94 1.98 3/328 21734
/proc/meminfo: memFree=22899868/32951124 swapFree=67056304/67111528
[pid=21733] ppid=21731 vsize=685272 CPUtime=6.3 cores=1,3,5,7
/proc/21733/stat : 21733 (scip-2.0.1.4.li) R 21731 21733 18990 0 -1 4202496 175436 0 0 0 610 20 0 0 25 0 1 0 902445190 701718528 167110 33554432000 4194304 9128323 140733375136016 18446744073709551615 6593417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21733/statm: 171318 167110 519 1205 0 170109 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 685272
[startup+12.7007 s]
/proc/loadavg: 1.75 1.94 1.98 3/328 21735
/proc/meminfo: memFree=22640104/32951124 swapFree=67056304/67111528
[pid=21733] ppid=21731 vsize=773544 CPUtime=12.69 cores=1,3,5,7
/proc/21733/stat : 21733 (scip-2.0.1.4.li) R 21731 21733 18990 0 -1 4202496 209105 0 0 0 1245 24 0 0 25 0 1 0 902445190 792109056 188153 33554432000 4194304 9128323 140733375136016 18446744073709551615 4352218 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21733/statm: 193386 188153 565 1205 0 192177 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 773544
[startup+25.5003 s]
/proc/loadavg: 1.81 1.94 1.98 3/328 21735
/proc/meminfo: memFree=22547132/32951124 swapFree=67056304/67111528
[pid=21733] ppid=21731 vsize=812892 CPUtime=25.49 cores=1,3,5,7
/proc/21733/stat : 21733 (scip-2.0.1.4.li) R 21731 21733 18990 0 -1 4202496 218194 0 0 0 2524 25 0 0 25 0 1 0 902445190 832401408 197176 33554432000 4194304 9128323 140733375136016 18446744073709551615 6593417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21733/statm: 203223 197176 565 1205 0 202014 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 812892
[startup+51.1006 s]
/proc/loadavg: 1.87 1.95 1.98 3/328 21736
/proc/meminfo: memFree=22393624/32951124 swapFree=67056304/67111528
[pid=21733] ppid=21731 vsize=894928 CPUtime=51.09 cores=1,3,5,7
/proc/21733/stat : 21733 (scip-2.0.1.4.li) R 21731 21733 18990 0 -1 4202496 237782 0 0 0 5081 28 0 0 25 0 1 0 902445190 916406272 216764 33554432000 4194304 9128323 140733375136016 18446744073709551615 4785281 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21733/statm: 223732 216764 565 1205 0 222523 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 894928
[startup+102.312 s]
/proc/loadavg: 1.94 1.95 1.98 3/328 21737
/proc/meminfo: memFree=22132480/32951124 swapFree=67056304/67111528
[pid=21733] ppid=21731 vsize=1027268 CPUtime=102.31 cores=1,3,5,7
/proc/21733/stat : 21733 (scip-2.0.1.4.li) R 21731 21733 18990 0 -1 4202496 270538 0 0 0 10200 31 0 0 25 0 1 0 902445190 1051922432 249520 33554432000 4194304 9128323 140733375136016 18446744073709551615 4794016 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21733/statm: 256817 249520 565 1205 0 255608 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1027268
[startup+162.3 s]
/proc/loadavg: 1.98 1.96 1.98 3/328 21738
/proc/meminfo: memFree=21712568/32951124 swapFree=67056304/67111528
[pid=21733] ppid=21731 vsize=1257508 CPUtime=162.3 cores=1,3,5,7
/proc/21733/stat : 21733 (scip-2.0.1.4.li) R 21731 21733 18990 0 -1 4202496 328306 0 0 0 16192 38 0 0 25 0 1 0 902445190 1287688192 306859 33554432000 4194304 9128323 140733375136016 18446744073709551615 6593146 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21733/statm: 314377 306859 565 1205 0 313168 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1257508
[startup+222.301 s]
/proc/loadavg: 2.06 1.98 1.98 3/328 21740
/proc/meminfo: memFree=21352792/32951124 swapFree=67056304/67111528
[pid=21733] ppid=21731 vsize=1453056 CPUtime=222.3 cores=1,3,5,7
/proc/21733/stat : 21733 (scip-2.0.1.4.li) R 21731 21733 18990 0 -1 4202496 377340 0 0 0 22187 43 0 0 25 0 1 0 902445190 1487929344 355893 33554432000 4194304 9128323 140733375136016 18446744073709551615 6593417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21733/statm: 363264 355893 565 1205 0 362055 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1453056
[startup+282.301 s]
/proc/loadavg: 2.02 1.98 1.98 3/328 21742
/proc/meminfo: memFree=20961660/32951124 swapFree=67056304/67111528
[pid=21733] ppid=21731 vsize=1652808 CPUtime=282.3 cores=1,3,5,7
/proc/21733/stat : 21733 (scip-2.0.1.4.li) R 21731 21733 18990 0 -1 4202496 427261 0 0 0 28181 49 0 0 25 0 1 0 902445190 1692475392 405814 33554432000 4194304 9128323 140733375136016 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21733/statm: 413202 405814 565 1205 0 411993 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1652808
[startup+342.301 s]
/proc/loadavg: 2.07 2.00 1.99 3/328 21743
/proc/meminfo: memFree=20728348/32951124 swapFree=67056304/67111528
[pid=21733] ppid=21731 vsize=1770672 CPUtime=342.3 cores=1,3,5,7
/proc/21733/stat : 21733 (scip-2.0.1.4.li) R 21731 21733 18990 0 -1 4202496 456435 0 0 0 34177 53 0 0 25 0 1 0 902445190 1813168128 434988 33554432000 4194304 9128323 140733375136016 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21733/statm: 442668 434988 565 1205 0 441459 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1770672
[startup+402.301 s]
/proc/loadavg: 2.02 2.00 1.99 3/328 21745
/proc/meminfo: memFree=20453148/32951124 swapFree=67056304/67111528
[pid=21733] ppid=21731 vsize=1966456 CPUtime=402.3 cores=1,3,5,7
/proc/21733/stat : 21733 (scip-2.0.1.4.li) R 21731 21733 18990 0 -1 4202496 504807 0 0 0 40171 59 0 0 25 0 1 0 902445190 2013650944 483360 33554432000 4194304 9128323 140733375136016 18446744073709551615 4782521 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21733/statm: 491614 483360 565 1205 0 490405 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1966456
[startup+462.301 s]
/proc/loadavg: 2.01 2.00 1.99 3/328 21746
/proc/meminfo: memFree=20207204/32951124 swapFree=67056304/67111528
[pid=21733] ppid=21731 vsize=2099268 CPUtime=462.31 cores=1,3,5,7
/proc/21733/stat : 21733 (scip-2.0.1.4.li) R 21731 21733 18990 0 -1 4202496 537384 0 0 0 46166 65 0 0 25 0 1 0 902445190 2149650432 515937 33554432000 4194304 9128323 140733375136016 18446744073709551615 6593116 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21733/statm: 524817 515937 569 1205 0 523608 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 2099268
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/328 21748
/proc/meminfo: memFree=20082312/32951124 swapFree=67056304/67111528
[pid=21733] ppid=21731 vsize=2176824 CPUtime=522.31 cores=1,3,5,7
/proc/21733/stat : 21733 (scip-2.0.1.4.li) R 21731 21733 18990 0 -1 4202496 556816 0 0 0 52163 68 0 0 25 0 1 0 902445190 2229067776 535369 33554432000 4194304 9128323 140733375136016 18446744073709551615 4833469 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21733/statm: 544206 535369 569 1205 0 542997 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2176824
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/328 21752
/proc/meminfo: memFree=19955172/32951124 swapFree=67056304/67111528
[pid=21733] ppid=21731 vsize=2259540 CPUtime=582.31 cores=1,3,5,7
/proc/21733/stat : 21733 (scip-2.0.1.4.li) R 21731 21733 18990 0 -1 4202496 577391 0 0 0 58161 70 0 0 25 0 1 0 902445190 2313768960 555944 33554432000 4194304 9128323 140733375136016 18446744073709551615 8012251 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21733/statm: 564885 555944 569 1205 0 563676 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2259540
[startup+642.301 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/328 21764
/proc/meminfo: memFree=19016772/32951124 swapFree=67056304/67111528
[pid=21733] ppid=21731 vsize=2687784 CPUtime=1002.32 cores=1,3,5,7
/proc/21733/stat : 21733 (scip-2.0.1.4.li) R 21731 21733 18990 0 -1 4202496 684414 0 0 0 100147 85 0 0 25 0 1 0 902445190 2752290816 662769 33554432000 4194304 9128323 140733375136016 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21733/statm: 671946 662769 569 1205 0 670737 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 2687784
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 21765
/proc/meminfo: memFree=18957204/32951124 swapFree=67056304/67111528
[pid=21733] ppid=21731 vsize=2742960 CPUtime=1062.32 cores=1,3,5,7
/proc/21733/stat : 21733 (scip-2.0.1.4.li) R 21731 21733 18990 0 -1 4202496 698558 0 0 0 106144 88 0 0 25 0 1 0 902445190 2808791040 676913 33554432000 4194304 9128323 140733375136016 18446744073709551615 4792752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21733/statm: 685740 676913 569 1205 0 684531 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2742960
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 21767
/proc/meminfo: memFree=18906320/32951124 swapFree=67056304/67111528
[pid=21733] ppid=21731 vsize=2795140 CPUtime=1122.33 cores=1,3,5,7
/proc/21733/stat : 21733 (scip-2.0.1.4.li) R 21731 21733 18990 0 -1 4202496 711254 0 0 0 112143 90 0 0 25 0 1 0 902445190 2862223360 689609 33554432000 4194304 9128323 140733375136016 18446744073709551615 5488726 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21733/statm: 698785 689609 569 1205 0 697576 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 2795140
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 21769
/proc/meminfo: memFree=18841548/32951124 swapFree=67056304/67111528
[pid=21733] ppid=21731 vsize=2859316 CPUtime=1182.33 cores=1,3,5,7
/proc/21733/stat : 21733 (scip-2.0.1.4.li) R 21731 21733 18990 0 -1 4202496 727305 0 0 0 118142 91 0 0 25 0 1 0 902445190 2927939584 705660 33554432000 4194304 9128323 140733375136016 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21733/statm: 714829 705660 569 1205 0 713620 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 2859316
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 21770
/proc/meminfo: memFree=18785812/32951124 swapFree=67056304/67111528
[pid=21733] ppid=21731 vsize=2914536 CPUtime=1242.33 cores=1,3,5,7
/proc/21733/stat : 21733 (scip-2.0.1.4.li) R 21731 21733 18990 0 -1 4202496 741171 0 0 0 124140 93 0 0 25 0 1 0 902445190 2984484864 719526 33554432000 4194304 9128323 140733375136016 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21733/statm: 728634 719526 569 1205 0 727425 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 2914536
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 21772
/proc/meminfo: memFree=18728472/32951124 swapFree=67056304/67111528
[pid=21733] ppid=21731 vsize=2971408 CPUtime=1302.35 cores=1,3,5,7
/proc/21733/stat : 21733 (scip-2.0.1.4.li) R 21731 21733 18990 0 -1 4202496 755039 0 0 0 130140 95 0 0 25 0 1 0 902445190 3042721792 733336 33554432000 4194304 9128323 140733375136016 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21733/statm: 742852 733336 569 1205 0 741643 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 2971408
[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/328 21773
/proc/meminfo: memFree=18676848/32951124 swapFree=67056304/67111528
[pid=21733] ppid=21731 vsize=3023468 CPUtime=1362.34 cores=1,3,5,7
/proc/21733/stat : 21733 (scip-2.0.1.4.li) R 21731 21733 18990 0 -1 4202496 768280 0 0 0 136137 97 0 0 25 0 1 0 902445190 3096031232 746577 33554432000 4194304 9128323 140733375136016 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21733/statm: 755867 746577 569 1205 0 754658 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 3023468
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/328 21775
/proc/meminfo: memFree=18625840/32951124 swapFree=67056304/67111528
[pid=21733] ppid=21731 vsize=3075680 CPUtime=1422.34 cores=1,3,5,7
/proc/21733/stat : 21733 (scip-2.0.1.4.li) R 21731 21733 18990 0 -1 4202496 781029 0 0 0 142136 98 0 0 25 0 1 0 902445190 3149496320 759326 33554432000 4194304 9128323 140733375136016 18446744073709551615 5489961 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21733/statm: 768920 759326 569 1205 0 767711 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 3075680
[startup+1482.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/328 21777
/proc/meminfo: memFree=18575336/32951124 swapFree=67056304/67111528
[pid=21733] ppid=21731 vsize=3127936 CPUtime=1482.34 cores=1,3,5,7
/proc/21733/stat : 21733 (scip-2.0.1.4.li) R 21731 21733 18990 0 -1 4202496 794036 0 0 0 148133 101 0 0 25 0 1 0 902445190 3203006464 772333 33554432000 4194304 9128323 140733375136016 18446744073709551615 5488500 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21733/statm: 781984 772333 569 1205 0 780775 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 3127936
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/328 21778
/proc/meminfo: memFree=18521844/32951124 swapFree=67056304/67111528
[pid=21733] ppid=21731 vsize=3179004 CPUtime=1542.34 cores=1,3,5,7
/proc/21733/stat : 21733 (scip-2.0.1.4.li) R 21731 21733 18990 0 -1 4202496 806947 0 0 0 154131 103 0 0 25 0 1 0 902445190 3255300096 785244 33554432000 4194304 9128323 140733375136016 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21733/statm: 794751 785244 569 1205 0 793542 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 3179004
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 21780
/proc/meminfo: memFree=18472700/32951124 swapFree=67056304/67111528
[pid=21733] ppid=21731 vsize=3228156 CPUtime=1602.34 cores=1,3,5,7
/proc/21733/stat : 21733 (scip-2.0.1.4.li) R 21731 21733 18990 0 -1 4202496 819413 0 0 0 160129 105 0 0 25 0 1 0 902445190 3305631744 797710 33554432000 4194304 9128323 140733375136016 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21733/statm: 807039 797710 569 1205 0 805830 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 3228156
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 21782
/proc/meminfo: memFree=18419596/32951124 swapFree=67056304/67111528
[pid=21733] ppid=21731 vsize=3282328 CPUtime=1662.34 cores=1,3,5,7
/proc/21733/stat : 21733 (scip-2.0.1.4.li) R 21731 21733 18990 0 -1 4202496 832596 0 0 0 166127 107 0 0 25 0 1 0 902445190 3361103872 810893 33554432000 4194304 9128323 140733375136016 18446744073709551615 5489966 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21733/statm: 820582 810893 569 1205 0 819373 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 3282328
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 21783
/proc/meminfo: memFree=18360284/32951124 swapFree=67056304/67111528
[pid=21733] ppid=21731 vsize=3341412 CPUtime=1722.35 cores=1,3,5,7
/proc/21733/stat : 21733 (scip-2.0.1.4.li) R 21731 21733 18990 0 -1 4202496 847425 0 0 0 172126 109 0 0 25 0 1 0 902445190 3421605888 825722 33554432000 4194304 9128323 140733375136016 18446744073709551615 5488358 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21733/statm: 835353 825722 569 1205 0 834144 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 3341412
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 21785
/proc/meminfo: memFree=18177104/32951124 swapFree=67056304/67111528
[pid=21733] ppid=21731 vsize=3392508 CPUtime=1782.35 cores=1,3,5,7
/proc/21733/stat : 21733 (scip-2.0.1.4.li) R 21731 21733 18990 0 -1 4202496 859762 0 0 0 178125 110 0 0 25 0 1 0 902445190 3473928192 838059 33554432000 4194304 9128323 140733375136016 18446744073709551615 5488340 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21733/statm: 848127 838059 569 1205 0 846918 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 3392508
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/329 21786
/proc/meminfo: memFree=18138020/32951124 swapFree=67056304/67111528
[pid=21733] ppid=21731 vsize=3406532 CPUtime=1800.05 cores=1,3,5,7
/proc/21733/stat : 21733 (scip-2.0.1.4.li) R 21731 21733 18990 0 -1 4202496 863472 0 0 0 179895 110 0 0 25 0 1 0 902445190 3488288768 841769 33554432000 4194304 9128323 140733375136016 18446744073709551615 4232530 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21733/statm: 851633 841769 569 1205 0 850424 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3406532
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/329 21786
/proc/meminfo: memFree=18138020/32951124 swapFree=67056304/67111528
[pid=21733] ppid=21731 vsize=3400836 CPUtime=1800.24 cores=1,3,5,7
/proc/21733/stat : 21733 (scip-2.0.1.4.li) R 21731 21733 18990 0 -1 4202496 863995 0 0 0 179914 110 0 0 18 0 1 0 902445190 3482456064 840487 33554432000 4194304 9128323 140733375136016 18446744073709551615 6582362 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21733/statm: 850209 840487 578 1205 0 849000 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 3400836
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/329 21786
/proc/meminfo: memFree=18138020/32951124 swapFree=67056304/67111528
[pid=21733] ppid=21731 vsize=3147692 CPUtime=1800.45 cores=1,3,5,7
/proc/21733/stat : 21733 (scip-2.0.1.4.li) R 21731 21733 18990 0 -1 4202496 864003 0 0 0 179933 112 0 0 18 0 1 0 902445190 3223236608 777613 33554432000 4194304 9128323 140733375136016 18446744073709551615 4444125 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21733/statm: 786923 777613 586 1205 0 785714 0
Current children cumulated CPU time (s) 1800.45
Current children cumulated vsize (KiB) 3147692
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/329 21786
/proc/meminfo: memFree=18138020/32951124 swapFree=67056304/67111528
[pid=21733] ppid=21731 vsize=2862720 CPUtime=1800.54 cores=1,3,5,7
/proc/21733/stat : 21733 (scip-2.0.1.4.li) R 21731 21733 18990 0 -1 4202496 864018 0 0 0 179935 119 0 0 18 0 1 0 902445190 2931425280 311817 33554432000 4194304 9128323 140733375136016 18446744073709551615 8231418 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21733/statm: 715680 311305 601 1205 0 714471 0
Current children cumulated CPU time (s) 1800.54
Current children cumulated vsize (KiB) 2862720
Child status: 0
Real time (s): 1800.55
CPU time (s): 1800.61
CPU user time (s): 1799.36
CPU system time (s): 1.24881
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3406532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.36
system time used= 1.24881
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 864020
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= 8
involuntary context switches= 1279
runsolver used 5.49916 second user time and 12.7301 second system time
The end