Trace number 1875724

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
wbo 1.0? (MO) 1077.16 1077.67

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-rot.b.opb
MD5SUM82ceb454755e01aa6cecb68eb859eaa6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark115
Best CPU time to get the best result obtained on this benchmark61.4837
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 116
Optimality of the best value was proved NO
Number of variables1451
Total number of constraints2932
Number of constraints which are clauses2932
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint81
Number of terms in the objective function 1451
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1451
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1451
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c This is wbo 1.0 alpha (based on Minisat 2.0 beta)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Parsing opb file format. File HOME/instance-1875724-1245149405.opb.
0.00/0.00	c Instance file HOME/instance-1875724-1245149405.opb
0.00/0.00	c File size is 363009 bytes.
0.00/0.05	c Highest Coefficient sum: 82
0.00/0.05	c ============================[ Problem Statistics ]=============================
0.00/0.05	c |                                                                             |
0.00/0.05	c |  Parsing time:          0.05         s                                      |
0.00/0.05	c |  Number Variables:      1451                                                |
0.00/0.05	c |  Number Clauses:        4383                                                |
0.00/0.05	c |  Number Cardinality:    0                                                   |
0.00/0.05	c |  Number PB Constraints: 0                                                   |
0.00/0.05	c core #1
0.00/0.05	c Core size: 10	Core Weight: 1	Total Weight: 1
0.00/0.05	c Elapsed CPU time: 0.049992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #2
0.00/0.05	c Core size: 34	Core Weight: 1	Total Weight: 2
0.00/0.05	c Elapsed CPU time: 0.055991 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #3
0.00/0.06	c Core size: 2	Core Weight: 1	Total Weight: 3
0.00/0.06	c Elapsed CPU time: 0.06199 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #4
0.00/0.06	c Core size: 17	Core Weight: 1	Total Weight: 4
0.00/0.06	c Elapsed CPU time: 0.067989 s	Remaining CPU time: 1799.93 s
0.00/0.07	c core #5
0.00/0.07	c Core size: 15	Core Weight: 1	Total Weight: 5
0.00/0.07	c Elapsed CPU time: 0.072988 s	Remaining CPU time: 1799.93 s
0.00/0.08	c core #6
0.00/0.08	c Core size: 16	Core Weight: 1	Total Weight: 6
0.00/0.08	c Elapsed CPU time: 0.078987 s	Remaining CPU time: 1799.92 s
0.00/0.08	c core #7
0.00/0.08	c Core size: 3	Core Weight: 1	Total Weight: 7
0.00/0.08	c Elapsed CPU time: 0.084987 s	Remaining CPU time: 1799.92 s
0.00/0.09	c core #8
0.00/0.09	c Core size: 51	Core Weight: 1	Total Weight: 8
0.00/0.09	c Elapsed CPU time: 0.090986 s	Remaining CPU time: 1799.91 s
0.00/0.09	c core #9
0.00/0.09	c Core size: 10	Core Weight: 1	Total Weight: 9
0.00/0.09	c Elapsed CPU time: 0.095985 s	Remaining CPU time: 1799.9 s
0.10/0.10	c core #10
0.10/0.10	c Core size: 4	Core Weight: 1	Total Weight: 10
0.10/0.10	c Elapsed CPU time: 0.101984 s	Remaining CPU time: 1799.9 s
0.10/0.10	c core #11
0.10/0.10	c Core size: 3	Core Weight: 1	Total Weight: 11
0.10/0.10	c Elapsed CPU time: 0.107983 s	Remaining CPU time: 1799.89 s
0.10/0.11	c core #12
0.10/0.11	c Core size: 14	Core Weight: 1	Total Weight: 12
0.10/0.11	c Elapsed CPU time: 0.113982 s	Remaining CPU time: 1799.89 s
0.10/0.12	c core #13
0.10/0.12	c Core size: 19	Core Weight: 1	Total Weight: 13
0.10/0.12	c Elapsed CPU time: 0.119981 s	Remaining CPU time: 1799.88 s
0.10/0.12	c core #14
0.10/0.12	c Core size: 2	Core Weight: 1	Total Weight: 14
0.10/0.12	c Elapsed CPU time: 0.12598 s	Remaining CPU time: 1799.87 s
0.10/0.13	c core #15
0.10/0.13	c Core size: 5	Core Weight: 1	Total Weight: 15
0.10/0.13	c Elapsed CPU time: 0.131979 s	Remaining CPU time: 1799.87 s
0.10/0.13	c core #16
0.10/0.13	c Core size: 7	Core Weight: 1	Total Weight: 16
0.10/0.13	c Elapsed CPU time: 0.137979 s	Remaining CPU time: 1799.86 s
0.10/0.14	c core #17
0.10/0.14	c Core size: 20	Core Weight: 1	Total Weight: 17
0.10/0.14	c Elapsed CPU time: 0.143978 s	Remaining CPU time: 1799.86 s
0.10/0.15	c core #18
0.10/0.15	c Core size: 11	Core Weight: 1	Total Weight: 18
0.10/0.15	c Elapsed CPU time: 0.149977 s	Remaining CPU time: 1799.85 s
0.10/0.15	c core #19
0.10/0.15	c Core size: 6	Core Weight: 1	Total Weight: 19
0.10/0.15	c Elapsed CPU time: 0.155976 s	Remaining CPU time: 1799.84 s
0.10/0.16	c core #20
0.10/0.16	c Core size: 4	Core Weight: 1	Total Weight: 20
0.10/0.16	c Elapsed CPU time: 0.162975 s	Remaining CPU time: 1799.84 s
0.10/0.16	c core #21
0.10/0.16	c Core size: 2	Core Weight: 1	Total Weight: 21
0.10/0.16	c Elapsed CPU time: 0.168974 s	Remaining CPU time: 1799.83 s
0.10/0.17	c core #22
0.10/0.17	c Core size: 2	Core Weight: 1	Total Weight: 22
0.10/0.17	c Elapsed CPU time: 0.174973 s	Remaining CPU time: 1799.83 s
0.10/0.18	c core #23
0.10/0.18	c Core size: 2	Core Weight: 1	Total Weight: 23
0.10/0.18	c Elapsed CPU time: 0.180972 s	Remaining CPU time: 1799.82 s
0.10/0.18	c core #24
0.10/0.18	c Core size: 13	Core Weight: 1	Total Weight: 24
0.10/0.18	c Elapsed CPU time: 0.186971 s	Remaining CPU time: 1799.81 s
0.10/0.19	c core #25
0.10/0.19	c Core size: 20	Core Weight: 1	Total Weight: 25
0.10/0.19	c Elapsed CPU time: 0.19297 s	Remaining CPU time: 1799.81 s
0.10/0.20	c core #26
0.10/0.20	c Core size: 7	Core Weight: 1	Total Weight: 26
0.10/0.20	c Elapsed CPU time: 0.198969 s	Remaining CPU time: 1799.8 s
0.20/0.20	c core #27
0.20/0.20	c Core size: 69	Core Weight: 1	Total Weight: 27
0.20/0.20	c Elapsed CPU time: 0.204968 s	Remaining CPU time: 1799.8 s
0.20/0.21	c core #28
0.20/0.21	c Core size: 2	Core Weight: 1	Total Weight: 28
0.20/0.21	c Elapsed CPU time: 0.211967 s	Remaining CPU time: 1799.79 s
0.20/0.21	c core #29
0.20/0.21	c Core size: 2	Core Weight: 1	Total Weight: 29
0.20/0.21	c Elapsed CPU time: 0.217966 s	Remaining CPU time: 1799.78 s
0.20/0.22	c core #30
0.20/0.22	c Core size: 29	Core Weight: 1	Total Weight: 30
0.20/0.22	c Elapsed CPU time: 0.223965 s	Remaining CPU time: 1799.78 s
0.20/0.23	c core #31
0.20/0.23	c Core size: 2	Core Weight: 1	Total Weight: 31
0.20/0.23	c Elapsed CPU time: 0.230964 s	Remaining CPU time: 1799.77 s
0.20/0.23	c core #32
0.20/0.23	c Core size: 6	Core Weight: 1	Total Weight: 32
0.20/0.23	c Elapsed CPU time: 0.236963 s	Remaining CPU time: 1799.76 s
0.20/0.24	c core #33
0.20/0.24	c Core size: 10	Core Weight: 1	Total Weight: 33
0.20/0.24	c Elapsed CPU time: 0.243962 s	Remaining CPU time: 1799.76 s
0.20/0.25	c core #34
0.20/0.25	c Core size: 9	Core Weight: 1	Total Weight: 34
0.20/0.25	c Elapsed CPU time: 0.249962 s	Remaining CPU time: 1799.75 s
0.20/0.25	c core #35
0.20/0.25	c Core size: 2	Core Weight: 1	Total Weight: 35
0.20/0.25	c Elapsed CPU time: 0.25696 s	Remaining CPU time: 1799.74 s
0.20/0.26	c core #36
0.20/0.26	c Core size: 9	Core Weight: 1	Total Weight: 36
0.20/0.26	c Elapsed CPU time: 0.26296 s	Remaining CPU time: 1799.74 s
0.20/0.27	c core #37
0.20/0.27	c Core size: 5	Core Weight: 1	Total Weight: 37
0.20/0.27	c Elapsed CPU time: 0.269958 s	Remaining CPU time: 1799.73 s
0.20/0.27	c core #38
0.20/0.27	c Core size: 3	Core Weight: 1	Total Weight: 38
0.20/0.27	c Elapsed CPU time: 0.275958 s	Remaining CPU time: 1799.72 s
0.20/0.28	c core #39
0.20/0.28	c Core size: 7	Core Weight: 1	Total Weight: 39
0.20/0.28	c Elapsed CPU time: 0.282956 s	Remaining CPU time: 1799.72 s
0.20/0.29	c core #40
0.20/0.29	c Core size: 11	Core Weight: 1	Total Weight: 40
0.20/0.29	c Elapsed CPU time: 0.288956 s	Remaining CPU time: 1799.71 s
0.20/0.29	c core #41
0.20/0.29	c Core size: 2	Core Weight: 1	Total Weight: 41
0.20/0.29	c Elapsed CPU time: 0.295955 s	Remaining CPU time: 1799.7 s
0.30/0.30	c core #42
0.30/0.30	c Core size: 2	Core Weight: 1	Total Weight: 42
0.30/0.30	c Elapsed CPU time: 0.301954 s	Remaining CPU time: 1799.7 s
0.30/0.30	c core #43
0.30/0.30	c Core size: 2	Core Weight: 1	Total Weight: 43
0.30/0.30	c Elapsed CPU time: 0.307953 s	Remaining CPU time: 1799.69 s
0.30/0.31	c core #44
0.30/0.31	c Core size: 4	Core Weight: 1	Total Weight: 44
0.30/0.31	c Elapsed CPU time: 0.314952 s	Remaining CPU time: 1799.69 s
0.30/0.32	c core #45
0.30/0.32	c Core size: 3	Core Weight: 1	Total Weight: 45
0.30/0.32	c Elapsed CPU time: 0.320951 s	Remaining CPU time: 1799.68 s
0.30/0.32	c core #46
0.30/0.32	c Core size: 10	Core Weight: 1	Total Weight: 46
0.30/0.32	c Elapsed CPU time: 0.32795 s	Remaining CPU time: 1799.67 s
0.30/0.33	c core #47
0.30/0.33	c Core size: 2	Core Weight: 1	Total Weight: 47
0.30/0.33	c Elapsed CPU time: 0.333949 s	Remaining CPU time: 1799.67 s
0.30/0.34	c core #48
0.30/0.34	c Core size: 10	Core Weight: 1	Total Weight: 48
0.30/0.34	c Elapsed CPU time: 0.340948 s	Remaining CPU time: 1799.66 s
0.30/0.34	c core #49
0.30/0.34	c Core size: 7	Core Weight: 1	Total Weight: 49
0.30/0.34	c Elapsed CPU time: 0.346947 s	Remaining CPU time: 1799.65 s
0.30/0.35	c core #50
0.30/0.35	c Core size: 3	Core Weight: 1	Total Weight: 50
0.30/0.35	c Elapsed CPU time: 0.353946 s	Remaining CPU time: 1799.65 s
0.30/0.36	c core #51
0.30/0.36	c Core size: 13	Core Weight: 1	Total Weight: 51
0.30/0.36	c Elapsed CPU time: 0.359945 s	Remaining CPU time: 1799.64 s
0.30/0.36	c core #52
0.30/0.36	c Core size: 43	Core Weight: 1	Total Weight: 52
0.30/0.36	c Elapsed CPU time: 0.366944 s	Remaining CPU time: 1799.63 s
0.30/0.37	c core #53
0.30/0.37	c Core size: 4	Core Weight: 1	Total Weight: 53
0.30/0.37	c Elapsed CPU time: 0.372943 s	Remaining CPU time: 1799.63 s
0.30/0.38	c core #54
0.30/0.38	c Core size: 2	Core Weight: 1	Total Weight: 54
0.30/0.38	c Elapsed CPU time: 0.379942 s	Remaining CPU time: 1799.62 s
0.30/0.38	c core #55
0.30/0.38	c Core size: 3	Core Weight: 1	Total Weight: 55
0.30/0.38	c Elapsed CPU time: 0.386941 s	Remaining CPU time: 1799.61 s
0.30/0.39	c core #56
0.30/0.39	c Core size: 2	Core Weight: 1	Total Weight: 56
0.30/0.39	c Elapsed CPU time: 0.39294 s	Remaining CPU time: 1799.61 s
0.30/0.40	c core #57
0.30/0.40	c Core size: 5	Core Weight: 1	Total Weight: 57
0.30/0.40	c Elapsed CPU time: 0.399939 s	Remaining CPU time: 1799.6 s
0.40/0.40	c core #58
0.40/0.40	c Core size: 2	Core Weight: 1	Total Weight: 58
0.40/0.40	c Elapsed CPU time: 0.406938 s	Remaining CPU time: 1799.59 s
0.40/0.41	c core #59
0.40/0.41	c Core size: 5	Core Weight: 1	Total Weight: 59
0.40/0.41	c Elapsed CPU time: 0.412937 s	Remaining CPU time: 1799.59 s
0.40/0.42	c core #60
0.40/0.42	c Core size: 3	Core Weight: 1	Total Weight: 60
0.40/0.42	c Elapsed CPU time: 0.419936 s	Remaining CPU time: 1799.58 s
0.40/0.42	c core #61
0.40/0.42	c Core size: 4	Core Weight: 1	Total Weight: 61
0.40/0.42	c Elapsed CPU time: 0.426935 s	Remaining CPU time: 1799.57 s
0.40/0.43	c core #62
0.40/0.43	c Core size: 2	Core Weight: 1	Total Weight: 62
0.40/0.43	c Elapsed CPU time: 0.432934 s	Remaining CPU time: 1799.57 s
0.40/0.44	c core #63
0.40/0.44	c Core size: 3	Core Weight: 1	Total Weight: 63
0.40/0.44	c Elapsed CPU time: 0.439933 s	Remaining CPU time: 1799.56 s
0.40/0.44	c core #64
0.40/0.44	c Core size: 33	Core Weight: 1	Total Weight: 64
0.40/0.44	c Elapsed CPU time: 0.446932 s	Remaining CPU time: 1799.55 s
0.40/0.45	c core #65
0.40/0.45	c Core size: 2	Core Weight: 1	Total Weight: 65
0.40/0.45	c Elapsed CPU time: 0.45393 s	Remaining CPU time: 1799.55 s
0.40/0.46	c core #66
0.40/0.46	c Core size: 2	Core Weight: 1	Total Weight: 66
0.40/0.46	c Elapsed CPU time: 0.45993 s	Remaining CPU time: 1799.54 s
0.40/0.46	c core #67
0.40/0.46	c Core size: 2	Core Weight: 1	Total Weight: 67
0.40/0.46	c Elapsed CPU time: 0.466929 s	Remaining CPU time: 1799.53 s
0.40/0.47	c core #68
0.40/0.47	c Core size: 3	Core Weight: 1	Total Weight: 68
0.40/0.47	c Elapsed CPU time: 0.473927 s	Remaining CPU time: 1799.53 s
0.40/0.48	c core #69
0.40/0.48	c Core size: 2	Core Weight: 1	Total Weight: 69
0.40/0.48	c Elapsed CPU time: 0.480926 s	Remaining CPU time: 1799.52 s
0.40/0.48	c core #70
0.40/0.48	c Core size: 2	Core Weight: 1	Total Weight: 70
0.40/0.48	c Elapsed CPU time: 0.487925 s	Remaining CPU time: 1799.51 s
0.40/0.49	c core #71
0.40/0.49	c Core size: 8	Core Weight: 1	Total Weight: 71
0.40/0.49	c Elapsed CPU time: 0.493924 s	Remaining CPU time: 1799.51 s
0.50/0.50	c core #72
0.50/0.50	c Core size: 10	Core Weight: 1	Total Weight: 72
0.50/0.50	c Elapsed CPU time: 0.500923 s	Remaining CPU time: 1799.5 s
0.50/0.50	c core #73
0.50/0.50	c Core size: 35	Core Weight: 1	Total Weight: 73
0.50/0.50	c Elapsed CPU time: 0.507922 s	Remaining CPU time: 1799.49 s
0.50/0.51	c core #74
0.50/0.51	c Core size: 22	Core Weight: 1	Total Weight: 74
0.50/0.51	c Elapsed CPU time: 0.514921 s	Remaining CPU time: 1799.49 s
0.50/0.52	c core #75
0.50/0.52	c Core size: 20	Core Weight: 1	Total Weight: 75
0.50/0.52	c Elapsed CPU time: 0.52192 s	Remaining CPU time: 1799.48 s
0.50/0.53	c core #76
0.50/0.53	c Core size: 22	Core Weight: 1	Total Weight: 76
0.50/0.53	c Elapsed CPU time: 0.528919 s	Remaining CPU time: 1799.47 s
0.50/0.53	c core #77
0.50/0.53	c Core size: 44	Core Weight: 1	Total Weight: 77
0.50/0.53	c Elapsed CPU time: 0.535918 s	Remaining CPU time: 1799.46 s
0.50/0.54	c core #78
0.50/0.54	c Core size: 28	Core Weight: 1	Total Weight: 78
0.50/0.54	c Elapsed CPU time: 0.542917 s	Remaining CPU time: 1799.46 s
0.50/0.55	c core #79
0.50/0.55	c Core size: 25	Core Weight: 1	Total Weight: 79
0.50/0.55	c Elapsed CPU time: 0.549916 s	Remaining CPU time: 1799.45 s
0.50/0.55	c core #80
0.50/0.55	c Core size: 29	Core Weight: 1	Total Weight: 80
0.50/0.55	c Elapsed CPU time: 0.557915 s	Remaining CPU time: 1799.44 s
0.50/0.56	c core #81
0.50/0.56	c Core size: 18	Core Weight: 1	Total Weight: 81
0.50/0.56	c Elapsed CPU time: 0.564914 s	Remaining CPU time: 1799.44 s
0.50/0.57	c core #82
0.50/0.57	c Core size: 20	Core Weight: 1	Total Weight: 82
0.50/0.57	c Elapsed CPU time: 0.571913 s	Remaining CPU time: 1799.43 s
0.50/0.58	c core #83
0.50/0.58	c Core size: 31	Core Weight: 1	Total Weight: 83
0.50/0.58	c Elapsed CPU time: 0.578911 s	Remaining CPU time: 1799.42 s
0.50/0.58	c core #84
0.50/0.58	c Core size: 8	Core Weight: 1	Total Weight: 84
0.50/0.58	c Elapsed CPU time: 0.58691 s	Remaining CPU time: 1799.41 s
0.50/0.59	c core #85
0.50/0.59	c Core size: 12	Core Weight: 1	Total Weight: 85
0.50/0.59	c Elapsed CPU time: 0.593909 s	Remaining CPU time: 1799.41 s
0.60/0.60	c core #86
0.60/0.60	c Core size: 43	Core Weight: 1	Total Weight: 86
0.60/0.60	c Elapsed CPU time: 0.601908 s	Remaining CPU time: 1799.4 s
0.60/0.61	c ============================[ Search Statistics ]==============================
0.60/0.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.60/0.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.60/0.61	c ===============================================================================
0.60/0.61	c |         0 |    1659     4469    26726 |     5000        0    nan |  0.000 % |
0.60/0.61	c ===============================================================================
0.60/0.61	c core #87
0.60/0.61	c Core size: 53	Core Weight: 1	Total Weight: 87
0.60/0.61	c Elapsed CPU time: 0.609907 s	Remaining CPU time: 1799.39 s
0.60/0.61	c ============================[ Search Statistics ]==============================
0.60/0.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.60/0.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.60/0.61	c ===============================================================================
0.60/0.61	c |         0 |    1718     4470    27479 |     5000        0    nan |  0.000 % |
0.60/0.61	c ===============================================================================
0.60/0.62	c core #88
0.60/0.62	c Core size: 120	Core Weight: 1	Total Weight: 88
0.60/0.62	c Elapsed CPU time: 0.618905 s	Remaining CPU time: 1799.38 s
0.60/0.62	c ============================[ Search Statistics ]==============================
0.60/0.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.60/0.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.60/0.62	c ===============================================================================
0.60/0.62	c |         0 |    1892     4471    29500 |     5000        0    nan |  0.000 % |
0.60/0.63	c ===============================================================================
0.60/0.63	c core #89
0.60/0.63	c Core size: 87	Core Weight: 1	Total Weight: 89
0.60/0.63	c Elapsed CPU time: 0.631903 s	Remaining CPU time: 1799.37 s
0.60/0.64	c ============================[ Search Statistics ]==============================
0.60/0.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.60/0.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.60/0.64	c ===============================================================================
0.60/0.64	c |         0 |    1998     4472    30959 |     5000        0    nan |  0.000 % |
0.60/0.65	c |       104 |    1998     4472    30959 |     5500      104     32 | 21.923 % |
0.60/0.66	c ===============================================================================
0.60/0.66	c core #90
0.60/0.66	c Core size: 181	Core Weight: 1	Total Weight: 90
0.60/0.66	c Elapsed CPU time: 0.661899 s	Remaining CPU time: 1799.34 s
0.60/0.67	c ============================[ Search Statistics ]==============================
0.60/0.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.60/0.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.60/0.67	c ===============================================================================
0.60/0.67	c |         0 |    2184     4473    32215 |     5000        0    nan |  0.000 % |
0.60/0.68	c |       100 |    2184     4473    32215 |     5500      100     47 | 19.350 % |
0.60/0.70	c |       251 |    2184     4473    32215 |     6050      251     53 | 19.424 % |
0.69/0.72	c |       477 |    2184     4473    32215 |     6655      477     55 | 19.424 % |
0.69/0.75	c ===============================================================================
0.69/0.75	c core #91
0.69/0.75	c Core size: 26	Core Weight: 1	Total Weight: 91
0.69/0.75	c Elapsed CPU time: 0.749886 s	Remaining CPU time: 1799.25 s
0.69/0.76	c Learning 2 hard constraints
0.69/0.76	c ============================[ Search Statistics ]==============================
0.69/0.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.69/0.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.69/0.76	c ===============================================================================
0.69/0.76	c |         0 |    2204     4476    32276 |     5000        0    nan |  0.000 % |
0.69/0.77	c |       100 |    2204     4476    32276 |     5500      100     55 | 19.208 % |
0.69/0.79	c |       252 |    2204     4476    32276 |     6050      252     64 | 19.208 % |
0.79/0.81	c |       477 |    2204     4476    32276 |     6655      477     64 | 19.208 % |
0.79/0.85	c |       815 |    2204     4476    32276 |     7320      815     59 | 19.208 % |
0.89/0.93	c |      1321 |    2204     4476    32276 |     8052     1321     68 | 19.208 % |
0.99/1.04	c |      2081 |    2204     4476    32276 |     8857     2081     69 | 19.208 % |
1.19/1.20	c ===============================================================================
1.19/1.22	c core #92
1.19/1.22	c Core size: 252	Core Weight: 1	Total Weight: 92
1.19/1.22	c Elapsed CPU time: 1.21182 s	Remaining CPU time: 1798.79 s
1.19/1.23	c ============================[ Search Statistics ]==============================
1.19/1.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.19/1.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.19/1.23	c ===============================================================================
1.19/1.23	c |         0 |    2435     4477    33632 |     5000        0    nan |  0.000 % |
1.19/1.23	c ===============================================================================
1.19/1.23	c core #93
1.19/1.23	c Core size: 58	Core Weight: 1	Total Weight: 93
1.19/1.23	c Elapsed CPU time: 1.22381 s	Remaining CPU time: 1798.78 s
1.19/1.24	c ============================[ Search Statistics ]==============================
1.19/1.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.19/1.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.19/1.24	c ===============================================================================
1.19/1.24	c |         0 |    2493     4478    33788 |     5000        0    nan |  0.000 % |
1.19/1.25	c ===============================================================================
1.19/1.25	c core #94
1.19/1.25	c Core size: 33	Core Weight: 1	Total Weight: 94
1.19/1.25	c Elapsed CPU time: 1.23581 s	Remaining CPU time: 1798.76 s
1.19/1.26	c Learning 1 hard constraints
1.19/1.26	c ============================[ Search Statistics ]==============================
1.19/1.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.19/1.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.19/1.26	c ===============================================================================
1.19/1.26	c |         0 |    2526     4480    34193 |     5000        0    nan |  0.000 % |
1.19/1.27	c |       100 |    2517     4480    34193 |     5500      100     62 | 16.451 % |
1.19/1.28	c |       251 |    2517     4480    34193 |     6050      251     45 | 16.451 % |
1.29/1.32	c |       477 |    2514     4480    34193 |     6655      476     55 | 16.451 % |
1.29/1.36	c |       814 |    2514     4480    34193 |     7320      813     77 | 16.451 % |
1.39/1.44	c |      1323 |    2514     4480    34193 |     8052     1322     88 | 16.451 % |
1.49/1.56	c |      2082 |    2514     4480    34193 |     8857     2081     98 | 16.451 % |
1.69/1.76	c |      3226 |    2514     4480    34193 |     9743     3225    104 | 16.451 % |
2.09/2.15	c |      4934 |    2514     4480    34193 |    10717     4933    114 | 16.451 % |
2.30/2.31	c ===============================================================================
2.30/2.31	c core #95
2.30/2.31	c Core size: 22	Core Weight: 1	Total Weight: 95
2.30/2.31	c Elapsed CPU time: 2.27665 s	Remaining CPU time: 1797.72 s
2.30/2.33	c Learning 6 hard constraints
2.30/2.33	c ============================[ Search Statistics ]==============================
2.30/2.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.30/2.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.30/2.33	c ===============================================================================
2.30/2.33	c |         0 |    2558     4487    34494 |     5000        0    nan |  0.000 % |
2.30/2.33	c ===============================================================================
2.30/2.33	c core #96
2.30/2.33	c Core size: 83	Core Weight: 1	Total Weight: 96
2.30/2.33	c Elapsed CPU time: 2.29665 s	Remaining CPU time: 1797.7 s
2.30/2.34	c ============================[ Search Statistics ]==============================
2.30/2.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.30/2.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.30/2.34	c ===============================================================================
2.30/2.34	c |         0 |    2705     4488    37225 |     5000        0    nan |  0.000 % |
2.30/2.35	c |       101 |    2704     4488    37225 |     5500      101     12 | 13.803 % |
2.30/2.36	c |       251 |    2699     4488    37225 |     6050      251     12 | 14.028 % |
2.30/2.36	c ===============================================================================
2.30/2.36	c core #97
2.30/2.36	c Core size: 89	Core Weight: 1	Total Weight: 97
2.30/2.36	c Elapsed CPU time: 2.31965 s	Remaining CPU time: 1797.68 s
2.30/2.37	c Learning 2 hard constraints
2.30/2.37	c ============================[ Search Statistics ]==============================
2.30/2.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.30/2.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.30/2.37	c ===============================================================================
2.30/2.37	c |         0 |    2774     4491    37400 |     5000        0    nan |  0.000 % |
2.30/2.38	c |       100 |    2773     4491    37400 |     5500      100     27 | 12.661 % |
2.30/2.39	c |       251 |    2773     4491    37400 |     6050      251     26 | 12.661 % |
2.39/2.40	c |       476 |    2772     4491    37400 |     6655      476     21 | 12.693 % |
2.39/2.42	c |       813 |    2772     4491    37400 |     7320      813     27 | 12.693 % |
2.39/2.45	c ===============================================================================
2.39/2.45	c core #98
2.39/2.45	c Core size: 279	Core Weight: 1	Total Weight: 98
2.39/2.45	c Elapsed CPU time: 2.40863 s	Remaining CPU time: 1797.59 s
2.39/2.46	c Learning 1 hard constraints
2.39/2.46	c ============================[ Search Statistics ]==============================
2.39/2.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.39/2.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.39/2.46	c ===============================================================================
2.39/2.46	c |         0 |    3006     4493    38192 |     5000        0    nan |  0.000 % |
2.39/2.47	c |       102 |    3006     4493    38192 |     5500      102     62 | 11.196 % |
2.39/2.47	c ===============================================================================
2.39/2.47	c core #99
2.39/2.47	c Core size: 34	Core Weight: 1	Total Weight: 99
2.39/2.47	c Elapsed CPU time: 2.43063 s	Remaining CPU time: 1797.57 s
2.39/2.48	c ============================[ Search Statistics ]==============================
2.39/2.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.39/2.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.39/2.48	c ===============================================================================
2.39/2.48	c |         0 |    3050     4494    38439 |     5000        0    nan |  0.000 % |
2.39/2.49	c |       100 |    3050     4494    38439 |     5500      100     65 | 10.662 % |
2.49/2.50	c |       250 |    3049     4494    38439 |     6050      250     42 | 10.691 % |
2.49/2.52	c |       475 |    3049     4494    38439 |     6655      475     32 | 10.691 % |
2.49/2.52	c ===============================================================================
2.49/2.53	c core #100
2.49/2.53	c Core size: 279	Core Weight: 1	Total Weight: 100
2.49/2.53	c Elapsed CPU time: 2.47862 s	Remaining CPU time: 1797.52 s
2.49/2.54	c Learning 9 hard constraints
2.49/2.54	c ============================[ Search Statistics ]==============================
2.49/2.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.49/2.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.49/2.54	c ===============================================================================
2.49/2.54	c |         0 |    3294     4504    40837 |     5000        0    nan |  0.000 % |
2.49/2.55	c |       104 |    3294     4504    40837 |     5500      104     29 |  8.652 % |
2.49/2.55	c ===============================================================================
2.49/2.55	c core #101
2.49/2.55	c Core size: 134	Core Weight: 1	Total Weight: 101
2.49/2.55	c Elapsed CPU time: 2.49762 s	Remaining CPU time: 1797.5 s
2.49/2.56	c ============================[ Search Statistics ]==============================
2.49/2.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.49/2.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.49/2.56	c ===============================================================================
2.49/2.56	c |         0 |    3451     4505    42134 |     5000        0    nan |  0.000 % |
2.49/2.57	c |       100 |    3451     4505    42134 |     5500      100     22 |  7.106 % |
2.49/2.57	c |       250 |    3451     4505    42134 |     6050      250     32 |  7.106 % |
2.49/2.59	c |       477 |    3451     4505    42134 |     6655      477     38 |  7.106 % |
2.59/2.63	c |       814 |    3451     4505    42134 |     7320      814     40 |  7.106 % |
2.59/2.67	c ===============================================================================
2.59/2.67	c core #102
2.59/2.67	c Core size: 408	Core Weight: 1	Total Weight: 102
2.59/2.67	c Elapsed CPU time: 2.6126 s	Remaining CPU time: 1797.39 s
2.59/2.68	c Learning 8 hard constraints
2.59/2.68	c ============================[ Search Statistics ]==============================
2.59/2.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.59/2.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.59/2.68	c ===============================================================================
2.59/2.68	c |         0 |    3760     4514    43320 |     5000        0    nan |  0.000 % |
2.59/2.69	c |       100 |    3760     4514    43320 |     5500      100     25 |  6.000 % |
2.69/2.71	c |       251 |    3760     4514    43320 |     6050      251     29 |  6.000 % |
2.69/2.73	c |       477 |    3760     4514    43320 |     6655      477     29 |  6.000 % |
2.69/2.77	c |       816 |    3760     4514    43320 |     7320      816     35 |  6.000 % |
2.79/2.83	c |      1322 |    3760     4514    43320 |     8052     1322     44 |  6.000 % |
2.89/2.93	c |      2085 |    3760     4514    43320 |     8857     2085     50 |  6.000 % |
3.09/3.13	c |      3224 |    3760     4514    43320 |     9743     3224     57 |  6.000 % |
3.39/3.47	c |      4935 |    3760     4514    43320 |    10717     4935     67 |  6.000 % |
3.89/3.97	c |      7499 |    3748     4514    43320 |    11789     7497     71 |  6.300 % |
4.99/5.08	c |     11343 |    3748     4514    43320 |    12968    11341     90 |  6.300 % |
6.99/7.01	c |     17109 |    3748     4514    43320 |    14265    10392    138 |  6.300 % |
10.79/10.83	c |     25759 |    3746     4514    43320 |    15692    11714    135 |  6.450 % |
16.09/16.15	c |     38733 |    3746     4514    43320 |    17261     8565    140 |  6.450 % |
23.38/23.46	c ===============================================================================
24.09/24.12	c core #103
24.09/24.12	c Core size: 425	Core Weight: 1	Total Weight: 103
24.09/24.12	c Elapsed CPU time: 23.7504 s	Remaining CPU time: 1776.25 s
24.09/24.20	c Learning 11 hard constraints
24.09/24.20	c ============================[ Search Statistics ]==============================
24.09/24.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
24.09/24.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
24.09/24.20	c ===============================================================================
24.09/24.20	c |         0 |    4040     4526    44001 |     5000        0    nan |  0.000 % |
24.19/24.22	c |       102 |    4040     4526    44001 |     5500      102     34 |  5.453 % |
24.19/24.23	c |       252 |    4040     4526    44001 |     6050      252     41 |  5.453 % |
24.19/24.26	c |       478 |    4040     4526    44001 |     6655      478     47 |  5.453 % |
24.19/24.29	c |       821 |    4040     4526    44001 |     7320      821     51 |  5.453 % |
24.29/24.33	c |      1332 |    4040     4526    44001 |     8052     1332     51 |  5.453 % |
24.38/24.46	c |      2091 |    4038     4526    44001 |     8857     2083     73 |  5.500 % |
24.49/24.57	c |      3231 |    4038     4526    44001 |     9743     3223     69 |  5.500 % |
24.78/24.81	c |      4939 |    4030     4526    44001 |    10717     4930     76 |  5.687 % |
25.29/25.34	c |      7504 |    4025     4526    44001 |    11789     7495     90 |  5.804 % |
26.58/26.69	c |     11349 |    4025     4526    44001 |    12968    11266    129 |  5.804 % |
29.48/29.52	c |     17118 |    4025     4526    44001 |    14265    10136    205 |  5.804 % |
33.58/33.65	c |     25767 |    4025     4526    44001 |    15692    11354    212 |  5.804 % |
39.58/39.66	c |     38742 |    3997     4526    44001 |    17261    16114    223 |  6.834 % |
50.58/50.67	c |     58205 |    3976     4526    44001 |    18987    17737    259 |  6.951 % |
69.07/69.19	c |     87398 |    3976     4526    44001 |    20886    17229    237 |  6.951 % |
100.06/100.13	c |    131188 |    3976     4526    44001 |    22974    17869    272 |  6.951 % |
166.83/166.92	c |    196872 |    3974     4526    44001 |    25272    14533    258 |  6.997 % |
178.82/178.94	c ===============================================================================
182.42/182.57	c core #104
182.42/182.57	c Core size: 908	Core Weight: 1	Total Weight: 104
182.42/182.57	c Elapsed CPU time: 180.856 s	Remaining CPU time: 1619.14 s
182.71/182.82	c Learning 5 hard constraints
182.71/182.82	c ============================[ Search Statistics ]==============================
182.71/182.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.71/182.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.71/182.82	c ===============================================================================
182.71/182.82	c |         0 |    4700     4532    46932 |     5000        0    nan |  0.000 % |
182.71/182.88	c |       102 |    4700     4532    46932 |     5500      102     40 |  3.332 % |
182.71/182.89	c |       259 |    4700     4532    46932 |     6050      259     52 |  3.332 % |
182.82/182.92	c |       485 |    4700     4532    46932 |     6655      485     55 |  3.332 % |
182.82/182.96	c |       822 |    4700     4532    46932 |     7320      822     54 |  3.332 % |
182.92/183.08	c |      1330 |    4700     4532    46932 |     8052     1330     75 |  3.332 % |
183.22/183.32	c |      2092 |    4700     4532    46932 |     8857     2092     82 |  3.332 % |
183.62/183.74	c |      3231 |    4700     4532    46932 |     9743     3231     83 |  3.332 % |
184.12/184.29	c |      4945 |    4700     4532    46932 |    10717     4945     83 |  3.332 % |
185.01/185.18	c ===============================================================================
185.11/185.27	c core #105
185.11/185.27	c Core size: 235	Core Weight: 1	Total Weight: 105
185.11/185.27	c Elapsed CPU time: 183.52 s	Remaining CPU time: 1616.48 s
185.11/185.29	c ============================[ Search Statistics ]==============================
185.11/185.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.11/185.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.11/185.29	c ===============================================================================
185.11/185.29	c |         0 |    4892     4533    47316 |     5000        0    nan |  0.000 % |
185.21/185.32	c |       104 |    4892     4533    47316 |     5500      104     88 |  3.205 % |
185.21/185.34	c |       254 |    4892     4533    47316 |     6050      254     75 |  3.205 % |
185.21/185.37	c |       481 |    4892     4533    47316 |     6655      481     80 |  3.205 % |
185.32/185.42	c |       822 |    4892     4533    47316 |     7320      822     90 |  3.205 % |
185.42/185.50	c |      1329 |    4892     4533    47316 |     8052     1329     90 |  3.205 % |
185.52/185.67	c |      2091 |    4892     4533    47316 |     8857     2091    102 |  3.205 % |
185.92/186.01	c |      3230 |    4892     4533    47316 |     9743     3230    139 |  3.205 % |
186.32/186.46	c |      4938 |    4892     4533    47316 |    10717     4938    158 |  3.205 % |
187.32/187.47	c |      7501 |    4890     4533    47316 |    11789     7500    167 |  3.245 % |
188.92/189.01	c |     11345 |    4890     4533    47316 |    12968    11344    168 |  3.245 % |
191.32/191.44	c |     17111 |    4890     4533    47316 |    14265    10404    175 |  3.245 % |
195.31/195.45	c |     25763 |    4878     4533    47316 |    15692    11700    196 |  3.482 % |
200.91/201.04	c |     38737 |    4877     4533    47316 |    17261     8561    160 |  3.562 % |
209.51/209.69	c |     58198 |    4877     4533    47316 |    18987    10382    154 |  3.562 % |
224.70/224.88	c |     87390 |    4874     4533    47316 |    20886    10444    216 |  3.562 % |
237.10/237.25	c ===============================================================================
238.80/238.91	c core #106
238.80/238.91	c Core size: 273	Core Weight: 1	Total Weight: 106
238.80/238.91	c Elapsed CPU time: 236.632 s	Remaining CPU time: 1563.37 s
238.90/239.06	c ============================[ Search Statistics ]==============================
238.90/239.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
238.90/239.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
238.90/239.06	c ===============================================================================
238.90/239.06	c |         0 |    5107     4534    47746 |     5000        0    nan |  0.000 % |
238.99/239.12	c |       101 |    5107     4534    47746 |     5500      101     89 |  3.075 % |
238.99/239.14	c |       251 |    5107     4534    47746 |     6050      251     74 |  3.075 % |
238.99/239.17	c |       476 |    5107     4534    47746 |     6655      476     76 |  3.075 % |
239.10/239.23	c |       814 |    5107     4534    47746 |     7320      814     85 |  3.075 % |
239.19/239.32	c |      1320 |    5107     4534    47746 |     8052     1320     90 |  3.075 % |
239.29/239.47	c |      2079 |    5095     4534    47746 |     8857     2078    111 |  3.302 % |
239.60/239.72	c |      3218 |    5095     4534    47746 |     9743     3217    120 |  3.302 % |
240.00/240.13	c |      4926 |    5095     4534    47746 |    10717     4925    135 |  3.302 % |
241.10/241.22	c |      7490 |    5095     4534    47746 |    11789     7489    169 |  3.302 % |
243.40/243.56	c |     11337 |    5095     4534    47746 |    12968    11336    194 |  3.302 % |
246.49/246.61	c |     17104 |    5095     4534    47746 |    14265    10463    221 |  3.302 % |
252.98/253.12	c |     25763 |    5095     4534    47746 |    15692    11774    278 |  3.302 % |
262.19/262.38	c |     38737 |    5091     4534    47746 |    17261     8835    316 |  3.378 % |
274.98/275.13	c |     58198 |    5091     4534    47746 |    18987    10666    312 |  3.416 % |
292.87/293.02	c |     87390 |    5089     4534    47746 |    20886    20216    157 |  3.416 % |
308.76/308.96	c |    131179 |    5089     4534    47746 |    22974    20490    188 |  3.416 % |
362.64/362.87	c |    196863 |    5089     4534    47746 |    25272    15302    321 |  3.416 % |
456.60/456.84	c |    295392 |    5087     4534    47746 |    27799    21147    241 |  3.473 % |
592.03/592.31	c |    443184 |    5085     4534    47746 |    30579    20626    360 |  3.492 % |
760.96/761.35	c |    664869 |    5085     4534    47746 |    33637    31450    177 |  3.492 % |
1049.60/1050.13	c |    997395 |    5084     4534    47746 |    37001    14974    287 |  3.511 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1875724-1245149405/watcher-1875724-1245149405 -o /tmp/evaluation-result-1875724-1245149405/solver-1875724-1245149405 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875724-1245149405.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.96 3/64 3620
/proc/meminfo: memFree=1857832/2055920 swapFree=4191900/4192956
[pid=3620] ppid=3618 vsize=3028 CPUtime=0
/proc/3620/stat : 3620 (wbo) R 3618 3620 3460 0 -1 4194304 244 0 0 0 0 0 0 0 18 0 1 0 182541588 3100672 228 1992294400 134512640 135709839 4294956240 18446744073709551615 134547984 0 0 4096 3 0 0 0 17 0 0 0
/proc/3620/statm: 757 229 128 292 0 373 0

[startup+0.0997611 s]
/proc/loadavg: 0.99 0.97 0.96 3/64 3620
/proc/meminfo: memFree=1857832/2055920 swapFree=4191900/4192956
[pid=3620] ppid=3618 vsize=3496 CPUtime=0.09
/proc/3620/stat : 3620 (wbo) R 3618 3620 3460 0 -1 4194304 546 0 0 0 9 0 0 0 18 0 1 0 182541588 3579904 441 1992294400 134512640 135709839 4294956240 18446744073709551615 134530507 0 0 4096 3 0 0 0 17 0 0 0
/proc/3620/statm: 874 441 133 292 0 579 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3496

[startup+0.101761 s]
/proc/loadavg: 0.99 0.97 0.96 3/64 3620
/proc/meminfo: memFree=1857832/2055920 swapFree=4191900/4192956
[pid=3620] ppid=3618 vsize=3496 CPUtime=0.1
/proc/3620/stat : 3620 (wbo) R 3618 3620 3460 0 -1 4194304 547 0 0 0 10 0 0 0 18 0 1 0 182541588 3579904 442 1992294400 134512640 135709839 4294956240 18446744073709551615 134605606 0 0 4096 3 0 0 0 17 0 0 0
/proc/3620/statm: 874 442 133 292 0 579 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3496

[startup+0.301785 s]
/proc/loadavg: 0.99 0.97 0.96 3/64 3620
/proc/meminfo: memFree=1857832/2055920 swapFree=4191900/4192956
[pid=3620] ppid=3618 vsize=3848 CPUtime=0.3
/proc/3620/stat : 3620 (wbo) R 3618 3620 3460 0 -1 4194304 661 0 0 0 30 0 0 0 19 0 1 0 182541588 3940352 520 1992294400 134512640 135709839 4294956240 18446744073709551615 134530521 0 0 4096 3 0 0 0 17 0 0 0
/proc/3620/statm: 962 520 133 292 0 667 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 3848

[startup+0.701832 s]
/proc/loadavg: 0.99 0.97 0.96 3/64 3620
/proc/meminfo: memFree=1857832/2055920 swapFree=4191900/4192956
[pid=3620] ppid=3618 vsize=4540 CPUtime=0.69
/proc/3620/stat : 3620 (wbo) R 3618 3620 3460 0 -1 4194304 813 0 0 0 69 0 0 0 23 0 1 0 182541588 4648960 670 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3620/statm: 1135 670 136 292 0 840 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4540

[startup+1.50193 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3621
/proc/meminfo: memFree=1855328/2055920 swapFree=4191900/4192956
[pid=3620] ppid=3618 vsize=6272 CPUtime=1.49
/proc/3620/stat : 3620 (wbo) R 3618 3620 3460 0 -1 4194304 1272 0 0 0 147 2 0 0 18 0 1 0 182541588 6422528 1129 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3620/statm: 1568 1129 136 292 0 1273 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6272

[startup+3.10112 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3621
/proc/meminfo: memFree=1851936/2055920 swapFree=4191900/4192956
[pid=3620] ppid=3618 vsize=9408 CPUtime=3.09
/proc/3620/stat : 3620 (wbo) R 3618 3620 3460 0 -1 4194304 2027 0 0 0 302 7 0 0 25 0 1 0 182541588 9633792 1884 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3620/statm: 2352 1884 136 292 0 2057 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9408

[startup+6.30149 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3621
/proc/meminfo: memFree=1846880/2055920 swapFree=4191900/4192956
[pid=3620] ppid=3618 vsize=15396 CPUtime=6.28
/proc/3620/stat : 3620 (wbo) R 3618 3620 3460 0 -1 4194304 3548 0 0 0 615 13 0 0 25 0 1 0 182541588 15765504 3405 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3620/statm: 3849 3405 136 292 0 3554 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 15396

[startup+12.7013 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3621
/proc/meminfo: memFree=1832424/2055920 swapFree=4191900/4192956
[pid=3620] ppid=3618 vsize=28604 CPUtime=12.69
/proc/3620/stat : 3620 (wbo) R 3618 3620 3460 0 -1 4194304 6855 0 0 0 1247 22 0 0 25 0 1 0 182541588 29290496 6712 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3620/statm: 7151 6712 136 292 0 6856 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28604

[startup+25.5018 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3621
/proc/meminfo: memFree=1805928/2055920 swapFree=4191900/4192956
[pid=3620] ppid=3618 vsize=53920 CPUtime=25.48
/proc/3620/stat : 3620 (wbo) R 3618 3620 3460 0 -1 4194304 13178 0 0 0 2508 40 0 0 25 0 1 0 182541588 55214080 13035 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3620/statm: 13480 13035 136 292 0 13185 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 53920

[startup+51.1028 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3621
/proc/meminfo: memFree=1762472/2055920 swapFree=4191900/4192956
[pid=3620] ppid=3618 vsize=98432 CPUtime=51.07
/proc/3620/stat : 3620 (wbo) R 3618 3620 3460 0 -1 4194304 24299 0 0 0 5039 68 0 0 25 0 1 0 182541588 100794368 24156 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 0 0 0
/proc/3620/statm: 24608 24156 136 292 0 24313 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 98432

[startup+102.307 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3621
/proc/meminfo: memFree=1658408/2055920 swapFree=4191900/4192956
[pid=3620] ppid=3618 vsize=201332 CPUtime=102.26
/proc/3620/stat : 3620 (wbo) R 3618 3620 3460 0 -1 4194304 49993 0 0 0 10113 113 0 0 25 0 1 0 182541588 206163968 49850 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 0 0 0
/proc/3620/statm: 50333 49850 136 292 0 50038 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 201332

[startup+162.303 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3623
/proc/meminfo: memFree=1563816/2055920 swapFree=4191900/4192956
[pid=3620] ppid=3618 vsize=297028 CPUtime=162.22
/proc/3620/stat : 3620 (wbo) R 3618 3620 3460 0 -1 4194304 73908 0 0 0 16070 152 0 0 25 0 1 0 182541588 304156672 73765 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 0 0 0
/proc/3620/statm: 74257 73765 136 292 0 73962 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 297028

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3623
/proc/meminfo: memFree=1531112/2055920 swapFree=4191900/4192956
[pid=3620] ppid=3618 vsize=327900 CPUtime=222.2
/proc/3620/stat : 3620 (wbo) R 3618 3620 3460 0 -1 4194304 81770 0 0 0 22015 205 0 0 25 0 1 0 182541588 335769600 81546 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 0 0 0
/proc/3620/statm: 81975 81546 136 292 0 81680 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 327900

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3623
/proc/meminfo: memFree=1450792/2055920 swapFree=4191900/4192956
[pid=3620] ppid=3618 vsize=409376 CPUtime=282.18
/proc/3620/stat : 3620 (wbo) R 3618 3620 3460 0 -1 4194304 102120 0 0 0 27960 258 0 0 25 0 1 0 182541588 419201024 101896 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 0 0 0
/proc/3620/statm: 102344 101896 136 292 0 102049 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 409376

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3623
/proc/meminfo: memFree=1332968/2055920 swapFree=4191900/4192956
[pid=3620] ppid=3618 vsize=526460 CPUtime=342.15
/proc/3620/stat : 3620 (wbo) R 3618 3620 3460 0 -1 4194304 131363 0 0 0 33897 318 0 0 25 0 1 0 182541588 539095040 131139 1992294400 134512640 135709839 4294956240 18446744073709551615 134573873 0 0 4096 3 0 0 0 17 0 0 0
/proc/3620/statm: 131615 131139 136 292 0 131320 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 526460

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3623
/proc/meminfo: memFree=1232232/2055920 swapFree=4191900/4192956
[pid=3620] ppid=3618 vsize=627472 CPUtime=402.13
/proc/3620/stat : 3620 (wbo) R 3618 3620 3460 0 -1 4194304 156605 0 0 0 39857 356 0 0 25 0 1 0 182541588 642531328 156381 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/3620/statm: 156868 156381 136 292 0 156573 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 627472

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3623
/proc/meminfo: memFree=1111848/2055920 swapFree=4191900/4192956
[pid=3620] ppid=3618 vsize=747292 CPUtime=462.09
/proc/3620/stat : 3620 (wbo) R 3618 3620 3460 0 -1 4194304 186557 0 0 0 45792 417 0 0 25 0 1 0 182541588 765227008 186333 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3620/statm: 186823 186333 136 292 0 186528 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 747292

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3623
/proc/meminfo: memFree=994664/2055920 swapFree=4191900/4192956
[pid=3620] ppid=3618 vsize=864344 CPUtime=522.06
/proc/3620/stat : 3620 (wbo) R 3618 3620 3460 0 -1 4194304 215796 0 0 0 51742 464 0 0 25 0 1 0 182541588 885088256 215572 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 0 0 0
/proc/3620/statm: 216086 215572 136 292 0 215791 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 864344

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3623
/proc/meminfo: memFree=900264/2055920 swapFree=4191900/4192956
[pid=3620] ppid=3618 vsize=958308 CPUtime=582.03
/proc/3620/stat : 3620 (wbo) R 3618 3620 3460 0 -1 4194304 239281 0 0 0 57715 488 0 0 25 0 1 0 182541588 981307392 239057 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3620/statm: 239577 239057 136 292 0 239282 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 958308

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3623
/proc/meminfo: memFree=790184/2055920 swapFree=4191900/4192956
[pid=3620] ppid=3618 vsize=1067720 CPUtime=642.01
/proc/3620/stat : 3620 (wbo) R 3618 3620 3460 0 -1 4194304 266624 0 0 0 63666 535 0 0 25 0 1 0 182541588 1093345280 266400 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0
/proc/3620/statm: 266930 266400 136 292 0 266635 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 1067720

[startup+702.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3629
/proc/meminfo: memFree=699048/2055920 swapFree=4191900/4192956
[pid=3620] ppid=3618 vsize=1159228 CPUtime=701.98
/proc/3620/stat : 3620 (wbo) R 3618 3620 3460 0 -1 4194304 289459 0 0 0 69630 568 0 0 25 0 1 0 182541588 1187049472 289235 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0
/proc/3620/statm: 289807 289235 136 292 0 289512 0
Current children cumulated CPU time (s) 701.98
Current children cumulated vsize (KiB) 1159228

[startup+762.306 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3629
/proc/meminfo: memFree=573288/2055920 swapFree=4191900/4192956
[pid=3620] ppid=3618 vsize=1284396 CPUtime=761.96
/proc/3620/stat : 3620 (wbo) R 3618 3620 3460 0 -1 4194304 320768 0 0 0 75564 632 0 0 25 0 1 0 182541588 1315221504 320544 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3620/statm: 321099 320544 136 292 0 320804 0
Current children cumulated CPU time (s) 761.96
Current children cumulated vsize (KiB) 1284396

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3629
/proc/meminfo: memFree=438952/2055920 swapFree=4191900/4192956
[pid=3620] ppid=3618 vsize=1419620 CPUtime=821.93
/proc/3620/stat : 3620 (wbo) R 3618 3620 3460 0 -1 4194304 354559 0 0 0 81499 694 0 0 25 0 1 0 182541588 1453690880 354335 1992294400 134512640 135709839 4294956240 18446744073709551615 134577722 0 0 4096 3 0 0 0 17 0 0 0
/proc/3620/statm: 354905 354335 136 292 0 354610 0
Current children cumulated CPU time (s) 821.93
Current children cumulated vsize (KiB) 1419620

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3629
/proc/meminfo: memFree=337064/2055920 swapFree=4191900/4192956
[pid=3620] ppid=3618 vsize=1520060 CPUtime=881.9
/proc/3620/stat : 3620 (wbo) R 3618 3620 3460 0 -1 4194304 379673 0 0 0 87442 748 0 0 25 0 1 0 182541588 1556541440 379449 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0
/proc/3620/statm: 380015 379449 136 292 0 379720 0
Current children cumulated CPU time (s) 881.9
Current children cumulated vsize (KiB) 1520060

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3629
/proc/meminfo: memFree=244264/2055920 swapFree=4191900/4192956
[pid=3620] ppid=3618 vsize=1613924 CPUtime=941.86
/proc/3620/stat : 3620 (wbo) R 3618 3620 3460 0 -1 4194304 403113 0 0 0 93396 790 0 0 25 0 1 0 182541588 1652658176 402889 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 0 0 0
/proc/3620/statm: 403481 402889 136 292 0 403186 0
Current children cumulated CPU time (s) 941.86
Current children cumulated vsize (KiB) 1613924

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3629
/proc/meminfo: memFree=138216/2055920 swapFree=4191900/4192956
[pid=3620] ppid=3618 vsize=1718764 CPUtime=1001.82
/proc/3620/stat : 3620 (wbo) R 3618 3620 3460 0 -1 4194304 429309 0 0 0 99355 827 0 0 25 0 1 0 182541588 1760014336 429085 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0
/proc/3620/statm: 429691 429085 136 292 0 429396 0
Current children cumulated CPU time (s) 1001.82
Current children cumulated vsize (KiB) 1718764

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3629
/proc/meminfo: memFree=31400/2055920 swapFree=4191900/4192956
[pid=3620] ppid=3618 vsize=1825916 CPUtime=1061.79
/proc/3620/stat : 3620 (wbo) R 3618 3620 3460 0 -1 4194304 456094 0 0 0 105301 878 0 0 25 0 1 0 182541588 1869737984 455870 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 0 0 0
/proc/3620/statm: 456479 455870 136 292 0 456184 0
Current children cumulated CPU time (s) 1061.79
Current children cumulated vsize (KiB) 1825916



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1077.4 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3629
/proc/meminfo: memFree=14888/2055920 swapFree=4191900/4192956
[pid=3620] ppid=3618 vsize=1843368 CPUtime=1076.89
/proc/3620/stat : 3620 (wbo) R 3618 3620 3460 0 -1 4194304 460424 0 0 0 106804 885 0 0 25 0 1 0 182541588 1887608832 460200 1992294400 134512640 135709839 4294956240 18446744073709551615 134573832 0 0 4096 3 0 0 0 17 0 0 0
/proc/3620/statm: 460842 460200 136 292 0 460547 0
Current children cumulated CPU time (s) 1076.89
Current children cumulated vsize (KiB) 1843368

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

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

[startup+1077.6 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3629
/proc/meminfo: memFree=14888/2055920 swapFree=4191900/4192956
[pid=3620] ppid=3618 vsize=0 CPUtime=1077.08
/proc/3620/stat : 3620 (wbo) R 3618 3620 3460 0 -1 4195332 460424 0 0 0 106804 904 0 0 25 0 1 0 182541588 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/3620/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1077.08
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1077.67
CPU time (s): 1077.16
CPU user time (s): 1068.04
CPU system time (s): 9.11961
CPU usage (%): 99.9526
Max. virtual memory (cumulated for all children) (KiB): 1843368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1068.04
system time used= 9.11961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460424
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= 3
involuntary context switches= 3169

runsolver used 1.03084 second user time and 2.91956 second system time

The end

Launcher Data 

Begin job on node1 at 2009-06-16 12:50:05
IDJOB=1875724
IDBENCH=2055
IDSOLVER=698
FILE ID=node1/1875724-1245149405
PBS_JOBID= 9363766
Free space on /tmp= 66220 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-rot.b.opb
COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875724-1245149405/watcher-1875724-1245149405 -o /tmp/evaluation-result-1875724-1245149405/solver-1875724-1245149405 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875724-1245149405.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 82ceb454755e01aa6cecb68eb859eaa6
RANDOM SEED=1151063890

node1.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.245
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.245
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1858376 kB
Buffers:         27544 kB
Cached:          92420 kB
SwapCached:        260 kB
Active:          19748 kB
Inactive:       113496 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1858376 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            2732 kB
Writeback:           0 kB
Mapped:          22552 kB
Slab:            50316 kB
Committed_AS:   150260 kB
PageTables:       1436 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875724-1245149405.opb

Free space on /tmp at the end= 66220 MiB
End job on node1 at 2009-06-16 13:08:05