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