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-3489850-1307796172.opb>
1.88/1.90 c original problem has 213440 variables (213440 bin, 0 int, 0 impl, 0 cont) and 223870 constraints
1.88/1.90 c problem read
1.88/1.90 c presolving settings loaded
2.89/2.99 c presolving:
3.58/3.69 c (round 1) 264 del vars, 264 del conss, 0 add conss, 264 chg bounds, 0 chg sides, 460 chg coeffs, 0 upgd conss, 243936 impls, 0 clqs
4.69/4.72 c (round 2) 264 del vars, 264 del conss, 0 add conss, 264 chg bounds, 0 chg sides, 460 chg coeffs, 213442 upgd conss, 243936 impls, 0 clqs
146.49/146.54 c (round 3) 264 del vars, 122496 del conss, 121968 add conss, 264 chg bounds, 121968 chg sides, 244396 chg coeffs, 213442 upgd conss, 243936 impls, 0 clqs
148.79/148.84 c (148.8s) probing: 101/213176 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
148.79/148.84 c (148.8s) probing aborted: 100/100 successive totally useless probings
148.79/148.85 c presolving (4 rounds):
148.79/148.85 c 264 deleted vars, 122496 deleted constraints, 121968 added constraints, 264 tightened bounds, 0 added holes, 121968 changed sides, 244396 changed coefficients
148.79/148.85 c 243936 implications, 0 cliques
148.79/148.85 c presolved problem has 213176 variables (213176 bin, 0 int, 0 impl, 0 cont) and 223342 constraints
148.79/148.85 c 658 constraints of type <knapsack>
148.79/148.85 c 121968 constraints of type <setppc>
148.79/148.85 c 10164 constraints of type <linear>
148.79/148.85 c 90552 constraints of type <logicor>
148.79/148.85 c transformed objective value is always integral (scale: 1)
148.79/148.85 c Presolving Time: 146.19
148.79/148.85 c - non default parameters ----------------------------------------------------------------------
148.79/148.85 c # SCIP version 2.0.1.5
148.79/148.85 c
148.79/148.85 c # frequency for displaying node information lines
148.79/148.85 c # [type: int, range: [-1,2147483647], default: 100]
148.79/148.85 c display/freq = 10000
148.79/148.85 c
148.79/148.85 c # maximal time in seconds to run
148.79/148.85 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
148.79/148.85 c limits/time = 1797
148.79/148.85 c
148.79/148.85 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
148.79/148.85 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
148.79/148.85 c limits/memory = 13950
148.79/148.85 c
148.79/148.85 c # default clock type (1: CPU user seconds, 2: wall clock time)
148.79/148.85 c # [type: int, range: [1,2], default: 1]
148.79/148.85 c timing/clocktype = 2
148.79/148.85 c
148.79/148.85 c # belongs reading time to solving time?
148.79/148.85 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
148.79/148.85 c timing/reading = TRUE
148.79/148.85 c
148.79/148.85 c # should presolving try to simplify inequalities
148.79/148.85 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
148.79/148.85 c constraints/linear/simplifyinequalities = TRUE
148.79/148.85 c
148.79/148.85 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
148.79/148.85 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
148.79/148.85 c constraints/indicator/addCouplingCons = TRUE
148.79/148.85 c
148.79/148.85 c # should presolving try to simplify knapsacks
148.79/148.85 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
148.79/148.85 c constraints/knapsack/simplifyinequalities = TRUE
148.79/148.85 c
148.79/148.85 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
148.79/148.85 c # [type: int, range: [-1,2147483647], default: -1]
148.79/148.85 c separating/rapidlearning/freq = 0
148.79/148.85 c
148.79/148.85 c -----------------------------------------------------------------------------------------------
148.79/148.85 c start solving
148.89/148.92 c
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-3489850-1307796172/watcher-3489850-1307796172 -o /tmp/evaluation-result-3489850-1307796172/solver-3489850-1307796172 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489850-1307796172.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.93 1.74 3/177 7672
/proc/meminfo: memFree=17573160/32951124 swapFree=67050916/67111528
[pid=7672] ppid=7670 vsize=11972 CPUtime=0 cores=1,3,5,7
/proc/7672/stat : 7672 (scip-2.0.1.4b_2) R 7670 7672 7493 0 -1 4202496 1972 0 0 0 0 0 0 0 21 0 1 0 872033543 12259328 1926 33554432000 4194304 9016284 140733817530608 18446744073709551615 7870589 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7672/statm: 2993 1938 340 1178 0 1811 0
[startup+0.0388791 s]
/proc/loadavg: 2.00 1.93 1.74 3/177 7672
/proc/meminfo: memFree=17573160/32951124 swapFree=67050916/67111528
[pid=7672] ppid=7670 vsize=33592 CPUtime=0.03 cores=1,3,5,7
/proc/7672/stat : 7672 (scip-2.0.1.4b_2) R 7670 7672 7493 0 -1 4202496 7327 0 0 0 3 0 0 0 21 0 1 0 872033543 34398208 7282 33554432000 4194304 9016284 140733817530608 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7672/statm: 8398 7314 360 1178 0 7216 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 33592
[startup+0.100864 s]
/proc/loadavg: 2.00 1.93 1.74 3/177 7672
/proc/meminfo: memFree=17573160/32951124 swapFree=67050916/67111528
[pid=7672] ppid=7670 vsize=67752 CPUtime=0.09 cores=1,3,5,7
/proc/7672/stat : 7672 (scip-2.0.1.4b_2) R 7670 7672 7493 0 -1 4202496 15903 0 0 0 8 1 0 0 21 0 1 0 872033543 69378048 15857 33554432000 4194304 9016284 140733817530608 18446744073709551615 4445945 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7672/statm: 16938 15857 360 1178 0 15756 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 67752
[startup+0.300828 s]
/proc/loadavg: 2.00 1.93 1.74 3/177 7672
/proc/meminfo: memFree=17573160/32951124 swapFree=67050916/67111528
[pid=7672] ppid=7670 vsize=147228 CPUtime=0.29 cores=1,3,5,7
/proc/7672/stat : 7672 (scip-2.0.1.4b_2) R 7670 7672 7493 0 -1 4202496 35772 0 0 0 26 3 0 0 22 0 1 0 872033543 150761472 35726 33554432000 4194304 9016284 140733817530608 18446744073709551615 7987616 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7672/statm: 36807 35726 360 1178 0 35625 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 147228
[startup+0.700769 s]
/proc/loadavg: 2.00 1.93 1.74 3/177 7672
/proc/meminfo: memFree=17573160/32951124 swapFree=67050916/67111528
[pid=7672] ppid=7670 vsize=188296 CPUtime=0.69 cores=1,3,5,7
/proc/7672/stat : 7672 (scip-2.0.1.4b_2) R 7670 7672 7493 0 -1 4202496 46037 0 0 0 65 4 0 0 23 0 1 0 872033543 192815104 45991 33554432000 4194304 9016284 140733817530608 18446744073709551615 7870498 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7672/statm: 47074 45991 360 1178 0 45892 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 188296
[startup+1.50062 s]
/proc/loadavg: 2.00 1.93 1.74 3/178 7673
/proc/meminfo: memFree=17369808/32951124 swapFree=67050916/67111528
[pid=7672] ppid=7670 vsize=243012 CPUtime=1.49 cores=1,3,5,7
/proc/7672/stat : 7672 (scip-2.0.1.4b_2) R 7670 7672 7493 0 -1 4202496 59644 0 0 0 143 6 0 0 25 0 1 0 872033543 248844288 59598 33554432000 4194304 9016284 140733817530608 18446744073709551615 7870463 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7672/statm: 60753 59598 360 1178 0 59571 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 243012
[startup+3.10034 s]
/proc/loadavg: 2.00 1.93 1.74 3/178 7673
/proc/meminfo: memFree=17139292/32951124 swapFree=67050916/67111528
[pid=7672] ppid=7670 vsize=664812 CPUtime=3.09 cores=1,3,5,7
/proc/7672/stat : 7672 (scip-2.0.1.4b_2) R 7670 7672 7493 0 -1 4202496 164730 0 0 0 292 17 0 0 25 0 1 0 872033543 680767488 164619 33554432000 4194304 9016284 140733817530608 18446744073709551615 5246597 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7672/statm: 166203 164619 481 1178 0 165021 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 664812
[startup+6.30076 s]
/proc/loadavg: 2.00 1.93 1.74 3/178 7673
/proc/meminfo: memFree=16802496/32951124 swapFree=67050916/67111528
[pid=7672] ppid=7670 vsize=777104 CPUtime=6.29 cores=1,3,5,7
/proc/7672/stat : 7672 (scip-2.0.1.4b_2) R 7670 7672 7493 0 -1 4202496 218365 0 0 0 604 25 0 0 25 0 1 0 872033543 795754496 192543 33554432000 4194304 9016284 140733817530608 18446744073709551615 4875342 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7672/statm: 194276 192543 513 1178 0 193094 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 777104
[startup+12.7006 s]
/proc/loadavg: 2.00 1.94 1.74 3/178 7673
/proc/meminfo: memFree=16800804/32951124 swapFree=67050916/67111528
[pid=7672] ppid=7670 vsize=782756 CPUtime=12.69 cores=1,3,5,7
/proc/7672/stat : 7672 (scip-2.0.1.4b_2) R 7670 7672 7493 0 -1 4202496 219065 0 0 0 1244 25 0 0 25 0 1 0 872033543 801542144 193243 33554432000 4194304 9016284 140733817530608 18446744073709551615 4638274 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7672/statm: 195689 193243 634 1178 0 194507 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 782756
[startup+25.5003 s]
/proc/loadavg: 2.00 1.94 1.75 3/178 7674
/proc/meminfo: memFree=16779748/32951124 swapFree=67050916/67111528
[pid=7672] ppid=7670 vsize=795468 CPUtime=25.49 cores=1,3,5,7
/proc/7672/stat : 7672 (scip-2.0.1.4b_2) R 7670 7672 7493 0 -1 4202496 222039 0 0 0 2523 26 0 0 25 0 1 0 872033543 814559232 196217 33554432000 4194304 9016284 140733817530608 18446744073709551615 4460353 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7672/statm: 198867 196217 634 1178 0 197685 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 795468
[startup+51.1007 s]
/proc/loadavg: 2.00 1.94 1.75 3/178 7674
/proc/meminfo: memFree=16702404/32951124 swapFree=67050916/67111528
[pid=7672] ppid=7670 vsize=817796 CPUtime=51.09 cores=1,3,5,7
/proc/7672/stat : 7672 (scip-2.0.1.4b_2) R 7670 7672 7493 0 -1 4202496 227580 0 0 0 5082 27 0 0 25 0 1 0 872033543 837423104 201758 33554432000 4194304 9016284 140733817530608 18446744073709551615 6476101 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7672/statm: 204449 201758 634 1178 0 203267 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 817796
[startup+102.307 s]
/proc/loadavg: 2.00 1.95 1.76 3/178 7676
/proc/meminfo: memFree=16605176/32951124 swapFree=67050916/67111528
[pid=7672] ppid=7670 vsize=884436 CPUtime=102.3 cores=1,3,5,7
/proc/7672/stat : 7672 (scip-2.0.1.4b_2) R 7670 7672 7493 0 -1 4202496 244283 0 0 0 10202 28 0 0 25 0 1 0 872033543 905662464 218461 33554432000 4194304 9016284 140733817530608 18446744073709551615 4638274 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7672/statm: 221109 218461 634 1178 0 219927 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 884436
[startup+162.301 s]
/proc/loadavg: 2.03 1.97 1.78 3/178 7677
/proc/meminfo: memFree=15977324/32951124 swapFree=67050916/67111528
[pid=7672] ppid=7670 vsize=1556664 CPUtime=162.29 cores=1,3,5,7
/proc/7672/stat : 7672 (scip-2.0.1.4b_2) R 7670 7672 7493 0 -1 4202496 415442 0 0 0 16179 50 0 0 25 0 1 0 872033543 1594023936 374265 33554432000 4194304 9016284 140733817530608 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7672/statm: 389166 374265 718 1178 0 387984 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1556664
[startup+222.301 s]
/proc/loadavg: 2.01 1.97 1.79 3/178 7679
/proc/meminfo: memFree=15892596/32951124 swapFree=67050916/67111528
[pid=7672] ppid=7670 vsize=1602020 CPUtime=222.29 cores=1,3,5,7
/proc/7672/stat : 7672 (scip-2.0.1.4b_2) R 7670 7672 7493 0 -1 4202496 423548 0 0 0 22172 57 0 0 25 0 1 0 872033543 1640468480 382224 33554432000 4194304 9016284 140733817530608 18446744073709551615 7870569 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7672/statm: 400505 382224 857 1178 0 399323 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1602020
[startup+282.3 s]
/proc/loadavg: 2.00 1.97 1.80 3/178 7720
/proc/meminfo: memFree=29672940/32951124 swapFree=67050916/67111528
[pid=7672] ppid=7670 vsize=1616620 CPUtime=282.3 cores=1,3,5,7
/proc/7672/stat : 7672 (scip-2.0.1.4b_2) R 7670 7672 7493 0 -1 4202496 427270 0 0 0 28168 62 0 0 25 0 1 0 872033543 1655418880 385537 33554432000 4194304 9016284 140733817530608 18446744073709551615 7178157 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7672/statm: 404155 385537 728 1178 0 402973 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1616620
[startup+342.301 s]
/proc/loadavg: 2.00 1.97 1.81 3/178 7721
/proc/meminfo: memFree=29658952/32951124 swapFree=67050916/67111528
[pid=7672] ppid=7670 vsize=1616620 CPUtime=342.3 cores=1,3,5,7
/proc/7672/stat : 7672 (scip-2.0.1.4b_2) R 7670 7672 7493 0 -1 4202496 427937 0 0 0 34165 65 0 0 25 0 1 0 872033543 1655418880 386188 33554432000 4194304 9016284 140733817530608 18446744073709551615 7870564 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7672/statm: 404155 386188 712 1178 0 402973 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1616620
[startup+402.301 s]
/proc/loadavg: 2.00 1.97 1.82 3/178 7723
/proc/meminfo: memFree=29653084/32951124 swapFree=67050916/67111528
[pid=7672] ppid=7670 vsize=1617004 CPUtime=402.3 cores=1,3,5,7
/proc/7672/stat : 7672 (scip-2.0.1.4b_2) R 7670 7672 7493 0 -1 4202496 428595 0 0 0 40162 68 0 0 25 0 1 0 872033543 1655812096 386846 33554432000 4194304 9016284 140733817530608 18446744073709551615 7870569 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7672/statm: 404251 386846 712 1178 0 403069 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1617004
[startup+462.3 s]
/proc/loadavg: 2.00 1.97 1.83 3/178 7724
/proc/meminfo: memFree=29648824/32951124 swapFree=67050916/67111528
[pid=7672] ppid=7670 vsize=1618212 CPUtime=462.3 cores=1,3,5,7
/proc/7672/stat : 7672 (scip-2.0.1.4b_2) R 7670 7672 7493 0 -1 4202496 429654 0 0 0 46157 73 0 0 25 0 1 0 872033543 1657049088 387905 33554432000 4194304 9016284 140733817530608 18446744073709551615 7181476 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7672/statm: 404553 387905 712 1178 0 403371 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1618212
[startup+522.3 s]
/proc/loadavg: 2.00 1.97 1.83 3/178 7726
/proc/meminfo: memFree=29647300/32951124 swapFree=67050916/67111528
[pid=7672] ppid=7670 vsize=1618624 CPUtime=522.31 cores=1,3,5,7
/proc/7672/stat : 7672 (scip-2.0.1.4b_2) R 7670 7672 7493 0 -1 4202496 430099 0 0 0 52153 78 0 0 25 0 1 0 872033543 1657470976 388350 33554432000 4194304 9016284 140733817530608 18446744073709551615 7156537 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7672/statm: 404656 388350 712 1178 0 403474 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1618624
[startup+582.301 s]
/proc/loadavg: 2.00 1.97 1.84 3/178 7728
/proc/meminfo: memFree=29646132/32951124 swapFree=67050916/67111528
[pid=7672] ppid=7670 vsize=1619040 CPUtime=582.31 cores=1,3,5,7
/proc/7672/stat : 7672 (scip-2.0.1.4b_2) R 7670 7672 7493 0 -1 4202496 430382 0 0 0 58149 82 0 0 25 0 1 0 872033543 1657896960 388633 33554432000 4194304 9016284 140733817530608 18446744073709551615 7156496 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7672/statm: 404760 388633 712 1178 0 403578 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1619040
[startup+642.301 s]
################
# More data... #
################
/proc/7672/stat : 7672 (scip-2.0.1.4b_2) R 7670 7672 7493 0 -1 4202496 432666 0 0 0 100124 108 0 0 25 0 1 0 872033543 1665675264 390872 33554432000 4194304 9016284 140733817530608 18446744073709551615 7124289 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7672/statm: 406659 390872 724 1178 0 405477 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1626636
[startup+1062.3 s]
/proc/loadavg: 2.00 1.97 1.89 3/178 7740
/proc/meminfo: memFree=29647416/32951124 swapFree=67050916/67111528
[pid=7672] ppid=7670 vsize=1626636 CPUtime=1062.32 cores=1,3,5,7
/proc/7672/stat : 7672 (scip-2.0.1.4b_2) R 7670 7672 7493 0 -1 4202496 432668 0 0 0 106120 112 0 0 25 0 1 0 872033543 1665675264 390874 33554432000 4194304 9016284 140733817530608 18446744073709551615 7186263 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7672/statm: 406659 390874 724 1178 0 405477 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1626636
[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.89 3/178 7751
/proc/meminfo: memFree=29645356/32951124 swapFree=67050916/67111528
[pid=7672] ppid=7670 vsize=1626636 CPUtime=1122.32 cores=1,3,5,7
/proc/7672/stat : 7672 (scip-2.0.1.4b_2) R 7670 7672 7493 0 -1 4202496 432674 0 0 0 112116 116 0 0 25 0 1 0 872033543 1665675264 390880 33554432000 4194304 9016284 140733817530608 18446744073709551615 7156496 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7672/statm: 406659 390880 724 1178 0 405477 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1626636
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.90 3/178 7753
/proc/meminfo: memFree=29649160/32951124 swapFree=67050916/67111528
[pid=7672] ppid=7670 vsize=1626636 CPUtime=1182.32 cores=1,3,5,7
/proc/7672/stat : 7672 (scip-2.0.1.4b_2) R 7670 7672 7493 0 -1 4202496 432685 0 0 0 118113 119 0 0 25 0 1 0 872033543 1665675264 390891 33554432000 4194304 9016284 140733817530608 18446744073709551615 7159997 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7672/statm: 406659 390891 724 1178 0 405477 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1626636
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.90 3/178 7754
/proc/meminfo: memFree=29648252/32951124 swapFree=67050916/67111528
[pid=7672] ppid=7670 vsize=1626636 CPUtime=1242.32 cores=1,3,5,7
/proc/7672/stat : 7672 (scip-2.0.1.4b_2) R 7670 7672 7493 0 -1 4202496 432699 0 0 0 124110 122 0 0 25 0 1 0 872033543 1665675264 390905 33554432000 4194304 9016284 140733817530608 18446744073709551615 7870569 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7672/statm: 406659 390905 724 1178 0 405477 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1626636
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 7756
/proc/meminfo: memFree=29647476/32951124 swapFree=67050916/67111528
[pid=7672] ppid=7670 vsize=1626636 CPUtime=1302.33 cores=1,3,5,7
/proc/7672/stat : 7672 (scip-2.0.1.4b_2) R 7670 7672 7493 0 -1 4202496 432704 0 0 0 130107 126 0 0 25 0 1 0 872033543 1665675264 390910 33554432000 4194304 9016284 140733817530608 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7672/statm: 406659 390910 724 1178 0 405477 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1626636
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 7757
/proc/meminfo: memFree=29639608/32951124 swapFree=67050916/67111528
[pid=7672] ppid=7670 vsize=1627236 CPUtime=1362.32 cores=1,3,5,7
/proc/7672/stat : 7672 (scip-2.0.1.4b_2) R 7670 7672 7493 0 -1 4202496 432845 0 0 0 136103 129 0 0 25 0 1 0 872033543 1666289664 391040 33554432000 4194304 9016284 140733817530608 18446744073709551615 7156496 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7672/statm: 406809 391040 713 1178 0 405627 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1627236
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 7759
/proc/meminfo: memFree=29639304/32951124 swapFree=67050916/67111528
[pid=7672] ppid=7670 vsize=1627236 CPUtime=1422.33 cores=1,3,5,7
/proc/7672/stat : 7672 (scip-2.0.1.4b_2) R 7670 7672 7493 0 -1 4202496 432875 0 0 0 142101 132 0 0 25 0 1 0 872033543 1666289664 391069 33554432000 4194304 9016284 140733817530608 18446744073709551615 7156537 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7672/statm: 406809 391069 712 1178 0 405627 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1627236
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 7761
/proc/meminfo: memFree=29638760/32951124 swapFree=67050916/67111528
[pid=7672] ppid=7670 vsize=1627368 CPUtime=1482.33 cores=1,3,5,7
/proc/7672/stat : 7672 (scip-2.0.1.4b_2) R 7670 7672 7493 0 -1 4202496 432903 0 0 0 148098 135 0 0 25 0 1 0 872033543 1666424832 391097 33554432000 4194304 9016284 140733817530608 18446744073709551615 7191657 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7672/statm: 406842 391097 712 1178 0 405660 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1627368
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 7762
/proc/meminfo: memFree=29638728/32951124 swapFree=67050916/67111528
[pid=7672] ppid=7670 vsize=1627368 CPUtime=1542.33 cores=1,3,5,7
/proc/7672/stat : 7672 (scip-2.0.1.4b_2) R 7670 7672 7493 0 -1 4202496 432920 0 0 0 154096 137 0 0 25 0 1 0 872033543 1666424832 391114 33554432000 4194304 9016284 140733817530608 18446744073709551615 7191733 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7672/statm: 406842 391114 712 1178 0 405660 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1627368
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 7764
/proc/meminfo: memFree=29638808/32951124 swapFree=67050916/67111528
[pid=7672] ppid=7670 vsize=1627368 CPUtime=1602.34 cores=1,3,5,7
/proc/7672/stat : 7672 (scip-2.0.1.4b_2) R 7670 7672 7493 0 -1 4202496 432938 0 0 0 160092 142 0 0 25 0 1 0 872033543 1666424832 391132 33554432000 4194304 9016284 140733817530608 18446744073709551615 7156543 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7672/statm: 406842 391132 712 1178 0 405660 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1627368
[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 7765
/proc/meminfo: memFree=29649064/32951124 swapFree=67050916/67111528
[pid=7672] ppid=7670 vsize=1627512 CPUtime=1662.34 cores=1,3,5,7
/proc/7672/stat : 7672 (scip-2.0.1.4b_2) R 7670 7672 7493 0 -1 4202496 432964 0 0 0 166089 145 0 0 25 0 1 0 872033543 1666572288 391158 33554432000 4194304 9016284 140733817530608 18446744073709551615 7179387 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7672/statm: 406878 391158 712 1178 0 405696 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1627512
[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 7767
/proc/meminfo: memFree=29645436/32951124 swapFree=67050916/67111528
[pid=7672] ppid=7670 vsize=1627648 CPUtime=1722.33 cores=1,3,5,7
/proc/7672/stat : 7672 (scip-2.0.1.4b_2) R 7670 7672 7493 0 -1 4202496 433009 0 0 0 172086 147 0 0 25 0 1 0 872033543 1666711552 391203 33554432000 4194304 9016284 140733817530608 18446744073709551615 7156682 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7672/statm: 406912 391203 712 1178 0 405730 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1627648
[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 7769
/proc/meminfo: memFree=29643908/32951124 swapFree=67050916/67111528
[pid=7672] ppid=7670 vsize=1627648 CPUtime=1782.34 cores=1,3,5,7
/proc/7672/stat : 7672 (scip-2.0.1.4b_2) R 7670 7672 7493 0 -1 4202496 433022 0 0 0 178083 151 0 0 25 0 1 0 872033543 1666711552 391216 33554432000 4194304 9016284 140733817530608 18446744073709551615 7181481 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7672/statm: 406912 391216 712 1178 0 405730 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1627648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 7769
/proc/meminfo: memFree=29641408/32951124 swapFree=67050916/67111528
[pid=7672] ppid=7670 vsize=1627648 CPUtime=1800.04 cores=1,3,5,7
/proc/7672/stat : 7672 (scip-2.0.1.4b_2) R 7670 7672 7493 0 -1 4202496 433022 0 0 0 179853 151 0 0 25 0 1 0 872033543 1666711552 391216 33554432000 4194304 9016284 140733817530608 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7672/statm: 406912 391216 712 1178 0 405730 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1627648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -7672
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 1.97 1.91 3/179 7770
/proc/meminfo: memFree=29641400/32951124 swapFree=67050916/67111528
[pid=7672] ppid=7670 vsize=1627648 CPUtime=1801.43 cores=1,3,5,7
/proc/7672/stat : 7672 (scip-2.0.1.4b_2) R 7670 7672 7493 0 -1 4202496 433022 0 0 0 179992 151 0 0 25 0 1 0 872033543 1666711552 391216 33554432000 4194304 9016284 140733817530608 18446744073709551615 7156496 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7672/statm: 406912 391216 712 1178 0 405730 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 1627648
[startup+1801.81 s]
/proc/loadavg: 2.00 1.97 1.91 3/179 7770
/proc/meminfo: memFree=29641400/32951124 swapFree=67050916/67111528
[pid=7672] ppid=7670 vsize=1627648 CPUtime=1801.84 cores=1,3,5,7
/proc/7672/stat : 7672 (scip-2.0.1.4b_2) R 7670 7672 7493 0 -1 4202496 433022 0 0 0 180033 151 0 0 25 0 1 0 872033543 1666711552 391216 33554432000 4194304 9016284 140733817530608 18446744073709551615 6855218 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7672/statm: 406912 391216 712 1178 0 405730 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 1627648
[startup+1802 s]
/proc/loadavg: 2.00 1.97 1.91 3/179 7770
/proc/meminfo: memFree=29641400/32951124 swapFree=67050916/67111528
[pid=7672] ppid=7670 vsize=1627648 CPUtime=1802.03 cores=1,3,5,7
/proc/7672/stat : 7672 (scip-2.0.1.4b_2) R 7670 7672 7493 0 -1 4202496 433023 0 0 0 180052 151 0 0 25 0 1 0 872033543 1666711552 391217 33554432000 4194304 9016284 140733817530608 18446744073709551615 7180936 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7672/statm: 406912 391217 712 1178 0 405730 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 1627648
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.07
CPU time (s): 1802.11
CPU user time (s): 1800.54
CPU system time (s): 1.57576
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1627648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.54
system time used= 1.57576
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 433023
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= 3
involuntary context switches= 2652
runsolver used 2.85556 second user time and 6.80396 second system time
The end