0.00/0.00	c wbo 1.6 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3460125-1307117638.opb.
0.00/0.00	c Instance file HOME/instance-3460125-1307117638.opb
0.00/0.00	c File size is 2076817 bytes.
0.09/0.14	c Highest Coefficient sum: 4
0.09/0.14	c ============================[ Problem Statistics ]=============================
0.09/0.14	c |                                                                             |
0.09/0.14	c |  Parsing time:          0.13         s                                      |
0.09/0.14	c |  Number Variables:      2025                                                |
0.09/0.14	c |  Number Clauses:        62225                                               |
0.09/0.14	c |  Number Cardinality:    0                                                   |
0.09/0.14	c |  Number PB Constraints: 0                                                   |
0.09/0.14	c ============================[ Search Statistics ]==============================
0.09/0.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.14	c ===============================================================================
0.09/0.14	c |         0 |    2025    62225   185505 |    20741        0   -nan |  0.000 % |
0.68/0.78	c core #1
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 5	Core Weight: 2	Total Weight: -354
0.68/0.78	c Current CPU time: 0.148977 s
0.68/0.78	c
0.68/0.78	c core #2
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 6	Core Weight: 1	Total Weight: -353
0.68/0.78	c Current CPU time: 0.162975 s
0.68/0.78	c
0.68/0.78	c core #3
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 6	Core Weight: 1	Total Weight: -352
0.68/0.78	c Current CPU time: 0.177972 s
0.68/0.78	c
0.68/0.78	c core #4
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 5	Core Weight: 2	Total Weight: -350
0.68/0.78	c Current CPU time: 0.19197 s
0.68/0.78	c
0.68/0.78	c core #5
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 6	Core Weight: 1	Total Weight: -349
0.68/0.78	c Current CPU time: 0.206968 s
0.68/0.78	c
0.68/0.78	c core #6
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 6	Core Weight: 1	Total Weight: -348
0.68/0.78	c Current CPU time: 0.221966 s
0.68/0.78	c
0.68/0.78	c core #7
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 5	Core Weight: 3	Total Weight: -345
0.68/0.78	c Current CPU time: 0.236963 s
0.68/0.78	c
0.68/0.78	c core #8
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 6	Core Weight: 1	Total Weight: -344
0.68/0.78	c Current CPU time: 0.250961 s
0.68/0.78	c
0.68/0.78	c core #9
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 5	Core Weight: 1	Total Weight: -343
0.68/0.78	c Current CPU time: 0.265959 s
0.68/0.78	c
0.68/0.78	c core #10
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 5	Core Weight: 1	Total Weight: -342
0.68/0.78	c Current CPU time: 0.280957 s
0.68/0.78	c
0.68/0.78	c core #11
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 6	Core Weight: 2	Total Weight: -340
0.68/0.78	c Current CPU time: 0.294955 s
0.68/0.78	c
0.68/0.78	c core #12
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 5	Core Weight: 2	Total Weight: -338
0.68/0.78	c Current CPU time: 0.309952 s
0.68/0.78	c
0.68/0.78	c core #13
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 5	Core Weight: 2	Total Weight: -336
0.68/0.78	c Current CPU time: 0.32495 s
0.68/0.78	c
0.68/0.78	c core #14
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 6	Core Weight: 1	Total Weight: -335
0.68/0.78	c Current CPU time: 0.338948 s
0.68/0.78	c
0.68/0.78	c core #15
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 6	Core Weight: 2	Total Weight: -333
0.68/0.78	c Current CPU time: 0.353946 s
0.68/0.78	c
0.68/0.78	c core #16
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 5	Core Weight: 3	Total Weight: -330
0.68/0.78	c Current CPU time: 0.368943 s
0.68/0.78	c
0.68/0.78	c core #17
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 6	Core Weight: 1	Total Weight: -329
0.68/0.78	c Current CPU time: 0.382941 s
0.68/0.78	c
0.68/0.78	c core #18
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 5	Core Weight: 1	Total Weight: -328
0.68/0.78	c Current CPU time: 0.397939 s
0.68/0.78	c
0.68/0.78	c core #19
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 5	Core Weight: 2	Total Weight: -326
0.68/0.78	c Current CPU time: 0.412937 s
0.68/0.78	c
0.68/0.78	c core #20
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 6	Core Weight: 1	Total Weight: -325
0.68/0.78	c Current CPU time: 0.426935 s
0.68/0.78	c
0.68/0.78	c core #21
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 7	Core Weight: 1	Total Weight: -324
0.68/0.78	c Current CPU time: 0.441932 s
0.68/0.78	c
0.68/0.78	c core #22
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 5	Core Weight: 1	Total Weight: -323
0.68/0.78	c Current CPU time: 0.45693 s
0.68/0.78	c
0.68/0.78	c core #23
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 6	Core Weight: 2	Total Weight: -321
0.68/0.78	c Current CPU time: 0.470928 s
0.68/0.78	c
0.68/0.78	c core #24
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 5	Core Weight: 1	Total Weight: -320
0.68/0.78	c Current CPU time: 0.485926 s
0.68/0.78	c
0.68/0.78	c core #25
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 6	Core Weight: 1	Total Weight: -319
0.68/0.78	c Current CPU time: 0.500923 s
0.68/0.78	c
0.68/0.78	c core #26
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 8	Core Weight: 1	Total Weight: -318
0.68/0.78	c Current CPU time: 0.514921 s
0.68/0.78	c
0.68/0.78	c core #27
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 9	Core Weight: 1	Total Weight: -317
0.68/0.78	c Current CPU time: 0.529919 s
0.68/0.78	c
0.68/0.78	c core #28
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 7	Core Weight: 1	Total Weight: -316
0.68/0.78	c Current CPU time: 0.544917 s
0.68/0.78	c
0.68/0.78	c core #29
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 14	Core Weight: 1	Total Weight: -315
0.68/0.78	c Current CPU time: 0.559914 s
0.68/0.78	c
0.68/0.78	c core #30
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 13	Core Weight: 1	Total Weight: -314
0.68/0.78	c Current CPU time: 0.574912 s
0.68/0.78	c
0.68/0.78	c core #31
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 13	Core Weight: 2	Total Weight: -312
0.68/0.78	c Current CPU time: 0.58991 s
0.68/0.78	c
0.68/0.78	c core #32
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 14	Core Weight: 1	Total Weight: -311
0.68/0.78	c Current CPU time: 0.604908 s
0.68/0.78	c
0.68/0.78	c core #33
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 15	Core Weight: 1	Total Weight: -310
0.68/0.78	c Current CPU time: 0.619905 s
0.68/0.78	c
0.68/0.78	c core #34
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 15	Core Weight: 1	Total Weight: -309
0.68/0.78	c Current CPU time: 0.634903 s
0.68/0.78	c
0.68/0.78	c core #35
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 10	Core Weight: 1	Total Weight: -308
0.68/0.78	c Current CPU time: 0.650901 s
0.68/0.78	c
0.68/0.78	c core #36
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 8	Core Weight: 1	Total Weight: -307
0.68/0.78	c Current CPU time: 0.666898 s
0.68/0.78	c
0.68/0.78	c core #37
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 9	Core Weight: 2	Total Weight: -305
0.68/0.78	c Current CPU time: 0.682896 s
0.68/0.78	c
0.68/0.78	c core #38
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 8	Core Weight: 3	Total Weight: -302
0.68/0.78	c Current CPU time: 0.699893 s
0.68/0.78	c
0.68/0.78	c core #39
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 14	Core Weight: 1	Total Weight: -301
0.68/0.78	c Current CPU time: 0.715891 s
0.68/0.78	c
0.68/0.78	c core #40
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 20	Core Weight: 1	Total Weight: -300
0.68/0.78	c Current CPU time: 0.732888 s
0.68/0.78	c
0.68/0.78	c core #41
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 20	Core Weight: 1	Total Weight: -299
0.68/0.78	c Current CPU time: 0.750885 s
0.68/0.78	c
0.68/0.78	c core #42
0.68/0.78	c 
0.68/0.78	c 
0.68/0.78	c Core size: 22	Core Weight: 1	Total Weight: -298
1.18/1.21	c Current CPU time: 0.767883 s
1.18/1.21	c
1.18/1.21	c core #43
1.18/1.21	c 
1.18/1.21	c 
1.18/1.21	c Core size: 22	Core Weight: 1	Total Weight: -297
1.18/1.21	c Current CPU time: 0.78488 s
1.18/1.21	c
1.18/1.21	c core #44
1.18/1.21	c 
1.18/1.21	c 
1.18/1.21	c Core size: 23	Core Weight: 1	Total Weight: -296
1.18/1.21	c Current CPU time: 0.801878 s
1.18/1.21	c
1.18/1.21	c core #45
1.18/1.21	c 
1.18/1.21	c 
1.18/1.21	c Core size: 21	Core Weight: 1	Total Weight: -295
1.18/1.21	c Current CPU time: 0.819875 s
1.18/1.21	c
1.18/1.21	c core #46
1.18/1.21	c 
1.18/1.21	c 
1.18/1.21	c Core size: 8	Core Weight: 1	Total Weight: -294
1.18/1.21	c Current CPU time: 0.836872 s
1.18/1.21	c
1.18/1.21	c core #47
1.18/1.21	c 
1.18/1.21	c 
1.18/1.21	c Core size: 10	Core Weight: 1	Total Weight: -293
1.18/1.21	c Current CPU time: 0.855869 s
1.18/1.21	c
1.18/1.21	c core #48
1.18/1.21	c 
1.18/1.21	c 
1.18/1.21	c Core size: 21	Core Weight: 1	Total Weight: -292
1.18/1.21	c Current CPU time: 0.873867 s
1.18/1.21	c
1.18/1.21	c core #49
1.18/1.21	c 
1.18/1.21	c 
1.18/1.21	c Core size: 22	Core Weight: 1	Total Weight: -291
1.18/1.21	c Current CPU time: 0.890864 s
1.18/1.21	c
1.18/1.21	c core #50
1.18/1.21	c 
1.18/1.21	c 
1.18/1.21	c Core size: 27	Core Weight: 1	Total Weight: -290
1.18/1.21	c Current CPU time: 0.909861 s
1.18/1.21	c
1.18/1.21	c core #51
1.18/1.21	c 
1.18/1.21	c 
1.18/1.21	c Core size: 17	Core Weight: 1	Total Weight: -289
1.18/1.21	c Current CPU time: 0.928858 s
1.18/1.21	c
1.18/1.21	c core #52
1.18/1.21	c 
1.18/1.21	c 
1.18/1.21	c Core size: 17	Core Weight: 1	Total Weight: -288
1.18/1.21	c Current CPU time: 0.947855 s
1.18/1.21	c
1.18/1.21	c core #53
1.18/1.21	c 
1.18/1.21	c 
1.18/1.21	c Core size: 21	Core Weight: 1	Total Weight: -287
1.18/1.21	c Current CPU time: 0.966853 s
1.18/1.21	c
1.18/1.21	c core #54
1.18/1.21	c 
1.18/1.21	c 
1.18/1.21	c Core size: 21	Core Weight: 1	Total Weight: -286
1.18/1.21	c Current CPU time: 0.986849 s
1.18/1.21	c
1.18/1.21	c core #55
1.18/1.21	c 
1.18/1.21	c 
1.18/1.21	c Core size: 23	Core Weight: 1	Total Weight: -285
1.18/1.21	c Current CPU time: 1.00785 s
1.18/1.21	c
1.18/1.21	c core #56
1.18/1.21	c 
1.18/1.21	c 
1.18/1.21	c Core size: 7	Core Weight: 1	Total Weight: -284
1.18/1.21	c Current CPU time: 1.02784 s
1.18/1.21	c
1.18/1.21	c core #57
1.18/1.21	c 
1.18/1.21	c 
1.18/1.21	c Core size: 8	Core Weight: 1	Total Weight: -283
1.18/1.21	c Current CPU time: 1.04884 s
1.18/1.21	c
1.18/1.21	c core #58
1.18/1.21	c 
1.18/1.21	c 
1.18/1.21	c Core size: 11	Core Weight: 2	Total Weight: -281
1.18/1.21	c Current CPU time: 1.06884 s
1.18/1.21	c
1.18/1.21	c core #59
1.18/1.21	c 
1.18/1.21	c 
1.18/1.21	c Core size: 11	Core Weight: 1	Total Weight: -280
1.18/1.21	c Current CPU time: 1.08983 s
1.18/1.21	c
1.18/1.21	c core #60
1.18/1.21	c 
1.18/1.21	c 
1.18/1.21	c Core size: 11	Core Weight: 1	Total Weight: -279
1.18/1.21	c Current CPU time: 1.11083 s
1.18/1.21	c
1.18/1.21	c core #61
1.18/1.21	c 
1.18/1.21	c 
1.18/1.21	c Core size: 20	Core Weight: 1	Total Weight: -278
1.18/1.21	c Current CPU time: 1.13183 s
1.18/1.21	c
1.18/1.21	c core #62
1.18/1.21	c 
1.18/1.21	c 
1.18/1.21	c Core size: 9	Core Weight: 1	Total Weight: -277
1.18/1.21	c Current CPU time: 1.15382 s
1.18/1.21	c
1.18/1.21	c core #63
1.18/1.21	c 
1.18/1.21	c 
1.18/1.21	c Core size: 8	Core Weight: 2	Total Weight: -275
1.18/1.21	c Current CPU time: 1.17582 s
1.18/1.21	c
1.18/1.21	c ============================[ Search Statistics ]==============================
1.18/1.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.18/1.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.18/1.21	c ===============================================================================
1.18/1.21	c |         0 |    2139    62569   174090 |    20856        0   -nan |  0.000 % |
1.18/1.21	c ===============================================================================
1.18/1.23	c core #64
1.18/1.23	c 
1.18/1.23	c 
1.18/1.23	c Core size: 11	Core Weight: 1	Total Weight: -274
1.18/1.23	c Current CPU time: 1.19782 s
1.18/1.23	c
1.18/1.23	c ============================[ Search Statistics ]==============================
1.18/1.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.18/1.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.18/1.23	c ===============================================================================
1.18/1.23	c |         0 |    2145    62573   174108 |    20857        0   -nan |  0.000 % |
1.18/1.23	c ===============================================================================
1.18/1.25	c core #65
1.18/1.25	c 
1.18/1.25	c 
1.18/1.25	c Core size: 26	Core Weight: 1	Total Weight: -273
1.18/1.25	c Current CPU time: 1.22081 s
1.18/1.25	c
1.18/1.25	c ============================[ Search Statistics ]==============================
1.18/1.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.18/1.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.18/1.25	c ===============================================================================
1.18/1.25	c |         0 |    2167    62577   175501 |    20859        0   -nan |  0.000 % |
1.18/1.25	c ===============================================================================
1.18/1.28	c core #66
1.18/1.28	c 
1.18/1.28	c 
1.18/1.28	c Core size: 24	Core Weight: 1	Total Weight: -272
1.18/1.28	c Current CPU time: 1.24381 s
1.18/1.28	c
1.18/1.28	c ============================[ Search Statistics ]==============================
1.18/1.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.18/1.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.18/1.28	c ===============================================================================
1.18/1.28	c |         0 |    2181    62582   175942 |    20860        0   -nan |  0.000 % |
1.18/1.28	c ===============================================================================
1.28/1.30	c core #67
1.28/1.30	c 
1.28/1.30	c 
1.28/1.30	c Core size: 13	Core Weight: 1	Total Weight: -271
1.28/1.30	c Current CPU time: 1.26581 s
1.28/1.30	c
1.28/1.30	c ============================[ Search Statistics ]==============================
1.28/1.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.28/1.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.28/1.30	c ===============================================================================
1.28/1.30	c |         0 |    2198    62587   177219 |    20862        0   -nan |  0.000 % |
1.28/1.30	c ===============================================================================
1.28/1.32	c core #68
1.28/1.32	c 
1.28/1.32	c 
1.28/1.32	c Core size: 13	Core Weight: 1	Total Weight: -270
1.28/1.32	c Current CPU time: 1.2888 s
1.28/1.32	c
1.28/1.32	c ============================[ Search Statistics ]==============================
1.28/1.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.28/1.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.28/1.32	c ===============================================================================
1.28/1.32	c |         0 |    2203    62590   177232 |    20863        0   -nan |  0.000 % |
1.28/1.32	c ===============================================================================
1.28/1.35	c core #69
1.28/1.35	c 
1.28/1.35	c 
1.28/1.35	c Core size: 20	Core Weight: 1	Total Weight: -269
1.28/1.35	c Current CPU time: 1.3118 s
1.28/1.35	c
1.28/1.35	c ============================[ Search Statistics ]==============================
1.28/1.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.28/1.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.28/1.35	c ===============================================================================
1.28/1.35	c |         0 |    2271    62593   182351 |    20864        0   -nan |  0.000 % |
1.28/1.35	c ===============================================================================
1.38/1.41	c core #70
1.38/1.41	c 
1.38/1.41	c 
1.38/1.41	c Core size: 18	Core Weight: 1	Total Weight: -268
1.38/1.41	c Current CPU time: 1.3348 s
1.38/1.41	c
1.38/1.41	c core #71
1.38/1.41	c 
1.38/1.41	c 
1.38/1.41	c Core size: 19	Core Weight: 1	Total Weight: -267
1.38/1.41	c Current CPU time: 1.35779 s
1.38/1.41	c
1.38/1.41	c core #72
1.38/1.41	c 
1.38/1.41	c 
1.38/1.41	c Core size: 19	Core Weight: 1	Total Weight: -266
1.38/1.41	c Current CPU time: 1.38079 s
1.38/1.41	c
1.38/1.41	c ============================[ Search Statistics ]==============================
1.38/1.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.38/1.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.38/1.41	c ===============================================================================
1.38/1.41	c |         0 |    2314    62602   184261 |    20867        0   -nan |  0.000 % |
1.38/1.42	c ===============================================================================
1.38/1.44	c core #73
1.38/1.44	c 
1.38/1.44	c 
1.38/1.44	c Core size: 26	Core Weight: 1	Total Weight: -265
1.38/1.44	c Current CPU time: 1.40479 s
1.38/1.44	c
1.38/1.44	c ============================[ Search Statistics ]==============================
1.38/1.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.38/1.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.38/1.44	c ===============================================================================
1.38/1.44	c |         0 |    2325    62606   184285 |    20868        0   -nan |  0.000 % |
1.38/1.44	c ===============================================================================
1.38/1.46	c core #74
1.38/1.46	c 
1.38/1.46	c 
1.38/1.46	c Core size: 18	Core Weight: 1	Total Weight: -264
1.38/1.46	c Current CPU time: 1.42778 s
1.38/1.46	c
1.38/1.46	c ============================[ Search Statistics ]==============================
1.38/1.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.38/1.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.38/1.46	c ===============================================================================
1.38/1.46	c |         0 |    2339    62611   184918 |    20870        0   -nan |  0.000 % |
1.38/1.46	c ===============================================================================
1.38/1.49	c core #75
1.38/1.49	c 
1.38/1.49	c 
1.38/1.49	c Core size: 24	Core Weight: 1	Total Weight: -263
1.38/1.49	c Current CPU time: 1.45178 s
1.38/1.49	c
1.38/1.49	c ============================[ Search Statistics ]==============================
1.38/1.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.38/1.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.38/1.49	c ===============================================================================
1.38/1.49	c |         0 |    2357    62614   185173 |    20871        0   -nan |  0.000 % |
1.38/1.49	c ===============================================================================
1.48/1.51	c core #76
1.48/1.51	c 
1.48/1.51	c 
1.48/1.51	c Core size: 10	Core Weight: 1	Total Weight: -262
1.48/1.51	c Current CPU time: 1.47477 s
1.48/1.51	c
1.48/1.51	c ============================[ Search Statistics ]==============================
1.48/1.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.48/1.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.48/1.51	c ===============================================================================
1.48/1.51	c |         0 |    2367    62618   185530 |    20872        0   -nan |  0.000 % |
1.48/1.51	c ===============================================================================
1.48/1.53	c core #77
1.48/1.53	c 
1.48/1.53	c 
1.48/1.53	c Core size: 11	Core Weight: 1	Total Weight: -261
1.48/1.53	c Current CPU time: 1.49877 s
1.48/1.53	c
1.48/1.53	c ============================[ Search Statistics ]==============================
1.48/1.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.48/1.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.48/1.53	c ===============================================================================
1.48/1.53	c |         0 |    2383    62620   186193 |    20873        0   -nan |  0.000 % |
1.48/1.53	c ===============================================================================
1.48/1.56	c core #78
1.48/1.56	c 
1.48/1.56	c 
1.48/1.56	c Core size: 19	Core Weight: 1	Total Weight: -260
1.48/1.56	c Current CPU time: 1.52277 s
1.48/1.56	c
1.48/1.56	c ============================[ Search Statistics ]==============================
1.48/1.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.48/1.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.48/1.56	c ===============================================================================
1.48/1.56	c |         0 |    2394    62623   186217 |    20874        0   -nan |  0.000 % |
1.48/1.56	c ===============================================================================
1.48/1.58	c core #79
1.48/1.58	c 
1.48/1.58	c 
1.48/1.58	c Core size: 16	Core Weight: 1	Total Weight: -259
1.48/1.58	c Current CPU time: 1.54676 s
1.48/1.58	c
1.48/1.58	c ============================[ Search Statistics ]==============================
1.48/1.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.48/1.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.48/1.58	c ===============================================================================
1.48/1.58	c |         0 |    2405    62625   186238 |    20875        0   -nan |  0.000 % |
1.48/1.58	c ===============================================================================
1.58/1.60	c core #80
1.58/1.60	c 
1.58/1.60	c 
1.58/1.60	c Core size: 23	Core Weight: 1	Total Weight: -258
1.58/1.60	c Current CPU time: 1.56876 s
1.58/1.60	c
1.58/1.60	c ============================[ Search Statistics ]==============================
1.58/1.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.58/1.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.58/1.60	c ===============================================================================
1.58/1.60	c |         0 |    2422    62627   186275 |    20875        0   -nan |  0.000 % |
1.58/1.61	c ===============================================================================
1.58/1.63	c core #81
1.58/1.63	c 
1.58/1.63	c 
1.58/1.63	c Core size: 15	Core Weight: 1	Total Weight: -257
1.58/1.63	c Current CPU time: 1.59276 s
1.58/1.63	c
1.58/1.63	c ============================[ Search Statistics ]==============================
1.58/1.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.58/1.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.58/1.63	c ===============================================================================
1.58/1.63	c |         0 |    2431    62629   186296 |    20876        0   -nan |  0.000 % |
1.58/1.63	c ===============================================================================
1.58/1.65	c core #82
1.58/1.65	c 
1.58/1.65	c 
1.58/1.65	c Core size: 24	Core Weight: 1	Total Weight: -256
1.58/1.65	c Current CPU time: 1.61675 s
1.58/1.65	c
1.58/1.65	c ============================[ Search Statistics ]==============================
1.58/1.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.58/1.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.58/1.65	c ===============================================================================
1.58/1.65	c |         0 |    2449    62635   186343 |    20878        0   -nan |  0.000 % |
1.58/1.65	c ===============================================================================
1.58/1.68	c core #83
1.58/1.68	c 
1.58/1.68	c 
1.58/1.68	c Core size: 17	Core Weight: 1	Total Weight: -255
1.58/1.68	c Current CPU time: 1.64075 s
1.58/1.68	c
1.58/1.68	c ============================[ Search Statistics ]==============================
1.58/1.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.58/1.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.58/1.68	c ===============================================================================
1.58/1.68	c |         0 |    2460    62639   186368 |    20879        0   -nan |  0.000 % |
1.58/1.68	c ===============================================================================
1.68/1.70	c core #84
1.68/1.70	c 
1.68/1.70	c 
1.68/1.70	c Core size: 20	Core Weight: 1	Total Weight: -254
1.68/1.70	c Current CPU time: 1.66475 s
1.68/1.70	c
1.68/1.70	c ============================[ Search Statistics ]==============================
1.68/1.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.68/1.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.68/1.70	c ===============================================================================
1.68/1.70	c |         0 |    2473    62642   186396 |    20880        0   -nan |  0.000 % |
1.68/1.70	c ===============================================================================
1.68/1.73	c core #85
1.68/1.73	c 
1.68/1.73	c 
1.68/1.73	c Core size: 22	Core Weight: 1	Total Weight: -253
1.68/1.73	c Current CPU time: 1.68974 s
1.68/1.73	c
1.68/1.73	c ============================[ Search Statistics ]==============================
1.68/1.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.68/1.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.68/1.73	c ===============================================================================
1.68/1.73	c |         0 |    2486    62643   186422 |    20881        0   -nan |  0.000 % |
1.68/1.73	c ===============================================================================
1.68/1.75	c core #86
1.68/1.75	c 
1.68/1.75	c 
1.68/1.75	c Core size: 19	Core Weight: 1	Total Weight: -252
1.68/1.75	c Current CPU time: 1.71374 s
1.68/1.75	c
1.68/1.75	c ============================[ Search Statistics ]==============================
1.68/1.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.68/1.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.68/1.75	c ===============================================================================
1.68/1.75	c |         0 |    2502    62645   186462 |    20881        0   -nan |  0.000 % |
1.68/1.75	c ===============================================================================
1.68/1.78	c core #87
1.68/1.78	c 
1.68/1.78	c 
1.68/1.78	c Core size: 6	Core Weight: 2	Total Weight: -250
1.68/1.78	c Current CPU time: 1.73874 s
1.68/1.78	c
1.68/1.78	c ============================[ Search Statistics ]==============================
1.68/1.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.68/1.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.68/1.78	c ===============================================================================
1.68/1.78	c |         0 |    2504    62647   186468 |    20882        0   -nan |  0.000 % |
1.68/1.78	c ===============================================================================
1.78/1.80	c core #88
1.78/1.80	c 
1.78/1.80	c 
1.78/1.80	c Core size: 20	Core Weight: 1	Total Weight: -249
1.78/1.80	c Current CPU time: 1.76373 s
1.78/1.80	c
1.78/1.80	c ============================[ Search Statistics ]==============================
1.78/1.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.78/1.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.78/1.80	c ===============================================================================
1.78/1.80	c |         0 |    2516    62656   186509 |    20885        0   -nan |  0.000 % |
1.78/1.80	c ===============================================================================
1.78/1.83	c core #89
1.78/1.83	c 
1.78/1.83	c 
1.78/1.83	c Core size: 40	Core Weight: 1	Total Weight: -248
1.78/1.83	c Current CPU time: 1.78973 s
1.78/1.83	c
1.78/1.83	c ============================[ Search Statistics ]==============================
1.78/1.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.78/1.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.78/1.83	c ===============================================================================
1.78/1.83	c |         0 |    2548    62661   186951 |    20887        0   -nan |  0.000 % |
1.78/1.83	c ===============================================================================
1.78/1.85	c core #90
1.78/1.85	c 
1.78/1.85	c 
1.78/1.85	c Core size: 22	Core Weight: 1	Total Weight: -247
1.78/1.85	c Current CPU time: 1.81572 s
1.78/1.85	c
1.78/1.85	c ============================[ Search Statistics ]==============================
1.78/1.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.78/1.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.78/1.85	c ===============================================================================
1.78/1.85	c |         0 |    2567    62667   187000 |    20889        0   -nan |  0.000 % |
1.78/1.86	c ===============================================================================
1.78/1.88	c core #91
1.78/1.88	c 
1.78/1.88	c 
1.78/1.88	c Core size: 20	Core Weight: 1	Total Weight: -246
1.78/1.88	c Current CPU time: 1.84172 s
1.78/1.88	c
1.78/1.88	c ============================[ Search Statistics ]==============================
1.78/1.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.78/1.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.78/1.88	c ===============================================================================
1.78/1.88	c |         0 |    2583    62670   187037 |    20890        0   -nan |  0.000 % |
1.78/1.88	c ===============================================================================
1.88/1.90	c core #92
1.88/1.90	c 
1.88/1.90	c 
1.88/1.90	c Core size: 38	Core Weight: 1	Total Weight: -245
1.88/1.90	c Current CPU time: 1.86672 s
1.88/1.90	c
1.88/1.90	c ============================[ Search Statistics ]==============================
1.88/1.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.88/1.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.88/1.90	c ===============================================================================
1.88/1.90	c |         0 |    2612    62676   187107 |    20892        0   -nan |  0.000 % |
1.88/1.91	c |       100 |    2612    62676   187107 |    22981      100      7 |  0.038 % |
1.88/1.91	c ===============================================================================
1.88/1.93	c core #93
1.88/1.93	c 
1.88/1.93	c 
1.88/1.93	c Core size: 28	Core Weight: 1	Total Weight: -244
1.88/1.93	c Current CPU time: 1.89271 s
1.88/1.93	c
1.88/1.93	c ============================[ Search Statistics ]==============================
1.88/1.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.88/1.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.88/1.93	c ===============================================================================
1.88/1.93	c |         0 |    2624    62683   187147 |    20894        0   -nan |  0.000 % |
1.88/1.93	c ===============================================================================
1.88/1.96	c core #94
1.88/1.96	c 
1.88/1.96	c 
1.88/1.96	c Core size: 19	Core Weight: 1	Total Weight: -243
1.88/1.96	c Current CPU time: 1.91771 s
1.88/1.96	c
1.88/1.96	c ============================[ Search Statistics ]==============================
1.88/1.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.88/1.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.88/1.96	c ===============================================================================
1.88/1.96	c |         0 |    2632    62687   187171 |    20895        0   -nan |  0.000 % |
1.88/1.96	c ===============================================================================
1.88/1.98	c core #95
1.88/1.98	c 
1.88/1.98	c 
1.88/1.98	c Core size: 30	Core Weight: 1	Total Weight: -242
1.88/1.98	c Current CPU time: 1.9437 s
1.88/1.98	c
1.88/1.98	c ============================[ Search Statistics ]==============================
1.88/1.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.88/1.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.88/1.98	c ===============================================================================
1.88/1.98	c |         0 |    2651    62690   187215 |    20896        0   -nan |  0.000 % |
1.88/1.99	c ===============================================================================
1.98/2.01	c core #96
1.98/2.01	c 
1.98/2.01	c 
1.98/2.01	c Core size: 10	Core Weight: 1	Total Weight: -241
1.98/2.01	c Current CPU time: 1.9687 s
1.98/2.01	c
1.98/2.01	c ============================[ Search Statistics ]==============================
1.98/2.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.98/2.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.98/2.01	c ===============================================================================
1.98/2.01	c |         0 |    2656    62696   187237 |    20898        0   -nan |  0.000 % |
1.98/2.01	c ===============================================================================
1.98/2.04	c core #97
1.98/2.04	c 
1.98/2.04	c 
1.98/2.04	c Core size: 23	Core Weight: 1	Total Weight: -240
1.98/2.04	c Current CPU time: 1.9927 s
1.98/2.04	c
1.98/2.04	c ============================[ Search Statistics ]==============================
1.98/2.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.98/2.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.98/2.04	c ===============================================================================
1.98/2.04	c |         0 |    2671    62697   187267 |    20899        0   -nan |  0.000 % |
1.98/2.04	c ===============================================================================
1.98/2.06	c core #98
1.98/2.06	c 
1.98/2.06	c 
1.98/2.06	c Core size: 18	Core Weight: 1	Total Weight: -239
1.98/2.06	c Current CPU time: 2.01869 s
1.98/2.06	c
1.98/2.06	c ============================[ Search Statistics ]==============================
1.98/2.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.98/2.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.98/2.06	c ===============================================================================
1.98/2.06	c |         0 |    2679    62703   187295 |    20901        0   -nan |  0.000 % |
1.98/2.06	c ===============================================================================
1.98/2.09	c core #99
1.98/2.09	c 
1.98/2.09	c 
1.98/2.09	c Core size: 36	Core Weight: 1	Total Weight: -238
1.98/2.09	c Current CPU time: 2.04469 s
1.98/2.09	c
1.98/2.09	c ============================[ Search Statistics ]==============================
1.98/2.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.98/2.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.98/2.09	c ===============================================================================
1.98/2.09	c |         0 |    2702    62709   187352 |    20903        0   -nan |  0.000 % |
1.98/2.09	c ===============================================================================
1.98/2.12	c core #100
1.98/2.12	c 
1.98/2.12	c 
1.98/2.12	c Core size: 22	Core Weight: 1	Total Weight: -237
1.98/2.12	c Current CPU time: 2.07069 s
1.98/2.12	c
1.98/2.12	c ============================[ Search Statistics ]==============================
1.98/2.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.98/2.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.98/2.12	c ===============================================================================
1.98/2.12	c |         0 |    2712    62714   187381 |    20904        0   -nan |  0.000 % |
2.10/2.12	c ===============================================================================
2.10/2.14	c core #101
2.10/2.14	c 
2.10/2.14	c 
2.10/2.14	c Core size: 20	Core Weight: 1	Total Weight: -236
2.10/2.14	c Current CPU time: 2.09768 s
2.10/2.14	c
2.10/2.14	c ============================[ Search Statistics ]==============================
2.10/2.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.10/2.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.10/2.14	c ===============================================================================
2.10/2.14	c |         0 |    2727    62717   187416 |    20905        0   -nan |  0.000 % |
2.10/2.14	c ===============================================================================
2.10/2.17	c core #102
2.10/2.17	c 
2.10/2.17	c 
2.10/2.17	c Core size: 59	Core Weight: 1	Total Weight: -235
2.10/2.17	c Current CPU time: 2.12468 s
2.10/2.17	c
2.10/2.17	c ============================[ Search Statistics ]==============================
2.10/2.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.10/2.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.10/2.17	c ===============================================================================
2.10/2.17	c |         0 |    2774    62721   187516 |    20907        0   -nan |  0.000 % |
2.10/2.17	c |       100 |    2773    62721   187516 |    22997      100     12 |  0.252 % |
2.10/2.17	c ===============================================================================
2.10/2.20	c core #103
2.10/2.20	c 
2.10/2.20	c 
2.10/2.20	c Core size: 76	Core Weight: 1	Total Weight: -234
2.10/2.20	c Current CPU time: 2.15367 s
2.10/2.20	c
2.10/2.20	c ============================[ Search Statistics ]==============================
2.10/2.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.10/2.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.10/2.20	c ===============================================================================
2.10/2.20	c |         0 |    2828    62727   187638 |    20909        0   -nan |  0.000 % |
2.10/2.20	c |       100 |    2823    62727   187638 |    22999      100     13 |  0.671 % |
2.10/2.20	c |       250 |    2823    62727   187638 |    25299      250     14 |  0.671 % |
2.10/2.21	c ===============================================================================
2.20/2.23	c core #104
2.20/2.23	c 
2.20/2.23	c 
2.20/2.23	c Core size: 83	Core Weight: 1	Total Weight: -233
2.20/2.23	c Current CPU time: 2.18867 s
2.20/2.23	c
2.20/2.23	c ============================[ Search Statistics ]==============================
2.20/2.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.20/2.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.20/2.23	c ===============================================================================
2.20/2.23	c |         0 |    2892    62730   187772 |    20910        0   -nan |  0.000 % |
2.20/2.24	c |       102 |    2892    62730   187772 |    23001      102     18 |  0.207 % |
2.20/2.24	c |       252 |    2892    62730   187772 |    25301      252     22 |  0.242 % |
2.20/2.25	c |       478 |    2890    62730   187772 |    27831      478     23 |  0.380 % |
2.20/2.25	c ===============================================================================
2.20/2.28	c core #105
2.20/2.28	c 
2.20/2.28	c 
2.20/2.28	c Core size: 118	Core Weight: 1	Total Weight: -232
2.20/2.28	c Current CPU time: 2.23066 s
2.20/2.28	c
2.20/2.28	c ============================[ Search Statistics ]==============================
2.20/2.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.20/2.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.20/2.28	c ===============================================================================
2.20/2.28	c |         0 |    2971    62741   187955 |    20913        0   -nan |  0.000 % |
2.20/2.28	c |       101 |    2967    62741   187955 |    23005      101     11 |  0.504 % |
2.20/2.28	c ===============================================================================
2.28/2.31	c core #106
2.28/2.31	c 
2.28/2.31	c 
2.28/2.31	c Core size: 111	Core Weight: 1	Total Weight: -231
2.28/2.31	c Current CPU time: 2.26266 s
2.28/2.31	c
2.28/2.31	c ============================[ Search Statistics ]==============================
2.28/2.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.28/2.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.28/2.31	c ===============================================================================
2.28/2.31	c |         0 |    3033    62752   188107 |    20917        0   -nan |  0.000 % |
2.28/2.32	c |       101 |    3033    62752   188107 |    23009      101     13 |  0.492 % |
2.28/2.32	c |       251 |    3032    62752   188107 |    25309      251     13 |  0.525 % |
2.28/2.33	c ===============================================================================
2.28/2.35	c core #107
2.28/2.35	c 
2.28/2.35	c 
2.28/2.35	c Core size: 171	Core Weight: 1	Total Weight: -230
2.28/2.35	c Current CPU time: 2.30465 s
2.28/2.35	c
2.28/2.35	c ============================[ Search Statistics ]==============================
2.28/2.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.28/2.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.28/2.35	c ===============================================================================
2.28/2.35	c |         0 |    3169    62769   188416 |    20923        0   -nan |  0.000 % |
2.28/2.36	c |       100 |    3169    62769   188416 |    23015      100     21 |  0.283 % |
2.28/2.36	c |       250 |    3168    62769   188416 |    25316      250     23 |  0.346 % |
2.28/2.37	c |       478 |    3165    62769   188416 |    27848      478     21 |  0.409 % |
2.28/2.37	c ===============================================================================
2.38/2.40	c core #108
2.38/2.40	c 
2.38/2.40	c 
2.38/2.40	c Core size: 110	Core Weight: 1	Total Weight: -229
2.38/2.40	c Current CPU time: 2.35164 s
2.38/2.40	c
2.38/2.40	c ============================[ Search Statistics ]==============================
2.38/2.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.38/2.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.38/2.40	c ===============================================================================
2.38/2.40	c |         0 |    3255    62775   188601 |    20925        0   -nan |  0.000 % |
2.38/2.41	c |       105 |    3255    62775   188601 |    23017      105     38 |  0.337 % |
2.38/2.41	c |       255 |    3255    62775   188601 |    25319      255     34 |  0.337 % |
2.38/2.42	c |       480 |    3255    62775   188601 |    27851      480     33 |  0.337 % |
2.38/2.43	c |       818 |    3255    62775   188601 |    30636      818     30 |  0.337 % |
2.38/2.46	c |      1324 |    3255    62775   188601 |    33699     1324     35 |  0.337 % |
2.38/2.49	c |      2093 |    3255    62775   188601 |    37069     2093     35 |  0.337 % |
2.48/2.56	c |      3232 |    3255    62775   188601 |    40776     3232     39 |  0.337 % |
2.58/2.69	c |      4942 |    3255    62775   188601 |    44854     4942     46 |  0.337 % |
2.78/2.82	c ===============================================================================
2.78/2.87	c core #109
2.78/2.87	c 
2.78/2.87	c 
2.78/2.87	c Core size: 211	Core Weight: 1	Total Weight: -228
2.78/2.87	c Current CPU time: 2.80357 s
2.78/2.87	c
2.78/2.87	c ============================[ Search Statistics ]==============================
2.78/2.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.78/2.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.78/2.87	c ===============================================================================
2.78/2.87	c |         0 |    3441    62797   189032 |    20932        0   -nan |  0.000 % |
2.78/2.87	c |       101 |    3441    62797   189032 |    23025      101     43 |  0.319 % |
2.78/2.88	c |       251 |    3441    62797   189032 |    25328      251     32 |  0.319 % |
2.78/2.89	c |       477 |    3441    62797   189032 |    27860      477     31 |  0.319 % |
2.88/2.90	c |       815 |    3441    62797   189032 |    30647      815     31 |  0.319 % |
2.88/2.92	c |      1322 |    3441    62797   189032 |    33711     1322     30 |  0.319 % |
2.88/2.95	c |      2083 |    3441    62797   189032 |    37082     2083     28 |  0.319 % |
2.88/3.00	c |      3223 |    3441    62797   189032 |    40791     3223     32 |  0.319 % |
3.08/3.11	c |      4932 |    3441    62797   189032 |    44870     4932     37 |  0.319 % |
3.30/3.34	c |      7498 |    3441    62797   189032 |    49357     7498     39 |  0.319 % |
3.58/3.64	c |     11342 |    3441    62797   189032 |    54293    11342     42 |  0.319 % |
4.08/4.19	c |     17108 |    3441    62797   189032 |    59722    17108     44 |  0.319 % |
5.08/5.17	c |     25759 |    3441    62797   189032 |    65694    25759     44 |  0.319 % |
6.08/6.17	c ===============================================================================
6.28/6.33	c core #110
6.28/6.33	c 
6.28/6.33	c 
6.28/6.33	c Core size: 254	Core Weight: 1	Total Weight: -227
6.28/6.33	c Current CPU time: 6.20206 s
6.28/6.33	c
6.28/6.33	c ============================[ Search Statistics ]==============================
6.28/6.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.28/6.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.28/6.33	c ===============================================================================
6.28/6.33	c |         0 |    3672    62827   189575 |    20942        0   -nan |  0.000 % |
6.28/6.34	c |       100 |    3672    62827   189575 |    23036      100     33 |  0.299 % |
6.28/6.35	c |       250 |    3672    62827   189575 |    25340      250     25 |  0.299 % |
6.28/6.35	c |       477 |    3672    62827   189575 |    27874      477     20 |  0.299 % |
6.28/6.36	c |       818 |    3672    62827   189575 |    30661      818     22 |  0.299 % |
6.28/6.38	c |      1324 |    3672    62827   189575 |    33727     1324     22 |  0.299 % |
6.38/6.41	c |      2083 |    3672    62827   189575 |    37100     2083     22 |  0.299 % |
6.38/6.48	c |      3223 |    3672    62827   189575 |    40810     3223     26 |  0.299 % |
6.49/6.59	c |      4934 |    3672    62827   189575 |    44891     4934     28 |  0.299 % |
6.68/6.77	c |      7499 |    3669    62827   189575 |    49380     7499     29 |  0.380 % |
6.78/6.83	c ===============================================================================
6.78/6.88	c core #111
6.78/6.88	c 
6.78/6.88	c 
6.78/6.88	c Core size: 142	Core Weight: 1	Total Weight: -226
6.78/6.88	c Current CPU time: 6.75597 s
6.78/6.88	c
6.78/6.88	c ============================[ Search Statistics ]==============================
6.78/6.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.78/6.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.78/6.88	c ===============================================================================
6.78/6.88	c |         0 |    3786    62847   189856 |    20949        0   -nan |  0.000 % |
6.78/6.88	c |       100 |    3786    62847   189856 |    23043      100     46 |  0.290 % |
6.78/6.89	c |       250 |    3786    62847   189856 |    25348      250     33 |  0.290 % |
6.78/6.89	c |       482 |    3786    62847   189856 |    27883      482     34 |  0.290 % |
6.88/6.90	c |       819 |    3786    62847   189856 |    30671      819     34 |  0.290 % |
6.88/6.93	c |      1328 |    3786    62847   189856 |    33738     1328     35 |  0.290 % |
6.88/6.95	c |      2088 |    3786    62847   189856 |    37112     2088     35 |  0.290 % |
6.98/7.01	c |      3227 |    3786    62847   189856 |    40823     3227     37 |  0.290 % |
7.08/7.11	c |      4938 |    3786    62847   189856 |    44906     4938     39 |  0.290 % |
7.28/7.30	c |      7501 |    3786    62847   189856 |    49396     7501     45 |  0.290 % |
7.48/7.60	c |     11346 |    3786    62847   189856 |    54336    11346     45 |  0.290 % |
8.08/8.19	c |     17116 |    3786    62847   189856 |    59769    17116     46 |  0.290 % |
8.98/9.06	c |     25768 |    3786    62847   189856 |    65746    25768     47 |  0.290 % |
10.68/10.74	c |     38743 |    3786    62847   189856 |    72321    38743     49 |  0.290 % |
13.68/13.76	c |     58204 |    3786    62847   189856 |    79553    58204     53 |  0.290 % |
20.68/20.77	c |     87398 |    3786    62847   189856 |    87509    22493     55 |  0.290 % |
29.38/29.41	c |    131187 |    3786    62847   189856 |    96260    66282     62 |  0.290 % |
37.40/37.42	c ===============================================================================
38.39/38.51	c core #112
38.39/38.51	c 
38.39/38.51	c 
38.39/38.51	c Core size: 272	Core Weight: 1	Total Weight: -225
38.39/38.51	c Current CPU time: 38.0392 s
38.39/38.51	c
38.39/38.51	c ============================[ Search Statistics ]==============================
38.39/38.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.39/38.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
38.39/38.51	c ===============================================================================
38.39/38.51	c |         0 |    4013    62894   190443 |    20964        0   -nan |  0.000 % |
38.39/38.51	c |       100 |    4013    62894   190443 |    23061      100     85 |  0.273 % |
38.51/38.52	c |       250 |    4013    62894   190443 |    25367      250     94 |  0.273 % |
38.51/38.53	c |       478 |    4013    62894   190443 |    27903      478    101 |  0.273 % |
38.51/38.55	c |       818 |    4013    62894   190443 |    30694      818    109 |  0.273 % |
38.51/38.58	c |      1325 |    4013    62894   190443 |    33763     1325    114 |  0.273 % |
38.59/38.66	c |      2084 |    4013    62894   190443 |    37140     2084    121 |  0.273 % |
38.69/38.76	c |      3223 |    4013    62894   190443 |    40854     3223    122 |  0.273 % |
38.88/38.93	c |      4932 |    4013    62894   190443 |    44939     4932    108 |  0.273 % |
39.08/39.11	c |      7495 |    4013    62894   190443 |    49433     7495     93 |  0.273 % |
39.38/39.41	c |     11341 |    4013    62894   190443 |    54376    11341     92 |  0.273 % |
39.88/39.95	c |     17108 |    4013    62894   190443 |    59814    17108     88 |  0.273 % |
41.29/41.32	c |     25762 |    4013    62894   190443 |    65796    25762     87 |  0.273 % |
43.38/43.42	c |     38736 |    4013    62894   190443 |    72375    38736     91 |  0.273 % |
48.78/48.80	c |     58197 |    4013    62894   190443 |    79613    58197     94 |  0.273 % |
59.69/59.80	c |     87390 |    4013    62894   190443 |    87574    21382    101 |  0.273 % |
72.68/72.78	c |    131179 |    4013    62894   190443 |    96332    65171    101 |  0.273 % |
97.49/97.50	c |    196863 |    4013    62894   190443 |   105965    48578    110 |  0.273 % |
131.78/131.80	c |    295391 |    4013    62894   190443 |   116561    54101     80 |  0.273 % |
202.78/202.84	c |    443184 |    4013    62894   190443 |   128217   101730     84 |  0.273 % |
320.39/320.47	c |    664868 |    4013    62894   190443 |   141039   101869    100 |  0.273 % |
480.61/480.68	c |    997393 |    4013    62894   190443 |   155143    59515     76 |  0.273 % |
692.21/692.27	c |   1496186 |    4004    62894   190443 |   170658   142633    108 |  0.497 % |
1172.42/1172.46	c |   2244371 |    4004    62894   190443 |   187723   129134     84 |  0.497 % |

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-3460125-1307117638/watcher-3460125-1307117638 -o /tmp/evaluation-result-3460125-1307117638/solver-3460125-1307117638 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460125-1307117638.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.84 1.99 1.99 5/520 24476
/proc/meminfo: memFree=21634008/32951124 swapFree=58800704/67111528
[pid=24476] ppid=24472 vsize=4852 CPUtime=0 cores=1,3,5,7
/proc/24476/stat : 24476 (wbo1.6) R 24472 24476 22695 0 -1 4202496 487 0 0 0 0 0 0 0 20 0 1 0 804179321 4968448 440 33554432000 4194304 5714214 140735540478864 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24476/statm: 1213 440 193 372 0 330 0

[startup+0.061553 s]
/proc/loadavg: 1.84 1.99 1.99 5/520 24476
/proc/meminfo: memFree=21634008/32951124 swapFree=58800704/67111528
[pid=24476] ppid=24472 vsize=6436 CPUtime=0.05 cores=1,3,5,7
/proc/24476/stat : 24476 (wbo1.6) R 24472 24476 22695 0 -1 4202496 1063 0 0 0 5 0 0 0 20 0 1 0 804179321 6590464 1016 33554432000 4194304 5714214 140735540478864 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24476/statm: 1609 1017 359 372 0 726 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 6436

[startup+0.100529 s]
/proc/loadavg: 1.84 1.99 1.99 5/520 24476
/proc/meminfo: memFree=21634008/32951124 swapFree=58800704/67111528
[pid=24476] ppid=24472 vsize=8152 CPUtime=0.09 cores=1,3,5,7
/proc/24476/stat : 24476 (wbo1.6) R 24472 24476 22695 0 -1 4202496 1616 0 0 0 9 0 0 0 20 0 1 0 804179321 8347648 1536 33554432000 4194304 5714214 140735540478864 18446744073709551615 4228419 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24476/statm: 2038 1536 511 372 0 1155 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8152

[startup+0.300498 s]
/proc/loadavg: 1.84 1.99 1.99 5/520 24476
/proc/meminfo: memFree=21634008/32951124 swapFree=58800704/67111528
[pid=24476] ppid=24472 vsize=11504 CPUtime=0.28 cores=1,3,5,7
/proc/24476/stat : 24476 (wbo1.6) R 24472 24476 22695 0 -1 4202496 3631 0 0 0 28 0 0 0 21 0 1 0 804179321 11780096 2548 33554432000 4194304 5714214 140735540478864 18446744073709551615 4967616 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24476/statm: 2876 2548 175 372 0 2501 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11504

[startup+0.70042 s]
/proc/loadavg: 1.84 1.99 1.99 5/520 24476
/proc/meminfo: memFree=21634008/32951124 swapFree=58800704/67111528
[pid=24476] ppid=24472 vsize=11504 CPUtime=0.68 cores=1,3,5,7
/proc/24476/stat : 24476 (wbo1.6) R 24472 24476 22695 0 -1 4202496 3635 0 0 0 68 0 0 0 22 0 1 0 804179321 11780096 2552 33554432000 4194304 5714214 140735540478864 18446744073709551615 4964843 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24476/statm: 2876 2552 175 372 0 2501 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 11504

[startup+1.50027 s]
/proc/loadavg: 1.84 1.99 1.99 4/522 24478
/proc/meminfo: memFree=21613904/32951124 swapFree=58800704/67111528
[pid=24476] ppid=24472 vsize=14336 CPUtime=1.48 cores=1,3,5,7
/proc/24476/stat : 24476 (wbo1.6) R 24472 24476 22695 0 -1 4202496 4295 0 0 0 148 0 0 0 25 0 1 0 804179321 14680064 3212 33554432000 4194304 5714214 140735540478864 18446744073709551615 4317923 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24476/statm: 3584 3212 179 372 0 3209 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 14336

[startup+3.10098 s]
/proc/loadavg: 1.84 1.99 1.99 4/522 24478
/proc/meminfo: memFree=21608820/32951124 swapFree=58800704/67111528
[pid=24476] ppid=24472 vsize=18272 CPUtime=3.08 cores=1,3,5,7
/proc/24476/stat : 24476 (wbo1.6) R 24472 24476 22695 0 -1 4202496 5664 0 0 0 304 4 0 0 25 0 1 0 804179321 18710528 4190 33554432000 4194304 5714214 140735540478864 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24476/statm: 4568 4190 180 372 0 4193 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 18272

[startup+6.30039 s]
/proc/loadavg: 1.85 1.99 1.99 4/522 24478
/proc/meminfo: memFree=21595452/32951124 swapFree=58800704/67111528
[pid=24476] ppid=24472 vsize=24356 CPUtime=6.28 cores=1,3,5,7
/proc/24476/stat : 24476 (wbo1.6) R 24472 24476 22695 0 -1 4202496 7224 0 0 0 620 8 0 0 25 0 1 0 804179321 24940544 5750 33554432000 4194304 5714214 140735540478864 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24476/statm: 6089 5752 180 372 0 5714 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 24356

[startup+12.7002 s]
/proc/loadavg: 1.87 1.99 1.99 3/522 24478
/proc/meminfo: memFree=21572828/32951124 swapFree=58800704/67111528
[pid=24476] ppid=24472 vsize=33184 CPUtime=12.68 cores=1,3,5,7
/proc/24476/stat : 24476 (wbo1.6) R 24472 24476 22695 0 -1 4202496 9515 0 0 0 1251 17 0 0 25 0 1 0 804179321 33980416 8041 33554432000 4194304 5714214 140735540478864 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24476/statm: 8296 8041 180 372 0 7921 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 33184

[startup+25.5009 s]
/proc/loadavg: 1.89 1.99 1.99 4/522 24479
/proc/meminfo: memFree=21544120/32951124 swapFree=58800704/67111528
[pid=24476] ppid=24472 vsize=48064 CPUtime=25.48 cores=1,3,5,7
/proc/24476/stat : 24476 (wbo1.6) R 24472 24476 22695 0 -1 4202496 13138 0 0 0 2522 26 0 0 25 0 1 0 804179321 49217536 11664 33554432000 4194304 5714214 140735540478864 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24476/statm: 12016 11664 180 372 0 11641 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 48064

[startup+51.1012 s]
/proc/loadavg: 1.93 1.99 1.99 4/522 24479
/proc/meminfo: memFree=21493840/32951124 swapFree=58800704/67111528
[pid=24476] ppid=24472 vsize=79656 CPUtime=51.08 cores=1,3,5,7
/proc/24476/stat : 24476 (wbo1.6) R 24472 24476 22695 0 -1 4202496 21080 0 0 0 5065 43 0 0 25 0 1 0 804179321 81567744 19424 33554432000 4194304 5714214 140735540478864 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24476/statm: 19914 19424 180 372 0 19539 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 79656

[startup+102.321 s]
/proc/loadavg: 2.15 2.04 2.00 3/522 24481
/proc/meminfo: memFree=21478548/32951124 swapFree=58800704/67111528
[pid=24476] ppid=24472 vsize=91040 CPUtime=102.3 cores=1,3,5,7
/proc/24476/stat : 24476 (wbo1.6) R 24472 24476 22695 0 -1 4202496 23889 0 0 0 10169 61 0 0 25 0 1 0 804179321 93224960 22233 33554432000 4194304 5714214 140735540478864 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24476/statm: 22760 22233 180 372 0 22385 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 91040

[startup+162.301 s]
/proc/loadavg: 2.17 2.06 2.01 4/522 24482
/proc/meminfo: memFree=21412320/32951124 swapFree=58800704/67111528
[pid=24476] ppid=24472 vsize=114624 CPUtime=162.29 cores=1,3,5,7
/proc/24476/stat : 24476 (wbo1.6) R 24472 24476 22695 0 -1 4202496 29579 0 0 0 16144 85 0 0 25 0 1 0 804179321 117374976 27923 33554432000 4194304 5714214 140735540478864 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24476/statm: 28656 27923 180 372 0 28281 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 114624

[startup+222.301 s]
/proc/loadavg: 2.06 2.05 2.00 3/522 24484
/proc/meminfo: memFree=21347068/32951124 swapFree=58800704/67111528
[pid=24476] ppid=24472 vsize=150564 CPUtime=222.29 cores=1,3,5,7
/proc/24476/stat : 24476 (wbo1.6) R 24472 24476 22695 0 -1 4202496 38319 0 0 0 22121 108 0 0 25 0 1 0 804179321 154177536 36663 33554432000 4194304 5714214 140735540478864 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24476/statm: 37641 36663 180 372 0 37266 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 150564

[startup+282.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/522 24485
/proc/meminfo: memFree=21285776/32951124 swapFree=58800704/67111528
[pid=24476] ppid=24472 vsize=181168 CPUtime=282.29 cores=1,3,5,7
/proc/24476/stat : 24476 (wbo1.6) R 24472 24476 22695 0 -1 4202496 45756 0 0 0 28103 126 0 0 25 0 1 0 804179321 185516032 44100 33554432000 4194304 5714214 140735540478864 18446744073709551615 4199520 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24476/statm: 45292 44100 180 372 0 44917 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 181168

[startup+342.301 s]
/proc/loadavg: 2.01 2.03 2.00 4/522 24487
/proc/meminfo: memFree=21268252/32951124 swapFree=58800704/67111528
[pid=24476] ppid=24472 vsize=197684 CPUtime=342.29 cores=1,3,5,7
/proc/24476/stat : 24476 (wbo1.6) R 24472 24476 22695 0 -1 4202496 49856 0 0 0 34085 144 0 0 25 0 1 0 804179321 202428416 48200 33554432000 4194304 5714214 140735540478864 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24476/statm: 49421 48200 180 372 0 49046 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 197684

[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 4/522 24489
/proc/meminfo: memFree=21253728/32951124 swapFree=58800704/67111528
[pid=24476] ppid=24472 vsize=212644 CPUtime=402.3 cores=1,3,5,7
/proc/24476/stat : 24476 (wbo1.6) R 24472 24476 22695 0 -1 4202496 53497 0 0 0 40065 165 0 0 25 0 1 0 804179321 217747456 51841 33554432000 4194304 5714214 140735540478864 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24476/statm: 53161 51841 180 372 0 52786 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 212644

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 4/522 24490
/proc/meminfo: memFree=21233504/32951124 swapFree=58800704/67111528
[pid=24476] ppid=24472 vsize=231332 CPUtime=462.3 cores=1,3,5,7
/proc/24476/stat : 24476 (wbo1.6) R 24472 24476 22695 0 -1 4202496 58132 0 0 0 46043 187 0 0 25 0 1 0 804179321 236883968 56476 33554432000 4194304 5714214 140735540478864 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24476/statm: 57833 56476 180 372 0 57458 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 231332

[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 4/522 24492
/proc/meminfo: memFree=21206168/32951124 swapFree=58800704/67111528
[pid=24476] ppid=24472 vsize=259136 CPUtime=522.3 cores=1,3,5,7
/proc/24476/stat : 24476 (wbo1.6) R 24472 24476 22695 0 -1 4202496 64918 0 0 0 52015 215 0 0 25 0 1 0 804179321 265355264 63262 33554432000 4194304 5714214 140735540478864 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24476/statm: 64784 63262 180 372 0 64409 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 259136

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/522 24493
/proc/meminfo: memFree=21186180/32951124 swapFree=58800704/67111528
[pid=24476] ppid=24472 vsize=279540 CPUtime=582.3 cores=1,3,5,7
/proc/24476/stat : 24476 (wbo1.6) R 24472 24476 22695 0 -1 4202496 69877 0 0 0 57990 240 0 0 25 0 1 0 804179321 286248960 68221 33554432000 4194304 5714214 140735540478864 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24476/statm: 69885 68221 180 372 0 69510 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 279540

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.03 2.04 2.01 4/522 24503
/proc/meminfo: memFree=21082576/32951124 swapFree=58800704/67111528
[pid=24476] ppid=24472 vsize=382892 CPUtime=822.31 cores=1,3,5,7
/proc/24476/stat : 24476 (wbo1.6) R 24472 24476 22695 0 -1 4202496 95331 0 0 0 81916 315 0 0 25 0 1 0 804179321 392081408 93675 33554432000 4194304 5714214 140735540478864 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24476/statm: 95723 93675 180 372 0 95348 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 382892

[startup+882.301 s]
/proc/loadavg: 2.01 2.03 2.00 4/522 24504
/proc/meminfo: memFree=21042624/32951124 swapFree=58800704/67111528
[pid=24476] ppid=24472 vsize=390204 CPUtime=882.31 cores=1,3,5,7
/proc/24476/stat : 24476 (wbo1.6) R 24472 24476 22695 0 -1 4202496 97080 0 0 0 87897 334 0 0 25 0 1 0 804179321 399568896 95424 33554432000 4194304 5714214 140735540478864 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24476/statm: 97551 95424 180 372 0 97176 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 390204

[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 4/522 24506
/proc/meminfo: memFree=21004036/32951124 swapFree=58800704/67111528
[pid=24476] ppid=24472 vsize=404680 CPUtime=942.31 cores=1,3,5,7
/proc/24476/stat : 24476 (wbo1.6) R 24472 24476 22695 0 -1 4202496 100660 0 0 0 93881 350 0 0 25 0 1 0 804179321 414392320 99004 33554432000 4194304 5714214 140735540478864 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24476/statm: 101170 99004 180 372 0 100795 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 404680

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/522 24508
/proc/meminfo: memFree=20968404/32951124 swapFree=58800704/67111528
[pid=24476] ppid=24472 vsize=417468 CPUtime=1002.32 cores=1,3,5,7
/proc/24476/stat : 24476 (wbo1.6) R 24472 24476 22695 0 -1 4202496 103726 0 0 0 99867 365 0 0 25 0 1 0 804179321 427487232 102070 33554432000 4194304 5714214 140735540478864 18446744073709551615 4319369 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24476/statm: 104367 102070 180 372 0 103992 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 417468

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/522 24509
/proc/meminfo: memFree=20930300/32951124 swapFree=58800704/67111528
[pid=24476] ppid=24472 vsize=432288 CPUtime=1062.32 cores=1,3,5,7
/proc/24476/stat : 24476 (wbo1.6) R 24472 24476 22695 0 -1 4202496 107312 0 0 0 105850 382 0 0 25 0 1 0 804179321 442662912 105656 33554432000 4194304 5714214 140735540478864 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24476/statm: 108072 105656 180 372 0 107697 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 432288

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/522 24511
/proc/meminfo: memFree=20885004/32951124 swapFree=58800704/67111528
[pid=24476] ppid=24472 vsize=450040 CPUtime=1122.32 cores=1,3,5,7
/proc/24476/stat : 24476 (wbo1.6) R 24472 24476 22695 0 -1 4202496 111712 0 0 0 111835 397 0 0 25 0 1 0 804179321 460840960 110056 33554432000 4194304 5714214 140735540478864 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24476/statm: 112510 110056 180 372 0 112135 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 450040

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/522 24512
/proc/meminfo: memFree=20858308/32951124 swapFree=58800704/67111528
[pid=24476] ppid=24472 vsize=455800 CPUtime=1182.32 cores=1,3,5,7
/proc/24476/stat : 24476 (wbo1.6) R 24472 24476 22695 0 -1 4202496 113145 0 0 0 117815 417 0 0 25 0 1 0 804179321 466739200 111489 33554432000 4194304 5714214 140735540478864 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24476/statm: 113950 111489 180 372 0 113575 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 455800

[startup+1242.3 s]
/proc/loadavg: 2.09 2.03 2.01 4/522 24514
/proc/meminfo: memFree=20803712/32951124 swapFree=58800704/67111528
[pid=24476] ppid=24472 vsize=481596 CPUtime=1242.32 cores=1,3,5,7
/proc/24476/stat : 24476 (wbo1.6) R 24472 24476 22695 0 -1 4202496 119525 0 0 0 123798 434 0 0 25 0 1 0 804179321 493154304 117869 33554432000 4194304 5714214 140735540478864 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24476/statm: 120399 117869 180 372 0 120024 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 481596

[startup+1302.3 s]
/proc/loadavg: 2.11 2.05 2.01 4/522 24516
/proc/meminfo: memFree=20774808/32951124 swapFree=58800704/67111528
[pid=24476] ppid=24472 vsize=486108 CPUtime=1302.34 cores=1,3,5,7
/proc/24476/stat : 24476 (wbo1.6) R 24472 24476 22695 0 -1 4202496 120582 0 0 0 129784 450 0 0 25 0 1 0 804179321 497774592 118926 33554432000 4194304 5714214 140735540478864 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24476/statm: 121527 118926 180 372 0 121152 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 486108

[startup+1362.3 s]
/proc/loadavg: 2.04 2.04 2.01 4/522 24517
/proc/meminfo: memFree=20735356/32951124 swapFree=58800704/67111528
[pid=24476] ppid=24472 vsize=508496 CPUtime=1362.33 cores=1,3,5,7
/proc/24476/stat : 24476 (wbo1.6) R 24472 24476 22695 0 -1 4202496 126103 0 0 0 135769 464 0 0 25 0 1 0 804179321 520699904 124447 33554432000 4194304 5714214 140735540478864 18446744073709551615 4319793 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24476/statm: 127124 124447 180 372 0 126749 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 508496

[startup+1422.32 s]
/proc/loadavg: 2.01 2.03 2.00 4/522 24519
/proc/meminfo: memFree=20707556/32951124 swapFree=58800704/67111528
[pid=24476] ppid=24472 vsize=515552 CPUtime=1422.35 cores=1,3,5,7
/proc/24476/stat : 24476 (wbo1.6) R 24472 24476 22695 0 -1 4202496 127819 0 0 0 141756 479 0 0 25 0 1 0 804179321 527925248 126163 33554432000 4194304 5714214 140735540478864 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24476/statm: 128888 126163 180 372 0 128513 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 515552

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/522 24520
/proc/meminfo: memFree=20657804/32951124 swapFree=58800704/67111528
[pid=24476] ppid=24472 vsize=538132 CPUtime=1482.32 cores=1,3,5,7
/proc/24476/stat : 24476 (wbo1.6) R 24472 24476 22695 0 -1 4202496 133447 0 0 0 147735 497 0 0 25 0 1 0 804179321 551047168 131791 33554432000 4194304 5714214 140735540478864 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24476/statm: 134533 131791 180 372 0 134158 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 538132

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 24522
/proc/meminfo: memFree=20615860/32951124 swapFree=58800704/67111528
[pid=24476] ppid=24472 vsize=561512 CPUtime=1542.33 cores=1,3,5,7
/proc/24476/stat : 24476 (wbo1.6) R 24472 24476 22695 0 -1 4202496 139325 0 0 0 153714 519 0 0 25 0 1 0 804179321 574988288 137669 33554432000 4194304 5714214 140735540478864 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24476/statm: 140378 137669 180 372 0 140003 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 561512

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/522 24524
/proc/meminfo: memFree=20584700/32951124 swapFree=58800704/67111528
[pid=24476] ppid=24472 vsize=570848 CPUtime=1602.33 cores=1,3,5,7
/proc/24476/stat : 24476 (wbo1.6) R 24472 24476 22695 0 -1 4202496 141599 0 0 0 159697 536 0 0 25 0 1 0 804179321 584548352 139943 33554432000 4194304 5714214 140735540478864 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24476/statm: 142712 139943 180 372 0 142337 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 570848

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/522 24525
/proc/meminfo: memFree=20530608/32951124 swapFree=58800704/67111528
[pid=24476] ppid=24472 vsize=605604 CPUtime=1662.34 cores=1,3,5,7
/proc/24476/stat : 24476 (wbo1.6) R 24472 24476 22695 0 -1 4202496 150165 0 0 0 165680 554 0 0 25 0 1 0 804179321 620138496 148509 33554432000 4194304 5714214 140735540478864 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24476/statm: 151401 148509 180 372 0 151026 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 605604

[startup+1722.3 s]
/proc/loadavg: 2.20 2.05 2.02 4/522 24527
/proc/meminfo: memFree=20473172/32951124 swapFree=58800704/67111528
[pid=24476] ppid=24472 vsize=637324 CPUtime=1722.34 cores=1,3,5,7
/proc/24476/stat : 24476 (wbo1.6) R 24472 24476 22695 0 -1 4202496 157896 0 0 0 171665 569 0 0 25 0 1 0 804179321 652619776 156240 33554432000 4194304 5714214 140735540478864 18446744073709551615 4319240 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24476/statm: 159331 156240 180 372 0 158956 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 637324

[startup+1782.3 s]
/proc/loadavg: 2.20 2.07 2.02 3/522 24528
/proc/meminfo: memFree=20433356/32951124 swapFree=58800704/67111528
[pid=24476] ppid=24472 vsize=660304 CPUtime=1782.34 cores=1,3,5,7
/proc/24476/stat : 24476 (wbo1.6) R 24472 24476 22695 0 -1 4202496 163360 0 0 0 177651 583 0 0 25 0 1 0 804179321 676151296 161704 33554432000 4194304 5714214 140735540478864 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24476/statm: 165076 161704 180 372 0 164701 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 660304



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.14 2.06 2.02 3/522 24529
/proc/meminfo: memFree=20424908/32951124 swapFree=58800704/67111528
[pid=24476] ppid=24472 vsize=660304 CPUtime=1800.05 cores=1,3,5,7
/proc/24476/stat : 24476 (wbo1.6) R 24472 24476 22695 0 -1 4202496 163391 0 0 0 179418 587 0 0 25 0 1 0 804179321 676151296 161735 33554432000 4194304 5714214 140735540478864 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24476/statm: 165076 161735 180 372 0 164701 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 660304

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.05
CPU time (s): 1800.1
CPU user time (s): 1794.19
CPU system time (s): 5.9031
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 660304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.19
system time used= 5.9031
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163391
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= 21233

runsolver used 9.50155 second user time and 22.8365 second system time

The end

Begin job on node142 at 2011-06-03 18:13:58
IDJOB=3460125
IDBENCH=71824
IDSOLVER=1953
FILE ID=node142/3460125-1307117638
RUNJOBID= node142-1307117638-24458
PBS_JOBID= 13497966
Free space on /tmp= 73920 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-10000opt.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460125-1307117638/watcher-3460125-1307117638 -o /tmp/evaluation-result-3460125-1307117638/solver-3460125-1307117638 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460125-1307117638.opb

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

MD5SUM BENCH= ed2e5a29708037a3709a2832db86ffbb
RANDOM SEED=1208781712

node142.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.846
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.846
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	: 5131.95
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.846
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.82
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.846
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.67
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.846
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.81
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.846
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.846
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.82
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.846
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:     32951124 kB
MemFree:      21634436 kB
Buffers:        241424 kB
Cached:         401812 kB
SwapCached:      11452 kB
Active:        9287448 kB
Inactive:      1767608 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21634436 kB
SwapTotal:    67111528 kB
SwapFree:     58800704 kB
Dirty:           11268 kB
Writeback:           0 kB
AnonPages:    10409448 kB
Mapped:          31336 kB
Slab:           116180 kB
PageTables:      74816 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 145380084 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= 73912 MiB
End job on node142 at 2011-06-03 18:44:01