0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.08 c [STEP] solving
0.00/0.08 c #variables 45632 #constraints 1554
0.00/0.08 c SMALL=int, LARGE=long long
0.00/0.08 c bounds - >= 5 @ 0.073269
0.00/0.08 c stratification level: 0
128.69/129.07 c #Conflicts: 1000 | #Constraints: 2554
128.69/129.07 c #Conflicts: 2000 | #Constraints: 3554
128.69/129.07 c INPROCESSING
128.69/129.07 c GARBAGE COLLECT
128.69/129.07 c #Conflicts: 3000 | #Constraints: 3565
128.69/129.07 c #Conflicts: 4000 | #Constraints: 4565
128.69/129.07 c INPROCESSING
128.69/129.07 c GARBAGE COLLECT
128.69/129.07 c #Conflicts: 5000 | #Constraints: 3978
128.69/129.07 c #Conflicts: 6000 | #Constraints: 4978
128.69/129.07 c INPROCESSING
128.69/129.07 c GARBAGE COLLECT
128.69/129.07 c #Conflicts: 7000 | #Constraints: 3984
128.69/129.07 c #Conflicts: 8000 | #Constraints: 4984
128.69/129.07 c #Conflicts: 9000 | #Constraints: 5984
128.69/129.07 c INPROCESSING
128.69/129.07 c GARBAGE COLLECT
128.69/129.07 c #Conflicts: 10000 | #Constraints: 4688
128.69/129.07 c #Conflicts: 11000 | #Constraints: 5688
128.69/129.07 c #Conflicts: 12000 | #Constraints: 6688
128.69/129.07 c INPROCESSING
128.69/129.07 c GARBAGE COLLECT
128.69/129.07 c #Conflicts: 13000 | #Constraints: 5134
128.69/129.07 c #Conflicts: 14000 | #Constraints: 6134
128.69/129.07 c #Conflicts: 15000 | #Constraints: 7134
128.69/129.07 c INPROCESSING
128.69/129.07 c GARBAGE COLLECT
128.69/129.07 c #Conflicts: 16000 | #Constraints: 5363
128.69/129.07 c #Conflicts: 17000 | #Constraints: 6363
128.69/129.07 c #Conflicts: 18000 | #Constraints: 7363
128.69/129.07 c INPROCESSING
128.69/129.07 c GARBAGE COLLECT
128.69/129.07 c #Conflicts: 19000 | #Constraints: 5376
128.69/129.07 c #Conflicts: 20000 | #Constraints: 6376
128.69/129.07 c #Conflicts: 21000 | #Constraints: 7376
128.69/129.07 c INPROCESSING
128.69/129.07 c GARBAGE COLLECT
128.69/129.07 c #Conflicts: 22000 | #Constraints: 5177
128.69/129.07 c #Conflicts: 23000 | #Constraints: 6177
128.69/129.07 c #Conflicts: 24000 | #Constraints: 7177
128.69/129.07 c #Conflicts: 25000 | #Constraints: 8177
128.69/129.07 c INPROCESSING
128.69/129.07 c GARBAGE COLLECT
128.69/129.07 c #Conflicts: 26000 | #Constraints: 5782
128.69/129.07 c #Conflicts: 27000 | #Constraints: 6782
128.69/129.07 c #Conflicts: 28000 | #Constraints: 7782
128.69/129.07 c #Conflicts: 29000 | #Constraints: 8782
128.69/129.07 c INPROCESSING
128.69/129.07 c GARBAGE COLLECT
128.69/129.07 c #Conflicts: 30000 | #Constraints: 6183
128.69/129.07 c #Conflicts: 31000 | #Constraints: 7183
128.69/129.07 c #Conflicts: 32000 | #Constraints: 8183
128.69/129.07 c #Conflicts: 33000 | #Constraints: 9183
128.69/129.07 c INPROCESSING
128.69/129.07 c GARBAGE COLLECT
128.69/129.07 c #Conflicts: 34000 | #Constraints: 6385
128.69/129.07 c #Conflicts: 35000 | #Constraints: 7385
128.69/129.07 c #Conflicts: 36000 | #Constraints: 8385
128.69/129.07 c #Conflicts: 37000 | #Constraints: 9385
128.69/129.07 c INPROCESSING
128.69/129.07 c GARBAGE COLLECT
128.69/129.07 c #Conflicts: 38000 | #Constraints: 6394
128.69/129.07 c #Conflicts: 39000 | #Constraints: 7394
128.69/129.07 c #Conflicts: 40000 | #Constraints: 8394
128.69/129.07 c #Conflicts: 41000 | #Constraints: 9394
128.69/129.07 c INPROCESSING
128.69/129.07 c GARBAGE COLLECT
128.69/129.07 c #Conflicts: 42000 | #Constraints: 6194
128.69/129.07 c #Conflicts: 43000 | #Constraints: 7194
128.69/129.07 c #Conflicts: 44000 | #Constraints: 8194
128.69/129.07 c #Conflicts: 45000 | #Constraints: 9194
128.69/129.07 c #Conflicts: 46000 | #Constraints: 10194
128.69/129.07 c INPROCESSING
128.69/129.07 c GARBAGE COLLECT
128.69/129.07 c #Conflicts: 47000 | #Constraints: 6786
128.69/129.07 c #Conflicts: 48000 | #Constraints: 7786
128.69/129.07 c #Conflicts: 49000 | #Constraints: 8786
128.69/129.07 c #Conflicts: 50000 | #Constraints: 9786
128.69/129.07 c #Conflicts: 51000 | #Constraints: 10786
128.69/129.07 c INPROCESSING
128.69/129.07 c GARBAGE COLLECT
128.69/129.07 c #Conflicts: 52000 | #Constraints: 7183
128.69/129.07 c #Conflicts: 53000 | #Constraints: 8183
128.69/129.07 c #Conflicts: 54000 | #Constraints: 9183
128.69/129.07 c #Conflicts: 55000 | #Constraints: 10183
128.69/129.07 c #Conflicts: 56000 | #Constraints: 11183
128.69/129.07 c INPROCESSING
128.69/129.07 c GARBAGE COLLECT
128.69/129.07 c #Conflicts: 57000 | #Constraints: 7383
128.69/129.07 c #Conflicts: 58000 | #Constraints: 8383
128.69/129.07 c #Conflicts: 59000 | #Constraints: 9383
128.69/129.07 c #Conflicts: 60000 | #Constraints: 10383
128.69/129.07 c #Conflicts: 61000 | #Constraints: 11383
128.69/129.07 c INPROCESSING
128.69/129.07 c GARBAGE COLLECT
128.69/129.07 c #Conflicts: 62000 | #Constraints: 7381
128.69/129.07 c #Conflicts: 63000 | #Constraints: 8381
128.69/129.07 c #Conflicts: 64000 | #Constraints: 9381
128.69/129.07 c #Conflicts: 65000 | #Constraints: 10381
128.69/129.07 c #Conflicts: 66000 | #Constraints: 11381
128.69/129.07 c INPROCESSING
128.69/129.07 c GARBAGE COLLECT
128.69/129.07 c #Conflicts: 67000 | #Constraints: 7183
128.69/129.07 c #Conflicts: 68000 | #Constraints: 8183
422.33/423.42 c #Conflicts: 69000 | #Constraints: 9183
422.33/423.42 c #Conflicts: 70000 | #Constraints: 10183
422.33/423.42 c #Conflicts: 71000 | #Constraints: 11183
422.33/423.42 c #Conflicts: 72000 | #Constraints: 12183
422.33/423.42 c INPROCESSING
422.33/423.42 c GARBAGE COLLECT
422.33/423.42 c #Conflicts: 73000 | #Constraints: 7785
422.33/423.42 c #Conflicts: 74000 | #Constraints: 8785
422.33/423.42 c #Conflicts: 75000 | #Constraints: 9785
422.33/423.42 c #Conflicts: 76000 | #Constraints: 10785
422.33/423.42 c #Conflicts: 77000 | #Constraints: 11785
422.33/423.42 c #Conflicts: 78000 | #Constraints: 12785
422.33/423.42 c INPROCESSING
422.33/423.42 c GARBAGE COLLECT
422.33/423.42 c #Conflicts: 79000 | #Constraints: 8191
422.33/423.42 c #Conflicts: 80000 | #Constraints: 9191
422.33/423.42 c #Conflicts: 81000 | #Constraints: 10191
422.33/423.42 c #Conflicts: 82000 | #Constraints: 11191
422.33/423.42 c #Conflicts: 83000 | #Constraints: 12191
422.33/423.42 c #Conflicts: 84000 | #Constraints: 13191
422.33/423.42 c INPROCESSING
422.33/423.42 c GARBAGE COLLECT
422.33/423.42 c #Conflicts: 85000 | #Constraints: 8395
422.33/423.42 c #Conflicts: 86000 | #Constraints: 9395
422.33/423.42 c #Conflicts: 87000 | #Constraints: 10395
422.33/423.42 c #Conflicts: 88000 | #Constraints: 11395
422.33/423.42 c #Conflicts: 89000 | #Constraints: 12395
422.33/423.42 c #Conflicts: 90000 | #Constraints: 13395
422.33/423.42 c INPROCESSING
422.33/423.42 c GARBAGE COLLECT
422.33/423.42 c #Conflicts: 91000 | #Constraints: 8394
422.33/423.42 c #Conflicts: 92000 | #Constraints: 9394
422.33/423.42 c #Conflicts: 93000 | #Constraints: 10394
422.33/423.42 c #Conflicts: 94000 | #Constraints: 11394
422.33/423.42 c #Conflicts: 95000 | #Constraints: 12394
422.33/423.42 c #Conflicts: 96000 | #Constraints: 13394
422.33/423.42 c INPROCESSING
422.33/423.42 c GARBAGE COLLECT
422.33/423.42 c #Conflicts: 97000 | #Constraints: 8202
422.33/423.42 c #Conflicts: 98000 | #Constraints: 9202
422.33/423.42 c #Conflicts: 99000 | #Constraints: 10202
422.33/423.42 c #Conflicts: 100000 | #Constraints: 11202
422.33/423.42 c #Conflicts: 101000 | #Constraints: 12202
422.33/423.42 c #Conflicts: 102000 | #Constraints: 13202
422.33/423.42 c #Conflicts: 103000 | #Constraints: 14202
422.33/423.42 c INPROCESSING
422.33/423.42 c GARBAGE COLLECT
422.33/423.42 c #Conflicts: 104000 | #Constraints: 8792
422.33/423.42 c #Conflicts: 105000 | #Constraints: 9792
422.33/423.42 c #Conflicts: 106000 | #Constraints: 10792
422.33/423.42 c #Conflicts: 107000 | #Constraints: 11792
422.33/423.42 c #Conflicts: 108000 | #Constraints: 12792
422.33/423.42 c #Conflicts: 109000 | #Constraints: 13792
422.33/423.42 c #Conflicts: 110000 | #Constraints: 14792
422.33/423.42 c INPROCESSING
422.33/423.42 c GARBAGE COLLECT
422.33/423.42 c #Conflicts: 111000 | #Constraints: 9194
422.33/423.42 c #Conflicts: 112000 | #Constraints: 10194
422.33/423.42 c #Conflicts: 113000 | #Constraints: 11194
422.33/423.42 c #Conflicts: 114000 | #Constraints: 12194
422.33/423.42 c #Conflicts: 115000 | #Constraints: 13194
422.33/423.42 c #Conflicts: 116000 | #Constraints: 14194
422.33/423.42 c #Conflicts: 117000 | #Constraints: 15194
422.33/423.42 c INPROCESSING
422.33/423.42 c GARBAGE COLLECT
422.33/423.42 c #Conflicts: 118000 | #Constraints: 9391
422.33/423.42 c #Conflicts: 119000 | #Constraints: 10391
422.33/423.42 c #Conflicts: 120000 | #Constraints: 11391
422.33/423.42 c #Conflicts: 121000 | #Constraints: 12391
422.33/423.42 c #Conflicts: 122000 | #Constraints: 13391
422.33/423.42 c #Conflicts: 123000 | #Constraints: 14391
422.33/423.42 c #Conflicts: 124000 | #Constraints: 15391
422.33/423.42 c INPROCESSING
422.33/423.42 c GARBAGE COLLECT
422.33/423.42 c #Conflicts: 125000 | #Constraints: 9388
422.33/423.42 c #Conflicts: 126000 | #Constraints: 10388
422.33/423.42 c #Conflicts: 127000 | #Constraints: 11388
422.33/423.42 c #Conflicts: 128000 | #Constraints: 12388
422.33/423.42 c #Conflicts: 129000 | #Constraints: 13388
422.33/423.42 c #Conflicts: 130000 | #Constraints: 14388
422.33/423.42 c #Conflicts: 131000 | #Constraints: 15388
422.33/423.42 c INPROCESSING
422.33/423.42 c GARBAGE COLLECT
422.33/423.42 c #Conflicts: 132000 | #Constraints: 9181
422.33/423.42 c #Conflicts: 133000 | #Constraints: 10181
422.33/423.42 c #Conflicts: 134000 | #Constraints: 11181
422.33/423.42 c #Conflicts: 135000 | #Constraints: 12181
422.33/423.42 c #Conflicts: 136000 | #Constraints: 13181
422.33/423.42 c #Conflicts: 137000 | #Constraints: 14181
422.33/423.42 c #Conflicts: 138000 | #Constraints: 15181
422.33/423.42 c #Conflicts: 139000 | #Constraints: 16181
422.33/423.42 c INPROCESSING
422.33/423.42 c GARBAGE COLLECT
422.33/423.42 c #Conflicts: 140000 | #Constraints: 9783
774.34/776.30 c #Conflicts: 141000 | #Constraints: 10783
774.34/776.30 c #Conflicts: 142000 | #Constraints: 11783
774.34/776.30 c #Conflicts: 143000 | #Constraints: 12783
774.34/776.30 c #Conflicts: 144000 | #Constraints: 13783
774.34/776.30 c #Conflicts: 145000 | #Constraints: 14783
774.34/776.30 c #Conflicts: 146000 | #Constraints: 15783
774.34/776.30 c #Conflicts: 147000 | #Constraints: 16783
774.34/776.30 c INPROCESSING
774.34/776.30 c GARBAGE COLLECT
774.34/776.30 c #Conflicts: 148000 | #Constraints: 10185
774.34/776.30 c #Conflicts: 149000 | #Constraints: 11185
774.34/776.30 c #Conflicts: 150000 | #Constraints: 12185
774.34/776.30 c #Conflicts: 151000 | #Constraints: 13185
774.34/776.30 c #Conflicts: 152000 | #Constraints: 14185
774.34/776.30 c #Conflicts: 153000 | #Constraints: 15185
774.34/776.30 c #Conflicts: 154000 | #Constraints: 16185
774.34/776.30 c #Conflicts: 155000 | #Constraints: 17185
774.34/776.30 c INPROCESSING
774.34/776.30 c GARBAGE COLLECT
774.34/776.30 c #Conflicts: 156000 | #Constraints: 10392
774.34/776.30 c #Conflicts: 157000 | #Constraints: 11392
774.34/776.30 c #Conflicts: 158000 | #Constraints: 12392
774.34/776.30 c #Conflicts: 159000 | #Constraints: 13392
774.34/776.30 c #Conflicts: 160000 | #Constraints: 14392
774.34/776.30 c #Conflicts: 161000 | #Constraints: 15392
774.34/776.30 c #Conflicts: 162000 | #Constraints: 16392
774.34/776.30 c #Conflicts: 163000 | #Constraints: 17392
774.34/776.30 c INPROCESSING
774.34/776.30 c GARBAGE COLLECT
774.34/776.30 c #Conflicts: 164000 | #Constraints: 10392
774.34/776.30 c #Conflicts: 165000 | #Constraints: 11392
774.34/776.30 c #Conflicts: 166000 | #Constraints: 12392
774.34/776.30 c #Conflicts: 167000 | #Constraints: 13392
774.34/776.30 c #Conflicts: 168000 | #Constraints: 14392
774.34/776.30 c #Conflicts: 169000 | #Constraints: 15392
774.34/776.30 c #Conflicts: 170000 | #Constraints: 16392
774.34/776.30 c #Conflicts: 171000 | #Constraints: 17392
774.34/776.30 c INPROCESSING
774.34/776.30 c GARBAGE COLLECT
774.34/776.30 c #Conflicts: 172000 | #Constraints: 10189
774.34/776.30 c #Conflicts: 173000 | #Constraints: 11189
774.34/776.30 c #Conflicts: 174000 | #Constraints: 12189
774.34/776.30 c #Conflicts: 175000 | #Constraints: 13189
774.34/776.30 c #Conflicts: 176000 | #Constraints: 14189
774.34/776.30 c #Conflicts: 177000 | #Constraints: 15189
774.34/776.30 c #Conflicts: 178000 | #Constraints: 16189
774.34/776.30 c #Conflicts: 179000 | #Constraints: 17189
774.34/776.30 c #Conflicts: 180000 | #Constraints: 18189
774.34/776.30 c INPROCESSING
774.34/776.30 c GARBAGE COLLECT
774.34/776.30 c #Conflicts: 181000 | #Constraints: 10789
774.34/776.30 c #Conflicts: 182000 | #Constraints: 11789
774.34/776.30 c #Conflicts: 183000 | #Constraints: 12789
774.34/776.30 c #Conflicts: 184000 | #Constraints: 13789
774.34/776.30 c #Conflicts: 185000 | #Constraints: 14789
774.34/776.30 c #Conflicts: 186000 | #Constraints: 15789
774.34/776.30 c #Conflicts: 187000 | #Constraints: 16789
774.34/776.30 c #Conflicts: 188000 | #Constraints: 17789
774.34/776.30 c #Conflicts: 189000 | #Constraints: 18789
774.34/776.30 c INPROCESSING
774.34/776.30 c GARBAGE COLLECT
774.34/776.30 c #Conflicts: 190000 | #Constraints: 11193
774.34/776.30 c #Conflicts: 191000 | #Constraints: 12193
774.34/776.30 c #Conflicts: 192000 | #Constraints: 13193
774.34/776.30 c #Conflicts: 193000 | #Constraints: 14193
774.34/776.30 c #Conflicts: 194000 | #Constraints: 15193
774.34/776.30 c #Conflicts: 195000 | #Constraints: 16193
774.34/776.30 c #Conflicts: 196000 | #Constraints: 17193
774.34/776.30 c #Conflicts: 197000 | #Constraints: 18193
774.34/776.30 c #Conflicts: 198000 | #Constraints: 19193
774.34/776.30 c INPROCESSING
774.34/776.30 c GARBAGE COLLECT
774.34/776.30 c #Conflicts: 199000 | #Constraints: 11393
774.34/776.30 c #Conflicts: 200000 | #Constraints: 12393
774.34/776.30 c #Conflicts: 201000 | #Constraints: 13393
774.34/776.30 c #Conflicts: 202000 | #Constraints: 14393
774.34/776.30 c #Conflicts: 203000 | #Constraints: 15393
774.34/776.30 c #Conflicts: 204000 | #Constraints: 16393
774.34/776.30 c #Conflicts: 205000 | #Constraints: 17393
774.34/776.30 c #Conflicts: 206000 | #Constraints: 18393
774.34/776.30 c #Conflicts: 207000 | #Constraints: 19393
774.34/776.30 c INPROCESSING
774.34/776.30 c GARBAGE COLLECT
774.34/776.30 c #Conflicts: 208000 | #Constraints: 11393
774.34/776.30 c #Conflicts: 209000 | #Constraints: 12393
774.34/776.30 c #Conflicts: 210000 | #Constraints: 13393
774.34/776.30 c #Conflicts: 211000 | #Constraints: 14393
774.34/776.30 c #Conflicts: 212000 | #Constraints: 15393
774.34/776.30 c #Conflicts: 213000 | #Constraints: 16393
1054.51/1057.21 c #Conflicts: 214000 | #Constraints: 17393
1054.51/1057.21 c #Conflicts: 215000 | #Constraints: 18393
1054.51/1057.21 c #Conflicts: 216000 | #Constraints: 19393
1054.51/1057.21 c INPROCESSING
1054.51/1057.21 c GARBAGE COLLECT
1054.51/1057.21 c #Conflicts: 217000 | #Constraints: 11197
1054.51/1057.21 c #Conflicts: 218000 | #Constraints: 12197
1054.51/1057.21 c #Conflicts: 219000 | #Constraints: 13197
1054.51/1057.21 c #Conflicts: 220000 | #Constraints: 14197
1054.51/1057.21 c #Conflicts: 221000 | #Constraints: 15197
1054.51/1057.21 c #Conflicts: 222000 | #Constraints: 16197
1054.51/1057.21 c #Conflicts: 223000 | #Constraints: 17197
1054.51/1057.21 c #Conflicts: 224000 | #Constraints: 18197
1054.51/1057.21 c #Conflicts: 225000 | #Constraints: 19197
1054.51/1057.21 c #Conflicts: 226000 | #Constraints: 20197
1054.51/1057.21 c INPROCESSING
1054.51/1057.21 c GARBAGE COLLECT
1054.51/1057.21 c #Conflicts: 227000 | #Constraints: 11792
1054.51/1057.21 c #Conflicts: 228000 | #Constraints: 12792
1054.51/1057.21 c #Conflicts: 229000 | #Constraints: 13792
1054.51/1057.21 c #Conflicts: 230000 | #Constraints: 14792
1054.51/1057.21 c #Conflicts: 231000 | #Constraints: 15792
1054.51/1057.21 c #Conflicts: 232000 | #Constraints: 16792
1054.51/1057.21 c #Conflicts: 233000 | #Constraints: 17792
1054.51/1057.21 c #Conflicts: 234000 | #Constraints: 18792
1054.51/1057.21 c #Conflicts: 235000 | #Constraints: 19792
1054.51/1057.21 c #Conflicts: 236000 | #Constraints: 20792
1054.51/1057.21 c INPROCESSING
1054.51/1057.21 c GARBAGE COLLECT
1054.51/1057.21 c #Conflicts: 237000 | #Constraints: 12193
1054.51/1057.21 c #Conflicts: 238000 | #Constraints: 13193
1054.51/1057.21 c #Conflicts: 239000 | #Constraints: 14193
1054.51/1057.21 c #Conflicts: 240000 | #Constraints: 15193
1054.51/1057.21 c #Conflicts: 241000 | #Constraints: 16193
1054.51/1057.21 c #Conflicts: 242000 | #Constraints: 17193
1054.51/1057.21 c #Conflicts: 243000 | #Constraints: 18193
1054.51/1057.21 c #Conflicts: 244000 | #Constraints: 19193
1054.51/1057.21 c #Conflicts: 245000 | #Constraints: 20193
1054.51/1057.21 c #Conflicts: 246000 | #Constraints: 21193
1054.51/1057.21 c INPROCESSING
1054.51/1057.21 c GARBAGE COLLECT
1054.51/1057.21 c #Conflicts: 247000 | #Constraints: 12392
1054.51/1057.21 c #Conflicts: 248000 | #Constraints: 13392
1054.51/1057.21 c #Conflicts: 249000 | #Constraints: 14392
1054.51/1057.21 c #Conflicts: 250000 | #Constraints: 15392
1054.51/1057.21 c #Conflicts: 251000 | #Constraints: 16392
1054.51/1057.21 c #Conflicts: 252000 | #Constraints: 17392
1054.51/1057.21 c #Conflicts: 253000 | #Constraints: 18392
1054.51/1057.21 c #Conflicts: 254000 | #Constraints: 19392
1054.51/1057.21 c #Conflicts: 255000 | #Constraints: 20392
1054.51/1057.21 c #Conflicts: 256000 | #Constraints: 21392
1054.51/1057.21 c INPROCESSING
1054.51/1057.21 c GARBAGE COLLECT
1054.51/1057.21 c #Conflicts: 257000 | #Constraints: 12387
1054.51/1057.21 c #Conflicts: 258000 | #Constraints: 13387
1054.51/1057.21 c #Conflicts: 259000 | #Constraints: 14387
1054.51/1057.21 c #Conflicts: 260000 | #Constraints: 15387
1054.51/1057.21 c #Conflicts: 261000 | #Constraints: 16387
1054.51/1057.21 c #Conflicts: 262000 | #Constraints: 17387
1054.51/1057.21 c #Conflicts: 263000 | #Constraints: 18387
1054.51/1057.21 c #Conflicts: 264000 | #Constraints: 19387
1054.51/1057.21 c #Conflicts: 265000 | #Constraints: 20387
1054.51/1057.21 c #Conflicts: 266000 | #Constraints: 21387
1054.51/1057.21 c INPROCESSING
1054.51/1057.21 c GARBAGE COLLECT
1054.51/1057.21 c #Conflicts: 267000 | #Constraints: 12192
1054.51/1057.21 c #Conflicts: 268000 | #Constraints: 13192
1054.51/1057.21 c #Conflicts: 269000 | #Constraints: 14192
1054.51/1057.22 c #Conflicts: 270000 | #Constraints: 15192
1054.51/1057.22 c #Conflicts: 271000 | #Constraints: 16192
1054.51/1057.22 c #Conflicts: 272000 | #Constraints: 17192
1054.51/1057.22 c #Conflicts: 273000 | #Constraints: 18192
1054.51/1057.22 c #Conflicts: 274000 | #Constraints: 19192
1054.51/1057.22 c #Conflicts: 275000 | #Constraints: 20192
1054.51/1057.22 c #Conflicts: 276000 | #Constraints: 21192
1054.51/1057.22 c #Conflicts: 277000 | #Constraints: 22192
1054.51/1057.22 c INPROCESSING
1054.51/1057.22 c GARBAGE COLLECT
1054.51/1057.22 c #Conflicts: 278000 | #Constraints: 12787
1054.51/1057.22 c #Conflicts: 279000 | #Constraints: 13787
1054.51/1057.22 c #Conflicts: 280000 | #Constraints: 14787
1054.51/1057.22 c #Conflicts: 281000 | #Constraints: 15787
1054.51/1057.22 c #Conflicts: 282000 | #Constraints: 16787
1054.51/1057.22 c #Conflicts: 283000 | #Constraints: 17787
1054.51/1057.22 c #Conflicts: 284000 | #Constraints: 18787
1054.51/1057.22 c #Conflicts: 285000 | #Constraints: 19787
1054.51/1057.22 c #Conflicts: 286000 | #Constraints: 20787
1054.51/1057.22 c #Conflicts: 287000 | #Constraints: 21787
1054.51/1057.22 c #Conflicts: 288000 | #Constraints: 22787
1437.53/1441.26 c INPROCESSING
1437.53/1441.26 c GARBAGE COLLECT
1437.53/1441.26 c #Conflicts: 289000 | #Constraints: 13187
1437.53/1441.26 c #Conflicts: 290000 | #Constraints: 14187
1437.53/1441.26 c #Conflicts: 291000 | #Constraints: 15187
1437.53/1441.26 c #Conflicts: 292000 | #Constraints: 16187
1437.53/1441.26 c #Conflicts: 293000 | #Constraints: 17187
1437.53/1441.26 c #Conflicts: 294000 | #Constraints: 18187
1437.53/1441.26 c #Conflicts: 295000 | #Constraints: 19187
1437.53/1441.26 c #Conflicts: 296000 | #Constraints: 20187
1437.53/1441.26 c #Conflicts: 297000 | #Constraints: 21187
1437.53/1441.26 c #Conflicts: 298000 | #Constraints: 22187
1437.53/1441.26 c #Conflicts: 299000 | #Constraints: 23187
1437.53/1441.26 c INPROCESSING
1437.53/1441.26 c GARBAGE COLLECT
1437.53/1441.26 c #Conflicts: 300000 | #Constraints: 13382
1437.53/1441.26 c #Conflicts: 301000 | #Constraints: 14382
1437.53/1441.26 c #Conflicts: 302000 | #Constraints: 15382
1437.53/1441.26 c #Conflicts: 303000 | #Constraints: 16382
1437.53/1441.26 c #Conflicts: 304000 | #Constraints: 17382
1437.53/1441.26 c #Conflicts: 305000 | #Constraints: 18382
1437.53/1441.26 c #Conflicts: 306000 | #Constraints: 19382
1437.53/1441.26 c #Conflicts: 307000 | #Constraints: 20382
1437.53/1441.26 c #Conflicts: 308000 | #Constraints: 21382
1437.53/1441.26 c #Conflicts: 309000 | #Constraints: 22382
1437.53/1441.26 c #Conflicts: 310000 | #Constraints: 23382
1437.53/1441.26 c INPROCESSING
1437.53/1441.26 c GARBAGE COLLECT
1437.53/1441.26 c #Conflicts: 311000 | #Constraints: 13394
1437.53/1441.26 c #Conflicts: 312000 | #Constraints: 14394
1437.53/1441.26 c #Conflicts: 313000 | #Constraints: 15394
1437.53/1441.26 c #Conflicts: 314000 | #Constraints: 16394
1437.53/1441.26 c #Conflicts: 315000 | #Constraints: 17394
1437.53/1441.26 c #Conflicts: 316000 | #Constraints: 18394
1437.53/1441.26 c #Conflicts: 317000 | #Constraints: 19394
1437.53/1441.26 c #Conflicts: 318000 | #Constraints: 20394
1437.53/1441.26 c #Conflicts: 319000 | #Constraints: 21394
1437.53/1441.26 c #Conflicts: 320000 | #Constraints: 22394
1437.53/1441.26 c #Conflicts: 321000 | #Constraints: 23394
1437.53/1441.26 c INPROCESSING
1437.53/1441.26 c GARBAGE COLLECT
1437.53/1441.26 c #Conflicts: 322000 | #Constraints: 13192
1437.53/1441.26 c #Conflicts: 323000 | #Constraints: 14192
1437.53/1441.26 c #Conflicts: 324000 | #Constraints: 15192
1437.53/1441.27 c #Conflicts: 325000 | #Constraints: 16192
1437.53/1441.27 c #Conflicts: 326000 | #Constraints: 17192
1437.53/1441.27 c #Conflicts: 327000 | #Constraints: 18192
1437.53/1441.27 c #Conflicts: 328000 | #Constraints: 19192
1437.53/1441.27 c #Conflicts: 329000 | #Constraints: 20192
1437.53/1441.27 c #Conflicts: 330000 | #Constraints: 21192
1437.53/1441.27 c #Conflicts: 331000 | #Constraints: 22192
1437.53/1441.27 c #Conflicts: 332000 | #Constraints: 23192
1437.53/1441.27 c #Conflicts: 333000 | #Constraints: 24192
1437.53/1441.27 c INPROCESSING
1437.53/1441.27 c GARBAGE COLLECT
1437.53/1441.27 c #Conflicts: 334000 | #Constraints: 13788
1437.53/1441.27 c #Conflicts: 335000 | #Constraints: 14788
1437.53/1441.27 c #Conflicts: 336000 | #Constraints: 15788
1437.53/1441.27 c #Conflicts: 337000 | #Constraints: 16788
1437.53/1441.27 c #Conflicts: 338000 | #Constraints: 17788
1437.53/1441.27 c #Conflicts: 339000 | #Constraints: 18788
1437.53/1441.27 c #Conflicts: 340000 | #Constraints: 19788
1437.53/1441.27 c #Conflicts: 341000 | #Constraints: 20788
1437.53/1441.27 c #Conflicts: 342000 | #Constraints: 21788
1437.53/1441.27 c #Conflicts: 343000 | #Constraints: 22788
1437.53/1441.27 c #Conflicts: 344000 | #Constraints: 23788
1437.53/1441.27 c #Conflicts: 345000 | #Constraints: 24788
1437.53/1441.27 c INPROCESSING
1437.53/1441.27 c GARBAGE COLLECT
1437.53/1441.27 c #Conflicts: 346000 | #Constraints: 14185
1437.53/1441.27 c #Conflicts: 347000 | #Constraints: 15185
1437.53/1441.27 c #Conflicts: 348000 | #Constraints: 16185
1437.53/1441.27 c #Conflicts: 349000 | #Constraints: 17185
1437.53/1441.27 c #Conflicts: 350000 | #Constraints: 18185
1437.53/1441.27 c #Conflicts: 351000 | #Constraints: 19185
1437.53/1441.27 c #Conflicts: 352000 | #Constraints: 20185
1437.53/1441.27 c #Conflicts: 353000 | #Constraints: 21185
1437.53/1441.27 c #Conflicts: 354000 | #Constraints: 22185
1437.53/1441.27 c #Conflicts: 355000 | #Constraints: 23185
1437.53/1441.27 c #Conflicts: 356000 | #Constraints: 24185
1437.53/1441.27 c #Conflicts: 357000 | #Constraints: 25185
1437.53/1441.27 c INPROCESSING
1437.53/1441.27 c GARBAGE COLLECT
1437.53/1441.27 c #Conflicts: 358000 | #Constraints: 14381
1437.53/1441.27 c #Conflicts: 359000 | #Constraints: 15381
1437.53/1441.27 c #Conflicts: 360000 | #Constraints: 16381
1437.53/1441.27 c #Conflicts: 361000 | #Constraints: 17381
1437.53/1441.27 c #Conflicts: 362000 | #Constraints: 18381
1735.45/1739.93 c #Conflicts: 363000 | #Constraints: 19381
1735.45/1739.93 c #Conflicts: 364000 | #Constraints: 20381
1735.45/1739.93 c #Conflicts: 365000 | #Constraints: 21381
1735.45/1739.93 c #Conflicts: 366000 | #Constraints: 22381
1735.45/1739.93 c #Conflicts: 367000 | #Constraints: 23381
1735.45/1739.93 c #Conflicts: 368000 | #Constraints: 24381
1735.45/1739.93 c #Conflicts: 369000 | #Constraints: 25381
1735.45/1739.93 c INPROCESSING
1735.45/1739.93 c GARBAGE COLLECT
1735.45/1739.93 c #Conflicts: 370000 | #Constraints: 14386
1735.45/1739.93 c #Conflicts: 371000 | #Constraints: 15386
1735.45/1739.93 c #Conflicts: 372000 | #Constraints: 16386
1735.45/1739.93 c #Conflicts: 373000 | #Constraints: 17386
1735.45/1739.93 c #Conflicts: 374000 | #Constraints: 18386
1735.45/1739.93 c #Conflicts: 375000 | #Constraints: 19386
1735.45/1739.93 c #Conflicts: 376000 | #Constraints: 20386
1735.45/1739.93 c #Conflicts: 377000 | #Constraints: 21386
1735.45/1739.93 c #Conflicts: 378000 | #Constraints: 22386
1735.45/1739.93 c #Conflicts: 379000 | #Constraints: 23386
1735.45/1739.93 c #Conflicts: 380000 | #Constraints: 24386
1735.45/1739.93 c #Conflicts: 381000 | #Constraints: 25386
1735.45/1739.93 c INPROCESSING
1735.45/1739.93 c GARBAGE COLLECT
1735.45/1739.93 c #Conflicts: 382000 | #Constraints: 14191
1735.45/1739.93 c #Conflicts: 383000 | #Constraints: 15191
1735.45/1739.93 c #Conflicts: 384000 | #Constraints: 16191
1735.45/1739.93 c #Conflicts: 385000 | #Constraints: 17191
1735.45/1739.93 c #Conflicts: 386000 | #Constraints: 18191
1735.45/1739.93 c #Conflicts: 387000 | #Constraints: 19191
1735.45/1739.93 c #Conflicts: 388000 | #Constraints: 20191
1735.45/1739.93 c #Conflicts: 389000 | #Constraints: 21191
1735.45/1739.93 c #Conflicts: 390000 | #Constraints: 22191
1735.45/1739.93 c #Conflicts: 391000 | #Constraints: 23191
1735.45/1739.93 c #Conflicts: 392000 | #Constraints: 24191
1735.45/1739.93 c #Conflicts: 393000 | #Constraints: 25191
1735.45/1739.93 c #Conflicts: 394000 | #Constraints: 26191
1735.45/1739.93 c INPROCESSING
1735.45/1739.93 c GARBAGE COLLECT
1735.45/1739.93 c #Conflicts: 395000 | #Constraints: 14790
1735.45/1739.93 c #Conflicts: 396000 | #Constraints: 15790
1735.45/1739.93 c #Conflicts: 397000 | #Constraints: 16790
1735.45/1739.93 c #Conflicts: 398000 | #Constraints: 17790
1735.45/1739.93 c #Conflicts: 399000 | #Constraints: 18790
1735.45/1739.93 c #Conflicts: 400000 | #Constraints: 19790
1735.45/1739.93 c #Conflicts: 401000 | #Constraints: 20790
1735.45/1739.93 c #Conflicts: 402000 | #Constraints: 21790
1735.45/1739.93 c #Conflicts: 403000 | #Constraints: 22790
1735.45/1739.93 c #Conflicts: 404000 | #Constraints: 23790
1735.45/1739.93 c #Conflicts: 405000 | #Constraints: 24790
1735.45/1739.93 c #Conflicts: 406000 | #Constraints: 25790
1735.45/1739.93 c #Conflicts: 407000 | #Constraints: 26790
1735.45/1739.93 c INPROCESSING
1735.45/1739.93 c GARBAGE COLLECT
1735.45/1739.93 c #Conflicts: 408000 | #Constraints: 15189
1735.45/1739.93 c #Conflicts: 409000 | #Constraints: 16189
1735.45/1739.93 c #Conflicts: 410000 | #Constraints: 17189
1735.45/1739.93 c #Conflicts: 411000 | #Constraints: 18189
1735.45/1739.93 c #Conflicts: 412000 | #Constraints: 19189
1735.45/1739.93 c #Conflicts: 413000 | #Constraints: 20189
1735.45/1739.93 c #Conflicts: 414000 | #Constraints: 21189
1735.45/1739.93 c #Conflicts: 415000 | #Constraints: 22189
1735.45/1739.93 c #Conflicts: 416000 | #Constraints: 23189
1735.45/1739.93 c #Conflicts: 417000 | #Constraints: 24189
1735.45/1739.93 c #Conflicts: 418000 | #Constraints: 25189
1735.45/1739.93 c #Conflicts: 419000 | #Constraints: 26189
1735.45/1739.93 c #Conflicts: 420000 | #Constraints: 27189
1735.45/1739.93 c INPROCESSING
1735.45/1739.93 c GARBAGE COLLECT
1735.45/1739.93 c #Conflicts: 421000 | #Constraints: 15392
1735.45/1739.93 c #Conflicts: 422000 | #Constraints: 16392
1735.45/1739.93 c #Conflicts: 423000 | #Constraints: 17392
1735.45/1739.93 c #Conflicts: 424000 | #Constraints: 18392
1735.45/1739.93 c #Conflicts: 425000 | #Constraints: 19392
1735.45/1739.93 c #Conflicts: 426000 | #Constraints: 20392
1735.45/1739.93 c #Conflicts: 427000 | #Constraints: 21392
1735.45/1739.93 c #Conflicts: 428000 | #Constraints: 22392
1735.45/1739.93 c #Conflicts: 429000 | #Constraints: 23392
1735.45/1739.93 c #Conflicts: 430000 | #Constraints: 24392
1735.45/1739.93 c #Conflicts: 431000 | #Constraints: 25392
1735.45/1739.93 c #Conflicts: 432000 | #Constraints: 26392
1735.45/1739.93 c #Conflicts: 433000 | #Constraints: 27392
1735.45/1739.93 c INPROCESSING
1735.45/1739.93 c GARBAGE COLLECT
1735.45/1739.93 c #Conflicts: 434000 | #Constraints: 15402
1735.45/1739.93 c #Conflicts: 435000 | #Constraints: 16402
1735.45/1739.93 c #Conflicts: 436000 | #Constraints: 17402
1735.45/1739.93 c #Conflicts: 437000 | #Constraints: 18402
2660.30/2667.25 c #Conflicts: 438000 | #Constraints: 19402
2660.30/2667.25 c #Conflicts: 439000 | #Constraints: 20402
2660.30/2667.25 c #Conflicts: 440000 | #Constraints: 21402
2660.30/2667.25 c #Conflicts: 441000 | #Constraints: 22402
2660.30/2667.25 c #Conflicts: 442000 | #Constraints: 23402
2660.30/2667.25 c #Conflicts: 443000 | #Constraints: 24402
2660.30/2667.25 c #Conflicts: 444000 | #Constraints: 25402
2660.30/2667.25 c #Conflicts: 445000 | #Constraints: 26402
2660.30/2667.25 c #Conflicts: 446000 | #Constraints: 27402
2660.30/2667.25 c INPROCESSING
2660.30/2667.25 c GARBAGE COLLECT
2660.30/2667.25 c #Conflicts: 447000 | #Constraints: 15213
2660.30/2667.25 c #Conflicts: 448000 | #Constraints: 16213
2660.30/2667.25 c #Conflicts: 449000 | #Constraints: 17213
2660.30/2667.25 c #Conflicts: 450000 | #Constraints: 18213
2660.30/2667.25 c #Conflicts: 451000 | #Constraints: 19213
2660.30/2667.25 c #Conflicts: 452000 | #Constraints: 20213
2660.30/2667.25 c #Conflicts: 453000 | #Constraints: 21213
2660.30/2667.25 c #Conflicts: 454000 | #Constraints: 22213
2660.30/2667.25 c #Conflicts: 455000 | #Constraints: 23213
2660.30/2667.25 c #Conflicts: 456000 | #Constraints: 24213
2660.30/2667.25 c #Conflicts: 457000 | #Constraints: 25213
2660.30/2667.25 c #Conflicts: 458000 | #Constraints: 26213
2660.30/2667.25 c #Conflicts: 459000 | #Constraints: 27213
2660.30/2667.25 c #Conflicts: 460000 | #Constraints: 28213
2660.30/2667.25 c INPROCESSING
2660.30/2667.25 c GARBAGE COLLECT
2660.30/2667.25 c #Conflicts: 461000 | #Constraints: 15816
2660.30/2667.25 c #Conflicts: 462000 | #Constraints: 16816
2660.30/2667.25 c #Conflicts: 463000 | #Constraints: 17816
2660.30/2667.25 c #Conflicts: 464000 | #Constraints: 18816
2660.30/2667.25 c #Conflicts: 465000 | #Constraints: 19816
2660.30/2667.25 c #Conflicts: 466000 | #Constraints: 20816
2660.30/2667.25 c #Conflicts: 467000 | #Constraints: 21816
2660.30/2667.25 c #Conflicts: 468000 | #Constraints: 22816
2660.30/2667.25 c #Conflicts: 469000 | #Constraints: 23816
2660.30/2667.25 c #Conflicts: 470000 | #Constraints: 24816
2660.30/2667.25 c #Conflicts: 471000 | #Constraints: 25816
2660.30/2667.25 c #Conflicts: 472000 | #Constraints: 26816
2660.30/2667.25 c #Conflicts: 473000 | #Constraints: 27816
2660.30/2667.25 c #Conflicts: 474000 | #Constraints: 28816
2660.30/2667.25 c INPROCESSING
2660.30/2667.25 c GARBAGE COLLECT
2660.30/2667.25 c #Conflicts: 475000 | #Constraints: 16217
2660.30/2667.25 c #Conflicts: 476000 | #Constraints: 17217
2660.30/2667.25 c #Conflicts: 477000 | #Constraints: 18217
2660.30/2667.25 c #Conflicts: 478000 | #Constraints: 19217
2660.30/2667.25 c #Conflicts: 479000 | #Constraints: 20217
2660.30/2667.25 c #Conflicts: 480000 | #Constraints: 21217
2660.30/2667.25 c #Conflicts: 481000 | #Constraints: 22217
2660.30/2667.25 c #Conflicts: 482000 | #Constraints: 23217
2660.30/2667.25 c #Conflicts: 483000 | #Constraints: 24217
2660.30/2667.25 c #Conflicts: 484000 | #Constraints: 25217
2660.30/2667.25 c #Conflicts: 485000 | #Constraints: 26217
2660.30/2667.25 c #Conflicts: 486000 | #Constraints: 27217
2660.30/2667.25 c #Conflicts: 487000 | #Constraints: 28217
2660.30/2667.25 c #Conflicts: 488000 | #Constraints: 29217
2660.30/2667.25 c INPROCESSING
2660.30/2667.25 c GARBAGE COLLECT
2660.30/2667.25 c #Conflicts: 489000 | #Constraints: 16418
2660.30/2667.25 c #Conflicts: 490000 | #Constraints: 17418
2660.30/2667.25 c #Conflicts: 491000 | #Constraints: 18418
2660.30/2667.25 c #Conflicts: 492000 | #Constraints: 19418
2660.30/2667.25 c #Conflicts: 493000 | #Constraints: 20418
2660.30/2667.25 c #Conflicts: 494000 | #Constraints: 21418
2660.30/2667.25 c #Conflicts: 495000 | #Constraints: 22418
2660.30/2667.25 c #Conflicts: 496000 | #Constraints: 23418
2660.30/2667.25 c #Conflicts: 497000 | #Constraints: 24418
2660.30/2667.25 c #Conflicts: 498000 | #Constraints: 25418
2660.30/2667.25 c #Conflicts: 499000 | #Constraints: 26418
2660.30/2667.25 c #Conflicts: 500000 | #Constraints: 27418
2660.30/2667.25 c #Conflicts: 501000 | #Constraints: 28418
2660.30/2667.25 c #Conflicts: 502000 | #Constraints: 29418
2660.30/2667.25 c INPROCESSING
2660.30/2667.25 c GARBAGE COLLECT
2660.30/2667.25 c #Conflicts: 503000 | #Constraints: 16419
2660.30/2667.25 c #Conflicts: 504000 | #Constraints: 17419
2660.30/2667.25 c #Conflicts: 505000 | #Constraints: 18419
2660.30/2667.25 c #Conflicts: 506000 | #Constraints: 19419
2660.30/2667.25 c #Conflicts: 507000 | #Constraints: 20419
2660.30/2667.25 c #Conflicts: 508000 | #Constraints: 21419
2660.30/2667.25 c #Conflicts: 509000 | #Constraints: 22419
2660.30/2667.25 c #Conflicts: 510000 | #Constraints: 23419
2660.30/2667.25 c #Conflicts: 511000 | #Constraints: 24419
2660.30/2667.25 c #Conflicts: 512000 | #Constraints: 25419
2660.30/2667.25 c #Conflicts: 513000 | #Constraints: 26419
3000.71/3008.53 c #Conflicts: 514000 | #Constraints: 27419
3000.71/3008.53 c #Conflicts: 515000 | #Constraints: 28419
3000.71/3008.53 c #Conflicts: 516000 | #Constraints: 29419
3000.71/3008.53 c INPROCESSING
3000.71/3008.53 c GARBAGE COLLECT
3000.71/3008.53 c #Conflicts: 517000 | #Constraints: 16205
3000.71/3008.53 c #Conflicts: 518000 | #Constraints: 17205
3000.71/3008.53 c #Conflicts: 519000 | #Constraints: 18205
3000.71/3008.53 c #Conflicts: 520000 | #Constraints: 19205
3000.71/3008.53 c #Conflicts: 521000 | #Constraints: 20205
3000.71/3008.53 c #Conflicts: 522000 | #Constraints: 21205
3000.71/3008.53 c #Conflicts: 523000 | #Constraints: 22205
3000.71/3008.53 c #Conflicts: 524000 | #Constraints: 23205
3000.71/3008.53 c #Conflicts: 525000 | #Constraints: 24205
3000.71/3008.53 c #Conflicts: 526000 | #Constraints: 25205
3000.71/3008.53 c #Conflicts: 527000 | #Constraints: 26205
3000.71/3008.53 c #Conflicts: 528000 | #Constraints: 27205
3000.71/3008.53 c #Conflicts: 529000 | #Constraints: 28205
3000.71/3008.53 c #Conflicts: 530000 | #Constraints: 29205
3000.71/3008.53 c #Conflicts: 531000 | #Constraints: 30205
3000.71/3008.53 c INPROCESSING
3000.71/3008.53 c GARBAGE COLLECT
3000.71/3008.53 c #Conflicts: 532000 | #Constraints: 16801
3000.71/3008.53 c #Conflicts: 533000 | #Constraints: 17801
3000.71/3008.53 c #Conflicts: 534000 | #Constraints: 18801
3000.71/3008.53 c #Conflicts: 535000 | #Constraints: 19801
3000.71/3008.53 c #Conflicts: 536000 | #Constraints: 20801
3000.71/3008.53 c #Conflicts: 537000 | #Constraints: 21801
3000.71/3008.53 c #Conflicts: 538000 | #Constraints: 22801
3000.71/3008.53 c #Conflicts: 539000 | #Constraints: 23801
3000.71/3008.53 c #Conflicts: 540000 | #Constraints: 24801
3000.71/3008.53 c #Conflicts: 541000 | #Constraints: 25801
3000.71/3008.53 c #Conflicts: 542000 | #Constraints: 26801
3000.71/3008.53 c #Conflicts: 543000 | #Constraints: 27801
3000.71/3008.53 c #Conflicts: 544000 | #Constraints: 28801
3000.71/3008.53 c #Conflicts: 545000 | #Constraints: 29801
3000.71/3008.53 c #Conflicts: 546000 | #Constraints: 30801
3000.71/3008.53 c INPROCESSING
3000.71/3008.53 c GARBAGE COLLECT
3000.71/3008.53 c #Conflicts: 547000 | #Constraints: 17194
3000.71/3008.53 c #Conflicts: 548000 | #Constraints: 18194
3000.71/3008.53 c #Conflicts: 549000 | #Constraints: 19194
3000.71/3008.53 c #Conflicts: 550000 | #Constraints: 20194
3000.71/3008.53 c #Conflicts: 551000 | #Constraints: 21194
3000.71/3008.53 c #Conflicts: 552000 | #Constraints: 22194
3000.71/3008.53 c #Conflicts: 553000 | #Constraints: 23194
3000.71/3008.53 c #Conflicts: 554000 | #Constraints: 24194
3000.71/3008.53 c #Conflicts: 555000 | #Constraints: 25194
3000.71/3008.53 c #Conflicts: 556000 | #Constraints: 26194
3000.71/3008.53 c #Conflicts: 557000 | #Constraints: 27194
3000.71/3008.53 c #Conflicts: 558000 | #Constraints: 28194
3000.71/3008.53 c #Conflicts: 559000 | #Constraints: 29194
3000.71/3008.53 c #Conflicts: 560000 | #Constraints: 30194
3000.71/3008.53 c #Conflicts: 561000 | #Constraints: 31194
3000.71/3008.53 c INPROCESSING
3000.71/3008.53 c GARBAGE COLLECT
3000.71/3008.53 c #Conflicts: 562000 | #Constraints: 17385
3000.71/3008.53 c #Conflicts: 563000 | #Constraints: 18385
3000.71/3008.53 c #Conflicts: 564000 | #Constraints: 19385
3000.71/3008.53 c #Conflicts: 565000 | #Constraints: 20385
3000.71/3008.53 c #Conflicts: 566000 | #Constraints: 21385
3000.71/3008.53 c #Conflicts: 567000 | #Constraints: 22385
3000.71/3008.53 c #Conflicts: 568000 | #Constraints: 23385
3000.71/3008.53 c #Conflicts: 569000 | #Constraints: 24385
3000.71/3008.53 c #Conflicts: 570000 | #Constraints: 25385
3000.71/3008.53 c #Conflicts: 571000 | #Constraints: 26385
3000.71/3008.53 c #Conflicts: 572000 | #Constraints: 27385
3000.71/3008.53 c #Conflicts: 573000 | #Constraints: 28385
3000.71/3008.53 c #Conflicts: 574000 | #Constraints: 29385
3000.71/3008.53 c #Conflicts: 575000 | #Constraints: 30385
3000.71/3008.53 c #Conflicts: 576000 | #Constraints: 31385
3000.71/3008.53 c INPROCESSING
3000.71/3008.53 c GARBAGE COLLECT
3000.71/3008.53 c #Conflicts: 577000 | #Constraints: 17382
3000.71/3008.53 c #Conflicts: 578000 | #Constraints: 18382
3000.71/3008.53 c #Conflicts: 579000 | #Constraints: 19382
3000.71/3008.53 c #Conflicts: 580000 | #Constraints: 20382
3000.71/3008.53 c #Conflicts: 581000 | #Constraints: 21382
3000.71/3008.53 c #Conflicts: 582000 | #Constraints: 22382
3000.71/3008.53 c #Conflicts: 583000 | #Constraints: 23382
3000.71/3008.53 c #Conflicts: 584000 | #Constraints: 24382
3000.71/3008.53 c #Conflicts: 585000 | #Constraints: 25382
3000.71/3008.53 c #Conflicts: 586000 | #Constraints: 26382
3000.71/3008.53 c #Conflicts: 587000 | #Constraints: 27382
3000.71/3008.53 c #Conflicts: 588000 | #Constraints: 28382
3409.62/3418.53 c #Conflicts: 589000 | #Constraints: 29382
3409.62/3418.53 c #Conflicts: 590000 | #Constraints: 30382
3409.62/3418.53 c #Conflicts: 591000 | #Constraints: 31382
3409.62/3418.53 c INPROCESSING
3409.62/3418.53 c GARBAGE COLLECT
3409.62/3418.53 c #Conflicts: 592000 | #Constraints: 17187
3409.62/3418.53 c #Conflicts: 593000 | #Constraints: 18187
3409.62/3418.53 c #Conflicts: 594000 | #Constraints: 19187
3409.62/3418.53 c #Conflicts: 595000 | #Constraints: 20187
3409.62/3418.53 c #Conflicts: 596000 | #Constraints: 21187
3409.62/3418.53 c #Conflicts: 597000 | #Constraints: 22187
3409.62/3418.53 c #Conflicts: 598000 | #Constraints: 23187
3409.62/3418.53 c #Conflicts: 599000 | #Constraints: 24187
3409.62/3418.53 c #Conflicts: 600000 | #Constraints: 25187
3409.62/3418.53 c #Conflicts: 601000 | #Constraints: 26187
3409.62/3418.53 c #Conflicts: 602000 | #Constraints: 27187
3409.62/3418.53 c #Conflicts: 603000 | #Constraints: 28187
3409.62/3418.53 c #Conflicts: 604000 | #Constraints: 29187
3409.62/3418.53 c #Conflicts: 605000 | #Constraints: 30187
3409.62/3418.53 c #Conflicts: 606000 | #Constraints: 31187
3409.62/3418.53 c #Conflicts: 607000 | #Constraints: 32187
3409.62/3418.53 c INPROCESSING
3409.62/3418.53 c GARBAGE COLLECT
3409.62/3418.53 c #Conflicts: 608000 | #Constraints: 17797
3409.62/3418.53 c #Conflicts: 609000 | #Constraints: 18797
3409.62/3418.53 c #Conflicts: 610000 | #Constraints: 19797
3409.62/3418.53 c #Conflicts: 611000 | #Constraints: 20797
3409.62/3418.53 c #Conflicts: 612000 | #Constraints: 21797
3409.62/3418.53 c #Conflicts: 613000 | #Constraints: 22797
3409.62/3418.53 c #Conflicts: 614000 | #Constraints: 23797
3409.62/3418.53 c #Conflicts: 615000 | #Constraints: 24797
3409.62/3418.53 c #Conflicts: 616000 | #Constraints: 25797
3409.62/3418.53 c #Conflicts: 617000 | #Constraints: 26797
3409.62/3418.53 c #Conflicts: 618000 | #Constraints: 27797
3409.62/3418.53 c #Conflicts: 619000 | #Constraints: 28797
3409.62/3418.53 c #Conflicts: 620000 | #Constraints: 29797
3409.62/3418.53 c #Conflicts: 621000 | #Constraints: 30797
3409.62/3418.53 c #Conflicts: 622000 | #Constraints: 31797
3409.62/3418.53 c #Conflicts: 623000 | #Constraints: 32797
3409.62/3418.53 c INPROCESSING
3409.62/3418.53 c GARBAGE COLLECT
3409.62/3418.53 c #Conflicts: 624000 | #Constraints: 18194
3409.62/3418.53 c #Conflicts: 625000 | #Constraints: 19194
3409.62/3418.53 c #Conflicts: 626000 | #Constraints: 20194
3409.62/3418.53 c #Conflicts: 627000 | #Constraints: 21194
3409.62/3418.53 c #Conflicts: 628000 | #Constraints: 22194
3409.62/3418.53 c #Conflicts: 629000 | #Constraints: 23194
3409.62/3418.53 c #Conflicts: 630000 | #Constraints: 24194
3409.62/3418.53 c #Conflicts: 631000 | #Constraints: 25194
3409.62/3418.53 c #Conflicts: 632000 | #Constraints: 26194
3409.62/3418.53 c #Conflicts: 633000 | #Constraints: 27194
3409.62/3418.53 c #Conflicts: 634000 | #Constraints: 28194
3409.62/3418.53 c #Conflicts: 635000 | #Constraints: 29194
3409.62/3418.53 c #Conflicts: 636000 | #Constraints: 30194
3409.62/3418.53 c #Conflicts: 637000 | #Constraints: 31194
3409.62/3418.53 c #Conflicts: 638000 | #Constraints: 32194
3409.62/3418.53 c #Conflicts: 639000 | #Constraints: 33194
3409.62/3418.53 c INPROCESSING
3409.62/3418.53 c GARBAGE COLLECT
3409.62/3418.53 c #Conflicts: 640000 | #Constraints: 18391
3409.62/3418.53 c #Conflicts: 641000 | #Constraints: 19391
3409.62/3418.53 c #Conflicts: 642000 | #Constraints: 20391
3409.62/3418.53 c #Conflicts: 643000 | #Constraints: 21391
3409.62/3418.53 c #Conflicts: 644000 | #Constraints: 22391
3409.62/3418.53 c #Conflicts: 645000 | #Constraints: 23391
3409.62/3418.53 c #Conflicts: 646000 | #Constraints: 24391
3409.62/3418.53 c #Conflicts: 647000 | #Constraints: 25391
3409.62/3418.53 c #Conflicts: 648000 | #Constraints: 26391
3409.62/3418.53 c #Conflicts: 649000 | #Constraints: 27391
3409.62/3418.53 c #Conflicts: 650000 | #Constraints: 28391
3409.62/3418.53 c #Conflicts: 651000 | #Constraints: 29391
3409.62/3418.53 c #Conflicts: 652000 | #Constraints: 30391
3409.62/3418.53 c #Conflicts: 653000 | #Constraints: 31391
3409.62/3418.53 c #Conflicts: 654000 | #Constraints: 32391
3409.62/3418.53 c #Conflicts: 655000 | #Constraints: 33391
3409.62/3418.53 c INPROCESSING
3409.62/3418.53 c GARBAGE COLLECT
3409.62/3418.53 c #Conflicts: 656000 | #Constraints: 18389
3409.62/3418.53 c #Conflicts: 657000 | #Constraints: 19389
3409.62/3418.53 c #Conflicts: 658000 | #Constraints: 20389
3409.62/3418.53 c #Conflicts: 659000 | #Constraints: 21389
3409.62/3418.53 c #Conflicts: 660000 | #Constraints: 22389
3409.62/3418.53 c #Conflicts: 661000 | #Constraints: 23389
3409.62/3418.53 c #Conflicts: 662000 | #Constraints: 24389
3409.62/3418.53 c #Conflicts: 663000 | #Constraints: 25389
3409.62/3418.53 c #Conflicts: 664000 | #Constraints: 26389
3600.01/3609.40 c #Conflicts: 665000 | #Constraints: 27389
3600.01/3609.40 c #Conflicts: 666000 | #Constraints: 28389
3600.01/3609.40 c #Conflicts: 667000 | #Constraints: 29389
3600.01/3609.40 c #Conflicts: 668000 | #Constraints: 30389
3600.01/3609.40 c #Conflicts: 669000 | #Constraints: 31389
3600.01/3609.40 c #Conflicts: 670000 | #Constraints: 32389
3600.01/3609.40 c #Conflicts: 671000 | #Constraints: 33389
3600.01/3609.40 c INPROCESSING
3600.01/3609.40 c GARBAGE COLLECT
3600.01/3609.40 c #Conflicts: 672000 | #Constraints: 18191
3600.01/3609.40 c #Conflicts: 673000 | #Constraints: 19191
3600.01/3609.40 c #Conflicts: 674000 | #Constraints: 20191
3600.01/3609.40 c #Conflicts: 675000 | #Constraints: 21191
3600.01/3609.40 c #Conflicts: 676000 | #Constraints: 22191
3600.01/3609.40 c #Conflicts: 677000 | #Constraints: 23191
3600.01/3609.40 c #Conflicts: 678000 | #Constraints: 24191
3600.01/3609.40 c #Conflicts: 679000 | #Constraints: 25191
3600.01/3609.40 c #Conflicts: 680000 | #Constraints: 26191
3600.01/3609.40 c #Conflicts: 681000 | #Constraints: 27191
3600.01/3609.40 c #Conflicts: 682000 | #Constraints: 28191
3600.01/3609.40 c #Conflicts: 683000 | #Constraints: 29191
3600.01/3609.40 c #Conflicts: 684000 | #Constraints: 30191
3600.01/3609.40 c #Conflicts: 685000 | #Constraints: 31191
3600.01/3609.40 c #Conflicts: 686000 | #Constraints: 32191
3600.01/3609.40 c #Conflicts: 687000 | #Constraints: 33191
3600.01/3609.40 c #Conflicts: 688000 | #Constraints: 34191
3600.01/3609.40 c INPROCESSING
3600.01/3609.40 c GARBAGE COLLECT
3600.01/3609.40 c #Conflicts: 689000 | #Constraints: 18792
3600.01/3609.40 c #Conflicts: 690000 | #Constraints: 19792
3600.01/3609.40 c #Conflicts: 691000 | #Constraints: 20792
3600.01/3609.40 c #Conflicts: 692000 | #Constraints: 21792
3600.01/3609.40 c #Conflicts: 693000 | #Constraints: 22792
3600.01/3609.40 c #Conflicts: 694000 | #Constraints: 23792
3600.01/3609.40 c #Conflicts: 695000 | #Constraints: 24792
3600.01/3609.40 c #Conflicts: 696000 | #Constraints: 25792
3600.01/3609.40 c #Conflicts: 697000 | #Constraints: 26792
3600.01/3609.40 c #Conflicts: 698000 | #Constraints: 27792
3600.01/3609.40 c #Conflicts: 699000 | #Constraints: 28792
3600.01/3609.40 c #Conflicts: 700000 | #Constraints: 29792
3600.01/3609.40 c #Conflicts: 701000 | #Constraints: 30792
3600.01/3609.40 c #Conflicts: 702000 | #Constraints: 31792
3600.01/3609.40 c #Conflicts: 703000 | #Constraints: 32792
3600.01/3609.40 c #Conflicts: 704000 | #Constraints: 33792
3600.01/3609.40 c #Conflicts: 705000 | #Constraints: 34792
3600.01/3609.40 c INPROCESSING
3600.01/3609.40 c GARBAGE COLLECT
3600.01/3609.40 c #Conflicts: 706000 | #Constraints: 19191
3600.01/3609.40 c Program interrupted by user.
3600.01/3609.40 c cpu time 3564.98 s
3600.01/3609.40 c deterministic time 705201943816 7.05e+11
3600.01/3609.40 c optimization time 3.78145 s
3600.01/3609.40 c total solve time 3561.13 s
3600.01/3609.40 c core-guided solve time 3561.13 s
3600.01/3609.40 c propagation time 2574.37 s
3600.01/3609.40 c conflict analysis time 733.874 s
3600.01/3609.40 c propagations 225929137
3600.01/3609.40 c resolve steps 3526256
3600.01/3609.40 c decisions 31390601
3600.01/3609.40 c conflicts 706037
3600.01/3609.40 c restarts 1532
3600.01/3609.40 c inprocessing phases 75
3600.01/3609.40 c input clauses 713
3600.01/3609.40 c input cardinalities 712
3600.01/3609.40 c input general constraints 130
3600.01/3609.40 c input average constraint length 117.41
3600.01/3609.40 c input average constraint degree 24911.80
3600.01/3609.40 c learned clauses 6080
3600.01/3609.40 c learned cardinalities 95
3600.01/3609.40 c learned general constraints 699862
3600.01/3609.40 c learned average constraint length 3194.62
3600.01/3609.40 c learned average constraint degree 27502571.81
3600.01/3609.40 c watched constraints 425851
3600.01/3609.40 c counting constraints 274141
3600.01/3609.40 c gcd simplifications 3343
3600.01/3609.40 c detected cardinalities 27
3600.01/3609.40 c weakened non-implied lits 286316672
3600.01/3609.40 c weakened non-implying lits 110884
3600.01/3609.40 c original variables 45632
3600.01/3609.40 c clausal propagations 2499870
3600.01/3609.40 c cardinality propagations 24911399
3600.01/3609.40 c watched propagations 13167595
3600.01/3609.40 c counting propagations 183801009
3600.01/3609.40 c watch lookups 18769763128
3600.01/3609.40 c watch backjump lookups 18376535963
3600.01/3609.40 c watch checks 547532083333
3600.01/3609.40 c propagation checks 113707696868
3600.01/3609.40 c constraint additions 6300561434
3600.01/3609.40 c trail pops 257983351
3600.01/3609.40 c formula constraints 1554
3600.01/3609.40 c learned constraints 706037
3600.01/3609.40 c bound constraints 0
3600.01/3609.40 c core-guided constraints 1
3600.01/3609.40 c encountered formula constraints 2431149
3600.01/3609.40 c encountered learned constraints 1799877
3600.01/3609.40 c encountered bound constraints 0
3600.01/3609.40 c encountered core-guided constraints 1267
3600.01/3609.40 c LP total time 0 s
3600.01/3609.40 c LP solve time 0 s
3600.01/3609.40 c LP constraints added 0
3600.01/3609.40 c LP constraints removed 0
3600.01/3609.40 c LP pivots internal 0
3600.01/3609.40 c LP pivots root 0
3600.01/3609.40 c LP calls 0
3600.01/3609.40 c LP optimalities 0
3600.01/3609.40 c LP no pivot count 0
3600.01/3609.40 c LP infeasibilities 0
3600.01/3609.40 c LP valid Farkas constraints 0
3600.01/3609.40 c LP learned Farkas constraints 0
3600.01/3609.40 c LP basis resets 0
3600.01/3609.40 c LP cycling count 0
3600.01/3609.40 c LP singular count 0
3600.01/3609.40 c LP no primal count 0
3600.01/3609.40 c LP no farkas count 0
3600.01/3609.40 c LP other issue count 0
3600.01/3609.40 c LP Gomory cuts 0
3600.01/3609.40 c LP learned cuts 0
3600.01/3609.40 c LP deleted cuts 0
3600.01/3609.40 c LP encountered Gomory constraints 0
3600.01/3609.40 c LP encountered Farkas constraints 0
3600.01/3609.40 c LP encountered learned Farkas constraints 0
3600.01/3609.40 c CG auxiliary variables introduced 1
3600.01/3609.40 c CG solutions found 0
3600.01/3609.40 c CG cores constructed 0
3600.01/3609.40 c CG core cardinality constraints returned 0
3600.01/3609.40 c CG unit cores 0
3600.01/3609.40 c CG single cores 0
3600.01/3609.40 c CG blocks removed during cardinality reduction 0
3600.01/3609.40 c CG first core best 0
3600.01/3609.40 c CG decision core best 0
3600.01/3609.40 c CG core reduction tie 0
3600.01/3609.40 c CG core degree average 0.00
3600.01/3609.40 c CG core slack average 0.00
3600.01/3609.40 c CG exhausted 0
3600.01/3609.40 c CG exhaust time 0 s
3600.01/3609.40 c CG trimmed 0
3600.01/3609.40 c CG trim time 0 s
3600.01/3609.40 c CG minimized 0
3600.01/3609.40 c CG minimize time 0 s
3600.01/3609.40 c CG am1 prop time 0.003887 s
3600.01/3609.40 c CG # am1s reformulated 1
3600.01/3609.40 c CG lower bound derived from am1s 58
3600.01/3609.40 c CG # clausal cores 0
3600.01/3609.40 c CG # cardinality cores 0
3600.01/3609.40 c CG # pb cores 0
3600.01/3609.40 c CG # pb reforms 0
3600.01/3609.40 c CG # cores discarded because of pb reform 0
3600.01/3609.40 d LOWERBOUND 0
3600.01/3609.40 d NCORES 0
3600.01/3609.40 d NPBCORES 0
3600.01/3609.40 d NPBREFORM 0
3600.01/3609.40 d NTRIMMED 0
3600.01/3609.40 d NEXHAUSTED 0
3600.01/3609.40 d NAM1S 1
3600.01/3609.40 d AM1LB 58
3600.01/3609.47 s UNKNOWN
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: 64059 MiB (61706 MiB free)
memory of node 1: 64510 MiB (61629 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454607-1721478813/watcher-4454607-1721478813 -o /tmp/evaluation-result-4454607-1721478813/solver-4454607-1721478813 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721471602-1052983 --watchdog 3760 pb-oll-rs HOME/instance-4454607-1721478813.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1057247, runsolver pid=1057244
[startup+0.100101 s]*
/proc/loadavg: 4.08 4.10 4.11 6/243 1057248
/proc/meminfo: memFree=126277984/131655788 swapFree=131071996/131071996
[pid=1057247] ppid=1057244 vsize=56368 memory=21932 CPUtime=0.1 cores=5,7
/proc/1057247/stat : 1057247 (pb-oll-rs) R 1057244 1057247 1052970 0 -1 4194304 4666 0 0 0 8 2 0 0 20 0 1 0 200037679 57720832 5483 134679101440 4194304 5384485 140723192405136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20156416 140723192411157 140723192411234 140723192411234 140723192418251 0
/proc/1057247/statm: 14092 5483 1325 291 0 5626 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 56368 KiB
Current children cumulated memory: 21932 KiB
[startup+0.213389 s]*
/proc/loadavg: 4.08 4.10 4.11 5/243 1057248
/proc/meminfo: memFree=126267724/131655788 swapFree=131071996/131071996
[pid=1057247] ppid=1057244 vsize=59748 memory=27532 CPUtime=0.22 cores=5,7
/proc/1057247/stat : 1057247 (pb-oll-rs) R 1057244 1057247 1052970 0 -1 4194304 5488 0 0 0 18 4 0 0 20 0 1 0 200037679 61181952 6883 134679101440 4194304 5384485 140723192405136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20156416 140723192411157 140723192411234 140723192411234 140723192418251 0
/proc/1057247/statm: 14937 6883 1357 291 0 6471 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 59748 KiB
Current children cumulated memory: 27532 KiB
[startup+0.313384 s]*
/proc/loadavg: 4.08 4.10 4.11 5/243 1057248
/proc/meminfo: memFree=126262340/131655788 swapFree=131071996/131071996
[pid=1057247] ppid=1057244 vsize=62880 memory=30680 CPUtime=0.32 cores=5,7
/proc/1057247/stat : 1057247 (pb-oll-rs) R 1057244 1057247 1052970 0 -1 4194304 5761 0 0 0 28 4 0 0 20 0 1 0 200037679 64389120 7670 134679101440 4194304 5384485 140723192405136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20156416 140723192411157 140723192411234 140723192411234 140723192418251 0
/proc/1057247/statm: 15720 7670 1357 291 0 7254 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 62880 KiB
Current children cumulated memory: 30680 KiB
[startup+0.700279 s]
/proc/loadavg: 4.08 4.10 4.11 5/243 1057248
/proc/meminfo: memFree=126255700/131655788 swapFree=131071996/131071996
[pid=1057247] ppid=1057244 vsize=68560 memory=35876 CPUtime=0.69 cores=5,7
/proc/1057247/stat : 1057247 (pb-oll-rs) R 1057244 1057247 1052970 0 -1 4194304 6597 0 0 0 62 7 0 0 20 0 1 0 200037679 70205440 8969 134679101440 4194304 5384485 140723192405136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20156416 140723192411157 140723192411234 140723192411234 140723192418251 0
/proc/1057247/statm: 17140 8969 1357 291 0 8674 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 68560 KiB
Current children cumulated memory: 35876 KiB
[startup+1.50027 s]
/proc/loadavg: 4.08 4.10 4.11 5/243 1057248
/proc/meminfo: memFree=126229196/131655788 swapFree=131071996/131071996
[pid=1057247] ppid=1057244 vsize=91772 memory=55984 CPUtime=1.48 cores=5,7
/proc/1057247/stat : 1057247 (pb-oll-rs) R 1057244 1057247 1052970 0 -1 4194304 8540 0 0 0 136 12 0 0 20 0 1 0 200037679 93974528 13996 134679101440 4194304 5384485 140723192405136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20156416 140723192411157 140723192411234 140723192411234 140723192418251 0
/proc/1057247/statm: 22943 13996 1357 291 0 14477 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 91772 KiB
Current children cumulated memory: 55984 KiB
[startup+3.11331 s]
/proc/loadavg: 4.08 4.10 4.11 5/243 1057248
/proc/meminfo: memFree=126123392/131655788 swapFree=131071996/131071996
[pid=1057247] ppid=1057244 vsize=150288 memory=91644 CPUtime=3.09 cores=5,7
/proc/1057247/stat : 1057247 (pb-oll-rs) R 1057244 1057247 1052970 0 -1 4194304 11816 0 0 0 291 18 0 0 20 0 1 0 200037679 153894912 22911 134679101440 4194304 5384485 140723192405136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20156416 140723192411157 140723192411234 140723192411234 140723192418251 0
/proc/1057247/statm: 37572 22911 1357 291 0 29106 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 150288 KiB
Current children cumulated memory: 91644 KiB
[startup+6.30025 s]
/proc/loadavg: 4.08 4.10 4.11 5/243 1057248
/proc/meminfo: memFree=126020788/131655788 swapFree=131071996/131071996
[pid=1057247] ppid=1057244 vsize=182356 memory=128060 CPUtime=6.27 cores=5,7
/proc/1057247/stat : 1057247 (pb-oll-rs) R 1057244 1057247 1052970 0 -1 4194304 20320 0 0 0 584 43 0 0 20 0 1 0 200037679 186732544 32015 134679101440 4194304 5384485 140723192405136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20156416 140723192411157 140723192411234 140723192411234 140723192418251 0
/proc/1057247/statm: 45589 32015 1415 291 0 37123 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 182356 KiB
Current children cumulated memory: 128060 KiB
[startup+12.7003 s]
/proc/loadavg: 4.15 4.12 4.11 5/243 1057249
/proc/meminfo: memFree=125843396/131655788 swapFree=131071996/131071996
[pid=1057247] ppid=1057244 vsize=232976 memory=178668 CPUtime=12.66 cores=5,7
/proc/1057247/stat : 1057247 (pb-oll-rs) R 1057244 1057247 1052970 0 -1 4194304 32994 0 0 0 1188 78 0 0 20 0 1 0 200037679 238567424 44667 134679101440 4194304 5384485 140723192405136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20156416 140723192411157 140723192411234 140723192411234 140723192418251 0
/proc/1057247/statm: 58244 44667 1415 291 0 49778 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 232976 KiB
Current children cumulated memory: 178668 KiB
[startup+25.5003 s]
/proc/loadavg: 4.18 4.13 4.12 5/242 1057251
/proc/meminfo: memFree=125542268/131655788 swapFree=131071996/131071996
[pid=1057247] ppid=1057244 vsize=293044 memory=256076 CPUtime=25.42 cores=5,7
/proc/1057247/stat : 1057247 (pb-oll-rs) R 1057244 1057247 1052970 0 -1 4194304 47782 0 0 0 2420 122 0 0 20 0 1 0 200037679 300077056 64019 134679101440 4194304 5384485 140723192405136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20156416 140723192411157 140723192411234 140723192411234 140723192418251 0
/proc/1057247/statm: 73261 64019 1415 291 0 64795 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 293044 KiB
Current children cumulated memory: 256076 KiB
[startup+51.1132 s]
/proc/loadavg: 4.36 4.18 4.13 5/242 1057256
/proc/meminfo: memFree=125130296/131655788 swapFree=131071996/131071996
[pid=1057247] ppid=1057244 vsize=419044 memory=353036 CPUtime=50.98 cores=5,7
/proc/1057247/stat : 1057247 (pb-oll-rs) R 1057244 1057247 1052970 0 -1 4194304 67430 0 0 0 4868 230 0 0 20 0 1 0 200037679 429101056 88259 134679101440 4194304 5384485 140723192405136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20156416 140723192411157 140723192411234 140723192411234 140723192418251 0
/proc/1057247/statm: 104761 88259 1415 291 0 96295 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 419044 KiB
Current children cumulated memory: 353036 KiB
[startup+102.3 s]
/proc/loadavg: 4.21 4.17 4.13 5/242 1057265
/proc/meminfo: memFree=124408936/131655788 swapFree=131071996/131071996
[pid=1057247] ppid=1057244 vsize=756864 memory=637352 CPUtime=102.04 cores=5,7
/proc/1057247/stat : 1057247 (pb-oll-rs) R 1057244 1057247 1052970 0 -1 4194304 128343 0 0 0 9865 339 0 0 20 0 1 0 200037679 775028736 159338 134679101440 4194304 5384485 140723192405136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20156416 140723192411157 140723192411234 140723192411234 140723192418251 0
/proc/1057247/statm: 189216 159338 1415 291 0 180750 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 756864 KiB
Current children cumulated memory: 637352 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.15 4.12 5/241 1057276
/proc/meminfo: memFree=123738672/131655788 swapFree=131071996/131071996
[pid=1057247] ppid=1057244 vsize=1037108 memory=947756 CPUtime=161.89 cores=5,7
/proc/1057247/stat : 1057247 (pb-oll-rs) R 1057244 1057247 1052970 0 -1 4194304 190207 0 0 0 15701 488 0 0 20 0 1 0 200037679 1061998592 236939 134679101440 4194304 5384485 140723192405136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20156416 140723192411157 140723192411234 140723192411234 140723192418251 0
/proc/1057247/statm: 259277 236939 1415 291 0 250811 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 1037108 KiB
Current children cumulated memory: 947756 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.13 4.12 5/241 1057286
/proc/meminfo: memFree=122807508/131655788 swapFree=131071996/131071996
[pid=1057247] ppid=1057244 vsize=1547096 memory=1403516 CPUtime=221.74 cores=5,7
/proc/1057247/stat : 1057247 (pb-oll-rs) R 1057244 1057247 1052970 0 -1 4194304 273525 0 0 0 21633 541 0 0 20 0 1 0 200037679 1584226304 350879 134679101440 4194304 5384485 140723192405136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20156416 140723192411157 140723192411234 140723192411234 140723192418251 0
/proc/1057247/statm: 386774 350879 1415 291 0 378308 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 1547096 KiB
Current children cumulated memory: 1403516 KiB
[startup+282.3 s]
/proc/loadavg: 4.26 4.17 4.13 5/241 1057296
/proc/meminfo: memFree=122473584/131655788 swapFree=131071996/131071996
[pid=1057247] ppid=1057244 vsize=1552536 memory=1413892 CPUtime=281.59 cores=5,7
/proc/1057247/stat : 1057247 (pb-oll-rs) R 1057244 1057247 1052970 0 -1 4194304 276161 0 0 0 27608 551 0 0 20 0 1 0 200037679 1589796864 353473 134679101440 4194304 5384485 140723192405136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20156416 140723192411157 140723192411234 140723192411234 140723192418251 0
/proc/1057247/statm: 388134 353473 1415 291 0 379668 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 1552536 KiB
Current children cumulated memory: 1413892 KiB
[startup+342.3 s]
/proc/loadavg: 4.82 4.35 4.20 5/241 1057353
/proc/meminfo: memFree=123256732/131655788 swapFree=131071996/131071996
[pid=1057247] ppid=1057244 vsize=1884480 memory=1519624 CPUtime=341.43 cores=5,7
/proc/1057247/stat : 1057247 (pb-oll-rs) R 1057244 1057247 1052970 0 -1 4194304 297605 0 0 0 33533 610 0 0 20 0 1 0 200037679 1929707520 379906 134679101440 4194304 5384485 140723192405136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20156416 140723192411157 140723192411234 140723192411234 140723192418251 0
/proc/1057247/statm: 471120 379906 1415 291 0 462654 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 1884480 KiB
Current children cumulated memory: 1519624 KiB
[startup+402.3 s]
/proc/loadavg: 4.36 4.30 4.18 5/241 1057363
/proc/meminfo: memFree=123051392/131655788 swapFree=131071996/131071996
[pid=1057247] ppid=1057244 vsize=1884480 memory=1519968 CPUtime=401.28 cores=5,7
/proc/1057247/stat : 1057247 (pb-oll-rs) R 1057244 1057247 1052970 0 -1 4194304 298040 0 0 0 39383 745 0 0 20 0 1 0 200037679 1929707520 379992 134679101440 4194304 5384485 140723192405136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20156416 140723192411157 140723192411234 140723192411234 140723192418251 0
/proc/1057247/statm: 471120 379992 1415 291 0 462654 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 1884480 KiB
Current children cumulated memory: 1519968 KiB
[startup+462.3 s]
/proc/loadavg: 4.27 4.28 4.18 5/244 1057379
/proc/meminfo: memFree=122696444/131655788 swapFree=131071996/131071996
[pid=1057247] ppid=1057244 vsize=1992564 memory=1612428 CPUtime=461.13 cores=5,7
/proc/1057247/stat : 1057247 (pb-oll-rs) R 1057244 1057247 1052970 0 -1 4194304 322030 0 0 0 45313 800 0 0 20 0 1 0 200037679 2040385536 403107 134679101440 4194304 5384485 140723192405136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20156416 140723192411157 140723192411234 140723192411234 140723192418251 0
/proc/1057247/statm: 498141 403107 1415 291 0 489675 0
################
# More data... #
################
/proc/1057247/statm: 1331413 1194704 1415 291 0 1322947 0
Current children cumulated CPU time: 2854.89 s
Current children cumulated vsize: 5325652 KiB
Current children cumulated memory: 4778816 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.16 4.18 5/244 1058385
/proc/meminfo: memFree=112275612/131655788 swapFree=131071996/131071996
[pid=1057247] ppid=1057244 vsize=5337652 memory=4792000 CPUtime=2914.73 cores=5,7
/proc/1057247/stat : 1057247 (pb-oll-rs) R 1057244 1057247 1052970 0 -1 4194304 877130 0 0 0 288709 2764 0 0 20 0 1 0 200037679 5465755648 1198000 134679101440 4194304 5384485 140723192405136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20156416 140723192411157 140723192411234 140723192411234 140723192418251 0
/proc/1057247/statm: 1334413 1198000 1415 291 0 1325947 0
Current children cumulated CPU time: 2914.73 s
Current children cumulated vsize: 5337652 KiB
Current children cumulated memory: 4792000 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.14 4.17 5/244 1058396
/proc/meminfo: memFree=112167204/131655788 swapFree=131071996/131071996
[pid=1057247] ppid=1057244 vsize=5337652 memory=4792012 CPUtime=2974.58 cores=5,7
/proc/1057247/stat : 1057247 (pb-oll-rs) R 1057244 1057247 1052970 0 -1 4194304 878338 0 0 0 294590 2868 0 0 20 0 1 0 200037679 5465755648 1198003 134679101440 4194304 5384485 140723192405136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20156416 140723192411157 140723192411234 140723192411234 140723192418251 0
/proc/1057247/statm: 1334413 1198003 1415 291 0 1325947 0
Current children cumulated CPU time: 2974.58 s
Current children cumulated vsize: 5337652 KiB
Current children cumulated memory: 4792012 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.14 4.17 5/244 1058406
/proc/meminfo: memFree=111933024/131655788 swapFree=131071996/131071996
[pid=1057247] ppid=1057244 vsize=5337652 memory=4792020 CPUtime=3034.42 cores=5,7
/proc/1057247/stat : 1057247 (pb-oll-rs) R 1057244 1057247 1052970 0 -1 4194304 879246 0 0 0 300503 2939 0 0 20 0 1 0 200037679 5465755648 1198005 134679101440 4194304 5384485 140723192405136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20156416 140723192411157 140723192411234 140723192411234 140723192418251 0
/proc/1057247/statm: 1334413 1198005 1415 291 0 1325947 0
Current children cumulated CPU time: 3034.42 s
Current children cumulated vsize: 5337652 KiB
Current children cumulated memory: 4792020 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.13 4.17 5/244 1058417
/proc/meminfo: memFree=111857448/131655788 swapFree=131071996/131071996
[pid=1057247] ppid=1057244 vsize=5337652 memory=4792036 CPUtime=3094.26 cores=5,7
/proc/1057247/stat : 1057247 (pb-oll-rs) R 1057244 1057247 1052970 0 -1 4194304 879361 0 0 0 306466 2960 0 0 20 0 1 0 200037679 5465755648 1198009 134679101440 4194304 5384485 140723192405136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20156416 140723192411157 140723192411234 140723192411234 140723192418251 0
/proc/1057247/statm: 1334413 1198009 1415 291 0 1325947 0
Current children cumulated CPU time: 3094.26 s
Current children cumulated vsize: 5337652 KiB
Current children cumulated memory: 4792036 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.15 4.17 5/241 1058810
/proc/meminfo: memFree=111802920/131655788 swapFree=131071996/131071996
[pid=1057247] ppid=1057244 vsize=5338248 memory=4792796 CPUtime=3154.11 cores=5,7
/proc/1057247/stat : 1057247 (pb-oll-rs) R 1057244 1057247 1052970 0 -1 4194304 880938 0 0 0 312427 2984 0 0 20 0 1 0 200037679 5466365952 1198199 134679101440 4194304 5384485 140723192405136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20156416 140723192411157 140723192411234 140723192411234 140723192418251 0
/proc/1057247/statm: 1334562 1198199 1415 291 0 1326096 0
Current children cumulated CPU time: 3154.11 s
Current children cumulated vsize: 5338248 KiB
Current children cumulated memory: 4792796 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.15 4.17 5/241 1058820
/proc/meminfo: memFree=111782508/131655788 swapFree=131071996/131071996
[pid=1057247] ppid=1057244 vsize=5346840 memory=4802176 CPUtime=3213.94 cores=5,7
/proc/1057247/stat : 1057247 (pb-oll-rs) R 1057244 1057247 1052970 0 -1 4194304 884557 0 0 0 318353 3041 0 0 20 0 1 0 200037679 5475164160 1200544 134679101440 4194304 5384485 140723192405136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20156416 140723192411157 140723192411234 140723192411234 140723192418251 0
/proc/1057247/statm: 1336710 1200544 1415 291 0 1328244 0
Current children cumulated CPU time: 3213.94 s
Current children cumulated vsize: 5346840 KiB
Current children cumulated memory: 4802176 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.14 4.17 5/241 1058830
/proc/meminfo: memFree=111750880/131655788 swapFree=131071996/131071996
[pid=1057247] ppid=1057244 vsize=5348236 memory=4804072 CPUtime=3273.78 cores=5,7
/proc/1057247/stat : 1057247 (pb-oll-rs) R 1057244 1057247 1052970 0 -1 4194304 885413 0 0 0 324243 3135 0 0 20 0 1 0 200037679 5476593664 1201018 134679101440 4194304 5384485 140723192405136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20156416 140723192411157 140723192411234 140723192411234 140723192418251 0
/proc/1057247/statm: 1337059 1201018 1415 291 0 1328593 0
Current children cumulated CPU time: 3273.78 s
Current children cumulated vsize: 5348236 KiB
Current children cumulated memory: 4804072 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.13 4.16 5/243 1059011
/proc/meminfo: memFree=111659828/131655788 swapFree=131071996/131071996
[pid=1057247] ppid=1057244 vsize=5348236 memory=4804096 CPUtime=3333.62 cores=5,7
/proc/1057247/stat : 1057247 (pb-oll-rs) R 1057244 1057247 1052970 0 -1 4194304 886877 0 0 0 330145 3217 0 0 20 0 1 0 200037679 5476593664 1201024 134679101440 4194304 5384485 140723192405136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20156416 140723192411157 140723192411234 140723192411234 140723192418251 0
/proc/1057247/statm: 1337059 1201024 1415 291 0 1328593 0
Current children cumulated CPU time: 3333.62 s
Current children cumulated vsize: 5348236 KiB
Current children cumulated memory: 4804096 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.13 4.16 5/244 1059022
/proc/meminfo: memFree=111558548/131655788 swapFree=131071996/131071996
[pid=1057247] ppid=1057244 vsize=5348236 memory=4804108 CPUtime=3393.46 cores=5,7
/proc/1057247/stat : 1057247 (pb-oll-rs) R 1057244 1057247 1052970 0 -1 4194304 887483 0 0 0 336097 3249 0 0 20 0 1 0 200037679 5476593664 1201027 134679101440 4194304 5384485 140723192405136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20156416 140723192411157 140723192411234 140723192411234 140723192418251 0
/proc/1057247/statm: 1337059 1201027 1415 291 0 1328593 0
Current children cumulated CPU time: 3393.46 s
Current children cumulated vsize: 5348236 KiB
Current children cumulated memory: 4804108 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.14 4.16 5/246 1059090
/proc/meminfo: memFree=111384992/131655788 swapFree=131071996/131071996
[pid=1057247] ppid=1057244 vsize=5348236 memory=4804196 CPUtime=3453.3 cores=5,7
/proc/1057247/stat : 1057247 (pb-oll-rs) R 1057244 1057247 1052970 0 -1 4194304 887974 0 0 0 341976 3354 0 0 20 0 1 0 200037679 5476593664 1201049 134679101440 4194304 5384485 140723192405136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20156416 140723192411157 140723192411234 140723192411234 140723192418251 0
/proc/1057247/statm: 1337059 1201049 1415 291 0 1328593 0
Current children cumulated CPU time: 3453.3 s
Current children cumulated vsize: 5348236 KiB
Current children cumulated memory: 4804196 KiB
[startup+3522.3 s]
/proc/loadavg: 4.21 4.14 4.16 5/246 1059100
/proc/meminfo: memFree=111232000/131655788 swapFree=131071996/131071996
[pid=1057247] ppid=1057244 vsize=5348236 memory=4804212 CPUtime=3513.14 cores=5,7
/proc/1057247/stat : 1057247 (pb-oll-rs) R 1057244 1057247 1052970 0 -1 4194304 888292 0 0 0 347867 3447 0 0 20 0 1 0 200037679 5476593664 1201053 134679101440 4194304 5384485 140723192405136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20156416 140723192411157 140723192411234 140723192411234 140723192418251 0
/proc/1057247/statm: 1337059 1201053 1415 291 0 1328593 0
Current children cumulated CPU time: 3513.14 s
Current children cumulated vsize: 5348236 KiB
Current children cumulated memory: 4804212 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.13 4.15 5/246 1059111
/proc/meminfo: memFree=111100828/131655788 swapFree=131071996/131071996
[pid=1057247] ppid=1057244 vsize=5348236 memory=4804556 CPUtime=3572.98 cores=5,7
/proc/1057247/stat : 1057247 (pb-oll-rs) R 1057244 1057247 1052970 0 -1 4194304 889285 0 0 0 353810 3488 0 0 20 0 1 0 200037679 5476593664 1201139 134679101440 4194304 5384485 140723192405136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20156416 140723192411157 140723192411234 140723192411234 140723192418251 0
/proc/1057247/statm: 1337059 1201139 1415 291 0 1328593 0
Current children cumulated CPU time: 3572.98 s
Current children cumulated vsize: 5348236 KiB
Current children cumulated memory: 4804556 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.14 4.13 4.16 4/239 1059145
/proc/meminfo: memFree=117227844/131655788 swapFree=131071996/131071996
[pid=1057247] ppid=1057244 vsize=5352020 memory=4807604 CPUtime=3600.01 cores=5,7
/proc/1057247/stat : 1057247 (pb-oll-rs) R 1057244 1057247 1052970 0 -1 4194304 890912 0 0 0 356498 3503 0 0 20 0 1 0 200037679 5480468480 1201901 134679101440 4194304 5384485 140723192405136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20156416 140723192411157 140723192411234 140723192411234 140723192418251 0
/proc/1057247/statm: 1338005 1201901 1415 291 0 1329539 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 5352020 KiB
Current children cumulated memory: 4807604 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.59 s]
# the end of solver process 1057247 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3565.01 s, system=35.2012 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]*
/proc/loadavg: 4.14 4.13 4.16 3/234 1059153
/proc/meminfo: memFree=124069792/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3609.59
CPU time (s): 3600.21
CPU user time (s): 3565.01
CPU system time (s): 35.2012
CPU usage (%): 99.74
Max. virtual memory (cumulated for all children) (KiB): 5352020
Max. memory (cumulated for all children) (KiB): 4807604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.01
system time used= 35.2012
maximum resident set size= 4807932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 890994
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= 7
involuntary context switches= 3476
# summary of solver processes directly reported to runsolver:
# pid: 1057247
# total CPU time (s): 3600.21
# total CPU user time (s): 3565.01
# total CPU system time (s): 35.2012
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1341 second user time and 34.6525 second system time
The end
Begin job on nodeC008 at 2024-07-20 14:33:45
IDJOB=4454607
IDBENCH=158610
IDSOLVER=3082
FILE ID=nodeC008/4454607-1721478813
RUNJOBID= nodeC008-1721471602-1052983
SLURM_JOB_ID= 7545737
Free space on /tmp= 723740 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm98p-opt.opb.negationfix.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454607-1721478813/watcher-4454607-1721478813 -o /tmp/evaluation-result-4454607-1721478813/solver-4454607-1721478813 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721471602-1052983 --watchdog 3760 pb-oll-rs HOME/instance-4454607-1721478813.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 380e20810b586058c5e1cee383ac3a23
RANDOM SEED=1004125881
nodeC008.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3529.913
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
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 : 3662.000
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
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.442
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
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.317
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
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 : 3533.093
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
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 : 3495.053
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
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.428
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
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.244
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 126299328 kB
MemAvailable: 128732080 kB
Buffers: 606760 kB
Cached: 2651012 kB
SwapCached: 0 kB
Active: 1162036 kB
Inactive: 3592188 kB
Active(anon): 1484 kB
Inactive(anon): 1540892 kB
Active(file): 1160552 kB
Inactive(file): 2051296 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 17288 kB
Writeback: 0 kB
AnonPages: 1496488 kB
Mapped: 111384 kB
Shmem: 45896 kB
KReclaimable: 121872 kB
Slab: 228392 kB
SReclaimable: 121872 kB
SUnreclaim: 106520 kB
KernelStack: 3920 kB
PageTables: 12472 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1904676 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62112 kB
HardwareCorrupted: 0 kB
AnonHugePages: 315392 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203592 kB
DirectMap2M: 24866816 kB
DirectMap1G: 111149056 kB
Free space on /tmp at the end= 723756 MiB
End job on nodeC008 at 2024-07-20 15:33:54