0.00/0.00	c wbo 1.6 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3460742-1307088654.opb.
0.00/0.00	c Instance file HOME/instance-3460742-1307088654.opb
0.00/0.00	c File size is 104111 bytes.
0.00/0.00	c Highest Coefficient sum: 4
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:      1200                                                |
0.00/0.00	c |  Number Clauses:        3150                                                |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |    1200     3150     8850 |     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: 4	Core Weight: 1	Total Weight: 1
0.03/0.05	c Current CPU time: 0.008998 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: 4	Core Weight: 1	Total Weight: 2
0.03/0.05	c Current CPU time: 0.009998 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: 4	Core Weight: 1	Total Weight: 3
0.03/0.05	c Current CPU time: 0.010998 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: 4	Core Weight: 1	Total Weight: 4
0.03/0.05	c Current CPU time: 0.011998 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: 4	Core Weight: 1	Total Weight: 5
0.03/0.05	c Current CPU time: 0.012998 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: 4	Core Weight: 1	Total Weight: 6
0.03/0.05	c Current CPU time: 0.013997 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: 4	Core Weight: 1	Total Weight: 7
0.03/0.05	c Current CPU time: 0.014997 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: 4	Core Weight: 1	Total Weight: 8
0.03/0.05	c Current CPU time: 0.015997 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: 4	Core Weight: 1	Total Weight: 9
0.03/0.05	c Current CPU time: 0.016997 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: 4	Core Weight: 1	Total Weight: 10
0.03/0.05	c Current CPU time: 0.017997 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: 4	Core Weight: 1	Total Weight: 11
0.03/0.05	c Current CPU time: 0.018997 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: 4	Core Weight: 1	Total Weight: 12
0.03/0.05	c Current CPU time: 0.020996 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: 4	Core Weight: 1	Total Weight: 13
0.03/0.05	c Current CPU time: 0.021996 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: 4	Core Weight: 1	Total Weight: 14
0.03/0.05	c Current CPU time: 0.022996 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: 4	Core Weight: 1	Total Weight: 15
0.03/0.05	c Current CPU time: 0.023996 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: 4	Core Weight: 1	Total Weight: 16
0.03/0.05	c Current CPU time: 0.024996 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: 4	Core Weight: 1	Total Weight: 17
0.03/0.05	c Current CPU time: 0.025996 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: 4	Core Weight: 1	Total Weight: 18
0.03/0.05	c Current CPU time: 0.026995 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: 4	Core Weight: 1	Total Weight: 19
0.03/0.05	c Current CPU time: 0.027995 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: 4	Core Weight: 1	Total Weight: 20
0.03/0.05	c Current CPU time: 0.028995 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: 4	Core Weight: 1	Total Weight: 21
0.03/0.05	c Current CPU time: 0.029995 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: 4	Core Weight: 1	Total Weight: 22
0.03/0.05	c Current CPU time: 0.030995 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: 4	Core Weight: 1	Total Weight: 23
0.03/0.05	c Current CPU time: 0.031995 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: 4	Core Weight: 1	Total Weight: 24
0.03/0.05	c Current CPU time: 0.032994 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: 4	Core Weight: 1	Total Weight: 25
0.03/0.05	c Current CPU time: 0.033994 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: 4	Core Weight: 1	Total Weight: 26
0.03/0.05	c Current CPU time: 0.034994 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: 4	Core Weight: 1	Total Weight: 27
0.03/0.05	c Current CPU time: 0.035994 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: 4	Core Weight: 1	Total Weight: 28
0.03/0.05	c Current CPU time: 0.036994 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: 4	Core Weight: 1	Total Weight: 29
0.03/0.05	c Current CPU time: 0.037994 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: 4	Core Weight: 1	Total Weight: 30
0.03/0.05	c Current CPU time: 0.038994 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: 4	Core Weight: 1	Total Weight: 31
0.03/0.05	c Current CPU time: 0.039993 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: 4	Core Weight: 1	Total Weight: 32
0.03/0.05	c Current CPU time: 0.040993 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: 4	Core Weight: 1	Total Weight: 33
0.03/0.05	c Current CPU time: 0.042993 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: 4	Core Weight: 1	Total Weight: 34
0.03/0.05	c Current CPU time: 0.043993 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: 4	Core Weight: 1	Total Weight: 35
0.03/0.05	c Current CPU time: 0.044993 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: 4	Core Weight: 1	Total Weight: 36
0.03/0.05	c Current CPU time: 0.045993 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: 4	Core Weight: 1	Total Weight: 37
0.03/0.05	c Current CPU time: 0.046992 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: 4	Core Weight: 1	Total Weight: 38
0.03/0.05	c Current CPU time: 0.047992 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: 4	Core Weight: 1	Total Weight: 39
0.03/0.05	c Current CPU time: 0.048992 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: 4	Core Weight: 1	Total Weight: 40
0.03/0.05	c Current CPU time: 0.049992 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: 4	Core Weight: 1	Total Weight: 41
0.03/0.05	c Current CPU time: 0.050992 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: 4	Core Weight: 1	Total Weight: 42
0.03/0.05	c Current CPU time: 0.051992 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: 4	Core Weight: 1	Total Weight: 43
0.09/0.10	c Current CPU time: 0.052991 s
0.09/0.10	c
0.09/0.10	c core #44
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 44
0.09/0.10	c Current CPU time: 0.053991 s
0.09/0.10	c
0.09/0.10	c core #45
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 45
0.09/0.10	c Current CPU time: 0.055991 s
0.09/0.10	c
0.09/0.10	c core #46
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 46
0.09/0.10	c Current CPU time: 0.056991 s
0.09/0.10	c
0.09/0.10	c core #47
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 47
0.09/0.10	c Current CPU time: 0.057991 s
0.09/0.10	c
0.09/0.10	c core #48
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 48
0.09/0.10	c Current CPU time: 0.058991 s
0.09/0.10	c
0.09/0.10	c core #49
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 49
0.09/0.10	c Current CPU time: 0.05999 s
0.09/0.10	c
0.09/0.10	c core #50
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 50
0.09/0.10	c Current CPU time: 0.06099 s
0.09/0.10	c
0.09/0.10	c core #51
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 51
0.09/0.10	c Current CPU time: 0.06199 s
0.09/0.10	c
0.09/0.10	c core #52
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 52
0.09/0.10	c Current CPU time: 0.06299 s
0.09/0.10	c
0.09/0.10	c core #53
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 53
0.09/0.10	c Current CPU time: 0.06399 s
0.09/0.10	c
0.09/0.10	c core #54
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 54
0.09/0.10	c Current CPU time: 0.065989 s
0.09/0.10	c
0.09/0.10	c core #55
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 55
0.09/0.10	c Current CPU time: 0.066989 s
0.09/0.10	c
0.09/0.10	c core #56
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 56
0.09/0.10	c Current CPU time: 0.067989 s
0.09/0.10	c
0.09/0.10	c core #57
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 57
0.09/0.10	c Current CPU time: 0.068989 s
0.09/0.10	c
0.09/0.10	c core #58
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 58
0.09/0.10	c Current CPU time: 0.069989 s
0.09/0.10	c
0.09/0.10	c core #59
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 59
0.09/0.10	c Current CPU time: 0.070989 s
0.09/0.10	c
0.09/0.10	c core #60
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 60
0.09/0.10	c Current CPU time: 0.071989 s
0.09/0.10	c
0.09/0.10	c core #61
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 61
0.09/0.10	c Current CPU time: 0.073988 s
0.09/0.10	c
0.09/0.10	c core #62
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 62
0.09/0.10	c Current CPU time: 0.074988 s
0.09/0.10	c
0.09/0.10	c core #63
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 63
0.09/0.10	c Current CPU time: 0.075988 s
0.09/0.10	c
0.09/0.10	c core #64
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 64
0.09/0.10	c Current CPU time: 0.076988 s
0.09/0.10	c
0.09/0.10	c core #65
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 65
0.09/0.10	c Current CPU time: 0.077988 s
0.09/0.10	c
0.09/0.10	c core #66
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 66
0.09/0.10	c Current CPU time: 0.078987 s
0.09/0.10	c
0.09/0.10	c core #67
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 67
0.09/0.10	c Current CPU time: 0.079987 s
0.09/0.10	c
0.09/0.10	c core #68
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 68
0.09/0.10	c Current CPU time: 0.081987 s
0.09/0.10	c
0.09/0.10	c core #69
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 69
0.09/0.10	c Current CPU time: 0.082987 s
0.09/0.10	c
0.09/0.10	c core #70
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 70
0.09/0.10	c Current CPU time: 0.083987 s
0.09/0.10	c
0.09/0.10	c core #71
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 71
0.09/0.10	c Current CPU time: 0.084987 s
0.09/0.10	c
0.09/0.10	c core #72
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 72
0.09/0.10	c Current CPU time: 0.085986 s
0.09/0.10	c
0.09/0.10	c core #73
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 73
0.09/0.10	c Current CPU time: 0.086986 s
0.09/0.10	c
0.09/0.10	c core #74
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 74
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: 4	Core Weight: 1	Total Weight: 75
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: 4	Core Weight: 1	Total Weight: 76
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: 4	Core Weight: 1	Total Weight: 77
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: 4	Core Weight: 1	Total Weight: 78
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: 4	Core Weight: 1	Total Weight: 79
0.09/0.10	c Current CPU time: 0.094985 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: 4	Core Weight: 1	Total Weight: 80
0.09/0.10	c Current CPU time: 0.095985 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: 4	Core Weight: 1	Total Weight: 81
0.09/0.10	c Current CPU time: 0.096985 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: 4	Core Weight: 1	Total Weight: 82
0.09/0.10	c Current CPU time: 0.097985 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: 4	Core Weight: 1	Total Weight: 83
0.09/0.10	c Current CPU time: 0.098984 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: 4	Core Weight: 1	Total Weight: 84
0.09/0.10	c Current CPU time: 0.100984 s
0.09/0.10	c
0.09/0.10	c core #85
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 85
0.09/0.10	c Current CPU time: 0.101984 s
0.09/0.15	c
0.09/0.15	c core #86
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 86
0.09/0.15	c Current CPU time: 0.102984 s
0.09/0.15	c
0.09/0.15	c core #87
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 87
0.09/0.15	c Current CPU time: 0.103984 s
0.09/0.15	c
0.09/0.15	c core #88
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 88
0.09/0.15	c Current CPU time: 0.104984 s
0.09/0.15	c
0.09/0.15	c core #89
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 89
0.09/0.15	c Current CPU time: 0.106983 s
0.09/0.15	c
0.09/0.15	c core #90
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 90
0.09/0.15	c Current CPU time: 0.107983 s
0.09/0.15	c
0.09/0.15	c core #91
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 91
0.09/0.15	c Current CPU time: 0.108983 s
0.09/0.15	c
0.09/0.15	c core #92
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 92
0.09/0.15	c Current CPU time: 0.109983 s
0.09/0.15	c
0.09/0.15	c core #93
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 93
0.09/0.15	c Current CPU time: 0.111982 s
0.09/0.15	c
0.09/0.15	c core #94
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 94
0.09/0.15	c Current CPU time: 0.112982 s
0.09/0.15	c
0.09/0.15	c core #95
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 95
0.09/0.15	c Current CPU time: 0.113982 s
0.09/0.15	c
0.09/0.15	c core #96
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 96
0.09/0.15	c Current CPU time: 0.114982 s
0.09/0.15	c
0.09/0.15	c core #97
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 97
0.09/0.15	c Current CPU time: 0.115982 s
0.09/0.15	c
0.09/0.15	c core #98
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 98
0.09/0.15	c Current CPU time: 0.117982 s
0.09/0.15	c
0.09/0.15	c core #99
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 99
0.09/0.15	c Current CPU time: 0.118981 s
0.09/0.15	c
0.09/0.15	c core #100
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 100
0.09/0.15	c Current CPU time: 0.119981 s
0.09/0.15	c
0.09/0.15	c core #101
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 101
0.09/0.15	c Current CPU time: 0.120981 s
0.09/0.15	c
0.09/0.15	c core #102
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 102
0.09/0.15	c Current CPU time: 0.122981 s
0.09/0.15	c
0.09/0.15	c core #103
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 103
0.09/0.15	c Current CPU time: 0.123981 s
0.09/0.15	c
0.09/0.15	c core #104
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 104
0.09/0.15	c Current CPU time: 0.124981 s
0.09/0.15	c
0.09/0.15	c core #105
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 105
0.09/0.15	c Current CPU time: 0.12698 s
0.09/0.15	c
0.09/0.15	c core #106
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 106
0.09/0.15	c Current CPU time: 0.12798 s
0.09/0.15	c
0.09/0.15	c core #107
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 107
0.09/0.15	c Current CPU time: 0.12898 s
0.09/0.15	c
0.09/0.15	c core #108
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 108
0.09/0.15	c Current CPU time: 0.12998 s
0.09/0.15	c
0.09/0.15	c core #109
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 109
0.09/0.15	c Current CPU time: 0.131979 s
0.09/0.15	c
0.09/0.15	c core #110
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 110
0.09/0.15	c Current CPU time: 0.132979 s
0.09/0.15	c
0.09/0.15	c core #111
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 111
0.09/0.15	c Current CPU time: 0.133979 s
0.09/0.15	c
0.09/0.15	c core #112
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 112
0.09/0.15	c Current CPU time: 0.134979 s
0.09/0.15	c
0.09/0.15	c core #113
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 113
0.09/0.15	c Current CPU time: 0.136979 s
0.09/0.15	c
0.09/0.15	c core #114
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 114
0.09/0.15	c Current CPU time: 0.137979 s
0.09/0.15	c
0.09/0.15	c core #115
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 115
0.09/0.15	c Current CPU time: 0.138978 s
0.09/0.15	c
0.09/0.15	c core #116
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 116
0.09/0.15	c Current CPU time: 0.140978 s
0.09/0.15	c
0.09/0.15	c core #117
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 117
0.09/0.15	c Current CPU time: 0.141978 s
0.09/0.15	c
0.09/0.15	c core #118
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 118
0.09/0.15	c Current CPU time: 0.142978 s
0.09/0.15	c
0.09/0.15	c core #119
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 119
0.09/0.15	c Current CPU time: 0.143978 s
0.09/0.15	c
0.09/0.15	c core #120
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 120
0.09/0.15	c Current CPU time: 0.145977 s
0.09/0.15	c
0.09/0.15	c core #121
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 121
0.09/0.15	c Current CPU time: 0.146977 s
0.09/0.15	c
0.09/0.15	c core #122
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 122
0.09/0.15	c Current CPU time: 0.147977 s
0.09/0.15	c
0.09/0.15	c core #123
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 123
0.09/0.15	c Current CPU time: 0.149977 s
0.09/0.15	c
0.09/0.15	c core #124
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 124
0.09/0.15	c Current CPU time: 0.150977 s
0.09/0.15	c
0.09/0.15	c core #125
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 125
0.09/0.15	c Current CPU time: 0.151976 s
0.09/0.15	c
0.09/0.15	c core #126
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 126
0.09/0.15	c Current CPU time: 0.153976 s
0.09/0.15	c
0.09/0.15	c core #127
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 127
0.19/0.21	c Current CPU time: 0.154976 s
0.19/0.21	c
0.19/0.21	c core #128
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 128
0.19/0.21	c Current CPU time: 0.155976 s
0.19/0.21	c
0.19/0.21	c core #129
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 129
0.19/0.21	c Current CPU time: 0.157975 s
0.19/0.21	c
0.19/0.21	c core #130
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 130
0.19/0.21	c Current CPU time: 0.158975 s
0.19/0.21	c
0.19/0.21	c core #131
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 131
0.19/0.21	c Current CPU time: 0.159975 s
0.19/0.21	c
0.19/0.21	c core #132
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 132
0.19/0.21	c Current CPU time: 0.161975 s
0.19/0.21	c
0.19/0.21	c core #133
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 133
0.19/0.21	c Current CPU time: 0.162975 s
0.19/0.21	c
0.19/0.21	c core #134
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 134
0.19/0.21	c Current CPU time: 0.163975 s
0.19/0.21	c
0.19/0.21	c core #135
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 135
0.19/0.21	c Current CPU time: 0.165974 s
0.19/0.21	c
0.19/0.21	c core #136
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 136
0.19/0.21	c Current CPU time: 0.166974 s
0.19/0.21	c
0.19/0.21	c core #137
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 137
0.19/0.21	c Current CPU time: 0.167974 s
0.19/0.21	c
0.19/0.21	c core #138
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 138
0.19/0.21	c Current CPU time: 0.169974 s
0.19/0.21	c
0.19/0.21	c core #139
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 139
0.19/0.21	c Current CPU time: 0.170974 s
0.19/0.21	c
0.19/0.21	c core #140
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 140
0.19/0.21	c Current CPU time: 0.171973 s
0.19/0.21	c
0.19/0.21	c core #141
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 141
0.19/0.21	c Current CPU time: 0.173973 s
0.19/0.21	c
0.19/0.21	c core #142
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 142
0.19/0.21	c Current CPU time: 0.174973 s
0.19/0.21	c
0.19/0.21	c core #143
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 143
0.19/0.21	c Current CPU time: 0.176973 s
0.19/0.21	c
0.19/0.21	c core #144
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 144
0.19/0.21	c Current CPU time: 0.177972 s
0.19/0.21	c
0.19/0.21	c core #145
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 145
0.19/0.21	c Current CPU time: 0.178972 s
0.19/0.21	c
0.19/0.21	c core #146
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 146
0.19/0.21	c Current CPU time: 0.180972 s
0.19/0.21	c
0.19/0.21	c core #147
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 147
0.19/0.21	c Current CPU time: 0.181972 s
0.19/0.21	c
0.19/0.21	c core #148
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 148
0.19/0.21	c Current CPU time: 0.182972 s
0.19/0.21	c
0.19/0.21	c core #149
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 149
0.19/0.21	c Current CPU time: 0.184971 s
0.19/0.21	c
0.19/0.21	c core #150
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 150
0.19/0.21	c Current CPU time: 0.185971 s
0.19/0.21	c
0.19/0.21	c core #151
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 151
0.19/0.21	c Current CPU time: 0.187971 s
0.19/0.21	c
0.19/0.21	c core #152
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 152
0.19/0.21	c Current CPU time: 0.188971 s
0.19/0.21	c
0.19/0.21	c core #153
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 153
0.19/0.21	c Current CPU time: 0.189971 s
0.19/0.21	c
0.19/0.21	c core #154
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 154
0.19/0.21	c Current CPU time: 0.19197 s
0.19/0.21	c
0.19/0.21	c core #155
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 155
0.19/0.21	c Current CPU time: 0.19297 s
0.19/0.21	c
0.19/0.21	c core #156
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 156
0.19/0.21	c Current CPU time: 0.19497 s
0.19/0.21	c
0.19/0.21	c core #157
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 157
0.19/0.21	c Current CPU time: 0.19597 s
0.19/0.21	c
0.19/0.21	c core #158
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 158
0.19/0.21	c Current CPU time: 0.19697 s
0.19/0.21	c
0.19/0.21	c core #159
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 159
0.19/0.21	c Current CPU time: 0.198969 s
0.19/0.21	c
0.19/0.21	c core #160
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 160
0.19/0.21	c Current CPU time: 0.199969 s
0.19/0.21	c
0.19/0.21	c core #161
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 161
0.19/0.21	c Current CPU time: 0.201969 s
0.19/0.21	c
0.19/0.21	c core #162
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 162
0.19/0.21	c Current CPU time: 0.202969 s
0.19/0.21	c
0.19/0.21	c core #163
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 163
0.19/0.21	c Current CPU time: 0.203968 s
0.19/0.21	c
0.19/0.21	c core #164
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 164
0.19/0.21	c Current CPU time: 0.205968 s
0.19/0.21	c
0.19/0.21	c core #165
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 165
0.19/0.21	c Current CPU time: 0.206968 s
0.19/0.21	c
0.19/0.21	c core #166
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 166
0.19/0.21	c Current CPU time: 0.207968 s
0.19/0.21	c
0.19/0.21	c core #167
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 167
0.19/0.21	c Current CPU time: 0.208968 s
0.19/0.21	c
0.19/0.21	c core #168
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 168
0.19/0.21	c Current CPU time: 0.210967 s
0.19/0.27	c
0.19/0.27	c core #169
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 169
0.19/0.27	c Current CPU time: 0.211967 s
0.19/0.27	c
0.19/0.27	c core #170
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 170
0.19/0.27	c Current CPU time: 0.213967 s
0.19/0.27	c
0.19/0.27	c core #171
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 171
0.19/0.27	c Current CPU time: 0.214967 s
0.19/0.27	c
0.19/0.27	c core #172
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 172
0.19/0.27	c Current CPU time: 0.216967 s
0.19/0.27	c
0.19/0.27	c core #173
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 173
0.19/0.27	c Current CPU time: 0.217966 s
0.19/0.27	c
0.19/0.27	c core #174
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 174
0.19/0.27	c Current CPU time: 0.218966 s
0.19/0.27	c
0.19/0.27	c core #175
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 175
0.19/0.27	c Current CPU time: 0.220966 s
0.19/0.27	c
0.19/0.27	c core #176
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 176
0.19/0.27	c Current CPU time: 0.222966 s
0.19/0.27	c
0.19/0.27	c core #177
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 177
0.19/0.27	c Current CPU time: 0.223965 s
0.19/0.27	c
0.19/0.27	c core #178
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 178
0.19/0.27	c Current CPU time: 0.224965 s
0.19/0.27	c
0.19/0.27	c core #179
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 179
0.19/0.27	c Current CPU time: 0.226965 s
0.19/0.27	c
0.19/0.27	c core #180
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 180
0.19/0.27	c Current CPU time: 0.228965 s
0.19/0.27	c
0.19/0.27	c core #181
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 181
0.19/0.27	c Current CPU time: 0.229965 s
0.19/0.27	c
0.19/0.27	c core #182
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 182
0.19/0.27	c Current CPU time: 0.231964 s
0.19/0.27	c
0.19/0.27	c core #183
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 183
0.19/0.27	c Current CPU time: 0.232964 s
0.19/0.27	c
0.19/0.27	c core #184
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 184
0.19/0.27	c Current CPU time: 0.234964 s
0.19/0.27	c
0.19/0.27	c core #185
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 185
0.19/0.27	c Current CPU time: 0.235964 s
0.19/0.27	c
0.19/0.27	c core #186
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 186
0.19/0.27	c Current CPU time: 0.237963 s
0.19/0.27	c
0.19/0.27	c core #187
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 187
0.19/0.27	c Current CPU time: 0.238963 s
0.19/0.27	c
0.19/0.27	c core #188
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 188
0.19/0.27	c Current CPU time: 0.240963 s
0.19/0.27	c
0.19/0.27	c core #189
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 189
0.19/0.27	c Current CPU time: 0.241963 s
0.19/0.27	c
0.19/0.27	c core #190
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 190
0.19/0.27	c Current CPU time: 0.243962 s
0.19/0.27	c
0.19/0.27	c core #191
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 191
0.19/0.27	c Current CPU time: 0.244962 s
0.19/0.27	c
0.19/0.27	c core #192
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 192
0.19/0.27	c Current CPU time: 0.246962 s
0.19/0.27	c
0.19/0.27	c core #193
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 193
0.19/0.27	c Current CPU time: 0.247962 s
0.19/0.27	c
0.19/0.27	c core #194
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 194
0.19/0.27	c Current CPU time: 0.249962 s
0.19/0.27	c
0.19/0.27	c core #195
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 195
0.19/0.27	c Current CPU time: 0.251961 s
0.19/0.27	c
0.19/0.27	c core #196
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 196
0.19/0.27	c Current CPU time: 0.252961 s
0.19/0.27	c
0.19/0.27	c core #197
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 197
0.19/0.27	c Current CPU time: 0.254961 s
0.19/0.27	c
0.19/0.27	c core #198
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 198
0.19/0.27	c Current CPU time: 0.255961 s
0.19/0.27	c
0.19/0.27	c core #199
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 199
0.19/0.27	c Current CPU time: 0.25796 s
0.19/0.27	c
0.19/0.27	c core #200
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 200
0.19/0.27	c Current CPU time: 0.25896 s
0.19/0.27	c
0.19/0.27	c core #201
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 201
0.19/0.27	c Current CPU time: 0.26096 s
0.19/0.27	c
0.19/0.27	c core #202
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 202
0.19/0.27	c Current CPU time: 0.26296 s
0.19/0.27	c
0.19/0.27	c core #203
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 203
0.19/0.27	c Current CPU time: 0.263959 s
0.19/0.27	c
0.19/0.27	c core #204
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 204
0.19/0.27	c Current CPU time: 0.265959 s
0.19/0.27	c
0.19/0.27	c core #205
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 205
0.19/0.27	c Current CPU time: 0.267959 s
0.19/0.27	c
0.19/0.27	c core #206
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 206
0.19/0.27	c Current CPU time: 0.268959 s
0.19/0.27	c
0.19/0.27	c core #207
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 207
0.19/0.27	c Current CPU time: 0.270958 s
0.19/0.27	c
0.19/0.27	c core #208
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 208
0.19/0.27	c Current CPU time: 0.272958 s
0.19/0.27	c
0.19/0.27	c core #209
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 209
0.19/0.27	c Current CPU time: 0.273958 s
0.19/0.27	c
0.19/0.27	c core #210
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 210
0.29/0.34	c Current CPU time: 0.275958 s
0.29/0.34	c
0.29/0.34	c core #211
0.29/0.34	c 
0.29/0.34	c 
0.29/0.34	c Core size: 4	Core Weight: 1	Total Weight: 211
0.29/0.34	c Current CPU time: 0.277957 s
0.29/0.34	c
0.29/0.34	c core #212
0.29/0.34	c 
0.29/0.34	c 
0.29/0.34	c Core size: 4	Core Weight: 1	Total Weight: 212
0.29/0.34	c Current CPU time: 0.278957 s
0.29/0.34	c
0.29/0.34	c core #213
0.29/0.34	c 
0.29/0.34	c 
0.29/0.34	c Core size: 4	Core Weight: 1	Total Weight: 213
0.29/0.34	c Current CPU time: 0.280957 s
0.29/0.34	c
0.29/0.34	c core #214
0.29/0.34	c 
0.29/0.34	c 
0.29/0.34	c Core size: 4	Core Weight: 1	Total Weight: 214
0.29/0.34	c Current CPU time: 0.282956 s
0.29/0.34	c
0.29/0.34	c core #215
0.29/0.34	c 
0.29/0.34	c 
0.29/0.34	c Core size: 4	Core Weight: 1	Total Weight: 215
0.29/0.34	c Current CPU time: 0.283956 s
0.29/0.34	c
0.29/0.34	c core #216
0.29/0.34	c 
0.29/0.34	c 
0.29/0.34	c Core size: 4	Core Weight: 1	Total Weight: 216
0.29/0.34	c Current CPU time: 0.285956 s
0.29/0.34	c
0.29/0.34	c core #217
0.29/0.34	c 
0.29/0.34	c 
0.29/0.34	c Core size: 4	Core Weight: 1	Total Weight: 217
0.29/0.34	c Current CPU time: 0.287956 s
0.29/0.34	c
0.29/0.34	c core #218
0.29/0.34	c 
0.29/0.34	c 
0.29/0.34	c Core size: 4	Core Weight: 1	Total Weight: 218
0.29/0.34	c Current CPU time: 0.288956 s
0.29/0.34	c
0.29/0.34	c core #219
0.29/0.34	c 
0.29/0.34	c 
0.29/0.34	c Core size: 4	Core Weight: 1	Total Weight: 219
0.29/0.34	c Current CPU time: 0.290955 s
0.29/0.34	c
0.29/0.34	c core #220
0.29/0.34	c 
0.29/0.34	c 
0.29/0.34	c Core size: 4	Core Weight: 1	Total Weight: 220
0.29/0.35	c Current CPU time: 0.292955 s
0.29/0.35	c
0.29/0.35	c core #221
0.29/0.35	c 
0.29/0.35	c 
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 221
0.29/0.35	c Current CPU time: 0.293955 s
0.29/0.35	c
0.29/0.35	c core #222
0.29/0.35	c 
0.29/0.35	c 
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 222
0.29/0.35	c Current CPU time: 0.295955 s
0.29/0.35	c
0.29/0.35	c core #223
0.29/0.35	c 
0.29/0.35	c 
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 223
0.29/0.35	c Current CPU time: 0.297954 s
0.29/0.35	c
0.29/0.35	c core #224
0.29/0.35	c 
0.29/0.35	c 
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 224
0.29/0.35	c Current CPU time: 0.299954 s
0.29/0.35	c
0.29/0.35	c core #225
0.29/0.35	c 
0.29/0.35	c 
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 225
0.29/0.35	c Current CPU time: 0.300954 s
0.29/0.35	c
0.29/0.35	c core #226
0.29/0.35	c 
0.29/0.35	c 
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 226
0.29/0.35	c Current CPU time: 0.302953 s
0.29/0.35	c
0.29/0.35	c core #227
0.29/0.35	c 
0.29/0.35	c 
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 227
0.29/0.35	c Current CPU time: 0.304953 s
0.29/0.35	c
0.29/0.35	c core #228
0.29/0.35	c 
0.29/0.35	c 
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 228
0.29/0.35	c Current CPU time: 0.306953 s
0.29/0.35	c
0.29/0.35	c core #229
0.29/0.35	c 
0.29/0.35	c 
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 229
0.29/0.35	c Current CPU time: 0.307953 s
0.29/0.35	c
0.29/0.35	c core #230
0.29/0.35	c 
0.29/0.35	c 
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 230
0.29/0.35	c Current CPU time: 0.309952 s
0.29/0.35	c
0.29/0.35	c core #231
0.29/0.35	c 
0.29/0.35	c 
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 231
0.29/0.35	c Current CPU time: 0.311952 s
0.29/0.35	c
0.29/0.35	c core #232
0.29/0.35	c 
0.29/0.35	c 
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 232
0.29/0.35	c Current CPU time: 0.313952 s
0.29/0.35	c
0.29/0.35	c core #233
0.29/0.35	c 
0.29/0.35	c 
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 233
0.29/0.35	c Current CPU time: 0.315951 s
0.29/0.35	c
0.29/0.35	c core #234
0.29/0.35	c 
0.29/0.35	c 
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 234
0.29/0.35	c Current CPU time: 0.316951 s
0.29/0.35	c
0.29/0.35	c core #235
0.29/0.35	c 
0.29/0.35	c 
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 235
0.29/0.35	c Current CPU time: 0.318951 s
0.29/0.35	c
0.29/0.35	c core #236
0.29/0.35	c 
0.29/0.35	c 
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 236
0.29/0.35	c Current CPU time: 0.320951 s
0.29/0.35	c
0.29/0.35	c core #237
0.29/0.35	c 
0.29/0.35	c 
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 237
0.29/0.35	c Current CPU time: 0.32295 s
0.29/0.35	c
0.29/0.35	c core #238
0.29/0.35	c 
0.29/0.35	c 
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 238
0.29/0.35	c Current CPU time: 0.32495 s
0.29/0.35	c
0.29/0.35	c core #239
0.29/0.35	c 
0.29/0.35	c 
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 239
0.29/0.35	c Current CPU time: 0.32595 s
0.29/0.35	c
0.29/0.35	c core #240
0.29/0.35	c 
0.29/0.35	c 
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 240
0.29/0.35	c Current CPU time: 0.32795 s
0.29/0.35	c
0.29/0.35	c core #241
0.29/0.35	c 
0.29/0.35	c 
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 241
0.29/0.35	c Current CPU time: 0.329949 s
0.29/0.35	c
0.29/0.35	c core #242
0.29/0.35	c 
0.29/0.35	c 
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 242
0.29/0.35	c Current CPU time: 0.331949 s
0.29/0.35	c
0.29/0.35	c core #243
0.29/0.35	c 
0.29/0.35	c 
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 243
0.29/0.35	c Current CPU time: 0.333949 s
0.29/0.35	c
0.29/0.35	c core #244
0.29/0.35	c 
0.29/0.35	c 
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 244
0.29/0.35	c Current CPU time: 0.334949 s
0.29/0.35	c
0.29/0.35	c core #245
0.29/0.35	c 
0.29/0.35	c 
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 245
0.29/0.35	c Current CPU time: 0.336948 s
0.29/0.35	c
0.29/0.35	c core #246
0.29/0.35	c 
0.29/0.35	c 
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 246
0.29/0.35	c Current CPU time: 0.338948 s
0.29/0.35	c
0.29/0.35	c core #247
0.29/0.35	c 
0.29/0.35	c 
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 247
0.29/0.35	c Current CPU time: 0.340948 s
0.29/0.35	c
0.29/0.35	c core #248
0.29/0.35	c 
0.29/0.35	c 
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 248
0.29/0.35	c Current CPU time: 0.342947 s
0.29/0.35	c
0.29/0.35	c core #249
0.29/0.35	c 
0.29/0.35	c 
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 249
0.29/0.35	c Current CPU time: 0.344947 s
0.29/0.35	c
0.29/0.35	c core #250
0.29/0.35	c 
0.29/0.35	c 
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 250
0.29/0.35	c Current CPU time: 0.345947 s
0.29/0.35	c
0.29/0.35	c core #251
0.29/0.35	c 
0.29/0.35	c 
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 251
0.39/0.42	c Current CPU time: 0.347947 s
0.39/0.42	c
0.39/0.42	c core #252
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 252
0.39/0.42	c Current CPU time: 0.349946 s
0.39/0.42	c
0.39/0.42	c core #253
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 253
0.39/0.42	c Current CPU time: 0.351946 s
0.39/0.42	c
0.39/0.42	c core #254
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 254
0.39/0.42	c Current CPU time: 0.353946 s
0.39/0.42	c
0.39/0.42	c core #255
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 255
0.39/0.42	c Current CPU time: 0.355945 s
0.39/0.42	c
0.39/0.42	c core #256
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 256
0.39/0.42	c Current CPU time: 0.356945 s
0.39/0.42	c
0.39/0.42	c core #257
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 257
0.39/0.42	c Current CPU time: 0.358945 s
0.39/0.42	c
0.39/0.42	c core #258
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 258
0.39/0.42	c Current CPU time: 0.360945 s
0.39/0.42	c
0.39/0.42	c core #259
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 259
0.39/0.42	c Current CPU time: 0.362944 s
0.39/0.42	c
0.39/0.42	c core #260
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 260
0.39/0.42	c Current CPU time: 0.364944 s
0.39/0.42	c
0.39/0.42	c core #261
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 261
0.39/0.42	c Current CPU time: 0.366944 s
0.39/0.42	c
0.39/0.42	c core #262
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 262
0.39/0.42	c Current CPU time: 0.367944 s
0.39/0.42	c
0.39/0.42	c core #263
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 263
0.39/0.42	c Current CPU time: 0.369943 s
0.39/0.42	c
0.39/0.42	c core #264
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 264
0.39/0.42	c Current CPU time: 0.371943 s
0.39/0.42	c
0.39/0.42	c core #265
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 265
0.39/0.42	c Current CPU time: 0.373943 s
0.39/0.42	c
0.39/0.42	c core #266
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 266
0.39/0.42	c Current CPU time: 0.375942 s
0.39/0.42	c
0.39/0.42	c core #267
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 267
0.39/0.42	c Current CPU time: 0.377942 s
0.39/0.42	c
0.39/0.42	c core #268
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 268
0.39/0.42	c Current CPU time: 0.378942 s
0.39/0.42	c
0.39/0.42	c core #269
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 269
0.39/0.42	c Current CPU time: 0.380942 s
0.39/0.42	c
0.39/0.42	c core #270
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 270
0.39/0.42	c Current CPU time: 0.382941 s
0.39/0.42	c
0.39/0.42	c core #271
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 271
0.39/0.42	c Current CPU time: 0.384941 s
0.39/0.42	c
0.39/0.42	c core #272
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 272
0.39/0.42	c Current CPU time: 0.386941 s
0.39/0.42	c
0.39/0.42	c core #273
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 273
0.39/0.42	c Current CPU time: 0.38894 s
0.39/0.42	c
0.39/0.42	c core #274
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 274
0.39/0.42	c Current CPU time: 0.39094 s
0.39/0.42	c
0.39/0.42	c core #275
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 275
0.39/0.42	c Current CPU time: 0.39294 s
0.39/0.42	c
0.39/0.42	c core #276
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 276
0.39/0.42	c Current CPU time: 0.394939 s
0.39/0.42	c
0.39/0.42	c core #277
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 277
0.39/0.42	c Current CPU time: 0.396939 s
0.39/0.42	c
0.39/0.42	c core #278
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 278
0.39/0.42	c Current CPU time: 0.397939 s
0.39/0.42	c
0.39/0.42	c core #279
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 279
0.39/0.42	c Current CPU time: 0.399939 s
0.39/0.42	c
0.39/0.42	c core #280
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 280
0.39/0.42	c Current CPU time: 0.401938 s
0.39/0.42	c
0.39/0.42	c core #281
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 281
0.39/0.42	c Current CPU time: 0.403938 s
0.39/0.42	c
0.39/0.42	c core #282
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 282
0.39/0.42	c Current CPU time: 0.405938 s
0.39/0.42	c
0.39/0.42	c core #283
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 283
0.39/0.42	c Current CPU time: 0.407937 s
0.39/0.42	c
0.39/0.42	c core #284
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 284
0.39/0.42	c Current CPU time: 0.409937 s
0.39/0.42	c
0.39/0.42	c core #285
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 285
0.39/0.42	c Current CPU time: 0.411937 s
0.39/0.42	c
0.39/0.42	c core #286
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 7	Core Weight: 1	Total Weight: 286
0.39/0.42	c Current CPU time: 0.413937 s
0.39/0.42	c
0.39/0.42	c core #287
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 7	Core Weight: 1	Total Weight: 287
0.39/0.42	c Current CPU time: 0.415936 s
0.39/0.42	c
0.39/0.42	c core #288
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 7	Core Weight: 1	Total Weight: 288
0.39/0.42	c Current CPU time: 0.417936 s
0.39/0.42	c
0.39/0.42	c core #289
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 10	Core Weight: 1	Total Weight: 289
0.39/0.42	c Current CPU time: 0.419936 s
0.39/0.42	c
0.39/0.42	c core #290
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 13	Core Weight: 1	Total Weight: 290
0.39/0.42	c Current CPU time: 0.421935 s
0.39/0.42	c
0.39/0.42	c core #291
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 16	Core Weight: 1	Total Weight: 291
0.39/0.42	c Current CPU time: 0.423935 s
0.39/0.42	c
0.39/0.42	c core #292
0.39/0.42	c 
0.39/0.42	c 
0.39/0.42	c Core size: 7	Core Weight: 1	Total Weight: 292
0.39/0.42	c Current CPU time: 0.425935 s
0.39/0.42	c
0.39/0.42	c core #293
0.39/0.48	c 
0.39/0.48	c 
0.39/0.48	c Core size: 7	Core Weight: 1	Total Weight: 293
0.39/0.48	c Current CPU time: 0.427934 s
0.39/0.48	c
0.39/0.48	c core #294
0.39/0.48	c 
0.39/0.48	c 
0.39/0.48	c Core size: 10	Core Weight: 1	Total Weight: 294
0.39/0.48	c Current CPU time: 0.429934 s
0.39/0.48	c
0.39/0.48	c core #295
0.39/0.48	c 
0.39/0.48	c 
0.39/0.48	c Core size: 10	Core Weight: 1	Total Weight: 295
0.39/0.48	c Current CPU time: 0.431934 s
0.39/0.48	c
0.39/0.48	c core #296
0.39/0.48	c 
0.39/0.48	c 
0.39/0.48	c Core size: 10	Core Weight: 1	Total Weight: 296
0.39/0.48	c Current CPU time: 0.433934 s
0.39/0.48	c
0.39/0.48	c core #297
0.39/0.48	c 
0.39/0.48	c 
0.39/0.48	c Core size: 10	Core Weight: 1	Total Weight: 297
0.39/0.48	c Current CPU time: 0.435933 s
0.39/0.48	c
0.39/0.48	c core #298
0.39/0.48	c 
0.39/0.48	c 
0.39/0.48	c Core size: 7	Core Weight: 1	Total Weight: 298
0.39/0.48	c Current CPU time: 0.437933 s
0.39/0.48	c
0.39/0.48	c core #299
0.39/0.48	c 
0.39/0.48	c 
0.39/0.48	c Core size: 13	Core Weight: 1	Total Weight: 299
0.39/0.48	c Current CPU time: 0.439933 s
0.39/0.48	c
0.39/0.48	c core #300
0.39/0.48	c 
0.39/0.48	c 
0.39/0.48	c Core size: 7	Core Weight: 1	Total Weight: 300
0.39/0.48	c Current CPU time: 0.441932 s
0.39/0.48	c
0.39/0.48	c core #301
0.39/0.48	c 
0.39/0.48	c 
0.39/0.48	c Core size: 7	Core Weight: 1	Total Weight: 301
0.39/0.48	c Current CPU time: 0.443932 s
0.39/0.48	c
0.39/0.48	c core #302
0.39/0.48	c 
0.39/0.48	c 
0.39/0.48	c Core size: 7	Core Weight: 1	Total Weight: 302
0.39/0.48	c Current CPU time: 0.445932 s
0.39/0.48	c
0.39/0.48	c core #303
0.39/0.48	c 
0.39/0.48	c 
0.39/0.48	c Core size: 13	Core Weight: 1	Total Weight: 303
0.39/0.48	c Current CPU time: 0.447931 s
0.39/0.48	c
0.39/0.48	c core #304
0.39/0.48	c 
0.39/0.48	c 
0.39/0.48	c Core size: 25	Core Weight: 1	Total Weight: 304
0.39/0.48	c Current CPU time: 0.449931 s
0.39/0.48	c
0.39/0.48	c core #305
0.39/0.48	c 
0.39/0.48	c 
0.39/0.48	c Core size: 10	Core Weight: 1	Total Weight: 305
0.39/0.48	c Current CPU time: 0.451931 s
0.39/0.48	c
0.39/0.48	c core #306
0.39/0.48	c 
0.39/0.48	c 
0.39/0.48	c Core size: 7	Core Weight: 1	Total Weight: 306
0.39/0.48	c Current CPU time: 0.45393 s
0.39/0.48	c
0.39/0.48	c core #307
0.39/0.48	c 
0.39/0.48	c 
0.39/0.48	c Core size: 80	Core Weight: 1	Total Weight: 307
0.39/0.48	c Current CPU time: 0.45593 s
0.39/0.48	c
0.39/0.48	c core #308
0.39/0.48	c 
0.39/0.48	c 
0.39/0.48	c Core size: 10	Core Weight: 1	Total Weight: 308
0.39/0.48	c Current CPU time: 0.45793 s
0.39/0.48	c
0.39/0.48	c core #309
0.39/0.48	c 
0.39/0.48	c 
0.39/0.48	c Core size: 125	Core Weight: 1	Total Weight: 309
0.39/0.48	c Current CPU time: 0.45993 s
0.39/0.48	c
0.39/0.48	c core #310
0.39/0.48	c 
0.39/0.48	c 
0.39/0.48	c Core size: 13	Core Weight: 1	Total Weight: 310
0.39/0.48	c Current CPU time: 0.462929 s
0.39/0.48	c
0.39/0.48	c core #311
0.39/0.48	c 
0.39/0.48	c 
0.39/0.48	c Core size: 21	Core Weight: 1	Total Weight: 311
0.39/0.48	c Current CPU time: 0.464929 s
0.39/0.48	c
0.39/0.48	c core #312
0.39/0.48	c 
0.39/0.48	c 
0.39/0.48	c Core size: 19	Core Weight: 1	Total Weight: 312
0.39/0.48	c Current CPU time: 0.466929 s
0.39/0.48	c
0.39/0.48	c core #313
0.39/0.48	c 
0.39/0.48	c 
0.39/0.48	c Core size: 30	Core Weight: 1	Total Weight: 313
0.39/0.48	c Current CPU time: 0.468928 s
0.39/0.48	c
0.39/0.48	c core #314
0.39/0.48	c 
0.39/0.48	c 
0.39/0.48	c Core size: 101	Core Weight: 1	Total Weight: 314
0.39/0.48	c Current CPU time: 0.470928 s
0.39/0.48	c
0.39/0.48	c core #315
0.39/0.48	c 
0.39/0.48	c 
0.39/0.48	c Core size: 80	Core Weight: 1	Total Weight: 315
0.39/0.48	c Current CPU time: 0.472928 s
0.39/0.48	c
0.39/0.48	c core #316
0.39/0.48	c 
0.39/0.48	c 
0.39/0.48	c Core size: 54	Core Weight: 1	Total Weight: 316
0.39/0.48	c Current CPU time: 0.474927 s
0.39/0.48	c
0.39/0.48	c core #317
0.39/0.48	c 
0.39/0.48	c 
0.39/0.48	c Core size: 89	Core Weight: 1	Total Weight: 317
0.39/0.48	c Current CPU time: 0.477927 s
0.39/0.48	c
0.39/0.48	c ============================[ Search Statistics ]==============================
0.39/0.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.48	c ===============================================================================
0.39/0.48	c |         0 |    2319     4667    12226 |     5000        0   -nan |  0.000 % |
0.39/0.48	c ===============================================================================
0.39/0.48	c core #318
0.39/0.48	c 
0.39/0.48	c 
0.39/0.48	c Core size: 40	Core Weight: 1	Total Weight: 318
0.39/0.48	c Current CPU time: 0.479927 s
0.39/0.48	c
0.39/0.48	c ============================[ Search Statistics ]==============================
0.39/0.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.48	c ===============================================================================
0.39/0.48	c |         0 |    2357     4668    12308 |     5000        0   -nan |  0.000 % |
0.39/0.48	c ===============================================================================
0.39/0.48	c core #319
0.39/0.48	c 
0.39/0.48	c 
0.39/0.48	c Core size: 59	Core Weight: 1	Total Weight: 319
0.39/0.48	c Current CPU time: 0.482926 s
0.39/0.48	c
0.39/0.48	c ============================[ Search Statistics ]==============================
0.39/0.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.48	c ===============================================================================
0.39/0.48	c |         0 |    2411     4669    12428 |     5000        0   -nan |  0.000 % |
0.39/0.48	c ===============================================================================
0.39/0.48	c core #320
0.39/0.48	c 
0.39/0.48	c 
0.39/0.48	c Core size: 123	Core Weight: 1	Total Weight: 320
0.39/0.48	c Current CPU time: 0.485926 s
0.39/0.48	c
0.39/0.48	c ============================[ Search Statistics ]==============================
0.39/0.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.48	c ===============================================================================
0.39/0.48	c |         0 |    2513     4670    12647 |     5000        0   -nan |  0.000 % |
0.39/0.49	c ===============================================================================
0.39/0.49	c core #321
0.39/0.49	c 
0.39/0.49	c 
0.39/0.49	c Core size: 158	Core Weight: 1	Total Weight: 321
0.39/0.49	c Current CPU time: 0.488925 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 |    2676     4671    12987 |     5000        0   -nan |  0.000 % |
0.39/0.49	c ===============================================================================
0.39/0.49	c core #322
0.39/0.49	c 
0.39/0.49	c 
0.39/0.49	c Core size: 229	Core Weight: 1	Total Weight: 322
0.39/0.49	c Current CPU time: 0.493924 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 |    2871     4672    13383 |     5000        0   -nan |  0.000 % |
0.49/0.50	c |       101 |    2871     4672    13383 |     5500      101     33 |  0.313 % |
0.49/0.50	c |       253 |    2871     4672    13383 |     6050      253     23 |  0.313 % |
0.49/0.52	c |       479 |    2869     4672    13383 |     6655      479     19 |  0.382 % |
0.49/0.52	c ===============================================================================
0.49/0.52	c core #323
0.49/0.52	c 
0.49/0.52	c 
0.49/0.52	c Core size: 685	Core Weight: 1	Total Weight: 323
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 |    3514     4673    14674 |     5000        0   -nan |  0.000 % |
0.49/0.53	c |       100 |    3514     4673    14674 |     5500      100     33 |  0.114 % |
0.49/0.53	c |       250 |    3514     4673    14674 |     6050      250     22 |  0.114 % |
0.49/0.55	c |       475 |    3514     4673    14674 |     6655      475     17 |  0.114 % |
0.49/0.57	c |       812 |    3514     4673    14674 |     7320      812     15 |  0.114 % |
0.49/0.60	c |      1318 |    3514     4673    14674 |     8052     1318     14 |  0.114 % |
0.59/0.65	c |      2079 |    3514     4673    14674 |     8857     2079     15 |  0.114 % |
0.59/0.69	c ===============================================================================
0.69/0.70	c core #324
0.69/0.70	c 
0.69/0.70	c 
0.69/0.70	c Core size: 587	Core Weight: 1	Total Weight: 324
0.69/0.70	c Current CPU time: 0.696894 s
0.69/0.70	c
0.69/0.70	c ============================[ Search Statistics ]==============================
0.69/0.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.69/0.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.69/0.70	c ===============================================================================
0.69/0.70	c |         0 |    4086     4675    15822 |     5000        0   -nan |  0.000 % |
0.69/0.71	c |       100 |    4086     4675    15822 |     5500      100     51 |  0.073 % |
0.69/0.72	c |       251 |    4086     4675    15822 |     6050      251     40 |  0.073 % |
0.69/0.74	c |       476 |    4086     4675    15822 |     6655      476     32 |  0.073 % |
0.69/0.76	c |       814 |    4086     4675    15822 |     7320      814     26 |  0.073 % |
0.79/0.80	c |      1320 |    4086     4675    15822 |     8052     1320     25 |  0.073 % |
0.79/0.86	c |      2080 |    4086     4675    15822 |     8857     2080     25 |  0.073 % |
0.89/0.94	c |      3224 |    4086     4675    15822 |     9743     3224     24 |  0.073 % |
1.00/1.09	c |      4934 |    4086     4675    15822 |    10717     4934     25 |  0.073 % |
1.29/1.32	c |      7496 |    4086     4675    15822 |    11789     7496     26 |  0.073 % |
1.59/1.64	c |     11340 |    4086     4675    15822 |    12968    11340     26 |  0.073 % |
2.10/2.18	c |     17106 |    4086     4675    15822 |    14265    10605     25 |  0.073 % |
2.99/3.09	c |     25755 |    4086     4675    15822 |    15692    12094     31 |  0.073 % |
4.59/4.61	c |     38729 |    4086     4675    15822 |    17261     9247     28 |  0.073 % |
6.89/6.99	c |     58194 |    4086     4675    15822 |    18987    11337     26 |  0.073 % |
10.69/10.79	c |     87388 |    4086     4675    15822 |    20886    11956     27 |  0.073 % |
15.19/15.25	c ===============================================================================
16.09/16.15	c core #325
16.09/16.15	c 
16.09/16.15	c 
16.09/16.15	c Core size: 1158	Core Weight: 1	Total Weight: 325
16.09/16.15	c Current CPU time: 15.8066 s
16.09/16.15	c
16.09/16.15	c ============================[ Search Statistics ]==============================
16.09/16.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
16.09/16.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
16.09/16.15	c ===============================================================================
16.09/16.15	c |         0 |    5231     4695    18169 |     5000        0   -nan |  0.000 % |
16.09/16.16	c |       109 |    5231     4695    18169 |     5500      109    151 |  0.057 % |
16.09/16.18	c |       260 |    5231     4695    18169 |     6050      260    116 |  0.057 % |
16.19/16.21	c |       485 |    5231     4695    18169 |     6655      485     83 |  0.057 % |
16.19/16.23	c |       823 |    5231     4695    18169 |     7320      823     64 |  0.057 % |
16.19/16.26	c |      1329 |    5231     4695    18169 |     8052     1329     54 |  0.057 % |
16.19/16.29	c |      2088 |    5231     4695    18169 |     8857     2088     44 |  0.057 % |
16.29/16.34	c |      3227 |    5231     4695    18169 |     9743     3227     39 |  0.057 % |
16.40/16.43	c |      4936 |    5231     4695    18169 |    10717     4936     36 |  0.057 % |
16.59/16.60	c |      7499 |    5231     4695    18169 |    11789     7499     34 |  0.057 % |
16.89/16.92	c |     11345 |    5231     4695    18169 |    12968    11345     32 |  0.057 % |
17.39/17.40	c |     17112 |    5231     4695    18169 |    14265    10569     28 |  0.057 % |
18.19/18.29	c |     25761 |    5231     4695    18169 |    15692    12032     29 |  0.057 % |
19.49/19.54	c |     38736 |    5231     4695    18169 |    17261     9208     28 |  0.057 % |
21.69/21.79	c |     58199 |    5231     4695    18169 |    18987    11275     29 |  0.057 % |
25.31/25.37	c |     87391 |    5231     4695    18169 |    20886    11831     27 |  0.057 % |
30.81/30.82	c |    131181 |    5231     4695    18169 |    22974    13617     30 |  0.057 % |
39.99/40.09	c |    196866 |    5231     4695    18169 |    25272    21591     29 |  0.057 % |
53.79/53.82	c |    295392 |    5231     4695    18169 |    27799    17101     27 |  0.057 % |
75.59/75.64	c |    443183 |    5231     4695    18169 |    30579    16108     27 |  0.057 % |
109.79/109.83	c |    664867 |    5231     4695    18169 |    33637    28387     36 |  0.057 % |
165.29/165.31	c |    997392 |    5231     4695    18169 |    37001    14223     33 |  0.057 % |
254.19/254.29	c |   1496180 |    5231     4695    18169 |    40701    23322     29 |  0.057 % |
503.49/503.50	c |   2244370 |    5231     4695    18169 |    44771    37393    189 |  0.057 % |
990.79/990.86	c |   3366644 |    5231     4695    18169 |    49248    19665    139 |  0.057 % |
1259.88/1259.97	c ===============================================================================
1281.78/1281.81	c core #326
1281.78/1281.81	c 
1281.78/1281.81	c 
1281.78/1281.81	c Core size: 1186	Core Weight: 1	Total Weight: 326
1281.78/1281.81	c Current CPU time: 1270.6 s
1281.78/1281.81	c
1281.78/1281.81	c ============================[ Search Statistics ]==============================
1281.78/1281.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1281.78/1281.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1281.78/1281.81	c ===============================================================================
1281.78/1281.81	c |         0 |    6413     4697    20536 |     5000        0   -nan |  0.000 % |
1281.78/1281.82	c |       100 |    6413     4697    20536 |     5500      100     64 |  0.047 % |
1281.78/1281.83	c |       251 |    6413     4697    20536 |     6050      251     46 |  0.047 % |
1281.78/1281.84	c |       479 |    6413     4697    20536 |     6655      479     37 |  0.047 % |
1281.78/1281.85	c |       817 |    6413     4697    20536 |     7320      817     34 |  0.047 % |
1281.78/1281.88	c |      1323 |    6413     4697    20536 |     8052     1323     31 |  0.047 % |
1281.88/1281.91	c |      2082 |    6413     4697    20536 |     8857     2082     29 |  0.047 % |
1281.88/1281.97	c |      3221 |    6413     4697    20536 |     9743     3221     29 |  0.047 % |
1281.98/1282.07	c |      4929 |    6413     4697    20536 |    10717     4929     29 |  0.047 % |
1282.18/1282.26	c |      7492 |    6413     4697    20536 |    11789     7492     29 |  0.047 % |
1282.49/1282.59	c |     11337 |    6413     4697    20536 |    12968    11337     29 |  0.047 % |
1283.08/1283.13	c |     17104 |    6413     4697    20536 |    14265    10580     29 |  0.047 % |
1283.98/1284.06	c |     25753 |    6413     4697    20536 |    15692    12043     29 |  0.047 % |
1285.58/1285.64	c |     38730 |    6413     4697    20536 |    17261     9259     28 |  0.047 % |
1287.88/1288.00	c |     58192 |    6413     4697    20536 |    18987    11354     30 |  0.047 % |
1291.79/1291.85	c |     87384 |    6413     4697    20536 |    20886    11861     29 |  0.047 % |
1297.78/1297.88	c |    131176 |    6413     4697    20536 |    22974    13662     25 |  0.047 % |
1306.88/1306.99	c |    196863 |    6413     4697    20536 |    25272    21648     25 |  0.047 % |
1320.88/1320.96	c |    295389 |    6413     4697    20536 |    27799    16908     26 |  0.047 % |
1342.58/1342.60	c |    443179 |    6413     4697    20536 |    30579    14202     26 |  0.047 % |
1380.58/1380.66	c |    664862 |    6413     4697    20536 |    33637    29034     28 |  0.047 % |
1439.90/1439.92	c |    997390 |    6413     4697    20536 |    37001    19960     28 |  0.047 % |
1524.88/1524.96	c |   1496178 |    6413     4697    20536 |    40701    25840     27 |  0.047 % |
1662.87/1662.92	c |   2244360 |    6413     4697    20536 |    44771    24072     29 |  0.047 % |

ERROR: no interpretation found !

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-3460742-1307088654/watcher-3460742-1307088654 -o /tmp/evaluation-result-3460742-1307088654/solver-3460742-1307088654 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460742-1307088654.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: 2.00 2.02 2.00 4/523 17104
/proc/meminfo: memFree=23973736/32951124 swapFree=56930356/67111528
[pid=17104] ppid=17100 vsize=2532 CPUtime=0 cores=1,3,5,7
/proc/17104/stat : 17104 (wbo1.6) R 17100 17104 11603 0 -1 4202496 420 0 0 0 0 0 0 0 20 0 1 0 820463173 2592768 347 33554432000 4194304 5714214 140734629447840 18446744073709551615 5264250 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17104/statm: 633 357 169 372 0 258 0

[startup+0.0392279 s]
/proc/loadavg: 2.00 2.02 2.00 4/523 17104
/proc/meminfo: memFree=23973736/32951124 swapFree=56930356/67111528
[pid=17104] ppid=17100 vsize=3252 CPUtime=0.03 cores=1,3,5,7
/proc/17104/stat : 17104 (wbo1.6) R 17100 17104 11603 0 -1 4202496 638 0 0 0 3 0 0 0 20 0 1 0 820463173 3330048 565 33554432000 4194304 5714214 140734629447840 18446744073709551615 4964954 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17104/statm: 813 565 175 372 0 438 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3252

[startup+0.100206 s]
/proc/loadavg: 2.00 2.02 2.00 4/523 17104
/proc/meminfo: memFree=23973736/32951124 swapFree=56930356/67111528
[pid=17104] ppid=17100 vsize=3492 CPUtime=0.09 cores=1,3,5,7
/proc/17104/stat : 17104 (wbo1.6) R 17100 17104 11603 0 -1 4202496 711 0 0 0 9 0 0 0 20 0 1 0 820463173 3575808 623 33554432000 4194304 5714214 140734629447840 18446744073709551615 4336684 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17104/statm: 873 623 175 372 0 498 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3492

[startup+0.300171 s]
/proc/loadavg: 2.00 2.02 2.00 4/523 17104
/proc/meminfo: memFree=23973736/32951124 swapFree=56930356/67111528
[pid=17104] ppid=17100 vsize=4652 CPUtime=0.29 cores=1,3,5,7
/proc/17104/stat : 17104 (wbo1.6) R 17100 17104 11603 0 -1 4202496 1085 0 0 0 29 0 0 0 21 0 1 0 820463173 4763648 903 33554432000 4194304 5714214 140734629447840 18446744073709551615 4337211 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17104/statm: 1163 903 175 372 0 788 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4652

[startup+0.701095 s]
/proc/loadavg: 2.00 2.02 2.00 4/523 17104
/proc/meminfo: memFree=23973736/32951124 swapFree=56930356/67111528
[pid=17104] ppid=17100 vsize=6460 CPUtime=0.69 cores=1,3,5,7
/proc/17104/stat : 17104 (wbo1.6) R 17100 17104 11603 0 -1 4202496 1649 0 0 0 69 0 0 0 18 0 1 0 820463173 6615040 1347 33554432000 4194304 5714214 140734629447840 18446744073709551615 4197780 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17104/statm: 1615 1347 180 372 0 1240 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6460

[startup+1.50095 s]
/proc/loadavg: 2.00 2.02 2.00 3/525 17133
/proc/meminfo: memFree=23963728/32951124 swapFree=56930356/67111528
[pid=17104] ppid=17100 vsize=9148 CPUtime=1.49 cores=1,3,5,7
/proc/17104/stat : 17104 (wbo1.6) R 17100 17104 11603 0 -1 4202496 2298 0 0 0 146 3 0 0 19 0 1 0 820463173 9367552 1996 33554432000 4194304 5714214 140734629447840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17104/statm: 2287 1996 180 372 0 1912 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9148

[startup+3.10066 s]
/proc/loadavg: 2.00 2.02 2.00 3/525 17133
/proc/meminfo: memFree=23953684/32951124 swapFree=56930356/67111528
[pid=17104] ppid=17100 vsize=13128 CPUtime=3.09 cores=1,3,5,7
/proc/17104/stat : 17104 (wbo1.6) R 17100 17104 11603 0 -1 4202496 3283 0 0 0 302 7 0 0 22 0 1 0 820463173 13443072 2981 33554432000 4194304 5714214 140734629447840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17104/statm: 3282 2981 180 372 0 2907 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13128

[startup+6.30108 s]
/proc/loadavg: 2.00 2.02 2.00 3/525 17133
/proc/meminfo: memFree=23938712/32951124 swapFree=56930356/67111528
[pid=17104] ppid=17100 vsize=18568 CPUtime=6.29 cores=1,3,5,7
/proc/17104/stat : 17104 (wbo1.6) R 17100 17104 11603 0 -1 4202496 4655 0 0 0 616 13 0 0 25 0 1 0 820463173 19013632 4353 33554432000 4194304 5714214 140734629447840 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17104/statm: 4642 4353 180 372 0 4267 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18568

[startup+12.7009 s]
/proc/loadavg: 2.00 2.01 2.00 3/525 17134
/proc/meminfo: memFree=23922040/32951124 swapFree=56930356/67111528
[pid=17104] ppid=17100 vsize=28300 CPUtime=12.7 cores=1,3,5,7
/proc/17104/stat : 17104 (wbo1.6) R 17100 17104 11603 0 -1 4202496 7078 0 0 0 1244 26 0 0 25 0 1 0 820463173 28979200 6776 33554432000 4194304 5714214 140734629447840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17104/statm: 7075 6776 180 372 0 6700 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 28300

[startup+25.5006 s]
/proc/loadavg: 2.00 2.01 2.00 3/525 17134
/proc/meminfo: memFree=23893852/32951124 swapFree=56930356/67111528
[pid=17104] ppid=17100 vsize=36992 CPUtime=25.49 cores=1,3,5,7
/proc/17104/stat : 17104 (wbo1.6) R 17100 17104 11603 0 -1 4202496 9399 0 0 0 2503 46 0 0 25 0 1 0 820463173 37879808 8991 33554432000 4194304 5714214 140734629447840 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17104/statm: 9248 8991 180 372 0 8873 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 36992

[startup+51.101 s]
/proc/loadavg: 2.12 2.04 2.01 3/525 17135
/proc/meminfo: memFree=23869032/32951124 swapFree=56930356/67111528
[pid=17104] ppid=17100 vsize=41820 CPUtime=51.09 cores=1,3,5,7
/proc/17104/stat : 17104 (wbo1.6) R 17100 17104 11603 0 -1 4202496 10602 0 0 0 5030 79 0 0 25 0 1 0 820463173 42823680 10194 33554432000 4194304 5714214 140734629447840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17104/statm: 10455 10194 180 372 0 10080 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 41820

[startup+102.32 s]
/proc/loadavg: 2.12 2.05 2.01 3/525 17136
/proc/meminfo: memFree=23780736/32951124 swapFree=56930356/67111528
[pid=17104] ppid=17100 vsize=79872 CPUtime=102.31 cores=1,3,5,7
/proc/17104/stat : 17104 (wbo1.6) R 17100 17104 11603 0 -1 4202496 20001 0 0 0 10088 143 0 0 25 0 1 0 820463173 81788928 19593 33554432000 4194304 5714214 140734629447840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17104/statm: 19968 19593 180 372 0 19593 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 79872

[startup+162.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/525 17138
/proc/meminfo: memFree=23690676/32951124 swapFree=56930356/67111528
[pid=17104] ppid=17100 vsize=119132 CPUtime=162.29 cores=1,3,5,7
/proc/17104/stat : 17104 (wbo1.6) R 17100 17104 11603 0 -1 4202496 29753 0 0 0 16017 212 0 0 25 0 1 0 820463173 121991168 29345 33554432000 4194304 5714214 140734629447840 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17104/statm: 29783 29345 180 372 0 29408 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 119132

[startup+222.301 s]
/proc/loadavg: 2.12 2.06 2.01 3/525 17139
/proc/meminfo: memFree=23612284/32951124 swapFree=56930356/67111528
[pid=17104] ppid=17100 vsize=152684 CPUtime=222.29 cores=1,3,5,7
/proc/17104/stat : 17104 (wbo1.6) R 17100 17104 11603 0 -1 4202496 38095 0 0 0 21953 276 0 0 25 0 1 0 820463173 156348416 37687 33554432000 4194304 5714214 140734629447840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17104/statm: 38171 37687 180 372 0 37796 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 152684

[startup+282.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/525 17141
/proc/meminfo: memFree=23549000/32951124 swapFree=56930356/67111528
[pid=17104] ppid=17100 vsize=193028 CPUtime=282.29 cores=1,3,5,7
/proc/17104/stat : 17104 (wbo1.6) R 17100 17104 11603 0 -1 4202496 48104 0 0 0 27890 339 0 0 25 0 1 0 820463173 197660672 47696 33554432000 4194304 5714214 140734629447840 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17104/statm: 48257 47696 180 372 0 47882 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 193028

[startup+342.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/525 17142
/proc/meminfo: memFree=23492320/32951124 swapFree=56930356/67111528
[pid=17104] ppid=17100 vsize=250268 CPUtime=342.29 cores=1,3,5,7
/proc/17104/stat : 17104 (wbo1.6) R 17100 17104 11603 0 -1 4202496 62175 0 0 0 33836 393 0 0 25 0 1 0 820463173 256274432 61767 33554432000 4194304 5714214 140734629447840 18446744073709551615 4322884 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17104/statm: 62567 61767 180 372 0 62192 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 250268

[startup+402.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/525 17144
/proc/meminfo: memFree=23459308/32951124 swapFree=56930356/67111528
[pid=17104] ppid=17100 vsize=285192 CPUtime=402.28 cores=1,3,5,7
/proc/17104/stat : 17104 (wbo1.6) R 17100 17104 11603 0 -1 4202496 70693 0 0 0 39790 438 0 0 25 0 1 0 820463173 292036608 70285 33554432000 4194304 5714214 140734629447840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17104/statm: 71298 70285 180 372 0 70923 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 285192

[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/525 17146
/proc/meminfo: memFree=23426304/32951124 swapFree=56930356/67111528
[pid=17104] ppid=17100 vsize=316532 CPUtime=462.29 cores=1,3,5,7
/proc/17104/stat : 17104 (wbo1.6) R 17100 17104 11603 0 -1 4202496 78277 0 0 0 45749 480 0 0 25 0 1 0 820463173 324128768 77869 33554432000 4194304 5714214 140734629447840 18446744073709551615 4311837 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17104/statm: 79133 77869 180 372 0 78758 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 316532

[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/525 17147
/proc/meminfo: memFree=23398240/32951124 swapFree=56930356/67111528
[pid=17104] ppid=17100 vsize=345032 CPUtime=522.29 cores=1,3,5,7
/proc/17104/stat : 17104 (wbo1.6) R 17100 17104 11603 0 -1 4202496 85199 0 0 0 51712 517 0 0 25 0 1 0 820463173 353312768 84791 33554432000 4194304 5714214 140734629447840 18446744073709551615 4319955 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17104/statm: 86258 84791 180 372 0 85883 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 345032

[startup+582.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/525 17149
/proc/meminfo: memFree=23358516/32951124 swapFree=56930356/67111528
[pid=17104] ppid=17100 vsize=379736 CPUtime=582.28 cores=1,3,5,7
/proc/17104/stat : 17104 (wbo1.6) R 17100 17104 11603 0 -1 4202496 93779 0 0 0 57682 546 0 0 25 0 1 0 820463173 388849664 93371 33554432000 4194304 5714214 140734629447840 18446744073709551615 4323003 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17104/statm: 94934 93371 180 372 0 94559 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 379736

[startup+642.3 s]

################
# More data... #
################

[startup+882.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/525 17157
/proc/meminfo: memFree=23113108/32951124 swapFree=56930356/67111528
[pid=17104] ppid=17100 vsize=490724 CPUtime=882.28 cores=1,3,5,7
/proc/17104/stat : 17104 (wbo1.6) R 17100 17104 11603 0 -1 4202496 120896 0 0 0 87508 720 0 0 25 0 1 0 820463173 502501376 120323 33554432000 4194304 5714214 140734629447840 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17104/statm: 122681 120323 180 372 0 122306 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 490724

[startup+942.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/525 17158
/proc/meminfo: memFree=23047248/32951124 swapFree=56930356/67111528
[pid=17104] ppid=17100 vsize=507096 CPUtime=942.28 cores=1,3,5,7
/proc/17104/stat : 17104 (wbo1.6) R 17100 17104 11603 0 -1 4202496 124960 0 0 0 93464 764 0 0 25 0 1 0 820463173 519266304 124387 33554432000 4194304 5714214 140734629447840 18446744073709551615 4311848 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17104/statm: 126774 124387 180 372 0 126399 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 507096

[startup+1002.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/525 17160
/proc/meminfo: memFree=22987704/32951124 swapFree=56930356/67111528
[pid=17104] ppid=17100 vsize=536680 CPUtime=1002.28 cores=1,3,5,7
/proc/17104/stat : 17104 (wbo1.6) R 17100 17104 11603 0 -1 4202496 132190 0 0 0 99431 797 0 0 25 0 1 0 820463173 549560320 131617 33554432000 4194304 5714214 140734629447840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17104/statm: 134170 131617 180 372 0 133795 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 536680

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/525 17162
/proc/meminfo: memFree=22926980/32951124 swapFree=56930356/67111528
[pid=17104] ppid=17100 vsize=567056 CPUtime=1062.29 cores=1,3,5,7
/proc/17104/stat : 17104 (wbo1.6) R 17100 17104 11603 0 -1 4202496 139734 0 0 0 105386 843 0 0 25 0 1 0 820463173 580665344 139161 33554432000 4194304 5714214 140734629447840 18446744073709551615 4322907 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17104/statm: 141764 139161 180 372 0 141389 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 567056

[startup+1122.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/525 17163
/proc/meminfo: memFree=22847700/32951124 swapFree=56930356/67111528
[pid=17104] ppid=17100 vsize=599928 CPUtime=1122.28 cores=1,3,5,7
/proc/17104/stat : 17104 (wbo1.6) R 17100 17104 11603 0 -1 4202496 147930 0 0 0 111352 876 0 0 25 0 1 0 820463173 614326272 147357 33554432000 4194304 5714214 140734629447840 18446744073709551615 4311876 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17104/statm: 149982 147357 180 372 0 149607 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 599928

[startup+1182.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/525 17165
/proc/meminfo: memFree=22801292/32951124 swapFree=56930356/67111528
[pid=17104] ppid=17100 vsize=626904 CPUtime=1182.28 cores=1,3,5,7
/proc/17104/stat : 17104 (wbo1.6) R 17100 17104 11603 0 -1 4202496 154488 0 0 0 117325 903 0 0 25 0 1 0 820463173 641949696 153915 33554432000 4194304 5714214 140734629447840 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17104/statm: 156726 153915 180 372 0 156351 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 626904

[startup+1242.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/525 17166
/proc/meminfo: memFree=22733812/32951124 swapFree=56930356/67111528
[pid=17104] ppid=17100 vsize=650304 CPUtime=1242.28 cores=1,3,5,7
/proc/17104/stat : 17104 (wbo1.6) R 17100 17104 11603 0 -1 4202496 160257 0 0 0 123298 930 0 0 25 0 1 0 820463173 665911296 159684 33554432000 4194304 5714214 140734629447840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17104/statm: 162576 159684 180 372 0 162201 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 650304

[startup+1302.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/525 17168
/proc/meminfo: memFree=22654772/32951124 swapFree=56930356/67111528
[pid=17104] ppid=17100 vsize=691316 CPUtime=1302.29 cores=1,3,5,7
/proc/17104/stat : 17104 (wbo1.6) R 17100 17104 11603 0 -1 4202496 172196 0 0 0 129259 970 0 0 25 0 1 0 820463173 707907584 170324 33554432000 4194304 5714214 140734629447840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17104/statm: 172829 170324 180 372 0 172454 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 691316

[startup+1362.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/525 17170
/proc/meminfo: memFree=22632920/32951124 swapFree=56930356/67111528
[pid=17104] ppid=17100 vsize=691316 CPUtime=1362.28 cores=1,3,5,7
/proc/17104/stat : 17104 (wbo1.6) R 17100 17104 11603 0 -1 4202496 172196 0 0 0 135190 1038 0 0 25 0 1 0 820463173 707907584 170324 33554432000 4194304 5714214 140734629447840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17104/statm: 172829 170324 180 372 0 172454 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 691316

[startup+1422.32 s]
/proc/loadavg: 2.03 2.06 2.01 3/525 17171
/proc/meminfo: memFree=22603136/32951124 swapFree=56930356/67111528
[pid=17104] ppid=17100 vsize=691316 CPUtime=1422.3 cores=1,3,5,7
/proc/17104/stat : 17104 (wbo1.6) R 17100 17104 11603 0 -1 4202496 172201 0 0 0 141132 1098 0 0 25 0 1 0 820463173 707907584 170329 33554432000 4194304 5714214 140734629447840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17104/statm: 172829 170329 180 372 0 172454 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 691316

[startup+1482.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/525 17173
/proc/meminfo: memFree=22567376/32951124 swapFree=56930356/67111528
[pid=17104] ppid=17100 vsize=691316 CPUtime=1482.28 cores=1,3,5,7
/proc/17104/stat : 17104 (wbo1.6) R 17100 17104 11603 0 -1 4202496 172425 0 0 0 147064 1164 0 0 25 0 1 0 820463173 707907584 170553 33554432000 4194304 5714214 140734629447840 18446744073709551615 4320140 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17104/statm: 172829 170553 180 372 0 172454 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 691316

[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/525 17174
/proc/meminfo: memFree=22540940/32951124 swapFree=56930356/67111528
[pid=17104] ppid=17100 vsize=691316 CPUtime=1542.28 cores=1,3,5,7
/proc/17104/stat : 17104 (wbo1.6) R 17100 17104 11603 0 -1 4202496 172662 0 0 0 153002 1226 0 0 25 0 1 0 820463173 707907584 170790 33554432000 4194304 5714214 140734629447840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17104/statm: 172829 170790 180 372 0 172454 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 691316

[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/525 17176
/proc/meminfo: memFree=22499084/32951124 swapFree=56930356/67111528
[pid=17104] ppid=17100 vsize=691316 CPUtime=1602.28 cores=1,3,5,7
/proc/17104/stat : 17104 (wbo1.6) R 17100 17104 11603 0 -1 4202496 172917 0 0 0 158940 1288 0 0 25 0 1 0 820463173 707907584 171045 33554432000 4194304 5714214 140734629447840 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17104/statm: 172829 171045 180 372 0 172454 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 691316

[startup+1662.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/525 17178
/proc/meminfo: memFree=22468056/32951124 swapFree=56930356/67111528
[pid=17104] ppid=17100 vsize=691316 CPUtime=1662.28 cores=1,3,5,7
/proc/17104/stat : 17104 (wbo1.6) R 17100 17104 11603 0 -1 4202496 173069 0 0 0 164885 1343 0 0 25 0 1 0 820463173 707907584 171197 33554432000 4194304 5714214 140734629447840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17104/statm: 172829 171197 180 372 0 172454 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 691316

[startup+1722.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/525 17179
/proc/meminfo: memFree=22454892/32951124 swapFree=56930356/67111528
[pid=17104] ppid=17100 vsize=691316 CPUtime=1722.27 cores=1,3,5,7
/proc/17104/stat : 17104 (wbo1.6) R 17100 17104 11603 0 -1 4202496 173141 0 0 0 170831 1396 0 0 25 0 1 0 820463173 707907584 171269 33554432000 4194304 5714214 140734629447840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17104/statm: 172829 171269 180 372 0 172454 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 691316

[startup+1782.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/525 17181
/proc/meminfo: memFree=22435524/32951124 swapFree=56930356/67111528
[pid=17104] ppid=17100 vsize=691316 CPUtime=1782.28 cores=1,3,5,7
/proc/17104/stat : 17104 (wbo1.6) R 17100 17104 11603 0 -1 4202496 173230 0 0 0 176779 1449 0 0 25 0 1 0 820463173 707907584 171358 33554432000 4194304 5714214 140734629447840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17104/statm: 172829 171358 180 372 0 172454 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 691316



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 2.03 2.04 2.00 3/525 17181
/proc/meminfo: memFree=22427576/32951124 swapFree=56930356/67111528
[pid=17104] ppid=17100 vsize=691316 CPUtime=1800.08 cores=1,3,5,7
/proc/17104/stat : 17104 (wbo1.6) R 17100 17104 11603 0 -1 4202496 173259 0 0 0 178542 1466 0 0 25 0 1 0 820463173 707907584 171387 33554432000 4194304 5714214 140734629447840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17104/statm: 172829 171387 180 372 0 172454 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 691316

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.1 s]
/proc/loadavg: 2.03 2.04 2.00 3/525 17181
/proc/meminfo: memFree=22427576/32951124 swapFree=56930356/67111528
[pid=17104] ppid=17100 vsize=691316 CPUtime=1800.08 cores=1,3,5,7
/proc/17104/stat : 17104 (wbo1.6) R 17100 17104 11603 0 -1 4202496 173259 0 0 0 178542 1466 0 0 25 0 1 0 820463173 707907584 171387 33554432000 4194304 5714214 140734629447840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17104/statm: 172829 171387 180 372 0 172454 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 691316

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.15
CPU time (s): 1800.14
CPU user time (s): 1785.44
CPU system time (s): 14.6978
CPU usage (%): 99.9992
Max. virtual memory (cumulated for all children) (KiB): 698472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.44
system time used= 14.6978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173259
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= 10
involuntary context switches= 3326

runsolver used 8.79666 second user time and 22.2516 second system time

The end

Begin job on node137 at 2011-06-03 10:10:55
IDJOB=3460742
IDBENCH=2155
IDSOLVER=1953
FILE ID=node137/3460742-1307088654
RUNJOBID= node137-1307088654-17086
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-f600.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460742-1307088654/watcher-3460742-1307088654 -o /tmp/evaluation-result-3460742-1307088654/solver-3460742-1307088654 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460742-1307088654.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 2b1f0bdf934439fa3364f5fdf4570849
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:      23974040 kB
Buffers:        231056 kB
Cached:         479360 kB
SwapCached:      12308 kB
Active:        8285300 kB
Inactive:       430764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23974040 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: 162513268 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:40:57