0.00/0.02 c RoundingSat 2
0.00/0.02 c branch
0.00/0.02 c commit
0.00/0.02 c with Papilo
0.00/0.02 c with SCIP
0.00/0.02 c [STEP] parsing instance
2.72/2.86 c [STEP] preprocessing with Papilo
3.12/3.24 c Papilo could not simplify the problem
3.12/3.24 c [STEP] solving with SCIP
302.64/303.74 c [STEP] preprocessing done, loading into solver
303.05/304.14 c [STEP] solving
303.05/304.14 c #variables 5049 #constraints 65280
303.05/304.14 c SMALL=int, LARGE=long long
303.05/304.14 d SCIPUB 40
303.05/304.14 c bounds - >= 0 @ 301.996
303.05/304.14 c stratification level: 0
303.63/304.75 c bounds - >= 1 @ 302.058
303.63/304.75 c bounds - >= 2 @ 302.061
303.63/304.75 c bounds - >= 3 @ 302.061
303.63/304.75 c bounds - >= 4 @ 302.063
303.63/304.75 c bounds - >= 5 @ 302.066
303.63/304.75 c bounds - >= 6 @ 302.069
303.63/304.75 c bounds - >= 7 @ 302.07
303.63/304.75 c bounds - >= 8 @ 302.071
303.63/304.75 c bounds - >= 9 @ 302.073
303.63/304.75 c bounds - >= 10 @ 302.074
303.63/304.75 c bounds - >= 11 @ 302.076
303.63/304.75 c bounds - >= 12 @ 302.078
303.63/304.75 c bounds - >= 13 @ 302.081
303.63/304.75 c bounds - >= 14 @ 302.084
303.63/304.75 c bounds - >= 15 @ 302.086
303.63/304.75 c bounds - >= 16 @ 302.088
303.63/304.75 c bounds - >= 17 @ 302.091
303.63/304.75 c bounds - >= 18 @ 302.104
303.63/304.75 c bounds - >= 19 @ 302.107
303.63/304.75 c bounds - >= 20 @ 302.11
303.63/304.75 c bounds - >= 21 @ 302.116
303.63/304.75 c finalizing WCE round: reformulating cores
605.36/607.51 c #Conflicts: 1000 | #Constraints: 66304
605.36/607.51 c #Conflicts: 2000 | #Constraints: 67308
605.36/607.51 c INPROCESSING
605.36/607.51 c GARBAGE COLLECT
605.36/607.51 c #Conflicts: 3000 | #Constraints: 67295
605.36/607.51 c #Conflicts: 4000 | #Constraints: 68297
605.36/607.51 c INPROCESSING
605.36/607.51 c GARBAGE COLLECT
605.36/607.51 c #Conflicts: 5000 | #Constraints: 67709
605.36/607.51 c #Conflicts: 6000 | #Constraints: 68711
605.36/607.51 c INPROCESSING
605.36/607.51 c GARBAGE COLLECT
605.36/607.51 c #Conflicts: 7000 | #Constraints: 67715
605.36/607.51 c #Conflicts: 8000 | #Constraints: 68717
605.36/607.51 c #Conflicts: 9000 | #Constraints: 69721
605.36/607.51 c INPROCESSING
605.36/607.51 c GARBAGE COLLECT
605.36/607.51 c #Conflicts: 10000 | #Constraints: 68429
605.36/607.51 c #Conflicts: 11000 | #Constraints: 69431
605.36/607.51 c #Conflicts: 12000 | #Constraints: 70433
605.36/607.51 c INPROCESSING
605.36/607.51 c GARBAGE COLLECT
605.36/607.51 c #Conflicts: 13000 | #Constraints: 68892
605.36/607.51 c #Conflicts: 14000 | #Constraints: 69894
605.36/607.51 c #Conflicts: 15000 | #Constraints: 70896
605.36/607.51 c INPROCESSING
605.36/607.51 c GARBAGE COLLECT
605.36/607.51 c #Conflicts: 16000 | #Constraints: 69125
605.36/607.51 c #Conflicts: 17000 | #Constraints: 70127
605.36/607.51 c #Conflicts: 18000 | #Constraints: 71129
605.36/607.51 c INPROCESSING
605.36/607.51 c GARBAGE COLLECT
605.36/607.51 c bounds 39 >= 21 @ 337.503
605.36/607.51 c bounds 39 >= 22 @ 337.509
605.36/607.51 c bounds 39 >= 23 @ 337.514
605.36/607.51 c bounds 39 >= 24 @ 337.518
605.36/607.51 c bounds 39 >= 25 @ 337.52
605.36/607.51 c bounds 39 >= 26 @ 337.532
605.36/607.51 c bounds 39 >= 27 @ 337.553
605.36/607.51 c #Conflicts: 19000 | #Constraints: 69205
605.36/607.51 c #Conflicts: 20000 | #Constraints: 70205
605.36/607.51 c #Conflicts: 21000 | #Constraints: 71205
605.36/607.51 c INPROCESSING
605.36/607.51 c GARBAGE COLLECT
605.36/607.51 c #Conflicts: 22000 | #Constraints: 68992
605.36/607.51 c #Conflicts: 23000 | #Constraints: 69992
605.36/607.51 c #Conflicts: 24000 | #Constraints: 70992
605.36/607.51 c #Conflicts: 25000 | #Constraints: 71992
605.36/607.51 c INPROCESSING
605.36/607.51 c GARBAGE COLLECT
605.36/607.51 c #Conflicts: 26000 | #Constraints: 69593
605.36/607.51 c #Conflicts: 27000 | #Constraints: 70593
605.36/607.51 c #Conflicts: 28000 | #Constraints: 71593
605.36/607.51 c #Conflicts: 29000 | #Constraints: 72593
605.36/607.51 c INPROCESSING
605.36/607.51 c GARBAGE COLLECT
605.36/607.51 c #Conflicts: 30000 | #Constraints: 69990
605.36/607.52 c #Conflicts: 31000 | #Constraints: 70990
605.36/607.52 c #Conflicts: 32000 | #Constraints: 71990
605.36/607.52 c #Conflicts: 33000 | #Constraints: 72990
605.36/607.52 c INPROCESSING
605.36/607.52 c GARBAGE COLLECT
605.36/607.52 c #Conflicts: 34000 | #Constraints: 70187
605.36/607.52 c #Conflicts: 35000 | #Constraints: 71187
605.36/607.52 c #Conflicts: 36000 | #Constraints: 72187
605.36/607.52 c #Conflicts: 37000 | #Constraints: 73187
605.36/607.52 c INPROCESSING
605.36/607.52 c GARBAGE COLLECT
605.36/607.52 c #Conflicts: 38000 | #Constraints: 70192
605.36/607.52 c #Conflicts: 39000 | #Constraints: 71192
605.36/607.52 c #Conflicts: 40000 | #Constraints: 72192
605.36/607.52 c #Conflicts: 41000 | #Constraints: 73192
605.36/607.52 c INPROCESSING
605.36/607.52 c GARBAGE COLLECT
605.36/607.52 c #Conflicts: 42000 | #Constraints: 69992
605.36/607.52 c #Conflicts: 43000 | #Constraints: 70992
605.36/607.52 c #Conflicts: 44000 | #Constraints: 71992
605.36/607.52 c #Conflicts: 45000 | #Constraints: 72992
605.36/607.52 c #Conflicts: 46000 | #Constraints: 73992
605.36/607.52 c INPROCESSING
605.36/607.52 c GARBAGE COLLECT
605.36/607.52 c #Conflicts: 47000 | #Constraints: 70593
605.36/607.52 c #Conflicts: 48000 | #Constraints: 71593
605.36/607.52 c #Conflicts: 49000 | #Constraints: 72593
605.36/607.52 c #Conflicts: 50000 | #Constraints: 73593
605.36/607.52 c #Conflicts: 51000 | #Constraints: 74593
605.36/607.52 c INPROCESSING
605.36/607.52 c GARBAGE COLLECT
605.36/607.52 c #Conflicts: 52000 | #Constraints: 70991
605.36/607.52 c #Conflicts: 53000 | #Constraints: 71991
605.36/607.52 c #Conflicts: 54000 | #Constraints: 72991
605.36/607.52 c #Conflicts: 55000 | #Constraints: 73991
605.36/607.52 c #Conflicts: 56000 | #Constraints: 74991
605.36/607.52 c INPROCESSING
605.36/607.52 c GARBAGE COLLECT
605.36/607.52 c #Conflicts: 57000 | #Constraints: 71191
605.36/607.52 c #Conflicts: 58000 | #Constraints: 72191
605.36/607.52 c #Conflicts: 59000 | #Constraints: 73191
605.36/607.52 c #Conflicts: 60000 | #Constraints: 74191
605.36/607.52 c #Conflicts: 61000 | #Constraints: 75191
605.36/607.52 c INPROCESSING
605.36/607.52 c GARBAGE COLLECT
605.36/607.52 c #Conflicts: 62000 | #Constraints: 71183
605.36/607.52 c #Conflicts: 63000 | #Constraints: 72183
605.36/607.52 c #Conflicts: 64000 | #Constraints: 73183
605.36/607.52 c #Conflicts: 65000 | #Constraints: 74183
1223.24/1227.31 c #Conflicts: 66000 | #Constraints: 75183
1223.24/1227.31 c INPROCESSING
1223.24/1227.31 c GARBAGE COLLECT
1223.24/1227.31 c #Conflicts: 67000 | #Constraints: 70990
1223.24/1227.31 c #Conflicts: 68000 | #Constraints: 71990
1223.24/1227.31 c #Conflicts: 69000 | #Constraints: 72990
1223.24/1227.31 c #Conflicts: 70000 | #Constraints: 73990
1223.24/1227.31 c #Conflicts: 71000 | #Constraints: 74990
1223.24/1227.31 c #Conflicts: 72000 | #Constraints: 75990
1223.24/1227.31 c INPROCESSING
1223.24/1227.31 c GARBAGE COLLECT
1223.24/1227.31 c #Conflicts: 73000 | #Constraints: 71590
1223.24/1227.31 c #Conflicts: 74000 | #Constraints: 72590
1223.24/1227.31 c #Conflicts: 75000 | #Constraints: 73590
1223.24/1227.31 c #Conflicts: 76000 | #Constraints: 74590
1223.24/1227.31 c #Conflicts: 77000 | #Constraints: 75590
1223.24/1227.31 c #Conflicts: 78000 | #Constraints: 76590
1223.24/1227.31 c INPROCESSING
1223.24/1227.31 c GARBAGE COLLECT
1223.24/1227.31 c #Conflicts: 79000 | #Constraints: 71990
1223.24/1227.31 c #Conflicts: 80000 | #Constraints: 72990
1223.24/1227.31 c #Conflicts: 81000 | #Constraints: 73990
1223.24/1227.31 c #Conflicts: 82000 | #Constraints: 74990
1223.24/1227.31 c #Conflicts: 83000 | #Constraints: 75990
1223.24/1227.31 c #Conflicts: 84000 | #Constraints: 76990
1223.24/1227.31 c INPROCESSING
1223.24/1227.31 c GARBAGE COLLECT
1223.24/1227.31 c #Conflicts: 85000 | #Constraints: 72192
1223.24/1227.31 c #Conflicts: 86000 | #Constraints: 73192
1223.24/1227.31 c #Conflicts: 87000 | #Constraints: 74192
1223.24/1227.31 c #Conflicts: 88000 | #Constraints: 75192
1223.24/1227.31 c #Conflicts: 89000 | #Constraints: 76192
1223.24/1227.31 c #Conflicts: 90000 | #Constraints: 77192
1223.24/1227.31 c INPROCESSING
1223.24/1227.31 c GARBAGE COLLECT
1223.24/1227.31 c #Conflicts: 91000 | #Constraints: 72193
1223.24/1227.31 c #Conflicts: 92000 | #Constraints: 73193
1223.24/1227.31 c #Conflicts: 93000 | #Constraints: 74193
1223.24/1227.31 c #Conflicts: 94000 | #Constraints: 75193
1223.24/1227.31 c #Conflicts: 95000 | #Constraints: 76193
1223.24/1227.31 c #Conflicts: 96000 | #Constraints: 77193
1223.24/1227.31 c INPROCESSING
1223.24/1227.31 c GARBAGE COLLECT
1223.24/1227.31 c #Conflicts: 97000 | #Constraints: 71991
1223.24/1227.31 c #Conflicts: 98000 | #Constraints: 72991
1223.24/1227.31 c #Conflicts: 99000 | #Constraints: 73991
1223.24/1227.31 c #Conflicts: 100000 | #Constraints: 74991
1223.24/1227.31 c #Conflicts: 101000 | #Constraints: 75991
1223.24/1227.31 c #Conflicts: 102000 | #Constraints: 76991
1223.24/1227.31 c #Conflicts: 103000 | #Constraints: 77991
1223.24/1227.31 c INPROCESSING
1223.24/1227.31 c GARBAGE COLLECT
1223.24/1227.31 c #Conflicts: 104000 | #Constraints: 72594
1223.24/1227.31 c #Conflicts: 105000 | #Constraints: 73594
1223.24/1227.31 c #Conflicts: 106000 | #Constraints: 74594
1223.24/1227.31 c #Conflicts: 107000 | #Constraints: 75594
1223.24/1227.31 c #Conflicts: 108000 | #Constraints: 76594
1223.24/1227.31 c #Conflicts: 109000 | #Constraints: 77594
1223.24/1227.31 c #Conflicts: 110000 | #Constraints: 78594
1223.24/1227.31 c INPROCESSING
1223.24/1227.31 c GARBAGE COLLECT
1223.24/1227.31 c #Conflicts: 111000 | #Constraints: 72995
1223.24/1227.31 c #Conflicts: 112000 | #Constraints: 73995
1223.24/1227.31 c #Conflicts: 113000 | #Constraints: 74995
1223.24/1227.31 c #Conflicts: 114000 | #Constraints: 75995
1223.24/1227.31 c #Conflicts: 115000 | #Constraints: 76995
1223.24/1227.31 c #Conflicts: 116000 | #Constraints: 77995
1223.24/1227.31 c #Conflicts: 117000 | #Constraints: 78995
1223.24/1227.31 c INPROCESSING
1223.24/1227.31 c GARBAGE COLLECT
1223.24/1227.31 c #Conflicts: 118000 | #Constraints: 73196
1223.24/1227.31 c #Conflicts: 119000 | #Constraints: 74196
1223.24/1227.31 c #Conflicts: 120000 | #Constraints: 75196
1223.24/1227.31 c #Conflicts: 121000 | #Constraints: 76196
1223.24/1227.31 c #Conflicts: 122000 | #Constraints: 77196
1223.24/1227.31 c #Conflicts: 123000 | #Constraints: 78196
1223.24/1227.31 c #Conflicts: 124000 | #Constraints: 79196
1223.24/1227.31 c INPROCESSING
1223.24/1227.31 c GARBAGE COLLECT
1223.24/1227.31 c #Conflicts: 125000 | #Constraints: 73200
1223.24/1227.31 c #Conflicts: 126000 | #Constraints: 74200
1223.24/1227.31 c #Conflicts: 127000 | #Constraints: 75200
1223.24/1227.31 c #Conflicts: 128000 | #Constraints: 76200
1223.24/1227.31 c #Conflicts: 129000 | #Constraints: 77200
1223.24/1227.31 c #Conflicts: 130000 | #Constraints: 78200
1223.24/1227.31 c #Conflicts: 131000 | #Constraints: 79200
1223.24/1227.31 c INPROCESSING
1223.24/1227.31 c GARBAGE COLLECT
1223.24/1227.31 c #Conflicts: 132000 | #Constraints: 73000
1223.24/1227.31 c #Conflicts: 133000 | #Constraints: 74000
1223.24/1227.31 c #Conflicts: 134000 | #Constraints: 75000
1223.24/1227.31 c #Conflicts: 135000 | #Constraints: 76000
1223.24/1227.31 c #Conflicts: 136000 | #Constraints: 77000
1223.24/1227.31 c #Conflicts: 137000 | #Constraints: 78000
2013.61/2019.84 c #Conflicts: 138000 | #Constraints: 79000
2013.61/2019.84 c #Conflicts: 139000 | #Constraints: 80000
2013.61/2019.84 c INPROCESSING
2013.61/2019.84 c GARBAGE COLLECT
2013.61/2019.84 c #Conflicts: 140000 | #Constraints: 73599
2013.61/2019.84 c #Conflicts: 141000 | #Constraints: 74599
2013.61/2019.84 c #Conflicts: 142000 | #Constraints: 75599
2013.61/2019.84 c #Conflicts: 143000 | #Constraints: 76599
2013.61/2019.84 c #Conflicts: 144000 | #Constraints: 77599
2013.61/2019.84 c #Conflicts: 145000 | #Constraints: 78599
2013.61/2019.84 c #Conflicts: 146000 | #Constraints: 79599
2013.61/2019.84 c #Conflicts: 147000 | #Constraints: 80599
2013.61/2019.84 c INPROCESSING
2013.61/2019.84 c GARBAGE COLLECT
2013.61/2019.84 c #Conflicts: 148000 | #Constraints: 74002
2013.61/2019.84 c #Conflicts: 149000 | #Constraints: 75002
2013.61/2019.84 c #Conflicts: 150000 | #Constraints: 76002
2013.61/2019.84 c #Conflicts: 151000 | #Constraints: 77002
2013.61/2019.84 c #Conflicts: 152000 | #Constraints: 78002
2013.61/2019.84 c #Conflicts: 153000 | #Constraints: 79002
2013.61/2019.84 c #Conflicts: 154000 | #Constraints: 80002
2013.61/2019.84 c #Conflicts: 155000 | #Constraints: 81002
2013.61/2019.84 c INPROCESSING
2013.61/2019.84 c GARBAGE COLLECT
2013.61/2019.84 c #Conflicts: 156000 | #Constraints: 74198
2013.61/2019.84 c #Conflicts: 157000 | #Constraints: 75198
2013.61/2019.84 c #Conflicts: 158000 | #Constraints: 76198
2013.61/2019.84 c #Conflicts: 159000 | #Constraints: 77198
2013.61/2019.84 c #Conflicts: 160000 | #Constraints: 78198
2013.61/2019.84 c #Conflicts: 161000 | #Constraints: 79198
2013.61/2019.84 c #Conflicts: 162000 | #Constraints: 80198
2013.61/2019.84 c #Conflicts: 163000 | #Constraints: 81198
2013.61/2019.84 c INPROCESSING
2013.61/2019.84 c GARBAGE COLLECT
2013.61/2019.84 c #Conflicts: 164000 | #Constraints: 74198
2013.61/2019.84 c #Conflicts: 165000 | #Constraints: 75198
2013.61/2019.84 c #Conflicts: 166000 | #Constraints: 76198
2013.61/2019.84 c #Conflicts: 167000 | #Constraints: 77198
2013.61/2019.84 c #Conflicts: 168000 | #Constraints: 78198
2013.61/2019.84 c #Conflicts: 169000 | #Constraints: 79198
2013.61/2019.84 c #Conflicts: 170000 | #Constraints: 80198
2013.61/2019.84 c #Conflicts: 171000 | #Constraints: 81198
2013.61/2019.84 c INPROCESSING
2013.61/2019.84 c GARBAGE COLLECT
2013.61/2019.84 c #Conflicts: 172000 | #Constraints: 73996
2013.61/2019.84 c #Conflicts: 173000 | #Constraints: 74996
2013.61/2019.84 c #Conflicts: 174000 | #Constraints: 75996
2013.61/2019.84 c #Conflicts: 175000 | #Constraints: 76996
2013.61/2019.84 c #Conflicts: 176000 | #Constraints: 77996
2013.61/2019.84 c #Conflicts: 177000 | #Constraints: 78996
2013.61/2019.84 c #Conflicts: 178000 | #Constraints: 79996
2013.61/2019.84 c #Conflicts: 179000 | #Constraints: 80996
2013.61/2019.84 c #Conflicts: 180000 | #Constraints: 81996
2013.61/2019.84 c INPROCESSING
2013.61/2019.84 c GARBAGE COLLECT
2013.61/2019.84 c #Conflicts: 181000 | #Constraints: 74598
2013.61/2019.84 c #Conflicts: 182000 | #Constraints: 75598
2013.61/2019.84 c #Conflicts: 183000 | #Constraints: 76598
2013.61/2019.84 c #Conflicts: 184000 | #Constraints: 77598
2013.61/2019.84 c #Conflicts: 185000 | #Constraints: 78598
2013.61/2019.84 c #Conflicts: 186000 | #Constraints: 79598
2013.61/2019.84 c #Conflicts: 187000 | #Constraints: 80598
2013.61/2019.84 c #Conflicts: 188000 | #Constraints: 81598
2013.61/2019.84 c #Conflicts: 189000 | #Constraints: 82598
2013.61/2019.84 c INPROCESSING
2013.61/2019.84 c GARBAGE COLLECT
2013.61/2019.84 c #Conflicts: 190000 | #Constraints: 74997
2013.61/2019.84 c #Conflicts: 191000 | #Constraints: 75997
2013.61/2019.84 c #Conflicts: 192000 | #Constraints: 76997
2013.61/2019.84 c #Conflicts: 193000 | #Constraints: 77997
2013.61/2019.84 c #Conflicts: 194000 | #Constraints: 78997
2013.61/2019.84 c #Conflicts: 195000 | #Constraints: 79997
2013.61/2019.84 c #Conflicts: 196000 | #Constraints: 80997
2013.61/2019.84 c #Conflicts: 197000 | #Constraints: 81997
2013.61/2019.84 c #Conflicts: 198000 | #Constraints: 82997
2013.61/2019.84 c INPROCESSING
2013.61/2019.84 c GARBAGE COLLECT
2013.61/2019.84 c #Conflicts: 199000 | #Constraints: 75198
2013.61/2019.84 c #Conflicts: 200000 | #Constraints: 76198
2013.61/2019.84 c #Conflicts: 201000 | #Constraints: 77198
2013.61/2019.84 c #Conflicts: 202000 | #Constraints: 78198
2013.61/2019.84 c #Conflicts: 203000 | #Constraints: 79198
2013.61/2019.84 c #Conflicts: 204000 | #Constraints: 80198
2013.61/2019.84 c #Conflicts: 205000 | #Constraints: 81198
2013.61/2019.84 c #Conflicts: 206000 | #Constraints: 82198
2013.61/2019.84 c #Conflicts: 207000 | #Constraints: 83198
2013.61/2019.84 c INPROCESSING
2013.61/2019.84 c GARBAGE COLLECT
2013.61/2019.84 c #Conflicts: 208000 | #Constraints: 75190
2013.61/2019.84 c #Conflicts: 209000 | #Constraints: 76190
2013.61/2019.84 c #Conflicts: 210000 | #Constraints: 77190
3198.04/3207.89 c #Conflicts: 211000 | #Constraints: 78190
3198.04/3207.89 c #Conflicts: 212000 | #Constraints: 79190
3198.04/3207.89 c #Conflicts: 213000 | #Constraints: 80190
3198.04/3207.89 c #Conflicts: 214000 | #Constraints: 81190
3198.04/3207.89 c #Conflicts: 215000 | #Constraints: 82190
3198.04/3207.89 c #Conflicts: 216000 | #Constraints: 83190
3198.04/3207.89 c INPROCESSING
3198.04/3207.89 c GARBAGE COLLECT
3198.04/3207.89 c #Conflicts: 217000 | #Constraints: 74998
3198.04/3207.89 c #Conflicts: 218000 | #Constraints: 75998
3198.04/3207.89 c #Conflicts: 219000 | #Constraints: 76998
3198.04/3207.89 c #Conflicts: 220000 | #Constraints: 77998
3198.04/3207.89 c #Conflicts: 221000 | #Constraints: 78998
3198.04/3207.89 c #Conflicts: 222000 | #Constraints: 79998
3198.04/3207.89 c #Conflicts: 223000 | #Constraints: 80998
3198.04/3207.89 c #Conflicts: 224000 | #Constraints: 81998
3198.04/3207.89 c #Conflicts: 225000 | #Constraints: 82998
3198.04/3207.89 c #Conflicts: 226000 | #Constraints: 83998
3198.04/3207.89 c INPROCESSING
3198.04/3207.89 c GARBAGE COLLECT
3198.04/3207.89 c #Conflicts: 227000 | #Constraints: 75597
3198.04/3207.89 c #Conflicts: 228000 | #Constraints: 76597
3198.04/3207.89 c #Conflicts: 229000 | #Constraints: 77597
3198.04/3207.89 c #Conflicts: 230000 | #Constraints: 78597
3198.04/3207.89 c #Conflicts: 231000 | #Constraints: 79597
3198.04/3207.89 c #Conflicts: 232000 | #Constraints: 80597
3198.04/3207.89 c #Conflicts: 233000 | #Constraints: 81597
3198.04/3207.89 c #Conflicts: 234000 | #Constraints: 82597
3198.04/3207.89 c #Conflicts: 235000 | #Constraints: 83597
3198.04/3207.89 c #Conflicts: 236000 | #Constraints: 84597
3198.04/3207.89 c INPROCESSING
3198.04/3207.89 c GARBAGE COLLECT
3198.04/3207.89 c #Conflicts: 237000 | #Constraints: 75995
3198.04/3207.89 c #Conflicts: 238000 | #Constraints: 76995
3198.04/3207.89 c #Conflicts: 239000 | #Constraints: 77995
3198.04/3207.89 c #Conflicts: 240000 | #Constraints: 78995
3198.04/3207.89 c #Conflicts: 241000 | #Constraints: 79995
3198.04/3207.89 c #Conflicts: 242000 | #Constraints: 80995
3198.04/3207.89 c #Conflicts: 243000 | #Constraints: 81995
3198.04/3207.89 c #Conflicts: 244000 | #Constraints: 82995
3198.04/3207.89 c #Conflicts: 245000 | #Constraints: 83995
3198.04/3207.89 c #Conflicts: 246000 | #Constraints: 84995
3198.04/3207.89 c INPROCESSING
3198.04/3207.89 c GARBAGE COLLECT
3198.04/3207.89 c #Conflicts: 247000 | #Constraints: 76193
3198.04/3207.89 c #Conflicts: 248000 | #Constraints: 77193
3198.04/3207.89 c #Conflicts: 249000 | #Constraints: 78193
3198.04/3207.89 c #Conflicts: 250000 | #Constraints: 79193
3198.04/3207.89 c #Conflicts: 251000 | #Constraints: 80193
3198.04/3207.89 c #Conflicts: 252000 | #Constraints: 81193
3198.04/3207.89 c #Conflicts: 253000 | #Constraints: 82193
3198.04/3207.89 c #Conflicts: 254000 | #Constraints: 83193
3198.04/3207.89 c #Conflicts: 255000 | #Constraints: 84193
3198.04/3207.89 c #Conflicts: 256000 | #Constraints: 85193
3198.04/3207.89 c INPROCESSING
3198.04/3207.89 c GARBAGE COLLECT
3198.04/3207.89 c #Conflicts: 257000 | #Constraints: 76200
3198.04/3207.89 c #Conflicts: 258000 | #Constraints: 77200
3198.04/3207.89 c #Conflicts: 259000 | #Constraints: 78200
3198.04/3207.89 c #Conflicts: 260000 | #Constraints: 79200
3198.04/3207.89 c #Conflicts: 261000 | #Constraints: 80200
3198.04/3207.89 c #Conflicts: 262000 | #Constraints: 81200
3198.04/3207.89 c #Conflicts: 263000 | #Constraints: 82200
3198.04/3207.89 c #Conflicts: 264000 | #Constraints: 83200
3198.04/3207.89 c #Conflicts: 265000 | #Constraints: 84200
3198.04/3207.89 c #Conflicts: 266000 | #Constraints: 85200
3198.04/3207.89 c INPROCESSING
3198.04/3207.89 c GARBAGE COLLECT
3198.04/3207.89 c #Conflicts: 267000 | #Constraints: 76001
3198.04/3207.89 c #Conflicts: 268000 | #Constraints: 77001
3198.04/3207.89 c #Conflicts: 269000 | #Constraints: 78001
3198.04/3207.89 c #Conflicts: 270000 | #Constraints: 79001
3198.04/3207.89 c #Conflicts: 271000 | #Constraints: 80001
3198.04/3207.89 c #Conflicts: 272000 | #Constraints: 81001
3198.04/3207.89 c #Conflicts: 273000 | #Constraints: 82001
3198.04/3207.89 c #Conflicts: 274000 | #Constraints: 83001
3198.04/3207.89 c #Conflicts: 275000 | #Constraints: 84001
3198.04/3207.89 c #Conflicts: 276000 | #Constraints: 85001
3198.04/3207.89 c #Conflicts: 277000 | #Constraints: 86001
3198.04/3207.89 c INPROCESSING
3198.04/3207.89 c GARBAGE COLLECT
3198.04/3207.89 c #Conflicts: 278000 | #Constraints: 76604
3198.04/3207.89 c #Conflicts: 279000 | #Constraints: 77604
3198.04/3207.89 c #Conflicts: 280000 | #Constraints: 78604
3198.04/3207.89 c #Conflicts: 281000 | #Constraints: 79604
3198.04/3207.89 c #Conflicts: 282000 | #Constraints: 80604
3198.04/3207.89 c #Conflicts: 283000 | #Constraints: 81604
3198.04/3207.89 c #Conflicts: 284000 | #Constraints: 82604
3600.04/3611.01 c #Conflicts: 285000 | #Constraints: 83604
3600.04/3611.01 c #Conflicts: 286000 | #Constraints: 84604
3600.04/3611.01 c #Conflicts: 287000 | #Constraints: 85604
3600.04/3611.01 c #Conflicts: 288000 | #Constraints: 86604
3600.04/3611.01 c INPROCESSING
3600.04/3611.01 c GARBAGE COLLECT
3600.04/3611.01 c #Conflicts: 289000 | #Constraints: 77003
3600.04/3611.01 c #Conflicts: 290000 | #Constraints: 78003
3600.04/3611.01 c #Conflicts: 291000 | #Constraints: 79003
3600.04/3611.01 c #Conflicts: 292000 | #Constraints: 80003
3600.04/3611.01 c #Conflicts: 293000 | #Constraints: 81003
3600.04/3611.01 c #Conflicts: 294000 | #Constraints: 82003
3600.04/3611.01 c #Conflicts: 295000 | #Constraints: 83003
3600.04/3611.01 c #Conflicts: 296000 | #Constraints: 84003
3600.04/3611.01 c #Conflicts: 297000 | #Constraints: 85003
3600.04/3611.01 c #Conflicts: 298000 | #Constraints: 86003
3600.04/3611.01 c #Conflicts: 299000 | #Constraints: 87003
3600.04/3611.01 c INPROCESSING
3600.04/3611.01 c GARBAGE COLLECT
3600.04/3611.01 c #Conflicts: 300000 | #Constraints: 77205
3600.04/3611.01 c #Conflicts: 301000 | #Constraints: 78205
3600.04/3611.01 c #Conflicts: 302000 | #Constraints: 79205
3600.04/3611.01 c #Conflicts: 303000 | #Constraints: 80205
3600.04/3611.01 c #Conflicts: 304000 | #Constraints: 81205
3600.04/3611.01 c #Conflicts: 305000 | #Constraints: 82205
3600.04/3611.01 c #Conflicts: 306000 | #Constraints: 83205
3600.04/3611.01 c Program interrupted by user.
3600.04/3611.01 c cpu time 3478.19 s
3600.04/3611.01 c deterministic time 150552709613 1.51e+11
3600.04/3611.01 c optimization time 139.502 s
3600.04/3611.01 c total solve time 3036.69 s
3600.04/3611.01 c core-guided solve time 3036.69 s
3600.04/3611.01 c propagation time 2714.48 s
3600.04/3611.01 c conflict analysis time 286.23 s
3600.04/3611.01 c propagations 158107874
3600.04/3611.01 c resolve steps 1375173
3600.04/3611.01 c decisions 163882312
3600.04/3611.01 c conflicts 306132
3600.04/3611.01 c restarts 752
3600.04/3611.01 c inprocessing phases 46
3600.04/3611.01 c input clauses 65299
3600.04/3611.01 c input cardinalities 67
3600.04/3611.01 c input general constraints 39
3600.04/3611.01 c input average constraint length 39.85
3600.04/3611.01 c input average constraint degree 1.18
3600.04/3611.01 c learned clauses 2469
3600.04/3611.01 c learned cardinalities 1856
3600.04/3611.01 c learned general constraints 301808
3600.04/3611.01 c learned average constraint length 3997.20
3600.04/3611.01 c learned average constraint degree 16711.28
3600.04/3611.01 c watched constraints 21604
3600.04/3611.01 c counting constraints 280243
3600.04/3611.01 c gcd simplifications 100
3600.04/3611.01 c detected cardinalities 15
3600.04/3611.01 c weakened non-implied lits 14243169
3600.04/3611.01 c weakened non-implying lits 399
3600.04/3611.01 c original variables 5048
3600.04/3611.01 c clausal propagations 3187509
3600.04/3611.01 c cardinality propagations 787451
3600.04/3611.01 c watched propagations 1827306
3600.04/3611.01 c counting propagations 150532293
3600.04/3611.01 c watch lookups 47435724440
3600.04/3611.01 c watch backjump lookups 46948160341
3600.04/3611.01 c watch checks 32439357553
3600.04/3611.01 c propagation checks 20491653764
3600.04/3611.01 c constraint additions 2593530982
3600.04/3611.01 c trail pops 322292346
3600.04/3611.01 c formula constraints 65280
3600.04/3611.01 c learned constraints 306133
3600.04/3611.01 c bound constraints 29
3600.04/3611.01 c core-guided constraints 96
3600.04/3611.01 c encountered formula constraints 598613
3600.04/3611.01 c encountered learned constraints 966646
3600.04/3611.01 c encountered bound constraints 33
3600.04/3611.01 c encountered core-guided constraints 116013
3600.04/3611.01 c LP total time 0 s
3600.04/3611.01 c LP solve time 0 s
3600.04/3611.01 c LP constraints added 0
3600.04/3611.01 c LP constraints removed 0
3600.04/3611.01 c LP pivots internal 0
3600.04/3611.01 c LP pivots root 0
3600.04/3611.01 c LP calls 0
3600.04/3611.01 c LP optimalities 0
3600.04/3611.01 c LP no pivot count 0
3600.04/3611.01 c LP infeasibilities 0
3600.04/3611.01 c LP valid Farkas constraints 0
3600.04/3611.01 c LP learned Farkas constraints 0
3600.04/3611.01 c LP basis resets 0
3600.04/3611.01 c LP cycling count 0
3600.04/3611.01 c LP singular count 0
3600.04/3611.01 c LP no primal count 0
3600.04/3611.01 c LP no farkas count 0
3600.04/3611.01 c LP other issue count 0
3600.04/3611.01 c LP Gomory cuts 0
3600.04/3611.01 c LP learned cuts 0
3600.04/3611.01 c LP deleted cuts 0
3600.04/3611.01 c LP encountered Gomory constraints 0
3600.04/3611.01 c LP encountered Farkas constraints 0
3600.04/3611.01 c LP encountered learned Farkas constraints 0
3600.04/3611.01 c CG auxiliary variables introduced 39
3600.04/3611.01 c CG solutions found 1
3600.04/3611.01 c CG cores constructed 27
3600.04/3611.01 c CG core cardinality constraints returned 0
3600.04/3611.01 c CG unit cores 0
3600.04/3611.01 c CG single cores 27
3600.04/3611.01 c CG blocks removed during cardinality reduction 0
3600.04/3611.01 c CG first core best 0
3600.04/3611.01 c CG decision core best 0
3600.04/3611.01 c CG core reduction tie 0
3600.04/3611.01 c CG core degree average 1.00
3600.04/3611.01 c CG core slack average 49.33
3600.04/3611.01 c CG exhausted 0
3600.04/3611.01 c CG exhaust time 34.9307 s
3600.04/3611.01 c CG trimmed 0
3600.04/3611.01 c CG trim time 0.004724 s
3600.04/3611.01 c CG minimized 0
3600.04/3611.01 c CG minimize time 0 s
3600.04/3611.01 c CG am1 prop time 0.019601 s
3600.04/3611.01 c CG # am1s reformulated 0
3600.04/3611.01 c CG lower bound derived from am1s 0
3600.04/3611.01 c CG # clausal cores 27
3600.04/3611.01 c CG # cardinality cores 0
3600.04/3611.01 c CG # pb cores 0
3600.04/3611.01 c CG # pb reforms 0
3600.04/3611.01 c CG # cores discarded because of pb reform 0
3600.04/3611.01 d LOWERBOUND 27
3600.04/3611.01 d NCORES 27
3600.04/3611.01 d NPBCORES 0
3600.04/3611.01 d NPBREFORM 0
3600.04/3611.01 d NTRIMMED 0
3600.04/3611.01 d NEXHAUSTED 0
3600.04/3611.01 d NAM1S 0
3600.04/3611.01 d AM1LB 0
3600.04/3611.01 c [Papilo Statistics]
3600.04/3611.01 c prepro time 0.375268s
3600.04/3611.01 c # tsx applied 0
3600.04/3611.01 c # tsx conflicts 0
3600.04/3611.01 c # bound changes 0
3600.04/3611.01 c # side changes 0
3600.04/3611.01 c # coef changes 0
3600.04/3611.01 c # rounds 1
3600.04/3611.01 c # deted vars 0
3600.04/3611.01 c # deted constrs 0
3600.04/3611.01 c # consecutive rounds of only bound changes 0
3600.04/3611.01 c [STEP] postprocessing with Papilo
3600.04/3611.03 o 39
3600.04/3611.03 s SATISFIABLE
3600.04/3611.03 v x1 x2 x3 -x4 x5 x6 -x7 -x8 -x9 -x10 x11 x12 -x13 -x14 -x15 -x16 x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 x3473 x3474 -x3475 -x3476 -x3477 x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 x4261 x4262 -x4263 -x4264 x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (62839 MiB free)
memory of node 1: 64507 MiB (61592 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529121-1752260181/watcher-4529121-1752260181 -o /tmp/evaluation-result-4529121-1752260181/solver-4529121-1752260181 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1752256569-112135 --watchdog 3760 mixed-bag HOME/instance-4529121-1752260181.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=112553, runsolver pid=112550
[startup+0.100068 s]*
/proc/loadavg: 4.17 4.14 4.10 5/247 112554
/proc/meminfo: memFree=127380356/131382120 swapFree=33010416/33010684
[pid=112553] ppid=112550 vsize=85608 memory=12564 CPUtime=0.08 cores=4,6
/proc/112553/stat : 112553 (mixed-bag) R 112550 112553 112124 0 -1 4194304 1936 0 0 0 7 1 0 0 20 0 1 0 141697523 87662592 3141 18446744073709551615 4235264 15840557 140733321926912 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18047680 18058864 52518912 140733321931162 140733321931239 140733321931239 140733321936843 0
/proc/112553/statm: 21402 3141 2112 2834 0 4154 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 85608 KiB
Current children cumulated memory: 12564 KiB
[startup+0.211288 s]*
/proc/loadavg: 4.17 4.14 4.10 5/247 112554
/proc/meminfo: memFree=127354652/131382120 swapFree=33010416/33010684
[pid=112553] ppid=112550 vsize=91752 memory=16584 CPUtime=0.18 cores=4,6
/proc/112553/stat : 112553 (mixed-bag) R 112550 112553 112124 0 -1 4194304 2935 0 0 0 16 2 0 0 20 0 1 0 141697523 93954048 4146 18446744073709551615 4235264 15840557 140733321926912 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18047680 18058864 52518912 140733321931162 140733321931239 140733321931239 140733321936843 0
/proc/112553/statm: 22938 4146 2112 2834 0 5690 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 91752 KiB
Current children cumulated memory: 16584 KiB
[startup+0.311168 s]*
/proc/loadavg: 4.17 4.14 4.10 4/248 112555
/proc/meminfo: memFree=127338524/131382120 swapFree=33010416/33010684
[pid=112553] ppid=112550 vsize=91752 memory=18704 CPUtime=0.27 cores=4,6
/proc/112553/stat : 112553 (mixed-bag) R 112550 112553 112124 0 -1 4194304 2960 0 0 0 25 2 0 0 20 0 1 0 141697523 93954048 4676 18446744073709551615 4235264 15840557 140733321926912 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18047680 18058864 52518912 140733321931162 140733321931239 140733321931239 140733321936843 0
/proc/112553/statm: 22938 4676 2112 2834 0 5690 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 91752 KiB
Current children cumulated memory: 18704 KiB
[startup+0.700226 s]
/proc/loadavg: 4.17 4.14 4.10 4/252 112564
/proc/meminfo: memFree=127297804/131382120 swapFree=33010416/33010684
[pid=112553] ppid=112550 vsize=99944 memory=27468 CPUtime=0.63 cores=4,6
/proc/112553/stat : 112553 (mixed-bag) R 112550 112553 112124 0 -1 4194304 3626 0 0 0 60 3 0 0 20 0 1 0 141697523 102342656 6867 18446744073709551615 4235264 15840557 140733321926912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52518912 140733321931162 140733321931239 140733321931239 140733321936843 0
/proc/112553/statm: 24986 6867 2112 2834 0 7738 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 99944 KiB
Current children cumulated memory: 27468 KiB
[startup+1.50031 s]
/proc/loadavg: 4.17 4.14 4.10 5/252 112564
/proc/meminfo: memFree=127243692/131382120 swapFree=33010416/33010684
[pid=112553] ppid=112550 vsize=149096 memory=46400 CPUtime=1.42 cores=4,6
/proc/112553/stat : 112553 (mixed-bag) R 112550 112553 112124 0 -1 4194304 4812 0 0 0 138 4 0 0 20 0 1 0 141697523 152674304 11600 18446744073709551615 4235264 15840557 140733321926912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52518912 140733321931162 140733321931239 140733321931239 140733321936843 0
/proc/112553/statm: 37274 11600 2112 2834 0 20026 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 149096 KiB
Current children cumulated memory: 46400 KiB
[startup+3.11291 s]
/proc/loadavg: 4.17 4.14 4.10 5/252 112564
/proc/meminfo: memFree=126831368/131382120 swapFree=33010416/33010684
[pid=112553] ppid=112550 vsize=425620 memory=294000 CPUtime=3.03 cores=4,6
/proc/112553/stat : 112553 (mixed-bag) R 112550 112553 112124 0 -1 4194304 15119 0 0 0 285 18 0 0 20 0 1 0 141697523 435834880 73500 18446744073709551615 4235264 15840557 140733321926912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52518912 140733321931162 140733321931239 140733321931239 140733321936843 0
/proc/112553/statm: 106405 73500 2240 2834 0 88610 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 425620 KiB
Current children cumulated memory: 294000 KiB
[startup+6.3003 s]
/proc/loadavg: 4.16 4.14 4.09 5/252 112564
/proc/meminfo: memFree=125426704/131382120 swapFree=33010416/33010684
[pid=112553] ppid=112550 vsize=1032092 memory=891556 CPUtime=6.21 cores=4,6
/proc/112553/stat : 112553 (mixed-bag) R 112550 112553 112124 0 -1 4194304 175657 0 0 0 566 55 0 0 20 0 1 0 141697523 1056862208 222889 18446744073709551615 4235264 15840557 140733321926912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52518912 140733321931162 140733321931239 140733321931239 140733321936843 0
/proc/112553/statm: 258023 222889 3936 2834 0 240228 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 1032092 KiB
Current children cumulated memory: 891556 KiB
[startup+12.7003 s]
/proc/loadavg: 4.15 4.13 4.09 5/252 112564
/proc/meminfo: memFree=122805540/131382120 swapFree=33010416/33010684
[pid=112553] ppid=112550 vsize=2497488 memory=2196208 CPUtime=12.59 cores=4,6
/proc/112553/stat : 112553 (mixed-bag) R 112550 112553 112124 0 -1 4194304 205382 0 0 0 1172 87 0 0 20 0 1 0 141697523 2557427712 549052 18446744073709551615 4235264 15840557 140733321926912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52518912 140733321931162 140733321931239 140733321931239 140733321936843 0
/proc/112553/statm: 624372 549052 4064 2834 0 606577 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 2497488 KiB
Current children cumulated memory: 2196208 KiB
[startup+25.5003 s]
/proc/loadavg: 4.11 4.13 4.09 5/252 112564
/proc/meminfo: memFree=120705424/131382120 swapFree=33010416/33010684
[pid=112553] ppid=112550 vsize=2476612 memory=2215600 CPUtime=25.36 cores=4,6
/proc/112553/stat : 112553 (mixed-bag) R 112550 112553 112124 0 -1 4194304 241224 0 0 0 2437 99 0 0 20 0 1 0 141697523 2536050688 553900 18446744073709551615 4235264 15840557 140733321926912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52518912 140733321931162 140733321931239 140733321931239 140733321936843 0
/proc/112553/statm: 619153 553900 4192 2834 0 601358 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 2476612 KiB
Current children cumulated memory: 2215600 KiB
[startup+51.113 s]
/proc/loadavg: 4.15 4.13 4.09 5/253 112566
/proc/meminfo: memFree=120184652/131382120 swapFree=33010416/33010684
[pid=112553] ppid=112550 vsize=2476612 memory=2215600 CPUtime=50.89 cores=4,6
/proc/112553/stat : 112553 (mixed-bag) R 112550 112553 112124 0 -1 4194304 241224 0 0 0 4990 99 0 0 20 0 1 0 141697523 2536050688 553900 18446744073709551615 4235264 15840557 140733321926912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52518912 140733321931162 140733321931239 140733321931239 140733321936843 0
/proc/112553/statm: 619153 553900 4192 2834 0 601358 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 2476612 KiB
Current children cumulated memory: 2215600 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/253 112571
/proc/meminfo: memFree=120222248/131382120 swapFree=33010416/33010684
[pid=112553] ppid=112550 vsize=2476612 memory=2215600 CPUtime=101.92 cores=4,6
/proc/112553/stat : 112553 (mixed-bag) R 112550 112553 112124 0 -1 4194304 241265 0 0 0 10093 99 0 0 20 0 1 0 141697523 2536050688 553900 18446744073709551615 4235264 15840557 140733321926912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52518912 140733321931162 140733321931239 140733321931239 140733321936843 0
/proc/112553/statm: 619153 553900 4192 2834 0 601358 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 2476612 KiB
Current children cumulated memory: 2215600 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/252 112573
/proc/meminfo: memFree=120194620/131382120 swapFree=33010416/33010684
[pid=112553] ppid=112550 vsize=2493360 memory=2232604 CPUtime=161.74 cores=4,6
/proc/112553/stat : 112553 (mixed-bag) R 112550 112553 112124 0 -1 4194304 241919 0 0 0 16073 101 0 0 20 0 1 0 141697523 2553200640 558151 18446744073709551615 4235264 15840557 140733321926912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52518912 140733321931162 140733321931239 140733321931239 140733321936843 0
/proc/112553/statm: 623340 558151 4224 2834 0 605545 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 2493360 KiB
Current children cumulated memory: 2232604 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/252 112619
/proc/meminfo: memFree=119434768/131382120 swapFree=33010416/33010684
[pid=112553] ppid=112550 vsize=2493360 memory=2232604 CPUtime=221.53 cores=4,6
/proc/112553/stat : 112553 (mixed-bag) R 112550 112553 112124 0 -1 4194304 241920 0 0 0 22052 101 0 0 20 0 1 0 141697523 2553200640 558151 18446744073709551615 4235264 15840557 140733321926912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52518912 140733321931162 140733321931239 140733321931239 140733321936843 0
/proc/112553/statm: 623340 558151 4224 2834 0 605545 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 2493360 KiB
Current children cumulated memory: 2232604 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/252 112632
/proc/meminfo: memFree=119427528/131382120 swapFree=33010416/33010684
[pid=112553] ppid=112550 vsize=2497288 memory=2235292 CPUtime=281.32 cores=4,6
/proc/112553/stat : 112553 (mixed-bag) R 112550 112553 112124 0 -1 4194304 242689 0 0 0 28030 102 0 0 20 0 1 0 141697523 2557222912 558823 18446744073709551615 4235264 15840557 140733321926912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52518912 140733321931162 140733321931239 140733321931239 140733321936843 0
/proc/112553/statm: 624322 558823 4224 2834 0 606527 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 2497288 KiB
Current children cumulated memory: 2235292 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/251 112634
/proc/meminfo: memFree=123161412/131382120 swapFree=33010416/33010684
[pid=112553] ppid=112550 vsize=1542444 memory=1439840 CPUtime=341.1 cores=4,6
/proc/112553/stat : 112553 (mixed-bag) R 112550 112553 112124 0 -1 4194304 247064 0 0 0 33633 477 0 0 20 0 1 0 141697523 1579462656 359960 18446744073709551615 4235264 15840557 140733321926912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52518912 140733321931162 140733321931239 140733321931239 140733321936843 0
/proc/112553/statm: 385611 359960 4448 2834 0 367816 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 1542444 KiB
Current children cumulated memory: 1439840 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/250 112636
/proc/meminfo: memFree=122959400/131382120 swapFree=33010416/33010684
[pid=112553] ppid=112550 vsize=1674704 memory=1464612 CPUtime=400.9 cores=4,6
/proc/112553/stat : 112553 (mixed-bag) R 112550 112553 112124 0 -1 4194304 247564 0 0 0 39124 966 0 0 20 0 1 0 141697523 1714896896 366153 18446744073709551615 4235264 15840557 140733321926912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52518912 140733321931162 140733321931239 140733321931239 140733321936843 0
/proc/112553/statm: 418676 366153 4448 2834 0 400881 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 1674704 KiB
Current children cumulated memory: 1464612 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/251 112685
/proc/meminfo: memFree=112760400/131382120 swapFree=33010416/33010684
[pid=112553] ppid=112550 vsize=1674704 memory=1499428 CPUtime=460.69 cores=4,6
/proc/112553/stat : 112553 (mixed-bag) R 112550 112553 112124 0 -1 4194304 247694 0 0 0 44728 1341 0 0 20 0 1 0 141697523 1714896896 374857 18446744073709551615 4235264 15840557 140733321926912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52518912 140733321931162 140733321931239 140733321931239 140733321936843 0
/proc/112553/statm: 418676 374857 4448 2834 0 400881 0
Current children cumulated CPU time: 460.69 s
################
# More data... #
################
Current children cumulated memory: 1934312 KiB
[startup+2862.3 s]
/proc/loadavg: 4.11 4.17 4.14 5/250 112802
/proc/meminfo: memFree=97802732/131382120 swapFree=33010416/33010684
[pid=112553] ppid=112550 vsize=2280032 memory=1934312 CPUtime=2853.58 cores=4,6
/proc/112553/stat : 112553 (mixed-bag) R 112550 112553 112124 0 -1 4194304 259756 0 0 0 275021 10337 0 0 20 0 1 0 141697523 2334752768 483578 18446744073709551615 4235264 15840557 140733321926912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52518912 140733321931162 140733321931239 140733321931239 140733321936843 0
/proc/112553/statm: 570008 483578 4448 2834 0 552213 0
Current children cumulated CPU time: 2853.58 s
Current children cumulated vsize: 2280032 KiB
Current children cumulated memory: 1934312 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.16 4.14 5/250 112804
/proc/meminfo: memFree=97652812/131382120 swapFree=33010416/33010684
[pid=112553] ppid=112550 vsize=2289276 memory=1945436 CPUtime=2913.4 cores=4,6
/proc/112553/stat : 112553 (mixed-bag) R 112550 112553 112124 0 -1 4194304 261070 0 0 0 280883 10457 0 0 20 0 1 0 141697523 2344218624 486359 18446744073709551615 4235264 15840557 140733321926912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52518912 140733321931162 140733321931239 140733321931239 140733321936843 0
/proc/112553/statm: 572319 486359 4448 2834 0 554524 0
Current children cumulated CPU time: 2913.4 s
Current children cumulated vsize: 2289276 KiB
Current children cumulated memory: 1945436 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.15 4.13 5/251 112807
/proc/meminfo: memFree=97541652/131382120 swapFree=33010416/33010684
[pid=112553] ppid=112550 vsize=2293600 memory=1952468 CPUtime=2973.22 cores=4,6
/proc/112553/stat : 112553 (mixed-bag) R 112550 112553 112124 0 -1 4194304 261800 0 0 0 286665 10657 0 0 20 0 1 0 141697523 2348646400 488117 18446744073709551615 4235264 15840557 140733321926912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52518912 140733321931162 140733321931239 140733321931239 140733321936843 0
/proc/112553/statm: 573400 488117 4448 2834 0 555605 0
Current children cumulated CPU time: 2973.22 s
Current children cumulated vsize: 2293600 KiB
Current children cumulated memory: 1952468 KiB
[startup+3042.3 s]
/proc/loadavg: 4.62 4.28 4.18 5/252 112812
/proc/meminfo: memFree=97187448/131382120 swapFree=33010416/33010684
[pid=112553] ppid=112550 vsize=2293600 memory=1952468 CPUtime=3033.03 cores=4,6
/proc/112553/stat : 112553 (mixed-bag) R 112550 112553 112124 0 -1 4194304 261800 0 0 0 292504 10799 0 0 20 0 1 0 141697523 2348646400 488117 18446744073709551615 4235264 15840557 140733321926912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52518912 140733321931162 140733321931239 140733321931239 140733321936843 0
/proc/112553/statm: 573400 488117 4448 2834 0 555605 0
Current children cumulated CPU time: 3033.03 s
Current children cumulated vsize: 2293600 KiB
Current children cumulated memory: 1952468 KiB
[startup+3102.3 s]
/proc/loadavg: 4.49 4.31 4.20 5/251 112818
/proc/meminfo: memFree=97086432/131382120 swapFree=33010416/33010684
[pid=112553] ppid=112550 vsize=2302844 memory=1968044 CPUtime=3092.85 cores=4,6
/proc/112553/stat : 112553 (mixed-bag) R 112550 112553 112124 0 -1 4194304 263121 0 0 0 298374 10911 0 0 20 0 1 0 141697523 2358112256 492011 18446744073709551615 4235264 15840557 140733321926912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52518912 140733321931162 140733321931239 140733321931239 140733321936843 0
/proc/112553/statm: 575711 492011 4448 2834 0 557916 0
Current children cumulated CPU time: 3092.85 s
Current children cumulated vsize: 2302844 KiB
Current children cumulated memory: 1968044 KiB
[startup+3162.3 s]
/proc/loadavg: 4.23 4.27 4.19 5/252 112821
/proc/meminfo: memFree=96891692/131382120 swapFree=33010416/33010684
[pid=112553] ppid=112550 vsize=2308704 memory=1977928 CPUtime=3152.68 cores=4,6
/proc/112553/stat : 112553 (mixed-bag) R 112550 112553 112124 0 -1 4194304 264664 0 0 0 304166 11102 0 0 20 0 1 0 141697523 2364112896 494482 18446744073709551615 4235264 15840557 140733321926912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52518912 140733321931162 140733321931239 140733321931239 140733321936843 0
/proc/112553/statm: 577176 494482 4448 2834 0 559381 0
Current children cumulated CPU time: 3152.68 s
Current children cumulated vsize: 2308704 KiB
Current children cumulated memory: 1977928 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.23 4.18 5/252 112823
/proc/meminfo: memFree=96814568/131382120 swapFree=33010416/33010684
[pid=112553] ppid=112550 vsize=2308704 memory=1977928 CPUtime=3212.5 cores=4,6
/proc/112553/stat : 112553 (mixed-bag) R 112550 112553 112124 0 -1 4194304 264670 0 0 0 309996 11254 0 0 20 0 1 0 141697523 2364112896 494482 18446744073709551615 4235264 15840557 140733321926912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52518912 140733321931162 140733321931239 140733321931239 140733321936843 0
/proc/112553/statm: 577176 494482 4448 2834 0 559381 0
Current children cumulated CPU time: 3212.5 s
Current children cumulated vsize: 2308704 KiB
Current children cumulated memory: 1977928 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.22 4.18 5/251 112825
/proc/meminfo: memFree=96713576/131382120 swapFree=33010416/33010684
[pid=112553] ppid=112550 vsize=2308704 memory=1977928 CPUtime=3272.31 cores=4,6
/proc/112553/stat : 112553 (mixed-bag) R 112550 112553 112124 0 -1 4194304 264710 0 0 0 315856 11375 0 0 20 0 1 0 141697523 2364112896 494482 18446744073709551615 4235264 15840557 140733321926912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52518912 140733321931162 140733321931239 140733321931239 140733321936843 0
/proc/112553/statm: 577176 494482 4448 2834 0 559381 0
Current children cumulated CPU time: 3272.31 s
Current children cumulated vsize: 2308704 KiB
Current children cumulated memory: 1977928 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.21 4.18 5/250 112827
/proc/meminfo: memFree=96440516/131382120 swapFree=33010416/33010684
[pid=112553] ppid=112550 vsize=2315032 memory=1992380 CPUtime=3332.13 cores=4,6
/proc/112553/stat : 112553 (mixed-bag) R 112550 112553 112124 0 -1 4194304 265747 0 0 0 321672 11541 0 0 20 0 1 0 141697523 2370592768 498095 18446744073709551615 4235264 15840557 140733321926912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52518912 140733321931162 140733321931239 140733321931239 140733321936843 0
/proc/112553/statm: 578758 498095 4448 2834 0 560963 0
Current children cumulated CPU time: 3332.13 s
Current children cumulated vsize: 2315032 KiB
Current children cumulated memory: 1992380 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.20 4.18 5/250 112829
/proc/meminfo: memFree=96341660/131382120 swapFree=33010416/33010684
[pid=112553] ppid=112550 vsize=2315032 memory=1992380 CPUtime=3391.94 cores=4,6
/proc/112553/stat : 112553 (mixed-bag) R 112550 112553 112124 0 -1 4194304 265747 0 0 0 327504 11690 0 0 20 0 1 0 141697523 2370592768 498095 18446744073709551615 4235264 15840557 140733321926912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52518912 140733321931162 140733321931239 140733321931239 140733321936843 0
/proc/112553/statm: 578758 498095 4448 2834 0 560963 0
Current children cumulated CPU time: 3391.94 s
Current children cumulated vsize: 2315032 KiB
Current children cumulated memory: 1992380 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.17 4.17 5/249 112831
/proc/meminfo: memFree=96142200/131382120 swapFree=33010416/33010684
[pid=112553] ppid=112550 vsize=2315032 memory=1992380 CPUtime=3451.77 cores=4,6
/proc/112553/stat : 112553 (mixed-bag) R 112550 112553 112124 0 -1 4194304 265789 0 0 0 333363 11814 0 0 20 0 1 0 141697523 2370592768 498095 18446744073709551615 4235264 15840557 140733321926912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52518912 140733321931162 140733321931239 140733321931239 140733321936843 0
/proc/112553/statm: 578758 498095 4448 2834 0 560963 0
Current children cumulated CPU time: 3451.77 s
Current children cumulated vsize: 2315032 KiB
Current children cumulated memory: 1992380 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.16 4.16 5/249 112833
/proc/meminfo: memFree=95878616/131382120 swapFree=33010416/33010684
[pid=112553] ppid=112550 vsize=2326112 memory=2015808 CPUtime=3511.6 cores=4,6
/proc/112553/stat : 112553 (mixed-bag) R 112550 112553 112124 0 -1 4194304 267584 0 0 0 339203 11957 0 0 20 0 1 0 141697523 2381938688 503952 18446744073709551615 4235264 15840557 140733321926912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52518912 140733321931162 140733321931239 140733321931239 140733321936843 0
/proc/112553/statm: 581528 503952 4448 2834 0 563733 0
Current children cumulated CPU time: 3511.6 s
Current children cumulated vsize: 2326112 KiB
Current children cumulated memory: 2015808 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.17 4.17 5/249 112835
/proc/meminfo: memFree=95564588/131382120 swapFree=33010416/33010684
[pid=112553] ppid=112550 vsize=2326112 memory=2015808 CPUtime=3571.42 cores=4,6
/proc/112553/stat : 112553 (mixed-bag) R 112550 112553 112124 0 -1 4194304 267584 0 0 0 345019 12123 0 0 20 0 1 0 141697523 2381938688 503952 18446744073709551615 4235264 15840557 140733321926912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52518912 140733321931162 140733321931239 140733321931239 140733321936843 0
/proc/112553/statm: 581528 503952 4448 2834 0 563733 0
Current children cumulated CPU time: 3571.42 s
Current children cumulated vsize: 2326112 KiB
Current children cumulated memory: 2015808 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611 s]*
/proc/loadavg: 4.19 4.17 4.17 5/249 112835
/proc/meminfo: memFree=95419032/131382120 swapFree=33010416/33010684
[pid=112553] ppid=112550 vsize=2326112 memory=2015808 CPUtime=3600.04 cores=4,6
/proc/112553/stat : 112553 (mixed-bag) R 112550 112553 112124 0 -1 4194304 267584 0 0 0 347818 12186 0 0 20 0 1 0 141697523 2381938688 503952 18446744073709551615 4235264 15840557 140733321926912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52518912 140733321931162 140733321931239 140733321931239 140733321936843 0
/proc/112553/statm: 581528 503952 4448 2834 0 563733 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2326112 KiB
Current children cumulated memory: 2015808 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.06 s]
# the end of solver process 112553 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3478.21 s, system=121.891 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.06
CPU time (s): 3600.1
CPU user time (s): 3478.21
CPU system time (s): 121.891
CPU usage (%): 99.6965
Max. virtual memory (cumulated for all children) (KiB): 2518716
Max. memory (cumulated for all children) (KiB): 2257272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3478.21
system time used= 121.891
maximum resident set size= 2277908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269910
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= 360
involuntary context switches= 18724
# summary of solver processes directly reported to runsolver:
# pid: 112553
# total CPU time (s): 3600.1
# total CPU user time (s): 3478.21
# total CPU system time (s): 121.891
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1135 second user time and 33.8262 second system time
The end
Begin job on nodeC006 at 2025-07-11 20:56:21
IDJOB=4529121
IDBENCH=155403
IDSOLVER=3386
FILE ID=nodeC006/4529121-1752260181
RUNJOBID= nodeC006-1752256569-112135
SLURM_JOB_ID= 9682601
Free space on /tmp= 431940 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_3_shg.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529121-1752260181/watcher-4529121-1752260181 -o /tmp/evaluation-result-4529121-1752260181/solver-4529121-1752260181 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1752256569-112135 --watchdog 3760 mixed-bag HOME/instance-4529121-1752260181.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9f3f50f555350d326304759fc873d478
RANDOM SEED=1668723671
nodeC006 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.307
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.141
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1296.898
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.330
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1496.436
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.145
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 127436716 kB
MemAvailable: 129846580 kB
Buffers: 2128 kB
Cached: 3172068 kB
SwapCached: 12 kB
Active: 610528 kB
Inactive: 2652576 kB
Active(anon): 95924 kB
Inactive(anon): 10992 kB
Active(file): 514604 kB
Inactive(file): 2641584 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 102316 kB
Writeback: 0 kB
AnonPages: 90904 kB
Mapped: 112608 kB
Shmem: 17948 kB
KReclaimable: 186224 kB
Slab: 275440 kB
SReclaimable: 186224 kB
SUnreclaim: 89216 kB
KernelStack: 3968 kB
PageTables: 2996 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 420952 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149368 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 24576 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 431676 MiB
End job on nodeC006 at 2025-07-11 21:56:33