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-3486296-1307793832.opb>
1.19/1.27 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245202 constraints
1.19/1.27 c problem read
1.19/1.27 c presolving settings loaded
1.99/2.08 c presolving:
9.90/9.96 c (round 1) 6279 del vars, 18648 del conss, 0 add conss, 4667 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16661532 impls, 0 clqs
13.89/13.95 c (round 2) 13409 del vars, 45398 del conss, 0 add conss, 11309 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16697324 impls, 0 clqs
15.30/15.33 c (round 3) 15737 del vars, 56803 del conss, 0 add conss, 12646 chg bounds, 48 chg sides, 54 chg coeffs, 0 upgd conss, 16713536 impls, 0 clqs
15.99/16.06 c (round 4) 16859 del vars, 61586 del conss, 0 add conss, 13365 chg bounds, 65 chg sides, 72 chg coeffs, 0 upgd conss, 16720294 impls, 0 clqs
16.40/16.40 c (round 5) 17416 del vars, 63925 del conss, 0 add conss, 13644 chg bounds, 70 chg sides, 79 chg coeffs, 0 upgd conss, 16725368 impls, 0 clqs
16.59/16.66 c (round 6) 17719 del vars, 65201 del conss, 0 add conss, 13828 chg bounds, 70 chg sides, 79 chg coeffs, 0 upgd conss, 16727715 impls, 0 clqs
16.79/16.82 c (round 7) 17907 del vars, 66006 del conss, 0 add conss, 13923 chg bounds, 70 chg sides, 79 chg coeffs, 0 upgd conss, 16729335 impls, 0 clqs
16.89/16.95 c (round 8) 18028 del vars, 66515 del conss, 0 add conss, 13983 chg bounds, 70 chg sides, 79 chg coeffs, 0 upgd conss, 16731134 impls, 0 clqs
16.99/17.04 c (round 9) 18082 del vars, 66800 del conss, 0 add conss, 14011 chg bounds, 70 chg sides, 79 chg coeffs, 0 upgd conss, 16731722 impls, 0 clqs
17.09/17.12 c (round 10) 18124 del vars, 66979 del conss, 0 add conss, 14034 chg bounds, 70 chg sides, 79 chg coeffs, 0 upgd conss, 16732156 impls, 0 clqs
17.09/17.19 c (round 11) 18140 del vars, 67067 del conss, 0 add conss, 14042 chg bounds, 70 chg sides, 79 chg coeffs, 0 upgd conss, 16732298 impls, 0 clqs
17.19/17.24 c (round 12) 18142 del vars, 67089 del conss, 0 add conss, 14043 chg bounds, 70 chg sides, 79 chg coeffs, 0 upgd conss, 16732302 impls, 0 clqs
17.89/17.90 c (round 13) 18142 del vars, 67091 del conss, 0 add conss, 14043 chg bounds, 70 chg sides, 79 chg coeffs, 178111 upgd conss, 16732302 impls, 0 clqs
18.19/18.28 c (round 14) 18142 del vars, 67092 del conss, 24 add conss, 14043 chg bounds, 118 chg sides, 309 chg coeffs, 178111 upgd conss, 16733214 impls, 711 clqs
856.81/856.89 c (856.9s) probing: 1000/54700 (1.8%) - 1 fixings, 1 aggregations, 13494598 implications, 0 bound changes
1468.43/1468.42 c (1468.4s) probing: 2000/54700 (3.7%) - 1 fixings, 1 aggregations, 21258559 implications, 0 bound changes
1550.72/1550.71 c (1550.7s) probing: 2147/54700 (3.9%) - 1 fixings, 1 aggregations, 22309973 implications, 0 bound changes
1550.72/1550.71 c (1550.7s) probing aborted: 2000/2000 successive useless probings
1550.72/1550.71 c presolving (15 rounds):
1550.72/1550.71 c 18144 deleted vars, 67092 deleted constraints, 24 added constraints, 14043 tightened bounds, 0 added holes, 130 changed sides, 324 changed coefficients
1550.72/1550.71 c 96067266 implications, 791 cliques
1550.72/1550.71 c presolved problem has 54698 variables (54698 bin, 0 int, 0 impl, 0 cont) and 178134 constraints
1550.72/1550.71 c 1108 constraints of type <knapsack>
1550.72/1550.71 c 150003 constraints of type <setppc>
1550.72/1550.71 c 27023 constraints of type <logicor>
1550.72/1550.71 c transformed objective value is always integral (scale: 1)
1550.72/1550.71 c Presolving Time: 1549.22
1550.72/1550.71 c - non default parameters ----------------------------------------------------------------------
1550.72/1550.71 c # SCIP version 2.0.1.4
1550.72/1550.71 c
1550.72/1550.71 c # frequency for displaying node information lines
1550.72/1550.71 c # [type: int, range: [-1,2147483647], default: 100]
1550.72/1550.71 c display/freq = 10000
1550.72/1550.71 c
1550.72/1550.71 c # maximal time in seconds to run
1550.72/1550.71 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1550.72/1550.71 c limits/time = 1797
1550.72/1550.71 c
1550.72/1550.71 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1550.72/1550.71 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1550.72/1550.71 c limits/memory = 13950
1550.72/1550.71 c
1550.72/1550.71 c # default clock type (1: CPU user seconds, 2: wall clock time)
1550.72/1550.71 c # [type: int, range: [1,2], default: 1]
1550.72/1550.71 c timing/clocktype = 2
1550.72/1550.71 c
1550.72/1550.71 c # belongs reading time to solving time?
1550.72/1550.71 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1550.72/1550.71 c timing/reading = TRUE
1550.72/1550.71 c
1550.72/1550.71 c # should presolving try to simplify inequalities
1550.72/1550.71 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1550.72/1550.71 c constraints/linear/simplifyinequalities = TRUE
1550.72/1550.71 c
1550.72/1550.71 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1550.72/1550.71 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1550.72/1550.71 c constraints/indicator/addCouplingCons = TRUE
1550.72/1550.71 c
1550.72/1550.71 c # should presolving try to simplify knapsacks
1550.72/1550.71 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1550.72/1550.71 c constraints/knapsack/simplifyinequalities = TRUE
1550.72/1550.71 c
1550.72/1550.71 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1550.72/1550.71 c # [type: int, range: [-1,2147483647], default: -1]
1550.72/1550.71 c separating/rapidlearning/freq = 0
1550.72/1550.71 c
1550.72/1550.71 c -----------------------------------------------------------------------------------------------
1550.72/1550.71 c start solving
1550.72/1550.75 c
1762.33/1762.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1762.33/1762.35 c 1762s| 1 | 0 | 46581 | - |2808M| 0 | 312 | 54k| 178k| 54k| 178k| 0 | 63 | 0 | 9.200000e+01 | -- | 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-3486296-1307793832/watcher-3486296-1307793832 -o /tmp/evaluation-result-3486296-1307793832/solver-3486296-1307793832 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486296-1307793832.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.95 2/176 11399
/proc/meminfo: memFree=31634520/32950928 swapFree=67079488/67111528
[pid=11398] ppid=11395 vsize=10516 CPUtime=0 cores=1,3,5,7
/proc/11398/stat : 11398 (scip-2.0.1.4_2.) R 11395 11398 11354 0 -1 4202496 1621 0 0 0 0 0 0 0 19 0 1 0 890982907 10768384 1576 33554432000 4194304 8979876 140736075721552 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11398/statm: 2629 1576 366 1169 0 1456 0
[startup+0.0961811 s]
/proc/loadavg: 2.00 2.00 1.95 2/176 11399
/proc/meminfo: memFree=31634520/32950928 swapFree=67079488/67111528
[pid=11398] ppid=11395 vsize=27548 CPUtime=0.09 cores=1,3,5,7
/proc/11398/stat : 11398 (scip-2.0.1.4_2.) R 11395 11398 11354 0 -1 4202496 5900 0 0 0 9 0 0 0 19 0 1 0 890982907 28209152 5855 33554432000 4194304 8979876 140736075721552 18446744073709551615 6176672 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11398/statm: 6887 5855 366 1169 0 5714 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27548
[startup+0.100177 s]
/proc/loadavg: 2.00 2.00 1.95 2/176 11399
/proc/meminfo: memFree=31634520/32950928 swapFree=67079488/67111528
[pid=11398] ppid=11395 vsize=27548 CPUtime=0.09 cores=1,3,5,7
/proc/11398/stat : 11398 (scip-2.0.1.4_2.) R 11395 11398 11354 0 -1 4202496 5902 0 0 0 9 0 0 0 19 0 1 0 890982907 28209152 5857 33554432000 4194304 8979876 140736075721552 18446744073709551615 5426852 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11398/statm: 6887 5857 366 1169 0 5714 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27548
[startup+0.300144 s]
/proc/loadavg: 2.00 2.00 1.95 2/176 11399
/proc/meminfo: memFree=31634520/32950928 swapFree=67079488/67111528
[pid=11398] ppid=11395 vsize=52524 CPUtime=0.29 cores=1,3,5,7
/proc/11398/stat : 11398 (scip-2.0.1.4_2.) R 11395 11398 11354 0 -1 4202496 12127 0 0 0 28 1 0 0 20 0 1 0 890982907 53784576 12082 33554432000 4194304 8979876 140736075721552 18446744073709551615 7807861 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11398/statm: 13131 12082 366 1169 0 11958 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52524
[startup+0.701074 s]
/proc/loadavg: 2.00 2.00 1.95 2/176 11399
/proc/meminfo: memFree=31634520/32950928 swapFree=67079488/67111528
[pid=11398] ppid=11395 vsize=76692 CPUtime=0.69 cores=1,3,5,7
/proc/11398/stat : 11398 (scip-2.0.1.4_2.) R 11395 11398 11354 0 -1 4202496 18131 0 0 0 67 2 0 0 21 0 1 0 890982907 78532608 18086 33554432000 4194304 8979876 140736075721552 18446744073709551615 7836083 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11398/statm: 19173 18086 366 1169 0 18000 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76692
[startup+1.50094 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11401
/proc/meminfo: memFree=31435440/32950928 swapFree=67079488/67111528
[pid=11398] ppid=11395 vsize=276936 CPUtime=1.49 cores=1,3,5,7
/proc/11398/stat : 11398 (scip-2.0.1.4_2.) R 11395 11398 11354 0 -1 4202496 67612 0 0 0 142 7 0 0 23 0 1 0 890982907 283582464 67514 33554432000 4194304 8979876 140736075721552 18446744073709551615 4789452 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11398/statm: 69234 67516 441 1169 0 68061 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 276936
[startup+3.10065 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11401
/proc/meminfo: memFree=30859708/32950928 swapFree=67079488/67111528
[pid=11398] ppid=11395 vsize=496512 CPUtime=3.09 cores=1,3,5,7
/proc/11398/stat : 11398 (scip-2.0.1.4_2.) R 11395 11398 11354 0 -1 4202496 133393 0 0 0 294 15 0 0 25 0 1 0 890982907 508428288 121163 33554432000 4194304 8979876 140736075721552 18446744073709551615 6782454 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11398/statm: 124128 121163 494 1169 0 122955 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 496512
[startup+6.30109 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11403
/proc/meminfo: memFree=30337200/32950928 swapFree=67079488/67111528
[pid=11398] ppid=11395 vsize=717808 CPUtime=6.3 cores=1,3,5,7
/proc/11398/stat : 11398 (scip-2.0.1.4_2.) R 11395 11398 11354 0 -1 4202496 188467 0 0 0 610 20 0 0 25 0 1 0 890982907 735035392 176237 33554432000 4194304 8979876 140736075721552 18446744073709551615 6503511 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11398/statm: 179452 176237 494 1169 0 178279 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 717808
[startup+12.701 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11403
/proc/meminfo: memFree=29896744/32950928 swapFree=67079488/67111528
[pid=11398] ppid=11395 vsize=884488 CPUtime=12.69 cores=1,3,5,7
/proc/11398/stat : 11398 (scip-2.0.1.4_2.) R 11395 11398 11354 0 -1 4202496 228315 0 0 0 1245 24 0 0 25 0 1 0 890982907 905715712 215583 33554432000 4194304 8979876 140736075721552 18446744073709551615 6504355 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11398/statm: 221122 215583 504 1169 0 219949 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 884488
[startup+25.5007 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 11404
/proc/meminfo: memFree=29695360/32950928 swapFree=67079488/67111528
[pid=11398] ppid=11395 vsize=983040 CPUtime=25.49 cores=1,3,5,7
/proc/11398/stat : 11398 (scip-2.0.1.4_2.) R 11395 11398 11354 0 -1 4202496 270586 0 0 0 2520 29 0 0 25 0 1 0 890982907 1006632960 238987 33554432000 4194304 8979876 140736075721552 18446744073709551615 6503511 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11398/statm: 245760 238987 671 1169 0 244587 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 983040
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 11405
/proc/meminfo: memFree=29618280/32950928 swapFree=67079488/67111528
[pid=11398] ppid=11395 vsize=1010228 CPUtime=51.09 cores=1,3,5,7
/proc/11398/stat : 11398 (scip-2.0.1.4_2.) R 11395 11398 11354 0 -1 4202496 277074 0 0 0 5079 30 0 0 25 0 1 0 890982907 1034473472 245409 33554432000 4194304 8979876 140736075721552 18446744073709551615 4460176 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11398/statm: 252557 245409 671 1169 0 251384 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1010228
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 11406
/proc/meminfo: memFree=29482028/32950928 swapFree=67079488/67111528
[pid=11398] ppid=11395 vsize=1088420 CPUtime=102.3 cores=1,3,5,7
/proc/11398/stat : 11398 (scip-2.0.1.4_2.) R 11395 11398 11354 0 -1 4202496 295839 0 0 0 10198 32 0 0 25 0 1 0 890982907 1114542080 264174 33554432000 4194304 8979876 140736075721552 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11398/statm: 272105 264174 671 1169 0 270932 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1088420
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 11408
/proc/meminfo: memFree=29223296/32950928 swapFree=67079488/67111528
[pid=11398] ppid=11395 vsize=1217660 CPUtime=162.29 cores=1,3,5,7
/proc/11398/stat : 11398 (scip-2.0.1.4_2.) R 11395 11398 11354 0 -1 4202496 328333 0 0 0 16194 35 0 0 25 0 1 0 890982907 1246883840 296668 33554432000 4194304 8979876 140736075721552 18446744073709551615 6503305 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11398/statm: 304415 296668 671 1169 0 303242 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1217660
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 11410
/proc/meminfo: memFree=29013552/32950928 swapFree=67079488/67111528
[pid=11398] ppid=11395 vsize=1331868 CPUtime=222.3 cores=1,3,5,7
/proc/11398/stat : 11398 (scip-2.0.1.4_2.) R 11395 11398 11354 0 -1 4202496 356113 0 0 0 22191 39 0 0 25 0 1 0 890982907 1363832832 324382 33554432000 4194304 8979876 140736075721552 18446744073709551615 6503488 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11398/statm: 332967 324382 671 1169 0 331794 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1331868
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11411
/proc/meminfo: memFree=28776416/32950928 swapFree=67079488/67111528
[pid=11398] ppid=11395 vsize=1508708 CPUtime=282.3 cores=1,3,5,7
/proc/11398/stat : 11398 (scip-2.0.1.4_2.) R 11395 11398 11354 0 -1 4202496 400192 0 0 0 28185 45 0 0 25 0 1 0 890982907 1544916992 367999 33554432000 4194304 8979876 140736075721552 18446744073709551615 6503476 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11398/statm: 377177 367999 671 1169 0 376004 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1508708
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11413
/proc/meminfo: memFree=28499848/32950928 swapFree=67079488/67111528
[pid=11398] ppid=11395 vsize=1637800 CPUtime=342.3 cores=1,3,5,7
/proc/11398/stat : 11398 (scip-2.0.1.4_2.) R 11395 11398 11354 0 -1 4202496 431999 0 0 0 34182 48 0 0 25 0 1 0 890982907 1677107200 399641 33554432000 4194304 8979876 140736075721552 18446744073709551615 6503511 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11398/statm: 409450 399641 671 1169 0 408277 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1637800
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11414
/proc/meminfo: memFree=28272752/32950928 swapFree=67079488/67111528
[pid=11398] ppid=11395 vsize=1793536 CPUtime=402.3 cores=1,3,5,7
/proc/11398/stat : 11398 (scip-2.0.1.4_2.) R 11395 11398 11354 0 -1 4202496 470266 0 0 0 40177 53 0 0 25 0 1 0 890982907 1836580864 437908 33554432000 4194304 8979876 140736075721552 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11398/statm: 448384 437908 671 1169 0 447211 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1793536
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11416
/proc/meminfo: memFree=27986148/32950928 swapFree=67079488/67111528
[pid=11398] ppid=11395 vsize=1914312 CPUtime=462.3 cores=1,3,5,7
/proc/11398/stat : 11398 (scip-2.0.1.4_2.) R 11395 11398 11354 0 -1 4202496 501051 0 0 0 46173 57 0 0 25 0 1 0 890982907 1960255488 468693 33554432000 4194304 8979876 140736075721552 18446744073709551615 6503529 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11398/statm: 478578 468693 671 1169 0 477405 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1914312
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11418
/proc/meminfo: memFree=27760040/32950928 swapFree=67079488/67111528
[pid=11398] ppid=11395 vsize=2056528 CPUtime=522.31 cores=1,3,5,7
/proc/11398/stat : 11398 (scip-2.0.1.4_2.) R 11395 11398 11354 0 -1 4202496 535591 0 0 0 52169 62 0 0 25 0 1 0 890982907 2105884672 503233 33554432000 4194304 8979876 140736075721552 18446744073709551615 6503315 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11398/statm: 514132 503233 671 1169 0 512959 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2056528
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 11419
/proc/meminfo: memFree=27513608/32950928 swapFree=67079488/67111528
[pid=11398] ppid=11395 vsize=2173912 CPUtime=582.31 cores=1,3,5,7
/proc/11398/stat : 11398 (scip-2.0.1.4_2.) R 11395 11398 11354 0 -1 4202496 565161 0 0 0 58164 67 0 0 25 0 1 0 890982907 2226085888 532803 33554432000 4194304 8979876 140736075721552 18446744073709551615 5537828 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11398/statm: 543478 532803 671 1169 0 542305 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2173912
[startup+642.3 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11427
/proc/meminfo: memFree=26451916/32950928 swapFree=67079488/67111528
[pid=11398] ppid=11395 vsize=2744056 CPUtime=882.31 cores=1,3,5,7
/proc/11398/stat : 11398 (scip-2.0.1.4_2.) R 11395 11398 11354 0 -1 4202496 707278 0 0 0 88145 86 0 0 25 0 1 0 890982907 2809913344 674920 33554432000 4194304 8979876 140736075721552 18446744073709551615 6503284 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11398/statm: 686014 674920 676 1169 0 684841 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 2744056
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11429
/proc/meminfo: memFree=26224208/32950928 swapFree=67079488/67111528
[pid=11398] ppid=11395 vsize=2850520 CPUtime=942.31 cores=1,3,5,7
/proc/11398/stat : 11398 (scip-2.0.1.4_2.) R 11395 11398 11354 0 -1 4202496 733785 0 0 0 94141 90 0 0 25 0 1 0 890982907 2918932480 701427 33554432000 4194304 8979876 140736075721552 18446744073709551615 6503537 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11398/statm: 712630 701427 676 1169 0 711457 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 2850520
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 11430
/proc/meminfo: memFree=26099428/32950928 swapFree=67079488/67111528
[pid=11398] ppid=11395 vsize=2913460 CPUtime=1002.31 cores=1,3,5,7
/proc/11398/stat : 11398 (scip-2.0.1.4_2.) R 11395 11398 11354 0 -1 4202496 749349 0 0 0 100140 91 0 0 25 0 1 0 890982907 2983383040 716991 33554432000 4194304 8979876 140736075721552 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11398/statm: 728365 716991 676 1169 0 727192 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 2913460
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 11432
/proc/meminfo: memFree=25999188/32950928 swapFree=67079488/67111528
[pid=11398] ppid=11395 vsize=2977792 CPUtime=1062.31 cores=1,3,5,7
/proc/11398/stat : 11398 (scip-2.0.1.4_2.) R 11395 11398 11354 0 -1 4202496 765439 0 0 0 106137 94 0 0 25 0 1 0 890982907 3049259008 733081 33554432000 4194304 8979876 140736075721552 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11398/statm: 744448 733081 676 1169 0 743275 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 2977792
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11434
/proc/meminfo: memFree=25894364/32950928 swapFree=67079488/67111528
[pid=11398] ppid=11395 vsize=3039788 CPUtime=1122.32 cores=1,3,5,7
/proc/11398/stat : 11398 (scip-2.0.1.4_2.) R 11395 11398 11354 0 -1 4202496 780454 0 0 0 112135 97 0 0 25 0 1 0 890982907 3112742912 748096 33554432000 4194304 8979876 140736075721552 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11398/statm: 759947 748096 676 1169 0 758774 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 3039788
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11435
/proc/meminfo: memFree=25796224/32950928 swapFree=67079488/67111528
[pid=11398] ppid=11395 vsize=3084016 CPUtime=1182.32 cores=1,3,5,7
/proc/11398/stat : 11398 (scip-2.0.1.4_2.) R 11395 11398 11354 0 -1 4202496 791340 0 0 0 118133 99 0 0 25 0 1 0 890982907 3158032384 758982 33554432000 4194304 8979876 140736075721552 18446744073709551615 6503284 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11398/statm: 771004 758982 676 1169 0 769831 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 3084016
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11437
/proc/meminfo: memFree=25695752/32950928 swapFree=67079488/67111528
[pid=11398] ppid=11395 vsize=3137180 CPUtime=1242.32 cores=1,3,5,7
/proc/11398/stat : 11398 (scip-2.0.1.4_2.) R 11395 11398 11354 0 -1 4202496 805147 0 0 0 124132 100 0 0 25 0 1 0 890982907 3212472320 772789 33554432000 4194304 8979876 140736075721552 18446744073709551615 5539194 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11398/statm: 784295 772789 676 1169 0 783122 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 3137180
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11438
/proc/meminfo: memFree=25593908/32950928 swapFree=67079488/67111528
[pid=11398] ppid=11395 vsize=3194280 CPUtime=1302.33 cores=1,3,5,7
/proc/11398/stat : 11398 (scip-2.0.1.4_2.) R 11395 11398 11354 0 -1 4202496 818995 0 0 0 130131 102 0 0 25 0 1 0 890982907 3270942720 786637 33554432000 4194304 8979876 140736075721552 18446744073709551615 5538062 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11398/statm: 798570 786637 676 1169 0 797397 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 3194280
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11440
/proc/meminfo: memFree=25431040/32950928 swapFree=67079488/67111528
[pid=11398] ppid=11395 vsize=3263192 CPUtime=1362.32 cores=1,3,5,7
/proc/11398/stat : 11398 (scip-2.0.1.4_2.) R 11395 11398 11354 0 -1 4202496 836943 0 0 0 136127 105 0 0 25 0 1 0 890982907 3341508608 804585 33554432000 4194304 8979876 140736075721552 18446744073709551615 4875174 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11398/statm: 815798 804585 676 1169 0 814625 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 3263192
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 11442
/proc/meminfo: memFree=25344696/32950928 swapFree=67079488/67111528
[pid=11398] ppid=11395 vsize=3304264 CPUtime=1422.33 cores=1,3,5,7
/proc/11398/stat : 11398 (scip-2.0.1.4_2.) R 11395 11398 11354 0 -1 4202496 846568 0 0 0 142126 107 0 0 25 0 1 0 890982907 3383566336 814210 33554432000 4194304 8979876 140736075721552 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11398/statm: 826066 814210 676 1169 0 824893 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 3304264
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11443
/proc/meminfo: memFree=25231192/32950928 swapFree=67079488/67111528
[pid=11398] ppid=11395 vsize=3382088 CPUtime=1482.33 cores=1,3,5,7
/proc/11398/stat : 11398 (scip-2.0.1.4_2.) R 11395 11398 11354 0 -1 4202496 866694 0 0 0 148123 110 0 0 25 0 1 0 890982907 3463258112 834336 33554432000 4194304 8979876 140736075721552 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11398/statm: 845522 834336 676 1169 0 844349 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3382088
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11445
/proc/meminfo: memFree=24884084/32950928 swapFree=67079488/67111528
[pid=11398] ppid=11395 vsize=3421412 CPUtime=1542.33 cores=1,3,5,7
/proc/11398/stat : 11398 (scip-2.0.1.4_2.) R 11395 11398 11354 0 -1 4202496 875575 0 0 0 154122 111 0 0 25 0 1 0 890982907 3503525888 843217 33554432000 4194304 8979876 140736075721552 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11398/statm: 855353 843217 676 1169 0 854180 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 3421412
[startup+1602.3 s]
/proc/loadavg: 2.09 2.03 1.96 3/178 11446
/proc/meminfo: memFree=24580604/32950928 swapFree=67079488/67111528
[pid=11398] ppid=11395 vsize=3740680 CPUtime=1602.33 cores=1,3,5,7
/proc/11398/stat : 11398 (scip-2.0.1.4_2.) R 11395 11398 11354 0 -1 4202496 949697 0 0 0 160106 127 0 0 25 0 1 0 890982907 3830456320 914572 33554432000 4194304 8979876 140736075721552 18446744073709551615 7143754 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11398/statm: 935170 914572 871 1169 0 933997 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3740680
[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 1.96 3/178 11448
/proc/meminfo: memFree=24550668/32950928 swapFree=67079488/67111528
[pid=11398] ppid=11395 vsize=3751784 CPUtime=1662.33 cores=1,3,5,7
/proc/11398/stat : 11398 (scip-2.0.1.4_2.) R 11395 11398 11354 0 -1 4202496 953432 0 0 0 166098 135 0 0 25 0 1 0 890982907 3841826816 918008 33554432000 4194304 8979876 140736075721552 18446744073709551615 7146981 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11398/statm: 937946 918008 1105 1169 0 936773 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3751784
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 1.96 4/178 11450
/proc/meminfo: memFree=24511564/32950928 swapFree=67079488/67111528
[pid=11398] ppid=11395 vsize=3766236 CPUtime=1722.33 cores=1,3,5,7
/proc/11398/stat : 11398 (scip-2.0.1.4_2.) R 11395 11398 11354 0 -1 4202496 962805 0 0 0 172092 141 0 0 25 0 1 0 890982907 3856625664 926059 33554432000 4194304 8979876 140736075721552 18446744073709551615 7147278 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11398/statm: 941559 926059 719 1169 0 940386 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 3766236
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.96 4/178 11451
/proc/meminfo: memFree=24479892/32950928 swapFree=67079488/67111528
[pid=11398] ppid=11395 vsize=3766684 CPUtime=1782.33 cores=1,3,5,7
/proc/11398/stat : 11398 (scip-2.0.1.4_2.) R 11395 11398 11354 0 -1 4202496 965395 0 0 0 178086 147 0 0 25 0 1 0 890982907 3857084416 928630 33554432000 4194304 8979876 140736075721552 18446744073709551615 7193198 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11398/statm: 941671 928630 711 1169 0 940498 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 3766684
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=11398] ppid=11395 vsize=3766684 CPUtime=1800.04 cores=1,3,5,7
/proc/11398/stat : 11398 (scip-2.0.1.4_2.) R 11395 11398 11354 0 -1 4202496 965403 0 0 0 179855 149 0 0 25 0 1 0 890982907 3857084416 928638 33554432000 4194304 8979876 140736075721552 18446744073709551615 7193336 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11398/statm: 941671 928638 711 1169 0 940498 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3766684
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=11398] ppid=11395 vsize=0 CPUtime=1800.14 cores=1,3,5,7
/proc/11398/stat : 11398 (scip-2.0.1.4_2.) R 11395 11398 11354 0 -1 4203524 965403 0 0 0 179855 159 0 0 25 0 1 0 890982907 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11398/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.15
CPU time (s): 1800.19
CPU user time (s): 1798.55
CPU system time (s): 1.64075
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3766684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.55
system time used= 1.64075
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 965403
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= 1086
runsolver used 2.6356 second user time and 7.18391 second system time
The end