0.00/0.00 c wbo 1.6 beta - 20110321
0.00/0.00 c Parsing opb file format. File HOME/instance-3461385-1307083625.opb.
0.00/0.00 c Instance file HOME/instance-3461385-1307083625.opb
0.00/0.00 c File size is 150148 bytes.
0.00/0.01 c Highest Coefficient sum: 7
0.00/0.01 c ============================[ Problem Statistics ]=============================
0.00/0.01 c | |
0.00/0.01 c | Parsing time: 0.01 s |
0.00/0.01 c | Number Variables: 2080 |
0.00/0.01 c | Number Clauses: 4708 |
0.00/0.01 c | Number Cardinality: 0 |
0.00/0.01 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 | 1828 4708 8595 | 5000 0 -nan | 0.000 % |
0.03/0.05 c core #1
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 4 Total Weight: 130
0.03/0.05 c Current CPU time: 0.014997 s
0.03/0.05 c
0.03/0.05 c core #2
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 3 Total Weight: 133
0.03/0.05 c Current CPU time: 0.015997 s
0.03/0.05 c
0.03/0.05 c core #3
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 3 Total Weight: 136
0.03/0.05 c Current CPU time: 0.016997 s
0.03/0.05 c
0.03/0.05 c core #4
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 3 Total Weight: 139
0.03/0.05 c Current CPU time: 0.017997 s
0.03/0.05 c
0.03/0.05 c core #5
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 3 Total Weight: 142
0.03/0.05 c Current CPU time: 0.018997 s
0.03/0.05 c
0.03/0.05 c core #6
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 7 Total Weight: 149
0.03/0.05 c Current CPU time: 0.019996 s
0.03/0.05 c
0.03/0.05 c core #7
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 3 Total Weight: 152
0.03/0.05 c Current CPU time: 0.020996 s
0.03/0.05 c
0.03/0.05 c core #8
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 3 Total Weight: 155
0.03/0.05 c Current CPU time: 0.021996 s
0.03/0.05 c
0.03/0.05 c core #9
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 6 Total Weight: 161
0.03/0.05 c Current CPU time: 0.022996 s
0.03/0.05 c
0.03/0.05 c core #10
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 3 Total Weight: 164
0.03/0.05 c Current CPU time: 0.023996 s
0.03/0.05 c
0.03/0.05 c core #11
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 3 Total Weight: 167
0.03/0.05 c Current CPU time: 0.024996 s
0.03/0.05 c
0.03/0.05 c core #12
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 3 Total Weight: 170
0.03/0.05 c Current CPU time: 0.025996 s
0.03/0.05 c
0.03/0.05 c core #13
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 4 Total Weight: 174
0.03/0.05 c Current CPU time: 0.026995 s
0.03/0.05 c
0.03/0.05 c core #14
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 4 Total Weight: 178
0.03/0.05 c Current CPU time: 0.027995 s
0.03/0.05 c
0.03/0.05 c core #15
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 3 Total Weight: 181
0.03/0.05 c Current CPU time: 0.028995 s
0.03/0.05 c
0.03/0.05 c core #16
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 3 Total Weight: 184
0.03/0.05 c Current CPU time: 0.029995 s
0.03/0.05 c
0.03/0.05 c core #17
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 3 Total Weight: 187
0.03/0.05 c Current CPU time: 0.030995 s
0.03/0.05 c
0.03/0.05 c core #18
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 3 Total Weight: 190
0.03/0.05 c Current CPU time: 0.031995 s
0.03/0.05 c
0.03/0.05 c core #19
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 6 Total Weight: 196
0.03/0.05 c Current CPU time: 0.032994 s
0.03/0.05 c
0.03/0.05 c core #20
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 3 Total Weight: 199
0.03/0.05 c Current CPU time: 0.033994 s
0.03/0.05 c
0.03/0.05 c core #21
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 3 Total Weight: 202
0.03/0.05 c Current CPU time: 0.034994 s
0.03/0.05 c
0.03/0.05 c core #22
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 3 Total Weight: 205
0.03/0.05 c Current CPU time: 0.035994 s
0.03/0.05 c
0.03/0.05 c core #23
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 3 Total Weight: 208
0.03/0.05 c Current CPU time: 0.036994 s
0.03/0.05 c
0.03/0.05 c core #24
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 3 Total Weight: 211
0.03/0.05 c Current CPU time: 0.037994 s
0.03/0.05 c
0.03/0.05 c core #25
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 3 Total Weight: 214
0.03/0.05 c Current CPU time: 0.038994 s
0.03/0.05 c
0.03/0.05 c core #26
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 6 Total Weight: 220
0.03/0.05 c Current CPU time: 0.039993 s
0.03/0.05 c
0.03/0.05 c core #27
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 6 Total Weight: 226
0.03/0.05 c Current CPU time: 0.040993 s
0.03/0.05 c
0.03/0.05 c core #28
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 3 Total Weight: 229
0.03/0.05 c Current CPU time: 0.041993 s
0.03/0.05 c
0.03/0.05 c core #29
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 3 Total Weight: 232
0.03/0.05 c Current CPU time: 0.042993 s
0.03/0.05 c
0.03/0.05 c core #30
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 3 Total Weight: 235
0.03/0.05 c Current CPU time: 0.043993 s
0.03/0.05 c
0.03/0.05 c core #31
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 7 Total Weight: 242
0.03/0.05 c Current CPU time: 0.044993 s
0.03/0.05 c
0.03/0.05 c core #32
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 3 Total Weight: 245
0.03/0.05 c Current CPU time: 0.045993 s
0.03/0.05 c
0.03/0.05 c core #33
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 6 Total Weight: 251
0.03/0.05 c Current CPU time: 0.046992 s
0.03/0.05 c
0.03/0.05 c core #34
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 7 Total Weight: 258
0.03/0.05 c Current CPU time: 0.047992 s
0.03/0.05 c
0.03/0.05 c core #35
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 3 Total Weight: 261
0.03/0.05 c Current CPU time: 0.048992 s
0.03/0.05 c
0.03/0.05 c core #36
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 28 Total Weight: 289
0.03/0.05 c Current CPU time: 0.049992 s
0.03/0.05 c
0.03/0.05 c core #37
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 28 Total Weight: 317
0.03/0.05 c Current CPU time: 0.050992 s
0.03/0.05 c
0.03/0.05 c core #38
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 14 Total Weight: 331
0.03/0.05 c Current CPU time: 0.051992 s
0.03/0.05 c
0.03/0.05 c core #39
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 14 Total Weight: 345
0.03/0.05 c Current CPU time: 0.052991 s
0.03/0.05 c
0.03/0.05 c core #40
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 11 Total Weight: 356
0.03/0.05 c Current CPU time: 0.053991 s
0.03/0.05 c
0.03/0.05 c core #41
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 11 Total Weight: 367
0.03/0.05 c Current CPU time: 0.054991 s
0.03/0.05 c
0.03/0.05 c core #42
0.03/0.05 c
0.03/0.05 c
0.03/0.05 c Core size: 2 Core Weight: 3 Total Weight: 370
0.03/0.05 c Current CPU time: 0.055991 s
0.03/0.09 c
0.03/0.09 c core #43
0.03/0.09 c
0.03/0.09 c
0.03/0.09 c Core size: 2 Core Weight: 3 Total Weight: 373
0.03/0.09 c Current CPU time: 0.056991 s
0.03/0.09 c
0.03/0.09 c core #44
0.03/0.09 c
0.03/0.09 c
0.03/0.09 c Core size: 2 Core Weight: 3 Total Weight: 376
0.03/0.09 c Current CPU time: 0.057991 s
0.03/0.09 c
0.03/0.09 c core #45
0.03/0.09 c
0.03/0.09 c
0.03/0.09 c Core size: 2 Core Weight: 3 Total Weight: 379
0.03/0.09 c Current CPU time: 0.058991 s
0.03/0.09 c
0.03/0.09 c core #46
0.03/0.09 c
0.03/0.09 c
0.03/0.09 c Core size: 2 Core Weight: 4 Total Weight: 383
0.03/0.09 c Current CPU time: 0.05999 s
0.03/0.09 c
0.03/0.09 c core #47
0.03/0.09 c
0.03/0.09 c
0.03/0.09 c Core size: 2 Core Weight: 4 Total Weight: 387
0.03/0.09 c Current CPU time: 0.06099 s
0.03/0.09 c
0.03/0.09 c core #48
0.03/0.09 c
0.03/0.09 c
0.03/0.09 c Core size: 2 Core Weight: 4 Total Weight: 391
0.03/0.09 c Current CPU time: 0.06199 s
0.03/0.09 c
0.03/0.09 c core #49
0.03/0.09 c
0.03/0.09 c
0.03/0.09 c Core size: 2 Core Weight: 4 Total Weight: 395
0.03/0.09 c Current CPU time: 0.06299 s
0.03/0.09 c
0.03/0.09 c core #50
0.03/0.09 c
0.03/0.09 c
0.03/0.09 c Core size: 2 Core Weight: 3 Total Weight: 398
0.03/0.09 c Current CPU time: 0.06399 s
0.03/0.09 c
0.03/0.09 c core #51
0.03/0.09 c
0.03/0.09 c
0.03/0.09 c Core size: 2 Core Weight: 3 Total Weight: 401
0.03/0.09 c Current CPU time: 0.06499 s
0.03/0.09 c
0.03/0.09 c core #52
0.03/0.09 c
0.03/0.09 c
0.03/0.09 c Core size: 2 Core Weight: 7 Total Weight: 408
0.03/0.09 c Current CPU time: 0.065989 s
0.03/0.09 c
0.03/0.09 c core #53
0.03/0.09 c
0.03/0.09 c
0.03/0.09 c Core size: 2 Core Weight: 7 Total Weight: 415
0.03/0.10 c Current CPU time: 0.066989 s
0.03/0.10 c
0.03/0.10 c core #54
0.03/0.10 c
0.03/0.10 c
0.03/0.10 c Core size: 2 Core Weight: 9 Total Weight: 424
0.03/0.10 c Current CPU time: 0.067989 s
0.03/0.10 c
0.03/0.10 c core #55
0.03/0.10 c
0.03/0.10 c
0.03/0.10 c Core size: 2 Core Weight: 9 Total Weight: 433
0.03/0.10 c Current CPU time: 0.068989 s
0.03/0.10 c
0.03/0.10 c core #56
0.03/0.10 c
0.03/0.10 c
0.03/0.10 c Core size: 2 Core Weight: 12 Total Weight: 445
0.03/0.10 c Current CPU time: 0.069989 s
0.03/0.10 c
0.03/0.10 c core #57
0.03/0.10 c
0.03/0.10 c
0.03/0.10 c Core size: 2 Core Weight: 3 Total Weight: 448
0.03/0.10 c Current CPU time: 0.070989 s
0.03/0.10 c
0.03/0.10 c core #58
0.03/0.10 c
0.03/0.10 c
0.03/0.10 c Core size: 2 Core Weight: 3 Total Weight: 451
0.03/0.10 c Current CPU time: 0.071989 s
0.03/0.10 c
0.03/0.10 c core #59
0.03/0.10 c
0.03/0.10 c
0.03/0.10 c Core size: 2 Core Weight: 2 Total Weight: 453
0.03/0.10 c Current CPU time: 0.072988 s
0.03/0.10 c
0.03/0.10 c core #60
0.03/0.10 c
0.03/0.10 c
0.03/0.10 c Core size: 2 Core Weight: 2 Total Weight: 455
0.03/0.10 c Current CPU time: 0.073988 s
0.03/0.10 c
0.03/0.10 c core #61
0.03/0.10 c
0.03/0.10 c
0.03/0.10 c Core size: 2 Core Weight: 3 Total Weight: 458
0.03/0.10 c Current CPU time: 0.074988 s
0.03/0.10 c
0.03/0.10 c core #62
0.03/0.10 c
0.03/0.10 c
0.03/0.10 c Core size: 2 Core Weight: 3 Total Weight: 461
0.03/0.10 c Current CPU time: 0.075988 s
0.03/0.10 c
0.03/0.10 c core #63
0.03/0.10 c
0.03/0.10 c
0.03/0.10 c Core size: 2 Core Weight: 4 Total Weight: 465
0.03/0.10 c Current CPU time: 0.076988 s
0.03/0.10 c
0.03/0.10 c core #64
0.03/0.10 c
0.03/0.10 c
0.03/0.10 c Core size: 2 Core Weight: 4 Total Weight: 469
0.03/0.10 c Current CPU time: 0.077988 s
0.03/0.10 c
0.03/0.10 c core #65
0.03/0.10 c
0.03/0.10 c
0.03/0.10 c Core size: 2 Core Weight: 2 Total Weight: 471
0.03/0.10 c Current CPU time: 0.079987 s
0.03/0.10 c
0.03/0.10 c core #66
0.03/0.10 c
0.03/0.10 c
0.03/0.10 c Core size: 2 Core Weight: 2 Total Weight: 473
0.03/0.10 c Current CPU time: 0.080987 s
0.03/0.10 c
0.03/0.10 c core #67
0.03/0.10 c
0.03/0.10 c
0.03/0.10 c Core size: 2 Core Weight: 2 Total Weight: 475
0.03/0.10 c Current CPU time: 0.081987 s
0.03/0.10 c
0.03/0.10 c core #68
0.03/0.10 c
0.03/0.10 c
0.03/0.10 c Core size: 2 Core Weight: 2 Total Weight: 477
0.03/0.10 c Current CPU time: 0.082987 s
0.03/0.10 c
0.03/0.10 c core #69
0.03/0.10 c
0.03/0.10 c
0.03/0.10 c Core size: 2 Core Weight: 4 Total Weight: 481
0.03/0.10 c Current CPU time: 0.083987 s
0.03/0.10 c
0.03/0.10 c core #70
0.03/0.10 c
0.03/0.10 c
0.03/0.10 c Core size: 2 Core Weight: 4 Total Weight: 485
0.03/0.10 c Current CPU time: 0.084987 s
0.03/0.10 c
0.03/0.10 c core #71
0.03/0.10 c
0.03/0.10 c
0.03/0.10 c Core size: 2 Core Weight: 6 Total Weight: 491
0.03/0.10 c Current CPU time: 0.085986 s
0.03/0.10 c
0.03/0.10 c core #72
0.03/0.10 c
0.03/0.10 c
0.03/0.10 c Core size: 2 Core Weight: 6 Total Weight: 497
0.03/0.10 c Current CPU time: 0.086986 s
0.03/0.10 c
0.03/0.10 c core #73
0.03/0.10 c
0.03/0.10 c
0.03/0.10 c Core size: 2 Core Weight: 6 Total Weight: 503
0.03/0.10 c Current CPU time: 0.087986 s
0.03/0.10 c
0.03/0.10 c core #74
0.03/0.10 c
0.03/0.10 c
0.03/0.10 c Core size: 2 Core Weight: 6 Total Weight: 509
0.09/0.10 c Current CPU time: 0.088986 s
0.09/0.10 c
0.09/0.10 c core #75
0.09/0.10 c
0.09/0.10 c
0.09/0.10 c Core size: 2 Core Weight: 4 Total Weight: 513
0.09/0.10 c Current CPU time: 0.089986 s
0.09/0.10 c
0.09/0.10 c core #76
0.09/0.10 c
0.09/0.10 c
0.09/0.10 c Core size: 2 Core Weight: 4 Total Weight: 517
0.09/0.10 c Current CPU time: 0.090986 s
0.09/0.10 c
0.09/0.10 c core #77
0.09/0.10 c
0.09/0.10 c
0.09/0.10 c Core size: 2 Core Weight: 3 Total Weight: 520
0.09/0.10 c Current CPU time: 0.091986 s
0.09/0.10 c
0.09/0.10 c core #78
0.09/0.10 c
0.09/0.10 c
0.09/0.10 c Core size: 2 Core Weight: 3 Total Weight: 523
0.09/0.10 c Current CPU time: 0.092985 s
0.09/0.10 c
0.09/0.10 c core #79
0.09/0.10 c
0.09/0.10 c
0.09/0.10 c Core size: 2 Core Weight: 5 Total Weight: 528
0.09/0.10 c Current CPU time: 0.093985 s
0.09/0.10 c
0.09/0.10 c core #80
0.09/0.10 c
0.09/0.10 c
0.09/0.10 c Core size: 2 Core Weight: 5 Total Weight: 533
0.09/0.10 c Current CPU time: 0.094985 s
0.09/0.10 c
0.09/0.10 c core #81
0.09/0.10 c
0.09/0.10 c
0.09/0.10 c Core size: 2 Core Weight: 2 Total Weight: 535
0.09/0.10 c Current CPU time: 0.095985 s
0.09/0.10 c
0.09/0.10 c core #82
0.09/0.10 c
0.09/0.10 c
0.09/0.10 c Core size: 2 Core Weight: 2 Total Weight: 537
0.09/0.10 c Current CPU time: 0.096985 s
0.09/0.10 c
0.09/0.10 c core #83
0.09/0.10 c
0.09/0.10 c
0.09/0.10 c Core size: 2 Core Weight: 11 Total Weight: 548
0.09/0.10 c Current CPU time: 0.097985 s
0.09/0.10 c
0.09/0.10 c core #84
0.09/0.10 c
0.09/0.10 c
0.09/0.10 c Core size: 2 Core Weight: 6 Total Weight: 554
0.09/0.14 c Current CPU time: 0.098984 s
0.09/0.14 c
0.09/0.14 c core #85
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 2 Core Weight: 6 Total Weight: 560
0.09/0.14 c Current CPU time: 0.099984 s
0.09/0.14 c
0.09/0.14 c core #86
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 2 Core Weight: 6 Total Weight: 566
0.09/0.14 c Current CPU time: 0.100984 s
0.09/0.14 c
0.09/0.14 c core #87
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 2 Core Weight: 6 Total Weight: 572
0.09/0.14 c Current CPU time: 0.101984 s
0.09/0.14 c
0.09/0.14 c core #88
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 2 Core Weight: 11 Total Weight: 583
0.09/0.14 c Current CPU time: 0.102984 s
0.09/0.14 c
0.09/0.14 c core #89
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 2 Core Weight: 12 Total Weight: 595
0.09/0.14 c Current CPU time: 0.103984 s
0.09/0.14 c
0.09/0.14 c core #90
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 2 Core Weight: 2 Total Weight: 597
0.09/0.14 c Current CPU time: 0.105983 s
0.09/0.14 c
0.09/0.14 c core #91
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 2 Core Weight: 2 Total Weight: 599
0.09/0.14 c Current CPU time: 0.106983 s
0.09/0.14 c
0.09/0.14 c core #92
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 2 Core Weight: 12 Total Weight: 611
0.09/0.14 c Current CPU time: 0.107983 s
0.09/0.14 c
0.09/0.14 c core #93
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 2 Core Weight: 2 Total Weight: 613
0.09/0.14 c Current CPU time: 0.108983 s
0.09/0.14 c
0.09/0.14 c core #94
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 2 Core Weight: 2 Total Weight: 615
0.09/0.14 c Current CPU time: 0.109983 s
0.09/0.14 c
0.09/0.14 c core #95
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 2 Core Weight: 2 Total Weight: 617
0.09/0.14 c Current CPU time: 0.110983 s
0.09/0.14 c
0.09/0.14 c core #96
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 2 Core Weight: 2 Total Weight: 619
0.09/0.14 c Current CPU time: 0.111982 s
0.09/0.14 c
0.09/0.14 c core #97
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 2 Core Weight: 6 Total Weight: 625
0.09/0.14 c Current CPU time: 0.112982 s
0.09/0.14 c
0.09/0.14 c core #98
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 2 Core Weight: 2 Total Weight: 627
0.09/0.14 c Current CPU time: 0.113982 s
0.09/0.14 c
0.09/0.14 c core #99
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 2 Core Weight: 2 Total Weight: 629
0.09/0.14 c Current CPU time: 0.115982 s
0.09/0.14 c
0.09/0.14 c core #100
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 2 Core Weight: 12 Total Weight: 641
0.09/0.14 c Current CPU time: 0.116982 s
0.09/0.14 c
0.09/0.14 c core #101
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 4 Core Weight: 1 Total Weight: 642
0.09/0.14 c Current CPU time: 0.117982 s
0.09/0.14 c
0.09/0.14 c core #102
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 643
0.09/0.14 c Current CPU time: 0.118981 s
0.09/0.14 c
0.09/0.14 c core #103
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 644
0.09/0.14 c Current CPU time: 0.119981 s
0.09/0.14 c
0.09/0.14 c core #104
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 645
0.09/0.14 c Current CPU time: 0.120981 s
0.09/0.14 c
0.09/0.14 c core #105
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 646
0.09/0.14 c Current CPU time: 0.121981 s
0.09/0.14 c
0.09/0.14 c core #106
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 647
0.09/0.14 c Current CPU time: 0.123981 s
0.09/0.14 c
0.09/0.14 c core #107
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 648
0.09/0.14 c Current CPU time: 0.124981 s
0.09/0.14 c
0.09/0.14 c core #108
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 649
0.09/0.14 c Current CPU time: 0.12598 s
0.09/0.14 c
0.09/0.14 c core #109
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 650
0.09/0.14 c Current CPU time: 0.12698 s
0.09/0.14 c
0.09/0.14 c core #110
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 651
0.09/0.14 c Current CPU time: 0.12798 s
0.09/0.14 c
0.09/0.14 c core #111
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 652
0.09/0.14 c Current CPU time: 0.12898 s
0.09/0.14 c
0.09/0.14 c core #112
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 653
0.09/0.14 c Current CPU time: 0.13098 s
0.09/0.14 c
0.09/0.14 c core #113
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 654
0.09/0.14 c Current CPU time: 0.131979 s
0.09/0.14 c
0.09/0.14 c core #114
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 655
0.09/0.14 c Current CPU time: 0.132979 s
0.09/0.14 c
0.09/0.14 c core #115
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 656
0.09/0.14 c Current CPU time: 0.133979 s
0.09/0.14 c
0.09/0.14 c core #116
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 657
0.09/0.14 c Current CPU time: 0.134979 s
0.09/0.14 c
0.09/0.14 c core #117
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 658
0.09/0.14 c Current CPU time: 0.136979 s
0.09/0.14 c
0.09/0.14 c core #118
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 659
0.09/0.14 c Current CPU time: 0.137979 s
0.09/0.14 c
0.09/0.14 c core #119
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 660
0.09/0.14 c Current CPU time: 0.138978 s
0.09/0.14 c
0.09/0.14 c core #120
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 661
0.09/0.14 c Current CPU time: 0.139978 s
0.09/0.14 c
0.09/0.14 c core #121
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 662
0.09/0.14 c Current CPU time: 0.140978 s
0.09/0.14 c
0.09/0.14 c core #122
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 663
0.09/0.14 c Current CPU time: 0.142978 s
0.09/0.14 c
0.09/0.14 c core #123
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 664
0.09/0.14 c Current CPU time: 0.143978 s
0.09/0.14 c
0.09/0.14 c core #124
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 665
0.09/0.14 c Current CPU time: 0.144977 s
0.09/0.14 c
0.09/0.14 c core #125
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 4 Core Weight: 1 Total Weight: 666
0.09/0.14 c Current CPU time: 0.145977 s
0.09/0.14 c
0.09/0.14 c core #126
0.09/0.14 c
0.09/0.14 c
0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 667
0.19/0.20 c Current CPU time: 0.146977 s
0.19/0.20 c
0.19/0.20 c core #127
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 668
0.19/0.20 c Current CPU time: 0.147977 s
0.19/0.20 c
0.19/0.20 c core #128
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 669
0.19/0.20 c Current CPU time: 0.148977 s
0.19/0.20 c
0.19/0.20 c core #129
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 670
0.19/0.20 c Current CPU time: 0.149977 s
0.19/0.20 c
0.19/0.20 c core #130
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 671
0.19/0.20 c Current CPU time: 0.150977 s
0.19/0.20 c
0.19/0.20 c core #131
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 672
0.19/0.20 c Current CPU time: 0.152976 s
0.19/0.20 c
0.19/0.20 c core #132
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 673
0.19/0.20 c Current CPU time: 0.153976 s
0.19/0.20 c
0.19/0.20 c core #133
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 674
0.19/0.20 c Current CPU time: 0.154976 s
0.19/0.20 c
0.19/0.20 c core #134
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 675
0.19/0.20 c Current CPU time: 0.155976 s
0.19/0.20 c
0.19/0.20 c core #135
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 676
0.19/0.20 c Current CPU time: 0.157975 s
0.19/0.20 c
0.19/0.20 c core #136
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 4 Core Weight: 1 Total Weight: 677
0.19/0.20 c Current CPU time: 0.158975 s
0.19/0.20 c
0.19/0.20 c core #137
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 678
0.19/0.20 c Current CPU time: 0.159975 s
0.19/0.20 c
0.19/0.20 c core #138
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 4 Core Weight: 1 Total Weight: 679
0.19/0.20 c Current CPU time: 0.160975 s
0.19/0.20 c
0.19/0.20 c core #139
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 4 Core Weight: 1 Total Weight: 680
0.19/0.20 c Current CPU time: 0.162975 s
0.19/0.20 c
0.19/0.20 c core #140
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 681
0.19/0.20 c Current CPU time: 0.163975 s
0.19/0.20 c
0.19/0.20 c core #141
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 682
0.19/0.20 c Current CPU time: 0.164974 s
0.19/0.20 c
0.19/0.20 c core #142
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 683
0.19/0.20 c Current CPU time: 0.165974 s
0.19/0.20 c
0.19/0.20 c core #143
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 684
0.19/0.20 c Current CPU time: 0.166974 s
0.19/0.20 c
0.19/0.20 c core #144
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 685
0.19/0.20 c Current CPU time: 0.167974 s
0.19/0.20 c
0.19/0.20 c core #145
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 686
0.19/0.20 c Current CPU time: 0.169974 s
0.19/0.20 c
0.19/0.20 c core #146
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 687
0.19/0.20 c Current CPU time: 0.170974 s
0.19/0.20 c
0.19/0.20 c core #147
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 688
0.19/0.20 c Current CPU time: 0.171973 s
0.19/0.20 c
0.19/0.20 c core #148
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 689
0.19/0.20 c Current CPU time: 0.172973 s
0.19/0.20 c
0.19/0.20 c core #149
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 690
0.19/0.20 c Current CPU time: 0.174973 s
0.19/0.20 c
0.19/0.20 c core #150
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 4 Core Weight: 1 Total Weight: 691
0.19/0.20 c Current CPU time: 0.175973 s
0.19/0.20 c
0.19/0.20 c core #151
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 692
0.19/0.20 c Current CPU time: 0.176973 s
0.19/0.20 c
0.19/0.20 c core #152
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 4 Core Weight: 1 Total Weight: 693
0.19/0.20 c Current CPU time: 0.178972 s
0.19/0.20 c
0.19/0.20 c core #153
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 694
0.19/0.20 c Current CPU time: 0.179972 s
0.19/0.20 c
0.19/0.20 c core #154
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 4 Core Weight: 1 Total Weight: 695
0.19/0.20 c Current CPU time: 0.180972 s
0.19/0.20 c
0.19/0.20 c core #155
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 4 Core Weight: 1 Total Weight: 696
0.19/0.20 c Current CPU time: 0.182972 s
0.19/0.20 c
0.19/0.20 c core #156
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 697
0.19/0.20 c Current CPU time: 0.183972 s
0.19/0.20 c
0.19/0.20 c core #157
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 4 Core Weight: 1 Total Weight: 698
0.19/0.20 c Current CPU time: 0.184971 s
0.19/0.20 c
0.19/0.20 c core #158
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 699
0.19/0.20 c Current CPU time: 0.186971 s
0.19/0.20 c
0.19/0.20 c core #159
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 4 Core Weight: 1 Total Weight: 700
0.19/0.20 c Current CPU time: 0.187971 s
0.19/0.20 c
0.19/0.20 c core #160
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 701
0.19/0.20 c Current CPU time: 0.188971 s
0.19/0.20 c
0.19/0.20 c core #161
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 4 Core Weight: 1 Total Weight: 702
0.19/0.20 c Current CPU time: 0.19097 s
0.19/0.20 c
0.19/0.20 c core #162
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 703
0.19/0.20 c Current CPU time: 0.19197 s
0.19/0.20 c
0.19/0.20 c core #163
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 4 Core Weight: 1 Total Weight: 704
0.19/0.20 c Current CPU time: 0.19297 s
0.19/0.20 c
0.19/0.20 c core #164
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 4 Core Weight: 1 Total Weight: 705
0.19/0.20 c Current CPU time: 0.19497 s
0.19/0.20 c
0.19/0.20 c core #165
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 706
0.19/0.20 c Current CPU time: 0.19597 s
0.19/0.20 c
0.19/0.20 c core #166
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 707
0.19/0.20 c Current CPU time: 0.197969 s
0.19/0.20 c
0.19/0.20 c core #167
0.19/0.20 c
0.19/0.20 c
0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 708
0.19/0.26 c Current CPU time: 0.198969 s
0.19/0.26 c
0.19/0.26 c core #168
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 709
0.19/0.26 c Current CPU time: 0.199969 s
0.19/0.26 c
0.19/0.26 c core #169
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 4 Core Weight: 1 Total Weight: 710
0.19/0.26 c Current CPU time: 0.201969 s
0.19/0.26 c
0.19/0.26 c core #170
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 711
0.19/0.26 c Current CPU time: 0.202969 s
0.19/0.26 c
0.19/0.26 c core #171
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 4 Core Weight: 1 Total Weight: 712
0.19/0.26 c Current CPU time: 0.203968 s
0.19/0.26 c
0.19/0.26 c core #172
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 713
0.19/0.26 c Current CPU time: 0.205968 s
0.19/0.26 c
0.19/0.26 c core #173
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 714
0.19/0.26 c Current CPU time: 0.206968 s
0.19/0.26 c
0.19/0.26 c core #174
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 715
0.19/0.26 c Current CPU time: 0.207968 s
0.19/0.26 c
0.19/0.26 c core #175
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 716
0.19/0.26 c Current CPU time: 0.209968 s
0.19/0.26 c
0.19/0.26 c core #176
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 717
0.19/0.26 c Current CPU time: 0.210967 s
0.19/0.26 c
0.19/0.26 c core #177
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 718
0.19/0.26 c Current CPU time: 0.211967 s
0.19/0.26 c
0.19/0.26 c core #178
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 5 Core Weight: 1 Total Weight: 719
0.19/0.26 c Current CPU time: 0.213967 s
0.19/0.26 c
0.19/0.26 c core #179
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 720
0.19/0.26 c Current CPU time: 0.214967 s
0.19/0.26 c
0.19/0.26 c core #180
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 5 Core Weight: 1 Total Weight: 721
0.19/0.26 c Current CPU time: 0.216967 s
0.19/0.26 c
0.19/0.26 c core #181
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 722
0.19/0.26 c Current CPU time: 0.217966 s
0.19/0.26 c
0.19/0.26 c core #182
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 723
0.19/0.26 c Current CPU time: 0.218966 s
0.19/0.26 c
0.19/0.26 c core #183
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 724
0.19/0.26 c Current CPU time: 0.220966 s
0.19/0.26 c
0.19/0.26 c core #184
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 725
0.19/0.26 c Current CPU time: 0.221966 s
0.19/0.26 c
0.19/0.26 c core #185
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 726
0.19/0.26 c Current CPU time: 0.223965 s
0.19/0.26 c
0.19/0.26 c core #186
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 727
0.19/0.26 c Current CPU time: 0.224965 s
0.19/0.26 c
0.19/0.26 c core #187
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 728
0.19/0.26 c Current CPU time: 0.226965 s
0.19/0.26 c
0.19/0.26 c core #188
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 729
0.19/0.26 c Current CPU time: 0.227965 s
0.19/0.26 c
0.19/0.26 c core #189
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 730
0.19/0.26 c Current CPU time: 0.228965 s
0.19/0.26 c
0.19/0.26 c core #190
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 731
0.19/0.26 c Current CPU time: 0.230964 s
0.19/0.26 c
0.19/0.26 c core #191
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 732
0.19/0.26 c Current CPU time: 0.231964 s
0.19/0.26 c
0.19/0.26 c core #192
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 733
0.19/0.26 c Current CPU time: 0.233964 s
0.19/0.26 c
0.19/0.26 c core #193
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 734
0.19/0.26 c Current CPU time: 0.234964 s
0.19/0.26 c
0.19/0.26 c core #194
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 735
0.19/0.26 c Current CPU time: 0.235964 s
0.19/0.26 c
0.19/0.26 c core #195
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 736
0.19/0.26 c Current CPU time: 0.237963 s
0.19/0.26 c
0.19/0.26 c core #196
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 737
0.19/0.26 c Current CPU time: 0.238963 s
0.19/0.26 c
0.19/0.26 c core #197
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 738
0.19/0.26 c Current CPU time: 0.240963 s
0.19/0.26 c
0.19/0.26 c core #198
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 739
0.19/0.26 c Current CPU time: 0.241963 s
0.19/0.26 c
0.19/0.26 c core #199
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 740
0.19/0.26 c Current CPU time: 0.243962 s
0.19/0.26 c
0.19/0.26 c core #200
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 741
0.19/0.26 c Current CPU time: 0.244962 s
0.19/0.26 c
0.19/0.26 c core #201
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 742
0.19/0.26 c Current CPU time: 0.245962 s
0.19/0.26 c
0.19/0.26 c core #202
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 743
0.19/0.26 c Current CPU time: 0.247962 s
0.19/0.26 c
0.19/0.26 c core #203
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 744
0.19/0.26 c Current CPU time: 0.248962 s
0.19/0.26 c
0.19/0.26 c core #204
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 745
0.19/0.26 c Current CPU time: 0.250961 s
0.19/0.26 c
0.19/0.26 c core #205
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 746
0.19/0.26 c Current CPU time: 0.251961 s
0.19/0.26 c
0.19/0.26 c core #206
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 747
0.19/0.26 c Current CPU time: 0.252961 s
0.19/0.26 c
0.19/0.26 c core #207
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 748
0.19/0.26 c Current CPU time: 0.254961 s
0.19/0.26 c
0.19/0.26 c core #208
0.19/0.26 c
0.19/0.26 c
0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 749
0.19/0.26 c Current CPU time: 0.255961 s
0.19/0.26 c
0.29/0.32 c core #209
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 750
0.29/0.32 c Current CPU time: 0.25796 s
0.29/0.32 c
0.29/0.32 c core #210
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 751
0.29/0.32 c Current CPU time: 0.25896 s
0.29/0.32 c
0.29/0.32 c core #211
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 752
0.29/0.32 c Current CPU time: 0.26096 s
0.29/0.32 c
0.29/0.32 c core #212
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 753
0.29/0.32 c Current CPU time: 0.26196 s
0.29/0.32 c
0.29/0.32 c core #213
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 754
0.29/0.32 c Current CPU time: 0.263959 s
0.29/0.32 c
0.29/0.32 c core #214
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 755
0.29/0.32 c Current CPU time: 0.264959 s
0.29/0.32 c
0.29/0.32 c core #215
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 756
0.29/0.32 c Current CPU time: 0.266959 s
0.29/0.32 c
0.29/0.32 c core #216
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 757
0.29/0.32 c Current CPU time: 0.267959 s
0.29/0.32 c
0.29/0.32 c core #217
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 758
0.29/0.32 c Current CPU time: 0.268959 s
0.29/0.32 c
0.29/0.32 c core #218
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 759
0.29/0.32 c Current CPU time: 0.270958 s
0.29/0.32 c
0.29/0.32 c core #219
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 760
0.29/0.32 c Current CPU time: 0.271958 s
0.29/0.32 c
0.29/0.32 c core #220
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 761
0.29/0.32 c Current CPU time: 0.273958 s
0.29/0.32 c
0.29/0.32 c core #221
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 762
0.29/0.32 c Current CPU time: 0.274958 s
0.29/0.32 c
0.29/0.32 c core #222
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 763
0.29/0.32 c Current CPU time: 0.276957 s
0.29/0.32 c
0.29/0.32 c core #223
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 764
0.29/0.32 c Current CPU time: 0.277957 s
0.29/0.32 c
0.29/0.32 c core #224
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 765
0.29/0.32 c Current CPU time: 0.279957 s
0.29/0.32 c
0.29/0.32 c core #225
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 766
0.29/0.32 c Current CPU time: 0.280957 s
0.29/0.32 c
0.29/0.32 c core #226
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 4 Core Weight: 1 Total Weight: 767
0.29/0.32 c Current CPU time: 0.282956 s
0.29/0.32 c
0.29/0.32 c core #227
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 768
0.29/0.32 c Current CPU time: 0.283956 s
0.29/0.32 c
0.29/0.32 c core #228
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 769
0.29/0.32 c Current CPU time: 0.285956 s
0.29/0.32 c
0.29/0.32 c core #229
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 770
0.29/0.32 c Current CPU time: 0.286956 s
0.29/0.32 c
0.29/0.32 c core #230
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 771
0.29/0.32 c Current CPU time: 0.287956 s
0.29/0.32 c
0.29/0.32 c core #231
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 772
0.29/0.32 c Current CPU time: 0.289955 s
0.29/0.32 c
0.29/0.32 c core #232
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 773
0.29/0.32 c Current CPU time: 0.290955 s
0.29/0.32 c
0.29/0.32 c core #233
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 774
0.29/0.32 c Current CPU time: 0.292955 s
0.29/0.32 c
0.29/0.32 c core #234
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 775
0.29/0.32 c Current CPU time: 0.293955 s
0.29/0.32 c
0.29/0.32 c core #235
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 776
0.29/0.32 c Current CPU time: 0.295955 s
0.29/0.32 c
0.29/0.32 c core #236
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 777
0.29/0.32 c Current CPU time: 0.296954 s
0.29/0.32 c
0.29/0.32 c core #237
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 778
0.29/0.32 c Current CPU time: 0.298954 s
0.29/0.32 c
0.29/0.32 c core #238
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 779
0.29/0.32 c Current CPU time: 0.299954 s
0.29/0.32 c
0.29/0.32 c core #239
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 4 Core Weight: 1 Total Weight: 780
0.29/0.32 c Current CPU time: 0.301954 s
0.29/0.32 c
0.29/0.32 c core #240
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 4 Core Weight: 1 Total Weight: 781
0.29/0.32 c Current CPU time: 0.302953 s
0.29/0.32 c
0.29/0.32 c core #241
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 6 Core Weight: 1 Total Weight: 782
0.29/0.32 c Current CPU time: 0.304953 s
0.29/0.32 c
0.29/0.32 c core #242
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 4 Core Weight: 1 Total Weight: 783
0.29/0.32 c Current CPU time: 0.305953 s
0.29/0.32 c
0.29/0.32 c core #243
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 4 Core Weight: 1 Total Weight: 784
0.29/0.32 c Current CPU time: 0.307953 s
0.29/0.32 c
0.29/0.32 c core #244
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 6 Core Weight: 1 Total Weight: 785
0.29/0.32 c Current CPU time: 0.308953 s
0.29/0.32 c
0.29/0.32 c core #245
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 4 Core Weight: 1 Total Weight: 786
0.29/0.32 c Current CPU time: 0.310952 s
0.29/0.32 c
0.29/0.32 c core #246
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 4 Core Weight: 1 Total Weight: 787
0.29/0.32 c Current CPU time: 0.311952 s
0.29/0.32 c
0.29/0.32 c core #247
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 4 Core Weight: 1 Total Weight: 788
0.29/0.32 c Current CPU time: 0.313952 s
0.29/0.32 c
0.29/0.32 c core #248
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 4 Core Weight: 1 Total Weight: 789
0.29/0.32 c Current CPU time: 0.314952 s
0.29/0.32 c
0.29/0.32 c core #249
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 4 Core Weight: 1 Total Weight: 790
0.29/0.32 c Current CPU time: 0.316951 s
0.29/0.32 c
0.29/0.32 c core #250
0.29/0.32 c
0.29/0.32 c
0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 791
0.29/0.38 c Current CPU time: 0.317951 s
0.29/0.38 c
0.29/0.38 c core #251
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: 792
0.29/0.38 c Current CPU time: 0.319951 s
0.29/0.38 c
0.29/0.38 c core #252
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: 793
0.29/0.38 c Current CPU time: 0.320951 s
0.29/0.38 c
0.29/0.38 c core #253
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: 794
0.29/0.38 c Current CPU time: 0.32295 s
0.29/0.38 c
0.29/0.38 c core #254
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: 795
0.29/0.38 c Current CPU time: 0.32395 s
0.29/0.38 c
0.29/0.38 c core #255
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: 796
0.29/0.38 c Current CPU time: 0.32595 s
0.29/0.38 c
0.29/0.38 c core #256
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: 797
0.29/0.38 c Current CPU time: 0.32695 s
0.29/0.38 c
0.29/0.38 c core #257
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: 798
0.29/0.38 c Current CPU time: 0.328949 s
0.29/0.38 c
0.29/0.38 c core #258
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: 799
0.29/0.38 c Current CPU time: 0.329949 s
0.29/0.38 c
0.29/0.38 c core #259
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: 800
0.29/0.38 c Current CPU time: 0.331949 s
0.29/0.38 c
0.29/0.38 c core #260
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: 801
0.29/0.38 c Current CPU time: 0.332949 s
0.29/0.38 c
0.29/0.38 c core #261
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: 802
0.29/0.38 c Current CPU time: 0.334949 s
0.29/0.38 c
0.29/0.38 c core #262
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: 803
0.29/0.38 c Current CPU time: 0.335948 s
0.29/0.38 c
0.29/0.38 c core #263
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: 804
0.29/0.38 c Current CPU time: 0.337948 s
0.29/0.38 c
0.29/0.38 c core #264
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: 805
0.29/0.38 c Current CPU time: 0.338948 s
0.29/0.38 c
0.29/0.38 c core #265
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: 806
0.29/0.38 c Current CPU time: 0.340948 s
0.29/0.38 c
0.29/0.38 c core #266
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: 807
0.29/0.38 c Current CPU time: 0.342947 s
0.29/0.38 c
0.29/0.38 c core #267
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: 808
0.29/0.38 c Current CPU time: 0.343947 s
0.29/0.38 c
0.29/0.38 c core #268
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: 809
0.29/0.38 c Current CPU time: 0.345947 s
0.29/0.38 c
0.29/0.38 c core #269
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: 810
0.29/0.38 c Current CPU time: 0.346947 s
0.29/0.38 c
0.29/0.38 c core #270
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 9 Core Weight: 1 Total Weight: 811
0.29/0.38 c Current CPU time: 0.348946 s
0.29/0.38 c
0.29/0.38 c core #271
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: 812
0.29/0.38 c Current CPU time: 0.349946 s
0.29/0.38 c
0.29/0.38 c core #272
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: 813
0.29/0.38 c Current CPU time: 0.351946 s
0.29/0.38 c
0.29/0.38 c core #273
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: 814
0.29/0.38 c Current CPU time: 0.353946 s
0.29/0.38 c
0.29/0.38 c core #274
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: 815
0.29/0.38 c Current CPU time: 0.354946 s
0.29/0.38 c
0.29/0.38 c core #275
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: 816
0.29/0.38 c Current CPU time: 0.356945 s
0.29/0.38 c
0.29/0.38 c core #276
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 9 Core Weight: 1 Total Weight: 817
0.29/0.38 c Current CPU time: 0.357945 s
0.29/0.38 c
0.29/0.38 c core #277
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: 818
0.29/0.38 c Current CPU time: 0.359945 s
0.29/0.38 c
0.29/0.38 c core #278
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: 819
0.29/0.38 c Current CPU time: 0.360945 s
0.29/0.38 c
0.29/0.38 c core #279
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: 820
0.29/0.38 c Current CPU time: 0.362944 s
0.29/0.38 c
0.29/0.38 c core #280
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: 821
0.29/0.38 c Current CPU time: 0.364944 s
0.29/0.38 c
0.29/0.38 c core #281
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: 822
0.29/0.38 c Current CPU time: 0.365944 s
0.29/0.38 c
0.29/0.38 c core #282
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 7 Core Weight: 1 Total Weight: 823
0.29/0.38 c Current CPU time: 0.367944 s
0.29/0.38 c
0.29/0.38 c core #283
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 10 Core Weight: 1 Total Weight: 824
0.29/0.38 c Current CPU time: 0.368943 s
0.29/0.38 c
0.29/0.38 c core #284
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 7 Core Weight: 1 Total Weight: 825
0.29/0.38 c Current CPU time: 0.370943 s
0.29/0.38 c
0.29/0.38 c core #285
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: 826
0.29/0.38 c Current CPU time: 0.372943 s
0.29/0.38 c
0.29/0.38 c core #286
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 9 Core Weight: 1 Total Weight: 827
0.29/0.38 c Current CPU time: 0.373943 s
0.29/0.38 c
0.29/0.38 c core #287
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 13 Core Weight: 1 Total Weight: 828
0.29/0.38 c Current CPU time: 0.375942 s
0.29/0.38 c
0.29/0.38 c core #288
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: 829
0.29/0.38 c Current CPU time: 0.377942 s
0.29/0.38 c
0.29/0.38 c core #289
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: 830
0.29/0.38 c Current CPU time: 0.378942 s
0.29/0.38 c
0.29/0.38 c core #290
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 8 Core Weight: 1 Total Weight: 831
0.29/0.38 c Current CPU time: 0.380942 s
0.29/0.38 c
0.29/0.38 c core #291
0.29/0.38 c
0.29/0.38 c
0.29/0.38 c Core size: 8 Core Weight: 1 Total Weight: 832
0.29/0.38 c Current CPU time: 0.382941 s
0.39/0.45 c
0.39/0.45 c core #292
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 4 Core Weight: 1 Total Weight: 833
0.39/0.45 c Current CPU time: 0.383941 s
0.39/0.45 c
0.39/0.45 c core #293
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 4 Core Weight: 1 Total Weight: 834
0.39/0.45 c Current CPU time: 0.384941 s
0.39/0.45 c
0.39/0.45 c core #294
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 4 Core Weight: 1 Total Weight: 835
0.39/0.45 c Current CPU time: 0.386941 s
0.39/0.45 c
0.39/0.45 c core #295
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 8 Core Weight: 1 Total Weight: 836
0.39/0.45 c Current CPU time: 0.387941 s
0.39/0.45 c
0.39/0.45 c core #296
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 4 Core Weight: 1 Total Weight: 837
0.39/0.45 c Current CPU time: 0.38994 s
0.39/0.45 c
0.39/0.45 c core #297
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 4 Core Weight: 1 Total Weight: 838
0.39/0.45 c Current CPU time: 0.39194 s
0.39/0.45 c
0.39/0.45 c core #298
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 4 Core Weight: 1 Total Weight: 839
0.39/0.45 c Current CPU time: 0.39294 s
0.39/0.45 c
0.39/0.45 c core #299
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 4 Core Weight: 1 Total Weight: 840
0.39/0.45 c Current CPU time: 0.394939 s
0.39/0.45 c
0.39/0.45 c core #300
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 10 Core Weight: 1 Total Weight: 841
0.39/0.45 c Current CPU time: 0.396939 s
0.39/0.45 c
0.39/0.45 c core #301
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 9 Core Weight: 1 Total Weight: 842
0.39/0.45 c Current CPU time: 0.397939 s
0.39/0.45 c
0.39/0.45 c core #302
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 4 Core Weight: 1 Total Weight: 843
0.39/0.45 c Current CPU time: 0.399939 s
0.39/0.45 c
0.39/0.45 c core #303
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 4 Core Weight: 1 Total Weight: 844
0.39/0.45 c Current CPU time: 0.401938 s
0.39/0.45 c
0.39/0.45 c core #304
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 5 Core Weight: 1 Total Weight: 845
0.39/0.45 c Current CPU time: 0.402938 s
0.39/0.45 c
0.39/0.45 c core #305
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 4 Core Weight: 1 Total Weight: 846
0.39/0.45 c Current CPU time: 0.404938 s
0.39/0.45 c
0.39/0.45 c core #306
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 4 Core Weight: 1 Total Weight: 847
0.39/0.45 c Current CPU time: 0.406938 s
0.39/0.45 c
0.39/0.45 c core #307
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 10 Core Weight: 1 Total Weight: 848
0.39/0.45 c Current CPU time: 0.407937 s
0.39/0.45 c
0.39/0.45 c core #308
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 4 Core Weight: 1 Total Weight: 849
0.39/0.45 c Current CPU time: 0.409937 s
0.39/0.45 c
0.39/0.45 c core #309
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 9 Core Weight: 1 Total Weight: 850
0.39/0.45 c Current CPU time: 0.411937 s
0.39/0.45 c
0.39/0.45 c core #310
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 4 Core Weight: 1 Total Weight: 851
0.39/0.45 c Current CPU time: 0.413937 s
0.39/0.45 c
0.39/0.45 c core #311
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 4 Core Weight: 1 Total Weight: 852
0.39/0.45 c Current CPU time: 0.414936 s
0.39/0.45 c
0.39/0.45 c core #312
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 4 Core Weight: 1 Total Weight: 853
0.39/0.45 c Current CPU time: 0.415936 s
0.39/0.45 c
0.39/0.45 c core #313
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 4 Core Weight: 1 Total Weight: 854
0.39/0.45 c Current CPU time: 0.417936 s
0.39/0.45 c
0.39/0.45 c core #314
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 11 Core Weight: 1 Total Weight: 855
0.39/0.45 c Current CPU time: 0.418936 s
0.39/0.45 c
0.39/0.45 c core #315
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 15 Core Weight: 1 Total Weight: 856
0.39/0.45 c Current CPU time: 0.420936 s
0.39/0.45 c
0.39/0.45 c core #316
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 14 Core Weight: 1 Total Weight: 857
0.39/0.45 c Current CPU time: 0.422935 s
0.39/0.45 c
0.39/0.45 c core #317
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 5 Core Weight: 1 Total Weight: 858
0.39/0.45 c Current CPU time: 0.424935 s
0.39/0.45 c
0.39/0.45 c core #318
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 8 Core Weight: 1 Total Weight: 859
0.39/0.45 c Current CPU time: 0.426935 s
0.39/0.45 c
0.39/0.45 c core #319
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 8 Core Weight: 1 Total Weight: 860
0.39/0.45 c Current CPU time: 0.427934 s
0.39/0.45 c
0.39/0.45 c core #320
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 5 Core Weight: 1 Total Weight: 861
0.39/0.45 c Current CPU time: 0.429934 s
0.39/0.45 c
0.39/0.45 c core #321
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 4 Core Weight: 1 Total Weight: 862
0.39/0.45 c Current CPU time: 0.431934 s
0.39/0.45 c
0.39/0.45 c core #322
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 6 Core Weight: 1 Total Weight: 863
0.39/0.45 c Current CPU time: 0.433934 s
0.39/0.45 c
0.39/0.45 c core #323
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 6 Core Weight: 1 Total Weight: 864
0.39/0.45 c Current CPU time: 0.434933 s
0.39/0.45 c
0.39/0.45 c core #324
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 6 Core Weight: 1 Total Weight: 865
0.39/0.45 c Current CPU time: 0.436933 s
0.39/0.45 c
0.39/0.45 c core #325
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 6 Core Weight: 1 Total Weight: 866
0.39/0.45 c Current CPU time: 0.438933 s
0.39/0.45 c
0.39/0.45 c core #326
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 7 Core Weight: 1 Total Weight: 867
0.39/0.45 c Current CPU time: 0.440932 s
0.39/0.45 c
0.39/0.45 c core #327
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 7 Core Weight: 1 Total Weight: 868
0.39/0.45 c Current CPU time: 0.441932 s
0.39/0.45 c
0.39/0.45 c core #328
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 7 Core Weight: 1 Total Weight: 869
0.39/0.45 c Current CPU time: 0.443932 s
0.39/0.45 c
0.39/0.45 c core #329
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 7 Core Weight: 1 Total Weight: 870
0.39/0.45 c Current CPU time: 0.445932 s
0.39/0.45 c
0.39/0.45 c core #330
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 7 Core Weight: 1 Total Weight: 871
0.39/0.45 c Current CPU time: 0.447931 s
0.39/0.45 c
0.39/0.45 c core #331
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 6 Core Weight: 1 Total Weight: 872
0.39/0.45 c Current CPU time: 0.449931 s
0.39/0.45 c
0.39/0.45 c core #332
0.39/0.45 c
0.39/0.45 c
0.39/0.45 c Core size: 16 Core Weight: 1 Total Weight: 873
0.39/0.45 c Current CPU time: 0.450931 s
0.39/0.45 c
0.39/0.45 c core #333
0.39/0.45 c
0.39/0.49 c
0.39/0.49 c Core size: 9 Core Weight: 1 Total Weight: 874
0.39/0.49 c Current CPU time: 0.452931 s
0.39/0.49 c
0.39/0.49 c core #334
0.39/0.49 c
0.39/0.49 c
0.39/0.49 c Core size: 26 Core Weight: 1 Total Weight: 875
0.39/0.49 c Current CPU time: 0.45493 s
0.39/0.49 c
0.39/0.49 c core #335
0.39/0.49 c
0.39/0.49 c
0.39/0.49 c Core size: 32 Core Weight: 1 Total Weight: 876
0.39/0.49 c Current CPU time: 0.45693 s
0.39/0.49 c
0.39/0.49 c core #336
0.39/0.49 c
0.39/0.49 c
0.39/0.49 c Core size: 16 Core Weight: 1 Total Weight: 877
0.39/0.49 c Current CPU time: 0.45893 s
0.39/0.49 c
0.39/0.49 c core #337
0.39/0.49 c
0.39/0.49 c
0.39/0.49 c Core size: 7 Core Weight: 1 Total Weight: 878
0.39/0.49 c Current CPU time: 0.45993 s
0.39/0.49 c
0.39/0.49 c core #338
0.39/0.49 c
0.39/0.49 c
0.39/0.49 c Core size: 19 Core Weight: 1 Total Weight: 879
0.39/0.49 c Current CPU time: 0.460929 s
0.39/0.49 c
0.39/0.49 c core #339
0.39/0.49 c
0.39/0.49 c
0.39/0.49 c Core size: 50 Core Weight: 1 Total Weight: 880
0.39/0.49 c Current CPU time: 0.462929 s
0.39/0.49 c
0.39/0.49 c core #340
0.39/0.49 c
0.39/0.49 c
0.39/0.49 c Core size: 7 Core Weight: 1 Total Weight: 881
0.39/0.49 c Current CPU time: 0.464929 s
0.39/0.49 c
0.39/0.49 c core #341
0.39/0.49 c
0.39/0.49 c
0.39/0.49 c Core size: 13 Core Weight: 1 Total Weight: 882
0.39/0.49 c Current CPU time: 0.466929 s
0.39/0.49 c
0.39/0.49 c core #342
0.39/0.49 c
0.39/0.49 c
0.39/0.49 c Core size: 6 Core Weight: 1 Total Weight: 883
0.39/0.49 c Current CPU time: 0.468928 s
0.39/0.49 c
0.39/0.49 c core #343
0.39/0.49 c
0.39/0.49 c
0.39/0.49 c Core size: 6 Core Weight: 1 Total Weight: 884
0.39/0.49 c Current CPU time: 0.470928 s
0.39/0.49 c
0.39/0.49 c core #344
0.39/0.49 c
0.39/0.49 c
0.39/0.49 c Core size: 6 Core Weight: 1 Total Weight: 885
0.39/0.49 c Current CPU time: 0.471928 s
0.39/0.49 c
0.39/0.49 c core #345
0.39/0.49 c
0.39/0.49 c
0.39/0.49 c Core size: 6 Core Weight: 1 Total Weight: 886
0.39/0.49 c Current CPU time: 0.473927 s
0.39/0.49 c
0.39/0.49 c core #346
0.39/0.49 c
0.39/0.49 c
0.39/0.49 c Core size: 34 Core Weight: 1 Total Weight: 887
0.39/0.49 c Current CPU time: 0.475927 s
0.39/0.49 c
0.39/0.49 c core #347
0.39/0.49 c
0.39/0.49 c
0.39/0.49 c Core size: 20 Core Weight: 1 Total Weight: 888
0.39/0.49 c Current CPU time: 0.477927 s
0.39/0.49 c
0.39/0.49 c core #348
0.39/0.49 c
0.39/0.49 c
0.39/0.49 c Core size: 9 Core Weight: 1 Total Weight: 889
0.39/0.49 c Current CPU time: 0.479927 s
0.39/0.49 c
0.39/0.49 c core #349
0.39/0.49 c
0.39/0.49 c
0.39/0.49 c Core size: 17 Core Weight: 1 Total Weight: 890
0.39/0.49 c Current CPU time: 0.481926 s
0.39/0.49 c
0.39/0.49 c core #350
0.39/0.49 c
0.39/0.49 c
0.39/0.49 c Core size: 15 Core Weight: 1 Total Weight: 891
0.39/0.49 c Current CPU time: 0.483926 s
0.39/0.49 c
0.39/0.49 c core #351
0.39/0.49 c
0.39/0.49 c
0.39/0.49 c Core size: 16 Core Weight: 1 Total Weight: 892
0.39/0.49 c Current CPU time: 0.485926 s
0.39/0.49 c
0.39/0.49 c core #352
0.39/0.49 c
0.39/0.49 c
0.39/0.49 c Core size: 14 Core Weight: 1 Total Weight: 893
0.39/0.49 c Current CPU time: 0.487925 s
0.39/0.49 c
0.39/0.49 c core #353
0.39/0.49 c
0.39/0.49 c
0.39/0.49 c Core size: 22 Core Weight: 1 Total Weight: 894
0.39/0.49 c Current CPU time: 0.489925 s
0.39/0.49 c
0.39/0.49 c ============================[ Search Statistics ]==============================
0.39/0.49 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.39/0.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.39/0.49 c ===============================================================================
0.39/0.49 c | 0 | 2565 4292 9512 | 5000 0 -nan | 0.000 % |
0.39/0.49 c ===============================================================================
0.39/0.49 c core #354
0.39/0.49 c
0.39/0.49 c
0.39/0.49 c Core size: 30 Core Weight: 1 Total Weight: 895
0.39/0.49 c Current CPU time: 0.491925 s
0.39/0.49 c
0.39/0.49 c ============================[ Search Statistics ]==============================
0.39/0.49 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.39/0.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.39/0.49 c ===============================================================================
0.39/0.49 c | 0 | 2581 4293 9545 | 5000 0 -nan | 0.000 % |
0.39/0.49 c ===============================================================================
0.49/0.50 c core #355
0.49/0.50 c
0.49/0.50 c
0.49/0.50 c Core size: 30 Core Weight: 1 Total Weight: 896
0.49/0.50 c Current CPU time: 0.493924 s
0.49/0.50 c
0.49/0.50 c ============================[ Search Statistics ]==============================
0.49/0.50 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.49/0.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.49/0.50 c ===============================================================================
0.49/0.50 c | 0 | 2599 4296 9586 | 5000 0 -nan | 0.000 % |
0.49/0.50 c ===============================================================================
0.49/0.50 c core #356
0.49/0.50 c
0.49/0.50 c
0.49/0.50 c Core size: 20 Core Weight: 1 Total Weight: 897
0.49/0.50 c Current CPU time: 0.495924 s
0.49/0.50 c
0.49/0.50 c ============================[ Search Statistics ]==============================
0.49/0.50 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.49/0.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.49/0.50 c ===============================================================================
0.49/0.50 c | 0 | 2611 4298 9613 | 5000 0 -nan | 0.000 % |
0.49/0.50 c ===============================================================================
0.49/0.50 c core #357
0.49/0.50 c
0.49/0.50 c
0.49/0.50 c Core size: 27 Core Weight: 1 Total Weight: 898
0.49/0.50 c Current CPU time: 0.497924 s
0.49/0.50 c
0.49/0.50 c ============================[ Search Statistics ]==============================
0.49/0.50 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.49/0.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.49/0.50 c ===============================================================================
0.49/0.50 c | 0 | 2623 4300 9640 | 5000 0 -nan | 0.000 % |
0.49/0.50 c ===============================================================================
0.49/0.50 c core #358
0.49/0.50 c
0.49/0.50 c
0.49/0.50 c Core size: 21 Core Weight: 1 Total Weight: 899
0.49/0.50 c Current CPU time: 0.500923 s
0.49/0.50 c
0.49/0.50 c ============================[ Search Statistics ]==============================
0.49/0.50 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.49/0.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.49/0.50 c ===============================================================================
0.49/0.50 c | 0 | 2636 4302 9669 | 5000 0 -nan | 0.000 % |
0.49/0.50 c ===============================================================================
0.49/0.51 c core #359
0.49/0.51 c
0.49/0.51 c
0.49/0.51 c Core size: 16 Core Weight: 1 Total Weight: 900
0.49/0.51 c Current CPU time: 0.502923 s
0.49/0.51 c
0.49/0.51 c ============================[ Search Statistics ]==============================
0.49/0.51 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.49/0.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.49/0.51 c ===============================================================================
0.49/0.51 c | 0 | 2643 4303 9683 | 5000 0 -nan | 0.000 % |
0.49/0.51 c ===============================================================================
0.49/0.51 c core #360
0.49/0.51 c
0.49/0.51 c
0.49/0.51 c Core size: 21 Core Weight: 1 Total Weight: 901
0.49/0.51 c Current CPU time: 0.504923 s
0.49/0.51 c
0.49/0.51 c ============================[ Search Statistics ]==============================
0.49/0.51 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.49/0.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.49/0.51 c ===============================================================================
0.49/0.51 c | 0 | 2651 4304 9699 | 5000 0 -nan | 0.000 % |
0.49/0.51 c ===============================================================================
0.49/0.51 c core #361
0.49/0.51 c
0.49/0.51 c
0.49/0.51 c Core size: 14 Core Weight: 1 Total Weight: 902
0.49/0.51 c Current CPU time: 0.506922 s
0.49/0.51 c
0.49/0.51 c ============================[ Search Statistics ]==============================
0.49/0.51 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.49/0.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.49/0.51 c ===============================================================================
0.49/0.51 c | 0 | 2664 4305 9724 | 5000 0 -nan | 0.000 % |
0.49/0.51 c ===============================================================================
0.49/0.51 c core #362
0.49/0.51 c
0.49/0.51 c
0.49/0.51 c Core size: 19 Core Weight: 1 Total Weight: 903
0.49/0.51 c Current CPU time: 0.509922 s
0.49/0.51 c
0.49/0.51 c ============================[ Search Statistics ]==============================
0.49/0.51 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.49/0.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.49/0.51 c ===============================================================================
0.49/0.51 c | 0 | 2668 4307 9736 | 5000 0 -nan | 0.000 % |
0.49/0.51 c ===============================================================================
0.49/0.51 c core #363
0.49/0.51 c
0.49/0.51 c
0.49/0.51 c Core size: 36 Core Weight: 1 Total Weight: 904
0.49/0.51 c Current CPU time: 0.511922 s
0.49/0.51 c
0.49/0.51 c ============================[ Search Statistics ]==============================
0.49/0.51 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.49/0.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.49/0.51 c ===============================================================================
0.49/0.51 c | 0 | 2688 4308 9776 | 5000 0 -nan | 0.000 % |
0.49/0.52 c ===============================================================================
0.49/0.52 c core #364
0.49/0.52 c
0.49/0.52 c
0.49/0.52 c Core size: 36 Core Weight: 1 Total Weight: 905
0.49/0.52 c Current CPU time: 0.513921 s
0.49/0.52 c
0.49/0.52 c ============================[ Search Statistics ]==============================
0.49/0.52 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.49/0.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.49/0.52 c ===============================================================================
0.49/0.52 c | 0 | 2705 4311 9815 | 5000 0 -nan | 0.000 % |
0.49/0.52 c ===============================================================================
0.49/0.52 c core #365
0.49/0.52 c
0.49/0.52 c
0.49/0.52 c Core size: 36 Core Weight: 1 Total Weight: 906
0.49/0.52 c Current CPU time: 0.516921 s
0.49/0.52 c
0.49/0.52 c ============================[ Search Statistics ]==============================
0.49/0.52 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.49/0.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.49/0.52 c ===============================================================================
0.49/0.52 c | 0 | 2722 4312 9849 | 5000 0 -nan | 0.000 % |
0.49/0.52 c ===============================================================================
0.49/0.52 c core #366
0.49/0.52 c
0.49/0.52 c
0.49/0.52 c Core size: 38 Core Weight: 1 Total Weight: 907
0.49/0.52 c Current CPU time: 0.51992 s
0.49/0.52 c
0.49/0.52 c ============================[ Search Statistics ]==============================
0.49/0.52 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.49/0.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.49/0.52 c ===============================================================================
0.49/0.52 c | 0 | 2752 4313 9908 | 5000 0 -nan | 0.000 % |
0.49/0.52 c ===============================================================================
0.49/0.53 c core #367
0.49/0.53 c
0.49/0.53 c
0.49/0.53 c Core size: 35 Core Weight: 1 Total Weight: 908
0.49/0.53 c Current CPU time: 0.52292 s
0.49/0.53 c
0.49/0.53 c ============================[ Search Statistics ]==============================
0.49/0.53 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.49/0.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.49/0.53 c ===============================================================================
0.49/0.53 c | 0 | 2770 4321 9962 | 5000 0 -nan | 0.000 % |
0.49/0.53 c ===============================================================================
0.49/0.53 c core #368
0.49/0.53 c
0.49/0.53 c
0.49/0.53 c Core size: 31 Core Weight: 1 Total Weight: 909
0.49/0.53 c Current CPU time: 0.52592 s
0.49/0.53 c
0.49/0.53 c ============================[ Search Statistics ]==============================
0.49/0.53 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.49/0.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.49/0.53 c ===============================================================================
0.49/0.53 c | 0 | 2796 4323 10019 | 5000 0 -nan | 0.000 % |
0.49/0.53 c ===============================================================================
0.49/0.53 c core #369
0.49/0.53 c
0.49/0.53 c
0.49/0.53 c Core size: 27 Core Weight: 1 Total Weight: 910
0.49/0.53 c Current CPU time: 0.527919 s
0.49/0.53 c
0.49/0.53 c ============================[ Search Statistics ]==============================
0.49/0.53 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.49/0.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.49/0.53 c ===============================================================================
0.49/0.53 c | 0 | 2805 4324 10036 | 5000 0 -nan | 0.000 % |
0.49/0.53 c ===============================================================================
0.49/0.53 c core #370
0.49/0.53 c
0.49/0.53 c
0.49/0.53 c Core size: 21 Core Weight: 1 Total Weight: 911
0.49/0.53 c Current CPU time: 0.529919 s
0.49/0.53 c
0.49/0.53 c ============================[ Search Statistics ]==============================
0.49/0.53 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.49/0.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.49/0.53 c ===============================================================================
0.49/0.53 c | 0 | 2814 4325 10052 | 5000 0 -nan | 0.000 % |
0.49/0.53 c ===============================================================================
0.49/0.54 c core #371
0.49/0.54 c
0.49/0.54 c
0.49/0.54 c Core size: 32 Core Weight: 1 Total Weight: 912
0.49/0.54 c Current CPU time: 0.532918 s
0.49/0.54 c
0.49/0.54 c ============================[ Search Statistics ]==============================
0.49/0.54 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.49/0.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.49/0.54 c ===============================================================================
0.49/0.54 c | 0 | 2833 4326 10090 | 5000 0 -nan | 0.000 % |
0.49/0.54 c ===============================================================================
0.49/0.54 c core #372
0.49/0.54 c
0.49/0.54 c
0.49/0.54 c Core size: 35 Core Weight: 1 Total Weight: 913
0.49/0.54 c Current CPU time: 0.534918 s
0.49/0.54 c
0.49/0.54 c ============================[ Search Statistics ]==============================
0.49/0.54 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.49/0.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.49/0.54 c ===============================================================================
0.49/0.54 c | 0 | 2860 4329 10148 | 5000 0 -nan | 0.000 % |
0.49/0.54 c ===============================================================================
0.49/0.54 c core #373
0.49/0.54 c
0.49/0.54 c
0.49/0.54 c Core size: 28 Core Weight: 1 Total Weight: 914
0.49/0.54 c Current CPU time: 0.536918 s
0.49/0.54 c
0.49/0.54 c ============================[ Search Statistics ]==============================
0.49/0.54 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.49/0.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.49/0.54 c ===============================================================================
0.49/0.54 c | 0 | 2872 4330 10172 | 5000 0 -nan | 0.000 % |
0.49/0.54 c ===============================================================================
0.49/0.54 c core #374
0.49/0.54 c
0.49/0.54 c
0.49/0.54 c Core size: 26 Core Weight: 1 Total Weight: 915
0.49/0.54 c Current CPU time: 0.539917 s
0.49/0.54 c
0.49/0.54 c ============================[ Search Statistics ]==============================
0.49/0.54 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.49/0.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.49/0.54 c ===============================================================================
0.49/0.54 c | 0 | 2891 4331 10208 | 5000 0 -nan | 0.000 % |
0.49/0.54 c ===============================================================================
0.49/0.55 c core #375
0.49/0.55 c
0.49/0.55 c
0.49/0.55 c Core size: 21 Core Weight: 1 Total Weight: 916
0.49/0.55 c Current CPU time: 0.541917 s
0.49/0.55 c
0.49/0.55 c ============================[ Search Statistics ]==============================
0.49/0.55 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.49/0.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.49/0.55 c ===============================================================================
0.49/0.55 c | 0 | 2901 4333 10232 | 5000 0 -nan | 0.000 % |
0.49/0.55 c ===============================================================================
0.49/0.55 c core #376
0.49/0.55 c
0.49/0.55 c
0.49/0.55 c Core size: 19 Core Weight: 1 Total Weight: 917
0.49/0.55 c Current CPU time: 0.544917 s
0.49/0.55 c
0.49/0.55 c ============================[ Search Statistics ]==============================
0.49/0.55 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.49/0.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.49/0.55 c ===============================================================================
0.49/0.55 c | 0 | 2911 4336 10257 | 5000 0 -nan | 0.000 % |
0.49/0.55 c ===============================================================================
0.49/0.55 c core #377
0.49/0.55 c
0.49/0.55 c
0.49/0.55 c Core size: 43 Core Weight: 1 Total Weight: 918
0.49/0.55 c Current CPU time: 0.547916 s
0.49/0.55 c
0.49/0.55 c ============================[ Search Statistics ]==============================
0.49/0.55 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.49/0.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.49/0.55 c ===============================================================================
0.49/0.55 c | 0 | 2935 4340 10311 | 5000 0 -nan | 0.000 % |
0.49/0.55 c ===============================================================================
0.49/0.55 c core #378
0.49/0.55 c
0.49/0.55 c
0.49/0.55 c Core size: 39 Core Weight: 1 Total Weight: 919
0.49/0.55 c Current CPU time: 0.550916 s
0.49/0.55 c
0.49/0.55 c ============================[ Search Statistics ]==============================
0.49/0.55 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.49/0.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.49/0.55 c ===============================================================================
0.49/0.55 c | 0 | 2911 4344 10364 | 5000 0 -nan | 0.000 % |
0.49/0.56 c | 100 | 2896 4344 10364 | 5500 100 12 | 24.236 % |
0.49/0.56 c ===============================================================================
0.49/0.56 c core #379
0.49/0.56 c
0.49/0.56 c
0.49/0.56 c Core size: 91 Core Weight: 1 Total Weight: 920
0.49/0.56 c Current CPU time: 0.556915 s
0.49/0.56 c
0.49/0.56 c ============================[ Search Statistics ]==============================
0.49/0.56 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.49/0.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.49/0.56 c ===============================================================================
0.49/0.56 c | 0 | 2988 4350 10531 | 5000 0 -nan | 0.000 % |
0.49/0.56 c ===============================================================================
0.49/0.57 c core #380
0.49/0.57 c
0.49/0.57 c
0.49/0.57 c Core size: 57 Core Weight: 1 Total Weight: 921
0.49/0.57 c Current CPU time: 0.561914 s
0.49/0.57 c
0.49/0.57 c ============================[ Search Statistics ]==============================
0.49/0.57 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.49/0.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.49/0.57 c ===============================================================================
0.49/0.57 c | 0 | 3035 4354 10632 | 5000 0 -nan | 0.000 % |
0.49/0.57 c | 101 | 3035 4354 10632 | 5500 101 33 | 11.439 % |
0.49/0.57 c | 253 | 3035 4354 10632 | 6050 253 25 | 11.439 % |
0.49/0.58 c ===============================================================================
0.49/0.58 c core #381
0.49/0.58 c
0.49/0.58 c
0.49/0.58 c Core size: 101 Core Weight: 1 Total Weight: 922
0.49/0.58 c Current CPU time: 0.576912 s
0.49/0.58 c
0.49/0.58 c ============================[ Search Statistics ]==============================
0.49/0.58 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.49/0.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.49/0.58 c ===============================================================================
0.49/0.58 c | 0 | 3120 4368 10834 | 5000 0 -nan | 0.000 % |
0.49/0.59 c | 101 | 3120 4368 10834 | 5500 101 10 | 11.111 % |
0.49/0.59 c ===============================================================================
0.49/0.59 c core #382
0.49/0.59 c
0.49/0.59 c
0.49/0.59 c Core size: 97 Core Weight: 1 Total Weight: 923
0.49/0.59 c Current CPU time: 0.58791 s
0.49/0.59 c
0.49/0.59 c ============================[ Search Statistics ]==============================
0.49/0.59 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.49/0.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.49/0.59 c ===============================================================================
0.49/0.59 c | 0 | 3196 4388 11042 | 5000 0 -nan | 0.000 % |
0.59/0.60 c | 101 | 3192 4388 11042 | 5500 101 9 | 11.093 % |
0.59/0.60 c ===============================================================================
0.59/0.60 c core #383
0.59/0.60 c
0.59/0.60 c
0.59/0.60 c Core size: 122 Core Weight: 1 Total Weight: 924
0.59/0.60 c Current CPU time: 0.596909 s
0.59/0.60 c
0.59/0.60 c ============================[ Search Statistics ]==============================
0.59/0.60 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.59/0.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.59/0.60 c ===============================================================================
0.59/0.60 c | 0 | 3303 4402 11276 | 5000 0 -nan | 0.000 % |
0.59/0.60 c ===============================================================================
0.59/0.61 c core #384
0.59/0.61 c
0.59/0.61 c
0.59/0.61 c Core size: 88 Core Weight: 1 Total Weight: 925
0.59/0.61 c Current CPU time: 0.601908 s
0.59/0.61 c
0.59/0.61 c ============================[ Search Statistics ]==============================
0.59/0.61 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.59/0.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.59/0.61 c ===============================================================================
0.59/0.61 c | 0 | 3328 4420 11370 | 5000 0 -nan | 0.000 % |
0.59/0.61 c | 100 | 3325 4420 11370 | 5500 100 8 | 10.877 % |
0.59/0.61 c ===============================================================================
0.59/0.62 c core #385
0.59/0.62 c
0.59/0.62 c
0.59/0.62 c Core size: 76 Core Weight: 1 Total Weight: 926
0.59/0.62 c Current CPU time: 0.609907 s
0.59/0.62 c
0.59/0.62 c ============================[ Search Statistics ]==============================
0.59/0.62 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.59/0.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.59/0.62 c ===============================================================================
0.59/0.62 c | 0 | 3351 4451 11525 | 5000 0 -nan | 0.000 % |
0.59/0.62 c | 101 | 3350 4451 11525 | 5500 101 28 | 11.061 % |
0.59/0.62 c | 252 | 3337 4451 11525 | 6050 252 23 | 11.064 % |
0.59/0.63 c | 478 | 3329 4451 11525 | 6655 478 20 | 11.301 % |
0.59/0.64 c | 817 | 3325 4451 11525 | 7320 817 21 | 12.210 % |
0.59/0.65 c ===============================================================================
0.59/0.66 c core #386
0.59/0.66 c
0.59/0.66 c
0.59/0.66 c Core size: 171 Core Weight: 1 Total Weight: 927
0.59/0.66 c Current CPU time: 0.650901 s
0.59/0.66 c
0.59/0.66 c ============================[ Search Statistics ]==============================
0.59/0.66 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.59/0.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.59/0.66 c ===============================================================================
0.59/0.66 c | 0 | 3417 4471 11739 | 5000 0 -nan | 0.000 % |
0.59/0.66 c | 102 | 3416 4471 11739 | 5500 102 17 | 11.230 % |
0.59/0.67 c | 252 | 3407 4471 11739 | 6050 252 17 | 11.230 % |
0.59/0.67 c | 478 | 3374 4471 11739 | 6655 478 20 | 12.090 % |
0.59/0.67 c ===============================================================================
0.59/0.67 c core #387
0.59/0.67 c
0.59/0.67 c
0.59/0.67 c Core size: 35 Core Weight: 2147483647 Total Weight: -2147482722
0.59/0.67 c Current CPU time: 0.666898 s
0.59/0.67 c
0.59/0.67 s UNSATISFIABLE
0.59/0.67 c Total CPU time: 0.666898 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-3461385-1307083625/watcher-3461385-1307083625 -o /tmp/evaluation-result-3461385-1307083625/solver-3461385-1307083625 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461385-1307083625.opb
running on 4 cores: 1,3,5,7
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: 1.02 1.62 1.85 3/472 24023
/proc/meminfo: memFree=20430344/32950928 swapFree=61858088/67111528
[pid=24023] ppid=24021 vsize=4224 CPUtime=0.01 cores=1,3,5,7
/proc/24023/stat : 24023 (wbo1.6) R 24021 24023 21173 0 -1 4202496 855 0 0 0 1 0 0 0 22 0 1 0 819962180 4325376 771 33554432000 4194304 5714214 140737067647040 18446744073709551615 4326256 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24023/statm: 1056 771 173 372 0 681 0
[startup+0.0364579 s]
/proc/loadavg: 1.02 1.62 1.85 3/472 24023
/proc/meminfo: memFree=20430344/32950928 swapFree=61858088/67111528
[pid=24023] ppid=24021 vsize=4104 CPUtime=0.03 cores=1,3,5,7
/proc/24023/stat : 24023 (wbo1.6) R 24021 24023 21173 0 -1 4202496 944 0 0 0 3 0 0 0 22 0 1 0 819962180 4202496 785 33554432000 4194304 5714214 140737067647040 18446744073709551615 4337030 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24023/statm: 1026 785 175 372 0 651 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4104
[startup+0.100447 s]
/proc/loadavg: 1.02 1.62 1.85 3/472 24023
/proc/meminfo: memFree=20430344/32950928 swapFree=61858088/67111528
[pid=24023] ppid=24021 vsize=4208 CPUtime=0.09 cores=1,3,5,7
/proc/24023/stat : 24023 (wbo1.6) R 24021 24023 21173 0 -1 4202496 1061 0 0 0 9 0 0 0 22 0 1 0 819962180 4308992 812 33554432000 4194304 5714214 140737067647040 18446744073709551615 4356115 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24023/statm: 1052 812 175 372 0 677 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4208
[startup+0.300412 s]
/proc/loadavg: 1.02 1.62 1.85 3/472 24023
/proc/meminfo: memFree=20430344/32950928 swapFree=61858088/67111528
[pid=24023] ppid=24021 vsize=5308 CPUtime=0.29 cores=1,3,5,7
/proc/24023/stat : 24023 (wbo1.6) R 24021 24023 21173 0 -1 4202496 1953 0 0 0 29 0 0 0 22 0 1 0 819962180 5435392 1090 33554432000 4194304 5714214 140737067647040 18446744073709551615 4315896 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24023/statm: 1327 1090 175 372 0 952 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5308
Solver just ended. Dumping a history of the last processes samples
[startup+0.500377 s]
/proc/loadavg: 1.02 1.62 1.85 3/472 24023
/proc/meminfo: memFree=20430344/32950928 swapFree=61858088/67111528
[pid=24023] ppid=24021 vsize=6936 CPUtime=0.49 cores=1,3,5,7
/proc/24023/stat : 24023 (wbo1.6) R 24021 24023 21173 0 -1 4202496 2995 0 0 0 49 0 0 0 23 0 1 0 819962180 7102464 1485 33554432000 4194304 5714214 140737067647040 18446744073709551615 4356115 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24023/statm: 1734 1485 179 372 0 1359 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 6936
[startup+0.600359 s]
/proc/loadavg: 1.02 1.62 1.85 3/472 24023
/proc/meminfo: memFree=20430344/32950928 swapFree=61858088/67111528
[pid=24023] ppid=24021 vsize=7592 CPUtime=0.59 cores=1,3,5,7
/proc/24023/stat : 24023 (wbo1.6) R 24021 24023 21173 0 -1 4202496 3323 0 0 0 59 0 0 0 24 0 1 0 819962180 7774208 1661 33554432000 4194304 5714214 140737067647040 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24023/statm: 1898 1661 180 372 0 1523 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 7592
Child status: 0
Real time (s): 0.68023
CPU time (s): 0.679896
CPU user time (s): 0.666898
CPU system time (s): 0.012998
CPU usage (%): 99.9509
Max. virtual memory (cumulated for all children) (KiB): 7592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.666898
system time used= 0.012998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3416
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= 11
involuntary context switches= 1
runsolver used 0.007998 second user time and 0.019996 second system time
The end
Begin job on node125 at 2011-06-03 08:47:05
IDJOB=3461385
IDBENCH=2073
IDSOLVER=1953
FILE ID=node125/3461385-1307083625
RUNJOBID= node125-1307083625-24005
PBS_JOBID= 13497861
Free space on /tmp= 73760 MiB
SOLVER NAME= wbo 1.6
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-bf0432-007.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461385-1307083625/watcher-3461385-1307083625 -o /tmp/evaluation-result-3461385-1307083625/solver-3461385-1307083625 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461385-1307083625.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 093787cffe9173c370b11fb5e77a5812
RANDOM SEED=2126414952
node125.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.828
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.65
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.828
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 : 5266.55
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.828
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.84
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.828
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.828
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.828
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.74
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.828
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.75
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.828
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.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 20430624 kB
Buffers: 339672 kB
Cached: 3466740 kB
SwapCached: 3616 kB
Active: 8803200 kB
Inactive: 3372460 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 20430624 kB
SwapTotal: 67111528 kB
SwapFree: 61858088 kB
Dirty: 8544 kB
Writeback: 0 kB
AnonPages: 8367020 kB
Mapped: 34888 kB
Slab: 214164 kB
PageTables: 61452 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 130012520 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= 73752 MiB
End job on node125 at 2011-06-03 08:47:06