0.00/0.00 c wbo 1.6 beta - 20110321
0.00/0.00 c Parsing opb file format. File HOME/instance-3461433-1307088654.opb.
0.00/0.00 c Instance file HOME/instance-3461433-1307088654.opb
0.00/0.00 c File size is 101262 bytes.
0.00/0.00 c Highest Coefficient sum: 6
0.00/0.00 c ============================[ Problem Statistics ]=============================
0.00/0.00 c | |
0.00/0.00 c | Parsing time: 0.01 s |
0.00/0.00 c | Number Variables: 1972 |
0.00/0.00 c | Number Clauses: 3301 |
0.00/0.00 c | Number Cardinality: 0 |
0.00/0.00 c | Number PB Constraints: 0 |
0.00/0.01 c ============================[ Search Statistics ]==============================
0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.00/0.01 c ===============================================================================
0.00/0.01 c | 0 | 1940 3301 2838 | 5000 0 -nan | 0.000 % |
0.00/0.03 c core #1
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 8 Total Weight: 26
0.00/0.03 c Current CPU time: 0.010998 s
0.00/0.03 c
0.00/0.03 c core #2
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 10 Total Weight: 36
0.00/0.03 c Current CPU time: 0.011998 s
0.00/0.03 c
0.00/0.03 c core #3
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 8 Total Weight: 44
0.00/0.03 c Current CPU time: 0.011998 s
0.00/0.03 c
0.00/0.03 c core #4
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 43 Total Weight: 87
0.00/0.03 c Current CPU time: 0.012998 s
0.00/0.03 c
0.00/0.03 c core #5
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 43 Total Weight: 130
0.00/0.03 c Current CPU time: 0.012998 s
0.00/0.03 c
0.00/0.03 c core #6
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 9 Total Weight: 139
0.00/0.03 c Current CPU time: 0.013997 s
0.00/0.03 c
0.00/0.03 c core #7
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 8 Total Weight: 147
0.00/0.03 c Current CPU time: 0.013997 s
0.00/0.03 c
0.00/0.03 c core #8
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 5 Total Weight: 152
0.00/0.03 c Current CPU time: 0.014997 s
0.00/0.03 c
0.00/0.03 c core #9
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 5 Total Weight: 157
0.00/0.03 c Current CPU time: 0.014997 s
0.00/0.03 c
0.00/0.03 c core #10
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 19 Total Weight: 176
0.00/0.03 c Current CPU time: 0.015997 s
0.00/0.03 c
0.00/0.03 c core #11
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 8 Total Weight: 184
0.00/0.03 c Current CPU time: 0.016997 s
0.00/0.03 c
0.00/0.03 c core #12
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 9 Total Weight: 193
0.00/0.03 c Current CPU time: 0.016997 s
0.00/0.03 c
0.00/0.03 c core #13
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 7 Total Weight: 200
0.00/0.03 c Current CPU time: 0.017997 s
0.00/0.03 c
0.00/0.03 c core #14
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 6 Total Weight: 206
0.00/0.03 c Current CPU time: 0.017997 s
0.00/0.03 c
0.00/0.03 c core #15
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 3 Total Weight: 209
0.00/0.03 c Current CPU time: 0.018997 s
0.00/0.03 c
0.00/0.03 c core #16
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 43 Total Weight: 252
0.00/0.03 c Current CPU time: 0.018997 s
0.00/0.03 c
0.00/0.03 c core #17
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 5 Total Weight: 257
0.00/0.03 c Current CPU time: 0.019996 s
0.00/0.03 c
0.00/0.03 c core #18
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 43 Total Weight: 300
0.00/0.03 c Current CPU time: 0.019996 s
0.00/0.03 c
0.00/0.03 c core #19
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 7 Total Weight: 307
0.00/0.03 c Current CPU time: 0.020996 s
0.00/0.03 c
0.00/0.03 c core #20
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 7 Total Weight: 314
0.00/0.03 c Current CPU time: 0.020996 s
0.00/0.03 c
0.00/0.03 c core #21
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 6 Total Weight: 320
0.00/0.03 c Current CPU time: 0.021996 s
0.00/0.03 c
0.00/0.03 c core #22
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 6 Total Weight: 326
0.00/0.03 c Current CPU time: 0.021996 s
0.00/0.03 c
0.00/0.03 c core #23
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 7 Total Weight: 333
0.00/0.03 c Current CPU time: 0.022996 s
0.00/0.03 c
0.00/0.03 c core #24
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 3 Total Weight: 336
0.00/0.03 c Current CPU time: 0.023996 s
0.00/0.03 c
0.00/0.03 c core #25
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 3 Total Weight: 339
0.00/0.03 c Current CPU time: 0.023996 s
0.00/0.03 c
0.00/0.03 c core #26
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 4 Total Weight: 343
0.00/0.03 c Current CPU time: 0.024996 s
0.00/0.03 c
0.00/0.03 c core #27
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 3 Total Weight: 346
0.00/0.03 c Current CPU time: 0.024996 s
0.00/0.03 c
0.00/0.03 c core #28
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 4 Total Weight: 350
0.00/0.03 c Current CPU time: 0.025996 s
0.00/0.03 c
0.00/0.03 c core #29
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 4 Total Weight: 354
0.00/0.03 c Current CPU time: 0.025996 s
0.00/0.03 c
0.00/0.03 c core #30
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 3 Total Weight: 357
0.00/0.03 c Current CPU time: 0.026995 s
0.00/0.03 c
0.00/0.03 c core #31
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 3 Total Weight: 360
0.00/0.03 c Current CPU time: 0.026995 s
0.00/0.03 c
0.00/0.03 c core #32
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 4 Total Weight: 364
0.00/0.03 c Current CPU time: 0.027995 s
0.00/0.03 c
0.00/0.03 c core #33
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 3 Total Weight: 367
0.00/0.03 c Current CPU time: 0.027995 s
0.00/0.03 c
0.00/0.03 c core #34
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 3 Total Weight: 370
0.00/0.03 c Current CPU time: 0.028995 s
0.00/0.03 c
0.00/0.03 c core #35
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 4 Total Weight: 374
0.00/0.03 c Current CPU time: 0.029995 s
0.00/0.03 c
0.00/0.03 c core #36
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 3 Total Weight: 377
0.00/0.03 c Current CPU time: 0.029995 s
0.00/0.03 c
0.00/0.03 c core #37
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 4 Total Weight: 381
0.00/0.03 c Current CPU time: 0.030995 s
0.00/0.03 c
0.00/0.03 c core #38
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 5 Total Weight: 386
0.00/0.03 c Current CPU time: 0.030995 s
0.00/0.03 c
0.00/0.03 c core #39
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 6 Total Weight: 392
0.00/0.03 c Current CPU time: 0.031995 s
0.00/0.03 c
0.00/0.03 c core #40
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 4 Total Weight: 396
0.00/0.03 c Current CPU time: 0.031995 s
0.00/0.03 c
0.00/0.03 c core #41
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 4 Total Weight: 400
0.00/0.03 c Current CPU time: 0.032994 s
0.00/0.03 c
0.00/0.03 c core #42
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c Core size: 2 Core Weight: 6 Total Weight: 406
0.00/0.03 c Current CPU time: 0.032994 s
0.03/0.05 c
0.03/0.05 c core #43
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 4 Total Weight: 410
0.03/0.05 c Current CPU time: 0.033994 s
0.03/0.05 c
0.03/0.05 c core #44
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 19 Total Weight: 429
0.03/0.05 c Current CPU time: 0.034994 s
0.03/0.05 c
0.03/0.05 c core #45
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 3 Total Weight: 432
0.03/0.05 c Current CPU time: 0.034994 s
0.03/0.05 c
0.03/0.05 c core #46
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 4 Total Weight: 436
0.03/0.05 c Current CPU time: 0.035994 s
0.03/0.05 c
0.03/0.05 c core #47
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 59 Total Weight: 495
0.03/0.05 c Current CPU time: 0.035994 s
0.03/0.05 c
0.03/0.05 c core #48
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 6 Total Weight: 501
0.03/0.05 c Current CPU time: 0.036994 s
0.03/0.05 c
0.03/0.05 c core #49
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 4 Total Weight: 505
0.03/0.05 c Current CPU time: 0.036994 s
0.03/0.05 c
0.03/0.05 c core #50
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 3 Total Weight: 508
0.03/0.05 c Current CPU time: 0.037994 s
0.03/0.05 c
0.03/0.05 c core #51
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 9 Total Weight: 517
0.03/0.05 c Current CPU time: 0.038994 s
0.03/0.05 c
0.03/0.05 c core #52
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 12 Total Weight: 529
0.03/0.05 c Current CPU time: 0.038994 s
0.03/0.05 c
0.03/0.05 c core #53
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 13 Total Weight: 542
0.03/0.05 c Current CPU time: 0.039993 s
0.03/0.05 c
0.03/0.05 c core #54
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 3 Total Weight: 545
0.03/0.05 c Current CPU time: 0.039993 s
0.03/0.05 c
0.03/0.05 c core #55
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 7 Total Weight: 552
0.03/0.05 c Current CPU time: 0.040993 s
0.03/0.05 c
0.03/0.05 c core #56
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 3 Total Weight: 555
0.03/0.05 c Current CPU time: 0.040993 s
0.03/0.05 c
0.03/0.05 c core #57
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 5 Total Weight: 560
0.03/0.05 c Current CPU time: 0.041993 s
0.03/0.05 c
0.03/0.05 c core #58
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 6 Total Weight: 566
0.03/0.05 c Current CPU time: 0.042993 s
0.03/0.05 c
0.03/0.05 c core #59
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 6 Total Weight: 572
0.03/0.05 c Current CPU time: 0.042993 s
0.03/0.05 c
0.03/0.05 c core #60
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 6 Total Weight: 578
0.03/0.05 c Current CPU time: 0.043993 s
0.03/0.05 c
0.03/0.05 c core #61
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 4 Total Weight: 582
0.03/0.05 c Current CPU time: 0.043993 s
0.03/0.05 c
0.03/0.05 c core #62
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 8 Total Weight: 590
0.03/0.05 c Current CPU time: 0.044993 s
0.03/0.05 c
0.03/0.05 c core #63
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 11 Total Weight: 601
0.03/0.05 c Current CPU time: 0.045993 s
0.03/0.05 c
0.03/0.05 c core #64
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 9 Total Weight: 610
0.03/0.05 c Current CPU time: 0.045993 s
0.03/0.05 c
0.03/0.05 c core #65
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 12 Total Weight: 622
0.03/0.05 c Current CPU time: 0.046992 s
0.03/0.05 c
0.03/0.05 c core #66
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 16 Total Weight: 638
0.03/0.05 c Current CPU time: 0.046992 s
0.03/0.05 c
0.03/0.05 c core #67
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 12 Total Weight: 650
0.03/0.05 c Current CPU time: 0.047992 s
0.03/0.05 c
0.03/0.05 c core #68
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 6 Total Weight: 656
0.03/0.05 c Current CPU time: 0.048992 s
0.03/0.05 c
0.03/0.05 c core #69
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 4 Total Weight: 660
0.03/0.05 c Current CPU time: 0.048992 s
0.03/0.05 c
0.03/0.05 c core #70
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 3 Total Weight: 663
0.03/0.05 c Current CPU time: 0.049992 s
0.03/0.05 c
0.03/0.05 c core #71
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 4 Total Weight: 667
0.03/0.05 c Current CPU time: 0.049992 s
0.03/0.05 c
0.03/0.05 c core #72
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 3 Total Weight: 670
0.03/0.05 c Current CPU time: 0.050992 s
0.03/0.05 c
0.03/0.05 c core #73
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 3 Total Weight: 673
0.03/0.05 c Current CPU time: 0.051992 s
0.03/0.05 c
0.03/0.05 c core #74
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 3 Total Weight: 676
0.03/0.05 c Current CPU time: 0.051992 s
0.03/0.05 c
0.03/0.05 c core #75
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 9 Total Weight: 685
0.03/0.05 c Current CPU time: 0.052991 s
0.03/0.05 c
0.03/0.05 c core #76
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 3 Total Weight: 688
0.03/0.05 c Current CPU time: 0.052991 s
0.03/0.05 c
0.03/0.05 c core #77
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 3 Total Weight: 691
0.03/0.05 c Current CPU time: 0.053991 s
0.03/0.05 c
0.03/0.05 c core #78
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 8 Total Weight: 699
0.03/0.05 c Current CPU time: 0.054991 s
0.03/0.05 c
0.03/0.05 c core #79
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 4 Total Weight: 703
0.03/0.05 c Current CPU time: 0.054991 s
0.03/0.05 c
0.03/0.05 c core #80
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 4 Total Weight: 707
0.03/0.05 c Current CPU time: 0.055991 s
0.03/0.05 c
0.03/0.05 c core #81
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 6 Total Weight: 713
0.03/0.05 c Current CPU time: 0.056991 s
0.03/0.05 c
0.03/0.05 c core #82
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 3 Total Weight: 716
0.03/0.05 c Current CPU time: 0.056991 s
0.03/0.05 c
0.03/0.05 c core #83
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 4 Total Weight: 720
0.03/0.05 c Current CPU time: 0.057991 s
0.03/0.05 c
0.03/0.05 c core #84
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 2 Total Weight: 722
0.03/0.08 c Current CPU time: 0.057991 s
0.03/0.08 c
0.03/0.08 c core #85
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 2 Core Weight: 4 Total Weight: 726
0.03/0.08 c Current CPU time: 0.058991 s
0.03/0.08 c
0.03/0.08 c core #86
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 2 Core Weight: 4 Total Weight: 730
0.03/0.08 c Current CPU time: 0.05999 s
0.03/0.08 c
0.03/0.08 c core #87
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 2 Core Weight: 4 Total Weight: 734
0.03/0.08 c Current CPU time: 0.05999 s
0.03/0.08 c
0.03/0.08 c core #88
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 2 Core Weight: 4 Total Weight: 738
0.03/0.08 c Current CPU time: 0.06099 s
0.03/0.08 c
0.03/0.08 c core #89
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 2 Core Weight: 3 Total Weight: 741
0.03/0.08 c Current CPU time: 0.06199 s
0.03/0.08 c
0.03/0.08 c core #90
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 2 Core Weight: 7 Total Weight: 748
0.03/0.08 c Current CPU time: 0.06199 s
0.03/0.08 c
0.03/0.08 c core #91
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 2 Core Weight: 3 Total Weight: 751
0.03/0.08 c Current CPU time: 0.06299 s
0.03/0.08 c
0.03/0.08 c core #92
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 2 Core Weight: 2 Total Weight: 753
0.03/0.08 c Current CPU time: 0.06399 s
0.03/0.08 c
0.03/0.08 c core #93
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 2 Core Weight: 4 Total Weight: 757
0.03/0.08 c Current CPU time: 0.06399 s
0.03/0.08 c
0.03/0.08 c core #94
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 2 Core Weight: 6 Total Weight: 763
0.03/0.08 c Current CPU time: 0.06499 s
0.03/0.08 c
0.03/0.08 c core #95
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 2 Core Weight: 3 Total Weight: 766
0.03/0.08 c Current CPU time: 0.065989 s
0.03/0.08 c
0.03/0.08 c core #96
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 2 Core Weight: 4 Total Weight: 770
0.03/0.08 c Current CPU time: 0.065989 s
0.03/0.08 c
0.03/0.08 c core #97
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 2 Core Weight: 6 Total Weight: 776
0.03/0.08 c Current CPU time: 0.066989 s
0.03/0.08 c
0.03/0.08 c core #98
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 2 Core Weight: 4 Total Weight: 780
0.03/0.08 c Current CPU time: 0.067989 s
0.03/0.08 c
0.03/0.08 c core #99
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 2 Core Weight: 4 Total Weight: 784
0.03/0.08 c Current CPU time: 0.067989 s
0.03/0.08 c
0.03/0.08 c core #100
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 2 Core Weight: 2 Total Weight: 786
0.03/0.08 c Current CPU time: 0.068989 s
0.03/0.08 c
0.03/0.08 c core #101
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 2 Core Weight: 3 Total Weight: 789
0.03/0.08 c Current CPU time: 0.069989 s
0.03/0.08 c
0.03/0.08 c core #102
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 2 Core Weight: 3 Total Weight: 792
0.03/0.08 c Current CPU time: 0.069989 s
0.03/0.08 c
0.03/0.08 c core #103
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 2 Core Weight: 2 Total Weight: 794
0.03/0.08 c Current CPU time: 0.070989 s
0.03/0.08 c
0.03/0.08 c core #104
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 3 Core Weight: 1 Total Weight: 795
0.03/0.08 c Current CPU time: 0.071989 s
0.03/0.08 c
0.03/0.08 c core #105
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 3 Core Weight: 1 Total Weight: 796
0.03/0.08 c Current CPU time: 0.071989 s
0.03/0.08 c
0.03/0.08 c core #106
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 3 Core Weight: 1 Total Weight: 797
0.03/0.08 c Current CPU time: 0.072988 s
0.03/0.08 c
0.03/0.08 c core #107
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 3 Core Weight: 1 Total Weight: 798
0.03/0.08 c Current CPU time: 0.073988 s
0.03/0.08 c
0.03/0.08 c core #108
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 3 Core Weight: 1 Total Weight: 799
0.03/0.08 c Current CPU time: 0.073988 s
0.03/0.08 c
0.03/0.08 c core #109
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 3 Core Weight: 1 Total Weight: 800
0.03/0.08 c Current CPU time: 0.074988 s
0.03/0.08 c
0.03/0.08 c core #110
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 3 Core Weight: 1 Total Weight: 801
0.03/0.08 c Current CPU time: 0.075988 s
0.03/0.08 c
0.03/0.08 c core #111
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 3 Core Weight: 1 Total Weight: 802
0.03/0.08 c Current CPU time: 0.075988 s
0.03/0.08 c
0.03/0.08 c core #112
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 3 Core Weight: 1 Total Weight: 803
0.03/0.08 c Current CPU time: 0.076988 s
0.03/0.08 c
0.03/0.08 c core #113
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 3 Core Weight: 1 Total Weight: 804
0.03/0.08 c Current CPU time: 0.077988 s
0.03/0.08 c
0.03/0.08 c core #114
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: 805
0.03/0.08 c Current CPU time: 0.077988 s
0.03/0.08 c
0.03/0.08 c core #115
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 3 Core Weight: 1 Total Weight: 806
0.03/0.08 c Current CPU time: 0.078987 s
0.03/0.08 c
0.03/0.08 c core #116
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 3 Core Weight: 1 Total Weight: 807
0.03/0.08 c Current CPU time: 0.079987 s
0.03/0.08 c
0.03/0.08 c core #117
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: 808
0.03/0.08 c Current CPU time: 0.079987 s
0.03/0.08 c
0.03/0.08 c core #118
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: 809
0.03/0.08 c Current CPU time: 0.080987 s
0.03/0.08 c
0.03/0.08 c core #119
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 5 Core Weight: 1 Total Weight: 810
0.03/0.08 c Current CPU time: 0.081987 s
0.03/0.08 c
0.03/0.08 c core #120
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 5 Core Weight: 1 Total Weight: 811
0.03/0.08 c Current CPU time: 0.081987 s
0.03/0.08 c
0.03/0.08 c core #121
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 3 Core Weight: 1 Total Weight: 812
0.03/0.08 c Current CPU time: 0.082987 s
0.03/0.08 c
0.03/0.08 c core #122
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 3 Core Weight: 1 Total Weight: 813
0.03/0.08 c Current CPU time: 0.083987 s
0.03/0.08 c
0.03/0.08 c core #123
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: 814
0.03/0.08 c Current CPU time: 0.084987 s
0.03/0.08 c
0.03/0.08 c core #124
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 5 Core Weight: 1 Total Weight: 815
0.03/0.08 c Current CPU time: 0.084987 s
0.03/0.08 c
0.03/0.08 c core #125
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 3 Core Weight: 1 Total Weight: 816
0.03/0.08 c Current CPU time: 0.085986 s
0.03/0.08 c
0.03/0.08 c core #126
0.03/0.08 c
0.03/0.08 c
0.03/0.08 c Core size: 3 Core Weight: 1 Total Weight: 817
0.10/0.11 c Current CPU time: 0.086986 s
0.10/0.11 c
0.10/0.11 c core #127
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 4 Core Weight: 1 Total Weight: 818
0.10/0.11 c Current CPU time: 0.086986 s
0.10/0.11 c
0.10/0.11 c core #128
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 3 Core Weight: 1 Total Weight: 819
0.10/0.11 c Current CPU time: 0.087986 s
0.10/0.11 c
0.10/0.11 c core #129
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 3 Core Weight: 1 Total Weight: 820
0.10/0.11 c Current CPU time: 0.088986 s
0.10/0.11 c
0.10/0.11 c core #130
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 4 Core Weight: 1 Total Weight: 821
0.10/0.11 c Current CPU time: 0.089986 s
0.10/0.11 c
0.10/0.11 c core #131
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 3 Core Weight: 1 Total Weight: 822
0.10/0.11 c Current CPU time: 0.089986 s
0.10/0.11 c
0.10/0.11 c core #132
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 3 Core Weight: 1 Total Weight: 823
0.10/0.11 c Current CPU time: 0.090986 s
0.10/0.11 c
0.10/0.11 c core #133
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 4 Core Weight: 1 Total Weight: 824
0.10/0.11 c Current CPU time: 0.091986 s
0.10/0.11 c
0.10/0.11 c core #134
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 3 Core Weight: 1 Total Weight: 825
0.10/0.11 c Current CPU time: 0.091986 s
0.10/0.11 c
0.10/0.11 c core #135
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 4 Core Weight: 1 Total Weight: 826
0.10/0.11 c Current CPU time: 0.092985 s
0.10/0.11 c
0.10/0.11 c core #136
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 4 Core Weight: 1 Total Weight: 827
0.10/0.11 c Current CPU time: 0.093985 s
0.10/0.11 c
0.10/0.11 c core #137
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 3 Core Weight: 1 Total Weight: 828
0.10/0.11 c Current CPU time: 0.094985 s
0.10/0.11 c
0.10/0.11 c core #138
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 3 Core Weight: 1 Total Weight: 829
0.10/0.11 c Current CPU time: 0.094985 s
0.10/0.11 c
0.10/0.11 c core #139
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 3 Core Weight: 1 Total Weight: 830
0.10/0.11 c Current CPU time: 0.095985 s
0.10/0.11 c
0.10/0.11 c core #140
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 3 Core Weight: 1 Total Weight: 831
0.10/0.11 c Current CPU time: 0.096985 s
0.10/0.11 c
0.10/0.11 c core #141
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 4 Core Weight: 1 Total Weight: 832
0.10/0.11 c Current CPU time: 0.096985 s
0.10/0.11 c
0.10/0.11 c core #142
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 3 Core Weight: 1 Total Weight: 833
0.10/0.11 c Current CPU time: 0.097985 s
0.10/0.11 c
0.10/0.11 c core #143
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 3 Core Weight: 1 Total Weight: 834
0.10/0.11 c Current CPU time: 0.098984 s
0.10/0.11 c
0.10/0.11 c core #144
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 3 Core Weight: 1 Total Weight: 835
0.10/0.11 c Current CPU time: 0.099984 s
0.10/0.11 c
0.10/0.11 c core #145
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 3 Core Weight: 1 Total Weight: 836
0.10/0.11 c Current CPU time: 0.099984 s
0.10/0.11 c
0.10/0.11 c core #146
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 4 Core Weight: 1 Total Weight: 837
0.10/0.11 c Current CPU time: 0.100984 s
0.10/0.11 c
0.10/0.11 c core #147
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 3 Core Weight: 1 Total Weight: 838
0.10/0.11 c Current CPU time: 0.101984 s
0.10/0.11 c
0.10/0.11 c core #148
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 3 Core Weight: 1 Total Weight: 839
0.10/0.11 c Current CPU time: 0.102984 s
0.10/0.11 c
0.10/0.11 c core #149
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 3 Core Weight: 1 Total Weight: 840
0.10/0.11 c Current CPU time: 0.102984 s
0.10/0.11 c
0.10/0.11 c core #150
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 3 Core Weight: 1 Total Weight: 841
0.10/0.11 c Current CPU time: 0.103984 s
0.10/0.11 c
0.10/0.11 c core #151
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 4 Core Weight: 1 Total Weight: 842
0.10/0.11 c Current CPU time: 0.104984 s
0.10/0.11 c
0.10/0.11 c core #152
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 4 Core Weight: 1 Total Weight: 843
0.10/0.11 c Current CPU time: 0.105983 s
0.10/0.11 c
0.10/0.11 c core #153
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 4 Core Weight: 1 Total Weight: 844
0.10/0.11 c Current CPU time: 0.105983 s
0.10/0.11 c
0.10/0.11 c core #154
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 3 Core Weight: 1 Total Weight: 845
0.10/0.11 c Current CPU time: 0.106983 s
0.10/0.11 c
0.10/0.11 c core #155
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 3 Core Weight: 1 Total Weight: 846
0.10/0.11 c Current CPU time: 0.107983 s
0.10/0.11 c
0.10/0.11 c core #156
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 4 Core Weight: 1 Total Weight: 847
0.10/0.11 c Current CPU time: 0.108983 s
0.10/0.11 c
0.10/0.11 c core #157
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 4 Core Weight: 1 Total Weight: 848
0.10/0.11 c Current CPU time: 0.108983 s
0.10/0.11 c
0.10/0.11 c core #158
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 4 Core Weight: 1 Total Weight: 849
0.10/0.11 c Current CPU time: 0.109983 s
0.10/0.11 c
0.10/0.11 c core #159
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 4 Core Weight: 1 Total Weight: 850
0.10/0.11 c Current CPU time: 0.110983 s
0.10/0.11 c
0.10/0.11 c core #160
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 4 Core Weight: 1 Total Weight: 851
0.10/0.11 c Current CPU time: 0.111982 s
0.10/0.11 c
0.10/0.11 c core #161
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 4 Core Weight: 1 Total Weight: 852
0.10/0.11 c Current CPU time: 0.111982 s
0.10/0.11 c
0.10/0.11 c core #162
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 4 Core Weight: 1 Total Weight: 853
0.10/0.11 c Current CPU time: 0.112982 s
0.10/0.11 c
0.10/0.11 c core #163
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 5 Core Weight: 1 Total Weight: 854
0.10/0.11 c Current CPU time: 0.113982 s
0.10/0.11 c
0.10/0.11 c core #164
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 5 Core Weight: 1 Total Weight: 855
0.10/0.11 c Current CPU time: 0.114982 s
0.10/0.11 c
0.10/0.11 c core #165
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 3 Core Weight: 1 Total Weight: 856
0.10/0.11 c Current CPU time: 0.114982 s
0.10/0.11 c
0.10/0.11 c core #166
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 3 Core Weight: 1 Total Weight: 857
0.10/0.11 c Current CPU time: 0.115982 s
0.10/0.11 c
0.10/0.11 c core #167
0.10/0.11 c
0.10/0.11 c
0.10/0.11 c Core size: 3 Core Weight: 1 Total Weight: 858
0.10/0.15 c Current CPU time: 0.116982 s
0.10/0.15 c
0.10/0.15 c core #168
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 4 Core Weight: 1 Total Weight: 859
0.10/0.15 c Current CPU time: 0.117982 s
0.10/0.15 c
0.10/0.15 c core #169
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 3 Core Weight: 1 Total Weight: 860
0.10/0.15 c Current CPU time: 0.118981 s
0.10/0.15 c
0.10/0.15 c core #170
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 4 Core Weight: 1 Total Weight: 861
0.10/0.15 c Current CPU time: 0.118981 s
0.10/0.15 c
0.10/0.15 c core #171
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 4 Core Weight: 1 Total Weight: 862
0.10/0.15 c Current CPU time: 0.119981 s
0.10/0.15 c
0.10/0.15 c core #172
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 4 Core Weight: 1 Total Weight: 863
0.10/0.15 c Current CPU time: 0.120981 s
0.10/0.15 c
0.10/0.15 c core #173
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 3 Core Weight: 1 Total Weight: 864
0.10/0.15 c Current CPU time: 0.121981 s
0.10/0.15 c
0.10/0.15 c core #174
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 5 Core Weight: 1 Total Weight: 865
0.10/0.15 c Current CPU time: 0.121981 s
0.10/0.15 c
0.10/0.15 c core #175
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 8 Core Weight: 1 Total Weight: 866
0.10/0.15 c Current CPU time: 0.122981 s
0.10/0.15 c
0.10/0.15 c core #176
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 4 Core Weight: 1 Total Weight: 867
0.10/0.15 c Current CPU time: 0.123981 s
0.10/0.15 c
0.10/0.15 c core #177
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 6 Core Weight: 1 Total Weight: 868
0.10/0.15 c Current CPU time: 0.124981 s
0.10/0.15 c
0.10/0.15 c core #178
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 5 Core Weight: 1 Total Weight: 869
0.10/0.15 c Current CPU time: 0.12598 s
0.10/0.15 c
0.10/0.15 c core #179
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 5 Core Weight: 1 Total Weight: 870
0.10/0.15 c Current CPU time: 0.12598 s
0.10/0.15 c
0.10/0.15 c core #180
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 4 Core Weight: 1 Total Weight: 871
0.10/0.15 c Current CPU time: 0.12698 s
0.10/0.15 c
0.10/0.15 c core #181
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 5 Core Weight: 1 Total Weight: 872
0.10/0.15 c Current CPU time: 0.12798 s
0.10/0.15 c
0.10/0.15 c core #182
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 6 Core Weight: 1 Total Weight: 873
0.10/0.15 c Current CPU time: 0.12898 s
0.10/0.15 c
0.10/0.15 c core #183
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 8 Core Weight: 1 Total Weight: 874
0.10/0.15 c Current CPU time: 0.12998 s
0.10/0.15 c
0.10/0.15 c core #184
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 4 Core Weight: 1 Total Weight: 875
0.10/0.15 c Current CPU time: 0.13098 s
0.10/0.15 c
0.10/0.15 c core #185
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 5 Core Weight: 1 Total Weight: 876
0.10/0.15 c Current CPU time: 0.13098 s
0.10/0.15 c
0.10/0.15 c core #186
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 6 Core Weight: 1 Total Weight: 877
0.10/0.15 c Current CPU time: 0.131979 s
0.10/0.15 c
0.10/0.15 c core #187
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 4 Core Weight: 1 Total Weight: 878
0.10/0.15 c Current CPU time: 0.132979 s
0.10/0.15 c
0.10/0.15 c core #188
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 4 Core Weight: 1 Total Weight: 879
0.10/0.15 c Current CPU time: 0.133979 s
0.10/0.15 c
0.10/0.15 c core #189
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 4 Core Weight: 1 Total Weight: 880
0.10/0.15 c Current CPU time: 0.134979 s
0.10/0.15 c
0.10/0.15 c core #190
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 4 Core Weight: 1 Total Weight: 881
0.10/0.15 c Current CPU time: 0.134979 s
0.10/0.15 c
0.10/0.15 c core #191
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 5 Core Weight: 1 Total Weight: 882
0.10/0.15 c Current CPU time: 0.135979 s
0.10/0.15 c
0.10/0.15 c core #192
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 5 Core Weight: 1 Total Weight: 883
0.10/0.15 c Current CPU time: 0.136979 s
0.10/0.15 c
0.10/0.15 c core #193
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 4 Core Weight: 1 Total Weight: 884
0.10/0.15 c Current CPU time: 0.137979 s
0.10/0.15 c
0.10/0.15 c core #194
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 4 Core Weight: 1 Total Weight: 885
0.10/0.15 c Current CPU time: 0.138978 s
0.10/0.15 c
0.10/0.15 c core #195
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 5 Core Weight: 1 Total Weight: 886
0.10/0.15 c Current CPU time: 0.139978 s
0.10/0.15 c
0.10/0.15 c core #196
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 6 Core Weight: 1 Total Weight: 887
0.10/0.15 c Current CPU time: 0.139978 s
0.10/0.15 c
0.10/0.15 c core #197
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 5 Core Weight: 1 Total Weight: 888
0.10/0.15 c Current CPU time: 0.140978 s
0.10/0.15 c
0.10/0.15 c core #198
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 5 Core Weight: 1 Total Weight: 889
0.10/0.15 c Current CPU time: 0.141978 s
0.10/0.15 c
0.10/0.15 c core #199
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 4 Core Weight: 1 Total Weight: 890
0.10/0.15 c Current CPU time: 0.142978 s
0.10/0.15 c
0.10/0.15 c core #200
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 4 Core Weight: 1 Total Weight: 891
0.10/0.15 c Current CPU time: 0.143978 s
0.10/0.15 c
0.10/0.15 c core #201
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 5 Core Weight: 1 Total Weight: 892
0.10/0.15 c Current CPU time: 0.144977 s
0.10/0.15 c
0.10/0.15 c core #202
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 15 Core Weight: 1 Total Weight: 893
0.10/0.15 c Current CPU time: 0.145977 s
0.10/0.15 c
0.10/0.15 c core #203
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 5 Core Weight: 1 Total Weight: 894
0.10/0.15 c Current CPU time: 0.146977 s
0.10/0.15 c
0.10/0.15 c core #204
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 15 Core Weight: 1 Total Weight: 895
0.10/0.15 c Current CPU time: 0.146977 s
0.10/0.15 c
0.10/0.15 c core #205
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 12 Core Weight: 1 Total Weight: 896
0.10/0.15 c Current CPU time: 0.147977 s
0.10/0.15 c
0.10/0.15 c core #206
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 13 Core Weight: 1 Total Weight: 897
0.10/0.15 c Current CPU time: 0.148977 s
0.10/0.15 c
0.10/0.15 c core #207
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 13 Core Weight: 1 Total Weight: 898
0.10/0.15 c Current CPU time: 0.149977 s
0.10/0.15 c
0.10/0.15 c core #208
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c Core size: 8 Core Weight: 1 Total Weight: 899
0.10/0.15 c Current CPU time: 0.150977 s
0.10/0.16 c
0.10/0.16 c core #209
0.10/0.16 c
0.10/0.16 c
0.10/0.16 c Core size: 22 Core Weight: 1 Total Weight: 900
0.10/0.16 c Current CPU time: 0.151976 s
0.10/0.16 c
0.10/0.16 c core #210
0.10/0.16 c
0.10/0.16 c
0.10/0.16 c Core size: 15 Core Weight: 1 Total Weight: 901
0.10/0.16 c Current CPU time: 0.152976 s
0.10/0.16 c
0.10/0.16 c core #211
0.10/0.16 c
0.10/0.16 c
0.10/0.16 c Core size: 8 Core Weight: 1 Total Weight: 902
0.10/0.16 c Current CPU time: 0.153976 s
0.10/0.16 c
0.10/0.16 c core #212
0.10/0.16 c
0.10/0.16 c
0.10/0.16 c Core size: 13 Core Weight: 1 Total Weight: 903
0.10/0.16 c Current CPU time: 0.154976 s
0.10/0.16 c
0.10/0.16 c core #213
0.10/0.16 c
0.10/0.16 c
0.10/0.16 c Core size: 13 Core Weight: 1 Total Weight: 904
0.10/0.16 c Current CPU time: 0.155976 s
0.10/0.16 c
0.10/0.16 c core #214
0.10/0.16 c
0.10/0.16 c
0.10/0.16 c Core size: 12 Core Weight: 1 Total Weight: 905
0.10/0.16 c Current CPU time: 0.156976 s
0.10/0.16 c
0.10/0.16 c core #215
0.10/0.16 c
0.10/0.16 c
0.10/0.16 c Core size: 8 Core Weight: 1 Total Weight: 906
0.10/0.16 c Current CPU time: 0.156976 s
0.10/0.16 c
0.10/0.16 c core #216
0.10/0.16 c
0.10/0.16 c
0.10/0.16 c Core size: 15 Core Weight: 1 Total Weight: 907
0.10/0.16 c Current CPU time: 0.157975 s
0.10/0.16 c
0.10/0.16 c core #217
0.10/0.16 c
0.10/0.16 c
0.10/0.16 c Core size: 11 Core Weight: 1 Total Weight: 908
0.10/0.16 c Current CPU time: 0.158975 s
0.10/0.16 c
0.10/0.16 c core #218
0.10/0.16 c
0.10/0.16 c
0.10/0.16 c Core size: 9 Core Weight: 1 Total Weight: 909
0.10/0.16 c Current CPU time: 0.159975 s
0.10/0.16 c
0.10/0.16 c core #219
0.10/0.16 c
0.10/0.16 c
0.10/0.16 c Core size: 17 Core Weight: 1 Total Weight: 910
0.10/0.16 c Current CPU time: 0.160975 s
0.10/0.16 c
0.10/0.16 c core #220
0.10/0.16 c
0.10/0.16 c
0.10/0.16 c Core size: 15 Core Weight: 1 Total Weight: 911
0.10/0.16 c Current CPU time: 0.161975 s
0.10/0.16 c
0.10/0.16 c core #221
0.10/0.16 c
0.10/0.16 c
0.10/0.16 c Core size: 26 Core Weight: 1 Total Weight: 912
0.10/0.16 c Current CPU time: 0.162975 s
0.10/0.16 c
0.10/0.16 c ============================[ Search Statistics ]==============================
0.10/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.10/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.10/0.16 c ===============================================================================
0.10/0.16 c | 0 | 2284 1939 4004 | 5000 0 -nan | 0.000 % |
0.10/0.16 c ===============================================================================
0.10/0.16 c core #222
0.10/0.16 c
0.10/0.16 c
0.10/0.16 c Core size: 16 Core Weight: 1 Total Weight: 913
0.10/0.16 c Current CPU time: 0.163975 s
0.10/0.16 c
0.10/0.16 c ============================[ Search Statistics ]==============================
0.10/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.10/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.10/0.16 c ===============================================================================
0.10/0.16 c | 0 | 2304 1940 4052 | 5000 0 -nan | 0.000 % |
0.10/0.16 c ===============================================================================
0.10/0.16 c core #223
0.10/0.16 c
0.10/0.16 c
0.10/0.16 c Core size: 18 Core Weight: 1 Total Weight: 914
0.10/0.16 c Current CPU time: 0.164974 s
0.10/0.16 c
0.10/0.16 c ============================[ Search Statistics ]==============================
0.10/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.10/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.10/0.16 c ===============================================================================
0.10/0.16 c | 0 | 2317 1941 4079 | 5000 0 -nan | 0.000 % |
0.10/0.16 c ===============================================================================
0.10/0.16 c core #224
0.10/0.16 c
0.10/0.16 c
0.10/0.16 c Core size: 34 Core Weight: 1 Total Weight: 915
0.10/0.16 c Current CPU time: 0.166974 s
0.10/0.16 c
0.10/0.16 c ============================[ Search Statistics ]==============================
0.10/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.10/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.10/0.16 c ===============================================================================
0.10/0.16 c | 0 | 2345 1943 4143 | 5000 0 -nan | 0.000 % |
0.10/0.16 c ===============================================================================
0.10/0.16 c core #225
0.10/0.16 c
0.10/0.16 c
0.10/0.16 c Core size: 18 Core Weight: 1 Total Weight: 916
0.10/0.16 c Current CPU time: 0.167974 s
0.10/0.16 c
0.10/0.16 c ============================[ Search Statistics ]==============================
0.10/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.10/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.10/0.16 c ===============================================================================
0.10/0.16 c | 0 | 2355 1944 4165 | 5000 0 -nan | 0.000 % |
0.10/0.16 c ===============================================================================
0.10/0.17 c core #226
0.10/0.17 c
0.10/0.17 c
0.10/0.17 c Core size: 8 Core Weight: 1 Total Weight: 917
0.10/0.17 c Current CPU time: 0.168974 s
0.10/0.17 c
0.10/0.17 c ============================[ Search Statistics ]==============================
0.10/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.10/0.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.10/0.17 c ===============================================================================
0.10/0.17 c | 0 | 2383 1945 4188 | 5000 0 -nan | 0.000 % |
0.10/0.17 c ===============================================================================
0.10/0.17 c core #227
0.10/0.17 c
0.10/0.17 c
0.10/0.17 c Core size: 11 Core Weight: 1 Total Weight: 918
0.10/0.17 c Current CPU time: 0.170974 s
0.10/0.17 c
0.10/0.17 c ============================[ Search Statistics ]==============================
0.10/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.10/0.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.10/0.17 c ===============================================================================
0.10/0.17 c | 0 | 2391 1947 4207 | 5000 0 -nan | 0.000 % |
0.10/0.17 c ===============================================================================
0.10/0.17 c core #228
0.10/0.17 c
0.10/0.17 c
0.10/0.17 c Core size: 22 Core Weight: 1 Total Weight: 919
0.10/0.17 c Current CPU time: 0.171973 s
0.10/0.17 c
0.10/0.17 c ============================[ Search Statistics ]==============================
0.10/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.10/0.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.10/0.17 c ===============================================================================
0.10/0.17 c | 0 | 2403 1949 4233 | 5000 0 -nan | 0.000 % |
0.10/0.17 c ===============================================================================
0.10/0.17 c core #229
0.10/0.17 c
0.10/0.17 c
0.10/0.17 c Core size: 12 Core Weight: 1 Total Weight: 920
0.10/0.17 c Current CPU time: 0.173973 s
0.10/0.17 c
0.10/0.17 c ============================[ Search Statistics ]==============================
0.10/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.10/0.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.10/0.17 c ===============================================================================
0.10/0.17 c | 0 | 2412 1950 4252 | 5000 0 -nan | 0.000 % |
0.10/0.17 c ===============================================================================
0.10/0.17 c core #230
0.10/0.17 c
0.10/0.17 c
0.10/0.17 c Core size: 57 Core Weight: 1 Total Weight: 921
0.10/0.17 c Current CPU time: 0.175973 s
0.10/0.17 c
0.10/0.17 c ============================[ Search Statistics ]==============================
0.10/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.10/0.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.10/0.17 c ===============================================================================
0.10/0.17 c | 0 | 2455 1955 4353 | 5000 0 -nan | 0.000 % |
0.10/0.17 c | 101 | 2438 1955 4353 | 5500 101 11 | 4.618 % |
0.10/0.18 c | 251 | 2435 1955 4353 | 6050 251 11 | 4.773 % |
0.10/0.18 c | 477 | 2434 1955 4353 | 6655 477 14 | 4.891 % |
0.10/0.18 c ===============================================================================
0.10/0.18 c core #231
0.10/0.18 c
0.10/0.18 c
0.10/0.18 c Core size: 50 Core Weight: 1 Total Weight: 922
0.10/0.18 c Current CPU time: 0.185971 s
0.10/0.18 c
0.10/0.18 c ============================[ Search Statistics ]==============================
0.10/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.10/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.10/0.18 c ===============================================================================
0.10/0.18 c | 0 | 2497 1966 4463 | 5000 0 -nan | 0.000 % |
0.10/0.18 c ===============================================================================
0.10/0.18 c core #232
0.10/0.18 c
0.10/0.18 c
0.10/0.18 c Core size: 36 Core Weight: 1 Total Weight: 923
0.10/0.18 c Current CPU time: 0.187971 s
0.10/0.18 c
0.10/0.18 c ============================[ Search Statistics ]==============================
0.10/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.10/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.10/0.18 c ===============================================================================
0.10/0.18 c | 0 | 2531 1968 4537 | 5000 0 -nan | 0.000 % |
0.10/0.18 c ===============================================================================
0.10/0.19 c core #233
0.10/0.19 c
0.10/0.19 c
0.10/0.19 c Core size: 23 Core Weight: 1 Total Weight: 924
0.10/0.19 c Current CPU time: 0.189971 s
0.10/0.19 c
0.10/0.19 c ============================[ Search Statistics ]==============================
0.10/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.10/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.10/0.19 c ===============================================================================
0.10/0.19 c | 0 | 2543 1976 4578 | 5000 0 -nan | 0.000 % |
0.10/0.19 c ===============================================================================
0.10/0.19 c core #234
0.10/0.19 c
0.10/0.19 c
0.10/0.19 c Core size: 9 Core Weight: 1 Total Weight: 925
0.10/0.19 c Current CPU time: 0.19097 s
0.10/0.19 c
0.10/0.19 c ============================[ Search Statistics ]==============================
0.10/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.10/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.10/0.19 c ===============================================================================
0.10/0.19 c | 0 | 2568 1982 4630 | 5000 0 -nan | 0.000 % |
0.10/0.19 c ===============================================================================
0.10/0.19 c core #235
0.10/0.19 c
0.10/0.19 c
0.10/0.19 c Core size: 34 Core Weight: 1 Total Weight: 926
0.10/0.19 c Current CPU time: 0.19297 s
0.10/0.19 c
0.10/0.19 c ============================[ Search Statistics ]==============================
0.10/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.10/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.10/0.19 c ===============================================================================
0.10/0.19 c | 0 | 2594 1983 4688 | 5000 0 -nan | 0.000 % |
0.10/0.19 c ===============================================================================
0.10/0.19 c core #236
0.10/0.19 c
0.10/0.19 c
0.10/0.19 c Core size: 127 Core Weight: 1 Total Weight: 927
0.10/0.19 c Current CPU time: 0.19497 s
0.10/0.19 c
0.10/0.19 c ============================[ Search Statistics ]==============================
0.10/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.10/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.10/0.19 c ===============================================================================
0.10/0.19 c | 0 | 2617 1987 4743 | 5000 0 -nan | 0.000 % |
0.10/0.19 c | 100 | 2616 1987 4743 | 5500 100 17 | 2.643 % |
0.10/0.19 c ===============================================================================
0.10/0.19 c core #237
0.10/0.19 c
0.10/0.19 c
0.10/0.19 c Core size: 35 Core Weight: 1 Total Weight: 928
0.10/0.19 c Current CPU time: 0.197969 s
0.10/0.19 c
0.10/0.19 c ============================[ Search Statistics ]==============================
0.10/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.10/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.10/0.19 c ===============================================================================
0.10/0.19 c | 0 | 2649 1990 4821 | 5000 0 -nan | 0.000 % |
0.20/0.20 c ===============================================================================
0.20/0.20 c core #238
0.20/0.20 c
0.20/0.20 c
0.20/0.20 c Core size: 199 Core Weight: 1 Total Weight: 929
0.20/0.20 c Current CPU time: 0.200969 s
0.20/0.20 c
0.20/0.20 c ============================[ Search Statistics ]==============================
0.20/0.20 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.20/0.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.20/0.20 c ===============================================================================
0.20/0.20 c | 0 | 2684 2001 4919 | 5000 0 -nan | 0.000 % |
0.20/0.20 c | 101 | 2684 2001 4919 | 5500 101 17 | 2.258 % |
0.20/0.20 c ===============================================================================
0.20/0.20 c core #239
0.20/0.20 c
0.20/0.20 c
0.20/0.20 c Core size: 74 Core Weight: 1 Total Weight: 930
0.20/0.20 c Current CPU time: 0.206968 s
0.20/0.20 c
0.20/0.20 c ============================[ Search Statistics ]==============================
0.20/0.20 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.20/0.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.20/0.20 c ===============================================================================
0.20/0.20 c | 0 | 2754 2013 5099 | 5000 0 -nan | 0.000 % |
0.20/0.21 c | 100 | 2754 2013 5099 | 5500 100 15 | 1.713 % |
0.20/0.21 c | 250 | 2734 2013 5099 | 6050 250 13 | 2.428 % |
0.20/0.21 c ===============================================================================
0.20/0.21 c core #240
0.20/0.21 c
0.20/0.21 c
0.20/0.21 c Core size: 95 Core Weight: 1 Total Weight: 931
0.20/0.21 c Current CPU time: 0.215967 s
0.20/0.21 c
0.20/0.21 c ============================[ Search Statistics ]==============================
0.20/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.20/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.20/0.21 c ===============================================================================
0.20/0.21 c | 0 | 2838 2033 5314 | 5000 0 -nan | 0.000 % |
0.20/0.22 c | 101 | 2837 2033 5314 | 5500 101 10 | 1.698 % |
0.20/0.22 c | 252 | 2834 2033 5314 | 6050 252 10 | 1.906 % |
0.20/0.22 c ===============================================================================
0.20/0.22 c core #241
0.20/0.22 c
0.20/0.22 c
0.20/0.22 c Core size: 15 Core Weight: 1 Total Weight: 932
0.20/0.22 c Current CPU time: 0.223965 s
0.20/0.22 c
0.20/0.22 c ============================[ Search Statistics ]==============================
0.20/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.20/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.20/0.22 c ===============================================================================
0.20/0.22 c | 0 | 2823 2062 5414 | 5000 0 -nan | 0.000 % |
0.20/0.22 c | 101 | 2821 2062 5414 | 5500 101 12 | 2.658 % |
0.20/0.23 c | 254 | 2820 2062 5414 | 6050 254 12 | 2.658 % |
0.20/0.23 c | 479 | 2819 2062 5414 | 6655 479 13 | 2.693 % |
0.20/0.23 c ===============================================================================
0.20/0.23 c core #242
0.20/0.23 c
0.20/0.23 c
0.20/0.23 c Core size: 39 Core Weight: 1 Total Weight: 933
0.20/0.23 c Current CPU time: 0.235964 s
0.20/0.23 c
0.20/0.23 c ============================[ Search Statistics ]==============================
0.20/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.20/0.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.20/0.23 c ===============================================================================
0.20/0.23 c | 0 | 2827 2086 5483 | 5000 0 -nan | 0.000 % |
0.20/0.24 c | 100 | 2826 2086 5483 | 5500 100 10 | 2.653 % |
0.20/0.24 c | 250 | 2826 2086 5483 | 6050 250 13 | 2.653 % |
0.20/0.24 c ===============================================================================
0.20/0.24 c core #243
0.20/0.24 c
0.20/0.24 c
0.20/0.24 c Core size: 12 Core Weight: 1 Total Weight: 934
0.20/0.24 c Current CPU time: 0.242963 s
0.20/0.24 c
0.20/0.24 c ============================[ Search Statistics ]==============================
0.20/0.24 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.20/0.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.20/0.24 c ===============================================================================
0.20/0.24 c | 0 | 2838 2091 5519 | 5000 0 -nan | 0.000 % |
0.20/0.24 c | 101 | 2837 2091 5519 | 5500 101 12 | 2.576 % |
0.20/0.24 c | 251 | 2837 2091 5519 | 6050 251 14 | 2.576 % |
0.20/0.25 c | 477 | 2833 2091 5519 | 6655 477 19 | 2.747 % |
0.20/0.26 c | 815 | 2832 2091 5519 | 7320 815 23 | 2.748 % |
0.20/0.27 c | 1321 | 2832 2091 5519 | 8052 1321 22 | 2.747 % |
0.20/0.29 c | 2083 | 2831 2091 5519 | 8857 2083 20 | 2.782 % |
0.29/0.31 c ===============================================================================
0.29/0.31 c core #244
0.29/0.31 c
0.29/0.31 c
0.29/0.31 c Core size: 169 Core Weight: 1 Total Weight: 935
0.29/0.31 c Current CPU time: 0.310952 s
0.29/0.31 c
0.29/0.31 c ============================[ Search Statistics ]==============================
0.29/0.31 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.29/0.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.29/0.31 c ===============================================================================
0.29/0.31 c | 0 | 2958 2122 5837 | 5000 0 -nan | 0.000 % |
0.29/0.31 c ===============================================================================
0.29/0.31 c core #245
0.29/0.31 c
0.29/0.31 c
0.29/0.31 c Core size: 37 Core Weight: 1 Total Weight: 936
0.29/0.31 c Current CPU time: 0.313952 s
0.29/0.31 c
0.29/0.31 c ============================[ Search Statistics ]==============================
0.29/0.31 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.29/0.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.29/0.31 c ===============================================================================
0.29/0.31 c | 0 | 2983 2124 5894 | 5000 0 -nan | 0.000 % |
0.29/0.32 c | 105 | 2983 2124 5894 | 5500 105 44 | 2.421 % |
0.29/0.32 c | 256 | 2983 2124 5894 | 6050 256 38 | 2.421 % |
0.29/0.33 c | 481 | 2983 2124 5894 | 6655 481 28 | 2.421 % |
0.29/0.34 c | 824 | 2983 2124 5894 | 7320 824 25 | 2.421 % |
0.29/0.35 c | 1330 | 2982 2124 5894 | 8052 1330 27 | 2.487 % |
0.29/0.37 c | 2090 | 2906 2124 5894 | 8857 2090 28 | 4.940 % |
0.39/0.41 c | 3229 | 2905 2124 5894 | 9743 3229 28 | 4.972 % |
0.39/0.46 c ===============================================================================
0.39/0.47 c core #246
0.39/0.47 c
0.39/0.47 c
0.39/0.47 c Core size: 165 Core Weight: 1 Total Weight: 937
0.39/0.47 c Current CPU time: 0.462929 s
0.39/0.47 c
0.39/0.47 c ============================[ Search Statistics ]==============================
0.39/0.47 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.39/0.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.39/0.47 c ===============================================================================
0.39/0.47 c | 0 | 3108 2135 6170 | 5000 0 -nan | 0.000 % |
0.39/0.47 c ===============================================================================
0.39/0.47 c core #247
0.39/0.47 c
0.39/0.47 c
0.39/0.47 c Core size: 60 Core Weight: 2147483647 Total Weight: -2147482712
0.39/0.47 c Current CPU time: 0.466929 s
0.39/0.47 c
0.39/0.47 s UNSATISFIABLE
0.39/0.47 c Total CPU time: 0.466929 s
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3461433-1307088654/watcher-3461433-1307088654 -o /tmp/evaluation-result-3461433-1307088654/solver-3461433-1307088654 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461433-1307088654.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.02 2.00 2/521 17102
/proc/meminfo: memFree=23973744/32951124 swapFree=56930356/67111528
[pid=17102] ppid=17099 vsize=2976 CPUtime=0 cores=0,2,4,6
/proc/17102/stat : 17102 (wbo1.6) R 17099 17102 11603 0 -1 4202496 539 0 0 0 0 0 0 0 21 0 1 0 820463173 3047424 468 33554432000 4194304 5714214 140735153231648 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/17102/statm: 744 473 169 372 0 369 0
[startup+0.0384801 s]
/proc/loadavg: 2.00 2.02 2.00 2/521 17102
/proc/meminfo: memFree=23973744/32951124 swapFree=56930356/67111528
[pid=17102] ppid=17099 vsize=3924 CPUtime=0.03 cores=0,2,4,6
/proc/17102/stat : 17102 (wbo1.6) R 17099 17102 11603 0 -1 4202496 865 0 0 0 3 0 0 0 22 0 1 0 820463173 4018176 743 33554432000 4194304 5714214 140735153231648 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/17102/statm: 981 743 175 372 0 606 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3924
[startup+0.100493 s]
/proc/loadavg: 2.00 2.02 2.00 2/521 17102
/proc/meminfo: memFree=23973744/32951124 swapFree=56930356/67111528
[pid=17102] ppid=17099 vsize=4468 CPUtime=0.1 cores=0,2,4,6
/proc/17102/stat : 17102 (wbo1.6) R 17099 17102 11603 0 -1 4202496 1290 0 0 0 10 0 0 0 22 0 1 0 820463173 4575232 846 33554432000 4194304 5714214 140735153231648 18446744073709551615 4315229 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/17102/statm: 1117 846 175 372 0 742 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 4468
[startup+0.300459 s]
/proc/loadavg: 2.00 2.02 2.00 2/521 17102
/proc/meminfo: memFree=23973744/32951124 swapFree=56930356/67111528
[pid=17102] ppid=17099 vsize=5596 CPUtime=0.29 cores=0,2,4,6
/proc/17102/stat : 17102 (wbo1.6) R 17099 17102 11603 0 -1 4202496 1942 0 0 0 29 0 0 0 18 0 1 0 820463173 5730304 1169 33554432000 4194304 5714214 140735153231648 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/17102/statm: 1399 1169 180 372 0 1024 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5596
Solver just ended. Dumping a history of the last processes samples
[startup+0.400434 s]
/proc/loadavg: 2.00 2.02 2.00 2/521 17102
/proc/meminfo: memFree=23973744/32951124 swapFree=56930356/67111528
[pid=17102] ppid=17099 vsize=6348 CPUtime=0.39 cores=0,2,4,6
/proc/17102/stat : 17102 (wbo1.6) R 17099 17102 11603 0 -1 4202496 2078 0 0 0 39 0 0 0 18 0 1 0 820463173 6500352 1305 33554432000 4194304 5714214 140735153231648 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/17102/statm: 1587 1305 180 372 0 1212 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 6348
Child status: 0
Real time (s): 0.477365
CPU time (s): 0.476927
CPU user time (s): 0.466929
CPU system time (s): 0.009998
CPU usage (%): 99.9082
Max. virtual memory (cumulated for all children) (KiB): 6348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.466929
system time used= 0.009998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2278
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 2
runsolver used 0.005999 second user time and 0.021996 second system time
The end
Begin job on node137 at 2011-06-03 10:10:55
IDJOB=3461433
IDBENCH=2156
IDSOLVER=1953
FILE ID=node137/3461433-1307088654
RUNJOBID= node137-1307088654-17085
PBS_JOBID= 13497849
Free space on /tmp= 73708 MiB
SOLVER NAME= wbo 1.6
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ssa2670-141.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461433-1307088654/watcher-3461433-1307088654 -o /tmp/evaluation-result-3461433-1307088654/solver-3461433-1307088654 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461433-1307088654.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= bf686e12342472d00013af54a5ee9279
RANDOM SEED=1690259181
node137.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.844
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.68
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.844
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.844
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.844
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.844
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.844
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.844
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.844
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 23974048 kB
Buffers: 231056 kB
Cached: 479360 kB
SwapCached: 12308 kB
Active: 8285220 kB
Inactive: 430836 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 23974048 kB
SwapTotal: 67111528 kB
SwapFree: 56930356 kB
Dirty: 8588 kB
Writeback: 0 kB
AnonPages: 8003012 kB
Mapped: 21024 kB
Slab: 115688 kB
PageTables: 74480 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 162515608 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73700 MiB
End job on node137 at 2011-06-03 10:10:55