0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.21/0.24 c [STEP] solving
0.21/0.24 c #variables 45696 #constraints 1555
0.21/0.24 c SMALL=int, LARGE=long long
145.77/146.26 c bounds - >= 64 @ 0.217262
145.77/146.26 c #Conflicts: 1000 | #Constraints: 2554
145.77/146.26 c #Conflicts: 2000 | #Constraints: 3554
145.77/146.26 c INPROCESSING
145.77/146.26 c GARBAGE COLLECT
145.77/146.26 c #Conflicts: 3000 | #Constraints: 3571
145.77/146.26 c #Conflicts: 4000 | #Constraints: 4571
145.77/146.26 c INPROCESSING
145.77/146.26 c GARBAGE COLLECT
145.77/146.26 c #Conflicts: 5000 | #Constraints: 3978
145.77/146.26 c #Conflicts: 6000 | #Constraints: 4978
145.77/146.26 c INPROCESSING
145.77/146.26 c GARBAGE COLLECT
145.77/146.26 c #Conflicts: 7000 | #Constraints: 3980
145.77/146.26 c #Conflicts: 8000 | #Constraints: 4980
145.77/146.26 c #Conflicts: 9000 | #Constraints: 5980
145.77/146.26 c INPROCESSING
145.77/146.26 c GARBAGE COLLECT
145.77/146.26 c #Conflicts: 10000 | #Constraints: 4681
145.77/146.26 c #Conflicts: 11000 | #Constraints: 5681
145.77/146.26 c #Conflicts: 12000 | #Constraints: 6681
145.77/146.26 c INPROCESSING
145.77/146.26 c GARBAGE COLLECT
145.77/146.26 c #Conflicts: 13000 | #Constraints: 5133
145.77/146.26 c #Conflicts: 14000 | #Constraints: 6133
145.77/146.26 c #Conflicts: 15000 | #Constraints: 7133
145.77/146.26 c INPROCESSING
145.77/146.26 c GARBAGE COLLECT
145.77/146.26 c #Conflicts: 16000 | #Constraints: 5360
145.77/146.26 c #Conflicts: 17000 | #Constraints: 6360
145.77/146.26 c #Conflicts: 18000 | #Constraints: 7360
145.77/146.26 c INPROCESSING
145.77/146.26 c GARBAGE COLLECT
145.77/146.26 c #Conflicts: 19000 | #Constraints: 5375
145.77/146.26 c #Conflicts: 20000 | #Constraints: 6375
145.77/146.26 c #Conflicts: 21000 | #Constraints: 7375
145.77/146.26 c INPROCESSING
145.77/146.26 c GARBAGE COLLECT
145.77/146.26 c #Conflicts: 22000 | #Constraints: 5177
145.77/146.26 c #Conflicts: 23000 | #Constraints: 6177
145.77/146.26 c #Conflicts: 24000 | #Constraints: 7177
145.77/146.26 c #Conflicts: 25000 | #Constraints: 8177
145.77/146.26 c INPROCESSING
145.77/146.26 c GARBAGE COLLECT
145.77/146.26 c #Conflicts: 26000 | #Constraints: 5779
145.77/146.26 c #Conflicts: 27000 | #Constraints: 6779
145.77/146.26 c #Conflicts: 28000 | #Constraints: 7779
145.77/146.26 c #Conflicts: 29000 | #Constraints: 8779
145.77/146.26 c INPROCESSING
145.77/146.26 c GARBAGE COLLECT
145.77/146.26 c #Conflicts: 30000 | #Constraints: 6177
145.77/146.26 c #Conflicts: 31000 | #Constraints: 7177
145.77/146.26 c #Conflicts: 32000 | #Constraints: 8177
145.77/146.26 c #Conflicts: 33000 | #Constraints: 9177
145.77/146.26 c INPROCESSING
145.77/146.26 c GARBAGE COLLECT
145.77/146.26 c #Conflicts: 34000 | #Constraints: 6385
145.77/146.26 c #Conflicts: 35000 | #Constraints: 7385
145.77/146.26 c #Conflicts: 36000 | #Constraints: 8385
145.77/146.26 c #Conflicts: 37000 | #Constraints: 9385
145.77/146.26 c INPROCESSING
145.77/146.26 c GARBAGE COLLECT
145.77/146.26 c #Conflicts: 38000 | #Constraints: 6386
145.77/146.26 c #Conflicts: 39000 | #Constraints: 7386
145.77/146.26 c #Conflicts: 40000 | #Constraints: 8386
145.77/146.26 c #Conflicts: 41000 | #Constraints: 9386
145.77/146.26 c INPROCESSING
145.77/146.26 c GARBAGE COLLECT
145.77/146.26 c #Conflicts: 42000 | #Constraints: 6196
145.77/146.26 c #Conflicts: 43000 | #Constraints: 7196
145.77/146.26 c #Conflicts: 44000 | #Constraints: 8196
145.77/146.26 c #Conflicts: 45000 | #Constraints: 9196
145.77/146.26 c #Conflicts: 46000 | #Constraints: 10196
145.77/146.26 c INPROCESSING
145.77/146.26 c GARBAGE COLLECT
145.77/146.26 c #Conflicts: 47000 | #Constraints: 6789
145.77/146.26 c #Conflicts: 48000 | #Constraints: 7789
145.77/146.26 c #Conflicts: 49000 | #Constraints: 8789
145.77/146.26 c #Conflicts: 50000 | #Constraints: 9789
145.77/146.26 c #Conflicts: 51000 | #Constraints: 10789
145.77/146.26 c INPROCESSING
145.77/146.26 c GARBAGE COLLECT
145.77/146.26 c #Conflicts: 52000 | #Constraints: 7190
145.77/146.26 c #Conflicts: 53000 | #Constraints: 8190
145.77/146.26 c #Conflicts: 54000 | #Constraints: 9190
145.77/146.26 c #Conflicts: 55000 | #Constraints: 10190
145.77/146.26 c #Conflicts: 56000 | #Constraints: 11190
145.77/146.26 c INPROCESSING
145.77/146.26 c GARBAGE COLLECT
145.77/146.26 c #Conflicts: 57000 | #Constraints: 7384
145.77/146.26 c #Conflicts: 58000 | #Constraints: 8384
145.77/146.26 c #Conflicts: 59000 | #Constraints: 9384
145.77/146.26 c #Conflicts: 60000 | #Constraints: 10384
145.77/146.26 c #Conflicts: 61000 | #Constraints: 11384
145.77/146.26 c INPROCESSING
145.77/146.26 c GARBAGE COLLECT
145.77/146.26 c #Conflicts: 62000 | #Constraints: 7384
145.77/146.26 c #Conflicts: 63000 | #Constraints: 8384
145.77/146.26 c #Conflicts: 64000 | #Constraints: 9384
145.77/146.26 c #Conflicts: 65000 | #Constraints: 10384
145.77/146.26 c #Conflicts: 66000 | #Constraints: 11384
145.77/146.26 c INPROCESSING
145.77/146.26 c GARBAGE COLLECT
145.77/146.26 c #Conflicts: 67000 | #Constraints: 7183
350.17/351.29 c #Conflicts: 68000 | #Constraints: 8183
350.17/351.29 c #Conflicts: 69000 | #Constraints: 9183
350.17/351.29 c #Conflicts: 70000 | #Constraints: 10183
350.17/351.29 c #Conflicts: 71000 | #Constraints: 11183
350.17/351.29 c #Conflicts: 72000 | #Constraints: 12183
350.17/351.29 c INPROCESSING
350.17/351.29 c GARBAGE COLLECT
350.17/351.29 c #Conflicts: 73000 | #Constraints: 7783
350.17/351.29 c #Conflicts: 74000 | #Constraints: 8783
350.17/351.29 c #Conflicts: 75000 | #Constraints: 9783
350.17/351.29 c #Conflicts: 76000 | #Constraints: 10783
350.17/351.29 c #Conflicts: 77000 | #Constraints: 11783
350.17/351.29 c #Conflicts: 78000 | #Constraints: 12783
350.17/351.29 c INPROCESSING
350.17/351.29 c GARBAGE COLLECT
350.17/351.29 c #Conflicts: 79000 | #Constraints: 8187
350.17/351.29 c #Conflicts: 80000 | #Constraints: 9187
350.17/351.29 c #Conflicts: 81000 | #Constraints: 10187
350.17/351.29 c #Conflicts: 82000 | #Constraints: 11187
350.17/351.29 c #Conflicts: 83000 | #Constraints: 12187
350.17/351.29 c #Conflicts: 84000 | #Constraints: 13187
350.17/351.29 c INPROCESSING
350.17/351.29 c GARBAGE COLLECT
350.17/351.29 c #Conflicts: 85000 | #Constraints: 8393
350.17/351.29 c #Conflicts: 86000 | #Constraints: 9393
350.17/351.29 c #Conflicts: 87000 | #Constraints: 10393
350.17/351.29 c #Conflicts: 88000 | #Constraints: 11393
350.17/351.29 c #Conflicts: 89000 | #Constraints: 12393
350.17/351.29 c #Conflicts: 90000 | #Constraints: 13393
350.17/351.29 c INPROCESSING
350.17/351.29 c GARBAGE COLLECT
350.17/351.29 c #Conflicts: 91000 | #Constraints: 8399
350.17/351.29 c #Conflicts: 92000 | #Constraints: 9399
350.17/351.29 c #Conflicts: 93000 | #Constraints: 10399
350.17/351.29 c #Conflicts: 94000 | #Constraints: 11399
350.17/351.29 c #Conflicts: 95000 | #Constraints: 12399
350.17/351.29 c #Conflicts: 96000 | #Constraints: 13399
350.17/351.29 c INPROCESSING
350.17/351.29 c GARBAGE COLLECT
350.17/351.29 c #Conflicts: 97000 | #Constraints: 8191
350.17/351.29 c #Conflicts: 98000 | #Constraints: 9191
350.17/351.29 c #Conflicts: 99000 | #Constraints: 10191
350.17/351.29 c #Conflicts: 100000 | #Constraints: 11191
350.17/351.29 c #Conflicts: 101000 | #Constraints: 12191
350.17/351.29 c #Conflicts: 102000 | #Constraints: 13191
350.17/351.29 c #Conflicts: 103000 | #Constraints: 14191
350.17/351.29 c INPROCESSING
350.17/351.29 c GARBAGE COLLECT
350.17/351.29 c #Conflicts: 104000 | #Constraints: 8785
350.17/351.29 c #Conflicts: 105000 | #Constraints: 9785
350.17/351.29 c #Conflicts: 106000 | #Constraints: 10785
350.17/351.29 c #Conflicts: 107000 | #Constraints: 11785
350.17/351.29 c #Conflicts: 108000 | #Constraints: 12785
350.17/351.29 c #Conflicts: 109000 | #Constraints: 13785
350.17/351.29 c #Conflicts: 110000 | #Constraints: 14785
350.17/351.29 c INPROCESSING
350.17/351.29 c GARBAGE COLLECT
350.17/351.29 c #Conflicts: 111000 | #Constraints: 9192
350.17/351.29 c #Conflicts: 112000 | #Constraints: 10192
350.17/351.29 c #Conflicts: 113000 | #Constraints: 11192
350.17/351.29 c #Conflicts: 114000 | #Constraints: 12192
350.17/351.29 c #Conflicts: 115000 | #Constraints: 13192
350.17/351.29 c #Conflicts: 116000 | #Constraints: 14192
350.17/351.29 c #Conflicts: 117000 | #Constraints: 15192
350.17/351.29 c INPROCESSING
350.17/351.29 c GARBAGE COLLECT
350.17/351.29 c #Conflicts: 118000 | #Constraints: 9390
350.17/351.29 c #Conflicts: 119000 | #Constraints: 10390
350.17/351.29 c #Conflicts: 120000 | #Constraints: 11390
350.17/351.29 c #Conflicts: 121000 | #Constraints: 12390
350.17/351.29 c #Conflicts: 122000 | #Constraints: 13390
350.17/351.29 c #Conflicts: 123000 | #Constraints: 14390
350.17/351.29 c #Conflicts: 124000 | #Constraints: 15390
350.17/351.29 c INPROCESSING
350.17/351.29 c GARBAGE COLLECT
350.17/351.29 c #Conflicts: 125000 | #Constraints: 9387
350.17/351.29 c #Conflicts: 126000 | #Constraints: 10387
350.17/351.29 c #Conflicts: 127000 | #Constraints: 11387
350.17/351.29 c #Conflicts: 128000 | #Constraints: 12387
350.17/351.29 c #Conflicts: 129000 | #Constraints: 13387
350.17/351.29 c #Conflicts: 130000 | #Constraints: 14387
350.17/351.29 c #Conflicts: 131000 | #Constraints: 15387
350.17/351.29 c INPROCESSING
350.17/351.29 c GARBAGE COLLECT
350.17/351.29 c #Conflicts: 132000 | #Constraints: 9184
350.17/351.29 c #Conflicts: 133000 | #Constraints: 10184
350.17/351.29 c #Conflicts: 134000 | #Constraints: 11184
350.17/351.29 c #Conflicts: 135000 | #Constraints: 12184
350.17/351.29 c #Conflicts: 136000 | #Constraints: 13184
350.17/351.29 c #Conflicts: 137000 | #Constraints: 14184
350.17/351.29 c #Conflicts: 138000 | #Constraints: 15184
350.17/351.29 c #Conflicts: 139000 | #Constraints: 16184
350.17/351.29 c INPROCESSING
534.84/536.44 c GARBAGE COLLECT
534.84/536.44 c #Conflicts: 140000 | #Constraints: 9791
534.84/536.44 c #Conflicts: 141000 | #Constraints: 10791
534.84/536.44 c #Conflicts: 142000 | #Constraints: 11791
534.84/536.44 c #Conflicts: 143000 | #Constraints: 12791
534.84/536.44 c #Conflicts: 144000 | #Constraints: 13791
534.84/536.44 c #Conflicts: 145000 | #Constraints: 14791
534.84/536.44 c #Conflicts: 146000 | #Constraints: 15791
534.84/536.44 c #Conflicts: 147000 | #Constraints: 16791
534.84/536.44 c INPROCESSING
534.84/536.44 c GARBAGE COLLECT
534.84/536.44 c #Conflicts: 148000 | #Constraints: 10195
534.84/536.44 c #Conflicts: 149000 | #Constraints: 11195
534.84/536.44 c #Conflicts: 150000 | #Constraints: 12195
534.84/536.44 c #Conflicts: 151000 | #Constraints: 13195
534.84/536.44 c #Conflicts: 152000 | #Constraints: 14195
534.84/536.44 c #Conflicts: 153000 | #Constraints: 15195
534.84/536.44 c #Conflicts: 154000 | #Constraints: 16195
534.84/536.44 c #Conflicts: 155000 | #Constraints: 17195
534.84/536.44 c INPROCESSING
534.84/536.44 c GARBAGE COLLECT
534.84/536.44 c #Conflicts: 156000 | #Constraints: 10392
534.84/536.44 c #Conflicts: 157000 | #Constraints: 11392
534.84/536.44 c #Conflicts: 158000 | #Constraints: 12392
534.84/536.44 c #Conflicts: 159000 | #Constraints: 13392
534.84/536.44 c #Conflicts: 160000 | #Constraints: 14392
534.84/536.44 c #Conflicts: 161000 | #Constraints: 15392
534.84/536.44 c #Conflicts: 162000 | #Constraints: 16392
534.84/536.44 c #Conflicts: 163000 | #Constraints: 17392
534.84/536.44 c INPROCESSING
534.84/536.44 c GARBAGE COLLECT
534.84/536.44 c #Conflicts: 164000 | #Constraints: 10389
534.84/536.44 c #Conflicts: 165000 | #Constraints: 11389
534.84/536.44 c #Conflicts: 166000 | #Constraints: 12389
534.84/536.44 c #Conflicts: 167000 | #Constraints: 13389
534.84/536.44 c #Conflicts: 168000 | #Constraints: 14389
534.84/536.44 c #Conflicts: 169000 | #Constraints: 15389
534.84/536.44 c #Conflicts: 170000 | #Constraints: 16389
534.84/536.44 c #Conflicts: 171000 | #Constraints: 17389
534.84/536.44 c INPROCESSING
534.84/536.44 c GARBAGE COLLECT
534.84/536.44 c #Conflicts: 172000 | #Constraints: 10188
534.84/536.44 c #Conflicts: 173000 | #Constraints: 11188
534.84/536.44 c #Conflicts: 174000 | #Constraints: 12188
534.84/536.44 c #Conflicts: 175000 | #Constraints: 13188
534.84/536.44 c #Conflicts: 176000 | #Constraints: 14188
534.84/536.44 c #Conflicts: 177000 | #Constraints: 15188
534.84/536.44 c #Conflicts: 178000 | #Constraints: 16188
534.84/536.44 c #Conflicts: 179000 | #Constraints: 17188
534.84/536.44 c #Conflicts: 180000 | #Constraints: 18188
534.84/536.44 c INPROCESSING
534.84/536.44 c GARBAGE COLLECT
534.84/536.44 c #Conflicts: 181000 | #Constraints: 10793
534.84/536.44 c #Conflicts: 182000 | #Constraints: 11793
534.84/536.44 c #Conflicts: 183000 | #Constraints: 12793
534.84/536.44 c #Conflicts: 184000 | #Constraints: 13793
534.84/536.44 c #Conflicts: 185000 | #Constraints: 14793
534.84/536.44 c #Conflicts: 186000 | #Constraints: 15793
534.84/536.44 c #Conflicts: 187000 | #Constraints: 16793
534.84/536.44 c #Conflicts: 188000 | #Constraints: 17793
534.84/536.44 c #Conflicts: 189000 | #Constraints: 18793
534.84/536.44 c INPROCESSING
534.84/536.44 c GARBAGE COLLECT
534.84/536.44 c #Conflicts: 190000 | #Constraints: 11197
534.84/536.44 c #Conflicts: 191000 | #Constraints: 12197
534.84/536.44 c #Conflicts: 192000 | #Constraints: 13197
534.84/536.44 c #Conflicts: 193000 | #Constraints: 14197
534.84/536.44 c #Conflicts: 194000 | #Constraints: 15197
534.84/536.44 c #Conflicts: 195000 | #Constraints: 16197
534.84/536.44 c #Conflicts: 196000 | #Constraints: 17197
534.84/536.44 c #Conflicts: 197000 | #Constraints: 18197
534.84/536.44 c #Conflicts: 198000 | #Constraints: 19197
534.84/536.44 c INPROCESSING
534.84/536.44 c GARBAGE COLLECT
534.84/536.44 c #Conflicts: 199000 | #Constraints: 11390
534.84/536.44 c #Conflicts: 200000 | #Constraints: 12390
534.84/536.44 c #Conflicts: 201000 | #Constraints: 13390
534.84/536.44 c #Conflicts: 202000 | #Constraints: 14390
534.84/536.44 c #Conflicts: 203000 | #Constraints: 15390
534.84/536.44 c #Conflicts: 204000 | #Constraints: 16390
534.84/536.44 c #Conflicts: 205000 | #Constraints: 17390
534.84/536.44 c #Conflicts: 206000 | #Constraints: 18390
534.84/536.44 c #Conflicts: 207000 | #Constraints: 19390
534.84/536.44 c INPROCESSING
534.84/536.44 c GARBAGE COLLECT
534.84/536.44 c #Conflicts: 208000 | #Constraints: 11393
534.84/536.44 c #Conflicts: 209000 | #Constraints: 12393
534.84/536.44 c #Conflicts: 210000 | #Constraints: 13393
534.84/536.44 c #Conflicts: 211000 | #Constraints: 14393
534.84/536.44 c #Conflicts: 212000 | #Constraints: 15393
534.84/536.44 c #Conflicts: 213000 | #Constraints: 16393
795.91/798.34 c #Conflicts: 214000 | #Constraints: 17393
795.91/798.34 c #Conflicts: 215000 | #Constraints: 18393
795.91/798.34 c #Conflicts: 216000 | #Constraints: 19393
795.91/798.34 c INPROCESSING
795.91/798.34 c GARBAGE COLLECT
795.91/798.34 c #Conflicts: 217000 | #Constraints: 11193
795.91/798.34 c #Conflicts: 218000 | #Constraints: 12193
795.91/798.34 c #Conflicts: 219000 | #Constraints: 13193
795.91/798.34 c #Conflicts: 220000 | #Constraints: 14193
795.91/798.34 c #Conflicts: 221000 | #Constraints: 15193
795.91/798.34 c #Conflicts: 222000 | #Constraints: 16193
795.91/798.34 c #Conflicts: 223000 | #Constraints: 17193
795.91/798.34 c #Conflicts: 224000 | #Constraints: 18193
795.91/798.34 c #Conflicts: 225000 | #Constraints: 19193
795.91/798.34 c #Conflicts: 226000 | #Constraints: 20193
795.91/798.34 c INPROCESSING
795.91/798.34 c GARBAGE COLLECT
795.91/798.34 c #Conflicts: 227000 | #Constraints: 11792
795.91/798.34 c #Conflicts: 228000 | #Constraints: 12792
795.91/798.34 c #Conflicts: 229000 | #Constraints: 13792
795.91/798.34 c #Conflicts: 230000 | #Constraints: 14792
795.91/798.34 c #Conflicts: 231000 | #Constraints: 15792
795.91/798.34 c #Conflicts: 232000 | #Constraints: 16792
795.91/798.34 c #Conflicts: 233000 | #Constraints: 17792
795.91/798.34 c #Conflicts: 234000 | #Constraints: 18792
795.91/798.34 c #Conflicts: 235000 | #Constraints: 19792
795.91/798.34 c #Conflicts: 236000 | #Constraints: 20792
795.91/798.34 c INPROCESSING
795.91/798.34 c GARBAGE COLLECT
795.91/798.34 c #Conflicts: 237000 | #Constraints: 12185
795.91/798.34 c #Conflicts: 238000 | #Constraints: 13185
795.91/798.34 c #Conflicts: 239000 | #Constraints: 14185
795.91/798.34 c #Conflicts: 240000 | #Constraints: 15185
795.91/798.34 c #Conflicts: 241000 | #Constraints: 16185
795.91/798.34 c #Conflicts: 242000 | #Constraints: 17185
795.91/798.34 c #Conflicts: 243000 | #Constraints: 18185
795.91/798.34 c #Conflicts: 244000 | #Constraints: 19185
795.91/798.34 c #Conflicts: 245000 | #Constraints: 20185
795.91/798.34 c #Conflicts: 246000 | #Constraints: 21185
795.91/798.34 c INPROCESSING
795.91/798.34 c GARBAGE COLLECT
795.91/798.34 c #Conflicts: 247000 | #Constraints: 12396
795.91/798.34 c #Conflicts: 248000 | #Constraints: 13396
795.91/798.34 c #Conflicts: 249000 | #Constraints: 14396
795.91/798.34 c #Conflicts: 250000 | #Constraints: 15396
795.91/798.34 c #Conflicts: 251000 | #Constraints: 16396
795.91/798.34 c #Conflicts: 252000 | #Constraints: 17396
795.91/798.34 c #Conflicts: 253000 | #Constraints: 18396
795.91/798.34 c #Conflicts: 254000 | #Constraints: 19396
795.91/798.34 c #Conflicts: 255000 | #Constraints: 20396
795.91/798.34 c #Conflicts: 256000 | #Constraints: 21396
795.91/798.34 c INPROCESSING
795.91/798.34 c GARBAGE COLLECT
795.91/798.34 c #Conflicts: 257000 | #Constraints: 12387
795.91/798.34 c #Conflicts: 258000 | #Constraints: 13387
795.91/798.34 c #Conflicts: 259000 | #Constraints: 14387
795.91/798.34 c #Conflicts: 260000 | #Constraints: 15387
795.91/798.34 c #Conflicts: 261000 | #Constraints: 16387
795.91/798.34 c #Conflicts: 262000 | #Constraints: 17387
795.91/798.34 c #Conflicts: 263000 | #Constraints: 18387
795.91/798.34 c #Conflicts: 264000 | #Constraints: 19387
795.91/798.34 c #Conflicts: 265000 | #Constraints: 20387
795.91/798.34 c #Conflicts: 266000 | #Constraints: 21387
795.91/798.34 c INPROCESSING
795.91/798.34 c GARBAGE COLLECT
795.91/798.34 c #Conflicts: 267000 | #Constraints: 12190
795.91/798.34 c #Conflicts: 268000 | #Constraints: 13190
795.91/798.34 c #Conflicts: 269000 | #Constraints: 14190
795.91/798.34 c #Conflicts: 270000 | #Constraints: 15190
795.91/798.34 c #Conflicts: 271000 | #Constraints: 16190
795.91/798.34 c #Conflicts: 272000 | #Constraints: 17190
795.91/798.34 c #Conflicts: 273000 | #Constraints: 18190
795.91/798.34 c #Conflicts: 274000 | #Constraints: 19190
795.91/798.34 c #Conflicts: 275000 | #Constraints: 20190
795.91/798.34 c #Conflicts: 276000 | #Constraints: 21190
795.91/798.34 c #Conflicts: 277000 | #Constraints: 22190
795.91/798.34 c INPROCESSING
795.91/798.34 c GARBAGE COLLECT
795.91/798.34 c #Conflicts: 278000 | #Constraints: 12784
795.91/798.34 c #Conflicts: 279000 | #Constraints: 13784
795.91/798.34 c #Conflicts: 280000 | #Constraints: 14784
795.91/798.34 c #Conflicts: 281000 | #Constraints: 15784
795.91/798.34 c #Conflicts: 282000 | #Constraints: 16784
795.91/798.34 c #Conflicts: 283000 | #Constraints: 17784
795.91/798.34 c #Conflicts: 284000 | #Constraints: 18784
795.91/798.34 c #Conflicts: 285000 | #Constraints: 19784
795.91/798.34 c #Conflicts: 286000 | #Constraints: 20784
795.91/798.34 c #Conflicts: 287000 | #Constraints: 21784
1148.72/1152.37 c #Conflicts: 288000 | #Constraints: 22784
1148.72/1152.37 c INPROCESSING
1148.72/1152.37 c GARBAGE COLLECT
1148.72/1152.37 c #Conflicts: 289000 | #Constraints: 13178
1148.72/1152.37 c #Conflicts: 290000 | #Constraints: 14178
1148.72/1152.37 c #Conflicts: 291000 | #Constraints: 15178
1148.72/1152.37 c #Conflicts: 292000 | #Constraints: 16178
1148.72/1152.37 c #Conflicts: 293000 | #Constraints: 17178
1148.72/1152.37 c #Conflicts: 294000 | #Constraints: 18178
1148.72/1152.37 c #Conflicts: 295000 | #Constraints: 19178
1148.72/1152.37 c #Conflicts: 296000 | #Constraints: 20178
1148.72/1152.37 c #Conflicts: 297000 | #Constraints: 21178
1148.72/1152.37 c #Conflicts: 298000 | #Constraints: 22178
1148.72/1152.37 c #Conflicts: 299000 | #Constraints: 23178
1148.72/1152.37 c INPROCESSING
1148.72/1152.37 c GARBAGE COLLECT
1148.72/1152.37 c #Conflicts: 300000 | #Constraints: 13379
1148.72/1152.37 c #Conflicts: 301000 | #Constraints: 14379
1148.72/1152.37 c #Conflicts: 302000 | #Constraints: 15379
1148.72/1152.37 c #Conflicts: 303000 | #Constraints: 16379
1148.72/1152.37 c #Conflicts: 304000 | #Constraints: 17379
1148.72/1152.37 c #Conflicts: 305000 | #Constraints: 18379
1148.72/1152.37 c #Conflicts: 306000 | #Constraints: 19379
1148.72/1152.37 c #Conflicts: 307000 | #Constraints: 20379
1148.72/1152.37 c #Conflicts: 308000 | #Constraints: 21379
1148.72/1152.37 c #Conflicts: 309000 | #Constraints: 22379
1148.72/1152.37 c #Conflicts: 310000 | #Constraints: 23379
1148.72/1152.37 c INPROCESSING
1148.72/1152.37 c GARBAGE COLLECT
1148.72/1152.37 c #Conflicts: 311000 | #Constraints: 13389
1148.72/1152.37 c #Conflicts: 312000 | #Constraints: 14389
1148.72/1152.37 c #Conflicts: 313000 | #Constraints: 15389
1148.72/1152.37 c #Conflicts: 314000 | #Constraints: 16389
1148.72/1152.37 c #Conflicts: 315000 | #Constraints: 17389
1148.72/1152.37 c #Conflicts: 316000 | #Constraints: 18389
1148.72/1152.37 c #Conflicts: 317000 | #Constraints: 19389
1148.72/1152.37 c #Conflicts: 318000 | #Constraints: 20389
1148.72/1152.37 c #Conflicts: 319000 | #Constraints: 21389
1148.72/1152.37 c #Conflicts: 320000 | #Constraints: 22389
1148.72/1152.37 c #Conflicts: 321000 | #Constraints: 23389
1148.72/1152.37 c INPROCESSING
1148.72/1152.37 c GARBAGE COLLECT
1148.72/1152.37 c #Conflicts: 322000 | #Constraints: 13189
1148.72/1152.37 c #Conflicts: 323000 | #Constraints: 14189
1148.72/1152.37 c #Conflicts: 324000 | #Constraints: 15189
1148.72/1152.37 c #Conflicts: 325000 | #Constraints: 16189
1148.72/1152.37 c #Conflicts: 326000 | #Constraints: 17189
1148.72/1152.37 c #Conflicts: 327000 | #Constraints: 18189
1148.72/1152.37 c #Conflicts: 328000 | #Constraints: 19189
1148.72/1152.37 c #Conflicts: 329000 | #Constraints: 20189
1148.72/1152.37 c #Conflicts: 330000 | #Constraints: 21189
1148.72/1152.37 c #Conflicts: 331000 | #Constraints: 22189
1148.72/1152.37 c #Conflicts: 332000 | #Constraints: 23189
1148.72/1152.37 c #Conflicts: 333000 | #Constraints: 24189
1148.72/1152.37 c INPROCESSING
1148.72/1152.37 c GARBAGE COLLECT
1148.72/1152.37 c #Conflicts: 334000 | #Constraints: 13785
1148.72/1152.37 c #Conflicts: 335000 | #Constraints: 14785
1148.72/1152.37 c #Conflicts: 336000 | #Constraints: 15785
1148.72/1152.37 c #Conflicts: 337000 | #Constraints: 16785
1148.72/1152.37 c #Conflicts: 338000 | #Constraints: 17785
1148.72/1152.37 c #Conflicts: 339000 | #Constraints: 18785
1148.72/1152.37 c #Conflicts: 340000 | #Constraints: 19785
1148.72/1152.37 c #Conflicts: 341000 | #Constraints: 20785
1148.72/1152.37 c #Conflicts: 342000 | #Constraints: 21785
1148.72/1152.37 c #Conflicts: 343000 | #Constraints: 22785
1148.72/1152.37 c #Conflicts: 344000 | #Constraints: 23785
1148.72/1152.37 c #Conflicts: 345000 | #Constraints: 24785
1148.72/1152.37 c INPROCESSING
1148.72/1152.37 c GARBAGE COLLECT
1148.72/1152.37 c #Conflicts: 346000 | #Constraints: 14187
1148.72/1152.37 c #Conflicts: 347000 | #Constraints: 15187
1148.72/1152.37 c #Conflicts: 348000 | #Constraints: 16187
1148.72/1152.37 c #Conflicts: 349000 | #Constraints: 17187
1148.72/1152.37 c #Conflicts: 350000 | #Constraints: 18187
1148.72/1152.37 c #Conflicts: 351000 | #Constraints: 19187
1148.72/1152.37 c #Conflicts: 352000 | #Constraints: 20187
1148.72/1152.37 c #Conflicts: 353000 | #Constraints: 21187
1148.72/1152.37 c #Conflicts: 354000 | #Constraints: 22187
1148.72/1152.37 c #Conflicts: 355000 | #Constraints: 23187
1148.72/1152.37 c #Conflicts: 356000 | #Constraints: 24187
1148.72/1152.37 c #Conflicts: 357000 | #Constraints: 25187
1148.72/1152.37 c INPROCESSING
1148.72/1152.37 c GARBAGE COLLECT
1148.72/1152.37 c #Conflicts: 358000 | #Constraints: 14383
1148.72/1152.37 c #Conflicts: 359000 | #Constraints: 15383
1148.72/1152.37 c #Conflicts: 360000 | #Constraints: 16383
1148.72/1152.37 c #Conflicts: 361000 | #Constraints: 17383
1510.66/1515.30 c #Conflicts: 362000 | #Constraints: 18383
1510.66/1515.30 c #Conflicts: 363000 | #Constraints: 19383
1510.66/1515.30 c #Conflicts: 364000 | #Constraints: 20383
1510.66/1515.30 c #Conflicts: 365000 | #Constraints: 21383
1510.66/1515.30 c #Conflicts: 366000 | #Constraints: 22383
1510.66/1515.30 c #Conflicts: 367000 | #Constraints: 23383
1510.66/1515.30 c #Conflicts: 368000 | #Constraints: 24383
1510.66/1515.30 c #Conflicts: 369000 | #Constraints: 25383
1510.66/1515.30 c INPROCESSING
1510.66/1515.30 c GARBAGE COLLECT
1510.66/1515.30 c #Conflicts: 370000 | #Constraints: 14392
1510.66/1515.30 c #Conflicts: 371000 | #Constraints: 15392
1510.66/1515.30 c #Conflicts: 372000 | #Constraints: 16392
1510.66/1515.30 c #Conflicts: 373000 | #Constraints: 17392
1510.66/1515.30 c #Conflicts: 374000 | #Constraints: 18392
1510.66/1515.30 c #Conflicts: 375000 | #Constraints: 19392
1510.66/1515.30 c #Conflicts: 376000 | #Constraints: 20392
1510.66/1515.30 c #Conflicts: 377000 | #Constraints: 21392
1510.66/1515.30 c #Conflicts: 378000 | #Constraints: 22392
1510.66/1515.30 c #Conflicts: 379000 | #Constraints: 23392
1510.66/1515.30 c #Conflicts: 380000 | #Constraints: 24392
1510.66/1515.30 c #Conflicts: 381000 | #Constraints: 25392
1510.66/1515.30 c INPROCESSING
1510.66/1515.30 c GARBAGE COLLECT
1510.66/1515.30 c #Conflicts: 382000 | #Constraints: 14191
1510.66/1515.30 c #Conflicts: 383000 | #Constraints: 15191
1510.66/1515.30 c #Conflicts: 384000 | #Constraints: 16191
1510.66/1515.30 c #Conflicts: 385000 | #Constraints: 17191
1510.66/1515.30 c #Conflicts: 386000 | #Constraints: 18191
1510.66/1515.30 c #Conflicts: 387000 | #Constraints: 19191
1510.66/1515.30 c #Conflicts: 388000 | #Constraints: 20191
1510.66/1515.30 c #Conflicts: 389000 | #Constraints: 21191
1510.66/1515.30 c #Conflicts: 390000 | #Constraints: 22191
1510.66/1515.30 c #Conflicts: 391000 | #Constraints: 23191
1510.66/1515.30 c #Conflicts: 392000 | #Constraints: 24191
1510.66/1515.30 c #Conflicts: 393000 | #Constraints: 25191
1510.66/1515.30 c #Conflicts: 394000 | #Constraints: 26191
1510.66/1515.30 c INPROCESSING
1510.66/1515.30 c GARBAGE COLLECT
1510.66/1515.30 c #Conflicts: 395000 | #Constraints: 14785
1510.66/1515.30 c #Conflicts: 396000 | #Constraints: 15785
1510.66/1515.30 c #Conflicts: 397000 | #Constraints: 16785
1510.66/1515.30 c #Conflicts: 398000 | #Constraints: 17785
1510.66/1515.30 c #Conflicts: 399000 | #Constraints: 18785
1510.66/1515.30 c #Conflicts: 400000 | #Constraints: 19785
1510.66/1515.30 c #Conflicts: 401000 | #Constraints: 20785
1510.66/1515.30 c #Conflicts: 402000 | #Constraints: 21785
1510.66/1515.30 c #Conflicts: 403000 | #Constraints: 22785
1510.66/1515.30 c #Conflicts: 404000 | #Constraints: 23785
1510.66/1515.30 c #Conflicts: 405000 | #Constraints: 24785
1510.66/1515.30 c #Conflicts: 406000 | #Constraints: 25785
1510.66/1515.30 c #Conflicts: 407000 | #Constraints: 26785
1510.66/1515.30 c INPROCESSING
1510.66/1515.30 c GARBAGE COLLECT
1510.66/1515.30 c #Conflicts: 408000 | #Constraints: 15183
1510.66/1515.30 c #Conflicts: 409000 | #Constraints: 16183
1510.66/1515.30 c #Conflicts: 410000 | #Constraints: 17183
1510.66/1515.30 c #Conflicts: 411000 | #Constraints: 18183
1510.66/1515.30 c #Conflicts: 412000 | #Constraints: 19183
1510.66/1515.30 c #Conflicts: 413000 | #Constraints: 20183
1510.66/1515.30 c #Conflicts: 414000 | #Constraints: 21183
1510.66/1515.30 c #Conflicts: 415000 | #Constraints: 22183
1510.66/1515.30 c #Conflicts: 416000 | #Constraints: 23183
1510.66/1515.30 c #Conflicts: 417000 | #Constraints: 24183
1510.66/1515.30 c #Conflicts: 418000 | #Constraints: 25183
1510.66/1515.30 c #Conflicts: 419000 | #Constraints: 26183
1510.66/1515.30 c #Conflicts: 420000 | #Constraints: 27183
1510.66/1515.30 c INPROCESSING
1510.66/1515.30 c GARBAGE COLLECT
1510.66/1515.30 c #Conflicts: 421000 | #Constraints: 15403
1510.66/1515.30 c #Conflicts: 422000 | #Constraints: 16403
1510.66/1515.30 c #Conflicts: 423000 | #Constraints: 17403
1510.66/1515.30 c #Conflicts: 424000 | #Constraints: 18403
1510.66/1515.30 c #Conflicts: 425000 | #Constraints: 19403
1510.66/1515.30 c #Conflicts: 426000 | #Constraints: 20403
1510.66/1515.30 c #Conflicts: 427000 | #Constraints: 21403
1510.66/1515.30 c #Conflicts: 428000 | #Constraints: 22403
1510.66/1515.30 c #Conflicts: 429000 | #Constraints: 23403
1510.66/1515.30 c #Conflicts: 430000 | #Constraints: 24403
1510.66/1515.30 c #Conflicts: 431000 | #Constraints: 25403
1510.66/1515.30 c #Conflicts: 432000 | #Constraints: 26403
1510.66/1515.30 c #Conflicts: 433000 | #Constraints: 27403
1510.66/1515.30 c INPROCESSING
1510.66/1515.30 c GARBAGE COLLECT
1510.66/1515.30 c #Conflicts: 434000 | #Constraints: 15405
1510.66/1515.30 c #Conflicts: 435000 | #Constraints: 16405
1510.66/1515.30 c #Conflicts: 436000 | #Constraints: 17405
2323.34/2330.32 c #Conflicts: 437000 | #Constraints: 18405
2323.34/2330.32 c #Conflicts: 438000 | #Constraints: 19405
2323.34/2330.32 c #Conflicts: 439000 | #Constraints: 20405
2323.34/2330.32 c #Conflicts: 440000 | #Constraints: 21405
2323.34/2330.32 c #Conflicts: 441000 | #Constraints: 22405
2323.34/2330.32 c #Conflicts: 442000 | #Constraints: 23405
2323.34/2330.32 c #Conflicts: 443000 | #Constraints: 24405
2323.34/2330.32 c #Conflicts: 444000 | #Constraints: 25405
2323.34/2330.32 c #Conflicts: 445000 | #Constraints: 26405
2323.34/2330.32 c #Conflicts: 446000 | #Constraints: 27405
2323.34/2330.32 c INPROCESSING
2323.34/2330.32 c GARBAGE COLLECT
2323.34/2330.32 c #Conflicts: 447000 | #Constraints: 15207
2323.34/2330.32 c #Conflicts: 448000 | #Constraints: 16207
2323.34/2330.32 c #Conflicts: 449000 | #Constraints: 17207
2323.34/2330.32 c #Conflicts: 450000 | #Constraints: 18207
2323.34/2330.32 c #Conflicts: 451000 | #Constraints: 19207
2323.34/2330.32 c #Conflicts: 452000 | #Constraints: 20207
2323.34/2330.32 c #Conflicts: 453000 | #Constraints: 21207
2323.34/2330.32 c #Conflicts: 454000 | #Constraints: 22207
2323.34/2330.32 c #Conflicts: 455000 | #Constraints: 23207
2323.34/2330.32 c #Conflicts: 456000 | #Constraints: 24207
2323.34/2330.32 c #Conflicts: 457000 | #Constraints: 25207
2323.34/2330.32 c #Conflicts: 458000 | #Constraints: 26207
2323.34/2330.32 c #Conflicts: 459000 | #Constraints: 27207
2323.34/2330.32 c #Conflicts: 460000 | #Constraints: 28207
2323.34/2330.32 c INPROCESSING
2323.34/2330.32 c GARBAGE COLLECT
2323.34/2330.32 c #Conflicts: 461000 | #Constraints: 15799
2323.34/2330.32 c #Conflicts: 462000 | #Constraints: 16799
2323.34/2330.32 c #Conflicts: 463000 | #Constraints: 17799
2323.34/2330.32 c #Conflicts: 464000 | #Constraints: 18799
2323.34/2330.32 c #Conflicts: 465000 | #Constraints: 19799
2323.34/2330.32 c #Conflicts: 466000 | #Constraints: 20799
2323.34/2330.32 c #Conflicts: 467000 | #Constraints: 21799
2323.34/2330.32 c #Conflicts: 468000 | #Constraints: 22799
2323.34/2330.32 c #Conflicts: 469000 | #Constraints: 23799
2323.34/2330.32 c #Conflicts: 470000 | #Constraints: 24799
2323.34/2330.32 c #Conflicts: 471000 | #Constraints: 25799
2323.34/2330.32 c #Conflicts: 472000 | #Constraints: 26799
2323.34/2330.32 c #Conflicts: 473000 | #Constraints: 27799
2323.34/2330.32 c #Conflicts: 474000 | #Constraints: 28799
2323.34/2330.32 c INPROCESSING
2323.34/2330.32 c GARBAGE COLLECT
2323.34/2330.32 c #Conflicts: 475000 | #Constraints: 16201
2323.34/2330.32 c #Conflicts: 476000 | #Constraints: 17201
2323.34/2330.32 c #Conflicts: 477000 | #Constraints: 18201
2323.34/2330.32 c #Conflicts: 478000 | #Constraints: 19201
2323.34/2330.32 c #Conflicts: 479000 | #Constraints: 20201
2323.34/2330.32 c #Conflicts: 480000 | #Constraints: 21201
2323.34/2330.32 c #Conflicts: 481000 | #Constraints: 22201
2323.34/2330.32 c #Conflicts: 482000 | #Constraints: 23201
2323.34/2330.32 c #Conflicts: 483000 | #Constraints: 24201
2323.34/2330.32 c #Conflicts: 484000 | #Constraints: 25201
2323.34/2330.32 c #Conflicts: 485000 | #Constraints: 26201
2323.34/2330.32 c #Conflicts: 486000 | #Constraints: 27201
2323.34/2330.32 c #Conflicts: 487000 | #Constraints: 28201
2323.34/2330.32 c #Conflicts: 488000 | #Constraints: 29201
2323.34/2330.32 c INPROCESSING
2323.34/2330.32 c GARBAGE COLLECT
2323.34/2330.32 c #Conflicts: 489000 | #Constraints: 16396
2323.34/2330.32 c #Conflicts: 490000 | #Constraints: 17396
2323.34/2330.32 c #Conflicts: 491000 | #Constraints: 18396
2323.34/2330.32 c #Conflicts: 492000 | #Constraints: 19396
2323.34/2330.32 c #Conflicts: 493000 | #Constraints: 20396
2323.34/2330.32 c #Conflicts: 494000 | #Constraints: 21396
2323.34/2330.32 c #Conflicts: 495000 | #Constraints: 22396
2323.34/2330.32 c #Conflicts: 496000 | #Constraints: 23396
2323.34/2330.32 c #Conflicts: 497000 | #Constraints: 24396
2323.34/2330.32 c #Conflicts: 498000 | #Constraints: 25396
2323.34/2330.32 c #Conflicts: 499000 | #Constraints: 26396
2323.34/2330.32 c #Conflicts: 500000 | #Constraints: 27396
2323.34/2330.32 c #Conflicts: 501000 | #Constraints: 28396
2323.34/2330.32 c #Conflicts: 502000 | #Constraints: 29396
2323.34/2330.32 c INPROCESSING
2323.34/2330.32 c GARBAGE COLLECT
2323.34/2330.32 c #Conflicts: 503000 | #Constraints: 16401
2323.34/2330.32 c #Conflicts: 504000 | #Constraints: 17401
2323.34/2330.32 c #Conflicts: 505000 | #Constraints: 18401
2323.34/2330.32 c #Conflicts: 506000 | #Constraints: 19401
2323.34/2330.32 c #Conflicts: 507000 | #Constraints: 20401
2323.34/2330.32 c #Conflicts: 508000 | #Constraints: 21401
2323.34/2330.32 c #Conflicts: 509000 | #Constraints: 22401
2323.34/2330.32 c #Conflicts: 510000 | #Constraints: 23401
2323.34/2330.32 c #Conflicts: 511000 | #Constraints: 24401
2323.34/2330.32 c #Conflicts: 512000 | #Constraints: 25401
2654.23/2662.18 c #Conflicts: 513000 | #Constraints: 26401
2654.23/2662.18 c #Conflicts: 514000 | #Constraints: 27401
2654.23/2662.18 c #Conflicts: 515000 | #Constraints: 28401
2654.23/2662.18 c #Conflicts: 516000 | #Constraints: 29401
2654.23/2662.18 c INPROCESSING
2654.23/2662.18 c GARBAGE COLLECT
2654.23/2662.18 c #Conflicts: 517000 | #Constraints: 16188
2654.23/2662.18 c #Conflicts: 518000 | #Constraints: 17188
2654.23/2662.18 c #Conflicts: 519000 | #Constraints: 18188
2654.23/2662.18 c #Conflicts: 520000 | #Constraints: 19188
2654.23/2662.18 c #Conflicts: 521000 | #Constraints: 20188
2654.23/2662.18 c #Conflicts: 522000 | #Constraints: 21188
2654.23/2662.18 c #Conflicts: 523000 | #Constraints: 22188
2654.23/2662.18 c #Conflicts: 524000 | #Constraints: 23188
2654.23/2662.18 c #Conflicts: 525000 | #Constraints: 24188
2654.23/2662.18 c #Conflicts: 526000 | #Constraints: 25188
2654.23/2662.18 c #Conflicts: 527000 | #Constraints: 26188
2654.23/2662.18 c #Conflicts: 528000 | #Constraints: 27188
2654.23/2662.18 c #Conflicts: 529000 | #Constraints: 28188
2654.23/2662.18 c #Conflicts: 530000 | #Constraints: 29188
2654.23/2662.18 c #Conflicts: 531000 | #Constraints: 30188
2654.23/2662.18 c INPROCESSING
2654.23/2662.18 c GARBAGE COLLECT
2654.23/2662.18 c #Conflicts: 532000 | #Constraints: 16786
2654.23/2662.18 c #Conflicts: 533000 | #Constraints: 17786
2654.23/2662.18 c #Conflicts: 534000 | #Constraints: 18786
2654.23/2662.18 c #Conflicts: 535000 | #Constraints: 19786
2654.23/2662.18 c #Conflicts: 536000 | #Constraints: 20786
2654.23/2662.18 c #Conflicts: 537000 | #Constraints: 21786
2654.23/2662.18 c #Conflicts: 538000 | #Constraints: 22786
2654.23/2662.18 c #Conflicts: 539000 | #Constraints: 23786
2654.23/2662.18 c #Conflicts: 540000 | #Constraints: 24786
2654.23/2662.18 c #Conflicts: 541000 | #Constraints: 25786
2654.23/2662.18 c #Conflicts: 542000 | #Constraints: 26786
2654.23/2662.18 c #Conflicts: 543000 | #Constraints: 27786
2654.23/2662.18 c #Conflicts: 544000 | #Constraints: 28786
2654.23/2662.18 c #Conflicts: 545000 | #Constraints: 29786
2654.23/2662.18 c #Conflicts: 546000 | #Constraints: 30786
2654.23/2662.18 c INPROCESSING
2654.23/2662.18 c GARBAGE COLLECT
2654.23/2662.18 c #Conflicts: 547000 | #Constraints: 17187
2654.23/2662.18 c #Conflicts: 548000 | #Constraints: 18187
2654.23/2662.18 c #Conflicts: 549000 | #Constraints: 19187
2654.23/2662.18 c #Conflicts: 550000 | #Constraints: 20187
2654.23/2662.18 c #Conflicts: 551000 | #Constraints: 21187
2654.23/2662.18 c #Conflicts: 552000 | #Constraints: 22187
2654.23/2662.18 c #Conflicts: 553000 | #Constraints: 23187
2654.23/2662.18 c #Conflicts: 554000 | #Constraints: 24187
2654.23/2662.18 c #Conflicts: 555000 | #Constraints: 25187
2654.23/2662.18 c #Conflicts: 556000 | #Constraints: 26187
2654.23/2662.18 c #Conflicts: 557000 | #Constraints: 27187
2654.23/2662.18 c #Conflicts: 558000 | #Constraints: 28187
2654.23/2662.18 c #Conflicts: 559000 | #Constraints: 29187
2654.23/2662.18 c #Conflicts: 560000 | #Constraints: 30187
2654.23/2662.18 c #Conflicts: 561000 | #Constraints: 31187
2654.23/2662.18 c INPROCESSING
2654.23/2662.18 c GARBAGE COLLECT
2654.23/2662.18 c #Conflicts: 562000 | #Constraints: 17381
2654.23/2662.18 c #Conflicts: 563000 | #Constraints: 18381
2654.23/2662.18 c #Conflicts: 564000 | #Constraints: 19381
2654.23/2662.18 c #Conflicts: 565000 | #Constraints: 20381
2654.23/2662.18 c #Conflicts: 566000 | #Constraints: 21381
2654.23/2662.18 c #Conflicts: 567000 | #Constraints: 22381
2654.23/2662.18 c #Conflicts: 568000 | #Constraints: 23381
2654.23/2662.18 c #Conflicts: 569000 | #Constraints: 24381
2654.23/2662.18 c #Conflicts: 570000 | #Constraints: 25381
2654.23/2662.18 c #Conflicts: 571000 | #Constraints: 26381
2654.23/2662.18 c #Conflicts: 572000 | #Constraints: 27381
2654.23/2662.18 c #Conflicts: 573000 | #Constraints: 28381
2654.23/2662.18 c #Conflicts: 574000 | #Constraints: 29381
2654.23/2662.18 c #Conflicts: 575000 | #Constraints: 30381
2654.23/2662.18 c #Conflicts: 576000 | #Constraints: 31381
2654.23/2662.18 c INPROCESSING
2654.23/2662.18 c GARBAGE COLLECT
2654.23/2662.18 c #Conflicts: 577000 | #Constraints: 17390
2654.23/2662.18 c #Conflicts: 578000 | #Constraints: 18390
2654.23/2662.18 c #Conflicts: 579000 | #Constraints: 19390
2654.23/2662.18 c #Conflicts: 580000 | #Constraints: 20390
2654.23/2662.18 c #Conflicts: 581000 | #Constraints: 21390
2654.23/2662.18 c #Conflicts: 582000 | #Constraints: 22390
2654.23/2662.18 c #Conflicts: 583000 | #Constraints: 23390
2654.23/2662.18 c #Conflicts: 584000 | #Constraints: 24390
2654.23/2662.18 c #Conflicts: 585000 | #Constraints: 25390
2654.23/2662.18 c #Conflicts: 586000 | #Constraints: 26390
2654.23/2662.18 c #Conflicts: 587000 | #Constraints: 27390
2654.23/2662.18 c #Conflicts: 588000 | #Constraints: 28390
3087.80/3097.00 c #Conflicts: 589000 | #Constraints: 29390
3087.80/3097.00 c #Conflicts: 590000 | #Constraints: 30390
3087.80/3097.00 c #Conflicts: 591000 | #Constraints: 31390
3087.80/3097.00 c INPROCESSING
3087.80/3097.00 c GARBAGE COLLECT
3087.80/3097.00 c #Conflicts: 592000 | #Constraints: 17197
3087.80/3097.00 c #Conflicts: 593000 | #Constraints: 18197
3087.80/3097.00 c #Conflicts: 594000 | #Constraints: 19197
3087.80/3097.00 c #Conflicts: 595000 | #Constraints: 20197
3087.80/3097.00 c #Conflicts: 596000 | #Constraints: 21197
3087.80/3097.00 c #Conflicts: 597000 | #Constraints: 22197
3087.80/3097.00 c #Conflicts: 598000 | #Constraints: 23197
3087.80/3097.00 c #Conflicts: 599000 | #Constraints: 24197
3087.80/3097.00 c #Conflicts: 600000 | #Constraints: 25197
3087.80/3097.00 c #Conflicts: 601000 | #Constraints: 26197
3087.80/3097.00 c #Conflicts: 602000 | #Constraints: 27197
3087.80/3097.00 c #Conflicts: 603000 | #Constraints: 28197
3087.80/3097.00 c #Conflicts: 604000 | #Constraints: 29197
3087.80/3097.00 c #Conflicts: 605000 | #Constraints: 30197
3087.80/3097.00 c #Conflicts: 606000 | #Constraints: 31197
3087.80/3097.00 c #Conflicts: 607000 | #Constraints: 32197
3087.80/3097.00 c INPROCESSING
3087.80/3097.00 c GARBAGE COLLECT
3087.80/3097.00 c #Conflicts: 608000 | #Constraints: 17798
3087.80/3097.00 c #Conflicts: 609000 | #Constraints: 18798
3087.80/3097.00 c #Conflicts: 610000 | #Constraints: 19798
3087.80/3097.00 c #Conflicts: 611000 | #Constraints: 20798
3087.80/3097.00 c #Conflicts: 612000 | #Constraints: 21798
3087.80/3097.00 c #Conflicts: 613000 | #Constraints: 22798
3087.80/3097.00 c #Conflicts: 614000 | #Constraints: 23798
3087.80/3097.00 c #Conflicts: 615000 | #Constraints: 24798
3087.80/3097.00 c #Conflicts: 616000 | #Constraints: 25798
3087.80/3097.00 c #Conflicts: 617000 | #Constraints: 26798
3087.80/3097.00 c #Conflicts: 618000 | #Constraints: 27798
3087.80/3097.00 c #Conflicts: 619000 | #Constraints: 28798
3087.80/3097.00 c #Conflicts: 620000 | #Constraints: 29798
3087.80/3097.00 c #Conflicts: 621000 | #Constraints: 30798
3087.80/3097.00 c #Conflicts: 622000 | #Constraints: 31798
3087.80/3097.00 c #Conflicts: 623000 | #Constraints: 32798
3087.80/3097.00 c INPROCESSING
3087.80/3097.00 c GARBAGE COLLECT
3087.80/3097.00 c #Conflicts: 624000 | #Constraints: 18189
3087.80/3097.00 c #Conflicts: 625000 | #Constraints: 19189
3087.80/3097.00 c #Conflicts: 626000 | #Constraints: 20189
3087.80/3097.00 c #Conflicts: 627000 | #Constraints: 21189
3087.80/3097.00 c #Conflicts: 628000 | #Constraints: 22189
3087.80/3097.00 c #Conflicts: 629000 | #Constraints: 23189
3087.80/3097.00 c #Conflicts: 630000 | #Constraints: 24189
3087.80/3097.00 c #Conflicts: 631000 | #Constraints: 25189
3087.80/3097.00 c #Conflicts: 632000 | #Constraints: 26189
3087.80/3097.00 c #Conflicts: 633000 | #Constraints: 27189
3087.80/3097.00 c #Conflicts: 634000 | #Constraints: 28189
3087.80/3097.00 c #Conflicts: 635000 | #Constraints: 29189
3087.80/3097.00 c #Conflicts: 636000 | #Constraints: 30189
3087.80/3097.00 c #Conflicts: 637000 | #Constraints: 31189
3087.80/3097.00 c #Conflicts: 638000 | #Constraints: 32189
3087.80/3097.00 c #Conflicts: 639000 | #Constraints: 33189
3087.80/3097.00 c INPROCESSING
3087.80/3097.00 c GARBAGE COLLECT
3087.80/3097.00 c #Conflicts: 640000 | #Constraints: 18388
3087.80/3097.00 c #Conflicts: 641000 | #Constraints: 19388
3087.80/3097.00 c #Conflicts: 642000 | #Constraints: 20388
3087.80/3097.00 c #Conflicts: 643000 | #Constraints: 21388
3087.80/3097.00 c #Conflicts: 644000 | #Constraints: 22388
3087.80/3097.00 c #Conflicts: 645000 | #Constraints: 23388
3087.80/3097.00 c #Conflicts: 646000 | #Constraints: 24388
3087.80/3097.00 c #Conflicts: 647000 | #Constraints: 25388
3087.80/3097.00 c #Conflicts: 648000 | #Constraints: 26388
3087.80/3097.00 c #Conflicts: 649000 | #Constraints: 27388
3087.80/3097.00 c #Conflicts: 650000 | #Constraints: 28388
3087.80/3097.00 c #Conflicts: 651000 | #Constraints: 29388
3087.80/3097.00 c #Conflicts: 652000 | #Constraints: 30388
3087.80/3097.00 c #Conflicts: 653000 | #Constraints: 31388
3087.80/3097.00 c #Conflicts: 654000 | #Constraints: 32388
3087.80/3097.00 c #Conflicts: 655000 | #Constraints: 33388
3087.80/3097.00 c INPROCESSING
3087.80/3097.00 c GARBAGE COLLECT
3087.80/3097.00 c #Conflicts: 656000 | #Constraints: 18395
3087.80/3097.00 c #Conflicts: 657000 | #Constraints: 19395
3087.80/3097.00 c #Conflicts: 658000 | #Constraints: 20395
3087.80/3097.00 c #Conflicts: 659000 | #Constraints: 21395
3087.80/3097.00 c #Conflicts: 660000 | #Constraints: 22395
3087.80/3097.00 c #Conflicts: 661000 | #Constraints: 23395
3087.80/3097.00 c #Conflicts: 662000 | #Constraints: 24395
3087.80/3097.00 c #Conflicts: 663000 | #Constraints: 25395
3594.28/3604.87 c #Conflicts: 664000 | #Constraints: 26395
3594.28/3604.87 c #Conflicts: 665000 | #Constraints: 27395
3594.28/3604.87 c #Conflicts: 666000 | #Constraints: 28395
3594.28/3604.87 c #Conflicts: 667000 | #Constraints: 29395
3594.28/3604.87 c #Conflicts: 668000 | #Constraints: 30395
3594.28/3604.87 c #Conflicts: 669000 | #Constraints: 31395
3594.28/3604.87 c #Conflicts: 670000 | #Constraints: 32395
3594.28/3604.87 c #Conflicts: 671000 | #Constraints: 33395
3594.28/3604.87 c INPROCESSING
3594.28/3604.87 c GARBAGE COLLECT
3594.28/3604.87 c #Conflicts: 672000 | #Constraints: 18188
3594.28/3604.87 c #Conflicts: 673000 | #Constraints: 19188
3594.28/3604.87 c #Conflicts: 674000 | #Constraints: 20188
3594.28/3604.87 c #Conflicts: 675000 | #Constraints: 21188
3594.28/3604.87 c #Conflicts: 676000 | #Constraints: 22188
3594.28/3604.87 c #Conflicts: 677000 | #Constraints: 23188
3594.28/3604.87 c #Conflicts: 678000 | #Constraints: 24188
3594.28/3604.87 c #Conflicts: 679000 | #Constraints: 25188
3594.28/3604.87 c #Conflicts: 680000 | #Constraints: 26188
3594.28/3604.87 c #Conflicts: 681000 | #Constraints: 27188
3594.28/3604.87 c #Conflicts: 682000 | #Constraints: 28188
3594.28/3604.87 c #Conflicts: 683000 | #Constraints: 29188
3594.28/3604.87 c #Conflicts: 684000 | #Constraints: 30188
3594.28/3604.87 c #Conflicts: 685000 | #Constraints: 31188
3594.28/3604.87 c #Conflicts: 686000 | #Constraints: 32188
3594.28/3604.87 c #Conflicts: 687000 | #Constraints: 33188
3594.28/3604.87 c #Conflicts: 688000 | #Constraints: 34188
3594.28/3604.87 c INPROCESSING
3594.28/3604.87 c GARBAGE COLLECT
3594.28/3604.87 c #Conflicts: 689000 | #Constraints: 18788
3594.28/3604.87 c #Conflicts: 690000 | #Constraints: 19788
3594.28/3604.87 c #Conflicts: 691000 | #Constraints: 20788
3594.28/3604.87 c #Conflicts: 692000 | #Constraints: 21788
3594.28/3604.87 c #Conflicts: 693000 | #Constraints: 22788
3594.28/3604.87 c #Conflicts: 694000 | #Constraints: 23788
3594.28/3604.87 c #Conflicts: 695000 | #Constraints: 24788
3594.28/3604.87 c #Conflicts: 696000 | #Constraints: 25788
3594.28/3604.87 c #Conflicts: 697000 | #Constraints: 26788
3594.28/3604.87 c #Conflicts: 698000 | #Constraints: 27788
3594.28/3604.87 c #Conflicts: 699000 | #Constraints: 28788
3594.28/3604.87 c #Conflicts: 700000 | #Constraints: 29788
3594.28/3604.87 c #Conflicts: 701000 | #Constraints: 30788
3594.28/3604.87 c #Conflicts: 702000 | #Constraints: 31788
3594.28/3604.87 c #Conflicts: 703000 | #Constraints: 32788
3594.28/3604.87 c #Conflicts: 704000 | #Constraints: 33788
3594.28/3604.87 c #Conflicts: 705000 | #Constraints: 34788
3594.28/3604.87 c INPROCESSING
3594.28/3604.87 c GARBAGE COLLECT
3594.28/3604.87 c #Conflicts: 706000 | #Constraints: 19196
3594.28/3604.87 c #Conflicts: 707000 | #Constraints: 20196
3594.28/3604.87 c #Conflicts: 708000 | #Constraints: 21196
3594.28/3604.87 c #Conflicts: 709000 | #Constraints: 22196
3594.28/3604.87 c #Conflicts: 710000 | #Constraints: 23196
3594.28/3604.87 c #Conflicts: 711000 | #Constraints: 24196
3594.28/3604.87 c #Conflicts: 712000 | #Constraints: 25196
3594.28/3604.87 c #Conflicts: 713000 | #Constraints: 26196
3594.28/3604.87 c #Conflicts: 714000 | #Constraints: 27196
3594.28/3604.87 c #Conflicts: 715000 | #Constraints: 28196
3594.28/3604.87 c #Conflicts: 716000 | #Constraints: 29196
3594.28/3604.87 c #Conflicts: 717000 | #Constraints: 30196
3594.28/3604.87 c #Conflicts: 718000 | #Constraints: 31196
3594.28/3604.87 c #Conflicts: 719000 | #Constraints: 32196
3594.28/3604.87 c #Conflicts: 720000 | #Constraints: 33196
3594.28/3604.87 c #Conflicts: 721000 | #Constraints: 34196
3594.28/3604.87 c #Conflicts: 722000 | #Constraints: 35196
3594.28/3604.87 c INPROCESSING
3594.28/3604.87 c GARBAGE COLLECT
3594.28/3604.87 c #Conflicts: 723000 | #Constraints: 19403
3594.28/3604.87 c #Conflicts: 724000 | #Constraints: 20403
3594.28/3604.87 c #Conflicts: 725000 | #Constraints: 21403
3594.28/3604.87 c #Conflicts: 726000 | #Constraints: 22403
3594.28/3604.87 c #Conflicts: 727000 | #Constraints: 23403
3594.28/3604.87 c #Conflicts: 728000 | #Constraints: 24403
3594.28/3604.87 c #Conflicts: 729000 | #Constraints: 25403
3594.28/3604.87 c #Conflicts: 730000 | #Constraints: 26403
3594.28/3604.87 c #Conflicts: 731000 | #Constraints: 27403
3594.28/3604.87 c #Conflicts: 732000 | #Constraints: 28403
3594.28/3604.87 c #Conflicts: 733000 | #Constraints: 29403
3594.28/3604.87 c #Conflicts: 734000 | #Constraints: 30403
3594.28/3604.87 c #Conflicts: 735000 | #Constraints: 31403
3594.28/3604.87 c #Conflicts: 736000 | #Constraints: 32403
3594.28/3604.87 c #Conflicts: 737000 | #Constraints: 33403
3594.28/3604.87 c #Conflicts: 738000 | #Constraints: 34403
3594.28/3604.87 c #Conflicts: 739000 | #Constraints: 35403
3600.06/3610.60 c INPROCESSING
3600.06/3610.60 c GARBAGE COLLECT
3600.06/3610.60 c #Conflicts: 740000 | #Constraints: 19409
3600.06/3610.60 c Program interrupted by user.
3600.06/3610.60 c cpu time 3568.03 s
3600.06/3610.60 c deterministic time 663912060096 6.64e+11
3600.06/3610.60 c optimization time 2.08755 s
3600.06/3610.60 c total solve time 3565.73 s
3600.06/3610.60 c core-guided solve time 3565.73 s
3600.06/3610.60 c propagation time 2448.13 s
3600.06/3610.60 c conflict analysis time 850.856 s
3600.06/3610.60 c propagations 236538981
3600.06/3610.60 c resolve steps 3754372
3600.06/3610.60 c decisions 33307067
3600.06/3610.60 c conflicts 740066
3600.06/3610.60 c restarts 1533
3600.06/3610.60 c inprocessing phases 77
3600.06/3610.60 c input clauses 713
3600.06/3610.60 c input cardinalities 714
3600.06/3610.60 c input general constraints 128
3600.06/3610.60 c input average constraint length 117.42
3600.06/3610.60 c input average constraint degree 24560.17
3600.06/3610.60 c learned clauses 27184
3600.06/3610.60 c learned cardinalities 501
3600.06/3610.60 c learned general constraints 712381
3600.06/3610.60 c learned average constraint length 3173.41
3600.06/3610.60 c learned average constraint degree 21628324.82
3600.06/3610.60 c watched constraints 434490
3600.06/3610.60 c counting constraints 278019
3600.06/3610.60 c gcd simplifications 12638
3600.06/3610.60 c detected cardinalities 12
3600.06/3610.60 c weakened non-implied lits 347043571
3600.06/3610.60 c weakened non-implying lits 138827
3600.06/3610.60 c original variables 45696
3600.06/3610.60 c clausal propagations 2616767
3600.06/3610.60 c cardinality propagations 25064222
3600.06/3610.60 c watched propagations 13031158
3600.06/3610.60 c counting propagations 194184117
3600.06/3610.60 c watch lookups 20734871651
3600.06/3610.60 c watch backjump lookups 20361907888
3600.06/3610.60 c watch checks 502476321118
3600.06/3610.60 c propagation checks 113285011920
3600.06/3610.60 c constraint additions 6513557980
3600.06/3610.60 c trail pops 270543490
3600.06/3610.60 c formula constraints 1555
3600.06/3610.60 c learned constraints 740066
3600.06/3610.60 c bound constraints 0
3600.06/3610.60 c core-guided constraints 0
3600.06/3610.60 c encountered formula constraints 2595582
3600.06/3610.60 c encountered learned constraints 1898856
3600.06/3610.60 c encountered bound constraints 0
3600.06/3610.60 c encountered core-guided constraints 0
3600.06/3610.60 c LP total time 0 s
3600.06/3610.60 c LP solve time 0 s
3600.06/3610.60 c LP constraints added 0
3600.06/3610.60 c LP constraints removed 0
3600.06/3610.60 c LP pivots internal 0
3600.06/3610.60 c LP pivots root 0
3600.06/3610.60 c LP calls 0
3600.06/3610.60 c LP optimalities 0
3600.06/3610.60 c LP no pivot count 0
3600.06/3610.60 c LP infeasibilities 0
3600.06/3610.60 c LP valid Farkas constraints 0
3600.06/3610.60 c LP learned Farkas constraints 0
3600.06/3610.60 c LP basis resets 0
3600.06/3610.60 c LP cycling count 0
3600.06/3610.60 c LP singular count 0
3600.06/3610.60 c LP no primal count 0
3600.06/3610.60 c LP no farkas count 0
3600.06/3610.60 c LP other issue count 0
3600.06/3610.60 c LP Gomory cuts 0
3600.06/3610.60 c LP learned cuts 0
3600.06/3610.60 c LP deleted cuts 0
3600.06/3610.60 c LP encountered Gomory constraints 0
3600.06/3610.60 c LP encountered Farkas constraints 0
3600.06/3610.60 c LP encountered learned Farkas constraints 0
3600.06/3610.60 c CG auxiliary variables introduced 0
3600.06/3610.60 c CG solutions found 0
3600.06/3610.60 c CG cores constructed 0
3600.06/3610.60 c CG core cardinality constraints returned 0
3600.06/3610.60 c CG unit cores 0
3600.06/3610.60 c CG single cores 0
3600.06/3610.60 c CG blocks removed during cardinality reduction 0
3600.06/3610.60 c CG first core best 0
3600.06/3610.60 c CG decision core best 0
3600.06/3610.60 c CG core reduction tie 0
3600.06/3610.60 c CG core degree average 0.00
3600.06/3610.60 c CG core slack average 0.00
3600.06/3610.60 c CG exhausted 0
3600.06/3610.60 c CG exhaust time 0 s
3600.06/3610.60 c CG trimmed 0
3600.06/3610.60 c CG trim time 0 s
3600.06/3610.60 c CG minimized 0
3600.06/3610.60 c CG minimize time 0 s
3600.06/3610.60 c CG am1 prop time 0 s
3600.06/3610.60 c CG # am1s reformulated 0
3600.06/3610.60 c CG lower bound derived from am1s 0
3600.06/3610.60 c CG # clausal cores 0
3600.06/3610.60 c CG # cardinality cores 0
3600.06/3610.60 c CG # pb cores 0
3600.06/3610.60 c CG # pb reforms 0
3600.06/3610.60 c CG # cores discarded because of pb reform 0
3600.06/3610.60 d LOWERBOUND 0
3600.06/3610.60 d NCORES 0
3600.06/3610.60 d NPBCORES 0
3600.06/3610.60 d NPBREFORM 0
3600.06/3610.60 d NTRIMMED 0
3600.06/3610.60 d NEXHAUSTED 0
3600.06/3610.60 d NAM1S 0
3600.06/3610.60 d AM1LB 0
3600.16/3610.71 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: 63794 MiB (57792 MiB free)
memory of node 1: 64507 MiB (62318 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509328-1751521962/watcher-4509328-1751521962 -o /tmp/evaluation-result-4509328-1751521962/solver-4509328-1751521962 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751518082-70848 --watchdog 3760 pb-oll-rs HOME/instance-4509328-1751521962.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=71316, runsolver pid=71313
Current StackSize limit: 8192 KiB
[startup+0.100114 s]*
/proc/loadavg: 4.22 4.32 4.18 5/250 71317
/proc/meminfo: memFree=122993816/131382112 swapFree=33010416/33010684
[pid=71316] ppid=71313 vsize=31244 memory=18644 CPUtime=0.1 cores=5,7
/proc/71316/stat : 71316 (pb-oll-rs) R 71313 71316 70835 0 -1 4194304 3163 0 0 0 9 1 0 0 20 0 1 0 67875938 31993856 4661 18446744073709551615 4218880 5211445 140731028152192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22503424 140731028158876 140731028158953 140731028158953 140731028164555 0
/proc/71316/statm: 7811 4661 1152 243 0 4060 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31244 KiB
Current children cumulated memory: 18644 KiB
[startup+0.213865 s]*
/proc/loadavg: 4.22 4.32 4.18 5/250 71317
/proc/meminfo: memFree=122992052/131382112 swapFree=33010416/33010684
[pid=71316] ppid=71313 vsize=32256 memory=19540 CPUtime=0.21 cores=5,7
/proc/71316/stat : 71316 (pb-oll-rs) R 71313 71316 70835 0 -1 4194304 3392 0 0 0 20 1 0 0 20 0 1 0 67875938 33030144 4885 18446744073709551615 4218880 5211445 140731028152192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22503424 140731028158876 140731028158953 140731028158953 140731028164555 0
/proc/71316/statm: 8064 4885 1152 243 0 4313 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32256 KiB
Current children cumulated memory: 19540 KiB
[startup+0.313916 s]*
/proc/loadavg: 4.22 4.32 4.18 5/250 71317
/proc/meminfo: memFree=122992052/131382112 swapFree=33010416/33010684
[pid=71316] ppid=71313 vsize=32868 memory=20820 CPUtime=0.31 cores=5,7
/proc/71316/stat : 71316 (pb-oll-rs) R 71313 71316 70835 0 -1 4194304 3580 0 0 0 24 7 0 0 20 0 1 0 67875938 33656832 5205 18446744073709551615 4218880 5211445 140731028152192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22503424 140731028158876 140731028158953 140731028158953 140731028164555 0
/proc/71316/statm: 8217 5205 1312 243 0 4466 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32868 KiB
Current children cumulated memory: 20820 KiB
[startup+0.700314 s]
/proc/loadavg: 4.22 4.32 4.18 5/250 71317
/proc/meminfo: memFree=122988272/131382112 swapFree=33010416/33010684
[pid=71316] ppid=71313 vsize=36588 memory=26488 CPUtime=0.68 cores=5,7
/proc/71316/stat : 71316 (pb-oll-rs) R 71313 71316 70835 0 -1 4194304 4570 0 0 0 58 10 0 0 20 0 1 0 67875938 37466112 6622 18446744073709551615 4218880 5211445 140731028152192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22503424 140731028158876 140731028158953 140731028158953 140731028164555 0
/proc/71316/statm: 9147 6622 1312 243 0 5396 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 36588 KiB
Current children cumulated memory: 26488 KiB
[startup+1.50033 s]
/proc/loadavg: 4.22 4.32 4.18 5/250 71317
/proc/meminfo: memFree=122976112/131382112 swapFree=33010416/33010684
[pid=71316] ppid=71313 vsize=45784 memory=34708 CPUtime=1.48 cores=5,7
/proc/71316/stat : 71316 (pb-oll-rs) R 71313 71316 70835 0 -1 4194304 6084 0 0 0 130 18 0 0 20 0 1 0 67875938 46882816 8677 18446744073709551615 4218880 5211445 140731028152192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22503424 140731028158876 140731028158953 140731028158953 140731028164555 0
/proc/71316/statm: 11446 8677 1344 243 0 7695 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45784 KiB
Current children cumulated memory: 34708 KiB
[startup+3.11358 s]
/proc/loadavg: 4.21 4.31 4.18 5/250 71319
/proc/meminfo: memFree=122935796/131382112 swapFree=33010416/33010684
[pid=71316] ppid=71313 vsize=93140 memory=67224 CPUtime=3.09 cores=5,7
/proc/71316/stat : 71316 (pb-oll-rs) R 71313 71316 70835 0 -1 4194304 10130 0 0 0 283 26 0 0 20 0 1 0 67875938 95375360 16806 18446744073709551615 4218880 5211445 140731028152192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22503424 140731028158876 140731028158953 140731028158953 140731028164555 0
/proc/71316/statm: 23285 16806 1344 243 0 19534 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 93140 KiB
Current children cumulated memory: 67224 KiB
[startup+6.30032 s]
/proc/loadavg: 4.21 4.31 4.18 5/250 71319
/proc/meminfo: memFree=122879532/131382112 swapFree=33010416/33010684
[pid=71316] ppid=71313 vsize=156424 memory=120192 CPUtime=6.27 cores=5,7
/proc/71316/stat : 71316 (pb-oll-rs) R 71313 71316 70835 0 -1 4194304 18786 0 0 0 582 45 0 0 20 0 1 0 67875938 160178176 30048 18446744073709551615 4218880 5211445 140731028152192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22503424 140731028158876 140731028158953 140731028158953 140731028164555 0
/proc/71316/statm: 39106 30048 1344 243 0 35355 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 156424 KiB
Current children cumulated memory: 120192 KiB
[startup+12.7003 s]
/proc/loadavg: 4.17 4.30 4.17 5/250 71319
/proc/meminfo: memFree=122806956/131382112 swapFree=33010416/33010684
[pid=71316] ppid=71313 vsize=197324 memory=161152 CPUtime=12.65 cores=5,7
/proc/71316/stat : 71316 (pb-oll-rs) R 71313 71316 70835 0 -1 4194304 29017 0 0 0 1201 64 0 0 20 0 1 0 67875938 202059776 40288 18446744073709551615 4218880 5211445 140731028152192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22503424 140731028158876 140731028158953 140731028158953 140731028164555 0
/proc/71316/statm: 49331 40288 1344 243 0 45580 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 197324 KiB
Current children cumulated memory: 161152 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.29 4.17 5/250 71319
/proc/meminfo: memFree=122633256/131382112 swapFree=33010416/33010684
[pid=71316] ppid=71313 vsize=297452 memory=249504 CPUtime=25.41 cores=5,7
/proc/71316/stat : 71316 (pb-oll-rs) R 71313 71316 70835 0 -1 4194304 41912 0 0 0 2421 120 0 0 20 0 1 0 67875938 304590848 62376 18446744073709551615 4218880 5211445 140731028152192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22503424 140731028158876 140731028158953 140731028158953 140731028164555 0
/proc/71316/statm: 74363 62376 1344 243 0 70612 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 297452 KiB
Current children cumulated memory: 249504 KiB
[startup+51.1136 s]
/proc/loadavg: 4.10 4.27 4.17 5/250 71319
/proc/meminfo: memFree=122362800/131382112 swapFree=33010416/33010684
[pid=71316] ppid=71313 vsize=461048 memory=424920 CPUtime=50.95 cores=5,7
/proc/71316/stat : 71316 (pb-oll-rs) R 71313 71316 70835 0 -1 4194304 80653 0 0 0 4902 193 0 0 20 0 1 0 67875938 472113152 106230 18446744073709551615 4218880 5211445 140731028152192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22503424 140731028158876 140731028158953 140731028158953 140731028164555 0
/proc/71316/statm: 115262 106230 1344 243 0 111511 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 461048 KiB
Current children cumulated memory: 424920 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.24 4.16 5/250 71321
/proc/meminfo: memFree=121986448/131382112 swapFree=33010416/33010684
[pid=71316] ppid=71313 vsize=672572 memory=610168 CPUtime=102 cores=5,7
/proc/71316/stat : 71316 (pb-oll-rs) R 71313 71316 70835 0 -1 4194304 112197 0 0 0 9940 260 0 0 20 0 1 0 67875938 688713728 152542 18446744073709551615 4218880 5211445 140731028152192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22503424 140731028158876 140731028158953 140731028158953 140731028164555 0
/proc/71316/statm: 168143 152542 1344 243 0 164392 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 672572 KiB
Current children cumulated memory: 610168 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.20 4.16 5/250 71327
/proc/meminfo: memFree=121623160/131382112 swapFree=33010416/33010684
[pid=71316] ppid=71313 vsize=742740 memory=679928 CPUtime=161.82 cores=5,7
/proc/71316/stat : 71316 (pb-oll-rs) R 71313 71316 70835 0 -1 4194304 129626 0 0 0 15747 435 0 0 20 0 1 0 67875938 760565760 169982 18446744073709551615 4218880 5211445 140731028152192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22503424 140731028158876 140731028158953 140731028158953 140731028164555 0
/proc/71316/statm: 185685 169982 1344 243 0 181934 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 742740 KiB
Current children cumulated memory: 679928 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.20 4.16 5/250 71329
/proc/meminfo: memFree=121121996/131382112 swapFree=33010416/33010684
[pid=71316] ppid=71313 vsize=966464 memory=814136 CPUtime=221.65 cores=5,7
/proc/71316/stat : 71316 (pb-oll-rs) R 71313 71316 70835 0 -1 4194304 151969 0 0 0 21684 481 0 0 20 0 1 0 67875938 989659136 203534 18446744073709551615 4218880 5211445 140731028152192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22503424 140731028158876 140731028158953 140731028158953 140731028164555 0
/proc/71316/statm: 241616 203534 1344 243 0 237865 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 966464 KiB
Current children cumulated memory: 814136 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 4.16 4.14 5/250 71331
/proc/meminfo: memFree=120698316/131382112 swapFree=33010416/33010684
[pid=71316] ppid=71313 vsize=1038472 memory=887316 CPUtime=281.47 cores=5,7
/proc/71316/stat : 71316 (pb-oll-rs) R 71313 71316 70835 0 -1 4194304 165151 0 0 0 27614 533 0 0 20 0 1 0 67875938 1063395328 221829 18446744073709551615 4218880 5211445 140731028152192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22503424 140731028158876 140731028158953 140731028158953 140731028164555 0
/proc/71316/statm: 259618 221829 1344 243 0 255867 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 1038472 KiB
Current children cumulated memory: 887316 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.16 4.14 5/249 71335
/proc/meminfo: memFree=120550820/131382112 swapFree=33010416/33010684
[pid=71316] ppid=71313 vsize=1071744 memory=919572 CPUtime=341.3 cores=5,7
/proc/71316/stat : 71316 (pb-oll-rs) R 71313 71316 70835 0 -1 4194304 173244 0 0 0 33444 686 0 0 20 0 1 0 67875938 1097465856 229893 18446744073709551615 4218880 5211445 140731028152192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22503424 140731028158876 140731028158953 140731028158953 140731028164555 0
/proc/71316/statm: 267936 229893 1344 243 0 264185 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 1071744 KiB
Current children cumulated memory: 919572 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 4.16 4.14 5/249 71337
/proc/meminfo: memFree=120362324/131382112 swapFree=33010416/33010684
[pid=71316] ppid=71313 vsize=1161744 memory=1004948 CPUtime=401.12 cores=5,7
/proc/71316/stat : 71316 (pb-oll-rs) R 71313 71316 70835 0 -1 4194304 194601 0 0 0 39343 769 0 0 20 0 1 0 67875938 1189625856 251237 18446744073709551615 4218880 5211445 140731028152192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22503424 140731028158876 140731028158953 140731028158953 140731028164555 0
/proc/71316/statm: 290436 251237 1344 243 0 286685 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 1161744 KiB
Current children cumulated memory: 1004948 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.14 4.14 5/249 71339
/proc/meminfo: memFree=120068308/131382112 swapFree=33010416/33010684
[pid=71316] ppid=71313 vsize=1182504 memory=1024916 CPUtime=460.96 cores=5,7
/proc/71316/stat : 71316 (pb-oll-rs) R 71313 71316 70835 0 -1 4194304 199574 0 0 0 45179 917 0 0 20 0 1 0 67875938 1210884096 256229 18446744073709551615 4218880 5211445 140731028152192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22503424 140731028158876 140731028158953 140731028158953 140731028164555 0
/proc/71316/statm: 295626 256229 1344 243 0 291875 0
Current children cumulated CPU time: 460.96 s
################
# More data... #
################
Current children cumulated memory: 4367052 KiB
[startup+2922.3 s]
/proc/loadavg: 4.20 4.10 4.10 5/250 71520
/proc/meminfo: memFree=110987696/131382112 swapFree=33010416/33010684
[pid=71316] ppid=71313 vsize=5326860 memory=4382020 CPUtime=2913.68 cores=5,7
/proc/71316/stat : 71316 (pb-oll-rs) R 71313 71316 70835 0 -1 4194304 850348 0 0 0 288559 2809 0 0 20 0 1 0 67875938 5454704640 1095505 18446744073709551615 4218880 5211445 140731028152192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22503424 140731028158876 140731028158953 140731028158953 140731028164555 0
/proc/71316/statm: 1331715 1095505 1344 243 0 1327964 0
Current children cumulated CPU time: 2913.68 s
Current children cumulated vsize: 5326860 KiB
Current children cumulated memory: 4382020 KiB
[startup+2982.3 s]
/proc/loadavg: 4.77 4.29 4.16 5/250 71522
/proc/meminfo: memFree=110883812/131382112 swapFree=33010416/33010684
[pid=71316] ppid=71313 vsize=5326860 memory=4382020 CPUtime=2973.51 cores=5,7
/proc/71316/stat : 71316 (pb-oll-rs) R 71313 71316 70835 0 -1 4194304 850359 0 0 0 294495 2856 0 0 20 0 1 0 67875938 5454704640 1095505 18446744073709551615 4218880 5211445 140731028152192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22503424 140731028158876 140731028158953 140731028158953 140731028164555 0
/proc/71316/statm: 1331715 1095505 1344 243 0 1327964 0
Current children cumulated CPU time: 2973.51 s
Current children cumulated vsize: 5326860 KiB
Current children cumulated memory: 4382020 KiB
[startup+3042.3 s]
/proc/loadavg: 4.33 4.25 4.15 5/250 71524
/proc/meminfo: memFree=110827492/131382112 swapFree=33010416/33010684
[pid=71316] ppid=71313 vsize=5327152 memory=4382404 CPUtime=3033.34 cores=5,7
/proc/71316/stat : 71316 (pb-oll-rs) R 71313 71316 70835 0 -1 4194304 850690 0 0 0 300417 2917 0 0 20 0 1 0 67875938 5455003648 1095601 18446744073709551615 4218880 5211445 140731028152192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22503424 140731028158876 140731028158953 140731028158953 140731028164555 0
/proc/71316/statm: 1331788 1095601 1344 243 0 1328037 0
Current children cumulated CPU time: 3033.34 s
Current children cumulated vsize: 5327152 KiB
Current children cumulated memory: 4382404 KiB
[startup+3102.3 s]
/proc/loadavg: 4.65 4.34 4.19 5/249 71526
/proc/meminfo: memFree=110725456/131382112 swapFree=33010416/33010684
[pid=71316] ppid=71313 vsize=5329420 memory=4386216 CPUtime=3093.18 cores=5,7
/proc/71316/stat : 71316 (pb-oll-rs) R 71313 71316 70835 0 -1 4194304 851902 0 0 0 306351 2967 0 0 20 0 1 0 67875938 5457326080 1096554 18446744073709551615 4218880 5211445 140731028152192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22503424 140731028158876 140731028158953 140731028158953 140731028164555 0
/proc/71316/statm: 1332355 1096554 1344 243 0 1328604 0
Current children cumulated CPU time: 3093.18 s
Current children cumulated vsize: 5329420 KiB
Current children cumulated memory: 4386216 KiB
[startup+3162.3 s]
/proc/loadavg: 4.48 4.37 4.21 5/249 71528
/proc/meminfo: memFree=110611776/131382112 swapFree=33010416/33010684
[pid=71316] ppid=71313 vsize=5329716 memory=4386344 CPUtime=3153.02 cores=5,7
/proc/71316/stat : 71316 (pb-oll-rs) R 71313 71316 70835 0 -1 4194304 851960 0 0 0 312278 3024 0 0 20 0 1 0 67875938 5457629184 1096586 18446744073709551615 4218880 5211445 140731028152192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22503424 140731028158876 140731028158953 140731028158953 140731028164555 0
/proc/71316/statm: 1332429 1096586 1344 243 0 1328678 0
Current children cumulated CPU time: 3153.02 s
Current children cumulated vsize: 5329716 KiB
Current children cumulated memory: 4386344 KiB
[startup+3222.3 s]
/proc/loadavg: 4.22 4.31 4.20 5/250 71535
/proc/meminfo: memFree=110522548/131382112 swapFree=33010416/33010684
[pid=71316] ppid=71313 vsize=5329716 memory=4386728 CPUtime=3212.85 cores=5,7
/proc/71316/stat : 71316 (pb-oll-rs) R 71313 71316 70835 0 -1 4194304 852180 0 0 0 318179 3106 0 0 20 0 1 0 67875938 5457629184 1096682 18446744073709551615 4218880 5211445 140731028152192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22503424 140731028158876 140731028158953 140731028158953 140731028164555 0
/proc/71316/statm: 1332429 1096682 1344 243 0 1328678 0
Current children cumulated CPU time: 3212.85 s
Current children cumulated vsize: 5329716 KiB
Current children cumulated memory: 4386728 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.28 4.19 5/250 71537
/proc/meminfo: memFree=110326304/131382112 swapFree=33010416/33010684
[pid=71316] ppid=71313 vsize=5329716 memory=4386728 CPUtime=3272.69 cores=5,7
/proc/71316/stat : 71316 (pb-oll-rs) R 71313 71316 70835 0 -1 4194304 852268 0 0 0 324131 3138 0 0 20 0 1 0 67875938 5457629184 1096682 18446744073709551615 4218880 5211445 140731028152192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22503424 140731028158876 140731028158953 140731028158953 140731028164555 0
/proc/71316/statm: 1332429 1096682 1344 243 0 1328678 0
Current children cumulated CPU time: 3272.69 s
Current children cumulated vsize: 5329716 KiB
Current children cumulated memory: 4386728 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.23 4.18 4/246 71547
/proc/meminfo: memFree=115779364/131382112 swapFree=33010416/33010684
[pid=71316] ppid=71313 vsize=5329716 memory=4386728 CPUtime=3332.51 cores=5,7
/proc/71316/stat : 71316 (pb-oll-rs) R 71313 71316 70835 0 -1 4194304 852398 0 0 0 330096 3155 0 0 20 0 1 0 67875938 5457629184 1096682 18446744073709551615 4218880 5211445 140731028152192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22503424 140731028158876 140731028158953 140731028158953 140731028164555 0
/proc/71316/statm: 1332429 1096682 1344 243 0 1328678 0
Current children cumulated CPU time: 3332.51 s
Current children cumulated vsize: 5329716 KiB
Current children cumulated memory: 4386728 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.23 4.18 5/250 71630
/proc/meminfo: memFree=121526324/131382112 swapFree=33010416/33010684
[pid=71316] ppid=71313 vsize=5344344 memory=4400168 CPUtime=3392.34 cores=5,7
/proc/71316/stat : 71316 (pb-oll-rs) R 71313 71316 70835 0 -1 4194304 855783 0 0 0 336065 3169 0 0 20 0 1 0 67875938 5472608256 1100042 18446744073709551615 4218880 5211445 140731028152192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22503424 140731028158876 140731028158953 140731028158953 140731028164555 0
/proc/71316/statm: 1336086 1100042 1344 243 0 1332335 0
Current children cumulated CPU time: 3392.34 s
Current children cumulated vsize: 5344344 KiB
Current children cumulated memory: 4400168 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.20 4.17 5/250 71634
/proc/meminfo: memFree=121227124/131382112 swapFree=33010416/33010684
[pid=71316] ppid=71313 vsize=5377376 memory=4430456 CPUtime=3452.18 cores=5,7
/proc/71316/stat : 71316 (pb-oll-rs) R 71313 71316 70835 0 -1 4194304 863820 0 0 0 342037 3181 0 0 20 0 1 0 67875938 5506433024 1107614 18446744073709551615 4218880 5211445 140731028152192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22503424 140731028158876 140731028158953 140731028158953 140731028164555 0
/proc/71316/statm: 1344344 1107614 1344 243 0 1340593 0
Current children cumulated CPU time: 3452.18 s
Current children cumulated vsize: 5377376 KiB
Current children cumulated memory: 4430456 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.18 4.17 5/249 71637
/proc/meminfo: memFree=120849324/131382112 swapFree=33010416/33010684
[pid=71316] ppid=71313 vsize=5377760 memory=4430584 CPUtime=3512.01 cores=5,7
/proc/71316/stat : 71316 (pb-oll-rs) R 71313 71316 70835 0 -1 4194304 864064 0 0 0 348007 3194 0 0 20 0 1 0 67875938 5506826240 1107646 18446744073709551615 4218880 5211445 140731028152192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22503424 140731028158876 140731028158953 140731028158953 140731028164555 0
/proc/71316/statm: 1344440 1107646 1344 243 0 1340689 0
Current children cumulated CPU time: 3512.01 s
Current children cumulated vsize: 5377760 KiB
Current children cumulated memory: 4430584 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.16 4.16 5/249 71639
/proc/meminfo: memFree=120687788/131382112 swapFree=33010416/33010684
[pid=71316] ppid=71313 vsize=5379744 memory=4432376 CPUtime=3571.83 cores=5,7
/proc/71316/stat : 71316 (pb-oll-rs) R 71313 71316 70835 0 -1 4194304 864614 0 0 0 353984 3199 0 0 20 0 1 0 67875938 5508857856 1108094 18446744073709551615 4218880 5211445 140731028152192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22503424 140731028158876 140731028158953 140731028158953 140731028164555 0
/proc/71316/statm: 1344936 1108094 1344 243 0 1341185 0
Current children cumulated CPU time: 3571.83 s
Current children cumulated vsize: 5379744 KiB
Current children cumulated memory: 4432376 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.14 4.16 4.16 5/249 71640
/proc/meminfo: memFree=120661592/131382112 swapFree=33010416/33010684
[pid=71316] ppid=71313 vsize=5380064 memory=4433572 CPUtime=3600.06 cores=5,7
/proc/71316/stat : 71316 (pb-oll-rs) R 71313 71316 70835 0 -1 4194304 864912 0 0 0 356803 3203 0 0 20 0 1 0 67875938 5509185536 1108393 18446744073709551615 4218880 5211445 140731028152192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22503424 140731028158876 140731028158953 140731028158953 140731028164555 0
/proc/71316/statm: 1345016 1108393 1344 243 0 1341265 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 5380064 KiB
Current children cumulated memory: 4433572 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.77 s]
# the end of solver process 71316 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3568.05 s, system=32.1804 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 4.14 4.16 4.16 5/249 71640
/proc/meminfo: memFree=120661592/131382112 swapFree=33010416/33010684
[pid=71316] ppid=71313 vsize=3538940 memory=2607732 CPUtime=3600.16 cores=5,7
/proc/71316/stat : 71316 (pb-oll-rs) R 71313 71316 70835 0 -1 4194304 864926 0 0 0 356805 3211 0 0 20 0 1 0 67875938 3623874560 651933 18446744073709551615 4218880 5211445 140731028152192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22503424 140731028158876 140731028158953 140731028158953 140731028164555 0
/proc/71316/statm: 784089 651933 1408 243 0 780338 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 3538940 KiB
Current children cumulated memory: 2607732 KiB
Child status: 0
Real time (s): 3610.77
CPU time (s): 3600.23
CPU user time (s): 3568.05
CPU system time (s): 32.1804
CPU usage (%): 99.7083
Max. virtual memory (cumulated for all children) (KiB): 5380516
Max. memory (cumulated for all children) (KiB): 4433784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.05
system time used= 32.1804
maximum resident set size= 4433828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 864936
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= 151
involuntary context switches= 3877
# summary of solver processes directly reported to runsolver:
# pid: 71316
# total CPU time (s): 3600.23
# total CPU user time (s): 3568.05
# total CPU system time (s): 32.1804
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9067 second user time and 36.9313 second system time
The end
Begin job on nodeC012 at 2025-07-03 07:52:42
IDJOB=4509328
IDBENCH=158611
IDSOLVER=3345
FILE ID=nodeC012/4509328-1751521962
RUNJOBID= nodeC012-1751518082-70848
SLURM_JOB_ID= 9598636
Free space on /tmp= 431860 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm99p-opt.opb.negationfix.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509328-1751521962/watcher-4509328-1751521962 -o /tmp/evaluation-result-4509328-1751521962/solver-4509328-1751521962 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751518082-70848 --watchdog 3760 pb-oll-rs HOME/instance-4509328-1751521962.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1d8b9a75b06fe10625c514168771d7f4
RANDOM SEED=625671465
nodeC012 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.339
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
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 : 3491.761
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
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.224
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
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.413
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
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 : 3662.571
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.193
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
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.223
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
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.766
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 122993816 kB
MemAvailable: 123023420 kB
Buffers: 2136 kB
Cached: 831008 kB
SwapCached: 16 kB
Active: 7604800 kB
Inactive: 213304 kB
Active(anon): 6995908 kB
Inactive(anon): 6996 kB
Active(file): 608892 kB
Inactive(file): 206308 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3576 kB
Writeback: 0 kB
AnonPages: 6988132 kB
Mapped: 107420 kB
Shmem: 17944 kB
KReclaimable: 107680 kB
Slab: 192620 kB
SReclaimable: 107680 kB
SUnreclaim: 84940 kB
KernelStack: 4064 kB
PageTables: 17176 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 8204716 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149384 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2304000 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 187208 kB
DirectMap2M: 8103936 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431872 MiB
End job on nodeC012 at 2025-07-03 08:52:53