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
1.87/1.93 c [STEP] preprocessing with Papilo
2.17/2.29 c Papilo could not simplify the problem
2.17/2.29 c [STEP] solving with SCIP
301.67/302.76 c [STEP] preprocessing done, loading into solver
302.09/303.16 c [STEP] solving
302.09/303.16 c #variables 5049 #constraints 65280
302.09/303.16 c SMALL=int, LARGE=long long
302.09/303.16 d SCIPUB 40
302.09/303.16 c bounds - >= 0 @ 301.064
302.09/303.16 c stratification level: 0
302.68/303.73 c bounds - >= 1 @ 301.119
302.68/303.73 c bounds - >= 2 @ 301.121
302.68/303.73 c bounds - >= 3 @ 301.124
302.68/303.73 c bounds - >= 4 @ 301.125
302.68/303.73 c bounds - >= 5 @ 301.128
302.68/303.73 c bounds - >= 6 @ 301.132
302.68/303.73 c bounds - >= 7 @ 301.134
302.68/303.73 c bounds - >= 8 @ 301.134
302.68/303.73 c bounds - >= 9 @ 301.136
302.68/303.73 c bounds - >= 10 @ 301.138
302.68/303.73 c bounds - >= 11 @ 301.14
302.68/303.73 c bounds - >= 12 @ 301.142
302.68/303.73 c bounds - >= 13 @ 301.145
302.68/303.73 c bounds - >= 14 @ 301.147
302.68/303.73 c bounds - >= 15 @ 301.148
302.68/303.73 c bounds - >= 16 @ 301.15
302.68/303.73 c bounds - >= 17 @ 301.152
302.68/303.73 c bounds - >= 18 @ 301.163
302.68/303.73 c bounds - >= 19 @ 301.166
302.68/303.73 c bounds - >= 20 @ 301.169
302.68/303.73 c bounds - >= 21 @ 301.173
302.68/303.73 c finalizing WCE round: reformulating cores
605.30/607.36 c #Conflicts: 1000 | #Constraints: 66304
605.30/607.36 c #Conflicts: 2000 | #Constraints: 67308
605.30/607.36 c INPROCESSING
605.30/607.36 c GARBAGE COLLECT
605.30/607.36 c #Conflicts: 3000 | #Constraints: 67295
605.30/607.36 c #Conflicts: 4000 | #Constraints: 68297
605.30/607.36 c INPROCESSING
605.30/607.36 c GARBAGE COLLECT
605.30/607.36 c #Conflicts: 5000 | #Constraints: 67709
605.30/607.36 c #Conflicts: 6000 | #Constraints: 68711
605.30/607.36 c INPROCESSING
605.30/607.36 c GARBAGE COLLECT
605.30/607.36 c #Conflicts: 7000 | #Constraints: 67715
605.30/607.36 c #Conflicts: 8000 | #Constraints: 68717
605.30/607.36 c #Conflicts: 9000 | #Constraints: 69721
605.30/607.36 c INPROCESSING
605.30/607.36 c GARBAGE COLLECT
605.30/607.36 c #Conflicts: 10000 | #Constraints: 68429
605.30/607.36 c #Conflicts: 11000 | #Constraints: 69431
605.30/607.36 c #Conflicts: 12000 | #Constraints: 70433
605.30/607.36 c INPROCESSING
605.30/607.36 c GARBAGE COLLECT
605.30/607.36 c #Conflicts: 13000 | #Constraints: 68892
605.30/607.36 c #Conflicts: 14000 | #Constraints: 69894
605.30/607.36 c #Conflicts: 15000 | #Constraints: 70896
605.30/607.36 c INPROCESSING
605.30/607.36 c GARBAGE COLLECT
605.30/607.36 c #Conflicts: 16000 | #Constraints: 69125
605.30/607.36 c #Conflicts: 17000 | #Constraints: 70127
605.30/607.36 c #Conflicts: 18000 | #Constraints: 71129
605.30/607.36 c INPROCESSING
605.30/607.36 c GARBAGE COLLECT
605.30/607.36 c bounds 39 >= 21 @ 336.039
605.30/607.36 c bounds 39 >= 22 @ 336.044
605.30/607.36 c bounds 39 >= 23 @ 336.05
605.30/607.36 c bounds 39 >= 24 @ 336.053
605.30/607.36 c bounds 39 >= 25 @ 336.057
605.30/607.36 c bounds 39 >= 26 @ 336.069
605.30/607.36 c bounds 39 >= 27 @ 336.087
605.30/607.36 c #Conflicts: 19000 | #Constraints: 69205
605.30/607.36 c #Conflicts: 20000 | #Constraints: 70205
605.30/607.36 c #Conflicts: 21000 | #Constraints: 71205
605.30/607.36 c INPROCESSING
605.30/607.36 c GARBAGE COLLECT
605.30/607.36 c #Conflicts: 22000 | #Constraints: 68992
605.30/607.36 c #Conflicts: 23000 | #Constraints: 69992
605.30/607.36 c #Conflicts: 24000 | #Constraints: 70992
605.30/607.36 c #Conflicts: 25000 | #Constraints: 71992
605.30/607.36 c INPROCESSING
605.30/607.36 c GARBAGE COLLECT
605.30/607.36 c #Conflicts: 26000 | #Constraints: 69593
605.30/607.36 c #Conflicts: 27000 | #Constraints: 70593
605.30/607.36 c #Conflicts: 28000 | #Constraints: 71593
605.30/607.36 c #Conflicts: 29000 | #Constraints: 72593
605.30/607.36 c INPROCESSING
605.30/607.36 c GARBAGE COLLECT
605.30/607.36 c #Conflicts: 30000 | #Constraints: 69990
605.30/607.36 c #Conflicts: 31000 | #Constraints: 70990
605.30/607.36 c #Conflicts: 32000 | #Constraints: 71990
605.30/607.36 c #Conflicts: 33000 | #Constraints: 72990
605.30/607.36 c INPROCESSING
605.30/607.36 c GARBAGE COLLECT
605.30/607.36 c #Conflicts: 34000 | #Constraints: 70187
605.30/607.36 c #Conflicts: 35000 | #Constraints: 71187
605.30/607.36 c #Conflicts: 36000 | #Constraints: 72187
605.30/607.36 c #Conflicts: 37000 | #Constraints: 73187
605.30/607.36 c INPROCESSING
605.30/607.36 c GARBAGE COLLECT
605.30/607.36 c #Conflicts: 38000 | #Constraints: 70192
605.30/607.36 c #Conflicts: 39000 | #Constraints: 71192
605.30/607.36 c #Conflicts: 40000 | #Constraints: 72192
605.30/607.36 c #Conflicts: 41000 | #Constraints: 73192
605.30/607.36 c INPROCESSING
605.30/607.36 c GARBAGE COLLECT
605.30/607.36 c #Conflicts: 42000 | #Constraints: 69992
605.30/607.36 c #Conflicts: 43000 | #Constraints: 70992
605.30/607.36 c #Conflicts: 44000 | #Constraints: 71992
605.30/607.36 c #Conflicts: 45000 | #Constraints: 72992
605.30/607.36 c #Conflicts: 46000 | #Constraints: 73992
605.30/607.36 c INPROCESSING
605.30/607.36 c GARBAGE COLLECT
605.30/607.36 c #Conflicts: 47000 | #Constraints: 70593
605.30/607.36 c #Conflicts: 48000 | #Constraints: 71593
605.30/607.36 c #Conflicts: 49000 | #Constraints: 72593
605.30/607.36 c #Conflicts: 50000 | #Constraints: 73593
605.30/607.36 c #Conflicts: 51000 | #Constraints: 74593
605.30/607.36 c INPROCESSING
605.30/607.36 c GARBAGE COLLECT
605.30/607.36 c #Conflicts: 52000 | #Constraints: 70991
605.30/607.36 c #Conflicts: 53000 | #Constraints: 71991
605.30/607.36 c #Conflicts: 54000 | #Constraints: 72991
605.30/607.36 c #Conflicts: 55000 | #Constraints: 73991
605.30/607.36 c #Conflicts: 56000 | #Constraints: 74991
605.30/607.36 c INPROCESSING
605.30/607.36 c GARBAGE COLLECT
605.30/607.36 c #Conflicts: 57000 | #Constraints: 71191
605.30/607.36 c #Conflicts: 58000 | #Constraints: 72191
605.30/607.36 c #Conflicts: 59000 | #Constraints: 73191
605.30/607.36 c #Conflicts: 60000 | #Constraints: 74191
605.30/607.36 c #Conflicts: 61000 | #Constraints: 75191
605.30/607.36 c INPROCESSING
605.30/607.36 c GARBAGE COLLECT
605.30/607.36 c #Conflicts: 62000 | #Constraints: 71183
605.30/607.36 c #Conflicts: 63000 | #Constraints: 72183
605.30/607.36 c #Conflicts: 64000 | #Constraints: 73183
605.30/607.36 c #Conflicts: 65000 | #Constraints: 74183
1254.17/1258.35 c #Conflicts: 66000 | #Constraints: 75183
1254.17/1258.35 c INPROCESSING
1254.17/1258.35 c GARBAGE COLLECT
1254.17/1258.35 c #Conflicts: 67000 | #Constraints: 70990
1254.17/1258.35 c #Conflicts: 68000 | #Constraints: 71990
1254.17/1258.35 c #Conflicts: 69000 | #Constraints: 72990
1254.17/1258.35 c #Conflicts: 70000 | #Constraints: 73990
1254.17/1258.35 c #Conflicts: 71000 | #Constraints: 74990
1254.17/1258.35 c #Conflicts: 72000 | #Constraints: 75990
1254.17/1258.35 c INPROCESSING
1254.17/1258.35 c GARBAGE COLLECT
1254.17/1258.35 c #Conflicts: 73000 | #Constraints: 71590
1254.17/1258.35 c #Conflicts: 74000 | #Constraints: 72590
1254.17/1258.35 c #Conflicts: 75000 | #Constraints: 73590
1254.17/1258.35 c #Conflicts: 76000 | #Constraints: 74590
1254.17/1258.35 c #Conflicts: 77000 | #Constraints: 75590
1254.17/1258.35 c #Conflicts: 78000 | #Constraints: 76590
1254.17/1258.35 c INPROCESSING
1254.17/1258.35 c GARBAGE COLLECT
1254.17/1258.35 c #Conflicts: 79000 | #Constraints: 71990
1254.17/1258.35 c #Conflicts: 80000 | #Constraints: 72990
1254.17/1258.35 c #Conflicts: 81000 | #Constraints: 73990
1254.17/1258.35 c #Conflicts: 82000 | #Constraints: 74990
1254.17/1258.35 c #Conflicts: 83000 | #Constraints: 75990
1254.17/1258.35 c #Conflicts: 84000 | #Constraints: 76990
1254.17/1258.35 c INPROCESSING
1254.17/1258.35 c GARBAGE COLLECT
1254.17/1258.35 c #Conflicts: 85000 | #Constraints: 72192
1254.17/1258.35 c #Conflicts: 86000 | #Constraints: 73192
1254.17/1258.35 c #Conflicts: 87000 | #Constraints: 74192
1254.17/1258.35 c #Conflicts: 88000 | #Constraints: 75192
1254.17/1258.35 c #Conflicts: 89000 | #Constraints: 76192
1254.17/1258.35 c #Conflicts: 90000 | #Constraints: 77192
1254.17/1258.35 c INPROCESSING
1254.17/1258.35 c GARBAGE COLLECT
1254.17/1258.35 c #Conflicts: 91000 | #Constraints: 72193
1254.17/1258.35 c #Conflicts: 92000 | #Constraints: 73193
1254.17/1258.35 c #Conflicts: 93000 | #Constraints: 74193
1254.17/1258.35 c #Conflicts: 94000 | #Constraints: 75193
1254.17/1258.35 c #Conflicts: 95000 | #Constraints: 76193
1254.17/1258.35 c #Conflicts: 96000 | #Constraints: 77193
1254.17/1258.35 c INPROCESSING
1254.17/1258.35 c GARBAGE COLLECT
1254.17/1258.35 c #Conflicts: 97000 | #Constraints: 71991
1254.17/1258.35 c #Conflicts: 98000 | #Constraints: 72991
1254.17/1258.35 c #Conflicts: 99000 | #Constraints: 73991
1254.17/1258.35 c #Conflicts: 100000 | #Constraints: 74991
1254.17/1258.35 c #Conflicts: 101000 | #Constraints: 75991
1254.17/1258.35 c #Conflicts: 102000 | #Constraints: 76991
1254.17/1258.35 c #Conflicts: 103000 | #Constraints: 77991
1254.17/1258.35 c INPROCESSING
1254.17/1258.35 c GARBAGE COLLECT
1254.17/1258.35 c #Conflicts: 104000 | #Constraints: 72594
1254.17/1258.35 c #Conflicts: 105000 | #Constraints: 73594
1254.17/1258.35 c #Conflicts: 106000 | #Constraints: 74594
1254.17/1258.35 c #Conflicts: 107000 | #Constraints: 75594
1254.17/1258.35 c #Conflicts: 108000 | #Constraints: 76594
1254.17/1258.35 c #Conflicts: 109000 | #Constraints: 77594
1254.17/1258.35 c #Conflicts: 110000 | #Constraints: 78594
1254.17/1258.35 c INPROCESSING
1254.17/1258.35 c GARBAGE COLLECT
1254.17/1258.35 c #Conflicts: 111000 | #Constraints: 72995
1254.17/1258.35 c #Conflicts: 112000 | #Constraints: 73995
1254.17/1258.35 c #Conflicts: 113000 | #Constraints: 74995
1254.17/1258.35 c #Conflicts: 114000 | #Constraints: 75995
1254.17/1258.35 c #Conflicts: 115000 | #Constraints: 76995
1254.17/1258.35 c #Conflicts: 116000 | #Constraints: 77995
1254.17/1258.35 c #Conflicts: 117000 | #Constraints: 78995
1254.17/1258.35 c INPROCESSING
1254.17/1258.35 c GARBAGE COLLECT
1254.17/1258.35 c #Conflicts: 118000 | #Constraints: 73196
1254.17/1258.35 c #Conflicts: 119000 | #Constraints: 74196
1254.17/1258.35 c #Conflicts: 120000 | #Constraints: 75196
1254.17/1258.35 c #Conflicts: 121000 | #Constraints: 76196
1254.17/1258.35 c #Conflicts: 122000 | #Constraints: 77196
1254.17/1258.35 c #Conflicts: 123000 | #Constraints: 78196
1254.17/1258.35 c #Conflicts: 124000 | #Constraints: 79196
1254.17/1258.35 c INPROCESSING
1254.17/1258.35 c GARBAGE COLLECT
1254.17/1258.35 c #Conflicts: 125000 | #Constraints: 73200
1254.17/1258.35 c #Conflicts: 126000 | #Constraints: 74200
1254.17/1258.35 c #Conflicts: 127000 | #Constraints: 75200
1254.17/1258.35 c #Conflicts: 128000 | #Constraints: 76200
1254.17/1258.35 c #Conflicts: 129000 | #Constraints: 77200
1254.17/1258.35 c #Conflicts: 130000 | #Constraints: 78200
1254.17/1258.35 c #Conflicts: 131000 | #Constraints: 79200
1254.17/1258.35 c INPROCESSING
1254.17/1258.35 c GARBAGE COLLECT
1254.17/1258.35 c #Conflicts: 132000 | #Constraints: 73000
1254.17/1258.35 c #Conflicts: 133000 | #Constraints: 74000
1254.17/1258.35 c #Conflicts: 134000 | #Constraints: 75000
1254.17/1258.35 c #Conflicts: 135000 | #Constraints: 76000
1254.17/1258.35 c #Conflicts: 136000 | #Constraints: 77000
1254.17/1258.35 c #Conflicts: 137000 | #Constraints: 78000
2126.71/2133.76 c #Conflicts: 138000 | #Constraints: 79000
2126.71/2133.76 c #Conflicts: 139000 | #Constraints: 80000
2126.71/2133.76 c INPROCESSING
2126.71/2133.76 c GARBAGE COLLECT
2126.71/2133.76 c #Conflicts: 140000 | #Constraints: 73599
2126.71/2133.76 c #Conflicts: 141000 | #Constraints: 74599
2126.71/2133.76 c #Conflicts: 142000 | #Constraints: 75599
2126.71/2133.76 c #Conflicts: 143000 | #Constraints: 76599
2126.71/2133.76 c #Conflicts: 144000 | #Constraints: 77599
2126.71/2133.76 c #Conflicts: 145000 | #Constraints: 78599
2126.71/2133.76 c #Conflicts: 146000 | #Constraints: 79599
2126.71/2133.76 c #Conflicts: 147000 | #Constraints: 80599
2126.71/2133.76 c INPROCESSING
2126.71/2133.76 c GARBAGE COLLECT
2126.71/2133.76 c #Conflicts: 148000 | #Constraints: 74002
2126.71/2133.76 c #Conflicts: 149000 | #Constraints: 75002
2126.71/2133.76 c #Conflicts: 150000 | #Constraints: 76002
2126.71/2133.76 c #Conflicts: 151000 | #Constraints: 77002
2126.71/2133.76 c #Conflicts: 152000 | #Constraints: 78002
2126.71/2133.76 c #Conflicts: 153000 | #Constraints: 79002
2126.71/2133.76 c #Conflicts: 154000 | #Constraints: 80002
2126.71/2133.76 c #Conflicts: 155000 | #Constraints: 81002
2126.71/2133.76 c INPROCESSING
2126.71/2133.76 c GARBAGE COLLECT
2126.71/2133.76 c #Conflicts: 156000 | #Constraints: 74198
2126.71/2133.76 c #Conflicts: 157000 | #Constraints: 75198
2126.71/2133.76 c #Conflicts: 158000 | #Constraints: 76198
2126.71/2133.76 c #Conflicts: 159000 | #Constraints: 77198
2126.71/2133.76 c #Conflicts: 160000 | #Constraints: 78198
2126.71/2133.76 c #Conflicts: 161000 | #Constraints: 79198
2126.71/2133.76 c #Conflicts: 162000 | #Constraints: 80198
2126.71/2133.76 c #Conflicts: 163000 | #Constraints: 81198
2126.71/2133.76 c INPROCESSING
2126.71/2133.76 c GARBAGE COLLECT
2126.71/2133.76 c #Conflicts: 164000 | #Constraints: 74198
2126.71/2133.76 c #Conflicts: 165000 | #Constraints: 75198
2126.71/2133.76 c #Conflicts: 166000 | #Constraints: 76198
2126.71/2133.76 c #Conflicts: 167000 | #Constraints: 77198
2126.71/2133.76 c #Conflicts: 168000 | #Constraints: 78198
2126.71/2133.76 c #Conflicts: 169000 | #Constraints: 79198
2126.71/2133.76 c #Conflicts: 170000 | #Constraints: 80198
2126.71/2133.76 c #Conflicts: 171000 | #Constraints: 81198
2126.71/2133.76 c INPROCESSING
2126.71/2133.76 c GARBAGE COLLECT
2126.71/2133.76 c #Conflicts: 172000 | #Constraints: 73996
2126.71/2133.76 c #Conflicts: 173000 | #Constraints: 74996
2126.71/2133.76 c #Conflicts: 174000 | #Constraints: 75996
2126.71/2133.76 c #Conflicts: 175000 | #Constraints: 76996
2126.71/2133.76 c #Conflicts: 176000 | #Constraints: 77996
2126.71/2133.76 c #Conflicts: 177000 | #Constraints: 78996
2126.71/2133.76 c #Conflicts: 178000 | #Constraints: 79996
2126.71/2133.76 c #Conflicts: 179000 | #Constraints: 80996
2126.71/2133.76 c #Conflicts: 180000 | #Constraints: 81996
2126.71/2133.76 c INPROCESSING
2126.71/2133.76 c GARBAGE COLLECT
2126.71/2133.76 c #Conflicts: 181000 | #Constraints: 74598
2126.71/2133.76 c #Conflicts: 182000 | #Constraints: 75598
2126.71/2133.76 c #Conflicts: 183000 | #Constraints: 76598
2126.71/2133.76 c #Conflicts: 184000 | #Constraints: 77598
2126.71/2133.76 c #Conflicts: 185000 | #Constraints: 78598
2126.71/2133.76 c #Conflicts: 186000 | #Constraints: 79598
2126.71/2133.76 c #Conflicts: 187000 | #Constraints: 80598
2126.71/2133.76 c #Conflicts: 188000 | #Constraints: 81598
2126.71/2133.76 c #Conflicts: 189000 | #Constraints: 82598
2126.71/2133.76 c INPROCESSING
2126.71/2133.76 c GARBAGE COLLECT
2126.71/2133.76 c #Conflicts: 190000 | #Constraints: 74997
2126.71/2133.76 c #Conflicts: 191000 | #Constraints: 75997
2126.71/2133.76 c #Conflicts: 192000 | #Constraints: 76997
2126.71/2133.76 c #Conflicts: 193000 | #Constraints: 77997
2126.71/2133.76 c #Conflicts: 194000 | #Constraints: 78997
2126.71/2133.76 c #Conflicts: 195000 | #Constraints: 79997
2126.71/2133.76 c #Conflicts: 196000 | #Constraints: 80997
2126.71/2133.76 c #Conflicts: 197000 | #Constraints: 81997
2126.71/2133.76 c #Conflicts: 198000 | #Constraints: 82997
2126.71/2133.76 c INPROCESSING
2126.71/2133.76 c GARBAGE COLLECT
2126.71/2133.76 c #Conflicts: 199000 | #Constraints: 75198
2126.71/2133.76 c #Conflicts: 200000 | #Constraints: 76198
2126.71/2133.76 c #Conflicts: 201000 | #Constraints: 77198
2126.71/2133.76 c #Conflicts: 202000 | #Constraints: 78198
2126.71/2133.76 c #Conflicts: 203000 | #Constraints: 79198
2126.71/2133.76 c #Conflicts: 204000 | #Constraints: 80198
2126.71/2133.76 c #Conflicts: 205000 | #Constraints: 81198
2126.71/2133.76 c #Conflicts: 206000 | #Constraints: 82198
2126.71/2133.76 c #Conflicts: 207000 | #Constraints: 83198
2126.71/2133.76 c INPROCESSING
2126.71/2133.76 c GARBAGE COLLECT
2126.71/2133.76 c #Conflicts: 208000 | #Constraints: 75190
2126.71/2133.76 c #Conflicts: 209000 | #Constraints: 76190
2126.71/2133.76 c #Conflicts: 210000 | #Constraints: 77190
3306.51/3317.34 c #Conflicts: 211000 | #Constraints: 78190
3306.51/3317.34 c #Conflicts: 212000 | #Constraints: 79190
3306.51/3317.34 c #Conflicts: 213000 | #Constraints: 80190
3306.51/3317.34 c #Conflicts: 214000 | #Constraints: 81190
3306.51/3317.34 c #Conflicts: 215000 | #Constraints: 82190
3306.51/3317.34 c #Conflicts: 216000 | #Constraints: 83190
3306.51/3317.34 c INPROCESSING
3306.51/3317.34 c GARBAGE COLLECT
3306.51/3317.34 c #Conflicts: 217000 | #Constraints: 74998
3306.51/3317.34 c #Conflicts: 218000 | #Constraints: 75998
3306.51/3317.34 c #Conflicts: 219000 | #Constraints: 76998
3306.51/3317.34 c #Conflicts: 220000 | #Constraints: 77998
3306.51/3317.34 c #Conflicts: 221000 | #Constraints: 78998
3306.51/3317.34 c #Conflicts: 222000 | #Constraints: 79998
3306.51/3317.34 c #Conflicts: 223000 | #Constraints: 80998
3306.51/3317.34 c #Conflicts: 224000 | #Constraints: 81998
3306.51/3317.34 c #Conflicts: 225000 | #Constraints: 82998
3306.51/3317.34 c #Conflicts: 226000 | #Constraints: 83998
3306.51/3317.34 c INPROCESSING
3306.51/3317.34 c GARBAGE COLLECT
3306.51/3317.34 c #Conflicts: 227000 | #Constraints: 75597
3306.51/3317.34 c #Conflicts: 228000 | #Constraints: 76597
3306.51/3317.35 c #Conflicts: 229000 | #Constraints: 77597
3306.51/3317.35 c #Conflicts: 230000 | #Constraints: 78597
3306.51/3317.35 c #Conflicts: 231000 | #Constraints: 79597
3306.51/3317.35 c #Conflicts: 232000 | #Constraints: 80597
3306.51/3317.35 c #Conflicts: 233000 | #Constraints: 81597
3306.51/3317.35 c #Conflicts: 234000 | #Constraints: 82597
3306.51/3317.35 c #Conflicts: 235000 | #Constraints: 83597
3306.51/3317.35 c #Conflicts: 236000 | #Constraints: 84597
3306.51/3317.35 c INPROCESSING
3306.51/3317.35 c GARBAGE COLLECT
3306.51/3317.35 c #Conflicts: 237000 | #Constraints: 75995
3306.51/3317.35 c #Conflicts: 238000 | #Constraints: 76995
3306.51/3317.35 c #Conflicts: 239000 | #Constraints: 77995
3306.51/3317.35 c #Conflicts: 240000 | #Constraints: 78995
3306.51/3317.35 c #Conflicts: 241000 | #Constraints: 79995
3306.51/3317.35 c #Conflicts: 242000 | #Constraints: 80995
3306.51/3317.35 c #Conflicts: 243000 | #Constraints: 81995
3306.51/3317.35 c #Conflicts: 244000 | #Constraints: 82995
3306.51/3317.35 c #Conflicts: 245000 | #Constraints: 83995
3306.51/3317.35 c #Conflicts: 246000 | #Constraints: 84995
3306.51/3317.35 c INPROCESSING
3306.51/3317.35 c GARBAGE COLLECT
3306.51/3317.35 c #Conflicts: 247000 | #Constraints: 76193
3306.51/3317.35 c #Conflicts: 248000 | #Constraints: 77193
3306.51/3317.35 c #Conflicts: 249000 | #Constraints: 78193
3306.51/3317.35 c #Conflicts: 250000 | #Constraints: 79193
3306.51/3317.35 c #Conflicts: 251000 | #Constraints: 80193
3306.51/3317.35 c #Conflicts: 252000 | #Constraints: 81193
3306.51/3317.35 c #Conflicts: 253000 | #Constraints: 82193
3306.51/3317.35 c #Conflicts: 254000 | #Constraints: 83193
3306.51/3317.35 c #Conflicts: 255000 | #Constraints: 84193
3306.51/3317.35 c #Conflicts: 256000 | #Constraints: 85193
3306.51/3317.35 c INPROCESSING
3306.51/3317.35 c GARBAGE COLLECT
3306.51/3317.35 c #Conflicts: 257000 | #Constraints: 76200
3306.51/3317.35 c #Conflicts: 258000 | #Constraints: 77200
3306.51/3317.35 c #Conflicts: 259000 | #Constraints: 78200
3306.51/3317.35 c #Conflicts: 260000 | #Constraints: 79200
3306.51/3317.35 c #Conflicts: 261000 | #Constraints: 80200
3306.51/3317.35 c #Conflicts: 262000 | #Constraints: 81200
3306.51/3317.35 c #Conflicts: 263000 | #Constraints: 82200
3306.51/3317.35 c #Conflicts: 264000 | #Constraints: 83200
3306.51/3317.35 c #Conflicts: 265000 | #Constraints: 84200
3306.51/3317.35 c #Conflicts: 266000 | #Constraints: 85200
3306.51/3317.35 c INPROCESSING
3306.51/3317.35 c GARBAGE COLLECT
3306.51/3317.35 c #Conflicts: 267000 | #Constraints: 76001
3306.51/3317.35 c #Conflicts: 268000 | #Constraints: 77001
3306.51/3317.35 c #Conflicts: 269000 | #Constraints: 78001
3306.51/3317.35 c #Conflicts: 270000 | #Constraints: 79001
3306.51/3317.35 c #Conflicts: 271000 | #Constraints: 80001
3306.51/3317.35 c #Conflicts: 272000 | #Constraints: 81001
3306.51/3317.35 c #Conflicts: 273000 | #Constraints: 82001
3306.51/3317.35 c #Conflicts: 274000 | #Constraints: 83001
3306.51/3317.35 c #Conflicts: 275000 | #Constraints: 84001
3306.51/3317.35 c #Conflicts: 276000 | #Constraints: 85001
3306.51/3317.35 c #Conflicts: 277000 | #Constraints: 86001
3306.51/3317.35 c INPROCESSING
3306.51/3317.35 c GARBAGE COLLECT
3306.51/3317.35 c #Conflicts: 278000 | #Constraints: 76604
3306.51/3317.35 c #Conflicts: 279000 | #Constraints: 77604
3306.51/3317.35 c #Conflicts: 280000 | #Constraints: 78604
3306.51/3317.35 c #Conflicts: 281000 | #Constraints: 79604
3306.51/3317.35 c #Conflicts: 282000 | #Constraints: 80604
3306.51/3317.35 c #Conflicts: 283000 | #Constraints: 81604
3306.51/3317.35 c #Conflicts: 284000 | #Constraints: 82604
3600.05/3611.70 c #Conflicts: 285000 | #Constraints: 83604
3600.05/3611.70 c #Conflicts: 286000 | #Constraints: 84604
3600.05/3611.70 c #Conflicts: 287000 | #Constraints: 85604
3600.05/3611.70 c #Conflicts: 288000 | #Constraints: 86604
3600.05/3611.70 c INPROCESSING
3600.05/3611.70 c GARBAGE COLLECT
3600.05/3611.70 c #Conflicts: 289000 | #Constraints: 77003
3600.05/3611.70 c #Conflicts: 290000 | #Constraints: 78003
3600.05/3611.70 c #Conflicts: 291000 | #Constraints: 79003
3600.05/3611.70 c #Conflicts: 292000 | #Constraints: 80003
3600.05/3611.70 c #Conflicts: 293000 | #Constraints: 81003
3600.05/3611.70 c #Conflicts: 294000 | #Constraints: 82003
3600.05/3611.70 c #Conflicts: 295000 | #Constraints: 83003
3600.05/3611.70 c #Conflicts: 296000 | #Constraints: 84003
3600.05/3611.70 c #Conflicts: 297000 | #Constraints: 85003
3600.05/3611.70 c #Conflicts: 298000 | #Constraints: 86003
3600.05/3611.70 c #Conflicts: 299000 | #Constraints: 87003
3600.05/3611.70 c INPROCESSING
3600.05/3611.70 c GARBAGE COLLECT
3600.05/3611.70 c #Conflicts: 300000 | #Constraints: 77205
3600.05/3611.70 c Program interrupted by user.
3600.05/3611.70 c cpu time 3480.64 s
3600.05/3611.70 c deterministic time 146796543430 1.47e+11
3600.05/3611.70 c optimization time 45.0472 s
3600.05/3611.70 c total solve time 3134.53 s
3600.05/3611.70 c core-guided solve time 3134.53 s
3600.05/3611.70 c propagation time 2715.7 s
3600.05/3611.70 c conflict analysis time 288.772 s
3600.05/3611.70 c propagations 155370112
3600.05/3611.70 c resolve steps 1347517
3600.05/3611.70 c decisions 160659657
3600.05/3611.70 c conflicts 300365
3600.05/3611.70 c restarts 730
3600.05/3611.70 c inprocessing phases 46
3600.05/3611.70 c input clauses 65299
3600.05/3611.70 c input cardinalities 67
3600.05/3611.70 c input general constraints 39
3600.05/3611.70 c input average constraint length 39.85
3600.05/3611.70 c input average constraint degree 1.18
3600.05/3611.70 c learned clauses 2457
3600.05/3611.70 c learned cardinalities 1856
3600.05/3611.70 c learned general constraints 296053
3600.05/3611.70 c learned average constraint length 3995.24
3600.05/3611.70 c learned average constraint degree 16711.91
3600.05/3611.70 c watched constraints 21222
3600.05/3611.70 c counting constraints 274870
3600.05/3611.70 c gcd simplifications 99
3600.05/3611.70 c detected cardinalities 15
3600.05/3611.70 c weakened non-implied lits 14213069
3600.05/3611.70 c weakened non-implying lits 397
3600.05/3611.70 c original variables 5048
3600.05/3611.70 c clausal propagations 3128243
3600.05/3611.70 c cardinality propagations 780949
3600.05/3611.70 c watched propagations 1788053
3600.05/3611.70 c counting propagations 147900046
3600.05/3611.70 c watch lookups 46177396777
3600.05/3611.70 c watch backjump lookups 45699431703
3600.05/3611.70 c watch checks 31739392067
3600.05/3611.70 c propagation checks 20008116461
3600.05/3611.70 c constraint additions 2539850333
3600.05/3611.70 c trail pops 316326319
3600.05/3611.70 c formula constraints 65280
3600.05/3611.70 c learned constraints 300366
3600.05/3611.70 c bound constraints 29
3600.05/3611.70 c core-guided constraints 96
3600.05/3611.70 c encountered formula constraints 587697
3600.05/3611.70 c encountered learned constraints 946367
3600.05/3611.70 c encountered bound constraints 33
3600.05/3611.70 c encountered core-guided constraints 113785
3600.05/3611.70 c LP total time 0 s
3600.05/3611.70 c LP solve time 0 s
3600.05/3611.70 c LP constraints added 0
3600.05/3611.70 c LP constraints removed 0
3600.05/3611.70 c LP pivots internal 0
3600.05/3611.70 c LP pivots root 0
3600.05/3611.70 c LP calls 0
3600.05/3611.70 c LP optimalities 0
3600.05/3611.70 c LP no pivot count 0
3600.05/3611.70 c LP infeasibilities 0
3600.05/3611.70 c LP valid Farkas constraints 0
3600.05/3611.70 c LP learned Farkas constraints 0
3600.05/3611.70 c LP basis resets 0
3600.05/3611.70 c LP cycling count 0
3600.05/3611.70 c LP singular count 0
3600.05/3611.70 c LP no primal count 0
3600.05/3611.70 c LP no farkas count 0
3600.05/3611.70 c LP other issue count 0
3600.05/3611.70 c LP Gomory cuts 0
3600.05/3611.70 c LP learned cuts 0
3600.05/3611.70 c LP deleted cuts 0
3600.05/3611.70 c LP encountered Gomory constraints 0
3600.05/3611.70 c LP encountered Farkas constraints 0
3600.05/3611.70 c LP encountered learned Farkas constraints 0
3600.05/3611.70 c CG auxiliary variables introduced 39
3600.05/3611.70 c CG solutions found 1
3600.05/3611.70 c CG cores constructed 27
3600.05/3611.70 c CG core cardinality constraints returned 0
3600.05/3611.70 c CG unit cores 0
3600.05/3611.70 c CG single cores 27
3600.05/3611.70 c CG blocks removed during cardinality reduction 0
3600.05/3611.70 c CG first core best 0
3600.05/3611.70 c CG decision core best 0
3600.05/3611.70 c CG core reduction tie 0
3600.05/3611.70 c CG core degree average 1.00
3600.05/3611.70 c CG core slack average 49.33
3600.05/3611.70 c CG exhausted 0
3600.05/3611.70 c CG exhaust time 34.44 s
3600.05/3611.70 c CG trimmed 0
3600.05/3611.70 c CG trim time 0.004421 s
3600.05/3611.70 c CG minimized 0
3600.05/3611.70 c CG minimize time 0 s
3600.05/3611.70 c CG am1 prop time 0.017111 s
3600.05/3611.70 c CG # am1s reformulated 0
3600.05/3611.70 c CG lower bound derived from am1s 0
3600.05/3611.70 c CG # clausal cores 27
3600.05/3611.70 c CG # cardinality cores 0
3600.05/3611.70 c CG # pb cores 0
3600.05/3611.70 c CG # pb reforms 0
3600.05/3611.70 c CG # cores discarded because of pb reform 0
3600.05/3611.70 d LOWERBOUND 27
3600.05/3611.70 d NCORES 27
3600.05/3611.70 d NPBCORES 0
3600.05/3611.70 d NPBREFORM 0
3600.05/3611.70 d NTRIMMED 0
3600.05/3611.70 d NEXHAUSTED 0
3600.05/3611.70 d NAM1S 0
3600.05/3611.70 d AM1LB 0
3600.05/3611.70 c [Papilo Statistics]
3600.05/3611.70 c prepro time 0.36464s
3600.05/3611.70 c # tsx applied 0
3600.05/3611.70 c # tsx conflicts 0
3600.05/3611.70 c # bound changes 0
3600.05/3611.70 c # side changes 0
3600.05/3611.70 c # coef changes 0
3600.05/3611.70 c # rounds 1
3600.05/3611.70 c # deted vars 0
3600.05/3611.70 c # deted constrs 0
3600.05/3611.70 c # consecutive rounds of only bound changes 0
3600.05/3611.70 c [STEP] postprocessing with Papilo
3600.05/3611.72 o 39
3600.05/3611.72 s SATISFIABLE
3600.05/3611.72 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: 63837 MiB (58108 MiB free)
memory of node 1: 64465 MiB (63432 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503005-1751439612/watcher-4503005-1751439612 -o /tmp/evaluation-result-4503005-1751439612/solver-4503005-1751439612 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751435684-72016 --watchdog 3760 mixed-bag HOME/instance-4503005-1751439612.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
solver pid=72517, runsolver pid=72514
Current StackSize limit: 8192 KiB
[startup+0.100102 s]*
/proc/loadavg: 2.19 2.13 2.10 3/240 72518
/proc/meminfo: memFree=124457816/131382112 swapFree=33005784/33010684
[pid=72517] ppid=72514 vsize=89820 memory=14932 CPUtime=0.09 cores=4,6
/proc/72517/stat : 72517 (mixed-bag) R 72514 72517 71499 0 -1 4194304 2435 0 0 0 9 0 0 0 20 0 1 0 59640322 91975680 3733 18446744073709551615 4235264 15874749 140732264688512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53854208 140732264692124 140732264692201 140732264692201 140732264697803 0
/proc/72517/statm: 22455 3733 2208 2842 0 4688 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 89820 KiB
Current children cumulated memory: 14932 KiB
[startup+0.212848 s]*
/proc/loadavg: 2.19 2.13 2.10 3/240 72518
/proc/meminfo: memFree=124457816/131382112 swapFree=33005784/33010684
[pid=72517] ppid=72514 vsize=93916 memory=19180 CPUtime=0.2 cores=4,6
/proc/72517/stat : 72517 (mixed-bag) R 72514 72517 71499 0 -1 4194304 2989 0 0 0 20 0 0 0 20 0 1 0 59640322 96169984 4795 18446744073709551615 4235264 15874749 140732264688512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53854208 140732264692124 140732264692201 140732264692201 140732264697803 0
/proc/72517/statm: 23479 4795 2208 2842 0 5712 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 93916 KiB
Current children cumulated memory: 19180 KiB
[startup+0.312934 s]*
/proc/loadavg: 2.19 2.13 2.10 3/240 72518
/proc/meminfo: memFree=124457816/131382112 swapFree=33005784/33010684
[pid=72517] ppid=72514 vsize=102108 memory=21328 CPUtime=0.3 cores=4,6
/proc/72517/stat : 72517 (mixed-bag) R 72514 72517 71499 0 -1 4194304 3540 0 0 0 29 1 0 0 20 0 1 0 59640322 104558592 5332 18446744073709551615 4235264 15874749 140732264688512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53854208 140732264692124 140732264692201 140732264692201 140732264697803 0
/proc/72517/statm: 25527 5332 2208 2842 0 7760 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 102108 KiB
Current children cumulated memory: 21328 KiB
[startup+0.700326 s]
/proc/loadavg: 2.19 2.13 2.10 3/240 72518
/proc/meminfo: memFree=124457816/131382112 swapFree=33005784/33010684
[pid=72517] ppid=72514 vsize=118492 memory=38360 CPUtime=0.68 cores=4,6
/proc/72517/stat : 72517 (mixed-bag) R 72514 72517 71499 0 -1 4194304 4225 0 0 0 66 2 0 0 20 0 1 0 59640322 121335808 9590 18446744073709551615 4235264 15874749 140732264688512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53854208 140732264692124 140732264692201 140732264692201 140732264697803 0
/proc/72517/statm: 29623 9590 2208 2842 0 11856 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 118492 KiB
Current children cumulated memory: 38360 KiB
[startup+1.50032 s]
/proc/loadavg: 2.19 2.13 2.10 3/240 72518
/proc/meminfo: memFree=124407108/131382112 swapFree=33005784/33010684
[pid=72517] ppid=72514 vsize=216796 memory=80996 CPUtime=1.47 cores=4,6
/proc/72517/stat : 72517 (mixed-bag) R 72514 72517 71499 0 -1 4194304 5740 0 0 0 142 5 0 0 20 0 1 0 59640322 221999104 20249 18446744073709551615 4235264 15874749 140732264688512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53854208 140732264692124 140732264692201 140732264692201 140732264697803 0
/proc/72517/statm: 54199 20249 2208 2842 0 36432 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 216796 KiB
Current children cumulated memory: 80996 KiB
[startup+3.11272 s]
/proc/loadavg: 2.25 2.14 2.10 3/240 72518
/proc/meminfo: memFree=123779736/131382112 swapFree=33005784/33010684
[pid=72517] ppid=72514 vsize=760316 memory=626072 CPUtime=3.08 cores=4,6
/proc/72517/stat : 72517 (mixed-bag) R 72514 72517 71499 0 -1 4194304 114315 0 0 0 275 33 0 0 20 0 1 0 59640322 778563584 156518 18446744073709551615 4235264 15874749 140732264688512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53854208 140732264692124 140732264692201 140732264692201 140732264697803 0
/proc/72517/statm: 190079 156518 4096 2842 0 171773 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 760316 KiB
Current children cumulated memory: 626072 KiB
[startup+6.30036 s]
/proc/loadavg: 2.25 2.14 2.10 3/240 72518
/proc/meminfo: memFree=123314368/131382112 swapFree=33005784/33010684
[pid=72517] ppid=72514 vsize=1033496 memory=893488 CPUtime=6.26 cores=4,6
/proc/72517/stat : 72517 (mixed-bag) R 72514 72517 71499 0 -1 4194304 170061 0 0 0 571 55 0 0 20 0 1 0 59640322 1058299904 223372 18446744073709551615 4235264 15874749 140732264688512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53854208 140732264692124 140732264692201 140732264692201 140732264697803 0
/proc/72517/statm: 258374 223372 4128 2842 0 240068 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1033496 KiB
Current children cumulated memory: 893488 KiB
[startup+12.7003 s]
/proc/loadavg: 2.21 2.14 2.10 3/240 72518
/proc/meminfo: memFree=122275964/131382112 swapFree=33005784/33010684
[pid=72517] ppid=72514 vsize=2499700 memory=2194584 CPUtime=12.64 cores=4,6
/proc/72517/stat : 72517 (mixed-bag) R 72514 72517 71499 0 -1 4194304 197471 0 0 0 1175 89 0 0 20 0 1 0 59640322 2559692800 548646 18446744073709551615 4235264 15874749 140732264688512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53854208 140732264692124 140732264692201 140732264692201 140732264697803 0
/proc/72517/statm: 624925 548646 4160 2842 0 606619 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2499700 KiB
Current children cumulated memory: 2194584 KiB
[startup+25.5004 s]
/proc/loadavg: 2.18 2.13 2.10 3/239 72519
/proc/meminfo: memFree=122163348/131382112 swapFree=33005784/33010684
[pid=72517] ppid=72514 vsize=2477812 memory=2212280 CPUtime=25.39 cores=4,6
/proc/72517/stat : 72517 (mixed-bag) R 72514 72517 71499 0 -1 4194304 225027 0 0 0 2440 99 0 0 20 0 1 0 59640322 2537279488 553070 18446744073709551615 4235264 15874749 140732264688512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53854208 140732264692124 140732264692201 140732264692201 140732264697803 0
/proc/72517/statm: 619453 553070 4320 2842 0 601147 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 2477812 KiB
Current children cumulated memory: 2212280 KiB
[startup+51.1127 s]
/proc/loadavg: 2.12 2.12 2.09 3/239 72530
/proc/meminfo: memFree=122227360/131382112 swapFree=33005784/33010684
[pid=72517] ppid=72514 vsize=2477812 memory=2212280 CPUtime=50.92 cores=4,6
/proc/72517/stat : 72517 (mixed-bag) R 72514 72517 71499 0 -1 4194304 225028 0 0 0 4993 99 0 0 20 0 1 0 59640322 2537279488 553070 18446744073709551615 4235264 15874749 140732264688512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53854208 140732264692124 140732264692201 140732264692201 140732264697803 0
/proc/72517/statm: 619453 553070 4320 2842 0 601147 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 2477812 KiB
Current children cumulated memory: 2212280 KiB
[startup+102.3 s]
/proc/loadavg: 2.16 2.13 2.09 3/240 72534
/proc/meminfo: memFree=122236624/131382112 swapFree=33005784/33010684
[pid=72517] ppid=72514 vsize=2477812 memory=2212280 CPUtime=101.93 cores=4,6
/proc/72517/stat : 72517 (mixed-bag) R 72514 72517 71499 0 -1 4194304 225038 0 0 0 10093 100 0 0 20 0 1 0 59640322 2537279488 553070 18446744073709551615 4235264 15874749 140732264688512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53854208 140732264692124 140732264692201 140732264692201 140732264697803 0
/proc/72517/statm: 619453 553070 4320 2842 0 601147 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 2477812 KiB
Current children cumulated memory: 2212280 KiB
[startup+162.3 s]
/proc/loadavg: 2.12 2.12 2.09 3/240 72536
/proc/meminfo: memFree=122217068/131382112 swapFree=33005784/33010684
[pid=72517] ppid=72514 vsize=2494560 memory=2229280 CPUtime=161.72 cores=4,6
/proc/72517/stat : 72517 (mixed-bag) R 72514 72517 71499 0 -1 4194304 226220 0 0 0 16070 102 0 0 20 0 1 0 59640322 2554429440 557320 18446744073709551615 4235264 15874749 140732264688512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53854208 140732264692124 140732264692201 140732264692201 140732264697803 0
/proc/72517/statm: 623640 557320 4352 2842 0 605334 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 2494560 KiB
Current children cumulated memory: 2229280 KiB
[startup+222.3 s]
/proc/loadavg: 2.09 2.11 2.09 3/240 72538
/proc/meminfo: memFree=122192792/131382112 swapFree=33005784/33010684
[pid=72517] ppid=72514 vsize=2494560 memory=2229280 CPUtime=221.51 cores=4,6
/proc/72517/stat : 72517 (mixed-bag) R 72514 72517 71499 0 -1 4194304 226305 0 0 0 22049 102 0 0 20 0 1 0 59640322 2554429440 557320 18446744073709551615 4235264 15874749 140732264688512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53854208 140732264692124 140732264692201 140732264692201 140732264697803 0
/proc/72517/statm: 623640 557320 4352 2842 0 605334 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 2494560 KiB
Current children cumulated memory: 2229280 KiB
[startup+282.3 s]
/proc/loadavg: 2.10 2.10 2.09 3/240 72540
/proc/meminfo: memFree=125160604/131382112 swapFree=33005784/33010684
[pid=72517] ppid=72514 vsize=2518732 memory=2229408 CPUtime=281.34 cores=4,6
/proc/72517/stat : 72517 (mixed-bag) R 72514 72517 71499 0 -1 4194304 226345 0 0 0 28032 102 0 0 20 0 1 0 59640322 2579181568 557352 18446744073709551615 4235264 15874749 140732264688512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53854208 140732264692124 140732264692201 140732264692201 140732264697803 0
/proc/72517/statm: 629683 557352 4352 2842 0 611377 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 2518732 KiB
Current children cumulated memory: 2229408 KiB
[startup+342.3 s]
/proc/loadavg: 2.09 2.10 2.09 3/240 72545
/proc/meminfo: memFree=125773540/131382112 swapFree=33005784/33010684
[pid=72517] ppid=72514 vsize=1558044 memory=1449068 CPUtime=341.16 cores=4,6
/proc/72517/stat : 72517 (mixed-bag) R 72514 72517 71499 0 -1 4194304 230443 0 0 0 33634 482 0 0 20 0 1 0 59640322 1595437056 362267 18446744073709551615 4235264 15874749 140732264688512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53854208 140732264692124 140732264692201 140732264692201 140732264697803 0
/proc/72517/statm: 389511 362267 4512 2842 0 371205 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 1558044 KiB
Current children cumulated memory: 1449068 KiB
[startup+402.3 s]
/proc/loadavg: 2.07 2.09 2.09 3/239 72547
/proc/meminfo: memFree=125649404/131382112 swapFree=33005784/33010684
[pid=72517] ppid=72514 vsize=1690304 memory=1481932 CPUtime=400.96 cores=4,6
/proc/72517/stat : 72517 (mixed-bag) R 72514 72517 71499 0 -1 4194304 230994 0 0 0 39147 949 0 0 20 0 1 0 59640322 1730871296 370483 18446744073709551615 4235264 15874749 140732264688512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53854208 140732264692124 140732264692201 140732264692201 140732264697803 0
/proc/72517/statm: 422576 370483 4512 2842 0 404270 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 1690304 KiB
Current children cumulated memory: 1481932 KiB
[startup+462.3 s]
/proc/loadavg: 2.06 2.08 2.09 3/238 72549
/proc/meminfo: memFree=125525316/131382112 swapFree=33005784/33010684
[pid=72517] ppid=72514 vsize=1690304 memory=1508772 CPUtime=460.77 cores=4,6
/proc/72517/stat : 72517 (mixed-bag) R 72514 72517 71499 0 -1 4194304 231075 0 0 0 44755 1322 0 0 20 0 1 0 59640322 1730871296 377193 18446744073709551615 4235264 15874749 140732264688512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53854208 140732264692124 140732264692201 140732264692201 140732264697803 0
/proc/72517/statm: 422576 377193 4512 2842 0 404270 0
Current children cumulated CPU time: 460.77 s
################
# More data... #
################
Current children cumulated memory: 1913376 KiB
[startup+2922.3 s]
/proc/loadavg: 2.10 2.10 2.09 3/242 72664
/proc/meminfo: memFree=122210404/131382112 swapFree=33005784/33010684
[pid=72517] ppid=72514 vsize=2282732 memory=1930952 CPUtime=2912.75 cores=4,6
/proc/72517/stat : 72517 (mixed-bag) R 72514 72517 71499 0 -1 4194304 241882 0 0 0 281054 10221 0 0 20 0 1 0 59640322 2337517568 482738 18446744073709551615 4235264 15874749 140732264688512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53854208 140732264692124 140732264692201 140732264692201 140732264697803 0
/proc/72517/statm: 570683 482738 4512 2842 0 552377 0
Current children cumulated CPU time: 2912.75 s
Current children cumulated vsize: 2282732 KiB
Current children cumulated memory: 1930952 KiB
[startup+2982.3 s]
/proc/loadavg: 2.16 2.11 2.09 3/242 72666
/proc/meminfo: memFree=122092552/131382112 swapFree=33005784/33010684
[pid=72517] ppid=72514 vsize=2282732 memory=1930952 CPUtime=2972.57 cores=4,6
/proc/72517/stat : 72517 (mixed-bag) R 72514 72517 71499 0 -1 4194304 242081 0 0 0 286887 10370 0 0 20 0 1 0 59640322 2337517568 482738 18446744073709551615 4235264 15874749 140732264688512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53854208 140732264692124 140732264692201 140732264692201 140732264697803 0
/proc/72517/statm: 570683 482738 4512 2842 0 552377 0
Current children cumulated CPU time: 2972.57 s
Current children cumulated vsize: 2282732 KiB
Current children cumulated memory: 1930952 KiB
[startup+3042.3 s]
/proc/loadavg: 2.71 2.29 2.16 3/242 72672
/proc/meminfo: memFree=122076548/131382112 swapFree=33005784/33010684
[pid=72517] ppid=72514 vsize=2294764 memory=1948516 CPUtime=3032.37 cores=4,6
/proc/72517/stat : 72517 (mixed-bag) R 72514 72517 71499 0 -1 4194304 244024 0 0 0 292740 10497 0 0 20 0 1 0 59640322 2349838336 487129 18446744073709551615 4235264 15874749 140732264688512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53854208 140732264692124 140732264692201 140732264692201 140732264697803 0
/proc/72517/statm: 573691 487129 4512 2842 0 555385 0
Current children cumulated CPU time: 3032.37 s
Current children cumulated vsize: 2294764 KiB
Current children cumulated memory: 1948516 KiB
[startup+3102.3 s]
/proc/loadavg: 2.30 2.25 2.15 3/242 72674
/proc/meminfo: memFree=121972484/131382112 swapFree=33005784/33010684
[pid=72517] ppid=72514 vsize=2294764 memory=1948516 CPUtime=3092.17 cores=4,6
/proc/72517/stat : 72517 (mixed-bag) R 72514 72517 71499 0 -1 4194304 244042 0 0 0 298517 10700 0 0 20 0 1 0 59640322 2349838336 487129 18446744073709551615 4235264 15874749 140732264688512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53854208 140732264692124 140732264692201 140732264692201 140732264697803 0
/proc/72517/statm: 573691 487129 4512 2842 0 555385 0
Current children cumulated CPU time: 3092.17 s
Current children cumulated vsize: 2294764 KiB
Current children cumulated memory: 1948516 KiB
[startup+3162.3 s]
/proc/loadavg: 2.22 2.23 2.15 3/238 72676
/proc/meminfo: memFree=121972000/131382112 swapFree=33005784/33010684
[pid=72517] ppid=72514 vsize=2294764 memory=1948516 CPUtime=3151.99 cores=4,6
/proc/72517/stat : 72517 (mixed-bag) R 72514 72517 71499 0 -1 4194304 244052 0 0 0 304365 10834 0 0 20 0 1 0 59640322 2349838336 487129 18446744073709551615 4235264 15874749 140732264688512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53854208 140732264692124 140732264692201 140732264692201 140732264697803 0
/proc/72517/statm: 573691 487129 4512 2842 0 555385 0
Current children cumulated CPU time: 3151.99 s
Current children cumulated vsize: 2294764 KiB
Current children cumulated memory: 1948516 KiB
[startup+3222.3 s]
/proc/loadavg: 2.14 2.20 2.15 3/238 72678
/proc/meminfo: memFree=121947456/131382112 swapFree=33005784/33010684
[pid=72517] ppid=72514 vsize=2311148 memory=1974688 CPUtime=3211.8 cores=4,6
/proc/72517/stat : 72517 (mixed-bag) R 72514 72517 71499 0 -1 4194304 246525 0 0 0 310230 10950 0 0 20 0 1 0 59640322 2366615552 493672 18446744073709551615 4235264 15874749 140732264688512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53854208 140732264692124 140732264692201 140732264692201 140732264697803 0
/proc/72517/statm: 577787 493672 4512 2842 0 559481 0
Current children cumulated CPU time: 3211.8 s
Current children cumulated vsize: 2311148 KiB
Current children cumulated memory: 1974688 KiB
[startup+3282.3 s]
/proc/loadavg: 2.09 2.18 2.14 3/238 72680
/proc/meminfo: memFree=121837852/131382112 swapFree=33005784/33010684
[pid=72517] ppid=72514 vsize=2311148 memory=1976096 CPUtime=3271.62 cores=4,6
/proc/72517/stat : 72517 (mixed-bag) R 72514 72517 71499 0 -1 4194304 246540 0 0 0 316018 11144 0 0 20 0 1 0 59640322 2366615552 494024 18446744073709551615 4235264 15874749 140732264688512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53854208 140732264692124 140732264692201 140732264692201 140732264697803 0
/proc/72517/statm: 577787 494024 4512 2842 0 559481 0
Current children cumulated CPU time: 3271.62 s
Current children cumulated vsize: 2311148 KiB
Current children cumulated memory: 1976096 KiB
[startup+3342.3 s]
/proc/loadavg: 2.10 2.16 2.13 3/238 72684
/proc/meminfo: memFree=121838944/131382112 swapFree=33005784/33010684
[pid=72517] ppid=72514 vsize=2311148 memory=1976096 CPUtime=3331.43 cores=4,6
/proc/72517/stat : 72517 (mixed-bag) R 72514 72517 71499 0 -1 4194304 247041 0 0 0 321853 11290 0 0 20 0 1 0 59640322 2366615552 494024 18446744073709551615 4235264 15874749 140732264688512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53854208 140732264692124 140732264692201 140732264692201 140732264697803 0
/proc/72517/statm: 577787 494024 4512 2842 0 559481 0
Current children cumulated CPU time: 3331.43 s
Current children cumulated vsize: 2311148 KiB
Current children cumulated memory: 1976096 KiB
[startup+3402.3 s]
/proc/loadavg: 2.08 2.14 2.13 3/237 72686
/proc/meminfo: memFree=121786540/131382112 swapFree=33005784/33010684
[pid=72517] ppid=72514 vsize=2313480 memory=1981752 CPUtime=3391.25 cores=4,6
/proc/72517/stat : 72517 (mixed-bag) R 72514 72517 71499 0 -1 4194304 247448 0 0 0 327718 11407 0 0 20 0 1 0 59640322 2369003520 495438 18446744073709551615 4235264 15874749 140732264688512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53854208 140732264692124 140732264692201 140732264692201 140732264697803 0
/proc/72517/statm: 578370 495438 4512 2842 0 560064 0
Current children cumulated CPU time: 3391.25 s
Current children cumulated vsize: 2313480 KiB
Current children cumulated memory: 1981752 KiB
[startup+3462.3 s]
/proc/loadavg: 2.15 2.15 2.13 3/237 72688
/proc/meminfo: memFree=121775924/131382112 swapFree=33005784/33010684
[pid=72517] ppid=72514 vsize=2318500 memory=1991096 CPUtime=3451.09 cores=4,6
/proc/72517/stat : 72517 (mixed-bag) R 72514 72517 71499 0 -1 4194304 248245 0 0 0 333520 11589 0 0 20 0 1 0 59640322 2374144000 497774 18446744073709551615 4235264 15874749 140732264688512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53854208 140732264692124 140732264692201 140732264692201 140732264697803 0
/proc/72517/statm: 579625 497774 4512 2842 0 561319 0
Current children cumulated CPU time: 3451.09 s
Current children cumulated vsize: 2318500 KiB
Current children cumulated memory: 1991096 KiB
[startup+3522.3 s]
/proc/loadavg: 2.05 2.12 2.12 3/237 72689
/proc/meminfo: memFree=121777536/131382112 swapFree=33005784/33010684
[pid=72517] ppid=72514 vsize=2318500 memory=1992120 CPUtime=3510.91 cores=4,6
/proc/72517/stat : 72517 (mixed-bag) R 72514 72517 71499 0 -1 4194304 248245 0 0 0 339360 11731 0 0 20 0 1 0 59640322 2374144000 498030 18446744073709551615 4235264 15874749 140732264688512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53854208 140732264692124 140732264692201 140732264692201 140732264697803 0
/proc/72517/statm: 579625 498030 4512 2842 0 561319 0
Current children cumulated CPU time: 3510.91 s
Current children cumulated vsize: 2318500 KiB
Current children cumulated memory: 1992120 KiB
[startup+3582.3 s]
/proc/loadavg: 1.66 2.01 2.08 2/231 72722
/proc/meminfo: memFree=126991488/131382112 swapFree=33005784/33010684
[pid=72517] ppid=72514 vsize=2318500 memory=1992888 CPUtime=3570.75 cores=4,6
/proc/72517/stat : 72517 (mixed-bag) R 72514 72517 71499 0 -1 4194304 248256 0 0 0 345218 11857 0 0 20 0 1 0 59640322 2374144000 498222 18446744073709551615 4235264 15874749 140732264688512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53854208 140732264692124 140732264692201 140732264692201 140732264697803 0
/proc/72517/statm: 579625 498222 4512 2842 0 561319 0
Current children cumulated CPU time: 3570.75 s
Current children cumulated vsize: 2318500 KiB
Current children cumulated memory: 1992888 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.7 s]
/proc/loadavg: 1.49 1.95 2.06 2/231 72723
/proc/meminfo: memFree=126962308/131382112 swapFree=33005784/33010684
[pid=72517] ppid=72514 vsize=2330348 memory=2019016 CPUtime=3600.05 cores=4,6
/proc/72517/stat : 72517 (mixed-bag) R 72514 72517 71499 0 -1 4194304 250102 0 0 0 348063 11942 0 0 20 0 1 0 59640322 2386276352 504754 18446744073709551615 4235264 15874749 140732264688512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53854208 140732264692124 140732264692201 140732264692201 140732264697803 0
/proc/72517/statm: 582587 504754 4512 2842 0 564281 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2330348 KiB
Current children cumulated memory: 2019016 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.75 s]
# the end of solver process 72517 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3480.65 s, system=119.459 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.7 s]
/proc/loadavg: 1.49 1.95 2.06 2/231 72723
/proc/meminfo: memFree=126962308/131382112 swapFree=33005784/33010684
[pid=72517] ppid=72514 vsize=2330348 memory=2019016 CPUtime=3600.05 cores=4,6
/proc/72517/stat : 72517 (mixed-bag) R 72514 72517 71499 0 -1 4194304 250102 0 0 0 348063 11942 0 0 20 0 1 0 59640322 2386276352 504754 18446744073709551615 4235264 15874749 140732264688512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53854208 140732264692124 140732264692201 140732264692201 140732264697803 0
/proc/72517/statm: 582587 504754 4512 2842 0 564281 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2330348 KiB
Current children cumulated memory: 2019016 KiB
Child status: 0
Real time (s): 3611.75
CPU time (s): 3600.11
CPU user time (s): 3480.65
CPU system time (s): 119.459
CPU usage (%): 99.6779
Max. virtual memory (cumulated for all children) (KiB): 2524852
Max. memory (cumulated for all children) (KiB): 2253756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3480.65
system time used= 119.459
maximum resident set size= 2274516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 252938
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= 240
involuntary context switches= 2558
# summary of solver processes directly reported to runsolver:
# pid: 72517
# total CPU time (s): 3600.11
# total CPU user time (s): 3480.65
# total CPU system time (s): 119.459
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.789 second user time and 36.2154 second system time
The end
Begin job on nodeC007 at 2025-07-02 09:00:12
IDJOB=4503005
IDBENCH=155403
IDSOLVER=3340
FILE ID=nodeC007/4503005-1751439612
RUNJOBID= nodeC007-1751435684-72016
SLURM_JOB_ID= 9598383
Free space on /tmp= 431940 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
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-4503005-1751439612/watcher-4503005-1751439612 -o /tmp/evaluation-result-4503005-1751439612/solver-4503005-1751439612 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751435684-72016 --watchdog 3760 mixed-bag HOME/instance-4503005-1751439612.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9f3f50f555350d326304759fc873d478
RANDOM SEED=447953417
nodeC007 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 : 3662.419
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.68
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.571
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.68
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 : 1197.345
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.68
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 : 1197.685
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.68
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 : 3491.842
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.68
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 : 3700.000
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.68
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 : 1197.828
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.68
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.293
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.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 124457496 kB
MemAvailable: 125359152 kB
Buffers: 16 kB
Cached: 1593360 kB
SwapCached: 216 kB
Active: 4653208 kB
Inactive: 1453308 kB
Active(anon): 4477740 kB
Inactive(anon): 48892 kB
Active(file): 175468 kB
Inactive(file): 1404416 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005784 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 36300 kB
Writeback: 0 kB
AnonPages: 4516000 kB
Mapped: 111048 kB
Shmem: 13492 kB
KReclaimable: 322796 kB
Slab: 410688 kB
SReclaimable: 322796 kB
SUnreclaim: 87892 kB
KernelStack: 3872 kB
PageTables: 11676 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 5353716 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149272 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1937408 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: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 431984 MiB
End job on nodeC007 at 2025-07-02 10:00:24