Commits

Shlomi Fish committed a18e41f

Run PBS over the remaining 100K-400K deals.

This is because the memory allocation was not enough for them.

  • Participants
  • Parent commits 2b58c6f
  • Tags dbm_fc_solver_100K_to_400k_run_with_127GB

Comments (0)

Files changed (1)

fc-solve/source/scripts/prepare_pbs_dbm_solver_self_contained_package.pl

 
 my $mem = 200;
 my $num_cpus = 4;
+my $num_threads = $num_cpus;
 
 GetOptions(
     'flto!' => \$flto,
 if ($sub)
 {
     $flto = 1;
-    $num_cpus = 12;
+    # $num_cpus = 12;
+    $num_cpus = $num_threads = 4;
+    $mem = 127;
 }
 
 my $dest_dir = $sub ? 'dbm_fcs_for_sub' : 'dbm_fcs_for_amadiro';
 =cut
 
 my @deals = (
-    398881,
-    397524,
-    397251,
-    397067,
-    396792,
-    393377,
-    392877,
-    392597,
-    392121,
-    389579,
-    384543,
-    384243,
-    378764,
-    378381,
-    375783,
-    373120,
-    368535,
-    367103,
-    366584,
-    361934,
-    361933,
-    360875,
-    359432,
-    359366,
-    356941,
-    355994,
-    355678,
-    355421,
-    355311,
-    354170,
-    353925,
-    350550,
-    349903,
-    348096,
-    347972,
-    345325,
-    338815,
-    337653,
-    336145,
-    334877,
-    333278,
-    332182,
-    332153,
-    331840,
-    331514,
-    329150,
-    327885,
-    326051,
-    323759,
-    323305,
-    320583,
-    317289,
-    315548,
-    313501,
-    312736,
-    312539,
-    312381,
-    311564,
-    310397,
-    309308,
-    308137,
-    301812,
-    299249,
-    298904,
-    298457,
-    296584,
-    295997,
-    293529,
-    292420,
-    292034,
-    291601,
-    291131,
-    291026,
-    289314,
-    288510,
-    287876,
-    287574,
-    286095,
-    284908,
-    284872,
-    284204,
-    284184,
-    282064,
-    281621,
-    277178,
-    277102,
-    276418,
-    275258,
-    275048,
-    274934,
-    274064,
-    273132,
-    271773,
-    271703,
-    271131,
-    270188,
-    270089,
-    269898,
-    267466,
-    267112,
-    265979,
-    263634,
-    262653,
-    262240,
-    261983,
-    261447,
-    256371,
-    253759,
-    253359,
-    253175,
-    249846,
-    247736,
-    247265,
-    244525,
-    243946,
-    243929,
-    243540,
-    241084,
-    239741,
-    239422,
-    239400,
-    238928,
-    235676,
-    235561,
-    234834,
-    233848,
-    231846,
-    229525,
-    226947,
-    225805,
-    225648,
-    224115,
-    222860,
-    220573,
-    218816,
-    216433,
-    216103,
-    215765,
-    215436,
-    215164,
-    212009,
-    212005,
-    210503,
-    206603,
-    205967,
-    205928,
-    202885,
-    200684,
-    198960,
-    194004,
-    193378,
-    192800,
-    190534,
-    189755,
-    187507,
-    184908,
-    184432,
-    182980,
-    182001,
-    181392,
-    179927,
-    176992,
-    176168,
-    175864,
-    174026,
-    174011,
-    173599,
-    171706,
-    171683,
-    171553,
-    171337,
-    171153,
-    169944,
-    168605,
-    165986,
-    164279,
-    163324,
-    161762,
-    161511,
-    160245,
-    159621,
-    156804,
-    156228,
-    155990,
-    155523,
-    154008,
-    153726,
-    149592,
-    149167,
-    149144,
-    147148,
-    146457,
-    144658,
-    143655,
-    142864,
-    142720,
-    142416,
-    141951,
-    139360,
-    135373,
-    134813,
-    129561,
-    124637,
-    119086,
-    113410,
-    104384,
     102257,
+    129561,
+    141951,
+    142720,
+    142864,
+    146457,
+    147148,
+    155990,
+    169944,
+    171337,
+    175864,
+    176168,
+    182980,
+    198960,
+    212009,
+    215164,
+    222860,
+    224115,
+    225805,
+    234834,
+    235561,
+    239422,
+    243540,
+    244525,
+    247736,
+    267112,
+    271131,
+    284184,
+    284204,
+    287876,
+    291131,
+    295997,
+    298904,
+    310397,
+    311564,
+    312381,
+    312736,
+    317289,
+    320583,
+    329150,
+    336145,
+    347972,
+    359432,
+    361934,
+    366584,
+    367103,
+    373120,
+    375783,
+    378764,
+    384243,
+    384543,
+    392121,
+    396792,
+    397067,
+    397251,
 );
 
 # my $deal_idx = 982;
 DEALS_DUMPS = \$(patsubst %,%.dump,\$(DEALS))
 DEALS_BOARDS = \$(patsubst %,%.board,\$(DEALS))
 
-THREADS = 16
+THREADS = $num_threads
 MEM = $mem
 CPUS = $num_cpus