(1,17) (2,30) (3,27) (4,9) (5,8) (6,23) (7,11) (10,12) (13,21) (14,20) (15,19) (16,28) (18,22) (24,29) (25,26) 
nodes: 34020  conflicts: 5  modelTime: 922  solveTime: 243501  totalTime: 244429  modelSize: 72264  readTime: 6 size: 15