diff -r b84ea52bfd8f -r cdfb2ce30a3d progs/sudoku.scala
--- a/progs/sudoku.scala	Tue Nov 12 10:47:27 2019 +0000
+++ b/progs/sudoku.scala	Tue Nov 19 00:40:27 2019 +0000
@@ -78,11 +78,9 @@
        ".6.5.4.3.1...9...8.........9...5...6.4.6.2.7.7...4...5.........4...8...1.5.2.3.4.",
        "7.....4...2..7..8...3..8.799..5..3...6..2..9...1.97..6...3..9...3..4..6...9..1.35",
        "....7..2.8.......6.1.2.5...9.54....8.........3....85.1...3.2.8.4.......9.7..6....",
-//       "4.....8.5.3..........7......2.....6.....8.4......1.......6.3.7.5..2.....1.4......",
        "52...6.........7.13...........4..8..6......5...........418.........3..2...87.....",
        "6.....8.3.4.7.................5.4.7.3..2.....1.6.......2.....5.....8.6......1....",
        "48.3............71.2.......7.5....6....2..8.............1.76...3.....4......5....",
-//       "....14....3....2...7..........9...3.6.1.............8.2.....1.4....5.6.....7.8...",
        "......52..8.4......3...9...5.1...6..2..7........3.....6...1..........7.4.......3.",
        "6.2.5.........3.4..........43...8....1....2........7..5..27...........81...6.....",
        ".524.........7.1..............8.2...3.....6...9.5.....1.6.3...........897........",
@@ -100,7 +98,6 @@
        "..84...3....3.....9....157479...8........7..514.....2...9.6...2.5....4......9..56",
        ".98.1....2......6.............3.2.5..84.........6.........4.8.93..5...........1..",
        "..247..58..............1.4.....2...9528.9.4....9...1.........3.3....75..685..2...",
-//       "4.....8.5.3..........7......2.....6.....5.4......1.......6.3.7.5..2.....1.9......",
        ".2.3......63.....58.......15....9.3....7........1....8.879..26......6.7...6..7..4",
        "1.....7.9.4...72..8.........7..1..6.3.......5.6..4..2.........8..53...7.7.2....46",
        "4.....3.....8.2......7........1...8734.......6........5...6........1.4...82......",
@@ -113,12 +110,10 @@
        ".2.......3.5.62..9.68...3...5..........64.8.2..47..9....3.....1.....6...17.43....",
        ".8..4....3......1........2...5...4.69..1..8..2...........3.9....6....5.....2.....",
        "..8.9.1...6.5...2......6....3.1.7.5.........9..4...3...5....2...7...3.8.2..7....4",
-//       "4.....5.8.3..........7......2.....6.....5.8......1.......6.3.7.5..2.....1.8......",
        "1.....3.8.6.4..............2.3.1...........958.........5.6...7.....8.2...4.......",
        "1....6.8..64..........4...7....9.6...7.4..5..5...7.1...5....32.3....8...4........",
        "249.6...3.3....2..8.......5.....6......2......1..4.82..9.5..7....4.....1.7...3...",
        "...8....9.873...4.6..7.......85..97...........43..75.......3....3...145.4....2..1",
-//       "...5.1....9....8...6.......4.1..........7..9........3.8.....1.5...2..4.....36....",
        "......8.16..2........7.5......6...2..1....3...8.......2......7..3..8....5...4....",
        ".476...5.8.3.....2.....9......8.5..6...1.....6.24......78...51...6....4..9...4..7",
        ".....7.95.....1...86..2.....2..73..85......6...3..49..3.5...41724................",
@@ -198,7 +193,7 @@
 
 
 // 1 single thread version 800 secs
-// 4 cores parallel version on moderate laptop 400 secs
-// 8 cores (4 physical + 4 hyperthread): 290 secs
-// 36 cores (18 physical + 18 hyperthread): 142 secs
+// 4 cores parallel version on a moderate laptop 400 secs
+// 8 cores: 290 secs
+// 18 cores: 142 secs