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-3453470-1307120694.opb>
1.49/1.57 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234184 constraints
1.49/1.57 c problem read
1.49/1.57 c presolving settings loaded
2.40/2.40 c presolving:
8.39/8.46 c (round 1) 4774 del vars, 14555 del conss, 0 add conss, 3235 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16026630 impls, 0 clqs
11.00/11.07 c (round 2) 12161 del vars, 40482 del conss, 0 add conss, 10083 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16060390 impls, 0 clqs
11.79/11.88 c (round 3) 14492 del vars, 51753 del conss, 0 add conss, 11471 chg bounds, 32 chg sides, 39 chg coeffs, 0 upgd conss, 16073647 impls, 0 clqs
12.29/12.34 c (round 4) 15671 del vars, 56278 del conss, 0 add conss, 12227 chg bounds, 39 chg sides, 46 chg coeffs, 0 upgd conss, 16080666 impls, 0 clqs
12.59/12.60 c (round 5) 16246 del vars, 58655 del conss, 0 add conss, 12587 chg bounds, 39 chg sides, 46 chg coeffs, 0 upgd conss, 16084836 impls, 0 clqs
12.69/12.74 c (round 6) 16585 del vars, 60051 del conss, 0 add conss, 12736 chg bounds, 39 chg sides, 46 chg coeffs, 0 upgd conss, 16087492 impls, 0 clqs
12.79/12.83 c (round 7) 16706 del vars, 60648 del conss, 0 add conss, 12817 chg bounds, 39 chg sides, 46 chg coeffs, 0 upgd conss, 16088497 impls, 0 clqs
12.89/12.91 c (round 8) 16778 del vars, 60964 del conss, 0 add conss, 12867 chg bounds, 39 chg sides, 46 chg coeffs, 0 upgd conss, 16089046 impls, 0 clqs
12.89/12.98 c (round 9) 16824 del vars, 61185 del conss, 0 add conss, 12899 chg bounds, 39 chg sides, 46 chg coeffs, 0 upgd conss, 16089335 impls, 0 clqs
12.99/13.04 c (round 10) 16856 del vars, 61314 del conss, 0 add conss, 12920 chg bounds, 39 chg sides, 46 chg coeffs, 0 upgd conss, 16089534 impls, 0 clqs
13.09/13.10 c (round 11) 16872 del vars, 61403 del conss, 0 add conss, 12932 chg bounds, 39 chg sides, 46 chg coeffs, 0 upgd conss, 16089610 impls, 0 clqs
13.09/13.15 c (round 12) 16886 del vars, 61459 del conss, 0 add conss, 12939 chg bounds, 39 chg sides, 46 chg coeffs, 0 upgd conss, 16089674 impls, 0 clqs
13.09/13.21 c (round 13) 16888 del vars, 61479 del conss, 0 add conss, 12940 chg bounds, 39 chg sides, 46 chg coeffs, 0 upgd conss, 16089688 impls, 0 clqs
13.89/13.92 c (round 14) 16888 del vars, 61481 del conss, 0 add conss, 12940 chg bounds, 39 chg sides, 46 chg coeffs, 172703 upgd conss, 16089688 impls, 0 clqs
522.78/522.89 c (522.9s) probing: 1000/55954 (1.8%) - 0 fixings, 0 aggregations, 10966360 implications, 0 bound changes
968.40/968.48 c (968.5s) probing: 2000/55954 (3.6%) - 0 fixings, 0 aggregations, 16019746 implications, 0 bound changes
968.80/968.83 c (968.8s) probing: 2001/55954 (3.6%) - 0 fixings, 0 aggregations, 16024416 implications, 0 bound changes
968.80/968.83 c (968.8s) probing aborted: 2000/2000 successive useless probings
968.80/968.84 c presolving (15 rounds):
968.80/968.84 c 16888 deleted vars, 61481 deleted constraints, 2 added constraints, 12940 tightened bounds, 0 added holes, 41 changed sides, 152 changed coefficients
968.80/968.84 c 73223902 implications, 0 cliques
968.80/968.84 c presolved problem has 55954 variables (55954 bin, 0 int, 0 impl, 0 cont) and 172705 constraints
968.80/968.84 c 1152 constraints of type <knapsack>
968.80/968.84 c 143918 constraints of type <setppc>
968.80/968.84 c 27635 constraints of type <logicor>
968.80/968.84 c transformed objective value is always integral (scale: 1)
968.80/968.84 c Presolving Time: 967.04
968.80/968.84 c - non default parameters ----------------------------------------------------------------------
968.80/968.84 c # SCIP version 2.0.1.4
968.80/968.84 c
968.80/968.84 c # frequency for displaying node information lines
968.80/968.84 c # [type: int, range: [-1,2147483647], default: 100]
968.80/968.84 c display/freq = 10000
968.80/968.84 c
968.80/968.84 c # maximal time in seconds to run
968.80/968.84 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
968.80/968.84 c limits/time = 1800
968.80/968.84 c
968.80/968.84 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
968.80/968.84 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
968.80/968.84 c limits/memory = 13950
968.80/968.84 c
968.80/968.84 c # default clock type (1: CPU user seconds, 2: wall clock time)
968.80/968.84 c # [type: int, range: [1,2], default: 1]
968.80/968.84 c timing/clocktype = 2
968.80/968.84 c
968.80/968.84 c # belongs reading time to solving time?
968.80/968.84 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
968.80/968.84 c timing/reading = TRUE
968.80/968.84 c
968.80/968.84 c # should presolving try to simplify inequalities
968.80/968.84 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
968.80/968.84 c constraints/linear/simplifyinequalities = TRUE
968.80/968.84 c
968.80/968.84 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
968.80/968.84 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
968.80/968.84 c constraints/indicator/addCouplingCons = TRUE
968.80/968.84 c
968.80/968.84 c # should presolving try to simplify knapsacks
968.80/968.84 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
968.80/968.84 c constraints/knapsack/simplifyinequalities = TRUE
968.80/968.84 c
968.80/968.84 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
968.80/968.84 c # [type: int, range: [-1,2147483647], default: -1]
968.80/968.84 c separating/rapidlearning/freq = 0
968.80/968.84 c
968.80/968.84 c -----------------------------------------------------------------------------------------------
968.80/968.84 c start solving
968.80/968.87 c
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-3453470-1307120694/watcher-3453470-1307120694 -o /tmp/evaluation-result-3453470-1307120694/solver-3453470-1307120694 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453470-1307120694.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.14 2.04 1.91 2/498 23066
/proc/meminfo: memFree=26611556/32950928 swapFree=34421304/67111528
[pid=23066] ppid=23064 vsize=11184 CPUtime=0 cores=1,3,5,7
/proc/23066/stat : 23066 (scip-2.0.1.4.li) R 23064 23066 20254 0 -1 4202496 1783 0 0 0 0 0 0 0 25 0 1 0 902300108 11452416 1736 33554432000 4194304 9128323 140736149079552 18446744073709551615 8012251 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23066/statm: 2796 1736 400 1205 0 1587 0
[startup+0.115135 s]
/proc/loadavg: 2.14 2.04 1.91 2/498 23066
/proc/meminfo: memFree=26611556/32950928 swapFree=34421304/67111528
[pid=23066] ppid=23064 vsize=27536 CPUtime=0.1 cores=1,3,5,7
/proc/23066/stat : 23066 (scip-2.0.1.4.li) R 23064 23066 20254 0 -1 4202496 5928 0 0 0 10 0 0 0 25 0 1 0 902300108 28196864 5851 33554432000 4194304 9128323 140736149079552 18446744073709551615 8120762 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23066/statm: 6884 5851 400 1205 0 5675 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 27536
[startup+0.201125 s]
/proc/loadavg: 2.14 2.04 1.91 2/498 23066
/proc/meminfo: memFree=26611556/32950928 swapFree=34421304/67111528
[pid=23066] ppid=23064 vsize=41360 CPUtime=0.2 cores=1,3,5,7
/proc/23066/stat : 23066 (scip-2.0.1.4.li) R 23064 23066 20254 0 -1 4202496 9386 0 0 0 19 1 0 0 25 0 1 0 902300108 42352640 9307 33554432000 4194304 9128323 140736149079552 18446744073709551615 4337637 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23066/statm: 10340 9307 400 1205 0 9131 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 41360
[startup+0.301109 s]
/proc/loadavg: 2.14 2.04 1.91 2/498 23066
/proc/meminfo: memFree=26611556/32950928 swapFree=34421304/67111528
[pid=23066] ppid=23064 vsize=50216 CPUtime=0.29 cores=1,3,5,7
/proc/23066/stat : 23066 (scip-2.0.1.4.li) R 23064 23066 20254 0 -1 4202496 11588 0 0 0 28 1 0 0 25 0 1 0 902300108 51421184 11507 33554432000 4194304 9128323 140736149079552 18446744073709551615 8008920 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23066/statm: 12554 11507 400 1205 0 11345 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50216
[startup+0.701031 s]
/proc/loadavg: 2.14 2.04 1.91 2/498 23066
/proc/meminfo: memFree=26611556/32950928 swapFree=34421304/67111528
[pid=23066] ppid=23064 vsize=69412 CPUtime=0.69 cores=1,3,5,7
/proc/23066/stat : 23066 (scip-2.0.1.4.li) R 23064 23066 20254 0 -1 4202496 16373 0 0 0 68 1 0 0 25 0 1 0 902300108 71077888 16284 33554432000 4194304 9128323 140736149079552 18446744073709551615 8007095 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23066/statm: 17353 16284 400 1205 0 16144 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 69412
[startup+1.50089 s]
/proc/loadavg: 2.14 2.04 1.91 3/499 23067
/proc/meminfo: memFree=26433004/32950928 swapFree=34421304/67111528
[pid=23066] ppid=23064 vsize=130564 CPUtime=1.49 cores=1,3,5,7
/proc/23066/stat : 23066 (scip-2.0.1.4.li) R 23064 23066 20254 0 -1 4202496 31611 0 0 0 145 4 0 0 25 0 1 0 902300108 133697536 31507 33554432000 4194304 9128323 140736149079552 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23066/statm: 32641 31507 400 1205 0 31432 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 130564
[startup+3.10058 s]
/proc/loadavg: 2.13 2.04 1.91 3/499 23067
/proc/meminfo: memFree=25861364/32950928 swapFree=34421304/67111528
[pid=23066] ppid=23064 vsize=478308 CPUtime=3.09 cores=1,3,5,7
/proc/23066/stat : 23066 (scip-2.0.1.4.li) R 23064 23066 20254 0 -1 4202496 126626 0 0 0 297 12 0 0 25 0 1 0 902300108 489787392 116268 33554432000 4194304 9128323 140736149079552 18446744073709551615 6593430 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23066/statm: 119577 116268 501 1205 0 118368 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 478308
[startup+6.301 s]
/proc/loadavg: 2.13 2.04 1.91 3/499 23067
/proc/meminfo: memFree=25237636/32950928 swapFree=34421304/67111528
[pid=23066] ppid=23064 vsize=769588 CPUtime=6.29 cores=1,3,5,7
/proc/23066/stat : 23066 (scip-2.0.1.4.li) R 23064 23066 20254 0 -1 4202496 198354 0 0 0 609 20 0 0 25 0 1 0 902300108 788058112 187996 33554432000 4194304 9128323 140736149079552 18446744073709551615 6593131 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23066/statm: 192397 187996 510 1205 0 191188 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 769588
[startup+12.7008 s]
/proc/loadavg: 2.11 2.04 1.91 3/499 23067
/proc/meminfo: memFree=24896032/32950928 swapFree=34421304/67111528
[pid=23066] ppid=23064 vsize=874440 CPUtime=12.69 cores=1,3,5,7
/proc/23066/stat : 23066 (scip-2.0.1.4.li) R 23064 23066 20254 0 -1 4202496 224402 0 0 0 1246 23 0 0 25 0 1 0 902300108 895426560 212902 33554432000 4194304 9128323 140736149079552 18446744073709551615 6581248 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23066/statm: 218610 212902 523 1205 0 217401 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 874440
[startup+25.5004 s]
/proc/loadavg: 2.09 2.04 1.91 3/499 23067
/proc/meminfo: memFree=24690084/32950928 swapFree=34421304/67111528
[pid=23066] ppid=23064 vsize=981364 CPUtime=25.49 cores=1,3,5,7
/proc/23066/stat : 23066 (scip-2.0.1.4.li) R 23064 23066 20254 0 -1 4202496 264413 0 0 0 2521 28 0 0 25 0 1 0 902300108 1004916736 238601 33554432000 4194304 9128323 140736149079552 18446744073709551615 6593104 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23066/statm: 245341 238601 626 1205 0 244132 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 981364
[startup+51.1007 s]
/proc/loadavg: 2.06 2.03 1.91 3/499 23068
/proc/meminfo: memFree=24593584/32950928 swapFree=34421304/67111528
[pid=23066] ppid=23064 vsize=1035364 CPUtime=51.07 cores=1,3,5,7
/proc/23066/stat : 23066 (scip-2.0.1.4.li) R 23064 23066 20254 0 -1 4202496 277526 0 0 0 5078 29 0 0 25 0 1 0 902300108 1060212736 251714 33554432000 4194304 9128323 140736149079552 18446744073709551615 6593104 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23066/statm: 258841 251714 626 1205 0 257632 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1035364
[startup+102.301 s]
/proc/loadavg: 2.02 2.03 1.91 3/499 23069
/proc/meminfo: memFree=24293908/32950928 swapFree=34421304/67111528
[pid=23066] ppid=23064 vsize=1194544 CPUtime=102.28 cores=1,3,5,7
/proc/23066/stat : 23066 (scip-2.0.1.4.li) R 23064 23066 20254 0 -1 4202496 316835 0 0 0 10194 34 0 0 25 0 1 0 902300108 1223213056 291023 33554432000 4194304 9128323 140736149079552 18446744073709551615 4792707 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23066/statm: 298636 291023 626 1205 0 297427 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1194544
[startup+162.301 s]
/proc/loadavg: 2.10 2.05 1.92 3/499 23071
/proc/meminfo: memFree=23961196/32950928 swapFree=34421304/67111528
[pid=23066] ppid=23064 vsize=1412388 CPUtime=162.27 cores=1,3,5,7
/proc/23066/stat : 23066 (scip-2.0.1.4.li) R 23064 23066 20254 0 -1 4202496 370723 0 0 0 16186 41 0 0 25 0 1 0 902300108 1446285312 344350 33554432000 4194304 9128323 140736149079552 18446744073709551615 6593423 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23066/statm: 353097 344350 626 1205 0 351888 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1412388
[startup+222.319 s]
/proc/loadavg: 2.07 2.05 1.93 3/499 23073
/proc/meminfo: memFree=23557308/32950928 swapFree=34421304/67111528
[pid=23066] ppid=23064 vsize=1580448 CPUtime=222.29 cores=1,3,5,7
/proc/23066/stat : 23066 (scip-2.0.1.4.li) R 23064 23066 20254 0 -1 4202496 412210 0 0 0 22183 46 0 0 25 0 1 0 902300108 1618378752 385837 33554432000 4194304 9128323 140736149079552 18446744073709551615 6593413 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23066/statm: 395112 385837 626 1205 0 393903 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1580448
[startup+282.301 s]
/proc/loadavg: 2.03 2.04 1.93 3/499 23074
/proc/meminfo: memFree=23255352/32950928 swapFree=34421304/67111528
[pid=23066] ppid=23064 vsize=1733952 CPUtime=282.28 cores=1,3,5,7
/proc/23066/stat : 23066 (scip-2.0.1.4.li) R 23064 23066 20254 0 -1 4202496 450635 0 0 0 28178 50 0 0 25 0 1 0 902300108 1775566848 423998 33554432000 4194304 9128323 140736149079552 18446744073709551615 6593417 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23066/statm: 433488 423998 626 1205 0 432279 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 1733952
[startup+342.301 s]
/proc/loadavg: 2.01 2.03 1.93 3/499 23076
/proc/meminfo: memFree=22954984/32950928 swapFree=34421304/67111528
[pid=23066] ppid=23064 vsize=1852500 CPUtime=342.28 cores=1,3,5,7
/proc/23066/stat : 23066 (scip-2.0.1.4.li) R 23064 23066 20254 0 -1 4202496 479549 0 0 0 34175 53 0 0 25 0 1 0 902300108 1896960000 452912 33554432000 4194304 9128323 140736149079552 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23066/statm: 463125 452912 626 1205 0 461916 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 1852500
[startup+402.301 s]
/proc/loadavg: 2.09 2.05 1.94 3/499 23077
/proc/meminfo: memFree=22712800/32950928 swapFree=34421304/67111528
[pid=23066] ppid=23064 vsize=1935928 CPUtime=402.28 cores=1,3,5,7
/proc/23066/stat : 23066 (scip-2.0.1.4.li) R 23064 23066 20254 0 -1 4202496 500571 0 0 0 40172 56 0 0 25 0 1 0 902300108 1982390272 473934 33554432000 4194304 9128323 140736149079552 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23066/statm: 483982 473934 626 1205 0 482773 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 1935928
[startup+462.3 s]
/proc/loadavg: 2.07 2.05 1.95 3/499 23079
/proc/meminfo: memFree=22375248/32950928 swapFree=34421304/67111528
[pid=23066] ppid=23064 vsize=2077640 CPUtime=462.28 cores=1,3,5,7
/proc/23066/stat : 23066 (scip-2.0.1.4.li) R 23064 23066 20254 0 -1 4202496 536033 0 0 0 46167 61 0 0 25 0 1 0 902300108 2127503360 509396 33554432000 4194304 9128323 140736149079552 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23066/statm: 519410 509396 626 1205 0 518201 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 2077640
[startup+522.3 s]
/proc/loadavg: 2.02 2.04 1.95 3/499 23081
/proc/meminfo: memFree=22136524/32950928 swapFree=34421304/67111528
[pid=23066] ppid=23064 vsize=2184912 CPUtime=522.28 cores=1,3,5,7
/proc/23066/stat : 23066 (scip-2.0.1.4.li) R 23064 23066 20254 0 -1 4202496 562599 0 0 0 52163 65 0 0 25 0 1 0 902300108 2237349888 535962 33554432000 4194304 9128323 140736149079552 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23066/statm: 546228 535962 626 1205 0 545019 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 2184912
[startup+582.3 s]
/proc/loadavg: 2.01 2.03 1.95 3/499 23082
/proc/meminfo: memFree=21882060/32950928 swapFree=34421304/67111528
[pid=23066] ppid=23064 vsize=2326656 CPUtime=582.29 cores=1,3,5,7
/proc/23066/stat : 23066 (scip-2.0.1.4.li) R 23064 23066 20254 0 -1 4202496 597502 0 0 0 58159 70 0 0 25 0 1 0 902300108 2382495744 570865 33554432000 4194304 9128323 140736149079552 18446744073709551615 4782502 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23066/statm: 581664 570865 630 1205 0 580455 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 2326656
[startup+642.301 s]
################
# More data... #
################
/proc/23066/stat : 23066 (scip-2.0.1.4.li) R 23064 23066 20254 0 -1 4202496 765217 0 0 0 100128 102 0 0 25 0 1 0 902300108 3080302592 733763 33554432000 4194304 9128323 140736149079552 18446744073709551615 7316352 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23066/statm: 752027 733763 774 1205 0 750818 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 3008108
[startup+1062.3 s]
/proc/loadavg: 2.04 2.04 1.98 3/499 23095
/proc/meminfo: memFree=20507708/32950928 swapFree=34421304/67111528
[pid=23066] ppid=23064 vsize=3009440 CPUtime=1062.31 cores=1,3,5,7
/proc/23066/stat : 23066 (scip-2.0.1.4.li) R 23064 23066 20254 0 -1 4202496 766941 0 0 0 106123 108 0 0 25 0 1 0 902300108 3081666560 735487 33554432000 4194304 9128323 140736149079552 18446744073709551615 7316316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23066/statm: 752360 735487 775 1205 0 751151 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 3009440
[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 1.98 3/499 23097
/proc/meminfo: memFree=20425224/32950928 swapFree=34421304/67111528
[pid=23066] ppid=23064 vsize=3017028 CPUtime=1122.3 cores=1,3,5,7
/proc/23066/stat : 23066 (scip-2.0.1.4.li) R 23064 23066 20254 0 -1 4202496 768745 0 0 0 112118 112 0 0 25 0 1 0 902300108 3089436672 737266 33554432000 4194304 9128323 140736149079552 18446744073709551615 7316369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23066/statm: 754257 737266 759 1205 0 753048 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 3017028
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 1.98 3/499 23098
/proc/meminfo: memFree=20367524/32950928 swapFree=34421304/67111528
[pid=23066] ppid=23064 vsize=3017164 CPUtime=1182.31 cores=1,3,5,7
/proc/23066/stat : 23066 (scip-2.0.1.4.li) R 23064 23066 20254 0 -1 4202496 769213 0 0 0 118115 116 0 0 25 0 1 0 902300108 3089575936 737579 33554432000 4194304 9128323 140736149079552 18446744073709551615 7241307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23066/statm: 754291 737579 705 1205 0 753082 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 3017164
[startup+1242.3 s]
/proc/loadavg: 2.14 2.06 1.99 3/499 23100
/proc/meminfo: memFree=20283304/32950928 swapFree=34421304/67111528
[pid=23066] ppid=23064 vsize=3017956 CPUtime=1242.31 cores=1,3,5,7
/proc/23066/stat : 23066 (scip-2.0.1.4.li) R 23064 23066 20254 0 -1 4202496 770637 0 0 0 124111 120 0 0 25 0 1 0 902300108 3090386944 739003 33554432000 4194304 9128323 140736149079552 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23066/statm: 754489 739003 705 1205 0 753280 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 3017956
[startup+1302.3 s]
/proc/loadavg: 2.06 2.05 1.99 3/499 23101
/proc/meminfo: memFree=20218172/32950928 swapFree=34421304/67111528
[pid=23066] ppid=23064 vsize=3017956 CPUtime=1302.31 cores=1,3,5,7
/proc/23066/stat : 23066 (scip-2.0.1.4.li) R 23064 23066 20254 0 -1 4202496 770671 0 0 0 130109 122 0 0 25 0 1 0 902300108 3090386944 739028 33554432000 4194304 9128323 140736149079552 18446744073709551615 7315282 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23066/statm: 754489 739028 696 1205 0 753280 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 3017956
[startup+1362.3 s]
/proc/loadavg: 2.02 2.04 1.99 3/499 23103
/proc/meminfo: memFree=20174368/32950928 swapFree=34421304/67111528
[pid=23066] ppid=23064 vsize=3023632 CPUtime=1362.31 cores=1,3,5,7
/proc/23066/stat : 23066 (scip-2.0.1.4.li) R 23064 23066 20254 0 -1 4202496 771096 0 0 0 136106 125 0 0 25 0 1 0 902300108 3096199168 739453 33554432000 4194304 9128323 140736149079552 18446744073709551615 7316161 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23066/statm: 755908 739453 696 1205 0 754699 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 3023632
[startup+1422.3 s]
/proc/loadavg: 2.00 2.03 1.99 3/499 23105
/proc/meminfo: memFree=20134520/32950928 swapFree=34421304/67111528
[pid=23066] ppid=23064 vsize=3024252 CPUtime=1422.33 cores=1,3,5,7
/proc/23066/stat : 23066 (scip-2.0.1.4.li) R 23064 23066 20254 0 -1 4202496 771232 0 0 0 142103 130 0 0 25 0 1 0 902300108 3096834048 739589 33554432000 4194304 9128323 140736149079552 18446744073709551615 7279243 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23066/statm: 756063 739589 700 1205 0 754854 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 3024252
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/499 23106
/proc/meminfo: memFree=20051168/32950928 swapFree=34421304/67111528
[pid=23066] ppid=23064 vsize=3030296 CPUtime=1482.32 cores=1,3,5,7
/proc/23066/stat : 23066 (scip-2.0.1.4.li) R 23064 23066 20254 0 -1 4202496 772607 0 0 0 148099 133 0 0 25 0 1 0 902300108 3103023104 740964 33554432000 4194304 9128323 140736149079552 18446744073709551615 6941086 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23066/statm: 757574 740964 700 1205 0 756365 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 3030296
[startup+1542.32 s]
/proc/loadavg: 2.06 2.04 2.00 3/499 23108
/proc/meminfo: memFree=19965688/32950928 swapFree=34421304/67111528
[pid=23066] ppid=23064 vsize=3030296 CPUtime=1542.34 cores=1,3,5,7
/proc/23066/stat : 23066 (scip-2.0.1.4.li) R 23064 23066 20254 0 -1 4202496 772625 0 0 0 154096 138 0 0 25 0 1 0 902300108 3103023104 740982 33554432000 4194304 9128323 140736149079552 18446744073709551615 7312746 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23066/statm: 757574 740982 700 1205 0 756365 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 3030296
[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/499 23109
/proc/meminfo: memFree=19869196/32950928 swapFree=34421304/67111528
[pid=23066] ppid=23064 vsize=3053852 CPUtime=1602.32 cores=1,3,5,7
/proc/23066/stat : 23066 (scip-2.0.1.4.li) R 23064 23066 20254 0 -1 4202496 779978 0 0 0 160092 140 0 0 25 0 1 0 902300108 3127144448 748293 33554432000 4194304 9128323 140736149079552 18446744073709551615 7316352 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23066/statm: 763463 748293 750 1205 0 762254 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 3053852
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 23111
/proc/meminfo: memFree=19777760/32950928 swapFree=34421304/67111528
[pid=23066] ppid=23064 vsize=3054492 CPUtime=1662.32 cores=1,3,5,7
/proc/23066/stat : 23066 (scip-2.0.1.4.li) R 23064 23066 20254 0 -1 4202496 780171 0 0 0 166089 143 0 0 25 0 1 0 902300108 3127799808 748466 33554432000 4194304 9128323 140736149079552 18446744073709551615 7315582 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23066/statm: 763623 748466 750 1205 0 762414 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 3054492
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 23113
/proc/meminfo: memFree=19666496/32950928 swapFree=34421304/67111528
[pid=23066] ppid=23064 vsize=3056776 CPUtime=1722.33 cores=1,3,5,7
/proc/23066/stat : 23066 (scip-2.0.1.4.li) R 23064 23066 20254 0 -1 4202496 780790 0 0 0 172086 147 0 0 25 0 1 0 902300108 3130138624 749015 33554432000 4194304 9128323 140736149079552 18446744073709551615 7312776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23066/statm: 764194 749015 750 1205 0 762985 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 3056776
[startup+1782.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/499 23114
/proc/meminfo: memFree=19593916/32950928 swapFree=34421304/67111528
[pid=23066] ppid=23064 vsize=3061592 CPUtime=1782.33 cores=1,3,5,7
/proc/23066/stat : 23066 (scip-2.0.1.4.li) R 23064 23066 20254 0 -1 4202496 782307 0 0 0 178081 152 0 0 25 0 1 0 902300108 3135070208 750267 33554432000 4194304 9128323 140736149079552 18446744073709551615 7316118 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23066/statm: 765398 750267 740 1205 0 764189 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 3061592
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.07 2.04 2.01 3/500 23116
/proc/meminfo: memFree=19536736/32950928 swapFree=34421304/67111528
[pid=23066] ppid=23064 vsize=3061592 CPUtime=1800.04 cores=1,3,5,7
/proc/23066/stat : 23066 (scip-2.0.1.4.li) R 23064 23066 20254 0 -1 4202496 782307 0 0 0 179851 153 0 0 25 0 1 0 902300108 3135070208 750267 33554432000 4194304 9128323 140736149079552 18446744073709551615 7327943 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23066/statm: 765398 750267 740 1205 0 764189 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3061592
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -23066
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 2.07 2.04 2.01 3/501 23117
/proc/meminfo: memFree=19535860/32950928 swapFree=34421304/67111528
[pid=23066] ppid=23064 vsize=3061592 CPUtime=1801.53 cores=1,3,5,7
/proc/23066/stat : 23066 (scip-2.0.1.4.li) R 23064 23066 20254 0 -1 4202496 782308 0 0 0 180000 153 0 0 25 0 1 0 902300108 3135070208 750268 33554432000 4194304 9128323 140736149079552 18446744073709551615 7363563 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23066/statm: 765398 750268 740 1205 0 764189 0
Current children cumulated CPU time (s) 1801.53
Current children cumulated vsize (KiB) 3061592
[startup+1801.92 s]
/proc/loadavg: 2.06 2.04 2.01 3/501 23117
/proc/meminfo: memFree=19879588/32950928 swapFree=34421304/67111528
[pid=23066] ppid=23064 vsize=3061592 CPUtime=1801.95 cores=1,3,5,7
/proc/23066/stat : 23066 (scip-2.0.1.4.li) R 23064 23066 20254 0 -1 4202496 782308 0 0 0 180042 153 0 0 25 0 1 0 902300108 3135070208 750268 33554432000 4194304 9128323 140736149079552 18446744073709551615 7312704 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23066/statm: 765398 750268 740 1205 0 764189 0
Current children cumulated CPU time (s) 1801.95
Current children cumulated vsize (KiB) 3061592
[startup+1802.1 s]
/proc/loadavg: 2.06 2.04 2.01 3/501 23117
/proc/meminfo: memFree=19879588/32950928 swapFree=34421304/67111528
[pid=23066] ppid=23064 vsize=0 CPUtime=1802.13 cores=1,3,5,7
/proc/23066/stat : 23066 (scip-2.0.1.4.li) R 23064 23066 20254 0 -1 4203524 782308 0 0 0 180052 161 0 0 25 0 1 0 902300108 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/23066/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.13
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.13
CPU time (s): 1802.17
CPU user time (s): 1800.52
CPU system time (s): 1.64675
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3061592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.52
system time used= 1.64675
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 782308
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= 2
involuntary context switches= 12117
runsolver used 8.27474 second user time and 21.2698 second system time
The end