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.07 c [STEP] solving
0.00/0.07 c #variables 45632 #constraints 1554
0.00/0.07 c SMALL=int, LARGE=long long
0.00/0.07 c bounds - >= 5 @ 0.069833
0.00/0.07 c stratification level: 0
126.84/127.21 c #Conflicts: 1000 | #Constraints: 2554
126.84/127.21 c #Conflicts: 2000 | #Constraints: 3554
126.84/127.21 c INPROCESSING
126.84/127.21 c GARBAGE COLLECT
126.84/127.21 c #Conflicts: 3000 | #Constraints: 3565
126.84/127.21 c #Conflicts: 4000 | #Constraints: 4565
126.84/127.21 c INPROCESSING
126.84/127.21 c GARBAGE COLLECT
126.84/127.21 c #Conflicts: 5000 | #Constraints: 3978
126.84/127.21 c #Conflicts: 6000 | #Constraints: 4978
126.84/127.21 c INPROCESSING
126.84/127.21 c GARBAGE COLLECT
126.84/127.21 c #Conflicts: 7000 | #Constraints: 3984
126.84/127.21 c #Conflicts: 8000 | #Constraints: 4984
126.84/127.21 c #Conflicts: 9000 | #Constraints: 5984
126.84/127.21 c INPROCESSING
126.84/127.21 c GARBAGE COLLECT
126.84/127.21 c #Conflicts: 10000 | #Constraints: 4688
126.84/127.21 c #Conflicts: 11000 | #Constraints: 5688
126.84/127.21 c #Conflicts: 12000 | #Constraints: 6688
126.84/127.21 c INPROCESSING
126.84/127.21 c GARBAGE COLLECT
126.84/127.21 c #Conflicts: 13000 | #Constraints: 5134
126.84/127.21 c #Conflicts: 14000 | #Constraints: 6134
126.84/127.21 c #Conflicts: 15000 | #Constraints: 7134
126.84/127.21 c INPROCESSING
126.84/127.21 c GARBAGE COLLECT
126.84/127.21 c #Conflicts: 16000 | #Constraints: 5363
126.84/127.21 c #Conflicts: 17000 | #Constraints: 6363
126.84/127.21 c #Conflicts: 18000 | #Constraints: 7363
126.84/127.21 c INPROCESSING
126.84/127.21 c GARBAGE COLLECT
126.84/127.21 c #Conflicts: 19000 | #Constraints: 5376
126.84/127.21 c #Conflicts: 20000 | #Constraints: 6376
126.84/127.21 c #Conflicts: 21000 | #Constraints: 7376
126.84/127.21 c INPROCESSING
126.84/127.21 c GARBAGE COLLECT
126.84/127.21 c #Conflicts: 22000 | #Constraints: 5177
126.84/127.21 c #Conflicts: 23000 | #Constraints: 6177
126.84/127.21 c #Conflicts: 24000 | #Constraints: 7177
126.84/127.21 c #Conflicts: 25000 | #Constraints: 8177
126.84/127.21 c INPROCESSING
126.84/127.21 c GARBAGE COLLECT
126.84/127.21 c #Conflicts: 26000 | #Constraints: 5782
126.84/127.21 c #Conflicts: 27000 | #Constraints: 6782
126.84/127.21 c #Conflicts: 28000 | #Constraints: 7782
126.84/127.21 c #Conflicts: 29000 | #Constraints: 8782
126.84/127.21 c INPROCESSING
126.84/127.21 c GARBAGE COLLECT
126.84/127.21 c #Conflicts: 30000 | #Constraints: 6183
126.84/127.21 c #Conflicts: 31000 | #Constraints: 7183
126.84/127.21 c #Conflicts: 32000 | #Constraints: 8183
126.84/127.21 c #Conflicts: 33000 | #Constraints: 9183
126.84/127.21 c INPROCESSING
126.84/127.21 c GARBAGE COLLECT
126.84/127.21 c #Conflicts: 34000 | #Constraints: 6385
126.84/127.21 c #Conflicts: 35000 | #Constraints: 7385
126.84/127.21 c #Conflicts: 36000 | #Constraints: 8385
126.84/127.21 c #Conflicts: 37000 | #Constraints: 9385
126.84/127.21 c INPROCESSING
126.84/127.21 c GARBAGE COLLECT
126.84/127.21 c #Conflicts: 38000 | #Constraints: 6394
126.84/127.21 c #Conflicts: 39000 | #Constraints: 7394
126.84/127.21 c #Conflicts: 40000 | #Constraints: 8394
126.84/127.21 c #Conflicts: 41000 | #Constraints: 9394
126.84/127.21 c INPROCESSING
126.84/127.21 c GARBAGE COLLECT
126.84/127.21 c #Conflicts: 42000 | #Constraints: 6194
126.84/127.21 c #Conflicts: 43000 | #Constraints: 7194
126.84/127.21 c #Conflicts: 44000 | #Constraints: 8194
126.84/127.21 c #Conflicts: 45000 | #Constraints: 9194
126.84/127.21 c #Conflicts: 46000 | #Constraints: 10194
126.84/127.21 c INPROCESSING
126.84/127.21 c GARBAGE COLLECT
126.84/127.21 c #Conflicts: 47000 | #Constraints: 6786
126.84/127.21 c #Conflicts: 48000 | #Constraints: 7786
126.84/127.21 c #Conflicts: 49000 | #Constraints: 8786
126.84/127.21 c #Conflicts: 50000 | #Constraints: 9786
126.84/127.21 c #Conflicts: 51000 | #Constraints: 10786
126.84/127.21 c INPROCESSING
126.84/127.21 c GARBAGE COLLECT
126.84/127.21 c #Conflicts: 52000 | #Constraints: 7183
126.84/127.21 c #Conflicts: 53000 | #Constraints: 8183
126.84/127.21 c #Conflicts: 54000 | #Constraints: 9183
126.84/127.21 c #Conflicts: 55000 | #Constraints: 10183
126.84/127.21 c #Conflicts: 56000 | #Constraints: 11183
126.84/127.21 c INPROCESSING
126.84/127.21 c GARBAGE COLLECT
126.84/127.21 c #Conflicts: 57000 | #Constraints: 7383
126.84/127.21 c #Conflicts: 58000 | #Constraints: 8383
126.84/127.21 c #Conflicts: 59000 | #Constraints: 9383
126.84/127.21 c #Conflicts: 60000 | #Constraints: 10383
126.84/127.21 c #Conflicts: 61000 | #Constraints: 11383
126.84/127.21 c INPROCESSING
126.84/127.21 c GARBAGE COLLECT
126.84/127.21 c #Conflicts: 62000 | #Constraints: 7381
126.84/127.21 c #Conflicts: 63000 | #Constraints: 8381
126.84/127.21 c #Conflicts: 64000 | #Constraints: 9381
126.84/127.21 c #Conflicts: 65000 | #Constraints: 10381
126.84/127.21 c #Conflicts: 66000 | #Constraints: 11381
126.84/127.21 c INPROCESSING
126.84/127.21 c GARBAGE COLLECT
126.84/127.21 c #Conflicts: 67000 | #Constraints: 7183
126.84/127.21 c #Conflicts: 68000 | #Constraints: 8183
414.30/415.45 c #Conflicts: 69000 | #Constraints: 9183
414.30/415.45 c #Conflicts: 70000 | #Constraints: 10183
414.30/415.45 c #Conflicts: 71000 | #Constraints: 11183
414.30/415.45 c #Conflicts: 72000 | #Constraints: 12183
414.30/415.45 c INPROCESSING
414.30/415.45 c GARBAGE COLLECT
414.30/415.45 c #Conflicts: 73000 | #Constraints: 7785
414.30/415.45 c #Conflicts: 74000 | #Constraints: 8785
414.30/415.45 c #Conflicts: 75000 | #Constraints: 9785
414.30/415.45 c #Conflicts: 76000 | #Constraints: 10785
414.30/415.45 c #Conflicts: 77000 | #Constraints: 11785
414.30/415.45 c #Conflicts: 78000 | #Constraints: 12785
414.30/415.45 c INPROCESSING
414.30/415.45 c GARBAGE COLLECT
414.30/415.45 c #Conflicts: 79000 | #Constraints: 8191
414.30/415.45 c #Conflicts: 80000 | #Constraints: 9191
414.30/415.45 c #Conflicts: 81000 | #Constraints: 10191
414.30/415.45 c #Conflicts: 82000 | #Constraints: 11191
414.30/415.45 c #Conflicts: 83000 | #Constraints: 12191
414.30/415.45 c #Conflicts: 84000 | #Constraints: 13191
414.30/415.45 c INPROCESSING
414.30/415.45 c GARBAGE COLLECT
414.30/415.45 c #Conflicts: 85000 | #Constraints: 8395
414.30/415.45 c #Conflicts: 86000 | #Constraints: 9395
414.30/415.45 c #Conflicts: 87000 | #Constraints: 10395
414.30/415.45 c #Conflicts: 88000 | #Constraints: 11395
414.30/415.45 c #Conflicts: 89000 | #Constraints: 12395
414.30/415.45 c #Conflicts: 90000 | #Constraints: 13395
414.30/415.45 c INPROCESSING
414.30/415.45 c GARBAGE COLLECT
414.30/415.45 c #Conflicts: 91000 | #Constraints: 8394
414.30/415.45 c #Conflicts: 92000 | #Constraints: 9394
414.30/415.45 c #Conflicts: 93000 | #Constraints: 10394
414.30/415.45 c #Conflicts: 94000 | #Constraints: 11394
414.30/415.45 c #Conflicts: 95000 | #Constraints: 12394
414.30/415.45 c #Conflicts: 96000 | #Constraints: 13394
414.30/415.45 c INPROCESSING
414.30/415.45 c GARBAGE COLLECT
414.30/415.45 c #Conflicts: 97000 | #Constraints: 8202
414.30/415.45 c #Conflicts: 98000 | #Constraints: 9202
414.30/415.45 c #Conflicts: 99000 | #Constraints: 10202
414.30/415.45 c #Conflicts: 100000 | #Constraints: 11202
414.30/415.45 c #Conflicts: 101000 | #Constraints: 12202
414.30/415.45 c #Conflicts: 102000 | #Constraints: 13202
414.30/415.45 c #Conflicts: 103000 | #Constraints: 14202
414.30/415.45 c INPROCESSING
414.30/415.45 c GARBAGE COLLECT
414.30/415.45 c #Conflicts: 104000 | #Constraints: 8792
414.30/415.45 c #Conflicts: 105000 | #Constraints: 9792
414.30/415.45 c #Conflicts: 106000 | #Constraints: 10792
414.30/415.45 c #Conflicts: 107000 | #Constraints: 11792
414.30/415.45 c #Conflicts: 108000 | #Constraints: 12792
414.30/415.45 c #Conflicts: 109000 | #Constraints: 13792
414.30/415.45 c #Conflicts: 110000 | #Constraints: 14792
414.30/415.45 c INPROCESSING
414.30/415.45 c GARBAGE COLLECT
414.30/415.45 c #Conflicts: 111000 | #Constraints: 9194
414.30/415.45 c #Conflicts: 112000 | #Constraints: 10194
414.30/415.45 c #Conflicts: 113000 | #Constraints: 11194
414.30/415.45 c #Conflicts: 114000 | #Constraints: 12194
414.30/415.45 c #Conflicts: 115000 | #Constraints: 13194
414.30/415.45 c #Conflicts: 116000 | #Constraints: 14194
414.30/415.45 c #Conflicts: 117000 | #Constraints: 15194
414.30/415.45 c INPROCESSING
414.30/415.45 c GARBAGE COLLECT
414.30/415.45 c #Conflicts: 118000 | #Constraints: 9391
414.30/415.45 c #Conflicts: 119000 | #Constraints: 10391
414.30/415.45 c #Conflicts: 120000 | #Constraints: 11391
414.30/415.45 c #Conflicts: 121000 | #Constraints: 12391
414.30/415.45 c #Conflicts: 122000 | #Constraints: 13391
414.30/415.45 c #Conflicts: 123000 | #Constraints: 14391
414.30/415.45 c #Conflicts: 124000 | #Constraints: 15391
414.30/415.45 c INPROCESSING
414.30/415.45 c GARBAGE COLLECT
414.30/415.45 c #Conflicts: 125000 | #Constraints: 9388
414.30/415.45 c #Conflicts: 126000 | #Constraints: 10388
414.30/415.45 c #Conflicts: 127000 | #Constraints: 11388
414.30/415.45 c #Conflicts: 128000 | #Constraints: 12388
414.30/415.45 c #Conflicts: 129000 | #Constraints: 13388
414.30/415.45 c #Conflicts: 130000 | #Constraints: 14388
414.30/415.45 c #Conflicts: 131000 | #Constraints: 15388
414.30/415.45 c INPROCESSING
414.30/415.45 c GARBAGE COLLECT
414.30/415.45 c #Conflicts: 132000 | #Constraints: 9181
414.30/415.45 c #Conflicts: 133000 | #Constraints: 10181
414.30/415.45 c #Conflicts: 134000 | #Constraints: 11181
414.30/415.45 c #Conflicts: 135000 | #Constraints: 12181
414.30/415.45 c #Conflicts: 136000 | #Constraints: 13181
414.30/415.45 c #Conflicts: 137000 | #Constraints: 14181
414.30/415.45 c #Conflicts: 138000 | #Constraints: 15181
414.30/415.45 c #Conflicts: 139000 | #Constraints: 16181
414.30/415.45 c INPROCESSING
414.30/415.45 c GARBAGE COLLECT
414.30/415.45 c #Conflicts: 140000 | #Constraints: 9783
758.00/760.03 c #Conflicts: 141000 | #Constraints: 10783
758.00/760.03 c #Conflicts: 142000 | #Constraints: 11783
758.00/760.03 c #Conflicts: 143000 | #Constraints: 12783
758.00/760.03 c #Conflicts: 144000 | #Constraints: 13783
758.00/760.03 c #Conflicts: 145000 | #Constraints: 14783
758.00/760.03 c #Conflicts: 146000 | #Constraints: 15783
758.00/760.03 c #Conflicts: 147000 | #Constraints: 16783
758.00/760.03 c INPROCESSING
758.00/760.03 c GARBAGE COLLECT
758.00/760.03 c #Conflicts: 148000 | #Constraints: 10185
758.00/760.03 c #Conflicts: 149000 | #Constraints: 11185
758.00/760.03 c #Conflicts: 150000 | #Constraints: 12185
758.00/760.03 c #Conflicts: 151000 | #Constraints: 13185
758.00/760.03 c #Conflicts: 152000 | #Constraints: 14185
758.00/760.03 c #Conflicts: 153000 | #Constraints: 15185
758.00/760.03 c #Conflicts: 154000 | #Constraints: 16185
758.00/760.03 c #Conflicts: 155000 | #Constraints: 17185
758.00/760.03 c INPROCESSING
758.00/760.03 c GARBAGE COLLECT
758.00/760.03 c #Conflicts: 156000 | #Constraints: 10392
758.00/760.03 c #Conflicts: 157000 | #Constraints: 11392
758.00/760.03 c #Conflicts: 158000 | #Constraints: 12392
758.00/760.03 c #Conflicts: 159000 | #Constraints: 13392
758.00/760.03 c #Conflicts: 160000 | #Constraints: 14392
758.00/760.03 c #Conflicts: 161000 | #Constraints: 15392
758.00/760.03 c #Conflicts: 162000 | #Constraints: 16392
758.00/760.03 c #Conflicts: 163000 | #Constraints: 17392
758.00/760.03 c INPROCESSING
758.00/760.03 c GARBAGE COLLECT
758.00/760.03 c #Conflicts: 164000 | #Constraints: 10392
758.00/760.03 c #Conflicts: 165000 | #Constraints: 11392
758.00/760.03 c #Conflicts: 166000 | #Constraints: 12392
758.00/760.03 c #Conflicts: 167000 | #Constraints: 13392
758.00/760.03 c #Conflicts: 168000 | #Constraints: 14392
758.00/760.03 c #Conflicts: 169000 | #Constraints: 15392
758.00/760.03 c #Conflicts: 170000 | #Constraints: 16392
758.00/760.03 c #Conflicts: 171000 | #Constraints: 17392
758.00/760.03 c INPROCESSING
758.00/760.03 c GARBAGE COLLECT
758.00/760.03 c #Conflicts: 172000 | #Constraints: 10189
758.00/760.03 c #Conflicts: 173000 | #Constraints: 11189
758.00/760.03 c #Conflicts: 174000 | #Constraints: 12189
758.00/760.03 c #Conflicts: 175000 | #Constraints: 13189
758.00/760.03 c #Conflicts: 176000 | #Constraints: 14189
758.00/760.03 c #Conflicts: 177000 | #Constraints: 15189
758.00/760.03 c #Conflicts: 178000 | #Constraints: 16189
758.00/760.03 c #Conflicts: 179000 | #Constraints: 17189
758.00/760.03 c #Conflicts: 180000 | #Constraints: 18189
758.00/760.03 c INPROCESSING
758.00/760.03 c GARBAGE COLLECT
758.00/760.03 c #Conflicts: 181000 | #Constraints: 10789
758.00/760.03 c #Conflicts: 182000 | #Constraints: 11789
758.00/760.03 c #Conflicts: 183000 | #Constraints: 12789
758.00/760.03 c #Conflicts: 184000 | #Constraints: 13789
758.00/760.03 c #Conflicts: 185000 | #Constraints: 14789
758.00/760.03 c #Conflicts: 186000 | #Constraints: 15789
758.00/760.03 c #Conflicts: 187000 | #Constraints: 16789
758.00/760.03 c #Conflicts: 188000 | #Constraints: 17789
758.00/760.03 c #Conflicts: 189000 | #Constraints: 18789
758.00/760.03 c INPROCESSING
758.00/760.03 c GARBAGE COLLECT
758.00/760.03 c #Conflicts: 190000 | #Constraints: 11193
758.00/760.03 c #Conflicts: 191000 | #Constraints: 12193
758.00/760.03 c #Conflicts: 192000 | #Constraints: 13193
758.00/760.03 c #Conflicts: 193000 | #Constraints: 14193
758.00/760.03 c #Conflicts: 194000 | #Constraints: 15193
758.00/760.03 c #Conflicts: 195000 | #Constraints: 16193
758.00/760.03 c #Conflicts: 196000 | #Constraints: 17193
758.00/760.03 c #Conflicts: 197000 | #Constraints: 18193
758.00/760.03 c #Conflicts: 198000 | #Constraints: 19193
758.00/760.03 c INPROCESSING
758.00/760.03 c GARBAGE COLLECT
758.00/760.03 c #Conflicts: 199000 | #Constraints: 11393
758.00/760.03 c #Conflicts: 200000 | #Constraints: 12393
758.00/760.03 c #Conflicts: 201000 | #Constraints: 13393
758.00/760.03 c #Conflicts: 202000 | #Constraints: 14393
758.00/760.03 c #Conflicts: 203000 | #Constraints: 15393
758.00/760.03 c #Conflicts: 204000 | #Constraints: 16393
758.00/760.03 c #Conflicts: 205000 | #Constraints: 17393
758.00/760.03 c #Conflicts: 206000 | #Constraints: 18393
758.00/760.03 c #Conflicts: 207000 | #Constraints: 19393
758.00/760.03 c INPROCESSING
758.00/760.03 c GARBAGE COLLECT
758.00/760.03 c #Conflicts: 208000 | #Constraints: 11393
758.00/760.03 c #Conflicts: 209000 | #Constraints: 12393
758.00/760.03 c #Conflicts: 210000 | #Constraints: 13393
758.00/760.03 c #Conflicts: 211000 | #Constraints: 14393
758.00/760.03 c #Conflicts: 212000 | #Constraints: 15393
758.00/760.03 c #Conflicts: 213000 | #Constraints: 16393
1027.19/1029.95 c #Conflicts: 214000 | #Constraints: 17393
1027.19/1029.95 c #Conflicts: 215000 | #Constraints: 18393
1027.19/1029.95 c #Conflicts: 216000 | #Constraints: 19393
1027.19/1029.95 c INPROCESSING
1027.19/1029.95 c GARBAGE COLLECT
1027.19/1029.95 c #Conflicts: 217000 | #Constraints: 11197
1027.19/1029.95 c #Conflicts: 218000 | #Constraints: 12197
1027.19/1029.95 c #Conflicts: 219000 | #Constraints: 13197
1027.19/1029.95 c #Conflicts: 220000 | #Constraints: 14197
1027.19/1029.95 c #Conflicts: 221000 | #Constraints: 15197
1027.19/1029.95 c #Conflicts: 222000 | #Constraints: 16197
1027.19/1029.95 c #Conflicts: 223000 | #Constraints: 17197
1027.19/1029.95 c #Conflicts: 224000 | #Constraints: 18197
1027.19/1029.95 c #Conflicts: 225000 | #Constraints: 19197
1027.19/1029.95 c #Conflicts: 226000 | #Constraints: 20197
1027.19/1029.95 c INPROCESSING
1027.19/1029.95 c GARBAGE COLLECT
1027.19/1029.95 c #Conflicts: 227000 | #Constraints: 11792
1027.19/1029.95 c #Conflicts: 228000 | #Constraints: 12792
1027.19/1029.95 c #Conflicts: 229000 | #Constraints: 13792
1027.19/1029.95 c #Conflicts: 230000 | #Constraints: 14792
1027.19/1029.95 c #Conflicts: 231000 | #Constraints: 15792
1027.19/1029.95 c #Conflicts: 232000 | #Constraints: 16792
1027.19/1029.95 c #Conflicts: 233000 | #Constraints: 17792
1027.19/1029.95 c #Conflicts: 234000 | #Constraints: 18792
1027.19/1029.95 c #Conflicts: 235000 | #Constraints: 19792
1027.19/1029.95 c #Conflicts: 236000 | #Constraints: 20792
1027.19/1029.95 c INPROCESSING
1027.19/1029.95 c GARBAGE COLLECT
1027.19/1029.95 c #Conflicts: 237000 | #Constraints: 12193
1027.19/1029.95 c #Conflicts: 238000 | #Constraints: 13193
1027.19/1029.95 c #Conflicts: 239000 | #Constraints: 14193
1027.19/1029.95 c #Conflicts: 240000 | #Constraints: 15193
1027.19/1029.95 c #Conflicts: 241000 | #Constraints: 16193
1027.19/1029.95 c #Conflicts: 242000 | #Constraints: 17193
1027.19/1029.95 c #Conflicts: 243000 | #Constraints: 18193
1027.19/1029.95 c #Conflicts: 244000 | #Constraints: 19193
1027.19/1029.95 c #Conflicts: 245000 | #Constraints: 20193
1027.19/1029.95 c #Conflicts: 246000 | #Constraints: 21193
1027.19/1029.95 c INPROCESSING
1027.19/1029.95 c GARBAGE COLLECT
1027.19/1029.95 c #Conflicts: 247000 | #Constraints: 12392
1027.19/1029.95 c #Conflicts: 248000 | #Constraints: 13392
1027.19/1029.95 c #Conflicts: 249000 | #Constraints: 14392
1027.19/1029.95 c #Conflicts: 250000 | #Constraints: 15392
1027.19/1029.95 c #Conflicts: 251000 | #Constraints: 16392
1027.19/1029.95 c #Conflicts: 252000 | #Constraints: 17392
1027.19/1029.95 c #Conflicts: 253000 | #Constraints: 18392
1027.19/1029.95 c #Conflicts: 254000 | #Constraints: 19392
1027.19/1029.95 c #Conflicts: 255000 | #Constraints: 20392
1027.19/1029.95 c #Conflicts: 256000 | #Constraints: 21392
1027.19/1029.95 c INPROCESSING
1027.19/1029.95 c GARBAGE COLLECT
1027.19/1029.95 c #Conflicts: 257000 | #Constraints: 12387
1027.19/1029.95 c #Conflicts: 258000 | #Constraints: 13387
1027.19/1029.95 c #Conflicts: 259000 | #Constraints: 14387
1027.19/1029.95 c #Conflicts: 260000 | #Constraints: 15387
1027.19/1029.95 c #Conflicts: 261000 | #Constraints: 16387
1027.19/1029.95 c #Conflicts: 262000 | #Constraints: 17387
1027.19/1029.95 c #Conflicts: 263000 | #Constraints: 18387
1027.19/1029.95 c #Conflicts: 264000 | #Constraints: 19387
1027.19/1029.95 c #Conflicts: 265000 | #Constraints: 20387
1027.19/1029.95 c #Conflicts: 266000 | #Constraints: 21387
1027.19/1029.95 c INPROCESSING
1027.19/1029.95 c GARBAGE COLLECT
1027.19/1029.95 c #Conflicts: 267000 | #Constraints: 12192
1027.19/1029.95 c #Conflicts: 268000 | #Constraints: 13192
1027.19/1029.95 c #Conflicts: 269000 | #Constraints: 14192
1027.19/1029.95 c #Conflicts: 270000 | #Constraints: 15192
1027.19/1029.95 c #Conflicts: 271000 | #Constraints: 16192
1027.19/1029.95 c #Conflicts: 272000 | #Constraints: 17192
1027.19/1029.95 c #Conflicts: 273000 | #Constraints: 18192
1027.19/1029.95 c #Conflicts: 274000 | #Constraints: 19192
1027.19/1029.95 c #Conflicts: 275000 | #Constraints: 20192
1027.19/1029.95 c #Conflicts: 276000 | #Constraints: 21192
1027.19/1029.95 c #Conflicts: 277000 | #Constraints: 22192
1027.19/1029.95 c INPROCESSING
1027.19/1029.95 c GARBAGE COLLECT
1027.19/1029.95 c #Conflicts: 278000 | #Constraints: 12787
1027.19/1029.95 c #Conflicts: 279000 | #Constraints: 13787
1027.19/1029.95 c #Conflicts: 280000 | #Constraints: 14787
1027.19/1029.95 c #Conflicts: 281000 | #Constraints: 15787
1027.19/1029.95 c #Conflicts: 282000 | #Constraints: 16787
1027.19/1029.95 c #Conflicts: 283000 | #Constraints: 17787
1027.19/1029.95 c #Conflicts: 284000 | #Constraints: 18787
1027.19/1029.95 c #Conflicts: 285000 | #Constraints: 19787
1027.19/1029.95 c #Conflicts: 286000 | #Constraints: 20787
1027.19/1029.95 c #Conflicts: 287000 | #Constraints: 21787
1027.19/1029.95 c #Conflicts: 288000 | #Constraints: 22787
1400.02/1403.79 c INPROCESSING
1400.02/1403.79 c GARBAGE COLLECT
1400.02/1403.79 c #Conflicts: 289000 | #Constraints: 13187
1400.02/1403.79 c #Conflicts: 290000 | #Constraints: 14187
1400.02/1403.79 c #Conflicts: 291000 | #Constraints: 15187
1400.02/1403.79 c #Conflicts: 292000 | #Constraints: 16187
1400.02/1403.79 c #Conflicts: 293000 | #Constraints: 17187
1400.02/1403.79 c #Conflicts: 294000 | #Constraints: 18187
1400.02/1403.79 c #Conflicts: 295000 | #Constraints: 19187
1400.02/1403.79 c #Conflicts: 296000 | #Constraints: 20187
1400.02/1403.79 c #Conflicts: 297000 | #Constraints: 21187
1400.02/1403.79 c #Conflicts: 298000 | #Constraints: 22187
1400.02/1403.79 c #Conflicts: 299000 | #Constraints: 23187
1400.02/1403.79 c INPROCESSING
1400.02/1403.79 c GARBAGE COLLECT
1400.02/1403.79 c #Conflicts: 300000 | #Constraints: 13382
1400.02/1403.79 c #Conflicts: 301000 | #Constraints: 14382
1400.02/1403.79 c #Conflicts: 302000 | #Constraints: 15382
1400.02/1403.79 c #Conflicts: 303000 | #Constraints: 16382
1400.02/1403.79 c #Conflicts: 304000 | #Constraints: 17382
1400.02/1403.79 c #Conflicts: 305000 | #Constraints: 18382
1400.02/1403.79 c #Conflicts: 306000 | #Constraints: 19382
1400.02/1403.79 c #Conflicts: 307000 | #Constraints: 20382
1400.02/1403.79 c #Conflicts: 308000 | #Constraints: 21382
1400.02/1403.79 c #Conflicts: 309000 | #Constraints: 22382
1400.02/1403.79 c #Conflicts: 310000 | #Constraints: 23382
1400.02/1403.79 c INPROCESSING
1400.02/1403.79 c GARBAGE COLLECT
1400.02/1403.79 c #Conflicts: 311000 | #Constraints: 13394
1400.02/1403.79 c #Conflicts: 312000 | #Constraints: 14394
1400.02/1403.79 c #Conflicts: 313000 | #Constraints: 15394
1400.02/1403.79 c #Conflicts: 314000 | #Constraints: 16394
1400.02/1403.79 c #Conflicts: 315000 | #Constraints: 17394
1400.02/1403.79 c #Conflicts: 316000 | #Constraints: 18394
1400.02/1403.79 c #Conflicts: 317000 | #Constraints: 19394
1400.02/1403.79 c #Conflicts: 318000 | #Constraints: 20394
1400.02/1403.79 c #Conflicts: 319000 | #Constraints: 21394
1400.02/1403.79 c #Conflicts: 320000 | #Constraints: 22394
1400.02/1403.79 c #Conflicts: 321000 | #Constraints: 23394
1400.02/1403.79 c INPROCESSING
1400.02/1403.79 c GARBAGE COLLECT
1400.02/1403.79 c #Conflicts: 322000 | #Constraints: 13192
1400.02/1403.79 c #Conflicts: 323000 | #Constraints: 14192
1400.02/1403.79 c #Conflicts: 324000 | #Constraints: 15192
1400.02/1403.79 c #Conflicts: 325000 | #Constraints: 16192
1400.02/1403.79 c #Conflicts: 326000 | #Constraints: 17192
1400.02/1403.79 c #Conflicts: 327000 | #Constraints: 18192
1400.02/1403.79 c #Conflicts: 328000 | #Constraints: 19192
1400.02/1403.79 c #Conflicts: 329000 | #Constraints: 20192
1400.02/1403.79 c #Conflicts: 330000 | #Constraints: 21192
1400.02/1403.79 c #Conflicts: 331000 | #Constraints: 22192
1400.02/1403.79 c #Conflicts: 332000 | #Constraints: 23192
1400.02/1403.79 c #Conflicts: 333000 | #Constraints: 24192
1400.02/1403.79 c INPROCESSING
1400.02/1403.79 c GARBAGE COLLECT
1400.02/1403.79 c #Conflicts: 334000 | #Constraints: 13788
1400.02/1403.79 c #Conflicts: 335000 | #Constraints: 14788
1400.02/1403.79 c #Conflicts: 336000 | #Constraints: 15788
1400.02/1403.79 c #Conflicts: 337000 | #Constraints: 16788
1400.02/1403.79 c #Conflicts: 338000 | #Constraints: 17788
1400.02/1403.79 c #Conflicts: 339000 | #Constraints: 18788
1400.02/1403.79 c #Conflicts: 340000 | #Constraints: 19788
1400.02/1403.79 c #Conflicts: 341000 | #Constraints: 20788
1400.02/1403.79 c #Conflicts: 342000 | #Constraints: 21788
1400.02/1403.79 c #Conflicts: 343000 | #Constraints: 22788
1400.02/1403.79 c #Conflicts: 344000 | #Constraints: 23788
1400.02/1403.79 c #Conflicts: 345000 | #Constraints: 24788
1400.02/1403.79 c INPROCESSING
1400.02/1403.79 c GARBAGE COLLECT
1400.02/1403.79 c #Conflicts: 346000 | #Constraints: 14185
1400.02/1403.79 c #Conflicts: 347000 | #Constraints: 15185
1400.02/1403.79 c #Conflicts: 348000 | #Constraints: 16185
1400.02/1403.79 c #Conflicts: 349000 | #Constraints: 17185
1400.02/1403.79 c #Conflicts: 350000 | #Constraints: 18185
1400.02/1403.79 c #Conflicts: 351000 | #Constraints: 19185
1400.02/1403.79 c #Conflicts: 352000 | #Constraints: 20185
1400.02/1403.79 c #Conflicts: 353000 | #Constraints: 21185
1400.02/1403.79 c #Conflicts: 354000 | #Constraints: 22185
1400.02/1403.79 c #Conflicts: 355000 | #Constraints: 23185
1400.02/1403.79 c #Conflicts: 356000 | #Constraints: 24185
1400.02/1403.79 c #Conflicts: 357000 | #Constraints: 25185
1400.02/1403.79 c INPROCESSING
1400.02/1403.79 c GARBAGE COLLECT
1400.02/1403.79 c #Conflicts: 358000 | #Constraints: 14381
1400.02/1403.79 c #Conflicts: 359000 | #Constraints: 15381
1400.02/1403.79 c #Conflicts: 360000 | #Constraints: 16381
1400.02/1403.79 c #Conflicts: 361000 | #Constraints: 17381
1400.02/1403.79 c #Conflicts: 362000 | #Constraints: 18381
1689.48/1693.97 c #Conflicts: 363000 | #Constraints: 19381
1689.48/1693.97 c #Conflicts: 364000 | #Constraints: 20381
1689.48/1693.97 c #Conflicts: 365000 | #Constraints: 21381
1689.48/1693.97 c #Conflicts: 366000 | #Constraints: 22381
1689.48/1693.97 c #Conflicts: 367000 | #Constraints: 23381
1689.48/1693.97 c #Conflicts: 368000 | #Constraints: 24381
1689.48/1693.97 c #Conflicts: 369000 | #Constraints: 25381
1689.48/1693.97 c INPROCESSING
1689.48/1693.97 c GARBAGE COLLECT
1689.48/1693.97 c #Conflicts: 370000 | #Constraints: 14386
1689.48/1693.97 c #Conflicts: 371000 | #Constraints: 15386
1689.48/1693.97 c #Conflicts: 372000 | #Constraints: 16386
1689.48/1693.97 c #Conflicts: 373000 | #Constraints: 17386
1689.48/1693.97 c #Conflicts: 374000 | #Constraints: 18386
1689.48/1693.97 c #Conflicts: 375000 | #Constraints: 19386
1689.48/1693.97 c #Conflicts: 376000 | #Constraints: 20386
1689.48/1693.97 c #Conflicts: 377000 | #Constraints: 21386
1689.48/1693.97 c #Conflicts: 378000 | #Constraints: 22386
1689.48/1693.97 c #Conflicts: 379000 | #Constraints: 23386
1689.48/1693.97 c #Conflicts: 380000 | #Constraints: 24386
1689.48/1693.97 c #Conflicts: 381000 | #Constraints: 25386
1689.48/1693.97 c INPROCESSING
1689.48/1693.97 c GARBAGE COLLECT
1689.48/1693.97 c #Conflicts: 382000 | #Constraints: 14191
1689.48/1693.97 c #Conflicts: 383000 | #Constraints: 15191
1689.48/1693.97 c #Conflicts: 384000 | #Constraints: 16191
1689.48/1693.97 c #Conflicts: 385000 | #Constraints: 17191
1689.48/1693.97 c #Conflicts: 386000 | #Constraints: 18191
1689.48/1693.97 c #Conflicts: 387000 | #Constraints: 19191
1689.48/1693.97 c #Conflicts: 388000 | #Constraints: 20191
1689.48/1693.97 c #Conflicts: 389000 | #Constraints: 21191
1689.48/1693.97 c #Conflicts: 390000 | #Constraints: 22191
1689.48/1693.97 c #Conflicts: 391000 | #Constraints: 23191
1689.48/1693.97 c #Conflicts: 392000 | #Constraints: 24191
1689.48/1693.97 c #Conflicts: 393000 | #Constraints: 25191
1689.48/1693.97 c #Conflicts: 394000 | #Constraints: 26191
1689.48/1693.97 c INPROCESSING
1689.48/1693.97 c GARBAGE COLLECT
1689.48/1693.97 c #Conflicts: 395000 | #Constraints: 14790
1689.48/1693.97 c #Conflicts: 396000 | #Constraints: 15790
1689.48/1693.97 c #Conflicts: 397000 | #Constraints: 16790
1689.48/1693.97 c #Conflicts: 398000 | #Constraints: 17790
1689.48/1693.97 c #Conflicts: 399000 | #Constraints: 18790
1689.48/1693.97 c #Conflicts: 400000 | #Constraints: 19790
1689.48/1693.97 c #Conflicts: 401000 | #Constraints: 20790
1689.48/1693.97 c #Conflicts: 402000 | #Constraints: 21790
1689.48/1693.97 c #Conflicts: 403000 | #Constraints: 22790
1689.48/1693.97 c #Conflicts: 404000 | #Constraints: 23790
1689.48/1693.97 c #Conflicts: 405000 | #Constraints: 24790
1689.48/1693.97 c #Conflicts: 406000 | #Constraints: 25790
1689.48/1693.97 c #Conflicts: 407000 | #Constraints: 26790
1689.48/1693.97 c INPROCESSING
1689.48/1693.97 c GARBAGE COLLECT
1689.48/1693.97 c #Conflicts: 408000 | #Constraints: 15189
1689.48/1693.97 c #Conflicts: 409000 | #Constraints: 16189
1689.48/1693.97 c #Conflicts: 410000 | #Constraints: 17189
1689.48/1693.97 c #Conflicts: 411000 | #Constraints: 18189
1689.48/1693.97 c #Conflicts: 412000 | #Constraints: 19189
1689.48/1693.97 c #Conflicts: 413000 | #Constraints: 20189
1689.48/1693.97 c #Conflicts: 414000 | #Constraints: 21189
1689.48/1693.97 c #Conflicts: 415000 | #Constraints: 22189
1689.48/1693.97 c #Conflicts: 416000 | #Constraints: 23189
1689.48/1693.97 c #Conflicts: 417000 | #Constraints: 24189
1689.48/1693.97 c #Conflicts: 418000 | #Constraints: 25189
1689.48/1693.97 c #Conflicts: 419000 | #Constraints: 26189
1689.48/1693.97 c #Conflicts: 420000 | #Constraints: 27189
1689.48/1693.97 c INPROCESSING
1689.48/1693.97 c GARBAGE COLLECT
1689.48/1693.97 c #Conflicts: 421000 | #Constraints: 15392
1689.48/1693.97 c #Conflicts: 422000 | #Constraints: 16392
1689.48/1693.97 c #Conflicts: 423000 | #Constraints: 17392
1689.48/1693.97 c #Conflicts: 424000 | #Constraints: 18392
1689.48/1693.97 c #Conflicts: 425000 | #Constraints: 19392
1689.48/1693.97 c #Conflicts: 426000 | #Constraints: 20392
1689.48/1693.97 c #Conflicts: 427000 | #Constraints: 21392
1689.48/1693.97 c #Conflicts: 428000 | #Constraints: 22392
1689.48/1693.97 c #Conflicts: 429000 | #Constraints: 23392
1689.48/1693.97 c #Conflicts: 430000 | #Constraints: 24392
1689.48/1693.97 c #Conflicts: 431000 | #Constraints: 25392
1689.48/1693.97 c #Conflicts: 432000 | #Constraints: 26392
1689.48/1693.97 c #Conflicts: 433000 | #Constraints: 27392
1689.48/1693.97 c INPROCESSING
1689.48/1693.97 c GARBAGE COLLECT
1689.48/1693.97 c #Conflicts: 434000 | #Constraints: 15402
1689.48/1693.97 c #Conflicts: 435000 | #Constraints: 16402
1689.48/1693.97 c #Conflicts: 436000 | #Constraints: 17402
1689.48/1693.97 c #Conflicts: 437000 | #Constraints: 18402
2583.65/2590.54 c #Conflicts: 438000 | #Constraints: 19402
2583.65/2590.54 c #Conflicts: 439000 | #Constraints: 20402
2583.65/2590.54 c #Conflicts: 440000 | #Constraints: 21402
2583.65/2590.54 c #Conflicts: 441000 | #Constraints: 22402
2583.65/2590.54 c #Conflicts: 442000 | #Constraints: 23402
2583.65/2590.54 c #Conflicts: 443000 | #Constraints: 24402
2583.65/2590.54 c #Conflicts: 444000 | #Constraints: 25402
2583.65/2590.54 c #Conflicts: 445000 | #Constraints: 26402
2583.65/2590.54 c #Conflicts: 446000 | #Constraints: 27402
2583.65/2590.54 c INPROCESSING
2583.65/2590.54 c GARBAGE COLLECT
2583.65/2590.54 c #Conflicts: 447000 | #Constraints: 15213
2583.65/2590.54 c #Conflicts: 448000 | #Constraints: 16213
2583.65/2590.54 c #Conflicts: 449000 | #Constraints: 17213
2583.65/2590.54 c #Conflicts: 450000 | #Constraints: 18213
2583.65/2590.54 c #Conflicts: 451000 | #Constraints: 19213
2583.65/2590.54 c #Conflicts: 452000 | #Constraints: 20213
2583.65/2590.54 c #Conflicts: 453000 | #Constraints: 21213
2583.65/2590.54 c #Conflicts: 454000 | #Constraints: 22213
2583.65/2590.54 c #Conflicts: 455000 | #Constraints: 23213
2583.65/2590.54 c #Conflicts: 456000 | #Constraints: 24213
2583.65/2590.54 c #Conflicts: 457000 | #Constraints: 25213
2583.65/2590.54 c #Conflicts: 458000 | #Constraints: 26213
2583.65/2590.54 c #Conflicts: 459000 | #Constraints: 27213
2583.65/2590.54 c #Conflicts: 460000 | #Constraints: 28213
2583.65/2590.54 c INPROCESSING
2583.65/2590.54 c GARBAGE COLLECT
2583.65/2590.54 c #Conflicts: 461000 | #Constraints: 15816
2583.65/2590.54 c #Conflicts: 462000 | #Constraints: 16816
2583.65/2590.54 c #Conflicts: 463000 | #Constraints: 17816
2583.65/2590.54 c #Conflicts: 464000 | #Constraints: 18816
2583.65/2590.54 c #Conflicts: 465000 | #Constraints: 19816
2583.65/2590.54 c #Conflicts: 466000 | #Constraints: 20816
2583.65/2590.54 c #Conflicts: 467000 | #Constraints: 21816
2583.65/2590.54 c #Conflicts: 468000 | #Constraints: 22816
2583.65/2590.54 c #Conflicts: 469000 | #Constraints: 23816
2583.65/2590.54 c #Conflicts: 470000 | #Constraints: 24816
2583.65/2590.54 c #Conflicts: 471000 | #Constraints: 25816
2583.65/2590.54 c #Conflicts: 472000 | #Constraints: 26816
2583.65/2590.54 c #Conflicts: 473000 | #Constraints: 27816
2583.65/2590.54 c #Conflicts: 474000 | #Constraints: 28816
2583.65/2590.54 c INPROCESSING
2583.65/2590.54 c GARBAGE COLLECT
2583.65/2590.54 c #Conflicts: 475000 | #Constraints: 16217
2583.65/2590.54 c #Conflicts: 476000 | #Constraints: 17217
2583.65/2590.54 c #Conflicts: 477000 | #Constraints: 18217
2583.65/2590.54 c #Conflicts: 478000 | #Constraints: 19217
2583.65/2590.54 c #Conflicts: 479000 | #Constraints: 20217
2583.65/2590.54 c #Conflicts: 480000 | #Constraints: 21217
2583.65/2590.54 c #Conflicts: 481000 | #Constraints: 22217
2583.65/2590.54 c #Conflicts: 482000 | #Constraints: 23217
2583.65/2590.54 c #Conflicts: 483000 | #Constraints: 24217
2583.65/2590.54 c #Conflicts: 484000 | #Constraints: 25217
2583.65/2590.54 c #Conflicts: 485000 | #Constraints: 26217
2583.65/2590.54 c #Conflicts: 486000 | #Constraints: 27217
2583.65/2590.54 c #Conflicts: 487000 | #Constraints: 28217
2583.65/2590.54 c #Conflicts: 488000 | #Constraints: 29217
2583.65/2590.54 c INPROCESSING
2583.65/2590.54 c GARBAGE COLLECT
2583.65/2590.54 c #Conflicts: 489000 | #Constraints: 16418
2583.65/2590.54 c #Conflicts: 490000 | #Constraints: 17418
2583.65/2590.54 c #Conflicts: 491000 | #Constraints: 18418
2583.65/2590.54 c #Conflicts: 492000 | #Constraints: 19418
2583.65/2590.54 c #Conflicts: 493000 | #Constraints: 20418
2583.65/2590.54 c #Conflicts: 494000 | #Constraints: 21418
2583.65/2590.54 c #Conflicts: 495000 | #Constraints: 22418
2583.65/2590.54 c #Conflicts: 496000 | #Constraints: 23418
2583.65/2590.54 c #Conflicts: 497000 | #Constraints: 24418
2583.65/2590.54 c #Conflicts: 498000 | #Constraints: 25418
2583.65/2590.54 c #Conflicts: 499000 | #Constraints: 26418
2583.65/2590.54 c #Conflicts: 500000 | #Constraints: 27418
2583.65/2590.54 c #Conflicts: 501000 | #Constraints: 28418
2583.65/2590.54 c #Conflicts: 502000 | #Constraints: 29418
2583.65/2590.54 c INPROCESSING
2583.65/2590.54 c GARBAGE COLLECT
2583.65/2590.54 c #Conflicts: 503000 | #Constraints: 16419
2583.65/2590.54 c #Conflicts: 504000 | #Constraints: 17419
2583.65/2590.54 c #Conflicts: 505000 | #Constraints: 18419
2583.65/2590.54 c #Conflicts: 506000 | #Constraints: 19419
2583.65/2590.54 c #Conflicts: 507000 | #Constraints: 20419
2583.65/2590.54 c #Conflicts: 508000 | #Constraints: 21419
2583.65/2590.54 c #Conflicts: 509000 | #Constraints: 22419
2583.65/2590.54 c #Conflicts: 510000 | #Constraints: 23419
2583.65/2590.54 c #Conflicts: 511000 | #Constraints: 24419
2583.65/2590.54 c #Conflicts: 512000 | #Constraints: 25419
2583.65/2590.54 c #Conflicts: 513000 | #Constraints: 26419
2905.30/2913.06 c #Conflicts: 514000 | #Constraints: 27419
2905.30/2913.06 c #Conflicts: 515000 | #Constraints: 28419
2905.30/2913.06 c #Conflicts: 516000 | #Constraints: 29419
2905.30/2913.06 c INPROCESSING
2905.30/2913.06 c GARBAGE COLLECT
2905.30/2913.06 c #Conflicts: 517000 | #Constraints: 16205
2905.30/2913.06 c #Conflicts: 518000 | #Constraints: 17205
2905.30/2913.06 c #Conflicts: 519000 | #Constraints: 18205
2905.30/2913.06 c #Conflicts: 520000 | #Constraints: 19205
2905.30/2913.06 c #Conflicts: 521000 | #Constraints: 20205
2905.30/2913.06 c #Conflicts: 522000 | #Constraints: 21205
2905.30/2913.06 c #Conflicts: 523000 | #Constraints: 22205
2905.30/2913.06 c #Conflicts: 524000 | #Constraints: 23205
2905.30/2913.06 c #Conflicts: 525000 | #Constraints: 24205
2905.30/2913.06 c #Conflicts: 526000 | #Constraints: 25205
2905.30/2913.06 c #Conflicts: 527000 | #Constraints: 26205
2905.30/2913.06 c #Conflicts: 528000 | #Constraints: 27205
2905.30/2913.06 c #Conflicts: 529000 | #Constraints: 28205
2905.30/2913.06 c #Conflicts: 530000 | #Constraints: 29205
2905.30/2913.06 c #Conflicts: 531000 | #Constraints: 30205
2905.30/2913.06 c INPROCESSING
2905.30/2913.06 c GARBAGE COLLECT
2905.30/2913.06 c #Conflicts: 532000 | #Constraints: 16801
2905.30/2913.06 c #Conflicts: 533000 | #Constraints: 17801
2905.30/2913.06 c #Conflicts: 534000 | #Constraints: 18801
2905.30/2913.06 c #Conflicts: 535000 | #Constraints: 19801
2905.30/2913.06 c #Conflicts: 536000 | #Constraints: 20801
2905.30/2913.06 c #Conflicts: 537000 | #Constraints: 21801
2905.30/2913.06 c #Conflicts: 538000 | #Constraints: 22801
2905.30/2913.06 c #Conflicts: 539000 | #Constraints: 23801
2905.30/2913.06 c #Conflicts: 540000 | #Constraints: 24801
2905.30/2913.06 c #Conflicts: 541000 | #Constraints: 25801
2905.30/2913.06 c #Conflicts: 542000 | #Constraints: 26801
2905.30/2913.06 c #Conflicts: 543000 | #Constraints: 27801
2905.30/2913.06 c #Conflicts: 544000 | #Constraints: 28801
2905.30/2913.06 c #Conflicts: 545000 | #Constraints: 29801
2905.30/2913.06 c #Conflicts: 546000 | #Constraints: 30801
2905.30/2913.06 c INPROCESSING
2905.30/2913.06 c GARBAGE COLLECT
2905.30/2913.06 c #Conflicts: 547000 | #Constraints: 17194
2905.30/2913.06 c #Conflicts: 548000 | #Constraints: 18194
2905.30/2913.06 c #Conflicts: 549000 | #Constraints: 19194
2905.30/2913.06 c #Conflicts: 550000 | #Constraints: 20194
2905.30/2913.06 c #Conflicts: 551000 | #Constraints: 21194
2905.30/2913.06 c #Conflicts: 552000 | #Constraints: 22194
2905.30/2913.06 c #Conflicts: 553000 | #Constraints: 23194
2905.30/2913.06 c #Conflicts: 554000 | #Constraints: 24194
2905.30/2913.06 c #Conflicts: 555000 | #Constraints: 25194
2905.30/2913.06 c #Conflicts: 556000 | #Constraints: 26194
2905.30/2913.06 c #Conflicts: 557000 | #Constraints: 27194
2905.30/2913.06 c #Conflicts: 558000 | #Constraints: 28194
2905.30/2913.06 c #Conflicts: 559000 | #Constraints: 29194
2905.30/2913.06 c #Conflicts: 560000 | #Constraints: 30194
2905.30/2913.06 c #Conflicts: 561000 | #Constraints: 31194
2905.30/2913.06 c INPROCESSING
2905.30/2913.06 c GARBAGE COLLECT
2905.30/2913.06 c #Conflicts: 562000 | #Constraints: 17385
2905.30/2913.06 c #Conflicts: 563000 | #Constraints: 18385
2905.30/2913.06 c #Conflicts: 564000 | #Constraints: 19385
2905.30/2913.06 c #Conflicts: 565000 | #Constraints: 20385
2905.30/2913.06 c #Conflicts: 566000 | #Constraints: 21385
2905.30/2913.06 c #Conflicts: 567000 | #Constraints: 22385
2905.30/2913.06 c #Conflicts: 568000 | #Constraints: 23385
2905.30/2913.06 c #Conflicts: 569000 | #Constraints: 24385
2905.30/2913.06 c #Conflicts: 570000 | #Constraints: 25385
2905.30/2913.06 c #Conflicts: 571000 | #Constraints: 26385
2905.30/2913.06 c #Conflicts: 572000 | #Constraints: 27385
2905.30/2913.06 c #Conflicts: 573000 | #Constraints: 28385
2905.30/2913.06 c #Conflicts: 574000 | #Constraints: 29385
2905.30/2913.06 c #Conflicts: 575000 | #Constraints: 30385
2905.30/2913.06 c #Conflicts: 576000 | #Constraints: 31385
2905.30/2913.06 c INPROCESSING
2905.30/2913.06 c GARBAGE COLLECT
2905.30/2913.06 c #Conflicts: 577000 | #Constraints: 17382
2905.30/2913.06 c #Conflicts: 578000 | #Constraints: 18382
2905.30/2913.06 c #Conflicts: 579000 | #Constraints: 19382
2905.30/2913.06 c #Conflicts: 580000 | #Constraints: 20382
2905.30/2913.06 c #Conflicts: 581000 | #Constraints: 21382
2905.30/2913.06 c #Conflicts: 582000 | #Constraints: 22382
2905.30/2913.06 c #Conflicts: 583000 | #Constraints: 23382
2905.30/2913.06 c #Conflicts: 584000 | #Constraints: 24382
2905.30/2913.06 c #Conflicts: 585000 | #Constraints: 25382
2905.30/2913.06 c #Conflicts: 586000 | #Constraints: 26382
2905.30/2913.06 c #Conflicts: 587000 | #Constraints: 27382
2905.30/2913.06 c #Conflicts: 588000 | #Constraints: 28382
3294.56/3303.31 c #Conflicts: 589000 | #Constraints: 29382
3294.56/3303.31 c #Conflicts: 590000 | #Constraints: 30382
3294.56/3303.31 c #Conflicts: 591000 | #Constraints: 31382
3294.56/3303.31 c INPROCESSING
3294.56/3303.31 c GARBAGE COLLECT
3294.56/3303.31 c #Conflicts: 592000 | #Constraints: 17187
3294.56/3303.31 c #Conflicts: 593000 | #Constraints: 18187
3294.56/3303.31 c #Conflicts: 594000 | #Constraints: 19187
3294.56/3303.31 c #Conflicts: 595000 | #Constraints: 20187
3294.56/3303.31 c #Conflicts: 596000 | #Constraints: 21187
3294.56/3303.31 c #Conflicts: 597000 | #Constraints: 22187
3294.56/3303.31 c #Conflicts: 598000 | #Constraints: 23187
3294.56/3303.31 c #Conflicts: 599000 | #Constraints: 24187
3294.56/3303.31 c #Conflicts: 600000 | #Constraints: 25187
3294.56/3303.31 c #Conflicts: 601000 | #Constraints: 26187
3294.56/3303.31 c #Conflicts: 602000 | #Constraints: 27187
3294.56/3303.31 c #Conflicts: 603000 | #Constraints: 28187
3294.56/3303.31 c #Conflicts: 604000 | #Constraints: 29187
3294.56/3303.31 c #Conflicts: 605000 | #Constraints: 30187
3294.56/3303.31 c #Conflicts: 606000 | #Constraints: 31187
3294.56/3303.31 c #Conflicts: 607000 | #Constraints: 32187
3294.56/3303.31 c INPROCESSING
3294.56/3303.31 c GARBAGE COLLECT
3294.56/3303.31 c #Conflicts: 608000 | #Constraints: 17797
3294.56/3303.31 c #Conflicts: 609000 | #Constraints: 18797
3294.56/3303.31 c #Conflicts: 610000 | #Constraints: 19797
3294.56/3303.31 c #Conflicts: 611000 | #Constraints: 20797
3294.56/3303.31 c #Conflicts: 612000 | #Constraints: 21797
3294.56/3303.31 c #Conflicts: 613000 | #Constraints: 22797
3294.56/3303.31 c #Conflicts: 614000 | #Constraints: 23797
3294.56/3303.31 c #Conflicts: 615000 | #Constraints: 24797
3294.56/3303.31 c #Conflicts: 616000 | #Constraints: 25797
3294.56/3303.31 c #Conflicts: 617000 | #Constraints: 26797
3294.56/3303.31 c #Conflicts: 618000 | #Constraints: 27797
3294.56/3303.31 c #Conflicts: 619000 | #Constraints: 28797
3294.56/3303.31 c #Conflicts: 620000 | #Constraints: 29797
3294.56/3303.31 c #Conflicts: 621000 | #Constraints: 30797
3294.56/3303.31 c #Conflicts: 622000 | #Constraints: 31797
3294.56/3303.31 c #Conflicts: 623000 | #Constraints: 32797
3294.56/3303.31 c INPROCESSING
3294.56/3303.31 c GARBAGE COLLECT
3294.56/3303.31 c #Conflicts: 624000 | #Constraints: 18194
3294.56/3303.31 c #Conflicts: 625000 | #Constraints: 19194
3294.56/3303.31 c #Conflicts: 626000 | #Constraints: 20194
3294.56/3303.31 c #Conflicts: 627000 | #Constraints: 21194
3294.56/3303.31 c #Conflicts: 628000 | #Constraints: 22194
3294.56/3303.31 c #Conflicts: 629000 | #Constraints: 23194
3294.56/3303.31 c #Conflicts: 630000 | #Constraints: 24194
3294.56/3303.31 c #Conflicts: 631000 | #Constraints: 25194
3294.56/3303.31 c #Conflicts: 632000 | #Constraints: 26194
3294.56/3303.31 c #Conflicts: 633000 | #Constraints: 27194
3294.56/3303.31 c #Conflicts: 634000 | #Constraints: 28194
3294.56/3303.31 c #Conflicts: 635000 | #Constraints: 29194
3294.56/3303.31 c #Conflicts: 636000 | #Constraints: 30194
3294.56/3303.31 c #Conflicts: 637000 | #Constraints: 31194
3294.56/3303.31 c #Conflicts: 638000 | #Constraints: 32194
3294.56/3303.31 c #Conflicts: 639000 | #Constraints: 33194
3294.56/3303.31 c INPROCESSING
3294.56/3303.31 c GARBAGE COLLECT
3294.56/3303.31 c #Conflicts: 640000 | #Constraints: 18391
3294.56/3303.31 c #Conflicts: 641000 | #Constraints: 19391
3294.56/3303.31 c #Conflicts: 642000 | #Constraints: 20391
3294.56/3303.31 c #Conflicts: 643000 | #Constraints: 21391
3294.56/3303.31 c #Conflicts: 644000 | #Constraints: 22391
3294.56/3303.31 c #Conflicts: 645000 | #Constraints: 23391
3294.56/3303.31 c #Conflicts: 646000 | #Constraints: 24391
3294.56/3303.31 c #Conflicts: 647000 | #Constraints: 25391
3294.56/3303.31 c #Conflicts: 648000 | #Constraints: 26391
3294.56/3303.31 c #Conflicts: 649000 | #Constraints: 27391
3294.56/3303.31 c #Conflicts: 650000 | #Constraints: 28391
3294.56/3303.31 c #Conflicts: 651000 | #Constraints: 29391
3294.56/3303.31 c #Conflicts: 652000 | #Constraints: 30391
3294.56/3303.31 c #Conflicts: 653000 | #Constraints: 31391
3294.56/3303.31 c #Conflicts: 654000 | #Constraints: 32391
3294.56/3303.31 c #Conflicts: 655000 | #Constraints: 33391
3294.56/3303.31 c INPROCESSING
3294.56/3303.31 c GARBAGE COLLECT
3294.56/3303.31 c #Conflicts: 656000 | #Constraints: 18389
3294.56/3303.31 c #Conflicts: 657000 | #Constraints: 19389
3294.56/3303.31 c #Conflicts: 658000 | #Constraints: 20389
3294.56/3303.31 c #Conflicts: 659000 | #Constraints: 21389
3294.56/3303.31 c #Conflicts: 660000 | #Constraints: 22389
3294.56/3303.31 c #Conflicts: 661000 | #Constraints: 23389
3294.56/3303.31 c #Conflicts: 662000 | #Constraints: 24389
3294.56/3303.31 c #Conflicts: 663000 | #Constraints: 25389
3294.56/3303.31 c #Conflicts: 664000 | #Constraints: 26389
3600.05/3609.60 c #Conflicts: 665000 | #Constraints: 27389
3600.05/3609.60 c #Conflicts: 666000 | #Constraints: 28389
3600.05/3609.60 c #Conflicts: 667000 | #Constraints: 29389
3600.05/3609.60 c #Conflicts: 668000 | #Constraints: 30389
3600.05/3609.60 c #Conflicts: 669000 | #Constraints: 31389
3600.05/3609.60 c #Conflicts: 670000 | #Constraints: 32389
3600.05/3609.60 c #Conflicts: 671000 | #Constraints: 33389
3600.05/3609.60 c INPROCESSING
3600.05/3609.60 c GARBAGE COLLECT
3600.05/3609.60 c #Conflicts: 672000 | #Constraints: 18191
3600.05/3609.60 c #Conflicts: 673000 | #Constraints: 19191
3600.05/3609.60 c #Conflicts: 674000 | #Constraints: 20191
3600.05/3609.60 c #Conflicts: 675000 | #Constraints: 21191
3600.05/3609.60 c #Conflicts: 676000 | #Constraints: 22191
3600.05/3609.60 c #Conflicts: 677000 | #Constraints: 23191
3600.05/3609.60 c #Conflicts: 678000 | #Constraints: 24191
3600.05/3609.60 c #Conflicts: 679000 | #Constraints: 25191
3600.05/3609.60 c #Conflicts: 680000 | #Constraints: 26191
3600.05/3609.60 c #Conflicts: 681000 | #Constraints: 27191
3600.05/3609.60 c #Conflicts: 682000 | #Constraints: 28191
3600.05/3609.60 c #Conflicts: 683000 | #Constraints: 29191
3600.05/3609.60 c #Conflicts: 684000 | #Constraints: 30191
3600.05/3609.60 c #Conflicts: 685000 | #Constraints: 31191
3600.05/3609.60 c #Conflicts: 686000 | #Constraints: 32191
3600.05/3609.60 c #Conflicts: 687000 | #Constraints: 33191
3600.05/3609.60 c #Conflicts: 688000 | #Constraints: 34191
3600.05/3609.60 c INPROCESSING
3600.05/3609.60 c GARBAGE COLLECT
3600.05/3609.60 c #Conflicts: 689000 | #Constraints: 18792
3600.05/3609.60 c #Conflicts: 690000 | #Constraints: 19792
3600.05/3609.60 c #Conflicts: 691000 | #Constraints: 20792
3600.05/3609.60 c #Conflicts: 692000 | #Constraints: 21792
3600.05/3609.60 c #Conflicts: 693000 | #Constraints: 22792
3600.05/3609.60 c #Conflicts: 694000 | #Constraints: 23792
3600.05/3609.60 c #Conflicts: 695000 | #Constraints: 24792
3600.05/3609.60 c #Conflicts: 696000 | #Constraints: 25792
3600.05/3609.60 c #Conflicts: 697000 | #Constraints: 26792
3600.05/3609.60 c #Conflicts: 698000 | #Constraints: 27792
3600.05/3609.60 c #Conflicts: 699000 | #Constraints: 28792
3600.05/3609.60 c #Conflicts: 700000 | #Constraints: 29792
3600.05/3609.60 c #Conflicts: 701000 | #Constraints: 30792
3600.05/3609.60 c #Conflicts: 702000 | #Constraints: 31792
3600.05/3609.60 c #Conflicts: 703000 | #Constraints: 32792
3600.05/3609.60 c #Conflicts: 704000 | #Constraints: 33792
3600.05/3609.60 c #Conflicts: 705000 | #Constraints: 34792
3600.05/3609.60 c INPROCESSING
3600.05/3609.60 c GARBAGE COLLECT
3600.05/3609.60 c #Conflicts: 706000 | #Constraints: 19191
3600.05/3609.60 c #Conflicts: 707000 | #Constraints: 20191
3600.05/3609.60 c #Conflicts: 708000 | #Constraints: 21191
3600.05/3609.60 c #Conflicts: 709000 | #Constraints: 22191
3600.05/3609.60 c #Conflicts: 710000 | #Constraints: 23191
3600.05/3609.60 c #Conflicts: 711000 | #Constraints: 24191
3600.05/3609.60 c #Conflicts: 712000 | #Constraints: 25191
3600.05/3609.60 c #Conflicts: 713000 | #Constraints: 26191
3600.05/3609.60 c #Conflicts: 714000 | #Constraints: 27191
3600.05/3609.60 c #Conflicts: 715000 | #Constraints: 28191
3600.05/3609.60 c Program interrupted by user.
3600.05/3609.60 c cpu time 3568.51 s
3600.05/3609.60 c deterministic time 744934210933 7.45e+11
3600.05/3609.60 c optimization time 128.673 s
3600.05/3609.60 c total solve time 3439.77 s
3600.05/3609.60 c core-guided solve time 3439.77 s
3600.05/3609.60 c propagation time 2595.68 s
3600.05/3609.60 c conflict analysis time 728.911 s
3600.05/3609.60 c propagations 227524705
3600.05/3609.60 c resolve steps 3571500
3600.05/3609.60 c decisions 31487584
3600.05/3609.60 c conflicts 715525
3600.05/3609.60 c restarts 1532
3600.05/3609.60 c inprocessing phases 75
3600.05/3609.60 c input clauses 713
3600.05/3609.60 c input cardinalities 712
3600.05/3609.60 c input general constraints 130
3600.05/3609.60 c input average constraint length 117.41
3600.05/3609.60 c input average constraint degree 24911.80
3600.05/3609.60 c learned clauses 6113
3600.05/3609.60 c learned cardinalities 95
3600.05/3609.60 c learned general constraints 709317
3600.05/3609.60 c learned average constraint length 3210.22
3600.05/3609.60 c learned average constraint degree 29548140.71
3600.05/3609.60 c watched constraints 433512
3600.05/3609.60 c counting constraints 275935
3600.05/3609.60 c gcd simplifications 3347
3600.05/3609.60 c detected cardinalities 27
3600.05/3609.60 c weakened non-implied lits 287927505
3600.05/3609.60 c weakened non-implying lits 111184
3600.05/3609.60 c original variables 45632
3600.05/3609.60 c clausal propagations 2522914
3600.05/3609.60 c cardinality propagations 24956776
3600.05/3609.60 c watched propagations 13349462
3600.05/3609.60 c counting propagations 185143255
3600.05/3609.60 c watch lookups 19042380138
3600.05/3609.60 c watch backjump lookups 18621834720
3600.05/3609.60 c watch checks 575583698333
3600.05/3609.60 c propagation checks 124720763996
3600.05/3609.60 c constraint additions 6446835911
3600.05/3609.60 c trail pops 259685545
3600.05/3609.60 c formula constraints 1554
3600.05/3609.60 c learned constraints 715525
3600.05/3609.60 c bound constraints 0
3600.05/3609.60 c core-guided constraints 1
3600.05/3609.60 c encountered formula constraints 2453682
3600.05/3609.60 c encountered learned constraints 1832076
3600.05/3609.60 c encountered bound constraints 0
3600.05/3609.60 c encountered core-guided constraints 1267
3600.05/3609.60 c LP total time 0 s
3600.05/3609.60 c LP solve time 0 s
3600.05/3609.60 c LP constraints added 0
3600.05/3609.60 c LP constraints removed 0
3600.05/3609.60 c LP pivots internal 0
3600.05/3609.60 c LP pivots root 0
3600.05/3609.60 c LP calls 0
3600.05/3609.60 c LP optimalities 0
3600.05/3609.60 c LP no pivot count 0
3600.05/3609.60 c LP infeasibilities 0
3600.05/3609.60 c LP valid Farkas constraints 0
3600.05/3609.60 c LP learned Farkas constraints 0
3600.05/3609.60 c LP basis resets 0
3600.05/3609.60 c LP cycling count 0
3600.05/3609.60 c LP singular count 0
3600.05/3609.60 c LP no primal count 0
3600.05/3609.60 c LP no farkas count 0
3600.05/3609.60 c LP other issue count 0
3600.05/3609.60 c LP Gomory cuts 0
3600.05/3609.60 c LP learned cuts 0
3600.05/3609.60 c LP deleted cuts 0
3600.05/3609.60 c LP encountered Gomory constraints 0
3600.05/3609.60 c LP encountered Farkas constraints 0
3600.05/3609.60 c LP encountered learned Farkas constraints 0
3600.05/3609.60 c CG auxiliary variables introduced 1
3600.05/3609.60 c CG solutions found 0
3600.05/3609.60 c CG cores constructed 0
3600.05/3609.60 c CG core cardinality constraints returned 0
3600.05/3609.60 c CG unit cores 0
3600.05/3609.60 c CG single cores 0
3600.05/3609.60 c CG blocks removed during cardinality reduction 0
3600.05/3609.60 c CG first core best 0
3600.05/3609.60 c CG decision core best 0
3600.05/3609.60 c CG core reduction tie 0
3600.05/3609.60 c CG core degree average 0.00
3600.05/3609.60 c CG core slack average 0.00
3600.05/3609.60 c CG exhausted 0
3600.05/3609.60 c CG exhaust time 0 s
3600.05/3609.60 c CG trimmed 0
3600.05/3609.60 c CG trim time 0 s
3600.05/3609.60 c CG minimized 0
3600.05/3609.60 c CG minimize time 0 s
3600.05/3609.60 c CG am1 prop time 0.005 s
3600.05/3609.60 c CG # am1s reformulated 1
3600.05/3609.60 c CG lower bound derived from am1s 58
3600.05/3609.60 c CG # clausal cores 0
3600.05/3609.60 c CG # cardinality cores 0
3600.05/3609.60 c CG # pb cores 0
3600.05/3609.60 c CG # pb reforms 0
3600.05/3609.60 c CG # cores discarded because of pb reform 0
3600.05/3609.60 d LOWERBOUND 0
3600.05/3609.60 d NCORES 0
3600.05/3609.60 d NPBCORES 0
3600.05/3609.60 d NPBREFORM 0
3600.05/3609.60 d NTRIMMED 0
3600.05/3609.60 d NEXHAUSTED 0
3600.05/3609.60 d NAM1S 1
3600.05/3609.60 d AM1LB 58
3600.05/3609.64 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: 63968 MiB (60958 MiB free)
memory of node 1: 64473 MiB (62677 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436165-1721172415/watcher-4436165-1721172415 -o /tmp/evaluation-result-4436165-1721172415/solver-4436165-1721172415 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721165209-878135 --watchdog 3760 pb-oll-rs HOME/instance-4436165-1721172415.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=882910, runsolver pid=882907
[startup+0.100943 s]*
/proc/loadavg: 4.09 4.15 4.11 5/259 882911
/proc/meminfo: memFree=126586868/131524600 swapFree=131071996/131071996
[pid=882910] ppid=882907 vsize=56368 memory=20992 CPUtime=0.09 cores=1,3
/proc/882910/stat : 882910 (pb-oll-rs) R 882907 882910 878123 0 -1 4194304 4399 0 0 0 8 1 0 0 20 0 1 0 169407690 57720832 5248 134679101440 4194304 5384005 140732792361088 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 5674704 5678696 36782080 140732792370199 140732792370276 140732792370276 140732792377291 0
/proc/882910/statm: 14092 5248 1346 291 0 5626 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 56368 KiB
Current children cumulated memory: 20992 KiB
[startup+0.205949 s]*
/proc/loadavg: 4.09 4.15 4.11 5/259 882911
/proc/meminfo: memFree=126581124/131524600 swapFree=131071996/131071996
[pid=882910] ppid=882907 vsize=59748 memory=26592 CPUtime=0.19 cores=1,3
/proc/882910/stat : 882910 (pb-oll-rs) R 882907 882910 878123 0 -1 4194304 5259 0 0 0 16 3 0 0 20 0 1 0 169407690 61181952 6648 134679101440 4194304 5384005 140732792361088 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 5674704 5678696 36782080 140732792370199 140732792370276 140732792370276 140732792377291 0
/proc/882910/statm: 14937 6648 1378 291 0 6471 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 59748 KiB
Current children cumulated memory: 26592 KiB
[startup+0.305931 s]*
/proc/loadavg: 4.09 4.15 4.11 5/259 882911
/proc/meminfo: memFree=126579780/131524600 swapFree=131071996/131071996
[pid=882910] ppid=882907 vsize=62880 memory=28192 CPUtime=0.29 cores=1,3
/proc/882910/stat : 882910 (pb-oll-rs) R 882907 882910 878123 0 -1 4194304 5655 0 0 0 25 4 0 0 20 0 1 0 169407690 64389120 7048 134679101440 4194304 5384005 140732792361088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36782080 140732792370199 140732792370276 140732792370276 140732792377291 0
/proc/882910/statm: 15720 7048 1378 291 0 7254 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 62880 KiB
Current children cumulated memory: 28192 KiB
[startup+0.700222 s]
/proc/loadavg: 4.09 4.15 4.11 5/259 882911
/proc/meminfo: memFree=126574008/131524600 swapFree=131071996/131071996
[pid=882910] ppid=882907 vsize=68560 memory=36420 CPUtime=0.67 cores=1,3
/proc/882910/stat : 882910 (pb-oll-rs) R 882907 882910 878123 0 -1 4194304 6672 0 0 0 60 7 0 0 20 0 1 0 169407690 70205440 9105 134679101440 4194304 5384005 140732792361088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36782080 140732792370199 140732792370276 140732792370276 140732792377291 0
/proc/882910/statm: 17140 9105 1378 291 0 8674 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 68560 KiB
Current children cumulated memory: 36420 KiB
[startup+1.50022 s]
/proc/loadavg: 4.09 4.15 4.11 5/259 882911
/proc/meminfo: memFree=126563968/131524600 swapFree=131071996/131071996
[pid=882910] ppid=882907 vsize=91772 memory=55272 CPUtime=1.47 cores=1,3
/proc/882910/stat : 882910 (pb-oll-rs) R 882907 882910 878123 0 -1 4194304 8330 0 0 0 134 13 0 0 20 0 1 0 169407690 93974528 13818 134679101440 4194304 5384005 140732792361088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36782080 140732792370199 140732792370276 140732792370276 140732792377291 0
/proc/882910/statm: 22943 13818 1378 291 0 14477 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 91772 KiB
Current children cumulated memory: 55272 KiB
[startup+3.10576 s]
/proc/loadavg: 4.08 4.15 4.11 5/259 882911
/proc/meminfo: memFree=126518272/131524600 swapFree=131071996/131071996
[pid=882910] ppid=882907 vsize=150288 memory=92784 CPUtime=3.08 cores=1,3
/proc/882910/stat : 882910 (pb-oll-rs) R 882907 882910 878123 0 -1 4194304 11600 0 0 0 288 20 0 0 20 0 1 0 169407690 153894912 23196 134679101440 4194304 5384005 140732792361088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36782080 140732792370199 140732792370276 140732792370276 140732792377291 0
/proc/882910/statm: 37572 23196 1378 291 0 29106 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 150288 KiB
Current children cumulated memory: 92784 KiB
[startup+6.3002 s]
/proc/loadavg: 4.08 4.15 4.11 5/259 883003
/proc/meminfo: memFree=126690988/131524600 swapFree=131071996/131071996
[pid=882910] ppid=882907 vsize=182624 memory=127552 CPUtime=6.26 cores=1,3
/proc/882910/stat : 882910 (pb-oll-rs) R 882907 882910 878123 0 -1 4194304 19697 0 0 0 578 48 0 0 20 0 1 0 169407690 187006976 31888 134679101440 4194304 5384005 140732792361088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36782080 140732792370199 140732792370276 140732792370276 140732792377291 0
/proc/882910/statm: 45656 31888 1454 291 0 37190 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 182624 KiB
Current children cumulated memory: 127552 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.16 4.12 5/259 883005
/proc/meminfo: memFree=126535052/131524600 swapFree=131071996/131071996
[pid=882910] ppid=882907 vsize=235908 memory=180796 CPUtime=12.65 cores=1,3
/proc/882910/stat : 882910 (pb-oll-rs) R 882907 882910 878123 0 -1 4194304 33012 0 0 0 1182 83 0 0 20 0 1 0 169407690 241569792 45199 134679101440 4194304 5384005 140732792361088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36782080 140732792370199 140732792370276 140732792370276 140732792377291 0
/proc/882910/statm: 58977 45199 1454 291 0 50511 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 235908 KiB
Current children cumulated memory: 180796 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.16 4.11 5/259 883007
/proc/meminfo: memFree=126343276/131524600 swapFree=131071996/131071996
[pid=882910] ppid=882907 vsize=294340 memory=261764 CPUtime=25.41 cores=1,3
/proc/882910/stat : 882910 (pb-oll-rs) R 882907 882910 878123 0 -1 4194304 47670 0 0 0 2420 121 0 0 20 0 1 0 169407690 301404160 65441 134679101440 4194304 5384005 140732792361088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36782080 140732792370199 140732792370276 140732792370276 140732792377291 0
/proc/882910/statm: 73585 65441 1454 291 0 65119 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 294340 KiB
Current children cumulated memory: 261764 KiB
[startup+51.1059 s]
/proc/loadavg: 4.08 4.14 4.11 5/259 883058
/proc/meminfo: memFree=126202012/131524600 swapFree=131071996/131071996
[pid=882910] ppid=882907 vsize=426416 memory=361560 CPUtime=50.95 cores=1,3
/proc/882910/stat : 882910 (pb-oll-rs) R 882907 882910 878123 0 -1 4194304 68056 0 0 0 4872 223 0 0 20 0 1 0 169407690 436649984 90390 134679101440 4194304 5384005 140732792361088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36782080 140732792370199 140732792370276 140732792370276 140732792377291 0
/proc/882910/statm: 106604 90390 1454 291 0 98138 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 426416 KiB
Current children cumulated memory: 361560 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.13 4.10 5/260 883695
/proc/meminfo: memFree=127399544/131524600 swapFree=131071996/131071996
[pid=882910] ppid=882907 vsize=757412 memory=639840 CPUtime=102.01 cores=1,3
/proc/882910/stat : 882910 (pb-oll-rs) R 882907 882910 878123 0 -1 4194304 127248 0 0 0 9863 338 0 0 20 0 1 0 169407690 775589888 159960 134679101440 4194304 5384005 140732792361088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36782080 140732792370199 140732792370276 140732792370276 140732792377291 0
/proc/882910/statm: 189353 159960 1454 291 0 180887 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 757412 KiB
Current children cumulated memory: 639840 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/260 883705
/proc/meminfo: memFree=126913828/131524600 swapFree=131071996/131071996
[pid=882910] ppid=882907 vsize=1175224 memory=969292 CPUtime=161.84 cores=1,3
/proc/882910/stat : 882910 (pb-oll-rs) R 882907 882910 878123 0 -1 4194304 191843 0 0 0 15703 481 0 0 20 0 1 0 169407690 1203429376 242323 134679101440 4194304 5384005 140732792361088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36782080 140732792370199 140732792370276 140732792370276 140732792377291 0
/proc/882910/statm: 293806 242323 1454 291 0 285340 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 1175224 KiB
Current children cumulated memory: 969292 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/257 883772
/proc/meminfo: memFree=126364624/131524600 swapFree=131071996/131071996
[pid=882910] ppid=882907 vsize=1547096 memory=1405620 CPUtime=221.68 cores=1,3
/proc/882910/stat : 882910 (pb-oll-rs) R 882907 882910 878123 0 -1 4194304 272446 0 0 0 21635 533 0 0 20 0 1 0 169407690 1584226304 351405 134679101440 4194304 5384005 140732792361088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36782080 140732792370199 140732792370276 140732792370276 140732792377291 0
/proc/882910/statm: 386774 351405 1454 291 0 378308 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 1547096 KiB
Current children cumulated memory: 1405620 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/257 883782
/proc/meminfo: memFree=126221560/131524600 swapFree=131071996/131071996
[pid=882910] ppid=882907 vsize=1563996 memory=1424096 CPUtime=281.52 cores=1,3
/proc/882910/stat : 882910 (pb-oll-rs) R 882907 882910 878123 0 -1 4194304 277300 0 0 0 27607 545 0 0 20 0 1 0 169407690 1601531904 356024 134679101440 4194304 5384005 140732792361088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36782080 140732792370199 140732792370276 140732792370276 140732792377291 0
/proc/882910/statm: 390999 356024 1454 291 0 382533 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 1563996 KiB
Current children cumulated memory: 1424096 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/256 883792
/proc/meminfo: memFree=126006832/131524600 swapFree=131071996/131071996
[pid=882910] ppid=882907 vsize=1884480 memory=1521956 CPUtime=341.38 cores=1,3
/proc/882910/stat : 882910 (pb-oll-rs) R 882907 882910 878123 0 -1 4194304 296899 0 0 0 33531 607 0 0 20 0 1 0 169407690 1929707520 380489 134679101440 4194304 5384005 140732792361088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36782080 140732792370199 140732792370276 140732792370276 140732792377291 0
/proc/882910/statm: 471120 380489 1454 291 0 462654 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 1884480 KiB
Current children cumulated memory: 1521956 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/254 883804
/proc/meminfo: memFree=125929328/131524600 swapFree=131071996/131071996
[pid=882910] ppid=882907 vsize=1884480 memory=1522144 CPUtime=401.22 cores=1,3
/proc/882910/stat : 882910 (pb-oll-rs) R 882907 882910 878123 0 -1 4194304 297055 0 0 0 39372 750 0 0 20 0 1 0 169407690 1929707520 380536 134679101440 4194304 5384005 140732792361088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36782080 140732792370199 140732792370276 140732792370276 140732792377291 0
/proc/882910/statm: 471120 380536 1454 291 0 462654 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 1884480 KiB
Current children cumulated memory: 1522144 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/255 883816
/proc/meminfo: memFree=125724268/131524600 swapFree=131071996/131071996
[pid=882910] ppid=882907 vsize=1992564 memory=1614604 CPUtime=461.07 cores=1,3
/proc/882910/stat : 882910 (pb-oll-rs) R 882907 882910 878123 0 -1 4194304 320338 0 0 0 45293 814 0 0 20 0 1 0 169407690 2040385536 403651 134679101440 4194304 5384005 140732792361088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36782080 140732792370199 140732792370276 140732792370276 140732792377291 0
/proc/882910/statm: 498141 403651 1454 291 0 489675 0
################
# More data... #
################
Current children cumulated memory: 4890340 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/257 884834
/proc/meminfo: memFree=119961484/131524600 swapFree=131071996/131071996
[pid=882910] ppid=882907 vsize=5337652 memory=4908676 CPUtime=2854.72 cores=1,3
/proc/882910/stat : 882910 (pb-oll-rs) R 882907 882910 878123 0 -1 4194304 883187 0 0 0 282876 2596 0 0 20 0 1 0 169407690 5465755648 1227169 134679101440 4194304 5384005 140732792361088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36782080 140732792370199 140732792370276 140732792370276 140732792377291 0
/proc/882910/statm: 1334413 1227169 1454 291 0 1325947 0
Current children cumulated CPU time: 2854.72 s
Current children cumulated vsize: 5337652 KiB
Current children cumulated memory: 4908676 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 884844
/proc/meminfo: memFree=119945884/131524600 swapFree=131071996/131071996
[pid=882910] ppid=882907 vsize=5337652 memory=4920436 CPUtime=2914.57 cores=1,3
/proc/882910/stat : 882910 (pb-oll-rs) R 882907 882910 878123 0 -1 4194304 885233 0 0 0 288765 2692 0 0 20 0 1 0 169407690 5465755648 1230109 134679101440 4194304 5384005 140732792361088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36782080 140732792370199 140732792370276 140732792370276 140732792377291 0
/proc/882910/statm: 1334413 1230109 1454 291 0 1325947 0
Current children cumulated CPU time: 2914.57 s
Current children cumulated vsize: 5337652 KiB
Current children cumulated memory: 4920436 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/254 884854
/proc/meminfo: memFree=119932864/131524600 swapFree=131071996/131071996
[pid=882910] ppid=882907 vsize=5337652 memory=4929072 CPUtime=2974.41 cores=1,3
/proc/882910/stat : 882910 (pb-oll-rs) R 882907 882910 878123 0 -1 4194304 886939 0 0 0 294729 2712 0 0 20 0 1 0 169407690 5465755648 1232268 134679101440 4194304 5384005 140732792361088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36782080 140732792370199 140732792370276 140732792370276 140732792377291 0
/proc/882910/statm: 1334413 1232268 1454 291 0 1325947 0
Current children cumulated CPU time: 2974.41 s
Current children cumulated vsize: 5337652 KiB
Current children cumulated memory: 4929072 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/254 884867
/proc/meminfo: memFree=119911368/131524600 swapFree=131071996/131071996
[pid=882910] ppid=882907 vsize=5338248 memory=4949504 CPUtime=3034.25 cores=1,3
/proc/882910/stat : 882910 (pb-oll-rs) R 882907 882910 878123 0 -1 4194304 888608 0 0 0 300699 2726 0 0 20 0 1 0 169407690 5466365952 1237376 134679101440 4194304 5384005 140732792361088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36782080 140732792370199 140732792370276 140732792370276 140732792377291 0
/proc/882910/statm: 1334562 1237376 1454 291 0 1326096 0
Current children cumulated CPU time: 3034.25 s
Current children cumulated vsize: 5338248 KiB
Current children cumulated memory: 4949504 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/254 884877
/proc/meminfo: memFree=119893708/131524600 swapFree=131071996/131071996
[pid=882910] ppid=882907 vsize=5346264 memory=4966064 CPUtime=3094.1 cores=1,3
/proc/882910/stat : 882910 (pb-oll-rs) R 882907 882910 878123 0 -1 4194304 891991 0 0 0 306659 2751 0 0 20 0 1 0 169407690 5474574336 1241516 134679101440 4194304 5384005 140732792361088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36782080 140732792370199 140732792370276 140732792370276 140732792377291 0
/proc/882910/statm: 1336566 1241516 1454 291 0 1328100 0
Current children cumulated CPU time: 3094.1 s
Current children cumulated vsize: 5346264 KiB
Current children cumulated memory: 4966064 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/255 884889
/proc/meminfo: memFree=119860440/131524600 swapFree=131071996/131071996
[pid=882910] ppid=882907 vsize=5348236 memory=4995532 CPUtime=3153.93 cores=1,3
/proc/882910/stat : 882910 (pb-oll-rs) R 882907 882910 878123 0 -1 4194304 894048 0 0 0 312561 2832 0 0 20 0 1 0 169407690 5476593664 1248883 134679101440 4194304 5384005 140732792361088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36782080 140732792370199 140732792370276 140732792370276 140732792377291 0
/proc/882910/statm: 1337059 1248883 1454 291 0 1328593 0
Current children cumulated CPU time: 3153.93 s
Current children cumulated vsize: 5348236 KiB
Current children cumulated memory: 4995532 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 884904
/proc/meminfo: memFree=119843756/131524600 swapFree=131071996/131071996
[pid=882910] ppid=882907 vsize=5348236 memory=4995532 CPUtime=3213.77 cores=1,3
/proc/882910/stat : 882910 (pb-oll-rs) R 882907 882910 878123 0 -1 4194304 896162 0 0 0 318458 2919 0 0 20 0 1 0 169407690 5476593664 1248883 134679101440 4194304 5384005 140732792361088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36782080 140732792370199 140732792370276 140732792370276 140732792377291 0
/proc/882910/statm: 1337059 1248883 1454 291 0 1328593 0
Current children cumulated CPU time: 3213.77 s
Current children cumulated vsize: 5348236 KiB
Current children cumulated memory: 4995532 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 884915
/proc/meminfo: memFree=119837260/131524600 swapFree=131071996/131071996
[pid=882910] ppid=882907 vsize=5348236 memory=4995532 CPUtime=3273.61 cores=1,3
/proc/882910/stat : 882910 (pb-oll-rs) R 882907 882910 878123 0 -1 4194304 898156 0 0 0 324422 2939 0 0 20 0 1 0 169407690 5476593664 1248883 134679101440 4194304 5384005 140732792361088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36782080 140732792370199 140732792370276 140732792370276 140732792377291 0
/proc/882910/statm: 1337059 1248883 1454 291 0 1328593 0
Current children cumulated CPU time: 3273.61 s
Current children cumulated vsize: 5348236 KiB
Current children cumulated memory: 4995532 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 884925
/proc/meminfo: memFree=119836644/131524600 swapFree=131071996/131071996
[pid=882910] ppid=882907 vsize=5348236 memory=4995536 CPUtime=3333.46 cores=1,3
/proc/882910/stat : 882910 (pb-oll-rs) R 882907 882910 878123 0 -1 4194304 900161 0 0 0 330320 3026 0 0 20 0 1 0 169407690 5476593664 1248884 134679101440 4194304 5384005 140732792361088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36782080 140732792370199 140732792370276 140732792370276 140732792377291 0
/proc/882910/statm: 1337059 1248884 1454 291 0 1328593 0
Current children cumulated CPU time: 3333.46 s
Current children cumulated vsize: 5348236 KiB
Current children cumulated memory: 4995536 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/257 884937
/proc/meminfo: memFree=119835960/131524600 swapFree=131071996/131071996
[pid=882910] ppid=882907 vsize=5348236 memory=4995536 CPUtime=3393.3 cores=1,3
/proc/882910/stat : 882910 (pb-oll-rs) R 882907 882910 878123 0 -1 4194304 902203 0 0 0 336222 3108 0 0 20 0 1 0 169407690 5476593664 1248884 134679101440 4194304 5384005 140732792361088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36782080 140732792370199 140732792370276 140732792370276 140732792377291 0
/proc/882910/statm: 1337059 1248884 1454 291 0 1328593 0
Current children cumulated CPU time: 3393.3 s
Current children cumulated vsize: 5348236 KiB
Current children cumulated memory: 4995536 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/256 884948
/proc/meminfo: memFree=119832616/131524600 swapFree=131071996/131071996
[pid=882910] ppid=882907 vsize=5348236 memory=4997864 CPUtime=3453.14 cores=1,3
/proc/882910/stat : 882910 (pb-oll-rs) R 882907 882910 878123 0 -1 4194304 903956 0 0 0 342186 3128 0 0 20 0 1 0 169407690 5476593664 1249466 134679101440 4194304 5384005 140732792361088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36782080 140732792370199 140732792370276 140732792370276 140732792377291 0
/proc/882910/statm: 1337059 1249466 1454 291 0 1328593 0
Current children cumulated CPU time: 3453.14 s
Current children cumulated vsize: 5348236 KiB
Current children cumulated memory: 4997864 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 885341
/proc/meminfo: memFree=119809676/131524600 swapFree=131071996/131071996
[pid=882910] ppid=882907 vsize=5352020 memory=5018468 CPUtime=3512.99 cores=1,3
/proc/882910/stat : 882910 (pb-oll-rs) R 882907 882910 878123 0 -1 4194304 906649 0 0 0 348156 3143 0 0 20 0 1 0 169407690 5480468480 1254617 134679101440 4194304 5384005 140732792361088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36782080 140732792370199 140732792370276 140732792370276 140732792377291 0
/proc/882910/statm: 1338005 1254617 1454 291 0 1329539 0
Current children cumulated CPU time: 3512.99 s
Current children cumulated vsize: 5352020 KiB
Current children cumulated memory: 5018468 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 885352
/proc/meminfo: memFree=119785508/131524600 swapFree=131071996/131071996
[pid=882910] ppid=882907 vsize=5359196 memory=5042028 CPUtime=3572.82 cores=1,3
/proc/882910/stat : 882910 (pb-oll-rs) R 882907 882910 878123 0 -1 4194304 909466 0 0 0 354131 3151 0 0 20 0 1 0 169407690 5487816704 1260507 134679101440 4194304 5384005 140732792361088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36782080 140732792370199 140732792370276 140732792370276 140732792377291 0
/proc/882910/statm: 1339799 1260507 1454 291 0 1331333 0
Current children cumulated CPU time: 3572.82 s
Current children cumulated vsize: 5359196 KiB
Current children cumulated memory: 5042028 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.05 4.09 4.09 5/257 885356
/proc/meminfo: memFree=119765764/131524600 swapFree=131071996/131071996
[pid=882910] ppid=882907 vsize=5368668 memory=5061468 CPUtime=3600.05 cores=1,3
/proc/882910/stat : 882910 (pb-oll-rs) R 882907 882910 878123 0 -1 4194304 911677 0 0 0 356850 3155 0 0 20 0 1 0 169407690 5497516032 1265367 134679101440 4194304 5384005 140732792361088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36782080 140732792370199 140732792370276 140732792370276 140732792377291 0
/proc/882910/statm: 1342167 1265367 1454 291 0 1333701 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 5368668 KiB
Current children cumulated memory: 5061468 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.67 s]
# the end of solver process 882910 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3568.52 s, system=31.6014 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.67
CPU time (s): 3600.12
CPU user time (s): 3568.52
CPU system time (s): 31.6014
CPU usage (%): 99.7357
Max. virtual memory (cumulated for all children) (KiB): 5368668
Max. memory (cumulated for all children) (KiB): 5061468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.52
system time used= 31.6014
maximum resident set size= 5061672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 912065
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= 208
involuntary context switches= 3366
# summary of solver processes directly reported to runsolver:
# pid: 882910
# total CPU time (s): 3600.12
# total CPU user time (s): 3568.52
# total CPU system time (s): 31.6014
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.36393 second user time and 17.2009 second system time
The end
Begin job on nodeC026 at 2024-07-17 01:27:08
IDJOB=4436165
IDBENCH=158610
IDSOLVER=3067
FILE ID=nodeC026/4436165-1721172415
RUNJOBID= nodeC026-1721165209-878135
SLURM_JOB_ID= 7505787
Free space on /tmp= 890072 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
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-4436165-1721172415/watcher-4436165-1721172415 -o /tmp/evaluation-result-4436165-1721172415/solver-4436165-1721172415 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721165209-878135 --watchdog 3760 pb-oll-rs HOME/instance-4436165-1721172415.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 380e20810b586058c5e1cee383ac3a23
RANDOM SEED=523442435
nodeC026.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 : 0xb00002a
cpu MHz : 3675.798
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.74
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 : 0xb00002a
cpu MHz : 3665.206
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.45
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 : 0xb00002a
cpu MHz : 3600.155
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.74
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 : 0xb00002a
cpu MHz : 3653.604
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.45
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 : 0xb00002a
cpu MHz : 3675.770
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.74
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 : 0xb00002a
cpu MHz : 3678.735
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.45
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 : 0xb00002a
cpu MHz : 3600.137
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.74
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 : 0xb00002a
cpu MHz : 3620.853
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126603328 kB
MemAvailable: 127696672 kB
Buffers: 447032 kB
Cached: 1477036 kB
SwapCached: 0 kB
Active: 834048 kB
Inactive: 3472552 kB
Active(anon): 1548 kB
Inactive(anon): 2418736 kB
Active(file): 832500 kB
Inactive(file): 1053816 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 3972 kB
Writeback: 0 kB
AnonPages: 2377540 kB
Mapped: 108852 kB
Shmem: 37720 kB
KReclaimable: 93704 kB
Slab: 201624 kB
SReclaimable: 93704 kB
SUnreclaim: 107920 kB
KernelStack: 4176 kB
PageTables: 14108 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 3042148 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 64256 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2213888 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: 232148 kB
DirectMap2M: 20512768 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 890064 MiB
End job on nodeC026 at 2024-07-17 02:27:18