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-3486305-1307793832.opb>
1.29/1.34 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245500 constraints
1.29/1.34 c problem read
1.29/1.34 c presolving settings loaded
2.10/2.19 c presolving:
10.19/10.21 c (round 1) 5471 del vars, 15862 del conss, 0 add conss, 4095 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16790072 impls, 0 clqs
14.09/14.13 c (round 2) 11421 del vars, 39185 del conss, 0 add conss, 9700 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16821114 impls, 0 clqs
15.19/15.30 c (round 3) 13592 del vars, 49337 del conss, 0 add conss, 10884 chg bounds, 17 chg sides, 27 chg coeffs, 0 upgd conss, 16834186 impls, 0 clqs
15.89/15.99 c (round 4) 14648 del vars, 53526 del conss, 0 add conss, 11537 chg bounds, 56 chg sides, 71 chg coeffs, 0 upgd conss, 16842727 impls, 0 clqs
16.40/16.45 c (round 5) 15293 del vars, 56094 del conss, 0 add conss, 11970 chg bounds, 66 chg sides, 94 chg coeffs, 0 upgd conss, 16847799 impls, 0 clqs
16.69/16.76 c (round 6) 15691 del vars, 57702 del conss, 0 add conss, 12214 chg bounds, 66 chg sides, 94 chg coeffs, 0 upgd conss, 16850736 impls, 0 clqs
16.89/16.92 c (round 7) 15877 del vars, 58610 del conss, 0 add conss, 12316 chg bounds, 66 chg sides, 94 chg coeffs, 0 upgd conss, 16852000 impls, 0 clqs
16.99/17.04 c (round 8) 15963 del vars, 59000 del conss, 0 add conss, 12373 chg bounds, 66 chg sides, 94 chg coeffs, 0 upgd conss, 16852452 impls, 0 clqs
17.09/17.12 c (round 9) 16007 del vars, 59224 del conss, 0 add conss, 12409 chg bounds, 66 chg sides, 94 chg coeffs, 0 upgd conss, 16852518 impls, 0 clqs
17.09/17.19 c (round 10) 16009 del vars, 59267 del conss, 0 add conss, 12410 chg bounds, 66 chg sides, 94 chg coeffs, 0 upgd conss, 16852532 impls, 0 clqs
17.90/17.93 c (round 11) 16009 del vars, 59269 del conss, 0 add conss, 12410 chg bounds, 66 chg sides, 94 chg coeffs, 186231 upgd conss, 16852532 impls, 0 clqs
18.99/19.09 c (round 12) 16009 del vars, 59291 del conss, 58 add conss, 12410 chg bounds, 165 chg sides, 360 chg coeffs, 186231 upgd conss, 16852532 impls, 0 clqs
950.91/950.90 c (950.9s) probing: 1000/56833 (1.8%) - 0 fixings, 0 aggregations, 13269339 implications, 0 bound changes
1501.12/1501.17 c (1501.2s) probing: 2000/56833 (3.5%) - 0 fixings, 0 aggregations, 20102037 implications, 0 bound changes
1501.62/1501.60 c (1501.6s) probing: 2001/56833 (3.5%) - 0 fixings, 0 aggregations, 20108109 implications, 0 bound changes
1501.62/1501.60 c (1501.6s) probing aborted: 2000/2000 successive useless probings
1501.62/1501.61 c presolving (13 rounds):
1501.62/1501.61 c 16009 deleted vars, 59301 deleted constraints, 58 added constraints, 12410 tightened bounds, 0 added holes, 165 changed sides, 362 changed coefficients
1501.62/1501.61 c 84975936 implications, 0 cliques
1501.62/1501.61 c presolved problem has 56833 variables (56833 bin, 0 int, 0 impl, 0 cont) and 186257 constraints
1501.62/1501.61 c 1123 constraints of type <knapsack>
1501.62/1501.61 c 157010 constraints of type <setppc>
1501.62/1501.61 c 28124 constraints of type <logicor>
1501.62/1501.61 c transformed objective value is always integral (scale: 1)
1501.62/1501.61 c Presolving Time: 1500.04
1501.62/1501.61 c - non default parameters ----------------------------------------------------------------------
1501.62/1501.61 c # SCIP version 2.0.1.4
1501.62/1501.61 c
1501.62/1501.61 c # frequency for displaying node information lines
1501.62/1501.61 c # [type: int, range: [-1,2147483647], default: 100]
1501.62/1501.61 c display/freq = 10000
1501.62/1501.61 c
1501.62/1501.61 c # maximal time in seconds to run
1501.62/1501.61 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1501.62/1501.61 c limits/time = 1797
1501.62/1501.61 c
1501.62/1501.61 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1501.62/1501.61 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1501.62/1501.61 c limits/memory = 13950
1501.62/1501.61 c
1501.62/1501.61 c # default clock type (1: CPU user seconds, 2: wall clock time)
1501.62/1501.61 c # [type: int, range: [1,2], default: 1]
1501.62/1501.61 c timing/clocktype = 2
1501.62/1501.61 c
1501.62/1501.61 c # belongs reading time to solving time?
1501.62/1501.61 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1501.62/1501.61 c timing/reading = TRUE
1501.62/1501.61 c
1501.62/1501.61 c # should presolving try to simplify inequalities
1501.62/1501.61 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1501.62/1501.61 c constraints/linear/simplifyinequalities = TRUE
1501.62/1501.61 c
1501.62/1501.61 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1501.62/1501.61 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1501.62/1501.61 c constraints/indicator/addCouplingCons = TRUE
1501.62/1501.61 c
1501.62/1501.61 c # should presolving try to simplify knapsacks
1501.62/1501.61 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1501.62/1501.61 c constraints/knapsack/simplifyinequalities = TRUE
1501.62/1501.61 c
1501.62/1501.61 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1501.62/1501.61 c # [type: int, range: [-1,2147483647], default: -1]
1501.62/1501.61 c separating/rapidlearning/freq = 0
1501.62/1501.61 c
1501.62/1501.61 c -----------------------------------------------------------------------------------------------
1501.62/1501.61 c start solving
1501.62/1501.65 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-3486305-1307793832/watcher-3486305-1307793832 -o /tmp/evaluation-result-3486305-1307793832/solver-3486305-1307793832 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486305-1307793832.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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.95 3/176 11399
/proc/meminfo: memFree=31634520/32950928 swapFree=67079488/67111528
[pid=11399] ppid=11394 vsize=10512 CPUtime=0 cores=0,2,4,6
/proc/11399/stat : 11399 (scip-2.0.1.4_2.) R 11394 11399 11354 0 -1 4202496 1621 0 0 0 0 0 0 0 25 0 1 0 890982907 10764288 1575 33554432000 4194304 8979876 140736420605120 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11399/statm: 2628 1576 366 1169 0 1455 0
[startup+0.0963 s]
/proc/loadavg: 2.00 2.00 1.95 3/176 11399
/proc/meminfo: memFree=31634520/32950928 swapFree=67079488/67111528
[pid=11399] ppid=11394 vsize=27544 CPUtime=0.08 cores=0,2,4,6
/proc/11399/stat : 11399 (scip-2.0.1.4_2.) R 11394 11399 11354 0 -1 4202496 5900 0 0 0 8 0 0 0 25 0 1 0 890982907 28205056 5854 33554432000 4194304 8979876 140736420605120 18446744073709551615 4445952 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11399/statm: 6886 5854 366 1169 0 5713 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 27544
[startup+0.100288 s]
/proc/loadavg: 2.00 2.00 1.95 3/176 11399
/proc/meminfo: memFree=31634520/32950928 swapFree=67079488/67111528
[pid=11399] ppid=11394 vsize=27544 CPUtime=0.09 cores=0,2,4,6
/proc/11399/stat : 11399 (scip-2.0.1.4_2.) R 11394 11399 11354 0 -1 4202496 5902 0 0 0 9 0 0 0 25 0 1 0 890982907 28205056 5856 33554432000 4194304 8979876 140736420605120 18446744073709551615 7836048 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11399/statm: 6886 5856 366 1169 0 5713 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27544
[startup+0.300251 s]
/proc/loadavg: 2.00 2.00 1.95 3/176 11399
/proc/meminfo: memFree=31634520/32950928 swapFree=67079488/67111528
[pid=11399] ppid=11394 vsize=52520 CPUtime=0.29 cores=0,2,4,6
/proc/11399/stat : 11399 (scip-2.0.1.4_2.) R 11394 11399 11354 0 -1 4202496 12126 0 0 0 28 1 0 0 25 0 1 0 890982907 53780480 12080 33554432000 4194304 8979876 140736420605120 18446744073709551615 7836088 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11399/statm: 13130 12080 366 1169 0 11957 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52520
[startup+0.701181 s]
/proc/loadavg: 2.00 2.00 1.95 3/176 11399
/proc/meminfo: memFree=31634520/32950928 swapFree=67079488/67111528
[pid=11399] ppid=11394 vsize=76492 CPUtime=0.69 cores=0,2,4,6
/proc/11399/stat : 11399 (scip-2.0.1.4_2.) R 11394 11399 11354 0 -1 4202496 18080 0 0 0 67 2 0 0 25 0 1 0 890982907 78327808 18034 33554432000 4194304 8979876 140736420605120 18446744073709551615 6200724 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11399/statm: 19123 18034 366 1169 0 17950 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76492
[startup+1.50104 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 11401
/proc/meminfo: memFree=31435440/32950928 swapFree=67079488/67111528
[pid=11399] ppid=11394 vsize=244624 CPUtime=1.49 cores=0,2,4,6
/proc/11399/stat : 11399 (scip-2.0.1.4_2.) R 11394 11399 11354 0 -1 4202496 59956 0 0 0 142 7 0 0 25 0 1 0 890982907 250494976 59861 33554432000 4194304 8979876 140736420605120 18446744073709551615 4908681 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11399/statm: 61156 59861 416 1169 0 59983 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 244624
[startup+3.10065 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 11401
/proc/meminfo: memFree=30859708/32950928 swapFree=67079488/67111528
[pid=11399] ppid=11394 vsize=490928 CPUtime=3.09 cores=0,2,4,6
/proc/11399/stat : 11399 (scip-2.0.1.4_2.) R 11394 11399 11354 0 -1 4202496 132254 0 0 0 294 15 0 0 25 0 1 0 890982907 502710272 119782 33554432000 4194304 8979876 140736420605120 18446744073709551615 6499222 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11399/statm: 122732 119782 494 1169 0 121559 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 490928
[startup+6.3012 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 11403
/proc/meminfo: memFree=30337200/32950928 swapFree=67079488/67111528
[pid=11399] ppid=11394 vsize=722560 CPUtime=6.3 cores=0,2,4,6
/proc/11399/stat : 11399 (scip-2.0.1.4_2.) R 11394 11399 11354 0 -1 4202496 189326 0 0 0 608 22 0 0 25 0 1 0 890982907 739901440 176854 33554432000 4194304 8979876 140736420605120 18446744073709551615 5298782 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11399/statm: 180640 176854 494 1169 0 179467 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 722560
[startup+12.7011 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 11403
/proc/meminfo: memFree=29896744/32950928 swapFree=67079488/67111528
[pid=11399] ppid=11394 vsize=896868 CPUtime=12.69 cores=0,2,4,6
/proc/11399/stat : 11399 (scip-2.0.1.4_2.) R 11394 11399 11354 0 -1 4202496 231453 0 0 0 1242 27 0 0 25 0 1 0 890982907 918392832 218724 33554432000 4194304 8979876 140736420605120 18446744073709551615 6492563 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11399/statm: 224217 218724 504 1169 0 223044 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 896868
[startup+25.5007 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 11404
/proc/meminfo: memFree=29695360/32950928 swapFree=67079488/67111528
[pid=11399] ppid=11394 vsize=1014292 CPUtime=25.49 cores=0,2,4,6
/proc/11399/stat : 11399 (scip-2.0.1.4_2.) R 11394 11399 11354 0 -1 4202496 278836 0 0 0 2517 32 0 0 25 0 1 0 890982907 1038635008 247315 33554432000 4194304 8979876 140736420605120 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11399/statm: 253573 247315 591 1169 0 252400 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1014292
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 11405
/proc/meminfo: memFree=29618280/32950928 swapFree=67079488/67111528
[pid=11399] ppid=11394 vsize=1065780 CPUtime=51.09 cores=0,2,4,6
/proc/11399/stat : 11399 (scip-2.0.1.4_2.) R 11394 11399 11354 0 -1 4202496 290642 0 0 0 5076 33 0 0 25 0 1 0 890982907 1091358720 259022 33554432000 4194304 8979876 140736420605120 18446744073709551615 4460225 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11399/statm: 266445 259022 591 1169 0 265272 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1065780
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 11406
/proc/meminfo: memFree=29482028/32950928 swapFree=67079488/67111528
[pid=11399] ppid=11394 vsize=1128252 CPUtime=102.3 cores=0,2,4,6
/proc/11399/stat : 11399 (scip-2.0.1.4_2.) R 11394 11399 11354 0 -1 4202496 306268 0 0 0 10195 35 0 0 25 0 1 0 890982907 1155330048 274615 33554432000 4194304 8979876 140736420605120 18446744073709551615 6503315 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11399/statm: 282063 274615 591 1169 0 280890 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1128252
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 11408
/proc/meminfo: memFree=29223296/32950928 swapFree=67079488/67111528
[pid=11399] ppid=11394 vsize=1262388 CPUtime=162.3 cores=0,2,4,6
/proc/11399/stat : 11399 (scip-2.0.1.4_2.) R 11394 11399 11354 0 -1 4202496 339129 0 0 0 16191 39 0 0 25 0 1 0 890982907 1292685312 307476 33554432000 4194304 8979876 140736420605120 18446744073709551615 6503507 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11399/statm: 315597 307476 591 1169 0 314424 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1262388
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11410
/proc/meminfo: memFree=29013552/32950928 swapFree=67079488/67111528
[pid=11399] ppid=11394 vsize=1356208 CPUtime=222.29 cores=0,2,4,6
/proc/11399/stat : 11399 (scip-2.0.1.4_2.) R 11394 11399 11354 0 -1 4202496 362649 0 0 0 22188 41 0 0 25 0 1 0 890982907 1388756992 330996 33554432000 4194304 8979876 140736420605120 18446744073709551615 6503511 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11399/statm: 339052 330996 591 1169 0 337879 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1356208
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 11411
/proc/meminfo: memFree=28776416/32950928 swapFree=67079488/67111528
[pid=11399] ppid=11394 vsize=1423944 CPUtime=282.3 cores=0,2,4,6
/proc/11399/stat : 11399 (scip-2.0.1.4_2.) R 11394 11399 11354 0 -1 4202496 379702 0 0 0 28187 43 0 0 25 0 1 0 890982907 1458118656 347422 33554432000 4194304 8979876 140736420605120 18446744073709551615 6503516 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11399/statm: 355986 347422 591 1169 0 354813 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1423944
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 11413
/proc/meminfo: memFree=28499848/32950928 swapFree=67079488/67111528
[pid=11399] ppid=11394 vsize=1577024 CPUtime=342.3 cores=0,2,4,6
/proc/11399/stat : 11399 (scip-2.0.1.4_2.) R 11394 11399 11354 0 -1 4202496 417857 0 0 0 34182 48 0 0 25 0 1 0 890982907 1614872576 385544 33554432000 4194304 8979876 140736420605120 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11399/statm: 394256 385544 591 1169 0 393083 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1577024
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 11414
/proc/meminfo: memFree=28272752/32950928 swapFree=67079488/67111528
[pid=11399] ppid=11394 vsize=1646704 CPUtime=402.3 cores=0,2,4,6
/proc/11399/stat : 11399 (scip-2.0.1.4_2.) R 11394 11399 11354 0 -1 4202496 435022 0 0 0 40181 49 0 0 25 0 1 0 890982907 1686224896 402709 33554432000 4194304 8979876 140736420605120 18446744073709551615 6503284 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11399/statm: 411676 402709 591 1169 0 410503 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1646704
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 11416
/proc/meminfo: memFree=27986148/32950928 swapFree=67079488/67111528
[pid=11399] ppid=11394 vsize=1809644 CPUtime=462.3 cores=0,2,4,6
/proc/11399/stat : 11399 (scip-2.0.1.4_2.) R 11394 11399 11354 0 -1 4202496 475718 0 0 0 46176 54 0 0 25 0 1 0 890982907 1853075456 443174 33554432000 4194304 8979876 140736420605120 18446744073709551615 6503333 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11399/statm: 452411 443174 591 1169 0 451238 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1809644
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 11418
/proc/meminfo: memFree=27760040/32950928 swapFree=67079488/67111528
[pid=11399] ppid=11394 vsize=1904936 CPUtime=522.3 cores=0,2,4,6
/proc/11399/stat : 11399 (scip-2.0.1.4_2.) R 11394 11399 11354 0 -1 4202496 499440 0 0 0 52173 57 0 0 25 0 1 0 890982907 1950654464 466896 33554432000 4194304 8979876 140736420605120 18446744073709551615 6503476 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11399/statm: 476234 466896 591 1169 0 475061 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1904936
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 11419
/proc/meminfo: memFree=27513608/32950928 swapFree=67079488/67111528
[pid=11399] ppid=11394 vsize=2025296 CPUtime=582.3 cores=0,2,4,6
/proc/11399/stat : 11399 (scip-2.0.1.4_2.) R 11394 11399 11354 0 -1 4202496 529541 0 0 0 58170 60 0 0 25 0 1 0 890982907 2073903104 496997 33554432000 4194304 8979876 140736420605120 18446744073709551615 5539211 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11399/statm: 506324 496997 591 1169 0 505151 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2025296
[startup+642.3 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 11427
/proc/meminfo: memFree=26451916/32950928 swapFree=67079488/67111528
[pid=11399] ppid=11394 vsize=2522608 CPUtime=882.31 cores=0,2,4,6
/proc/11399/stat : 11399 (scip-2.0.1.4_2.) R 11394 11399 11354 0 -1 4202496 652246 0 0 0 88154 77 0 0 25 0 1 0 890982907 2583150592 619702 33554432000 4194304 8979876 140736420605120 18446744073709551615 6492583 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11399/statm: 630652 619702 591 1169 0 629479 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 2522608
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 11429
/proc/meminfo: memFree=26224208/32950928 swapFree=67079488/67111528
[pid=11399] ppid=11394 vsize=2652668 CPUtime=942.31 cores=0,2,4,6
/proc/11399/stat : 11399 (scip-2.0.1.4_2.) R 11394 11399 11354 0 -1 4202496 684628 0 0 0 94149 82 0 0 25 0 1 0 890982907 2716332032 652084 33554432000 4194304 8979876 140736420605120 18446744073709551615 6503476 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11399/statm: 663167 652084 591 1169 0 661994 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 2652668
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 11430
/proc/meminfo: memFree=26099428/32950928 swapFree=67079488/67111528
[pid=11399] ppid=11394 vsize=2709012 CPUtime=1002.32 cores=0,2,4,6
/proc/11399/stat : 11399 (scip-2.0.1.4_2.) R 11394 11399 11354 0 -1 4202496 698239 0 0 0 100148 84 0 0 25 0 1 0 890982907 2774028288 665695 33554432000 4194304 8979876 140736420605120 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11399/statm: 677253 665695 596 1169 0 676080 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 2709012
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 11432
/proc/meminfo: memFree=25999188/32950928 swapFree=67079488/67111528
[pid=11399] ppid=11394 vsize=2743376 CPUtime=1062.32 cores=0,2,4,6
/proc/11399/stat : 11399 (scip-2.0.1.4_2.) R 11394 11399 11354 0 -1 4202496 707053 0 0 0 106147 85 0 0 25 0 1 0 890982907 2809217024 674509 33554432000 4194304 8979876 140736420605120 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11399/statm: 685844 674509 596 1169 0 684671 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2743376
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 11434
/proc/meminfo: memFree=25894364/32950928 swapFree=67079488/67111528
[pid=11399] ppid=11394 vsize=2789776 CPUtime=1122.32 cores=0,2,4,6
/proc/11399/stat : 11399 (scip-2.0.1.4_2.) R 11394 11399 11354 0 -1 4202496 718350 0 0 0 112145 87 0 0 25 0 1 0 890982907 2856730624 685806 33554432000 4194304 8979876 140736420605120 18446744073709551615 5537629 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11399/statm: 697444 685806 596 1169 0 696271 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2789776
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 11435
/proc/meminfo: memFree=25796224/32950928 swapFree=67079488/67111528
[pid=11399] ppid=11394 vsize=2846128 CPUtime=1182.32 cores=0,2,4,6
/proc/11399/stat : 11399 (scip-2.0.1.4_2.) R 11394 11399 11354 0 -1 4202496 732044 0 0 0 118143 89 0 0 25 0 1 0 890982907 2914435072 699500 33554432000 4194304 8979876 140736420605120 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11399/statm: 711532 699500 596 1169 0 710359 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2846128
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 11437
/proc/meminfo: memFree=25695752/32950928 swapFree=67079488/67111528
[pid=11399] ppid=11394 vsize=2889244 CPUtime=1242.32 cores=0,2,4,6
/proc/11399/stat : 11399 (scip-2.0.1.4_2.) R 11394 11399 11354 0 -1 4202496 743325 0 0 0 124141 91 0 0 25 0 1 0 890982907 2958585856 710781 33554432000 4194304 8979876 140736420605120 18446744073709551615 5539227 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11399/statm: 722311 710781 596 1169 0 721138 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2889244
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 11438
/proc/meminfo: memFree=25593908/32950928 swapFree=67079488/67111528
[pid=11399] ppid=11394 vsize=2933452 CPUtime=1302.33 cores=0,2,4,6
/proc/11399/stat : 11399 (scip-2.0.1.4_2.) R 11394 11399 11354 0 -1 4202496 754586 0 0 0 130140 93 0 0 25 0 1 0 890982907 3003854848 722042 33554432000 4194304 8979876 140736420605120 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11399/statm: 733363 722042 596 1169 0 732190 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 2933452
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 11440
/proc/meminfo: memFree=25431040/32950928 swapFree=67079488/67111528
[pid=11399] ppid=11394 vsize=3027096 CPUtime=1362.32 cores=0,2,4,6
/proc/11399/stat : 11399 (scip-2.0.1.4_2.) R 11394 11399 11354 0 -1 4202496 777825 0 0 0 136137 95 0 0 25 0 1 0 890982907 3099746304 745281 33554432000 4194304 8979876 140736420605120 18446744073709551615 6503315 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11399/statm: 756774 745281 596 1169 0 755601 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 3027096
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 11442
/proc/meminfo: memFree=25344696/32950928 swapFree=67079488/67111528
[pid=11399] ppid=11394 vsize=3075416 CPUtime=1422.33 cores=0,2,4,6
/proc/11399/stat : 11399 (scip-2.0.1.4_2.) R 11394 11399 11354 0 -1 4202496 789202 0 0 0 142136 97 0 0 25 0 1 0 890982907 3149225984 756658 33554432000 4194304 8979876 140736420605120 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11399/statm: 768854 756658 596 1169 0 767681 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 3075416
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 11443
/proc/meminfo: memFree=25231192/32950928 swapFree=67079488/67111528
[pid=11399] ppid=11394 vsize=3105728 CPUtime=1482.32 cores=0,2,4,6
/proc/11399/stat : 11399 (scip-2.0.1.4_2.) R 11394 11399 11354 0 -1 4202496 797724 0 0 0 148134 98 0 0 25 0 1 0 890982907 3180265472 765180 33554432000 4194304 8979876 140736420605120 18446744073709551615 5537780 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11399/statm: 776432 765180 596 1169 0 775259 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 3105728
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 11445
/proc/meminfo: memFree=24884084/32950928 swapFree=67079488/67111528
[pid=11399] ppid=11394 vsize=3453256 CPUtime=1542.33 cores=0,2,4,6
/proc/11399/stat : 11399 (scip-2.0.1.4_2.) R 11394 11399 11354 0 -1 4202496 877652 0 0 0 154122 111 0 0 25 0 1 0 890982907 3536134144 842882 33554432000 4194304 8979876 140736420605120 18446744073709551615 7147031 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11399/statm: 863314 842882 903 1169 0 862141 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 3453256
[startup+1602.3 s]
/proc/loadavg: 2.09 2.03 1.96 4/178 11446
/proc/meminfo: memFree=24580604/32950928 swapFree=67079488/67111528
[pid=11399] ppid=11394 vsize=3467912 CPUtime=1602.33 cores=0,2,4,6
/proc/11399/stat : 11399 (scip-2.0.1.4_2.) R 11394 11399 11354 0 -1 4202496 882434 0 0 0 160118 115 0 0 25 0 1 0 890982907 3551141888 847423 33554432000 4194304 8979876 140736420605120 18446744073709551615 7151851 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11399/statm: 866978 847423 838 1169 0 865805 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3467912
[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 1.96 4/178 11448
/proc/meminfo: memFree=24550668/32950928 swapFree=67079488/67111528
[pid=11399] ppid=11394 vsize=3485140 CPUtime=1662.33 cores=0,2,4,6
/proc/11399/stat : 11399 (scip-2.0.1.4_2.) R 11394 11399 11354 0 -1 4202496 887103 0 0 0 166114 119 0 0 25 0 1 0 890982907 3568783360 851901 33554432000 4194304 8979876 140736420605120 18446744073709551615 7147278 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11399/statm: 871285 851901 1072 1169 0 870112 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3485140
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 1.96 4/178 11450
/proc/meminfo: memFree=24511564/32950928 swapFree=67079488/67111528
[pid=11399] ppid=11394 vsize=3494264 CPUtime=1722.33 cores=0,2,4,6
/proc/11399/stat : 11399 (scip-2.0.1.4_2.) R 11394 11399 11354 0 -1 4202496 888465 0 0 0 172111 122 0 0 25 0 1 0 890982907 3578126336 852940 33554432000 4194304 8979876 140736420605120 18446744073709551615 7147278 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11399/statm: 873566 852940 749 1169 0 872393 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 3494264
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.96 4/178 11451
/proc/meminfo: memFree=24479892/32950928 swapFree=67079488/67111528
[pid=11399] ppid=11394 vsize=3529668 CPUtime=1782.34 cores=0,2,4,6
/proc/11399/stat : 11399 (scip-2.0.1.4_2.) R 11394 11399 11354 0 -1 4202496 894995 0 0 0 178107 127 0 0 25 0 1 0 890982907 3614380032 859305 33554432000 4194304 8979876 140736420605120 18446744073709551615 7122096 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11399/statm: 882417 859305 1844 1169 0 881244 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3529668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 1.96 4/178 11452
/proc/meminfo: memFree=24479128/32950928 swapFree=67079488/67111528
[pid=11399] ppid=11394 vsize=3529668 CPUtime=1800.04 cores=0,2,4,6
/proc/11399/stat : 11399 (scip-2.0.1.4_2.) R 11394 11399 11354 0 -1 4202496 895134 0 0 0 179876 128 0 0 25 0 1 0 890982907 3614380032 859418 33554432000 4194304 8979876 140736420605120 18446744073709551615 7147031 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11399/statm: 882417 859418 1818 1169 0 881244 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3529668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.11 s]
/proc/loadavg: 2.00 2.01 1.96 4/178 11452
/proc/meminfo: memFree=24479128/32950928 swapFree=67079488/67111528
[pid=11399] ppid=11394 vsize=0 CPUtime=1800.14 cores=0,2,4,6
/proc/11399/stat : 11399 (scip-2.0.1.4_2.) R 11394 11399 11354 0 -1 4203524 895134 0 0 0 179876 138 0 0 25 0 1 0 890982907 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11399/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.14
CPU time (s): 1800.18
CPU user time (s): 1798.77
CPU system time (s): 1.41478
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3529668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.77
system time used= 1.41478
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 895134
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= 6
involuntary context switches= 1293
runsolver used 3.07553 second user time and 6.72698 second system time
The end