Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wbo1.6-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_min-enc_planning_satellite02bc.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/planning/satellite02bc.wcsp.wcnf
Job solver: /home/maxsat/solvers/wbo1.6/wbo1.6
c core #1
c 
c 
c Core size: 35	Core Weight: 80	Total Weight: 80
c Current CPU time: 0.080987 s
c
c core #2
c 
c 
c Core size: 42	Core Weight: 10	Total Weight: 90
c Current CPU time: 0.113982 s
c
c core #3
c 
c 
c Core size: 42	Core Weight: 100	Total Weight: 190
c Current CPU time: 0.147977 s
c
c core #4
c 
c 
c Core size: 107	Core Weight: 100	Total Weight: 290
c Current CPU time: 0.180972 s
c
c core #5
c 
c 
c Core size: 61	Core Weight: 17	Total Weight: 307
c Current CPU time: 0.215967 s
c
c core #6
c 
c 
c Core size: 62	Core Weight: 25	Total Weight: 332
c Current CPU time: 0.249962 s
c
c core #7
c 
c 
c Core size: 66	Core Weight: 15	Total Weight: 347
c Current CPU time: 0.284956 s
c
c core #8
c 
c 
c Core size: 63	Core Weight: 8	Total Weight: 355
c Current CPU time: 0.319951 s
c
c core #9
c 
c 
c Core size: 63	Core Weight: 9	Total Weight: 364
c Current CPU time: 0.354946 s
c
c core #10
c 
c 
c Core size: 129	Core Weight: 10	Total Weight: 374
c Current CPU time: 0.38894 s
c
c core #11
c 
c 
c Core size: 112	Core Weight: 80	Total Weight: 454
c Current CPU time: 0.424935 s
c
c core #12
c 
c 
c Core size: 111	Core Weight: 45	Total Weight: 499
c Current CPU time: 0.460929 s
c
c core #13
c 
c 
c Core size: 123	Core Weight: 6	Total Weight: 505
c Current CPU time: 0.496924 s
c
c core #14
c 
c 
c Core size: 93	Core Weight: 65	Total Weight: 570
c Current CPU time: 0.533918 s
c
c core #15
c 
c 
c Core size: 101	Core Weight: 25	Total Weight: 595
c Current CPU time: 0.571913 s
c
c core #16
c 
c 
c Core size: 182	Core Weight: 95	Total Weight: 690
c Current CPU time: 0.610907 s
c
c core #17
c 
c 
c Core size: 298	Core Weight: 110	Total Weight: 800
c Current CPU time: 0.649901 s
c
c core #18
c 
c 
c Core size: 209	Core Weight: 15	Total Weight: 815
c Current CPU time: 0.688895 s
c
c core #19
c 
c 
c Core size: 232	Core Weight: 5	Total Weight: 820
c Current CPU time: 0.727889 s
c
c core #20
c 
c 
c Core size: 182	Core Weight: 19	Total Weight: 839
c Current CPU time: 0.768883 s
c
c core #21
c 
c 
c Core size: 243	Core Weight: 5	Total Weight: 844
c Current CPU time: 0.813876 s
c
c core #22
c 
c 
c Core size: 236	Core Weight: 1	Total Weight: 845
c Current CPU time: 0.859869 s
c
c core #23
c 
c 
c Core size: 422	Core Weight: 1	Total Weight: 846
c Current CPU time: 0.910861 s
c
c core #24
c 
c 
c Core size: 263	Core Weight: 18	Total Weight: 864
c Current CPU time: 0.961853 s
c
c core #25
c 
c 
c Core size: 202	Core Weight: 5	Total Weight: 869
c Current CPU time: 1.00985 s
c
c core #26
c 
c 
c Core size: 219	Core Weight: 16	Total Weight: 885
c Current CPU time: 1.05884 s
c
c core #27
c 
c 
c Core size: 238	Core Weight: 4	Total Weight: 889
c Current CPU time: 1.11083 s
c
c core #28
c 
c 
c Core size: 160	Core Weight: 31	Total Weight: 920
c Current CPU time: 1.15882 s
c
c core #29
c 
c 
c Core size: 235	Core Weight: 1	Total Weight: 921
c Current CPU time: 1.21182 s
c
c core #30
c 
c 
c Core size: 233	Core Weight: 5	Total Weight: 926
c Current CPU time: 1.26181 s
c
c core #31
c 
c 
c Core size: 173	Core Weight: 3	Total Weight: 929
c Current CPU time: 1.3148 s
c
c core #32
c 
c 
c Core size: 201	Core Weight: 13	Total Weight: 942
c Current CPU time: 1.36779 s
c
c core #33
c 
c 
c Core size: 178	Core Weight: 1	Total Weight: 943
c Current CPU time: 1.42478 s
c
c core #34
c 
c 
c Core size: 255	Core Weight: 5	Total Weight: 948
c Current CPU time: 1.47778 s
c
c core #35
c 
c 
c Core size: 233	Core Weight: 1	Total Weight: 949
c Current CPU time: 1.52577 s
c
c core #36
c 
c 
c Core size: 136	Core Weight: 72	Total Weight: 1021
c Current CPU time: 1.57776 s
c
c core #37
c 
c 
c Core size: 254	Core Weight: 25	Total Weight: 1046
c Current CPU time: 1.62775 s
c
c core #38
c 
c 
c Core size: 280	Core Weight: 4	Total Weight: 1050
c Current CPU time: 1.67575 s
c
c core #39
c 
c 
c Core size: 280	Core Weight: 7	Total Weight: 1057
c Current CPU time: 1.72574 s
c
c core #40
c 
c 
c Core size: 223	Core Weight: 15	Total Weight: 1072
c Current CPU time: 1.77473 s
c
c core #41
c 
c 
c Core size: 232	Core Weight: 24	Total Weight: 1096
c Current CPU time: 1.82272 s
c
c core #42
c 
c 
c Core size: 232	Core Weight: 1	Total Weight: 1097
c Current CPU time: 1.86972 s
c
c core #43
c 
c 
c Core size: 227	Core Weight: 20	Total Weight: 1117
c Current CPU time: 1.91871 s
c
c core #44
c 
c 
c Core size: 171	Core Weight: 84	Total Weight: 1201
c Current CPU time: 1.9677 s
c
c core #45
c 
c 
c Core size: 151	Core Weight: 19	Total Weight: 1220
c Current CPU time: 2.01869 s
c
c core #46
c 
c 
c Core size: 133	Core Weight: 65	Total Weight: 1285
c Current CPU time: 2.06868 s
c
c core #47
c 
c 
c Core size: 247	Core Weight: 1	Total Weight: 1286
c Current CPU time: 2.12768 s
c
c core #48
c 
c 
c Core size: 201	Core Weight: 2	Total Weight: 1288
c Current CPU time: 2.18967 s
c
c core #49
c 
c 
c Core size: 433	Core Weight: 1	Total Weight: 1289
c Current CPU time: 2.28865 s
c
c core #50
c 
c 
c Core size: 462	Core Weight: 1	Total Weight: 1290
c Current CPU time: 2.38764 s
c
c core #51
c 
c 
c Core size: 450	Core Weight: 1	Total Weight: 1291
c Current CPU time: 2.49762 s
c
c core #52
c 
c 
c Core size: 689	Core Weight: 1	Total Weight: 1292
c Current CPU time: 2.6176 s
c
c core #53
c 
c 
c Core size: 339	Core Weight: 1	Total Weight: 1293
c Current CPU time: 2.68959 s
c
c core #54
c 
c 
c Core size: 437	Core Weight: 1	Total Weight: 1294
c Current CPU time: 2.79657 s
c
c core #55
c 
c 
c Core size: 443	Core Weight: 1	Total Weight: 1295
c Current CPU time: 2.91056 s
c
c core #56
c 
c 
c Core size: 446	Core Weight: 4	Total Weight: 1299
c Current CPU time: 2.99954 s
c
c core #57
c 
c 
c Core size: 550	Core Weight: 4	Total Weight: 1303
c Current CPU time: 3.08953 s
c
c core #58
c 
c 
c Core size: 385	Core Weight: 1	Total Weight: 1304
c Current CPU time: 3.17552 s
c
c core #59
c 
c 
c Core size: 399	Core Weight: 1	Total Weight: 1305
c Current CPU time: 3.2655 s
c
c core #60
c 
c 
c Core size: 270	Core Weight: 2	Total Weight: 1307
c Current CPU time: 3.34649 s
c
c core #61
c 
c 
c Core size: 354	Core Weight: 1	Total Weight: 1308
c Current CPU time: 3.45847 s
c
c core #62
c 
c 
c Core size: 227	Core Weight: 1	Total Weight: 1309
c Current CPU time: 3.57246 s
c
c core #63
c 
c 
c Core size: 281	Core Weight: 2	Total Weight: 1311
c Current CPU time: 3.66744 s
c
c core #64
c 
c 
c Core size: 359	Core Weight: 1	Total Weight: 1312
c Current CPU time: 3.76043 s
c
c core #65
c 
c 
c Core size: 345	Core Weight: 1	Total Weight: 1313
c Current CPU time: 3.85841 s
c
c core #66
c 
c 
c Core size: 456	Core Weight: 1	Total Weight: 1314
c Current CPU time: 3.9724 s
c
c core #67
c 
c 
c Core size: 533	Core Weight: 1	Total Weight: 1315
c Current CPU time: 4.12537 s
c
c core #68
c 
c 
c Core size: 380	Core Weight: 1	Total Weight: 1316
c Current CPU time: 4.25235 s
c
c core #69
c 
c 
c Core size: 392	Core Weight: 1	Total Weight: 1317
c Current CPU time: 4.37134 s
c
c core #70
c 
c 
c Core size: 387	Core Weight: 1	Total Weight: 1318
c Current CPU time: 4.47932 s
c
c core #71
c 
c 
c Core size: 443	Core Weight: 1	Total Weight: 1319
c Current CPU time: 4.6003 s
c
c core #72
c 
c 
c Core size: 400	Core Weight: 4	Total Weight: 1323
c Current CPU time: 4.70528 s
c
c core #73
c 
c 
c Core size: 507	Core Weight: 1	Total Weight: 1324
c Current CPU time: 4.84026 s
c
c core #74
c 
c 
c Core size: 430	Core Weight: 1	Total Weight: 1325
c Current CPU time: 4.94325 s
c
c core #75
c 
c 
c Core size: 371	Core Weight: 1	Total Weight: 1326
c Current CPU time: 5.04723 s
c
c core #76
c 
c 
c Core size: 197	Core Weight: 1	Total Weight: 1327
c Current CPU time: 5.14022 s
c
c core #77
c 
c 
c Core size: 363	Core Weight: 1	Total Weight: 1328
c Current CPU time: 5.2402 s
c
c core #78
c 
c 
c Core size: 303	Core Weight: 1	Total Weight: 1329
c Current CPU time: 5.35119 s
c
c core #79
c 
c 
c Core size: 270	Core Weight: 7	Total Weight: 1336
c Current CPU time: 5.45317 s
c
c core #80
c 
c 
c Core size: 540	Core Weight: 1	Total Weight: 1337
c Current CPU time: 5.58015 s
c
c core #81
c 
c 
c Core size: 352	Core Weight: 1	Total Weight: 1338
c Current CPU time: 5.69613 s
c
c core #82
c 
c 
c Core size: 457	Core Weight: 1	Total Weight: 1339
c Current CPU time: 5.83111 s
c
c core #83
c 
c 
c Core size: 525	Core Weight: 1	Total Weight: 1340
c Current CPU time: 6.01908 s
c
c core #84
c 
c 
c Core size: 140	Core Weight: 1	Total Weight: 1341
c Current CPU time: 6.15806 s
c
c core #85
c 
c 
c Core size: 521	Core Weight: 1	Total Weight: 1342
c Current CPU time: 6.36303 s
c
c core #86
c 
c 
c Core size: 303	Core Weight: 1	Total Weight: 1343
c Current CPU time: 6.46802 s
c
c core #87
c 
c 
c Core size: 525	Core Weight: 1	Total Weight: 1344
c Current CPU time: 6.65799 s
c
c core #88
c 
c 
c Core size: 525	Core Weight: 1	Total Weight: 1345
c Current CPU time: 6.90095 s
c
c core #89
c 
c 
c Core size: 263	Core Weight: 1	Total Weight: 1346
c Current CPU time: 7.05393 s
c
c core #90
c 
c 
c Core size: 521	Core Weight: 1	Total Weight: 1347
c Current CPU time: 7.2219 s
c
c core #91
c 
c 
c Core size: 496	Core Weight: 1	Total Weight: 1348
c Current CPU time: 7.36788 s
c
c core #92
c 
c 
c Core size: 461	Core Weight: 1	Total Weight: 1349
c Current CPU time: 7.53885 s
c
c core #93
c 
c 
c Core size: 324	Core Weight: 1	Total Weight: 1350
c Current CPU time: 7.67483 s
c
c core #94
c 
c 
c Core size: 455	Core Weight: 1	Total Weight: 1351
c Current CPU time: 7.81781 s
c
c core #95
c 
c 
c Core size: 471	Core Weight: 1	Total Weight: 1352
c Current CPU time: 8.02278 s
c
c core #96
c 
c 
c Core size: 190	Core Weight: 1	Total Weight: 1353
c Current CPU time: 8.16776 s
c
c core #97
c 
c 
c Core size: 212	Core Weight: 1	Total Weight: 1354
c Current CPU time: 8.28074 s
c
c core #98
c 
c 
c Core size: 401	Core Weight: 1	Total Weight: 1355
c Current CPU time: 8.51171 s
c
c core #99
c 
c 
c Core size: 452	Core Weight: 1	Total Weight: 1356
c Current CPU time: 8.74367 s
c
c core #100
c 
c 
c Core size: 439	Core Weight: 1	Total Weight: 1357
c Current CPU time: 8.89865 s
c
c core #101
c 
c 
c Core size: 350	Core Weight: 1	Total Weight: 1358
c Current CPU time: 9.06062 s
c
c core #102
c 
c 
c Core size: 804	Core Weight: 1	Total Weight: 1359
c Current CPU time: 9.40457 s
c
c core #103
c 
c 
c Core size: 609	Core Weight: 1	Total Weight: 1360
c Current CPU time: 9.76152 s
c
c core #104
c 
c 
c Core size: 509	Core Weight: 1	Total Weight: 1361
c Current CPU time: 10.0525 s
c
c core #105
c 
c 
c Core size: 384	Core Weight: 1	Total Weight: 1362
c Current CPU time: 10.2584 s
c
c core #106
c 
c 
c Core size: 436	Core Weight: 1	Total Weight: 1363
c Current CPU time: 10.4984 s
c
c core #107
c 
c 
c Core size: 491	Core Weight: 1	Total Weight: 1364
c Current CPU time: 10.7424 s
c
c core #108
c 
c 
c Core size: 413	Core Weight: 1	Total Weight: 1365
c Current CPU time: 10.9953 s
c
c core #109
c 
c 
c Core size: 623	Core Weight: 1	Total Weight: 1366
c Current CPU time: 11.2573 s
c
c core #110
c 
c 
c Core size: 542	Core Weight: 1	Total Weight: 1367
c Current CPU time: 11.5962 s
c
c core #111
c 
c 
c Core size: 526	Core Weight: 1	Total Weight: 1368
c Current CPU time: 11.9492 s
c
c core #112
c 
c 
c Core size: 555	Core Weight: 1	Total Weight: 1369
c Current CPU time: 12.1841 s
c
c core #113
c 
c 
c Core size: 505	Core Weight: 1	Total Weight: 1370
c Current CPU time: 12.4931 s
c
c core #114
c 
c 
c Core size: 255	Core Weight: 1	Total Weight: 1371
c Current CPU time: 12.6511 s
c
c core #115
c 
c 
c Core size: 118	Core Weight: 3	Total Weight: 1374
c Current CPU time: 12.7821 s
c
c core #116
c 
c 
c Core size: 128	Core Weight: 2	Total Weight: 1376
c Current CPU time: 12.925 s
c
c core #117
c 
c 
c Core size: 268	Core Weight: 1	Total Weight: 1377
c Current CPU time: 13.102 s
c
c core #118
c 
c 
c Core size: 452	Core Weight: 1	Total Weight: 1378
c Current CPU time: 13.333 s
c
c core #119
c 
c 
c Core size: 599	Core Weight: 1	Total Weight: 1379
c Current CPU time: 13.7129 s
c
c core #120
c 
c 
c Core size: 181	Core Weight: 3	Total Weight: 1382
c Current CPU time: 13.9539 s
c
c core #121
c 
c 
c Core size: 653	Core Weight: 1	Total Weight: 1383
c Current CPU time: 14.2938 s
c
c core #122
c 
c 
c Core size: 870	Core Weight: 1	Total Weight: 1384
c Current CPU time: 14.7718 s
c
c core #123
c 
c 
c Core size: 209	Core Weight: 1	Total Weight: 1385
c Current CPU time: 14.9477 s
c
c core #124
c 
c 
c Core size: 736	Core Weight: 1	Total Weight: 1386
c Current CPU time: 15.4017 s
c
c core #125
c 
c 
c Core size: 420	Core Weight: 1	Total Weight: 1387
c Current CPU time: 15.7116 s
c
c core #126
c 
c 
c Core size: 268	Core Weight: 1	Total Weight: 1388
c Current CPU time: 15.9516 s
c
c core #127
c 
c 
c Core size: 754	Core Weight: 1	Total Weight: 1389
c Current CPU time: 16.3165 s
c
c core #128
c 
c 
c Core size: 328	Core Weight: 1	Total Weight: 1390
c Current CPU time: 16.7824 s
c
c core #129
c 
c 
c Core size: 436	Core Weight: 1	Total Weight: 1391
c Current CPU time: 17.0594 s
c
c core #130
c 
c 
c Core size: 625	Core Weight: 1	Total Weight: 1392
c Current CPU time: 17.4843 s
c
c core #131
c 
c 
c Core size: 438	Core Weight: 1	Total Weight: 1393
c Current CPU time: 17.9763 s
c
c core #132
c 
c 
c Core size: 695	Core Weight: 1	Total Weight: 1394
c Current CPU time: 18.5832 s
c
c core #133
c 
c 
c Core size: 892	Core Weight: 1	Total Weight: 1395
c Current CPU time: 19.2471 s
c
c core #134
c 
c 
c Core size: 714	Core Weight: 1	Total Weight: 1396
c Current CPU time: 19.916 s
c
c core #135
c 
c 
c Core size: 432	Core Weight: 1	Total Weight: 1397
c Current CPU time: 20.2239 s
c
c core #136
c 
c 
c Core size: 621	Core Weight: 1	Total Weight: 1398
c Current CPU time: 20.6539 s
c
c core #137
c 
c 
c Core size: 524	Core Weight: 1	Total Weight: 1399
c Current CPU time: 20.9448 s
c
c core #138
c 
c 
c Core size: 529	Core Weight: 1	Total Weight: 1400
c Current CPU time: 21.3198 s
c
c core #139
c 
c 
c Core size: 700	Core Weight: 1	Total Weight: 1401
c Current CPU time: 21.6957 s
c
c core #140
c 
c 
c Core size: 781	Core Weight: 1	Total Weight: 1402
c Current CPU time: 22.2956 s
c
c core #141
c 
c 
c Core size: 484	Core Weight: 1	Total Weight: 1403
c Current CPU time: 22.6426 s
c
c core #142
c 
c 
c Core size: 820	Core Weight: 1	Total Weight: 1404
c Current CPU time: 23.1875 s
c
c core #143
c 
c 
c Core size: 703	Core Weight: 1	Total Weight: 1405
c Current CPU time: 23.7074 s
c
c core #144
c 
c 
c Core size: 996	Core Weight: 1	Total Weight: 1406
c Current CPU time: 24.8992 s
c
c core #145
c 
c 
c Core size: 672	Core Weight: 1	Total Weight: 1407
c Current CPU time: 25.7271 s
c
c core #146
c 
c 
c Core size: 599	Core Weight: 1	Total Weight: 1408
c Current CPU time: 26.209 s
c
c core #147
c 
c 
c Core size: 904	Core Weight: 1	Total Weight: 1409
c Current CPU time: 26.8519 s
c
c core #148
c 
c 
c Core size: 645	Core Weight: 1	Total Weight: 1410
c Current CPU time: 27.4298 s
c
c core #149
c 
c 
c Core size: 549	Core Weight: 1	Total Weight: 1411
c Current CPU time: 27.8378 s
c
c core #150
c 
c 
c Core size: 738	Core Weight: 1	Total Weight: 1412
c Current CPU time: 28.5957 s
c
c core #151
c 
c 
c Core size: 612	Core Weight: 1	Total Weight: 1413
c Current CPU time: 29.1026 s
c
c core #152
c 
c 
c Core size: 838	Core Weight: 1	Total Weight: 1414
c Current CPU time: 29.7225 s
c
c core #153
c 
c 
c Core size: 784	Core Weight: 1	Total Weight: 1415
c Current CPU time: 30.4064 s
c
c core #154
c 
c 
c Core size: 679	Core Weight: 1	Total Weight: 1416
c Current CPU time: 30.8833 s
c
c core #155
c 
c 
c Core size: 631	Core Weight: 1	Total Weight: 1417
c Current CPU time: 31.2992 s
c
c core #156
c 
c 
c Core size: 549	Core Weight: 1	Total Weight: 1418
c Current CPU time: 31.6792 s
c
c core #157
c 
c 
c Core size: 610	Core Weight: 1	Total Weight: 1419
c Current CPU time: 32.2561 s
c
c core #158
c 
c 
c Core size: 645	Core Weight: 1	Total Weight: 1420
c Current CPU time: 32.785 s
c
c core #159
c 
c 
c Core size: 616	Core Weight: 1	Total Weight: 1421
c Current CPU time: 33.4169 s
c
c core #160
c 
c 
c Core size: 612	Core Weight: 1	Total Weight: 1422
c Current CPU time: 34.0998 s
c
c core #161
c 
c 
c Core size: 757	Core Weight: 1	Total Weight: 1423
c Current CPU time: 34.8037 s
c
c core #162
c 
c 
c Core size: 821	Core Weight: 1	Total Weight: 1424
c Current CPU time: 35.7256 s
c
c core #163
c 
c 
c Core size: 684	Core Weight: 1	Total Weight: 1425
c Current CPU time: 36.2665 s
c
c core #164
c 
c 
c Core size: 574	Core Weight: 1	Total Weight: 1426
c Current CPU time: 36.6794 s
c
c core #165
c 
c 
c Core size: 450	Core Weight: 1	Total Weight: 1427
c Current CPU time: 37.2003 s
c
c core #166
c 
c 
c Core size: 613	Core Weight: 1	Total Weight: 1428
c Current CPU time: 37.8013 s
c
c core #167
c 
c 
c Core size: 616	Core Weight: 1	Total Weight: 1429
c Current CPU time: 38.6161 s
c
c core #168
c 
c 
c Core size: 662	Core Weight: 1	Total Weight: 1430
c Current CPU time: 39.1111 s
c
c core #169
c 
c 
c Core size: 477	Core Weight: 1	Total Weight: 1431
c Current CPU time: 39.686 s
c
c core #170
c 
c 
c Core size: 738	Core Weight: 1	Total Weight: 1432
c Current CPU time: 40.4528 s
c
c core #171
c 
c 
c Core size: 457	Core Weight: 1	Total Weight: 1433
c Current CPU time: 41.0728 s
c
c core #172
c 
c 
c Core size: 804	Core Weight: 1	Total Weight: 1434
c Current CPU time: 41.9946 s
c
c core #173
c 
c 
c Core size: 806	Core Weight: 1	Total Weight: 1435
c Current CPU time: 42.8925 s
c
c core #174
c 
c 
c Core size: 833	Core Weight: 1	Total Weight: 1436
c Current CPU time: 43.7294 s
c
c core #175
c 
c 
c Core size: 715	Core Weight: 1	Total Weight: 1437
c Current CPU time: 44.6202 s
c
c core #176
c 
c 
c Core size: 674	Core Weight: 1	Total Weight: 1438
c Current CPU time: 45.5161 s
c
c core #177
c 
c 
c Core size: 848	Core Weight: 1	Total Weight: 1439
c Current CPU time: 46.319 s
c
c core #178
c 
c 
c Core size: 614	Core Weight: 1	Total Weight: 1440
c Current CPU time: 47.1858 s
c
c core #179
c 
c 
c Core size: 616	Core Weight: 1	Total Weight: 1441
c Current CPU time: 47.8807 s
c
c core #180
c 
c 
c Core size: 418	Core Weight: 1	Total Weight: 1442
c Current CPU time: 48.7896 s
c
c core #181
c 
c 
c Core size: 767	Core Weight: 1	Total Weight: 1443
c Current CPU time: 49.5645 s
c
c core #182
c 
c 
c Core size: 764	Core Weight: 1	Total Weight: 1444
c Current CPU time: 50.7123 s
c
c core #183
c 
c 
c Core size: 681	Core Weight: 1	Total Weight: 1445
c Current CPU time: 51.8881 s
c
c core #184
c 
c 
c Core size: 664	Core Weight: 1	Total Weight: 1446
c Current CPU time: 52.743 s
c
c core #185
c 
c 
c Core size: 634	Core Weight: 1	Total Weight: 1447
c Current CPU time: 53.4229 s
c
c core #186
c 
c 
c Core size: 723	Core Weight: 1	Total Weight: 1448
c Current CPU time: 54.3087 s
c
c core #187
c 
c 
c Core size: 623	Core Weight: 1	Total Weight: 1449
c Current CPU time: 55.3676 s
c
c core #188
c 
c 
c Core size: 914	Core Weight: 1	Total Weight: 1450
c Current CPU time: 56.9783 s
c
c core #189
c 
c 
c Core size: 914	Core Weight: 1	Total Weight: 1451
c Current CPU time: 58.1962 s
c
c core #190
c 
c 
c Core size: 881	Core Weight: 1	Total Weight: 1452
c Current CPU time: 59.7679 s
c
c core #191
c 
c 
c Core size: 590	Core Weight: 1	Total Weight: 1453
c Current CPU time: 60.5438 s
c
c core #192
c 
c 
c Core size: 907	Core Weight: 1	Total Weight: 1454
c Current CPU time: 61.6506 s
c
c core #193
c 
c 
c Core size: 585	Core Weight: 1	Total Weight: 1455
c Current CPU time: 62.9874 s
c
c core #194
c 
c 
c Core size: 470	Core Weight: 1	Total Weight: 1456
c Current CPU time: 63.9033 s
c
c core #195
c 
c 
c Core size: 572	Core Weight: 1	Total Weight: 1457
c Current CPU time: 64.6402 s
c
c core #196
c 
c 
c Core size: 334	Core Weight: 1	Total Weight: 1458
c Current CPU time: 65.485 s
c
c core #197
c 
c 
c Core size: 781	Core Weight: 1	Total Weight: 1459
c Current CPU time: 66.9188 s
c
c core #198
c 
c 
c Core size: 445	Core Weight: 1	Total Weight: 1460
c Current CPU time: 67.9527 s
c
c core #199
c 
c 
c Core size: 800	Core Weight: 1	Total Weight: 1461
c Current CPU time: 69.5984 s
c
c core #200
c 
c 
c Core size: 410	Core Weight: 1	Total Weight: 1462
c Current CPU time: 70.4563 s
c
c core #201
c 
c 
c Core size: 724	Core Weight: 1	Total Weight: 1463
c Current CPU time: 71.8311 s
c
c core #202
c 
c 
c Core size: 1005	Core Weight: 1	Total Weight: 1464
c Current CPU time: 73.1879 s
c
c core #203
c 
c 
c Core size: 1239	Core Weight: 1	Total Weight: 1465
c Current CPU time: 76.2474 s
c
c core #204
c 
c 
c Core size: 1151	Core Weight: 1	Total Weight: 1466
c Current CPU time: 78.752 s
c
c core #205
c 
c 
c Core size: 948	Core Weight: 1	Total Weight: 1467
c Current CPU time: 81.0217 s
c
c core #206
c 
c 
c Core size: 1390	Core Weight: 1	Total Weight: 1468
c Current CPU time: 84.3852 s
c
c core #207
c 
c 
c Core size: 1098	Core Weight: 1	Total Weight: 1469
c Current CPU time: 86.7058 s
c
c core #208
c 
c 
c Core size: 1418	Core Weight: 1	Total Weight: 1470
c Current CPU time: 89.7963 s
c
c core #209
c 
c 
c Core size: 1018	Core Weight: 1	Total Weight: 1471
c Current CPU time: 91.7571 s
c
c core #210
c 
c 
c Core size: 1363	Core Weight: 1	Total Weight: 1472
c Current CPU time: 94.5786 s
c
c core #211
c 
c 
c Core size: 905	Core Weight: 1	Total Weight: 1473
c Current CPU time: 96.0324 s
c
c core #212
c 
c 
c Core size: 1430	Core Weight: 1	Total Weight: 1474
c Current CPU time: 98.793 s
c
c core #213
c 
c 
c Core size: 1784	Core Weight: 1	Total Weight: 1475
c Current CPU time: 102.619 s
c
c core #214
c 
c 
c Core size: 1651	Core Weight: 1	Total Weight: 1476
c Current CPU time: 107.008 s
c
c core #215
c 
c 
c Core size: 901	Core Weight: 1	Total Weight: 1477
c Current CPU time: 109.774 s
c
c core #216
c 
c 
c Core size: 1428	Core Weight: 1	Total Weight: 1478
c Current CPU time: 113.191 s
c
c core #217
c 
c 
c Core size: 998	Core Weight: 1	Total Weight: 1479
c Current CPU time: 115.349 s
c
c core #218
c 
c 
c Core size: 1291	Core Weight: 1	Total Weight: 1480
c Current CPU time: 118.736 s
c
c core #219
c 
c 
c Core size: 1448	Core Weight: 1	Total Weight: 1481
c Current CPU time: 122.38 s
c
c core #220
c 
c 
c Core size: 1375	Core Weight: 1	Total Weight: 1482
c Current CPU time: 125.746 s
c
c core #221
c 
c 
c Core size: 1223	Core Weight: 1	Total Weight: 1483
c Current CPU time: 128.448 s
c
c core #222
c 
c 
c Core size: 1472	Core Weight: 1	Total Weight: 1484
c Current CPU time: 132.135 s
c
c core #223
c 
c 
c Core size: 1161	Core Weight: 1	Total Weight: 1485
c Current CPU time: 135.15 s
c
c core #224
c 
c 
c Core size: 1252	Core Weight: 1	Total Weight: 1486
c Current CPU time: 138.025 s
c
c core #225
c 
c 
c Core size: 1578	Core Weight: 1	Total Weight: 1487
c Current CPU time: 142.024 s
c
c core #226
c 
c 
c Core size: 1453	Core Weight: 1	Total Weight: 1488
c Current CPU time: 146.348 s
c
c core #227
c 
c 
c Core size: 1562	Core Weight: 1	Total Weight: 1489
c Current CPU time: 151.421 s
c
c core #228
c 
c 
c Core size: 1472	Core Weight: 1	Total Weight: 1490
c Current CPU time: 155.74 s
c
c core #229
c 
c 
c Core size: 693	Core Weight: 1	Total Weight: 1491
c Current CPU time: 158.756 s
c
c core #230
c 
c 
c Core size: 1382	Core Weight: 1	Total Weight: 1492
c Current CPU time: 163.323 s
c
c core #231
c 
c 
c Core size: 951	Core Weight: 1	Total Weight: 1493
c Current CPU time: 166.149 s
c
c core #232
c 
c 
c Core size: 1116	Core Weight: 1	Total Weight: 1494
c Current CPU time: 169.322 s
c
c core #233
c 
c 
c Core size: 1461	Core Weight: 1	Total Weight: 1495
c Current CPU time: 173.707 s
c
c core #234
c 
c 
c Core size: 822	Core Weight: 1	Total Weight: 1496
c Current CPU time: 176.764 s
c
c core #235
c 
c 
c Core size: 1718	Core Weight: 1	Total Weight: 1497
c Current CPU time: 181.702 s
c
c core #236
c 
c 
c Core size: 1469	Core Weight: 1	Total Weight: 1498
c Current CPU time: 185.01 s
c
c core #237
c 
c 
c Core size: 1559	Core Weight: 1	Total Weight: 1499
c Current CPU time: 189.118 s
c
c core #238
c 
c 
c Core size: 1400	Core Weight: 1	Total Weight: 1500
c Current CPU time: 192.583 s
c
c core #239
c 
c 
c Core size: 1387	Core Weight: 1	Total Weight: 1501
c Current CPU time: 195.255 s
c
c core #240
c 
c 
c Core size: 1811	Core Weight: 1	Total Weight: 1502
c Current CPU time: 199.781 s
c
c core #241
c 
c 
c Core size: 1446	Core Weight: 1	Total Weight: 1503
c Current CPU time: 204.632 s
c
c core #242
c 
c 
c Core size: 1379	Core Weight: 1	Total Weight: 1504
c Current CPU time: 210.171 s
c
c core #243
c 
c 
c Core size: 775	Core Weight: 1	Total Weight: 1505
c Current CPU time: 212.83 s
c
c core #244
c 
c 
c Core size: 1420	Core Weight: 1	Total Weight: 1506
c Current CPU time: 217.314 s
c
c core #245
c 
c 
c Core size: 1676	Core Weight: 1	Total Weight: 1507
c Current CPU time: 222.858 s
c
c core #246
c 
c 
c Core size: 1690	Core Weight: 1	Total Weight: 1508
c Current CPU time: 228.77 s
c
c core #247
c 
c 
c Core size: 1105	Core Weight: 1	Total Weight: 1509
c Current CPU time: 231.498 s
c
c core #248
c 
c 
c Core size: 1603	Core Weight: 1	Total Weight: 1510
c Current CPU time: 236.419 s
c
c core #249
c 
c 
c Core size: 1432	Core Weight: 1	Total Weight: 1511
c Current CPU time: 240.983 s
c
c core #250
c 
c 
c Core size: 1505	Core Weight: 1	Total Weight: 1512
c Current CPU time: 246.931 s
c
c core #251
c 
c 
c Core size: 1375	Core Weight: 1	Total Weight: 1513
c Current CPU time: 253.318 s
c
c core #252
c 
c 
c Core size: 1379	Core Weight: 1	Total Weight: 1514
c Current CPU time: 259.827 s
c
c core #253
c 
c 
c Core size: 1433	Core Weight: 1	Total Weight: 1515
c Current CPU time: 265.094 s
c
c core #254
c 
c 
c Core size: 1383	Core Weight: 1	Total Weight: 1516
c Current CPU time: 271.418 s
c
c core #255
c 
c 
c Core size: 1342	Core Weight: 1	Total Weight: 1517
c Current CPU time: 277.91 s
c
c core #256
c 
c 
c Core size: 1284	Core Weight: 1	Total Weight: 1518
c Current CPU time: 284.294 s
c
c core #257
c 
c 
c Core size: 1113	Core Weight: 1	Total Weight: 1519
c Current CPU time: 288.812 s
c
c core #258
c 
c 
c Core size: 1502	Core Weight: 1	Total Weight: 1520
c Current CPU time: 293.58 s
c
c core #259
c 
c 
c Core size: 1347	Core Weight: 1	Total Weight: 1521
c Current CPU time: 298.785 s
c
c core #260
c 
c 
c Core size: 1487	Core Weight: 1	Total Weight: 1522
c Current CPU time: 304.382 s
c
c core #261
c 
c 
c Core size: 1782	Core Weight: 1	Total Weight: 1523
c Current CPU time: 312.055 s
c
c core #262
c 
c 
c Core size: 1418	Core Weight: 1	Total Weight: 1524
c Current CPU time: 318.483 s
c
c core #263
c 
c 
c Core size: 1601	Core Weight: 1	Total Weight: 1525
c Current CPU time: 324.03 s
c
c core #264
c 
c 
c Core size: 1741	Core Weight: 1	Total Weight: 1526
c Current CPU time: 329.731 s
c
c core #265
c 
c 
c Core size: 1643	Core Weight: 1	Total Weight: 1527
c Current CPU time: 336.341 s
c
c core #266
c 
c 
c Core size: 1653	Core Weight: 1	Total Weight: 1528
c Current CPU time: 342.264 s
c
c core #267
c 
c 
c Core size: 1655	Core Weight: 1	Total Weight: 1529
c Current CPU time: 348.538 s
c
c core #268
c 
c 
c Core size: 1444	Core Weight: 1	Total Weight: 1530
c Current CPU time: 353.703 s
c
c core #269
c 
c 
c Core size: 1297	Core Weight: 1	Total Weight: 1531
c Current CPU time: 358.139 s
c
c core #270
c 
c 
c Core size: 1242	Core Weight: 1	Total Weight: 1532
c Current CPU time: 363.263 s
c
c core #271
c 
c 
c Core size: 1290	Core Weight: 1	Total Weight: 1533
c Current CPU time: 367.69 s
c
c core #272
c 
c 
c Core size: 1775	Core Weight: 1	Total Weight: 1534
c Current CPU time: 373.044 s
c
c core #273
c 
c 
c Core size: 1716	Core Weight: 1	Total Weight: 1535
c Current CPU time: 379.905 s
c
c core #274
c 
c 
c Core size: 1774	Core Weight: 1	Total Weight: 1536
c Current CPU time: 387.197 s
c
c core #275
c 
c 
c Core size: 2029	Core Weight: 1	Total Weight: 1537
c Current CPU time: 396.181 s
c
c core #276
c 
c 
c Core size: 1801	Core Weight: 1	Total Weight: 1538
c Current CPU time: 403.847 s
c
c core #277
c 
c 
c Core size: 2274	Core Weight: 1	Total Weight: 1539
c Current CPU time: 413.654 s
c
c core #278
c 
c 
c Core size: 1724	Core Weight: 1	Total Weight: 1540
c Current CPU time: 421.273 s
c
c core #279
c 
c 
c Core size: 1768	Core Weight: 1	Total Weight: 1541
c Current CPU time: 428.724 s
c
c core #280
c 
c 
c Core size: 2030	Core Weight: 1	Total Weight: 1542
c Current CPU time: 437.699 s
c
c core #281
c 
c 
c Core size: 1782	Core Weight: 1	Total Weight: 1543
c Current CPU time: 445.283 s
c
c core #282
c 
c 
c Core size: 1528	Core Weight: 1	Total Weight: 1544
c Current CPU time: 452.609 s
c
c core #283
c 
c 
c Core size: 2237	Core Weight: 1	Total Weight: 1545
c Current CPU time: 462.398 s
c
c core #284
c 
c 
c Core size: 1724	Core Weight: 1	Total Weight: 1546
c Current CPU time: 473.011 s
c
c core #285
c 
c 
c Core size: 2188	Core Weight: 1	Total Weight: 1547
c Current CPU time: 483.801 s
c
c core #286
c 
c 
c Core size: 1986	Core Weight: 1	Total Weight: 1548
c Current CPU time: 492.755 s
c
c core #287
c 
c 
c Core size: 1702	Core Weight: 1	Total Weight: 1549
c Current CPU time: 502.485 s
c
c core #288
c 
c 
c Core size: 1830	Core Weight: 1	Total Weight: 1550
c Current CPU time: 511.534 s
c
c core #289
c 
c 
c Core size: 1886	Core Weight: 1	Total Weight: 1551
c Current CPU time: 520.536 s
c
c core #290
c 
c 
c Core size: 2698	Core Weight: 1	Total Weight: 1552
c Current CPU time: 532.929 s
c
c core #291
c 
c 
c Core size: 2500	Core Weight: 1	Total Weight: 1553
c Current CPU time: 547.234 s
c
c core #292
c 
c 
c Core size: 1491	Core Weight: 1	Total Weight: 1554
c Current CPU time: 556.691 s
c
c core #293
c 
c 
c Core size: 2615	Core Weight: 1	Total Weight: 1555
c Current CPU time: 568.606 s
c
c core #294
c 
c 
c Core size: 3692	Core Weight: 1	Total Weight: 1556
c Current CPU time: 597.009 s
c
c core #295
c 
c 
c Core size: 2264	Core Weight: 1	Total Weight: 1557
c Current CPU time: 610.646 s
c
c core #296
c 
c 
c Core size: 2063	Core Weight: 1	Total Weight: 1558
c Current CPU time: 621.983 s
c
c core #297
c 
c 
c Core size: 4250	Core Weight: 1	Total Weight: 1559
c Current CPU time: 651.154 s
c
c core #298
c 
c 
c Core size: 3171	Core Weight: 1	Total Weight: 1560
c Current CPU time: 664.599 s
c
c core #299
c 
c 
c Core size: 3581	Core Weight: 1	Total Weight: 1561
c Current CPU time: 679.448 s
c
c core #300
c 
c 
c Core size: 3208	Core Weight: 1	Total Weight: 1562
c Current CPU time: 702.733 s
c
c core #301
c 
c 
c Core size: 4223	Core Weight: 1	Total Weight: 1563
c Current CPU time: 837.914 s
c
c #cores: 301
s UNKNOWN
1800.010u 10.904s 30:21.58 99.4%	0+0k 0+0io 0pf+0w