0.00/0.00	c wbo 1.6 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3460853-1307078077.opb.
0.00/0.00	c Instance file HOME/instance-3460853-1307078077.opb
0.00/0.00	c File size is 17233614 bytes.
1.11/1.15	c Highest Coefficient sum: 101
1.11/1.15	c ============================[ Problem Statistics ]=============================
1.11/1.15	c |                                                                             |
1.11/1.15	c |  Parsing time:          1.13         s                                      |
1.11/1.15	c |  Number Variables:      10000                                               |
1.11/1.15	c |  Number Clauses:        656900                                              |
1.11/1.15	c |  Number Cardinality:    0                                                   |
1.11/1.15	c |  Number PB Constraints: 0                                                   |
1.39/1.44	c ============================[ Search Statistics ]==============================
1.39/1.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.39/1.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.39/1.44	c ===============================================================================
1.39/1.44	c |         0 |   10000   656900  1333400 |   218966        0   -nan |  0.000 % |
7.71/7.76	c core #1
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 1
7.71/7.76	c Current CPU time: 1.55576 s
7.71/7.76	c
7.71/7.76	c core #2
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 2
7.71/7.76	c Current CPU time: 1.69774 s
7.71/7.76	c
7.71/7.76	c core #3
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 2	Total Weight: 4
7.71/7.76	c Current CPU time: 1.84772 s
7.71/7.76	c
7.71/7.76	c core #4
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 5
7.71/7.76	c Current CPU time: 1.9877 s
7.71/7.76	c
7.71/7.76	c core #5
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 6
7.71/7.76	c Current CPU time: 2.13567 s
7.71/7.76	c
7.71/7.76	c core #6
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 7
7.71/7.76	c Current CPU time: 2.27565 s
7.71/7.76	c
7.71/7.76	c core #7
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 8
7.71/7.76	c Current CPU time: 2.42463 s
7.71/7.76	c
7.71/7.76	c core #8
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 9
7.71/7.76	c Current CPU time: 2.56561 s
7.71/7.76	c
7.71/7.76	c core #9
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 10
7.71/7.76	c Current CPU time: 2.71459 s
7.71/7.76	c
7.71/7.76	c core #10
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 11
7.71/7.76	c Current CPU time: 2.85757 s
7.71/7.76	c
7.71/7.76	c core #11
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 12
7.71/7.76	c Current CPU time: 3.00754 s
7.71/7.76	c
7.71/7.76	c core #12
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 13
7.71/7.76	c Current CPU time: 3.15152 s
7.71/7.76	c
7.71/7.76	c core #13
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 14
7.71/7.76	c Current CPU time: 3.3005 s
7.71/7.76	c
7.71/7.76	c core #14
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 15
7.71/7.76	c Current CPU time: 3.44048 s
7.71/7.76	c
7.71/7.76	c core #15
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 16
7.71/7.76	c Current CPU time: 3.59045 s
7.71/7.76	c
7.71/7.76	c core #16
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 201	Core Weight: 1	Total Weight: 17
7.71/7.76	c Current CPU time: 3.73143 s
7.71/7.76	c
7.71/7.76	c core #17
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 18
7.71/7.76	c Current CPU time: 3.87941 s
7.71/7.76	c
7.71/7.76	c core #18
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 2	Total Weight: 20
7.71/7.76	c Current CPU time: 4.02039 s
7.71/7.76	c
7.71/7.76	c core #19
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 3	Total Weight: 23
7.71/7.76	c Current CPU time: 4.17136 s
7.71/7.76	c
7.71/7.76	c core #20
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 24
7.71/7.76	c Current CPU time: 4.31234 s
7.71/7.76	c
7.71/7.76	c core #21
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 25
7.71/7.76	c Current CPU time: 4.46132 s
7.71/7.76	c
7.71/7.76	c core #22
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 26
7.71/7.76	c Current CPU time: 4.6033 s
7.71/7.76	c
7.71/7.76	c core #23
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 27
7.71/7.76	c Current CPU time: 4.75528 s
7.71/7.76	c
7.71/7.76	c core #24
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 28
7.71/7.76	c Current CPU time: 4.89926 s
7.71/7.76	c
7.71/7.76	c core #25
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 29
7.71/7.76	c Current CPU time: 5.04823 s
7.71/7.76	c
7.71/7.76	c core #26
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 30
7.71/7.76	c Current CPU time: 5.19021 s
7.71/7.76	c
7.71/7.76	c core #27
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 2	Total Weight: 32
7.71/7.76	c Current CPU time: 5.34119 s
7.71/7.76	c
7.71/7.76	c core #28
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 33
7.71/7.76	c Current CPU time: 5.48417 s
7.71/7.76	c
7.71/7.76	c core #29
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 34
7.71/7.76	c Current CPU time: 5.63314 s
7.71/7.76	c
7.71/7.76	c core #30
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 35
7.71/7.76	c Current CPU time: 5.77912 s
7.71/7.76	c
7.71/7.76	c core #31
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 501	Core Weight: 1	Total Weight: 36
7.71/7.76	c Current CPU time: 5.9321 s
7.71/7.76	c
7.71/7.76	c core #32
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 37
7.71/7.76	c Current CPU time: 6.07208 s
7.71/7.76	c
7.71/7.76	c core #33
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 38
7.71/7.76	c Current CPU time: 6.22205 s
7.71/7.76	c
7.71/7.76	c core #34
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 201	Core Weight: 4	Total Weight: 42
7.71/7.76	c Current CPU time: 6.36603 s
7.71/7.76	c
7.71/7.76	c core #35
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 43
7.71/7.76	c Current CPU time: 6.51701 s
7.71/7.76	c
7.71/7.76	c core #36
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 2	Total Weight: 45
7.71/7.76	c Current CPU time: 6.66099 s
7.71/7.76	c
7.71/7.76	c core #37
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 201	Core Weight: 2	Total Weight: 47
7.71/7.76	c Current CPU time: 6.81196 s
7.71/7.76	c
7.71/7.76	c core #38
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 48
7.71/7.76	c Current CPU time: 6.95494 s
7.71/7.76	c
7.71/7.76	c core #39
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 2	Total Weight: 50
7.71/7.76	c Current CPU time: 7.10792 s
7.71/7.76	c
7.71/7.76	c core #40
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 201	Core Weight: 1	Total Weight: 51
7.71/7.76	c Current CPU time: 7.2519 s
7.71/7.76	c
7.71/7.76	c core #41
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 52
7.71/7.76	c Current CPU time: 7.40287 s
7.71/7.76	c
7.71/7.76	c core #42
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 53
7.71/7.76	c Current CPU time: 7.54685 s
7.71/7.76	c
7.71/7.76	c core #43
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 2	Total Weight: 55
13.89/13.92	c Current CPU time: 7.70083 s
13.89/13.92	c
13.89/13.92	c core #44
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 56
13.89/13.92	c Current CPU time: 7.84481 s
13.89/13.92	c
13.89/13.92	c core #45
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 57
13.89/13.92	c Current CPU time: 7.99978 s
13.89/13.92	c
13.89/13.92	c core #46
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 58
13.89/13.92	c Current CPU time: 8.14376 s
13.89/13.92	c
13.89/13.92	c core #47
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 3	Total Weight: 61
13.89/13.92	c Current CPU time: 8.29574 s
13.89/13.92	c
13.89/13.92	c core #48
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 62
13.89/13.92	c Current CPU time: 8.44072 s
13.89/13.92	c
13.89/13.92	c core #49
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 63
13.89/13.92	c Current CPU time: 8.59169 s
13.89/13.92	c
13.89/13.92	c core #50
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 64
13.89/13.92	c Current CPU time: 8.73667 s
13.89/13.92	c
13.89/13.92	c core #51
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 65
13.89/13.92	c Current CPU time: 8.88965 s
13.89/13.92	c
13.89/13.92	c core #52
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 66
13.89/13.92	c Current CPU time: 9.03363 s
13.89/13.92	c
13.89/13.92	c core #53
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 2	Total Weight: 68
13.89/13.92	c Current CPU time: 9.1856 s
13.89/13.92	c
13.89/13.92	c core #54
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 1001	Core Weight: 1	Total Weight: 69
13.89/13.92	c Current CPU time: 9.33358 s
13.89/13.92	c
13.89/13.92	c core #55
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 3	Total Weight: 72
13.89/13.92	c Current CPU time: 9.48756 s
13.89/13.92	c
13.89/13.92	c core #56
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 73
13.89/13.92	c Current CPU time: 9.63354 s
13.89/13.92	c
13.89/13.92	c core #57
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 74
13.89/13.92	c Current CPU time: 9.78551 s
13.89/13.92	c
13.89/13.92	c core #58
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 201	Core Weight: 1	Total Weight: 75
13.89/13.92	c Current CPU time: 9.93249 s
13.89/13.92	c
13.89/13.92	c core #59
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 76
13.89/13.92	c Current CPU time: 10.0855 s
13.89/13.92	c
13.89/13.92	c core #60
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 77
13.89/13.92	c Current CPU time: 10.2314 s
13.89/13.92	c
13.89/13.92	c core #61
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 78
13.89/13.92	c Current CPU time: 10.3844 s
13.89/13.92	c
13.89/13.92	c core #62
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 401	Core Weight: 1	Total Weight: 79
13.89/13.92	c Current CPU time: 10.5324 s
13.89/13.92	c
13.89/13.92	c core #63
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 80
13.89/13.92	c Current CPU time: 10.6884 s
13.89/13.92	c
13.89/13.92	c core #64
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 81
13.89/13.92	c Current CPU time: 10.8344 s
13.89/13.92	c
13.89/13.92	c core #65
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 82
13.89/13.92	c Current CPU time: 10.9883 s
13.89/13.92	c
13.89/13.92	c core #66
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 83
13.89/13.92	c Current CPU time: 11.1333 s
13.89/13.92	c
13.89/13.92	c core #67
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 84
13.89/13.92	c Current CPU time: 11.2883 s
13.89/13.92	c
13.89/13.92	c core #68
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 701	Core Weight: 1	Total Weight: 85
13.89/13.92	c Current CPU time: 11.4383 s
13.89/13.92	c
13.89/13.92	c core #69
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 86
13.89/13.92	c Current CPU time: 11.5912 s
13.89/13.92	c
13.89/13.92	c core #70
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 87
13.89/13.92	c Current CPU time: 11.7372 s
13.89/13.92	c
13.89/13.92	c core #71
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 88
13.89/13.92	c Current CPU time: 11.8932 s
13.89/13.92	c
13.89/13.92	c core #72
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 89
13.89/13.92	c Current CPU time: 12.0402 s
13.89/13.92	c
13.89/13.92	c core #73
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 90
13.89/13.92	c Current CPU time: 12.1961 s
13.89/13.92	c
13.89/13.92	c core #74
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 201	Core Weight: 2	Total Weight: 92
13.89/13.92	c Current CPU time: 12.3431 s
13.89/13.92	c
13.89/13.92	c core #75
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 2	Total Weight: 94
13.89/13.92	c Current CPU time: 12.4981 s
13.89/13.92	c
13.89/13.92	c core #76
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 95
13.89/13.92	c Current CPU time: 12.6461 s
13.89/13.92	c
13.89/13.92	c core #77
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 96
13.89/13.92	c Current CPU time: 12.8001 s
13.89/13.92	c
13.89/13.92	c core #78
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 2	Total Weight: 98
13.89/13.92	c Current CPU time: 12.948 s
13.89/13.92	c
13.89/13.92	c core #79
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 99
13.89/13.92	c Current CPU time: 13.104 s
13.89/13.92	c
13.89/13.92	c core #80
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 100
13.89/13.92	c Current CPU time: 13.252 s
13.89/13.92	c
13.89/13.92	c core #81
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 101
13.89/13.92	c Current CPU time: 13.409 s
13.89/13.92	c
13.89/13.92	c core #82
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 102
13.89/13.92	c Current CPU time: 13.5559 s
13.89/13.92	c
13.89/13.92	c core #83
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 103
13.89/13.92	c Current CPU time: 13.7129 s
13.89/13.92	c
13.89/13.92	c core #84
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 104
13.89/13.92	c Current CPU time: 13.8619 s
20.39/20.40	c
20.39/20.40	c core #85
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 101	Core Weight: 1	Total Weight: 105
20.39/20.40	c Current CPU time: 14.0169 s
20.39/20.40	c
20.39/20.40	c core #86
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 101	Core Weight: 1	Total Weight: 106
20.39/20.40	c Current CPU time: 14.1658 s
20.39/20.40	c
20.39/20.40	c core #87
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 301	Core Weight: 1	Total Weight: 107
20.39/20.40	c Current CPU time: 14.3268 s
20.39/20.40	c
20.39/20.40	c core #88
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 101	Core Weight: 2	Total Weight: 109
20.39/20.40	c Current CPU time: 14.4748 s
20.39/20.40	c
20.39/20.40	c core #89
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 101	Core Weight: 1	Total Weight: 110
20.39/20.40	c Current CPU time: 14.6308 s
20.39/20.40	c
20.39/20.40	c core #90
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 101	Core Weight: 2	Total Weight: 112
20.39/20.40	c Current CPU time: 14.7818 s
20.39/20.40	c
20.39/20.40	c core #91
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 101	Core Weight: 1	Total Weight: 113
20.39/20.40	c Current CPU time: 14.9387 s
20.39/20.40	c
20.39/20.40	c core #92
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 101	Core Weight: 2	Total Weight: 115
20.39/20.40	c Current CPU time: 15.0887 s
20.39/20.40	c
20.39/20.40	c core #93
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 101	Core Weight: 1	Total Weight: 116
20.39/20.40	c Current CPU time: 15.2457 s
20.39/20.40	c
20.39/20.40	c core #94
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 301	Core Weight: 1	Total Weight: 117
20.39/20.40	c Current CPU time: 15.3957 s
20.39/20.40	c
20.39/20.40	c core #95
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 101	Core Weight: 1	Total Weight: 118
20.39/20.40	c Current CPU time: 15.5536 s
20.39/20.40	c
20.39/20.40	c core #96
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 201	Core Weight: 1	Total Weight: 119
20.39/20.40	c Current CPU time: 15.7036 s
20.39/20.40	c
20.39/20.40	c core #97
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 201	Core Weight: 1	Total Weight: 120
20.39/20.40	c Current CPU time: 15.8596 s
20.39/20.40	c
20.39/20.40	c core #98
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 101	Core Weight: 1	Total Weight: 121
20.39/20.40	c Current CPU time: 16.0086 s
20.39/20.40	c
20.39/20.40	c core #99
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 101	Core Weight: 1	Total Weight: 122
20.39/20.40	c Current CPU time: 16.1665 s
20.39/20.40	c
20.39/20.40	c core #100
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 101	Core Weight: 1	Total Weight: 123
20.39/20.40	c Current CPU time: 16.3165 s
20.39/20.40	c
20.39/20.40	c core #101
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 1501	Core Weight: 1	Total Weight: 124
20.39/20.40	c Current CPU time: 16.4805 s
20.39/20.40	c
20.39/20.40	c core #102
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 101	Core Weight: 1	Total Weight: 125
20.39/20.40	c Current CPU time: 16.6345 s
20.39/20.40	c
20.39/20.40	c core #103
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 101	Core Weight: 1	Total Weight: 126
20.39/20.40	c Current CPU time: 16.7924 s
20.39/20.40	c
20.39/20.40	c core #104
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 101	Core Weight: 1	Total Weight: 127
20.39/20.40	c Current CPU time: 16.9444 s
20.39/20.40	c
20.39/20.40	c core #105
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 101	Core Weight: 1	Total Weight: 128
20.39/20.40	c Current CPU time: 17.1024 s
20.39/20.40	c
20.39/20.40	c core #106
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 101	Core Weight: 1	Total Weight: 129
20.39/20.40	c Current CPU time: 17.2554 s
20.39/20.40	c
20.39/20.40	c core #107
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 101	Core Weight: 1	Total Weight: 130
20.39/20.40	c Current CPU time: 17.4144 s
20.39/20.40	c
20.39/20.40	c core #108
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 2501	Core Weight: 1	Total Weight: 131
20.39/20.40	c Current CPU time: 17.5843 s
20.39/20.40	c
20.39/20.40	c core #109
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 101	Core Weight: 1	Total Weight: 132
20.39/20.40	c Current CPU time: 17.7503 s
20.39/20.40	c
20.39/20.40	c core #110
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 101	Core Weight: 1	Total Weight: 133
20.39/20.40	c Current CPU time: 17.9043 s
20.39/20.40	c
20.39/20.40	c core #111
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 101	Core Weight: 1	Total Weight: 134
20.39/20.40	c Current CPU time: 18.0643 s
20.39/20.40	c
20.39/20.40	c core #112
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 101	Core Weight: 1	Total Weight: 135
20.39/20.40	c Current CPU time: 18.2182 s
20.39/20.40	c
20.39/20.40	c core #113
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 101	Core Weight: 1	Total Weight: 136
20.39/20.40	c Current CPU time: 18.3782 s
20.39/20.40	c
20.39/20.40	c core #114
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 101	Core Weight: 1	Total Weight: 137
20.39/20.40	c Current CPU time: 18.5322 s
20.39/20.40	c
20.39/20.40	c core #115
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 101	Core Weight: 1	Total Weight: 138
20.39/20.40	c Current CPU time: 18.6942 s
20.39/20.40	c
20.39/20.40	c core #116
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 101	Core Weight: 1	Total Weight: 139
20.39/20.40	c Current CPU time: 18.8501 s
20.39/20.40	c
20.39/20.40	c core #117
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 2199	Core Weight: 1	Total Weight: 140
20.39/20.40	c Current CPU time: 19.0241 s
20.39/20.40	c
20.39/20.40	c core #118
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 786	Core Weight: 1	Total Weight: 141
20.39/20.40	c Current CPU time: 19.1871 s
20.39/20.40	c
20.39/20.40	c core #119
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 1997	Core Weight: 1	Total Weight: 142
20.39/20.40	c Current CPU time: 19.3641 s
20.39/20.40	c
20.39/20.40	c core #120
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 101	Core Weight: 1	Total Weight: 143
20.39/20.40	c Current CPU time: 19.528 s
20.39/20.40	c
20.39/20.40	c core #121
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 200	Core Weight: 1	Total Weight: 144
20.39/20.40	c Current CPU time: 19.693 s
20.39/20.40	c
20.39/20.40	c core #122
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 101	Core Weight: 1	Total Weight: 145
20.39/20.40	c Current CPU time: 19.852 s
20.39/20.40	c
20.39/20.40	c core #123
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 200	Core Weight: 1	Total Weight: 146
20.39/20.40	c Current CPU time: 20.019 s
20.39/20.40	c
20.39/20.40	c core #124
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 101	Core Weight: 1	Total Weight: 147
20.39/20.40	c Current CPU time: 20.1779 s
20.39/20.40	c
20.39/20.40	c core #125
20.39/20.40	c 
20.39/20.40	c 
20.39/20.40	c Core size: 499	Core Weight: 1	Total Weight: 148
20.39/20.40	c Current CPU time: 20.3419 s
20.69/20.74	c
20.69/20.74	c core #126
20.69/20.74	c 
20.69/20.74	c 
20.69/20.74	c Core size: 1451	Core Weight: 1	Total Weight: 149
20.69/20.74	c Current CPU time: 20.5099 s
20.69/20.74	c
20.69/20.74	c ============================[ Search Statistics ]==============================
20.69/20.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
20.69/20.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
20.69/20.74	c ===============================================================================
20.69/20.74	c |         0 |   26411   692704    49730 |   230901        0   -nan |  0.000 % |
20.69/20.75	c ===============================================================================
20.90/20.91	c core #127
20.90/20.91	c 
20.90/20.91	c 
20.90/20.91	c Core size: 400	Core Weight: 1	Total Weight: 150
20.90/20.91	c Current CPU time: 20.6839 s
20.90/20.91	c
20.90/20.91	c ============================[ Search Statistics ]==============================
20.90/20.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
20.90/20.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
20.90/20.91	c ===============================================================================
20.90/20.91	c |         0 |   26813   693084    50247 |   231028        0   -nan |  0.000 % |
20.90/20.93	c ===============================================================================
21.09/21.11	c core #128
21.09/21.11	c 
21.09/21.11	c 
21.09/21.11	c Core size: 1710	Core Weight: 1	Total Weight: 151
21.09/21.11	c Current CPU time: 20.8688 s
21.09/21.11	c
21.09/21.11	c ============================[ Search Statistics ]==============================
21.09/21.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.09/21.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
21.09/21.11	c ===============================================================================
21.09/21.11	c |         0 |   28633   694743    52526 |   231581        0   -nan |  0.000 % |
21.09/21.13	c ===============================================================================
21.30/21.30	c core #129
21.30/21.30	c 
21.30/21.30	c 
21.30/21.30	c Core size: 1633	Core Weight: 1	Total Weight: 152
21.30/21.30	c Current CPU time: 21.0628 s
21.30/21.30	c
21.30/21.30	c ============================[ Search Statistics ]==============================
21.30/21.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.30/21.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
21.30/21.30	c ===============================================================================
21.30/21.30	c |         0 |   30270   696313    54521 |   232104        0   -nan |  0.000 % |
21.49/21.55	c ===============================================================================
21.69/21.75	c core #130
21.69/21.75	c 
21.69/21.75	c 
21.69/21.75	c Core size: 4999	Core Weight: 1	Total Weight: 153
21.69/21.75	c Current CPU time: 21.4867 s
21.69/21.75	c
21.69/21.75	c ============================[ Search Statistics ]==============================
21.69/21.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.69/21.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
21.69/21.75	c ===============================================================================
21.69/21.75	c |         0 |   35300   701083    61038 |   233694        0   -nan |  0.000 % |
22.19/22.26	c ===============================================================================
22.39/22.45	c core #131
22.39/22.45	c 
22.39/22.45	c 
22.39/22.45	c Core size: 6711	Core Weight: 1	Total Weight: 154
22.39/22.45	c Current CPU time: 22.1916 s
22.39/22.45	c
22.39/22.45	c ============================[ Search Statistics ]==============================
22.39/22.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
22.39/22.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
22.39/22.45	c ===============================================================================
22.39/22.45	c |         0 |   42063   707394    69796 |   235798        0   -nan |  0.000 % |
22.50/22.50	c |       100 |   42063   707394    69796 |   259377      100   1363 | 18.285 % |
22.59/22.61	c |       250 |   42063   707394    69796 |   285315      250   1474 | 18.285 % |
22.69/22.76	c |       476 |   42062   707394    69796 |   313847      476   1587 | 18.287 % |
22.89/22.99	c |       813 |   42061   707394    69796 |   345231      813   1584 | 18.288 % |
23.29/23.37	c |      1319 |   42054   707394    69796 |   379755     1319   1925 | 18.304 % |
24.89/24.94	c ===============================================================================
25.09/25.15	c core #132
25.09/25.15	c 
25.09/25.15	c 
25.09/25.15	c Core size: 9787	Core Weight: 1	Total Weight: 155
25.09/25.15	c Current CPU time: 24.8502 s
25.09/25.15	c
25.09/25.15	c ============================[ Search Statistics ]==============================
25.09/25.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
25.09/25.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
25.09/25.15	c ===============================================================================
25.09/25.15	c |         0 |   51928   716112    83628 |   238704        0   -nan |  0.000 % |
25.20/25.22	c |       102 |   51928   716112    83628 |   262574      102   1087 | 15.199 % |
25.39/25.41	c |       254 |   51928   716112    83628 |   288831      254   1332 | 15.199 % |
25.59/25.66	c |       479 |   51927   716112    83628 |   317715      479   1200 | 15.200 % |
25.90/25.99	c |       816 |   51927   716112    83628 |   349486      816   1102 | 15.200 % |
26.49/26.57	c |      1327 |   51927   716112    83628 |   384435     1327   1274 | 15.200 % |
27.29/27.33	c |      2086 |   51927   716112    83628 |   422878     2086   1156 | 15.200 % |
28.61/28.69	c |      3225 |   51926   716112    83628 |   465166     3225   1338 | 15.202 % |
30.70/30.78	c |      4933 |   51924   716112    83628 |   511683     4933   1692 | 15.205 % |
33.59/33.62	c |      7497 |   51923   716112    83628 |   562851     7497   1591 | 15.207 % |
39.50/39.55	c |     11344 |   51923   716112    83628 |   619136    11344   1941 | 15.207 % |
44.69/44.72	c ===============================================================================
44.89/44.99	c core #133
44.89/44.99	c 
44.89/44.99	c 
44.89/44.99	c Core size: 10272	Core Weight: 1	Total Weight: 156
44.89/44.99	c Current CPU time: 44.5942 s
44.89/44.99	c
44.89/44.99	c ============================[ Search Statistics ]==============================
44.89/44.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
44.89/44.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
44.89/44.99	c ===============================================================================
44.89/44.99	c |         0 |   62292   724939    98664 |   241646        0   -nan |  0.000 % |
45.00/45.07	c |       101 |   62292   724939    98664 |   265810      101   1150 | 12.871 % |
45.19/45.23	c |       252 |   62292   724939    98664 |   292392      252    778 | 12.871 % |
45.59/45.63	c |       479 |   62292   724939    98664 |   321631      479    643 | 12.871 % |
45.89/45.99	c |       817 |   62292   724939    98664 |   353794      817    690 | 12.871 % |
46.49/46.53	c |      1324 |   62292   724939    98664 |   389173     1324    732 | 12.871 % |
47.40/47.45	c |      2084 |   62292   724939    98664 |   428091     2084    798 | 12.871 % |
49.29/49.30	c |      3223 |   62292   724939    98664 |   470900     3223    827 | 12.871 % |
52.71/52.80	c |      4931 |   62292   724939    98664 |   517990     4931   1237 | 12.871 % |
56.89/56.97	c |      7493 |   62292   724939    98664 |   569789     7493   1396 | 12.871 % |
62.50/62.55	c |     11341 |   62292   724939    98664 |   626768    11341   1469 | 12.871 % |
72.10/72.15	c |     17109 |   62291   724939    98664 |   689445    17109   1497 | 12.872 % |
89.80/89.85	c |     25759 |   62291   724939    98664 |   758389    25759   1681 | 12.872 % |
116.40/116.46	c |     38734 |   62291   724939    98664 |   834228    38734   1838 | 12.872 % |
166.59/166.68	c |     58195 |   62291   724939    98664 |   917651    58195   2190 | 12.872 % |
253.20/253.27	c |     87387 |   62291   724939    98664 |  1009416    87387   2624 | 12.872 % |
386.90/386.95	c |    131177 |   62290   724939    98664 |  1110358   131177   2659 | 12.874 % |
705.69/705.79	c |    196864 |   62289   724939    98664 |  1221394   196864   3326 | 12.875 % |
1568.92/1568.92	c |    295394 |   62289   724939    98664 |  1343533   295394   4212 | 12.875 % |

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-3460853-1307078077/watcher-3460853-1307078077 -o /tmp/evaluation-result-3460853-1307078077/solver-3460853-1307078077 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460853-1307078077.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.03 2.03 2.00 2/443 12442
/proc/meminfo: memFree=29792192/32950928 swapFree=52246700/67111528
[pid=12442] ppid=12440 vsize=21456 CPUtime=0 cores=1,3,5,7
/proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 873 0 0 0 0 0 0 0 25 0 1 0 898038410 21970944 826 33554432000 4194304 5714214 140735715579136 18446744073709551615 4226564 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12442/statm: 5364 826 190 372 0 781 0

[startup+0.0491151 s]
/proc/loadavg: 2.03 2.03 2.00 2/443 12442
/proc/meminfo: memFree=29792192/32950928 swapFree=52246700/67111528
[pid=12442] ppid=12440 vsize=23572 CPUtime=0.04 cores=1,3,5,7
/proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 1552 0 0 0 4 0 0 0 25 0 1 0 898038410 24137728 1505 33554432000 4194304 5714214 140735715579136 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12442/statm: 5893 1506 333 372 0 1310 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 23572

[startup+0.101102 s]
/proc/loadavg: 2.03 2.03 2.00 2/443 12442
/proc/meminfo: memFree=29792192/32950928 swapFree=52246700/67111528
[pid=12442] ppid=12440 vsize=25948 CPUtime=0.09 cores=1,3,5,7
/proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 2354 0 0 0 9 0 0 0 25 0 1 0 898038410 26570752 2274 33554432000 4194304 5714214 140735715579136 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12442/statm: 6487 2274 528 372 0 1904 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25948

[startup+0.301069 s]
/proc/loadavg: 2.03 2.03 2.00 2/443 12442
/proc/meminfo: memFree=29792192/32950928 swapFree=52246700/67111528
[pid=12442] ppid=12440 vsize=36040 CPUtime=0.29 cores=1,3,5,7
/proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 5674 0 0 0 29 0 0 0 25 0 1 0 898038410 36904960 5400 33554432000 4194304 5714214 140735715579136 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12442/statm: 9010 5401 1258 372 0 4427 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36040

[startup+0.700996 s]
/proc/loadavg: 2.03 2.03 2.00 2/443 12442
/proc/meminfo: memFree=29792192/32950928 swapFree=52246700/67111528
[pid=12442] ppid=12440 vsize=54796 CPUtime=0.69 cores=1,3,5,7
/proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 11995 0 0 0 68 1 0 0 25 0 1 0 898038410 56111104 11464 33554432000 4194304 5714214 140735715579136 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12442/statm: 13699 11464 2726 372 0 9116 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 54796

[startup+1.50085 s]
/proc/loadavg: 2.03 2.03 2.00 3/444 12443
/proc/meminfo: memFree=29741840/32950928 swapFree=52246700/67111528
[pid=12442] ppid=12440 vsize=159596 CPUtime=1.49 cores=1,3,5,7
/proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 44266 0 0 0 144 5 0 0 18 0 1 0 898038410 163426304 39014 33554432000 4194304 5714214 140735715579136 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12442/statm: 39899 39021 172 372 0 39524 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 159596

[startup+3.10055 s]
/proc/loadavg: 2.03 2.03 2.00 3/444 12443
/proc/meminfo: memFree=29617588/32950928 swapFree=52246700/67111528
[pid=12442] ppid=12440 vsize=178336 CPUtime=3.1 cores=1,3,5,7
/proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 50961 0 0 0 304 6 0 0 20 0 1 0 898038410 182616064 42964 33554432000 4194304 5714214 140735715579136 18446744073709551615 4973065 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12442/statm: 44584 42964 175 372 0 44209 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 178336

[startup+6.30095 s]
/proc/loadavg: 2.03 2.03 2.00 3/444 12443
/proc/meminfo: memFree=29612312/32950928 swapFree=52246700/67111528
[pid=12442] ppid=12440 vsize=178336 CPUtime=6.29 cores=1,3,5,7
/proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 50970 0 0 0 623 6 0 0 25 0 1 0 898038410 182616064 42973 33554432000 4194304 5714214 140735715579136 18446744073709551615 4345860 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12442/statm: 44584 42973 175 372 0 44209 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 178336

[startup+12.7008 s]
/proc/loadavg: 2.02 2.03 2.00 3/444 12444
/proc/meminfo: memFree=29595352/32950928 swapFree=52246700/67111528
[pid=12442] ppid=12440 vsize=178336 CPUtime=12.69 cores=1,3,5,7
/proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 50989 0 0 0 1263 6 0 0 25 0 1 0 898038410 182616064 42992 33554432000 4194304 5714214 140735715579136 18446744073709551615 4956403 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12442/statm: 44584 42992 175 372 0 44209 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 178336

[startup+25.5003 s]
/proc/loadavg: 2.02 2.03 2.00 3/444 12444
/proc/meminfo: memFree=29496224/32950928 swapFree=52246700/67111528
[pid=12442] ppid=12440 vsize=221528 CPUtime=25.49 cores=1,3,5,7
/proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 65937 0 0 0 2538 11 0 0 25 0 1 0 898038410 226844672 53136 33554432000 4194304 5714214 140735715579136 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12442/statm: 55382 53136 180 372 0 55007 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 221528

[startup+51.1005 s]
/proc/loadavg: 2.01 2.02 2.00 3/444 12445
/proc/meminfo: memFree=29183200/32950928 swapFree=52246700/67111528
[pid=12442] ppid=12440 vsize=330164 CPUtime=51.09 cores=1,3,5,7
/proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 92903 0 0 0 5086 23 0 0 25 0 1 0 898038410 338087936 80102 33554432000 4194304 5714214 140735715579136 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12442/statm: 82541 80102 180 372 0 82166 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 330164

[startup+102.317 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 12446
/proc/meminfo: memFree=28932572/32950928 swapFree=52246700/67111528
[pid=12442] ppid=12440 vsize=382124 CPUtime=102.31 cores=1,3,5,7
/proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 106611 0 0 0 10195 36 0 0 25 0 1 0 898038410 391294976 93810 33554432000 4194304 5714214 140735715579136 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12442/statm: 95531 93810 180 372 0 95156 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 382124

[startup+162.301 s]
/proc/loadavg: 2.09 2.04 2.01 3/444 12448
/proc/meminfo: memFree=28663648/32950928 swapFree=52246700/67111528
[pid=12442] ppid=12440 vsize=650016 CPUtime=162.3 cores=1,3,5,7
/proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 173587 0 0 0 16173 57 0 0 25 0 1 0 898038410 665616384 160786 33554432000 4194304 5714214 140735715579136 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12442/statm: 162504 160786 180 372 0 162129 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 650016

[startup+222.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/444 12449
/proc/meminfo: memFree=28156444/32950928 swapFree=52246700/67111528
[pid=12442] ppid=12440 vsize=925088 CPUtime=222.29 cores=1,3,5,7
/proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 242326 0 0 0 22154 75 0 0 25 0 1 0 898038410 947290112 229525 33554432000 4194304 5714214 140735715579136 18446744073709551615 4311824 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12442/statm: 231272 229525 180 372 0 230897 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 925088

[startup+282.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/444 12451
/proc/meminfo: memFree=27671552/32950928 swapFree=52246700/67111528
[pid=12442] ppid=12440 vsize=1179120 CPUtime=282.3 cores=1,3,5,7
/proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 305742 0 0 0 28143 87 0 0 25 0 1 0 898038410 1207418880 292941 33554432000 4194304 5714214 140735715579136 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12442/statm: 294780 292941 180 372 0 294405 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1179120

[startup+342.301 s]
/proc/loadavg: 2.07 2.04 2.00 3/444 12452
/proc/meminfo: memFree=27260696/32950928 swapFree=52246700/67111528
[pid=12442] ppid=12440 vsize=1387648 CPUtime=342.3 cores=1,3,5,7
/proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 357907 0 0 0 34128 102 0 0 25 0 1 0 898038410 1420951552 345106 33554432000 4194304 5714214 140735715579136 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12442/statm: 346912 345106 180 372 0 346537 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1387648

[startup+402.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/444 12454
/proc/meminfo: memFree=26833592/32950928 swapFree=52246700/67111528
[pid=12442] ppid=12440 vsize=1606256 CPUtime=402.31 cores=1,3,5,7
/proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 412591 0 0 0 40112 119 0 0 25 0 1 0 898038410 1644806144 399790 33554432000 4194304 5714214 140735715579136 18446744073709551615 4311436 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12442/statm: 401564 399790 180 372 0 401189 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 1606256

[startup+462.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/444 12456
/proc/meminfo: memFree=26396800/32950928 swapFree=52246700/67111528
[pid=12442] ppid=12440 vsize=1822468 CPUtime=462.3 cores=1,3,5,7
/proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 466478 0 0 0 46097 133 0 0 25 0 1 0 898038410 1866207232 453677 33554432000 4194304 5714214 140735715579136 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12442/statm: 455617 453677 180 372 0 455242 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1822468

[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 12457
/proc/meminfo: memFree=25981728/32950928 swapFree=52246700/67111528
[pid=12442] ppid=12440 vsize=2049564 CPUtime=522.3 cores=1,3,5,7
/proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 523264 0 0 0 52084 146 0 0 25 0 1 0 898038410 2098753536 510463 33554432000 4194304 5714214 140735715579136 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12442/statm: 512391 510463 180 372 0 512016 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2049564

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 12459
/proc/meminfo: memFree=25538508/32950928 swapFree=52246700/67111528
[pid=12442] ppid=12440 vsize=2312500 CPUtime=582.31 cores=1,3,5,7
/proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 589033 0 0 0 58072 159 0 0 25 0 1 0 898038410 2368000000 576232 33554432000 4194304 5714214 140735715579136 18446744073709551615 4311911 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12442/statm: 578125 576232 180 372 0 577750 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2312500

[startup+642.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.07 2.03 2.01 3/444 12467
/proc/meminfo: memFree=23752372/32950928 swapFree=52246700/67111528
[pid=12442] ppid=12440 vsize=3318700 CPUtime=882.31 cores=1,3,5,7
/proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 840312 0 0 0 88010 221 0 0 25 0 1 0 898038410 3398348800 827511 33554432000 4194304 5714214 140735715579136 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12442/statm: 829675 827511 180 372 0 829300 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 3318700

[startup+942.301 s]
/proc/loadavg: 2.06 2.03 2.01 3/444 12468
/proc/meminfo: memFree=23382920/32950928 swapFree=52246700/67111528
[pid=12442] ppid=12440 vsize=3485268 CPUtime=942.3 cores=1,3,5,7
/proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 881953 0 0 0 94001 229 0 0 25 0 1 0 898038410 3568914432 869152 33554432000 4194304 5714214 140735715579136 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12442/statm: 871317 869152 180 372 0 870942 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 3485268

[startup+1002.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/444 12470
/proc/meminfo: memFree=22987924/32950928 swapFree=52246700/67111528
[pid=12442] ppid=12440 vsize=3669660 CPUtime=1002.31 cores=1,3,5,7
/proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 928047 0 0 0 99992 239 0 0 25 0 1 0 898038410 3757731840 915246 33554432000 4194304 5714214 140735715579136 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12442/statm: 917415 915246 180 372 0 917040 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 3669660

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 12472
/proc/meminfo: memFree=22646240/32950928 swapFree=52246700/67111528
[pid=12442] ppid=12440 vsize=3835284 CPUtime=1062.31 cores=1,3,5,7
/proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 969444 0 0 0 105982 249 0 0 25 0 1 0 898038410 3927330816 956643 33554432000 4194304 5714214 140735715579136 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12442/statm: 958821 956643 180 372 0 958446 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 3835284

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 12473
/proc/meminfo: memFree=22278664/32950928 swapFree=52246700/67111528
[pid=12442] ppid=12440 vsize=4014688 CPUtime=1122.32 cores=1,3,5,7
/proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 1014290 0 0 0 111971 261 0 0 25 0 1 0 898038410 4111040512 1001489 33554432000 4194304 5714214 140735715579136 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12442/statm: 1003672 1001489 180 372 0 1003297 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 4014688

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 12475
/proc/meminfo: memFree=21969736/32950928 swapFree=52246700/67111528
[pid=12442] ppid=12440 vsize=4173860 CPUtime=1182.31 cores=1,3,5,7
/proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 1054095 0 0 0 117963 268 0 0 25 0 1 0 898038410 4274032640 1041294 33554432000 4194304 5714214 140735715579136 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12442/statm: 1043465 1041294 180 372 0 1043090 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 4173860

[startup+1242.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/444 12476
/proc/meminfo: memFree=21655492/32950928 swapFree=52246700/67111528
[pid=12442] ppid=12440 vsize=4328296 CPUtime=1242.31 cores=1,3,5,7
/proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 1092693 0 0 0 123955 276 0 0 25 0 1 0 898038410 4432175104 1079892 33554432000 4194304 5714214 140735715579136 18446744073709551615 4311848 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12442/statm: 1082074 1079892 180 372 0 1081699 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 4328296

[startup+1302.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/444 12478
/proc/meminfo: memFree=21381772/32950928 swapFree=52246700/67111528
[pid=12442] ppid=12440 vsize=4471796 CPUtime=1302.33 cores=1,3,5,7
/proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 1128526 0 0 0 129949 284 0 0 25 0 1 0 898038410 4579119104 1115725 33554432000 4194304 5714214 140735715579136 18446744073709551615 4322922 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12442/statm: 1117949 1115725 180 372 0 1117574 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 4471796

[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/444 12480
/proc/meminfo: memFree=21088312/32950928 swapFree=52246700/67111528
[pid=12442] ppid=12440 vsize=4618012 CPUtime=1362.32 cores=1,3,5,7
/proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 1165112 0 0 0 135941 291 0 0 25 0 1 0 898038410 4728844288 1152311 33554432000 4194304 5714214 140735715579136 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12442/statm: 1154503 1152311 180 372 0 1154128 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 4618012

[startup+1422.32 s]
/proc/loadavg: 2.05 2.03 2.00 3/444 12481
/proc/meminfo: memFree=20861348/32950928 swapFree=52246700/67111528
[pid=12442] ppid=12440 vsize=4734020 CPUtime=1422.34 cores=1,3,5,7
/proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 1194090 0 0 0 141937 297 0 0 25 0 1 0 898038410 4847636480 1181289 33554432000 4194304 5714214 140735715579136 18446744073709551615 4311848 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12442/statm: 1183505 1181289 180 372 0 1183130 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 4734020

[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/444 12486
/proc/meminfo: memFree=20564672/32950928 swapFree=52246700/67111528
[pid=12442] ppid=12440 vsize=4873072 CPUtime=1482.33 cores=1,3,5,7
/proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 1228890 0 0 0 147929 304 0 0 25 0 1 0 898038410 4990025728 1216089 33554432000 4194304 5714214 140735715579136 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12442/statm: 1218268 1216089 180 372 0 1217893 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 4873072

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 12487
/proc/meminfo: memFree=20256412/32950928 swapFree=52246700/67111528
[pid=12442] ppid=12440 vsize=5036004 CPUtime=1542.33 cores=1,3,5,7
/proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 1269587 0 0 0 153921 312 0 0 25 0 1 0 898038410 5156868096 1256786 33554432000 4194304 5714214 140735715579136 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12442/statm: 1259001 1256786 180 372 0 1258626 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 5036004

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 12489
/proc/meminfo: memFree=20007860/32950928 swapFree=52246700/67111528
[pid=12442] ppid=12440 vsize=5167628 CPUtime=1602.33 cores=1,3,5,7
/proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 1302485 0 0 0 159913 320 0 0 25 0 1 0 898038410 5291651072 1289684 33554432000 4194304 5714214 140735715579136 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12442/statm: 1291907 1289684 180 372 0 1291532 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 5167628

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 12491
/proc/meminfo: memFree=19745936/32950928 swapFree=52246700/67111528
[pid=12442] ppid=12440 vsize=5305596 CPUtime=1662.33 cores=1,3,5,7
/proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 1336934 0 0 0 165906 327 0 0 25 0 1 0 898038410 5432930304 1324133 33554432000 4194304 5714214 140735715579136 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12442/statm: 1326399 1324133 180 372 0 1326024 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 5305596

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 12492
/proc/meminfo: memFree=19469984/32950928 swapFree=52246700/67111528
[pid=12442] ppid=12440 vsize=5444728 CPUtime=1722.33 cores=1,3,5,7
/proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 1371683 0 0 0 171898 335 0 0 25 0 1 0 898038410 5575401472 1358882 33554432000 4194304 5714214 140735715579136 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12442/statm: 1361182 1358882 180 372 0 1360807 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 5444728

[startup+1782.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/444 12494
/proc/meminfo: memFree=19147296/32950928 swapFree=52246700/67111528
[pid=12442] ppid=12440 vsize=5647360 CPUtime=1782.34 cores=1,3,5,7
/proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 1422025 0 0 0 177886 348 0 0 25 0 1 0 898038410 5782896640 1409224 33554432000 4194304 5714214 140735715579136 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12442/statm: 1411840 1409224 180 372 0 1411465 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 5647360



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.15 2.04 2.01 3/444 12522
/proc/meminfo: memFree=24102908/32950928 swapFree=52246700/67111528
[pid=12442] ppid=12440 vsize=5710400 CPUtime=1800.05 cores=1,3,5,7
/proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 1437796 0 0 0 179653 352 0 0 25 0 1 0 898038410 5847449600 1424995 33554432000 4194304 5714214 140735715579136 18446744073709551615 4319864 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12442/statm: 1427600 1424995 180 372 0 1427225 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 5710400

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

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

[startup+1800.2 s]
/proc/loadavg: 2.15 2.04 2.01 3/444 12522
/proc/meminfo: memFree=24102908/32950928 swapFree=52246700/67111528
[pid=12442] ppid=12440 vsize=0 CPUtime=1800.24 cores=1,3,5,7
/proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4203524 1437798 0 0 0 179654 370 0 0 25 0 1 0 898038410 0 0 33554432000 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/12442/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.25
CPU time (s): 1800.29
CPU user time (s): 1796.54
CPU system time (s): 3.75043
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 5710400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.54
system time used= 3.75043
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1437798
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 13065

runsolver used 7.41987 second user time and 18.7881 second system time

The end

Begin job on node114 at 2011-06-03 07:14:37
IDJOB=3460853
IDBENCH=1977
IDSOLVER=1953
FILE ID=node114/3460853-1307078077
RUNJOBID= node114-1307068244-11008
PBS_JOBID= 13497874
Free space on /tmp= 73892 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460853-1307078077/watcher-3460853-1307078077 -o /tmp/evaluation-result-3460853-1307078077/solver-3460853-1307078077 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460853-1307078077.opb

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

MD5SUM BENCH= 2fd45123d8e20b24379108257151f007
RANDOM SEED=1806822364

node114.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.848
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.69
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.848
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	: 5226.15
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.848
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.848
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.73
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.848
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.75
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.848
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.848
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.74
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.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29792472 kB
Buffers:        256884 kB
Cached:         421272 kB
SwapCached:      10660 kB
Active:        2494228 kB
Inactive:       393328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29792472 kB
SwapTotal:    67111528 kB
SwapFree:     52246700 kB
Dirty:           42384 kB
Writeback:           0 kB
AnonPages:     2206820 kB
Mapped:          21936 kB
Slab:           140816 kB
PageTables:      62620 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 108357200 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= 73904 MiB
End job on node114 at 2011-06-03 07:44:39