0.00/0.00 c SCIP version 2.0.1.4 [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-3485433-1307759174.opb>
3.09/3.12 c original problem has 10000 variables (10000 bin, 0 int, 0 impl, 0 cont) and 656900 constraints
3.09/3.12 c problem read
3.09/3.12 c presolving settings loaded
5.09/5.19 c presolving:
9.09/9.10 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 656900 upgd conss, 1313400 impls, 0 clqs
15.59/15.65 c (15.7s) probing: 101/10000 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
15.59/15.65 c (15.7s) probing aborted: 100/100 successive totally useless probings
15.59/15.65 c presolving (2 rounds):
15.59/15.65 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
15.59/15.65 c 1313400 implications, 0 cliques
15.59/15.65 c presolved problem has 10000 variables (10000 bin, 0 int, 0 impl, 0 cont) and 656900 constraints
15.59/15.65 c 656700 constraints of type <setppc>
15.59/15.65 c 200 constraints of type <logicor>
15.59/15.65 c transformed objective value is always integral (scale: 1)
15.59/15.65 c Presolving Time: 12.09
15.59/15.65 c - non default parameters ----------------------------------------------------------------------
15.59/15.65 c # SCIP version 2.0.1.4
15.59/15.65 c
15.59/15.65 c # frequency for displaying node information lines
15.59/15.65 c # [type: int, range: [-1,2147483647], default: 100]
15.59/15.65 c display/freq = 10000
15.59/15.65 c
15.59/15.65 c # maximal time in seconds to run
15.59/15.65 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
15.59/15.65 c limits/time = 1797
15.59/15.65 c
15.59/15.65 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
15.59/15.65 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
15.59/15.65 c limits/memory = 13950
15.59/15.65 c
15.59/15.65 c # default clock type (1: CPU user seconds, 2: wall clock time)
15.59/15.65 c # [type: int, range: [1,2], default: 1]
15.59/15.65 c timing/clocktype = 2
15.59/15.65 c
15.59/15.65 c # belongs reading time to solving time?
15.59/15.65 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
15.59/15.65 c timing/reading = TRUE
15.59/15.65 c
15.59/15.65 c # should presolving try to simplify inequalities
15.59/15.65 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
15.59/15.65 c constraints/linear/simplifyinequalities = TRUE
15.59/15.65 c
15.59/15.65 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
15.59/15.65 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
15.59/15.65 c constraints/indicator/addCouplingCons = TRUE
15.59/15.65 c
15.59/15.65 c # should presolving try to simplify knapsacks
15.59/15.65 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
15.59/15.65 c constraints/knapsack/simplifyinequalities = TRUE
15.59/15.65 c
15.59/15.65 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
15.59/15.65 c # [type: int, range: [-1,2147483647], default: -1]
15.59/15.65 c separating/rapidlearning/freq = 0
15.59/15.65 c
15.59/15.65 c -----------------------------------------------------------------------------------------------
15.59/15.65 c start solving
15.59/15.67 c
34.49/34.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.49/34.51 c 34.5s| 1 | 0 | 1736 | - | 765M| 0 | 270 | 10k| 656k| 10k| 656k| 0 | 45 | 0 | 1.726544e+02 | -- | Inf
377.70/377.73 c 378s| 1 | 0 | 23584 | - | 765M| 0 | 273 | 10k| 656k| 10k| 656k| 8 | 45 | 0 | 1.787246e+02 | -- | Inf
848.30/848.36 c 848s| 1 | 0 | 24194 | - | 765M| 0 | 290 | 10k| 656k| 10k| 656k| 14 | 45 | 0 | 1.821027e+02 | -- | Inf
1328.61/1328.62 c 1329s| 1 | 0 | 24603 | - | 766M| 0 | 289 | 10k| 656k| 10k| 656k| 20 | 45 | 0 | 1.845736e+02 | -- | Inf
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-3485433-1307759174/watcher-3485433-1307759174 -o /tmp/evaluation-result-3485433-1307759174/solver-3485433-1307759174 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485433-1307759174.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 2.00 1.99 2/177 22352
/proc/meminfo: memFree=29514660/32951124 swapFree=67049456/67111528
[pid=22352] ppid=22350 vsize=11092 CPUtime=0 cores=1,3,5,7
/proc/22352/stat : 22352 (scip-2.0.1.4_2.) R 22350 22352 21071 0 -1 4202496 1767 0 0 0 0 0 0 0 21 0 1 0 966148084 11358208 1722 33554432000 4194304 8979876 140737132933264 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/22352/statm: 2773 1722 358 1169 0 1600 0
[startup+0.031789 s]
/proc/loadavg: 2.00 2.00 1.99 2/177 22352
/proc/meminfo: memFree=29514660/32951124 swapFree=67049456/67111528
[pid=22352] ppid=22350 vsize=19136 CPUtime=0.02 cores=1,3,5,7
/proc/22352/stat : 22352 (scip-2.0.1.4_2.) R 22350 22352 21071 0 -1 4202496 3834 0 0 0 2 0 0 0 21 0 1 0 966148084 19595264 3787 33554432000 4194304 8979876 140737132933264 18446744073709551615 6203548 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/22352/statm: 4784 3787 366 1169 0 3611 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19136
[startup+0.100778 s]
/proc/loadavg: 2.00 2.00 1.99 2/177 22352
/proc/meminfo: memFree=29514660/32951124 swapFree=67049456/67111528
[pid=22352] ppid=22350 vsize=23712 CPUtime=0.09 cores=1,3,5,7
/proc/22352/stat : 22352 (scip-2.0.1.4_2.) R 22350 22352 21071 0 -1 4202496 4969 0 0 0 9 0 0 0 21 0 1 0 966148084 24281088 4922 33554432000 4194304 8979876 140737132933264 18446744073709551615 7820609 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/22352/statm: 5928 4922 366 1169 0 4755 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23712
[startup+0.300743 s]
/proc/loadavg: 2.00 2.00 1.99 2/177 22352
/proc/meminfo: memFree=29514660/32951124 swapFree=67049456/67111528
[pid=22352] ppid=22350 vsize=36132 CPUtime=0.29 cores=1,3,5,7
/proc/22352/stat : 22352 (scip-2.0.1.4_2.) R 22350 22352 21071 0 -1 4202496 8086 0 0 0 29 0 0 0 22 0 1 0 966148084 36999168 8028 33554432000 4194304 8979876 140737132933264 18446744073709551615 7840529 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/22352/statm: 9033 8028 366 1169 0 7860 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36132
[startup+0.700677 s]
/proc/loadavg: 2.00 2.00 1.99 2/177 22352
/proc/meminfo: memFree=29514660/32951124 swapFree=67049456/67111528
[pid=22352] ppid=22350 vsize=59020 CPUtime=0.69 cores=1,3,5,7
/proc/22352/stat : 22352 (scip-2.0.1.4_2.) R 22350 22352 21071 0 -1 4202496 13784 0 0 0 68 1 0 0 23 0 1 0 966148084 60436480 13726 33554432000 4194304 8979876 140737132933264 18446744073709551615 7836093 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/22352/statm: 14755 13726 366 1169 0 13582 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 59020
[startup+1.50054 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 22353
/proc/meminfo: memFree=29443748/32951124 swapFree=67049456/67111528
[pid=22352] ppid=22350 vsize=106448 CPUtime=1.49 cores=1,3,5,7
/proc/22352/stat : 22352 (scip-2.0.1.4_2.) R 22350 22352 21071 0 -1 4202496 25632 0 0 0 146 3 0 0 25 0 1 0 966148084 109002752 25574 33554432000 4194304 8979876 140737132933264 18446744073709551615 4446963 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/22352/statm: 26612 25574 366 1169 0 25439 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 106448
[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 22353
/proc/meminfo: memFree=29379640/32951124 swapFree=67049456/67111528
[pid=22352] ppid=22350 vsize=199600 CPUtime=3.09 cores=1,3,5,7
/proc/22352/stat : 22352 (scip-2.0.1.4_2.) R 22350 22352 21071 0 -1 4202496 48878 0 0 0 303 6 0 0 25 0 1 0 966148084 204390400 48820 33554432000 4194304 8979876 140737132933264 18446744073709551615 7836098 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/22352/statm: 49900 48820 366 1169 0 48727 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 199600
[startup+6.30074 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 22353
/proc/meminfo: memFree=28842380/32951124 swapFree=67049456/67111528
[pid=22352] ppid=22350 vsize=698328 CPUtime=6.29 cores=1,3,5,7
/proc/22352/stat : 22352 (scip-2.0.1.4_2.) R 22350 22352 21071 0 -1 4202496 205372 0 0 0 604 25 0 0 25 0 1 0 966148084 715087872 172156 33554432000 4194304 8979876 140737132933264 18446744073709551615 6782522 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22352/statm: 174582 172156 486 1169 0 173409 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 698328
[startup+12.7007 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 22353
/proc/meminfo: memFree=28725288/32951124 swapFree=67049456/67111528
[pid=22352] ppid=22350 vsize=800796 CPUtime=12.69 cores=1,3,5,7
/proc/22352/stat : 22352 (scip-2.0.1.4_2.) R 22350 22352 21071 0 -1 4202496 298864 0 0 0 1232 37 0 0 25 0 1 0 966148084 820015104 197104 33554432000 4194304 8979876 140737132933264 18446744073709551615 4222938 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22352/statm: 200199 197104 543 1169 0 199026 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 800796
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 22353
/proc/meminfo: memFree=28028424/32951124 swapFree=67049456/67111528
[pid=22352] ppid=22350 vsize=1574644 CPUtime=25.49 cores=1,3,5,7
/proc/22352/stat : 22352 (scip-2.0.1.4_2.) R 22350 22352 21071 0 -1 4202496 509590 0 0 0 2489 60 0 0 25 0 1 0 966148084 1612435456 370736 33554432000 4194304 8979876 140737132933264 18446744073709551615 6829028 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22352/statm: 393661 370736 1504 1169 0 392488 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1574644
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 22355
/proc/meminfo: memFree=28070680/32951124 swapFree=67049456/67111528
[pid=22352] ppid=22350 vsize=1488784 CPUtime=51.1 cores=1,3,5,7
/proc/22352/stat : 22352 (scip-2.0.1.4_2.) R 22350 22352 21071 0 -1 4202496 534596 0 0 0 5044 66 0 0 25 0 1 0 966148084 1524514816 359796 33554432000 4194304 8979876 140737132933264 18446744073709551615 7145982 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22352/statm: 372196 359796 1158 1169 0 371023 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 1488784
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 22355
/proc/meminfo: memFree=28069272/32951124 swapFree=67049456/67111528
[pid=22352] ppid=22350 vsize=1488784 CPUtime=102.3 cores=1,3,5,7
/proc/22352/stat : 22352 (scip-2.0.1.4_2.) R 22350 22352 21071 0 -1 4202496 538484 0 0 0 10161 69 0 0 25 0 1 0 966148084 1524514816 359942 33554432000 4194304 8979876 140737132933264 18446744073709551615 6937968 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22352/statm: 372196 359942 1150 1169 0 371023 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1488784
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 22357
/proc/meminfo: memFree=28059516/32951124 swapFree=67049456/67111528
[pid=22352] ppid=22350 vsize=1488784 CPUtime=162.3 cores=1,3,5,7
/proc/22352/stat : 22352 (scip-2.0.1.4_2.) R 22350 22352 21071 0 -1 4202496 548340 0 0 0 16156 74 0 0 25 0 1 0 966148084 1524514816 360233 33554432000 4194304 8979876 140737132933264 18446744073709551615 7145972 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22352/statm: 372196 360233 1150 1169 0 371023 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1488784
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 22359
/proc/meminfo: memFree=27941880/32951124 swapFree=67049456/67111528
[pid=22352] ppid=22350 vsize=1488784 CPUtime=222.3 cores=1,3,5,7
/proc/22352/stat : 22352 (scip-2.0.1.4_2.) R 22350 22352 21071 0 -1 4202496 560630 0 0 0 22149 81 0 0 25 0 1 0 966148084 1524514816 360292 33554432000 4194304 8979876 140737132933264 18446744073709551615 7146279 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22352/statm: 372196 360292 1150 1169 0 371023 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1488784
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 22361
/proc/meminfo: memFree=27961796/32951124 swapFree=67049456/67111528
[pid=22352] ppid=22350 vsize=1467008 CPUtime=282.3 cores=1,3,5,7
/proc/22352/stat : 22352 (scip-2.0.1.4_2.) R 22350 22352 21071 0 -1 4202496 570145 0 0 0 28144 86 0 0 25 0 1 0 966148084 1502216192 355232 33554432000 4194304 8979876 140737132933264 18446744073709551615 6890417 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22352/statm: 366752 355232 1067 1169 0 365579 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1467008
[startup+342.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 22361
/proc/meminfo: memFree=27961860/32951124 swapFree=67049456/67111528
[pid=22352] ppid=22350 vsize=1467040 CPUtime=342.29 cores=1,3,5,7
/proc/22352/stat : 22352 (scip-2.0.1.4_2.) R 22350 22352 21071 0 -1 4202496 570150 0 0 0 34141 88 0 0 25 0 1 0 966148084 1502248960 355237 33554432000 4194304 8979876 140737132933264 18446744073709551615 6609728 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22352/statm: 366760 355237 1068 1169 0 365587 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1467040
[startup+402.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 22363
/proc/meminfo: memFree=27910948/32951124 swapFree=67049456/67111528
[pid=22352] ppid=22350 vsize=1541312 CPUtime=402.3 cores=1,3,5,7
/proc/22352/stat : 22352 (scip-2.0.1.4_2.) R 22350 22352 21071 0 -1 4202496 586027 0 0 0 40138 92 0 0 25 0 1 0 966148084 1578303488 367988 33554432000 4194304 8979876 140737132933264 18446744073709551615 7836189 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22352/statm: 385328 367988 942 1169 0 384155 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1541312
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22365
/proc/meminfo: memFree=27884340/32951124 swapFree=67049456/67111528
[pid=22352] ppid=22350 vsize=1541312 CPUtime=462.29 cores=1,3,5,7
/proc/22352/stat : 22352 (scip-2.0.1.4_2.) R 22350 22352 21071 0 -1 4202496 586027 0 0 0 46135 94 0 0 25 0 1 0 966148084 1578303488 367988 33554432000 4194304 8979876 140737132933264 18446744073709551615 6888511 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22352/statm: 385328 367988 942 1169 0 384155 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 1541312
[startup+522.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 22367
/proc/meminfo: memFree=27884164/32951124 swapFree=67049456/67111528
[pid=22352] ppid=22350 vsize=1541312 CPUtime=522.3 cores=1,3,5,7
/proc/22352/stat : 22352 (scip-2.0.1.4_2.) R 22350 22352 21071 0 -1 4202496 586027 0 0 0 52133 97 0 0 25 0 1 0 966148084 1578303488 367988 33554432000 4194304 8979876 140737132933264 18446744073709551615 7836169 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22352/statm: 385328 367988 942 1169 0 384155 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1541312
[startup+582.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 22369
/proc/meminfo: memFree=27884236/32951124 swapFree=67049456/67111528
[pid=22352] ppid=22350 vsize=1541312 CPUtime=582.3 cores=1,3,5,7
/proc/22352/stat : 22352 (scip-2.0.1.4_2.) R 22350 22352 21071 0 -1 4202496 586027 0 0 0 58130 100 0 0 25 0 1 0 966148084 1578303488 367988 33554432000 4194304 8979876 140737132933264 18446744073709551615 6888353 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22352/statm: 385328 367988 942 1169 0 384155 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1541312
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 22378
/proc/meminfo: memFree=27884300/32951124 swapFree=67049456/67111528
[pid=22352] ppid=22350 vsize=1541312 CPUtime=822.3 cores=1,3,5,7
/proc/22352/stat : 22352 (scip-2.0.1.4_2.) R 22350 22352 21071 0 -1 4202496 586027 0 0 0 82122 108 0 0 25 0 1 0 966148084 1578303488 367988 33554432000 4194304 8979876 140737132933264 18446744073709551615 6293633 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22352/statm: 385328 367988 942 1169 0 384155 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 1541312
[startup+882.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 22380
/proc/meminfo: memFree=27862180/32951124 swapFree=67049456/67111528
[pid=22352] ppid=22350 vsize=1561840 CPUtime=882.3 cores=1,3,5,7
/proc/22352/stat : 22352 (scip-2.0.1.4_2.) R 22350 22352 21071 0 -1 4202496 592206 0 0 0 88119 111 0 0 25 0 1 0 966148084 1599324160 373388 33554432000 4194304 8979876 140737132933264 18446744073709551615 6601176 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22352/statm: 390460 373388 900 1169 0 389287 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 1561840
[startup+942.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 22380
/proc/meminfo: memFree=27873776/32951124 swapFree=67049456/67111528
[pid=22352] ppid=22350 vsize=1561840 CPUtime=942.3 cores=1,3,5,7
/proc/22352/stat : 22352 (scip-2.0.1.4_2.) R 22350 22352 21071 0 -1 4202496 592206 0 0 0 94117 113 0 0 25 0 1 0 966148084 1599324160 373388 33554432000 4194304 8979876 140737132933264 18446744073709551615 7841678 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22352/statm: 390460 373388 900 1169 0 389287 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 1561840
[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 22382
/proc/meminfo: memFree=27873848/32951124 swapFree=67049456/67111528
[pid=22352] ppid=22350 vsize=1561840 CPUtime=1002.3 cores=1,3,5,7
/proc/22352/stat : 22352 (scip-2.0.1.4_2.) R 22350 22352 21071 0 -1 4202496 592206 0 0 0 100115 115 0 0 25 0 1 0 966148084 1599324160 373388 33554432000 4194304 8979876 140737132933264 18446744073709551615 6890423 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22352/statm: 390460 373388 900 1169 0 389287 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 1561840
[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 22384
/proc/meminfo: memFree=27847496/32951124 swapFree=67049456/67111528
[pid=22352] ppid=22350 vsize=1561840 CPUtime=1062.31 cores=1,3,5,7
/proc/22352/stat : 22352 (scip-2.0.1.4_2.) R 22350 22352 21071 0 -1 4202496 592206 0 0 0 106114 117 0 0 25 0 1 0 966148084 1599324160 373388 33554432000 4194304 8979876 140737132933264 18446744073709551615 7841678 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22352/statm: 390460 373388 900 1169 0 389287 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1561840
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22386
/proc/meminfo: memFree=27846948/32951124 swapFree=67049456/67111528
[pid=22352] ppid=22350 vsize=1561840 CPUtime=1122.31 cores=1,3,5,7
/proc/22352/stat : 22352 (scip-2.0.1.4_2.) R 22350 22352 21071 0 -1 4202496 592206 0 0 0 112112 119 0 0 25 0 1 0 966148084 1599324160 373388 33554432000 4194304 8979876 140737132933264 18446744073709551615 6890417 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22352/statm: 390460 373388 900 1169 0 389287 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1561840
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22388
/proc/meminfo: memFree=27847148/32951124 swapFree=67049456/67111528
[pid=22352] ppid=22350 vsize=1561840 CPUtime=1182.31 cores=1,3,5,7
/proc/22352/stat : 22352 (scip-2.0.1.4_2.) R 22350 22352 21071 0 -1 4202496 592206 0 0 0 118109 122 0 0 25 0 1 0 966148084 1599324160 373388 33554432000 4194304 8979876 140737132933264 18446744073709551615 6888366 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22352/statm: 390460 373388 900 1169 0 389287 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 1561840
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22388
/proc/meminfo: memFree=27847220/32951124 swapFree=67049456/67111528
[pid=22352] ppid=22350 vsize=1561840 CPUtime=1242.31 cores=1,3,5,7
/proc/22352/stat : 22352 (scip-2.0.1.4_2.) R 22350 22352 21071 0 -1 4202496 592206 0 0 0 124107 124 0 0 25 0 1 0 966148084 1599324160 373388 33554432000 4194304 8979876 140737132933264 18446744073709551615 6890417 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22352/statm: 390460 373388 900 1169 0 389287 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 1561840
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22390
/proc/meminfo: memFree=27859196/32951124 swapFree=67049456/67111528
[pid=22352] ppid=22350 vsize=1561840 CPUtime=1302.31 cores=1,3,5,7
/proc/22352/stat : 22352 (scip-2.0.1.4_2.) R 22350 22352 21071 0 -1 4202496 592206 0 0 0 130105 126 0 0 25 0 1 0 966148084 1599324160 373388 33554432000 4194304 8979876 140737132933264 18446744073709551615 6293627 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22352/statm: 390460 373388 900 1169 0 389287 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 1561840
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22392
/proc/meminfo: memFree=27832484/32951124 swapFree=67049456/67111528
[pid=22352] ppid=22350 vsize=1589552 CPUtime=1362.31 cores=1,3,5,7
/proc/22352/stat : 22352 (scip-2.0.1.4_2.) R 22350 22352 21071 0 -1 4202496 599267 0 0 0 136102 129 0 0 25 0 1 0 966148084 1627701248 380045 33554432000 4194304 8979876 140737132933264 18446744073709551615 7841678 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22352/statm: 397388 380045 900 1169 0 396215 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 1589552
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22394
/proc/meminfo: memFree=27832796/32951124 swapFree=67049456/67111528
[pid=22352] ppid=22350 vsize=1589552 CPUtime=1422.31 cores=1,3,5,7
/proc/22352/stat : 22352 (scip-2.0.1.4_2.) R 22350 22352 21071 0 -1 4202496 599267 0 0 0 142100 131 0 0 25 0 1 0 966148084 1627701248 380045 33554432000 4194304 8979876 140737132933264 18446744073709551615 7836169 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22352/statm: 397388 380045 900 1169 0 396215 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 1589552
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22396
/proc/meminfo: memFree=27832764/32951124 swapFree=67049456/67111528
[pid=22352] ppid=22350 vsize=1589552 CPUtime=1482.31 cores=1,3,5,7
/proc/22352/stat : 22352 (scip-2.0.1.4_2.) R 22350 22352 21071 0 -1 4202496 599267 0 0 0 148097 134 0 0 25 0 1 0 966148084 1627701248 380045 33554432000 4194304 8979876 140737132933264 18446744073709551615 7836189 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22352/statm: 397388 380045 900 1169 0 396215 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 1589552
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22396
/proc/meminfo: memFree=27832960/32951124 swapFree=67049456/67111528
[pid=22352] ppid=22350 vsize=1589552 CPUtime=1542.31 cores=1,3,5,7
/proc/22352/stat : 22352 (scip-2.0.1.4_2.) R 22350 22352 21071 0 -1 4202496 599267 0 0 0 154095 136 0 0 25 0 1 0 966148084 1627701248 380045 33554432000 4194304 8979876 140737132933264 18446744073709551615 7836169 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22352/statm: 397388 380045 900 1169 0 396215 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 1589552
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22398
/proc/meminfo: memFree=27832912/32951124 swapFree=67049456/67111528
[pid=22352] ppid=22350 vsize=1589552 CPUtime=1602.31 cores=1,3,5,7
/proc/22352/stat : 22352 (scip-2.0.1.4_2.) R 22350 22352 21071 0 -1 4202496 599267 0 0 0 160092 139 0 0 25 0 1 0 966148084 1627701248 380045 33554432000 4194304 8979876 140737132933264 18446744073709551615 7841678 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22352/statm: 397388 380045 900 1169 0 396215 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 1589552
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22400
/proc/meminfo: memFree=27832836/32951124 swapFree=67049456/67111528
[pid=22352] ppid=22350 vsize=1589552 CPUtime=1662.32 cores=1,3,5,7
/proc/22352/stat : 22352 (scip-2.0.1.4_2.) R 22350 22352 21071 0 -1 4202496 599267 0 0 0 166090 142 0 0 25 0 1 0 966148084 1627701248 380045 33554432000 4194304 8979876 140737132933264 18446744073709551615 7841813 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22352/statm: 397388 380045 900 1169 0 396215 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 1589552
[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 22440
/proc/meminfo: memFree=29337756/32951124 swapFree=67049456/67111528
[pid=22352] ppid=22350 vsize=1589552 CPUtime=1722.32 cores=1,3,5,7
/proc/22352/stat : 22352 (scip-2.0.1.4_2.) R 22350 22352 21071 0 -1 4202496 599267 0 0 0 172087 145 0 0 25 0 1 0 966148084 1627701248 380045 33554432000 4194304 8979876 140737132933264 18446744073709551615 7836189 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22352/statm: 397388 380045 900 1169 0 396215 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 1589552
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 22442
/proc/meminfo: memFree=29337648/32951124 swapFree=67049456/67111528
[pid=22352] ppid=22350 vsize=1589552 CPUtime=1782.31 cores=1,3,5,7
/proc/22352/stat : 22352 (scip-2.0.1.4_2.) R 22350 22352 21071 0 -1 4202496 599267 0 0 0 178084 147 0 0 25 0 1 0 966148084 1627701248 380045 33554432000 4194304 8979876 140737132933264 18446744073709551615 7841793 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22352/statm: 397388 380045 900 1169 0 396215 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 1589552
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 22442
/proc/meminfo: memFree=29337152/32951124 swapFree=67049456/67111528
[pid=22352] ppid=22350 vsize=1589552 CPUtime=1800.02 cores=1,3,5,7
/proc/22352/stat : 22352 (scip-2.0.1.4_2.) R 22350 22352 21071 0 -1 4202496 599267 0 0 0 179855 147 0 0 25 0 1 0 966148084 1627701248 380045 33554432000 4194304 8979876 140737132933264 18446744073709551615 6293627 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22352/statm: 397388 380045 900 1169 0 396215 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1589552
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.06
CPU time (s): 1800.09
CPU user time (s): 1798.55
CPU system time (s): 1.53677
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 1618292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.55
system time used= 1.53677
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 599267
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= 4
involuntary context switches= 2600
runsolver used 2.82457 second user time and 6.87795 second system time
The end