0.00/0.01 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3451838-1307117282.opb>
1.89/1.93 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 255916 constraints
1.89/1.93 c problem read
1.89/1.93 c presolving settings loaded
2.39/2.46 c presolving:
9.69/9.72 c (round 1) 8127 del vars, 23522 del conss, 0 add conss, 6375 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17290068 impls, 0 clqs
12.89/12.97 c (round 2) 16182 del vars, 57894 del conss, 0 add conss, 13858 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17341646 impls, 0 clqs
13.79/13.88 c (round 3) 18853 del vars, 71577 del conss, 0 add conss, 15399 chg bounds, 48 chg sides, 55 chg coeffs, 0 upgd conss, 17365601 impls, 0 clqs
14.31/14.36 c (round 4) 20148 del vars, 76913 del conss, 0 add conss, 16254 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17381144 impls, 0 clqs
14.69/14.70 c (round 5) 21146 del vars, 80908 del conss, 0 add conss, 16916 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17390344 impls, 0 clqs
14.89/14.95 c (round 6) 21860 del vars, 83815 del conss, 0 add conss, 17363 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17400212 impls, 0 clqs
15.09/15.13 c (round 7) 22378 del vars, 85927 del conss, 0 add conss, 17698 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17405504 impls, 0 clqs
15.19/15.28 c (round 8) 22743 del vars, 87445 del conss, 0 add conss, 17922 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17411616 impls, 0 clqs
15.30/15.41 c (round 9) 23069 del vars, 88717 del conss, 0 add conss, 18137 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17415466 impls, 0 clqs
15.49/15.50 c (round 10) 23223 del vars, 89466 del conss, 0 add conss, 18222 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17418274 impls, 0 clqs
15.49/15.57 c (round 11) 23311 del vars, 89860 del conss, 0 add conss, 18283 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17419824 impls, 0 clqs
15.69/15.74 c (round 12) 23374 del vars, 90147 del conss, 0 add conss, 18340 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17420560 impls, 0 clqs
15.79/15.80 c (round 13) 23420 del vars, 90370 del conss, 0 add conss, 18348 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17420729 impls, 0 clqs
15.79/15.86 c (round 14) 23422 del vars, 90395 del conss, 0 add conss, 18348 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17420735 impls, 0 clqs
16.51/16.58 c (round 15) 23422 del vars, 90396 del conss, 0 add conss, 18348 chg bounds, 60 chg sides, 67 chg coeffs, 165520 upgd conss, 17420735 impls, 0 clqs
17.61/17.66 c (round 16) 23422 del vars, 90401 del conss, 29 add conss, 18348 chg bounds, 105 chg sides, 268 chg coeffs, 165520 upgd conss, 17420735 impls, 0 clqs
615.60/615.66 c (615.7s) probing: 1000/49420 (2.0%) - 0 fixings, 0 aggregations, 12273553 implications, 0 bound changes
1147.02/1147.04 c (1147.0s) probing: 2000/49420 (4.0%) - 0 fixings, 0 aggregations, 19434940 implications, 0 bound changes
1147.42/1147.48 c (1147.5s) probing: 2001/49420 (4.0%) - 0 fixings, 0 aggregations, 19439526 implications, 0 bound changes
1147.42/1147.48 c (1147.5s) probing aborted: 2000/2000 successive useless probings
1147.42/1147.48 c presolving (17 rounds):
1147.42/1147.48 c 23422 deleted vars, 90407 deleted constraints, 34 added constraints, 18348 tightened bounds, 0 added holes, 110 changed sides, 281 changed coefficients
1147.42/1147.48 c 97459129 implications, 0 cliques
1147.42/1147.48 c presolved problem has 49420 variables (49420 bin, 0 int, 0 impl, 0 cont) and 165543 constraints
1147.42/1147.48 c 1140 constraints of type <knapsack>
1147.42/1147.48 c 140058 constraints of type <setppc>
1147.42/1147.48 c 24345 constraints of type <logicor>
1147.42/1147.48 c transformed objective value is always integral (scale: 1)
1147.42/1147.48 c Presolving Time: 1145.17
1147.42/1147.48 c - non default parameters ----------------------------------------------------------------------
1147.42/1147.48 c # SCIP version 2.0.1.5
1147.42/1147.48 c
1147.42/1147.48 c # frequency for displaying node information lines
1147.42/1147.48 c # [type: int, range: [-1,2147483647], default: 100]
1147.42/1147.48 c display/freq = 10000
1147.42/1147.48 c
1147.42/1147.48 c # maximal time in seconds to run
1147.42/1147.48 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1147.42/1147.48 c limits/time = 1800
1147.42/1147.48 c
1147.42/1147.48 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1147.42/1147.48 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1147.42/1147.48 c limits/memory = 13950
1147.42/1147.48 c
1147.42/1147.48 c # default clock type (1: CPU user seconds, 2: wall clock time)
1147.42/1147.48 c # [type: int, range: [1,2], default: 1]
1147.42/1147.48 c timing/clocktype = 2
1147.42/1147.48 c
1147.42/1147.48 c # belongs reading time to solving time?
1147.42/1147.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1147.42/1147.48 c timing/reading = TRUE
1147.42/1147.48 c
1147.42/1147.48 c # should presolving try to simplify inequalities
1147.42/1147.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1147.42/1147.48 c constraints/linear/simplifyinequalities = TRUE
1147.42/1147.48 c
1147.42/1147.48 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1147.42/1147.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1147.42/1147.49 c constraints/indicator/addCouplingCons = TRUE
1147.42/1147.49 c
1147.42/1147.49 c # should presolving try to simplify knapsacks
1147.42/1147.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1147.42/1147.49 c constraints/knapsack/simplifyinequalities = TRUE
1147.42/1147.49 c
1147.42/1147.49 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1147.42/1147.49 c # [type: int, range: [-1,2147483647], default: -1]
1147.42/1147.49 c separating/rapidlearning/freq = 0
1147.42/1147.49 c
1147.42/1147.49 c -----------------------------------------------------------------------------------------------
1147.42/1147.49 c start solving
1147.52/1147.52 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-3451838-1307117282/watcher-3451838-1307117282 -o /tmp/evaluation-result-3451838-1307117282/solver-3451838-1307117282 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451838-1307117282.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.01 2.00 3/488 12631
/proc/meminfo: memFree=21151460/32951124 swapFree=46575304/67111528
[pid=12631] ppid=12629 vsize=12704 CPUtime=0 cores=0,2,4,6
/proc/12631/stat : 12631 (scip-2.0.1.4b.l) R 12629 12631 5006 0 -1 4202496 2166 0 0 0 0 0 0 0 25 0 1 0 555919514 13008896 2119 33554432000 4194304 9163163 140735284951504 18446744073709551615 8031100 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12631/statm: 3176 2119 389 1214 0 1958 0
[startup+0.036712 s]
/proc/loadavg: 2.00 2.01 2.00 3/488 12631
/proc/meminfo: memFree=21151460/32951124 swapFree=46575304/67111528
[pid=12631] ppid=12629 vsize=19460 CPUtime=0.02 cores=0,2,4,6
/proc/12631/stat : 12631 (scip-2.0.1.4b.l) R 12629 12631 5006 0 -1 4202496 3834 0 0 0 2 0 0 0 25 0 1 0 555919514 19927040 3787 33554432000 4194304 9163163 140735284951504 18446744073709551615 8041859 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12631/statm: 4865 3787 395 1214 0 3647 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19460
[startup+0.100701 s]
/proc/loadavg: 2.00 2.01 2.00 3/488 12631
/proc/meminfo: memFree=21151460/32951124 swapFree=46575304/67111528
[pid=12631] ppid=12629 vsize=29048 CPUtime=0.09 cores=0,2,4,6
/proc/12631/stat : 12631 (scip-2.0.1.4b.l) R 12629 12631 5006 0 -1 4202496 6229 0 0 0 9 0 0 0 25 0 1 0 555919514 29745152 6182 33554432000 4194304 9163163 140735284951504 18446744073709551615 8041849 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12631/statm: 7262 6182 395 1214 0 6044 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29048
[startup+0.300663 s]
/proc/loadavg: 2.00 2.01 2.00 3/488 12631
/proc/meminfo: memFree=21151460/32951124 swapFree=46575304/67111528
[pid=12631] ppid=12629 vsize=54688 CPUtime=0.28 cores=0,2,4,6
/proc/12631/stat : 12631 (scip-2.0.1.4b.l) R 12629 12631 5006 0 -1 4202496 12663 0 0 0 27 1 0 0 25 0 1 0 555919514 56000512 12616 33554432000 4194304 9163163 140735284951504 18446744073709551615 8041859 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12631/statm: 13672 12616 395 1214 0 12454 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 54688
[startup+0.700591 s]
/proc/loadavg: 2.00 2.01 2.00 3/488 12631
/proc/meminfo: memFree=21151460/32951124 swapFree=46575304/67111528
[pid=12631] ppid=12629 vsize=77036 CPUtime=0.69 cores=0,2,4,6
/proc/12631/stat : 12631 (scip-2.0.1.4b.l) R 12629 12631 5006 0 -1 4202496 18237 0 0 0 67 2 0 0 25 0 1 0 555919514 78884864 18190 33554432000 4194304 9163163 140735284951504 18446744073709551615 4216836 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12631/statm: 19259 18190 395 1214 0 18041 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 77036
[startup+1.50045 s]
/proc/loadavg: 2.00 2.01 2.00 3/489 12632
/proc/meminfo: memFree=21063908/32951124 swapFree=46575304/67111528
[pid=12631] ppid=12629 vsize=135132 CPUtime=1.49 cores=0,2,4,6
/proc/12631/stat : 12631 (scip-2.0.1.4b.l) R 12629 12631 5006 0 -1 4202496 32740 0 0 0 145 4 0 0 25 0 1 0 555919514 138375168 32693 33554432000 4194304 9163163 140735284951504 18446744073709551615 8150496 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12631/statm: 33783 32693 395 1214 0 32565 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 135132
[startup+3.10114 s]
/proc/loadavg: 2.00 2.01 2.00 3/489 12632
/proc/meminfo: memFree=20874180/32951124 swapFree=46575304/67111528
[pid=12631] ppid=12629 vsize=466560 CPUtime=3.09 cores=0,2,4,6
/proc/12631/stat : 12631 (scip-2.0.1.4b.l) R 12629 12631 5006 0 -1 4202496 114411 0 0 0 294 15 0 0 25 0 1 0 555919514 477757440 114296 33554432000 4194304 9163163 140735284951504 18446744073709551615 6567805 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12631/statm: 116640 114296 497 1214 0 115422 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 466560
[startup+6.30059 s]
/proc/loadavg: 2.00 2.01 2.00 3/489 12632
/proc/meminfo: memFree=20493080/32951124 swapFree=46575304/67111528
[pid=12631] ppid=12629 vsize=731140 CPUtime=6.29 cores=0,2,4,6
/proc/12631/stat : 12631 (scip-2.0.1.4b.l) R 12629 12631 5006 0 -1 4202496 180357 0 0 0 607 22 0 0 25 0 1 0 555919514 748687360 180242 33554432000 4194304 9163163 140735284951504 18446744073709551615 4817063 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12631/statm: 182785 180242 506 1214 0 181567 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 731140
[startup+12.7005 s]
/proc/loadavg: 2.00 2.01 2.00 3/489 12632
/proc/meminfo: memFree=20264716/32951124 swapFree=46575304/67111528
[pid=12631] ppid=12629 vsize=903668 CPUtime=12.69 cores=0,2,4,6
/proc/12631/stat : 12631 (scip-2.0.1.4b.l) R 12629 12631 5006 0 -1 4202496 221409 0 0 0 1241 28 0 0 25 0 1 0 555919514 925356032 221037 33554432000 4194304 9163163 140735284951504 18446744073709551615 4352474 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12631/statm: 225917 221037 518 1214 0 224699 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 903668
[startup+25.5012 s]
/proc/loadavg: 2.08 2.02 2.01 3/489 12633
/proc/meminfo: memFree=20195268/32951124 swapFree=46575304/67111528
[pid=12631] ppid=12629 vsize=980268 CPUtime=25.49 cores=0,2,4,6
/proc/12631/stat : 12631 (scip-2.0.1.4b.l) R 12629 12631 5006 0 -1 4202496 254545 0 0 0 2517 32 0 0 25 0 1 0 555919514 1003794432 239535 33554432000 4194304 9163163 140735284951504 18446744073709551615 6567797 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12631/statm: 245067 239535 572 1214 0 243849 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 980268
[startup+51.1007 s]
/proc/loadavg: 2.05 2.02 2.00 3/489 12633
/proc/meminfo: memFree=20139344/32951124 swapFree=46575304/67111528
[pid=12631] ppid=12629 vsize=1034820 CPUtime=51.09 cores=0,2,4,6
/proc/12631/stat : 12631 (scip-2.0.1.4b.l) R 12629 12631 5006 0 -1 4202496 267576 0 0 0 5075 34 0 0 25 0 1 0 555919514 1059655680 252566 33554432000 4194304 9163163 140735284951504 18446744073709551615 6567814 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12631/statm: 258705 252566 572 1214 0 257487 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1034820
[startup+102.319 s]
/proc/loadavg: 2.08 2.03 2.00 3/489 12635
/proc/meminfo: memFree=19998448/32951124 swapFree=46575304/67111528
[pid=12631] ppid=12629 vsize=1175828 CPUtime=102.31 cores=0,2,4,6
/proc/12631/stat : 12631 (scip-2.0.1.4b.l) R 12629 12631 5006 0 -1 4202496 302445 0 0 0 10191 40 0 0 25 0 1 0 555919514 1204047872 287435 33554432000 4194304 9163163 140735284951504 18446744073709551615 4234930 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12631/statm: 293957 287435 572 1214 0 292739 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1175828
[startup+162.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/489 12636
/proc/meminfo: memFree=19725864/32951124 swapFree=46575304/67111528
[pid=12631] ppid=12629 vsize=1453752 CPUtime=162.3 cores=0,2,4,6
/proc/12631/stat : 12631 (scip-2.0.1.4b.l) R 12629 12631 5006 0 -1 4202496 370818 0 0 0 16182 48 0 0 25 0 1 0 555919514 1488642048 355808 33554432000 4194304 9163163 140735284951504 18446744073709551615 6567779 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12631/statm: 363438 355808 572 1214 0 362220 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1453752
[startup+222.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/489 12638
/proc/meminfo: memFree=19487124/32951124 swapFree=46575304/67111528
[pid=12631] ppid=12629 vsize=1694552 CPUtime=222.3 cores=0,2,4,6
/proc/12631/stat : 12631 (scip-2.0.1.4b.l) R 12629 12631 5006 0 -1 4202496 430781 0 0 0 22175 55 0 0 25 0 1 0 555919514 1735221248 415771 33554432000 4194304 9163163 140735284951504 18446744073709551615 5073636 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12631/statm: 423638 415771 572 1214 0 422420 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1694552
[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/489 12640
/proc/meminfo: memFree=19375988/32951124 swapFree=46575304/67111528
[pid=12631] ppid=12629 vsize=1807460 CPUtime=282.3 cores=0,2,4,6
/proc/12631/stat : 12631 (scip-2.0.1.4b.l) R 12629 12631 5006 0 -1 4202496 459132 0 0 0 28171 59 0 0 25 0 1 0 555919514 1850839040 444122 33554432000 4194304 9163163 140735284951504 18446744073709551615 6567801 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12631/statm: 451865 444122 572 1214 0 450647 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1807460
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/489 12641
/proc/meminfo: memFree=19234840/32951124 swapFree=46575304/67111528
[pid=12631] ppid=12629 vsize=1945460 CPUtime=342.3 cores=0,2,4,6
/proc/12631/stat : 12631 (scip-2.0.1.4b.l) R 12629 12631 5006 0 -1 4202496 493548 0 0 0 34166 64 0 0 25 0 1 0 555919514 1992151040 478538 33554432000 4194304 9163163 140735284951504 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12631/statm: 486365 478538 572 1214 0 485147 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1945460
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/489 12643
/proc/meminfo: memFree=19031816/32951124 swapFree=46575304/67111528
[pid=12631] ppid=12629 vsize=2152464 CPUtime=402.3 cores=0,2,4,6
/proc/12631/stat : 12631 (scip-2.0.1.4b.l) R 12629 12631 5006 0 -1 4202496 544441 0 0 0 40159 71 0 0 25 0 1 0 555919514 2204123136 529431 33554432000 4194304 9163163 140735284951504 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12631/statm: 538116 529431 572 1214 0 536898 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2152464
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/489 12644
/proc/meminfo: memFree=18887308/32951124 swapFree=46575304/67111528
[pid=12631] ppid=12629 vsize=2299380 CPUtime=462.3 cores=0,2,4,6
/proc/12631/stat : 12631 (scip-2.0.1.4b.l) R 12629 12631 5006 0 -1 4202496 580510 0 0 0 46155 75 0 0 25 0 1 0 555919514 2354565120 565500 33554432000 4194304 9163163 140735284951504 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12631/statm: 574845 565500 572 1214 0 573627 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2299380
[startup+522.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/489 12646
/proc/meminfo: memFree=18733276/32951124 swapFree=46575304/67111528
[pid=12631] ppid=12629 vsize=2446848 CPUtime=522.31 cores=0,2,4,6
/proc/12631/stat : 12631 (scip-2.0.1.4b.l) R 12629 12631 5006 0 -1 4202496 617735 0 0 0 52150 81 0 0 25 0 1 0 555919514 2505572352 602725 33554432000 4194304 9163163 140735284951504 18446744073709551615 4219479 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12631/statm: 611712 602725 572 1214 0 610494 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2446848
[startup+582.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/489 12648
/proc/meminfo: memFree=18631060/32951124 swapFree=46575304/67111528
[pid=12631] ppid=12629 vsize=2551068 CPUtime=582.31 cores=0,2,4,6
/proc/12631/stat : 12631 (scip-2.0.1.4b.l) R 12629 12631 5006 0 -1 4202496 643323 0 0 0 58147 84 0 0 25 0 1 0 555919514 2612293632 628313 33554432000 4194304 9163163 140735284951504 18446744073709551615 5073636 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12631/statm: 637767 628313 572 1214 0 636549 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2551068
[startup+642.3 s]
################
# More data... #
################
/proc/12631/stat : 12631 (scip-2.0.1.4b.l) R 12629 12631 5006 0 -1 4202496 816937 0 0 0 106125 107 0 0 25 0 1 0 555919514 3326713856 801927 33554432000 4194304 9163163 140735284951504 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12631/statm: 812186 801927 576 1214 0 810968 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 3248744
[startup+1122.3 s]
/proc/loadavg: 1.09 1.55 1.81 2/483 12679
/proc/meminfo: memFree=18200168/32951124 swapFree=46575304/67111528
[pid=12631] ppid=12629 vsize=3334352 CPUtime=1122.32 cores=0,2,4,6
/proc/12631/stat : 12631 (scip-2.0.1.4b.l) R 12629 12631 5006 0 -1 4202496 838924 0 0 0 112122 110 0 0 25 0 1 0 555919514 3414376448 823914 33554432000 4194304 9163163 140735284951504 18446744073709551615 6567526 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12631/statm: 833588 823914 576 1214 0 832370 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 3334352
[startup+1182.3 s]
/proc/loadavg: 1.03 1.44 1.76 2/483 12681
/proc/meminfo: memFree=17897068/32951124 swapFree=46575304/67111528
[pid=12631] ppid=12629 vsize=3660340 CPUtime=1182.32 cores=0,2,4,6
/proc/12631/stat : 12631 (scip-2.0.1.4b.l) R 12629 12631 5006 0 -1 4202496 918831 0 0 0 118111 121 0 0 25 0 1 0 555919514 3748188160 898558 33554432000 4194304 9163163 140735284951504 18446744073709551615 7348878 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12631/statm: 915085 898558 769 1214 0 913867 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 3660340
[startup+1242.3 s]
/proc/loadavg: 1.01 1.36 1.71 2/483 12682
/proc/meminfo: memFree=17889724/32951124 swapFree=46575304/67111528
[pid=12631] ppid=12629 vsize=3662172 CPUtime=1242.32 cores=0,2,4,6
/proc/12631/stat : 12631 (scip-2.0.1.4b.l) R 12629 12631 5006 0 -1 4202496 920455 0 0 0 124108 124 0 0 25 0 1 0 555919514 3750064128 900172 33554432000 4194304 9163163 140735284951504 18446744073709551615 7349023 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12631/statm: 915543 900172 774 1214 0 914325 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 3662172
[startup+1302.3 s]
/proc/loadavg: 1.00 1.29 1.66 2/483 12684
/proc/meminfo: memFree=17884608/32951124 swapFree=46575304/67111528
[pid=12631] ppid=12629 vsize=3668536 CPUtime=1302.33 cores=0,2,4,6
/proc/12631/stat : 12631 (scip-2.0.1.4b.l) R 12629 12631 5006 0 -1 4202496 922000 0 0 0 130105 128 0 0 25 0 1 0 555919514 3756580864 901712 33554432000 4194304 9163163 140735284951504 18446744073709551615 7349118 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12631/statm: 917134 901712 769 1214 0 915916 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 3668536
[startup+1362.3 s]
/proc/loadavg: 1.00 1.24 1.62 2/483 12685
/proc/meminfo: memFree=17878496/32951124 swapFree=46575304/67111528
[pid=12631] ppid=12629 vsize=3674440 CPUtime=1362.32 cores=0,2,4,6
/proc/12631/stat : 12631 (scip-2.0.1.4b.l) R 12629 12631 5006 0 -1 4202496 923618 0 0 0 136101 131 0 0 25 0 1 0 555919514 3762626560 903316 33554432000 4194304 9163163 140735284951504 18446744073709551615 7345690 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12631/statm: 918610 903316 821 1214 0 917392 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 3674440
[startup+1422.32 s]
/proc/loadavg: 1.00 1.19 1.58 2/483 12687
/proc/meminfo: memFree=17874876/32951124 swapFree=46575304/67111528
[pid=12631] ppid=12629 vsize=3680592 CPUtime=1422.34 cores=0,2,4,6
/proc/12631/stat : 12631 (scip-2.0.1.4b.l) R 12629 12631 5006 0 -1 4202496 924530 0 0 0 142101 133 0 0 25 0 1 0 555919514 3768926208 904228 33554432000 4194304 9163163 140735284951504 18446744073709551615 7349296 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12631/statm: 920148 904228 821 1214 0 918930 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 3680592
[startup+1482.3 s]
/proc/loadavg: 1.00 1.15 1.54 2/483 12689
/proc/meminfo: memFree=17867148/32951124 swapFree=46575304/67111528
[pid=12631] ppid=12629 vsize=3686612 CPUtime=1482.33 cores=0,2,4,6
/proc/12631/stat : 12631 (scip-2.0.1.4b.l) R 12629 12631 5006 0 -1 4202496 926415 0 0 0 148097 136 0 0 25 0 1 0 555919514 3775090688 906113 33554432000 4194304 9163163 140735284951504 18446744073709551615 7345653 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12631/statm: 921653 906113 821 1214 0 920435 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3686612
[startup+1542.3 s]
/proc/loadavg: 1.00 1.12 1.50 2/483 12690
/proc/meminfo: memFree=17866492/32951124 swapFree=46575304/67111528
[pid=12631] ppid=12629 vsize=3687336 CPUtime=1542.32 cores=0,2,4,6
/proc/12631/stat : 12631 (scip-2.0.1.4b.l) R 12629 12631 5006 0 -1 4202496 926665 0 0 0 154094 138 0 0 25 0 1 0 555919514 3775832064 906363 33554432000 4194304 9163163 140735284951504 18446744073709551615 7349100 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12631/statm: 921834 906363 821 1214 0 920616 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 3687336
[startup+1602.3 s]
/proc/loadavg: 1.00 1.10 1.47 2/483 12692
/proc/meminfo: memFree=17853196/32951124 swapFree=46575304/67111528
[pid=12631] ppid=12629 vsize=3694556 CPUtime=1602.32 cores=0,2,4,6
/proc/12631/stat : 12631 (scip-2.0.1.4b.l) R 12629 12631 5006 0 -1 4202496 930008 0 0 0 160091 141 0 0 25 0 1 0 555919514 3783225344 909650 33554432000 4194304 9163163 140735284951504 18446744073709551615 7349023 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12631/statm: 923639 909650 818 1214 0 922421 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 3694556
[startup+1662.3 s]
/proc/loadavg: 1.07 1.11 1.44 2/483 12693
/proc/meminfo: memFree=17853404/32951124 swapFree=46575304/67111528
[pid=12631] ppid=12629 vsize=3694556 CPUtime=1662.33 cores=0,2,4,6
/proc/12631/stat : 12631 (scip-2.0.1.4b.l) R 12629 12631 5006 0 -1 4202496 930015 0 0 0 166090 143 0 0 25 0 1 0 555919514 3783225344 909651 33554432000 4194304 9163163 140735284951504 18446744073709551615 7348243 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12631/statm: 923639 909651 812 1214 0 922421 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3694556
[startup+1722.3 s]
/proc/loadavg: 1.06 1.10 1.42 2/483 12695
/proc/meminfo: memFree=17853128/32951124 swapFree=46575304/67111528
[pid=12631] ppid=12629 vsize=3694556 CPUtime=1722.33 cores=0,2,4,6
/proc/12631/stat : 12631 (scip-2.0.1.4b.l) R 12629 12631 5006 0 -1 4202496 930024 0 0 0 172088 145 0 0 25 0 1 0 555919514 3783225344 909653 33554432000 4194304 9163163 140735284951504 18446744073709551615 7274233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12631/statm: 923639 909653 805 1214 0 922421 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 3694556
[startup+1782.3 s]
/proc/loadavg: 1.02 1.08 1.39 2/483 12697
/proc/meminfo: memFree=17852216/32951124 swapFree=46575304/67111528
[pid=12631] ppid=12629 vsize=3694556 CPUtime=1782.34 cores=0,2,4,6
/proc/12631/stat : 12631 (scip-2.0.1.4b.l) R 12629 12631 5006 0 -1 4202496 930032 0 0 0 178086 148 0 0 25 0 1 0 555919514 3783225344 909654 33554432000 4194304 9163163 140735284951504 18446744073709551615 7317913 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12631/statm: 923639 909654 798 1214 0 922421 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3694556
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.01 1.07 1.38 2/483 12697
/proc/meminfo: memFree=17853068/32951124 swapFree=46575304/67111528
[pid=12631] ppid=12629 vsize=3694556 CPUtime=1800.04 cores=0,2,4,6
/proc/12631/stat : 12631 (scip-2.0.1.4b.l) R 12629 12631 5006 0 -1 4202496 930033 0 0 0 179856 148 0 0 25 0 1 0 555919514 3783225344 909654 33554432000 4194304 9163163 140735284951504 18446744073709551615 7348575 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12631/statm: 923639 909654 797 1214 0 922421 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3694556
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -12631
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.01 1.07 1.38 2/484 12698
/proc/meminfo: memFree=17852316/32951124 swapFree=46575304/67111528
[pid=12631] ppid=12629 vsize=3694556 CPUtime=1801.43 cores=0,2,4,6
/proc/12631/stat : 12631 (scip-2.0.1.4b.l) R 12629 12631 5006 0 -1 4202496 930033 0 0 0 179995 148 0 0 25 0 1 0 555919514 3783225344 909654 33554432000 4194304 9163163 140735284951504 18446744073709551615 7348020 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12631/statm: 923639 909654 797 1214 0 922421 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 3694556
[startup+1801.82 s]
/proc/loadavg: 1.01 1.07 1.38 2/484 12698
/proc/meminfo: memFree=17852316/32951124 swapFree=46575304/67111528
[pid=12631] ppid=12629 vsize=3694556 CPUtime=1801.85 cores=0,2,4,6
/proc/12631/stat : 12631 (scip-2.0.1.4b.l) R 12629 12631 5006 0 -1 4202496 930033 0 0 0 180037 148 0 0 25 0 1 0 555919514 3783225344 909654 33554432000 4194304 9163163 140735284951504 18446744073709551615 7349062 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12631/statm: 923639 909654 797 1214 0 922421 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 3694556
[startup+1802 s]
/proc/loadavg: 1.01 1.07 1.38 2/484 12698
/proc/meminfo: memFree=17852316/32951124 swapFree=46575304/67111528
[pid=12631] ppid=12629 vsize=3694556 CPUtime=1802.03 cores=0,2,4,6
/proc/12631/stat : 12631 (scip-2.0.1.4b.l) R 12629 12631 5006 0 -1 4202496 930035 0 0 0 180055 148 0 0 25 0 1 0 555919514 3783225344 909655 33554432000 4194304 9163163 140735284951504 18446744073709551615 7349256 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12631/statm: 923639 909655 796 1214 0 922421 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 3694556
[startup+1802.1 s]
/proc/loadavg: 1.01 1.07 1.38 2/484 12698
/proc/meminfo: memFree=17852316/32951124 swapFree=46575304/67111528
[pid=12631] ppid=12629 vsize=0 CPUtime=1802.14 cores=0,2,4,6
/proc/12631/stat : 12631 (scip-2.0.1.4b.l) R 12629 12631 5006 0 -1 4203524 930035 0 0 0 180057 157 0 0 25 0 1 0 555919514 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 0 0 0 0
/proc/12631/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.14
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.18
CPU time (s): 1802.22
CPU user time (s): 1800.57
CPU system time (s): 1.64775
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3694556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.57
system time used= 1.64775
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 930035
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= 23508
runsolver used 9.13061 second user time and 19.0701 second system time
The end