Trace number 1876316

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? (TO) 1800.33 1800.78

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-lin.rom.r.opb
MD5SUM3183c84355c854880486b3d148840656
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark120
Best CPU time to get the best result obtained on this benchmark0.629903
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 120
Optimality of the best value was proved YES
Number of variables1076
Total number of constraints1030
Number of constraints which are clauses1030
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 constraint2
Maximum length of a constraint40
Number of terms in the objective function 1076
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 1076
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 1076
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-1876316-1245172549.opb.
0.00/0.00	c Instance file HOME/instance-1876316-1245172549.opb
0.00/0.00	c File size is 95666 bytes.
0.00/0.01	c Highest Coefficient sum: 41
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      1076                                                |
0.00/0.01	c |  Number Clauses:        2106                                                |
0.00/0.01	c |  Number Cardinality:    0                                                   |
0.00/0.01	c |  Number PB Constraints: 0                                                   |
0.00/0.01	c core #1
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 1
0.00/0.01	c Elapsed CPU time: 0.012998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #2
0.00/0.01	c Core size: 5	Core Weight: 1	Total Weight: 2
0.00/0.01	c Elapsed CPU time: 0.014997 s	Remaining CPU time: 1799.99 s
0.00/0.02	c core #3
0.00/0.02	c Core size: 7	Core Weight: 1	Total Weight: 3
0.00/0.02	c Elapsed CPU time: 0.016997 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #4
0.00/0.02	c Core size: 11	Core Weight: 1	Total Weight: 4
0.00/0.02	c Elapsed CPU time: 0.018997 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #5
0.00/0.02	c Core size: 9	Core Weight: 1	Total Weight: 5
0.00/0.02	c Elapsed CPU time: 0.020996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #6
0.00/0.02	c Core size: 9	Core Weight: 1	Total Weight: 6
0.00/0.02	c Elapsed CPU time: 0.023996 s	Remaining CPU time: 1799.98 s
0.00/0.03	c core #7
0.00/0.03	c Core size: 6	Core Weight: 1	Total Weight: 7
0.00/0.03	c Elapsed CPU time: 0.025996 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #8
0.00/0.03	c Core size: 10	Core Weight: 1	Total Weight: 8
0.00/0.03	c Elapsed CPU time: 0.028995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #9
0.00/0.03	c Core size: 9	Core Weight: 1	Total Weight: 9
0.00/0.03	c Elapsed CPU time: 0.030995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #10
0.00/0.03	c Core size: 4	Core Weight: 1	Total Weight: 10
0.00/0.03	c Elapsed CPU time: 0.032994 s	Remaining CPU time: 1799.97 s
0.00/0.04	c core #11
0.00/0.04	c Core size: 6	Core Weight: 1	Total Weight: 11
0.00/0.04	c Elapsed CPU time: 0.034994 s	Remaining CPU time: 1799.97 s
0.00/0.04	c core #12
0.00/0.04	c Core size: 7	Core Weight: 1	Total Weight: 12
0.00/0.04	c Elapsed CPU time: 0.037994 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #13
0.00/0.04	c Core size: 5	Core Weight: 1	Total Weight: 13
0.00/0.04	c Elapsed CPU time: 0.039993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #14
0.00/0.04	c Core size: 3	Core Weight: 1	Total Weight: 14
0.00/0.04	c Elapsed CPU time: 0.041993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #15
0.00/0.04	c Core size: 10	Core Weight: 1	Total Weight: 15
0.00/0.04	c Elapsed CPU time: 0.044993 s	Remaining CPU time: 1799.96 s
0.00/0.05	c core #16
0.00/0.05	c Core size: 7	Core Weight: 1	Total Weight: 16
0.00/0.05	c Elapsed CPU time: 0.046992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #17
0.00/0.05	c Core size: 5	Core Weight: 1	Total Weight: 17
0.00/0.05	c Elapsed CPU time: 0.048992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #18
0.00/0.05	c Core size: 3	Core Weight: 1	Total Weight: 18
0.00/0.05	c Elapsed CPU time: 0.051992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #19
0.00/0.05	c Core size: 5	Core Weight: 1	Total Weight: 19
0.00/0.05	c Elapsed CPU time: 0.053991 s	Remaining CPU time: 1799.95 s
0.00/0.06	c core #20
0.00/0.06	c Core size: 6	Core Weight: 1	Total Weight: 20
0.00/0.06	c Elapsed CPU time: 0.055991 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #21
0.00/0.06	c Core size: 12	Core Weight: 1	Total Weight: 21
0.00/0.06	c Elapsed CPU time: 0.058991 s	Remaining CPU time: 1799.94 s
0.09/0.11	c core #22
0.09/0.11	c Core size: 8	Core Weight: 1	Total Weight: 22
0.09/0.11	c Elapsed CPU time: 0.06099 s	Remaining CPU time: 1799.94 s
0.09/0.11	c core #23
0.09/0.11	c Core size: 3	Core Weight: 1	Total Weight: 23
0.09/0.11	c Elapsed CPU time: 0.06299 s	Remaining CPU time: 1799.94 s
0.09/0.11	c core #24
0.09/0.11	c Core size: 5	Core Weight: 1	Total Weight: 24
0.09/0.11	c Elapsed CPU time: 0.065989 s	Remaining CPU time: 1799.93 s
0.09/0.11	c core #25
0.09/0.11	c Core size: 9	Core Weight: 1	Total Weight: 25
0.09/0.11	c Elapsed CPU time: 0.067989 s	Remaining CPU time: 1799.93 s
0.09/0.11	c core #26
0.09/0.11	c Core size: 3	Core Weight: 1	Total Weight: 26
0.09/0.11	c Elapsed CPU time: 0.070989 s	Remaining CPU time: 1799.93 s
0.09/0.11	c core #27
0.09/0.11	c Core size: 7	Core Weight: 1	Total Weight: 27
0.09/0.11	c Elapsed CPU time: 0.072988 s	Remaining CPU time: 1799.93 s
0.09/0.11	c core #28
0.09/0.11	c Core size: 20	Core Weight: 1	Total Weight: 28
0.09/0.11	c Elapsed CPU time: 0.075988 s	Remaining CPU time: 1799.92 s
0.09/0.11	c core #29
0.09/0.11	c Core size: 7	Core Weight: 1	Total Weight: 29
0.09/0.11	c Elapsed CPU time: 0.077988 s	Remaining CPU time: 1799.92 s
0.09/0.11	c core #30
0.09/0.11	c Core size: 7	Core Weight: 1	Total Weight: 30
0.09/0.11	c Elapsed CPU time: 0.080987 s	Remaining CPU time: 1799.92 s
0.09/0.11	c core #31
0.09/0.11	c Core size: 5	Core Weight: 1	Total Weight: 31
0.09/0.11	c Elapsed CPU time: 0.082987 s	Remaining CPU time: 1799.92 s
0.09/0.11	c core #32
0.09/0.11	c Core size: 11	Core Weight: 1	Total Weight: 32
0.09/0.11	c Elapsed CPU time: 0.084987 s	Remaining CPU time: 1799.92 s
0.09/0.11	c core #33
0.09/0.11	c Core size: 8	Core Weight: 1	Total Weight: 33
0.09/0.11	c Elapsed CPU time: 0.087986 s	Remaining CPU time: 1799.91 s
0.09/0.11	c core #34
0.09/0.11	c Core size: 4	Core Weight: 1	Total Weight: 34
0.09/0.11	c Elapsed CPU time: 0.089986 s	Remaining CPU time: 1799.91 s
0.09/0.11	c core #35
0.09/0.11	c Core size: 3	Core Weight: 1	Total Weight: 35
0.09/0.11	c Elapsed CPU time: 0.092985 s	Remaining CPU time: 1799.91 s
0.09/0.11	c core #36
0.09/0.11	c Core size: 7	Core Weight: 1	Total Weight: 36
0.09/0.11	c Elapsed CPU time: 0.094985 s	Remaining CPU time: 1799.91 s
0.09/0.11	c core #37
0.09/0.11	c Core size: 6	Core Weight: 1	Total Weight: 37
0.09/0.11	c Elapsed CPU time: 0.097985 s	Remaining CPU time: 1799.9 s
0.09/0.11	c core #38
0.09/0.11	c Core size: 7	Core Weight: 1	Total Weight: 38
0.09/0.11	c Elapsed CPU time: 0.099984 s	Remaining CPU time: 1799.9 s
0.09/0.11	c core #39
0.09/0.11	c Core size: 7	Core Weight: 1	Total Weight: 39
0.09/0.11	c Elapsed CPU time: 0.102984 s	Remaining CPU time: 1799.9 s
0.09/0.11	c core #40
0.09/0.11	c Core size: 6	Core Weight: 1	Total Weight: 40
0.09/0.11	c Elapsed CPU time: 0.105983 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #41
0.09/0.11	c Core size: 5	Core Weight: 1	Total Weight: 41
0.09/0.11	c Elapsed CPU time: 0.107983 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #42
0.09/0.11	c Core size: 3	Core Weight: 1	Total Weight: 42
0.09/0.11	c Elapsed CPU time: 0.110983 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #43
0.09/0.11	c Core size: 7	Core Weight: 1	Total Weight: 43
0.09/0.11	c Elapsed CPU time: 0.112982 s	Remaining CPU time: 1799.89 s
0.09/0.12	c core #44
0.09/0.12	c Core size: 4	Core Weight: 1	Total Weight: 44
0.09/0.12	c Elapsed CPU time: 0.115982 s	Remaining CPU time: 1799.88 s
0.09/0.12	c core #45
0.09/0.12	c Core size: 4	Core Weight: 1	Total Weight: 45
0.09/0.12	c Elapsed CPU time: 0.117982 s	Remaining CPU time: 1799.88 s
0.09/0.12	c core #46
0.09/0.12	c Core size: 5	Core Weight: 1	Total Weight: 46
0.09/0.12	c Elapsed CPU time: 0.120981 s	Remaining CPU time: 1799.88 s
0.09/0.12	c core #47
0.09/0.12	c Core size: 4	Core Weight: 1	Total Weight: 47
0.09/0.12	c Elapsed CPU time: 0.123981 s	Remaining CPU time: 1799.88 s
0.09/0.13	c core #48
0.09/0.13	c Core size: 8	Core Weight: 1	Total Weight: 48
0.09/0.13	c Elapsed CPU time: 0.12598 s	Remaining CPU time: 1799.87 s
0.09/0.13	c core #49
0.09/0.13	c Core size: 5	Core Weight: 1	Total Weight: 49
0.09/0.13	c Elapsed CPU time: 0.12898 s	Remaining CPU time: 1799.87 s
0.09/0.13	c core #50
0.09/0.13	c Core size: 7	Core Weight: 1	Total Weight: 50
0.09/0.13	c Elapsed CPU time: 0.13098 s	Remaining CPU time: 1799.87 s
0.09/0.13	c core #51
0.09/0.13	c Core size: 4	Core Weight: 1	Total Weight: 51
0.09/0.13	c Elapsed CPU time: 0.133979 s	Remaining CPU time: 1799.87 s
0.09/0.14	c core #52
0.09/0.14	c Core size: 3	Core Weight: 1	Total Weight: 52
0.09/0.14	c Elapsed CPU time: 0.136979 s	Remaining CPU time: 1799.86 s
0.09/0.14	c core #53
0.09/0.14	c Core size: 3	Core Weight: 1	Total Weight: 53
0.09/0.14	c Elapsed CPU time: 0.138978 s	Remaining CPU time: 1799.86 s
0.09/0.14	c core #54
0.09/0.14	c Core size: 6	Core Weight: 1	Total Weight: 54
0.09/0.14	c Elapsed CPU time: 0.141978 s	Remaining CPU time: 1799.86 s
0.09/0.14	c core #55
0.09/0.14	c Core size: 3	Core Weight: 1	Total Weight: 55
0.09/0.14	c Elapsed CPU time: 0.144977 s	Remaining CPU time: 1799.86 s
0.09/0.15	c core #56
0.09/0.15	c Core size: 6	Core Weight: 1	Total Weight: 56
0.09/0.15	c Elapsed CPU time: 0.146977 s	Remaining CPU time: 1799.85 s
0.09/0.15	c core #57
0.09/0.15	c Core size: 3	Core Weight: 1	Total Weight: 57
0.09/0.15	c Elapsed CPU time: 0.149977 s	Remaining CPU time: 1799.85 s
0.09/0.15	c core #58
0.09/0.15	c Core size: 5	Core Weight: 1	Total Weight: 58
0.09/0.15	c Elapsed CPU time: 0.151976 s	Remaining CPU time: 1799.85 s
0.09/0.15	c core #59
0.09/0.15	c Core size: 10	Core Weight: 1	Total Weight: 59
0.09/0.15	c Elapsed CPU time: 0.154976 s	Remaining CPU time: 1799.85 s
0.09/0.16	c core #60
0.09/0.16	c Core size: 10	Core Weight: 1	Total Weight: 60
0.09/0.16	c Elapsed CPU time: 0.157975 s	Remaining CPU time: 1799.84 s
0.09/0.16	c core #61
0.09/0.16	c Core size: 5	Core Weight: 1	Total Weight: 61
0.09/0.16	c Elapsed CPU time: 0.159975 s	Remaining CPU time: 1799.84 s
0.09/0.16	c core #62
0.09/0.16	c Core size: 5	Core Weight: 1	Total Weight: 62
0.09/0.16	c Elapsed CPU time: 0.162975 s	Remaining CPU time: 1799.84 s
0.09/0.17	c core #63
0.09/0.17	c Core size: 11	Core Weight: 1	Total Weight: 63
0.09/0.17	c Elapsed CPU time: 0.165974 s	Remaining CPU time: 1799.83 s
0.09/0.17	c core #64
0.09/0.17	c Core size: 5	Core Weight: 1	Total Weight: 64
0.09/0.17	c Elapsed CPU time: 0.167974 s	Remaining CPU time: 1799.83 s
0.09/0.17	c core #65
0.09/0.17	c Core size: 6	Core Weight: 1	Total Weight: 65
0.09/0.17	c Elapsed CPU time: 0.170974 s	Remaining CPU time: 1799.83 s
0.09/0.17	c core #66
0.09/0.17	c Core size: 5	Core Weight: 1	Total Weight: 66
0.09/0.17	c Elapsed CPU time: 0.173973 s	Remaining CPU time: 1799.83 s
0.09/0.18	c core #67
0.09/0.18	c Core size: 3	Core Weight: 1	Total Weight: 67
0.09/0.18	c Elapsed CPU time: 0.176973 s	Remaining CPU time: 1799.82 s
0.09/0.18	c core #68
0.09/0.18	c Core size: 3	Core Weight: 1	Total Weight: 68
0.09/0.18	c Elapsed CPU time: 0.178972 s	Remaining CPU time: 1799.82 s
0.09/0.18	c core #69
0.09/0.18	c Core size: 4	Core Weight: 1	Total Weight: 69
0.09/0.18	c Elapsed CPU time: 0.181972 s	Remaining CPU time: 1799.82 s
0.09/0.18	c core #70
0.09/0.18	c Core size: 7	Core Weight: 1	Total Weight: 70
0.09/0.18	c Elapsed CPU time: 0.184971 s	Remaining CPU time: 1799.82 s
0.09/0.19	c core #71
0.09/0.19	c Core size: 3	Core Weight: 1	Total Weight: 71
0.09/0.19	c Elapsed CPU time: 0.187971 s	Remaining CPU time: 1799.81 s
0.09/0.19	c core #72
0.09/0.19	c Core size: 6	Core Weight: 1	Total Weight: 72
0.09/0.19	c Elapsed CPU time: 0.189971 s	Remaining CPU time: 1799.81 s
0.09/0.19	c core #73
0.09/0.19	c Core size: 5	Core Weight: 1	Total Weight: 73
0.09/0.19	c Elapsed CPU time: 0.19297 s	Remaining CPU time: 1799.81 s
0.09/0.20	c core #74
0.09/0.20	c Core size: 7	Core Weight: 1	Total Weight: 74
0.09/0.20	c Elapsed CPU time: 0.19597 s	Remaining CPU time: 1799.8 s
0.19/0.20	c core #75
0.19/0.20	c Core size: 4	Core Weight: 1	Total Weight: 75
0.19/0.20	c Elapsed CPU time: 0.198969 s	Remaining CPU time: 1799.8 s
0.19/0.20	c core #76
0.19/0.20	c Core size: 8	Core Weight: 1	Total Weight: 76
0.19/0.20	c Elapsed CPU time: 0.200969 s	Remaining CPU time: 1799.8 s
0.19/0.20	c core #77
0.19/0.20	c Core size: 7	Core Weight: 1	Total Weight: 77
0.19/0.20	c Elapsed CPU time: 0.203968 s	Remaining CPU time: 1799.8 s
0.19/0.21	c core #78
0.19/0.21	c Core size: 5	Core Weight: 1	Total Weight: 78
0.19/0.21	c Elapsed CPU time: 0.206968 s	Remaining CPU time: 1799.79 s
0.19/0.21	c core #79
0.19/0.21	c Core size: 3	Core Weight: 1	Total Weight: 79
0.19/0.21	c Elapsed CPU time: 0.209968 s	Remaining CPU time: 1799.79 s
0.19/0.21	c core #80
0.19/0.21	c Core size: 19	Core Weight: 1	Total Weight: 80
0.19/0.21	c Elapsed CPU time: 0.212967 s	Remaining CPU time: 1799.79 s
0.19/0.22	c core #81
0.19/0.22	c Core size: 7	Core Weight: 1	Total Weight: 81
0.19/0.22	c Elapsed CPU time: 0.215967 s	Remaining CPU time: 1799.78 s
0.19/0.22	c core #82
0.19/0.22	c Core size: 5	Core Weight: 1	Total Weight: 82
0.19/0.22	c Elapsed CPU time: 0.217966 s	Remaining CPU time: 1799.78 s
0.19/0.22	c core #83
0.19/0.22	c Core size: 4	Core Weight: 1	Total Weight: 83
0.19/0.22	c Elapsed CPU time: 0.220966 s	Remaining CPU time: 1799.78 s
0.19/0.22	c core #84
0.19/0.22	c Core size: 3	Core Weight: 1	Total Weight: 84
0.19/0.22	c Elapsed CPU time: 0.223965 s	Remaining CPU time: 1799.78 s
0.19/0.23	c core #85
0.19/0.23	c Core size: 5	Core Weight: 1	Total Weight: 85
0.19/0.23	c Elapsed CPU time: 0.226965 s	Remaining CPU time: 1799.77 s
0.19/0.23	c core #86
0.19/0.23	c Core size: 4	Core Weight: 1	Total Weight: 86
0.19/0.23	c Elapsed CPU time: 0.229965 s	Remaining CPU time: 1799.77 s
0.19/0.23	c core #87
0.19/0.23	c Core size: 3	Core Weight: 1	Total Weight: 87
0.19/0.23	c Elapsed CPU time: 0.232964 s	Remaining CPU time: 1799.77 s
0.19/0.24	c core #88
0.19/0.24	c Core size: 5	Core Weight: 1	Total Weight: 88
0.19/0.24	c Elapsed CPU time: 0.235964 s	Remaining CPU time: 1799.76 s
0.19/0.24	c core #89
0.19/0.24	c Core size: 3	Core Weight: 1	Total Weight: 89
0.19/0.24	c Elapsed CPU time: 0.238963 s	Remaining CPU time: 1799.76 s
0.19/0.24	c core #90
0.19/0.24	c Core size: 4	Core Weight: 1	Total Weight: 90
0.19/0.24	c Elapsed CPU time: 0.241963 s	Remaining CPU time: 1799.76 s
0.19/0.24	c core #91
0.19/0.24	c Core size: 5	Core Weight: 1	Total Weight: 91
0.19/0.24	c Elapsed CPU time: 0.244962 s	Remaining CPU time: 1799.76 s
0.19/0.25	c core #92
0.19/0.25	c Core size: 7	Core Weight: 1	Total Weight: 92
0.19/0.25	c Elapsed CPU time: 0.246962 s	Remaining CPU time: 1799.75 s
0.19/0.25	c core #93
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 93
0.19/0.25	c Elapsed CPU time: 0.249962 s	Remaining CPU time: 1799.75 s
0.19/0.25	c core #94
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 94
0.19/0.25	c Elapsed CPU time: 0.252961 s	Remaining CPU time: 1799.75 s
0.19/0.26	c core #95
0.19/0.26	c Core size: 5	Core Weight: 1	Total Weight: 95
0.19/0.26	c Elapsed CPU time: 0.255961 s	Remaining CPU time: 1799.74 s
0.19/0.26	c core #96
0.19/0.26	c Core size: 9	Core Weight: 1	Total Weight: 96
0.19/0.26	c Elapsed CPU time: 0.25896 s	Remaining CPU time: 1799.74 s
0.19/0.26	c core #97
0.19/0.26	c Core size: 4	Core Weight: 1	Total Weight: 97
0.19/0.26	c Elapsed CPU time: 0.26196 s	Remaining CPU time: 1799.74 s
0.19/0.26	c core #98
0.19/0.26	c Core size: 5	Core Weight: 1	Total Weight: 98
0.19/0.26	c Elapsed CPU time: 0.264959 s	Remaining CPU time: 1799.74 s
0.19/0.27	c core #99
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 99
0.19/0.27	c Elapsed CPU time: 0.267959 s	Remaining CPU time: 1799.73 s
0.19/0.27	c core #100
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 100
0.19/0.27	c Elapsed CPU time: 0.270958 s	Remaining CPU time: 1799.73 s
0.19/0.27	c core #101
0.19/0.27	c Core size: 8	Core Weight: 1	Total Weight: 101
0.19/0.27	c Elapsed CPU time: 0.273958 s	Remaining CPU time: 1799.73 s
0.19/0.28	c core #102
0.19/0.28	c Core size: 7	Core Weight: 1	Total Weight: 102
0.19/0.28	c Elapsed CPU time: 0.276957 s	Remaining CPU time: 1799.72 s
0.19/0.28	c core #103
0.19/0.28	c Core size: 3	Core Weight: 1	Total Weight: 103
0.19/0.28	c Elapsed CPU time: 0.279957 s	Remaining CPU time: 1799.72 s
0.19/0.28	c core #104
0.19/0.28	c Core size: 5	Core Weight: 1	Total Weight: 104
0.19/0.28	c Elapsed CPU time: 0.282956 s	Remaining CPU time: 1799.72 s
0.19/0.29	c core #105
0.19/0.29	c Core size: 10	Core Weight: 1	Total Weight: 105
0.19/0.29	c Elapsed CPU time: 0.285956 s	Remaining CPU time: 1799.71 s
0.19/0.29	c core #106
0.19/0.29	c Core size: 14	Core Weight: 1	Total Weight: 106
0.19/0.29	c Elapsed CPU time: 0.288956 s	Remaining CPU time: 1799.71 s
0.19/0.29	c core #107
0.19/0.29	c Core size: 11	Core Weight: 1	Total Weight: 107
0.19/0.29	c Elapsed CPU time: 0.291955 s	Remaining CPU time: 1799.71 s
0.19/0.30	c core #108
0.19/0.30	c Core size: 8	Core Weight: 1	Total Weight: 108
0.19/0.30	c Elapsed CPU time: 0.294955 s	Remaining CPU time: 1799.71 s
0.29/0.30	c core #109
0.29/0.30	c Core size: 22	Core Weight: 1	Total Weight: 109
0.29/0.30	c Elapsed CPU time: 0.298954 s	Remaining CPU time: 1799.7 s
0.29/0.30	c core #110
0.29/0.30	c Core size: 20	Core Weight: 1	Total Weight: 110
0.29/0.30	c Elapsed CPU time: 0.301954 s	Remaining CPU time: 1799.7 s
0.29/0.31	c core #111
0.29/0.31	c Core size: 59	Core Weight: 1	Total Weight: 111
0.29/0.31	c Elapsed CPU time: 0.304953 s	Remaining CPU time: 1799.7 s
0.29/0.31	c core #112
0.29/0.31	c Core size: 10	Core Weight: 1	Total Weight: 112
0.29/0.31	c Elapsed CPU time: 0.308953 s	Remaining CPU time: 1799.69 s
0.29/0.31	c core #113
0.29/0.31	c Core size: 34	Core Weight: 1	Total Weight: 113
0.29/0.31	c Elapsed CPU time: 0.311952 s	Remaining CPU time: 1799.69 s
0.29/0.32	c ============================[ Search Statistics ]==============================
0.29/0.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.32	c ===============================================================================
0.29/0.32	c |         0 |    1137     2219    10453 |     5000        0    nan |  0.000 % |
0.29/0.32	c ===============================================================================
0.29/0.32	c core #114
0.29/0.32	c Core size: 80	Core Weight: 1	Total Weight: 114
0.29/0.32	c Elapsed CPU time: 0.315951 s	Remaining CPU time: 1799.68 s
0.29/0.32	c ============================[ Search Statistics ]==============================
0.29/0.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.32	c ===============================================================================
0.29/0.32	c |         0 |    1232     2220    10855 |     5000        0    nan |  0.000 % |
0.29/0.33	c |       100 |    1203     2220    10855 |     5500      100      9 | 40.629 % |
0.29/0.33	c ===============================================================================
0.29/0.33	c core #115
0.29/0.33	c Core size: 98	Core Weight: 1	Total Weight: 115
0.29/0.33	c Elapsed CPU time: 0.32595 s	Remaining CPU time: 1799.67 s
0.29/0.33	c ============================[ Search Statistics ]==============================
0.29/0.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.33	c ===============================================================================
0.29/0.33	c |         0 |    1347     2221    11274 |     5000        0    nan |  0.000 % |
0.29/0.33	c ===============================================================================
0.29/0.33	c core #116
0.29/0.33	c Core size: 76	Core Weight: 1	Total Weight: 116
0.29/0.33	c Elapsed CPU time: 0.330949 s	Remaining CPU time: 1799.67 s
0.29/0.34	c ============================[ Search Statistics ]==============================
0.29/0.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.34	c ===============================================================================
0.29/0.34	c |         0 |    1429     2222    11489 |     5000        0    nan |  0.000 % |
0.29/0.34	c |       100 |    1419     2222    11489 |     5500      100      8 | 27.034 % |
0.29/0.35	c ===============================================================================
0.29/0.35	c core #117
0.29/0.35	c Core size: 163	Core Weight: 1	Total Weight: 117
0.29/0.35	c Elapsed CPU time: 0.346947 s	Remaining CPU time: 1799.65 s
0.29/0.35	c ============================[ Search Statistics ]==============================
0.29/0.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.35	c ===============================================================================
0.29/0.35	c |         0 |    1567     2223    11740 |     5000        0    nan |  0.000 % |
0.29/0.36	c |       104 |    1558     2223    11740 |     5500      104     13 | 23.142 % |
0.29/0.37	c |       255 |    1544     2223    11740 |     6050      251     20 | 23.489 % |
0.29/0.39	c |       480 |    1542     2223    11740 |     6655      475     22 | 23.588 % |
0.39/0.41	c |       817 |    1540     2223    11740 |     7320      812     25 | 23.687 % |
0.39/0.42	c ===============================================================================
0.39/0.42	c core #118
0.39/0.42	c Core size: 506	Core Weight: 1	Total Weight: 118
0.39/0.42	c Elapsed CPU time: 0.414936 s	Remaining CPU time: 1799.59 s
0.39/0.43	c ============================[ Search Statistics ]==============================
0.39/0.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.43	c ===============================================================================
0.39/0.43	c |         0 |    2037     2224    12974 |     5000        0    nan |  0.000 % |
0.39/0.44	c |       100 |    2037     2224    12974 |     5500      100     30 | 14.232 % |
0.39/0.46	c |       251 |    2037     2224    12974 |     6050      251     31 | 14.232 % |
0.49/0.51	c |       478 |    2037     2224    12974 |     6655      478     39 | 14.232 % |
0.49/0.54	c |       815 |    2037     2224    12974 |     7320      815     41 | 14.232 % |
0.59/0.64	c |      1322 |    2037     2224    12974 |     8052     1322     45 | 14.232 % |
0.79/0.80	c |      2082 |    2037     2224    12974 |     8857     2082     45 | 14.232 % |
1.09/1.12	c |      3221 |    2037     2224    12974 |     9743     3221     67 | 14.232 % |
1.69/1.74	c |      4930 |    2037     2224    12974 |    10717     4930     77 | 14.232 % |
2.79/2.87	c |      7492 |    2037     2224    12974 |    11789     7492     88 | 14.232 % |
4.49/4.59	c |     11336 |    2037     2224    12974 |    12968    11336    100 | 14.232 % |
7.19/7.24	c |     17102 |    2037     2224    12974 |    14265    10364    117 | 14.232 % |
12.09/12.14	c |     25751 |    2037     2224    12974 |    15692    11615    126 | 14.232 % |
15.98/16.01	c ===============================================================================
16.28/16.39	c core #119
16.28/16.39	c Core size: 1020	Core Weight: 1	Total Weight: 119
16.28/16.39	c Elapsed CPU time: 16.1995 s	Remaining CPU time: 1783.8 s
16.39/16.43	c ============================[ Search Statistics ]==============================
16.39/16.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
16.39/16.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
16.39/16.43	c ===============================================================================
16.39/16.43	c |         0 |    2854     2225    14689 |     5000        0    nan |  0.000 % |
16.39/16.44	c |       105 |    2854     2225    14689 |     5500      105     24 |  6.797 % |
16.39/16.48	c |       255 |    2854     2225    14689 |     6050      255     24 |  6.793 % |
16.50/16.53	c |       480 |    2854     2225    14689 |     6655      480     37 |  6.793 % |
16.59/16.62	c |       817 |    2854     2225    14689 |     7320      817     52 |  6.793 % |
16.69/16.78	c |      1323 |    2854     2225    14689 |     8052     1323     73 |  6.793 % |
16.79/16.88	c |      2082 |    2854     2225    14689 |     8857     2082     91 |  6.793 % |
17.09/17.18	c |      3221 |    2852     2225    14689 |     9743     3220    104 |  6.858 % |
17.69/17.79	c |      4929 |    2852     2225    14689 |    10717     4928    117 |  6.858 % |
18.78/18.87	c |      7499 |    2852     2225    14689 |    11789     7498    135 |  6.858 % |
21.68/21.71	c |     11343 |    2850     2225    14689 |    12968    11341    132 |  6.924 % |
25.68/25.79	c |     17109 |    2850     2225    14689 |    14265    10342    157 |  6.924 % |
31.39/31.49	c |     25762 |    2850     2225    14689 |    15692    11601    209 |  6.924 % |
41.78/41.86	c |     38739 |    2850     2225    14689 |    17261     8416    200 |  6.924 % |
59.17/59.28	c |     58200 |    2850     2225    14689 |    18987    10017    197 |  6.924 % |
81.57/81.68	c |     87393 |    2850     2225    14689 |    20886    19717    198 |  6.924 % |
120.86/120.94	c |    131190 |    2850     2225    14689 |    22974    20599    225 |  6.924 % |
185.74/185.84	c |    196874 |    2850     2225    14689 |    25272    15649    267 |  6.924 % |
327.61/327.74	c |    295401 |    2850     2225    14689 |    27799    22888    314 |  6.924 % |
549.65/549.83	c |    443195 |    2850     2225    14689 |    30579    24909    327 |  6.924 % |
887.87/888.16	c |    664879 |    2850     2225    14689 |    33637    31292    317 |  6.924 % |
1503.31/1503.77	c |    997409 |    2850     2225    14689 |    37001    23022    280 |  6.924 % |
1543.80/1544.28	c ===============================================================================
1574.99/1575.44	c core #120
1574.99/1575.44	c Core size: 1469	Core Weight: 1	Total Weight: 120
1574.99/1575.44	c Elapsed CPU time: 1568.01 s	Remaining CPU time: 231.99 s
1576.09/1576.56	c ============================[ Search Statistics ]==============================
1576.09/1576.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1576.09/1576.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1576.09/1576.56	c ===============================================================================
1576.09/1576.56	c |         0 |    3859     2226    16708 |     5000        0    nan |  0.000 % |
1576.19/1576.64	c |       100 |    3859     2226    16708 |     5500      100     78 |  2.796 % |
1576.39/1576.81	c |       251 |    3859     2226    16708 |     6050      251     59 |  2.796 % |
1576.50/1576.98	c |       482 |    3859     2226    16708 |     6655      482     67 |  2.796 % |
1577.00/1577.46	c |       820 |    3859     2226    16708 |     7320      820    102 |  2.796 % |
1577.19/1577.68	c |      1326 |    3859     2226    16708 |     8052     1326    123 |  2.796 % |
1577.39/1577.89	c |      2085 |    3859     2226    16708 |     8857     2085    141 |  2.796 % |
1577.79/1578.27	c |      3227 |    3859     2226    16708 |     9743     3227    151 |  2.796 % |
1578.49/1578.94	c |      4936 |    3859     2226    16708 |    10717     4936    158 |  2.796 % |
1579.99/1580.44	c |      7498 |    3859     2226    16708 |    11789     7498    186 |  2.796 % |
1582.40/1582.83	c |     11342 |    3859     2226    16708 |    12968    11342    205 |  2.796 % |
1586.69/1587.15	c |     17109 |    3859     2226    16708 |    14265    10331    240 |  2.796 % |
1597.69/1598.13	c |     25759 |    3859     2226    16708 |    15692    11626    269 |  2.796 % |
1608.89/1609.39	c |     38733 |    3859     2226    16708 |    17261    15760    400 |  2.796 % |
1634.38/1634.83	c |     58195 |    3859     2226    16708 |    18987    17159    482 |  2.796 % |
1662.57/1663.06	c |     87387 |    3859     2226    16708 |    20886    16635    415 |  2.796 % |
1724.66/1725.17	c |    131177 |    3859     2226    16708 |    22974    17555    319 |  2.796 % |

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-1876316-1245172549/watcher-1876316-1245172549 -o /tmp/evaluation-result-1876316-1245172549/solver-1876316-1245172549 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876316-1245172549.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.95 0.98 0.99 3/64 32043
/proc/meminfo: memFree=1428464/2055920 swapFree=4182324/4192956
[pid=32043] ppid=32041 vsize=2764 CPUtime=0
/proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 232 0 0 0 0 0 0 0 18 0 1 0 184850360 2830336 216 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 1 0 0
/proc/32043/statm: 691 216 127 292 0 372 0

[startup+0.069155 s]
/proc/loadavg: 0.95 0.98 0.99 3/64 32043
/proc/meminfo: memFree=1428464/2055920 swapFree=4182324/4192956
[pid=32043] ppid=32041 vsize=3180 CPUtime=0.06
/proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 381 0 0 0 6 0 0 0 18 0 1 0 184850360 3256320 341 1992294400 134512640 135709839 4294956240 18446744073709551615 134570339 0 0 4096 3 0 0 0 17 1 0 0
/proc/32043/statm: 795 341 133 292 0 500 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3180

[startup+0.101154 s]
/proc/loadavg: 0.95 0.98 0.99 3/64 32043
/proc/meminfo: memFree=1428464/2055920 swapFree=4182324/4192956
[pid=32043] ppid=32041 vsize=3100 CPUtime=0.09
/proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 392 0 0 0 9 0 0 0 18 0 1 0 184850360 3174400 352 1992294400 134512640 135709839 4294956240 18446744073709551615 135166317 0 0 4096 3 0 0 0 17 1 0 0
/proc/32043/statm: 775 352 133 292 0 480 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3100

[startup+0.30117 s]
/proc/loadavg: 0.95 0.98 0.99 3/64 32043
/proc/meminfo: memFree=1428464/2055920 swapFree=4182324/4192956
[pid=32043] ppid=32041 vsize=3364 CPUtime=0.29
/proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 461 0 0 0 29 0 0 0 19 0 1 0 184850360 3444736 421 1992294400 134512640 135709839 4294956240 18446744073709551615 134570397 0 0 4096 3 0 0 0 17 1 0 0
/proc/32043/statm: 841 421 134 292 0 546 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3364

[startup+0.701209 s]
/proc/loadavg: 0.95 0.98 0.99 3/64 32043
/proc/meminfo: memFree=1428464/2055920 swapFree=4182324/4192956
[pid=32043] ppid=32041 vsize=4092 CPUtime=0.69
/proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 624 0 0 0 67 2 0 0 22 0 1 0 184850360 4190208 584 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/32043/statm: 1023 584 136 292 0 728 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4092

[startup+1.50129 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 32044
/proc/meminfo: memFree=1425768/2055920 swapFree=4182324/4192956
[pid=32043] ppid=32041 vsize=5940 CPUtime=1.49
/proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 1106 0 0 0 146 3 0 0 25 0 1 0 184850360 6082560 1066 1992294400 134512640 135709839 4294956240 18446744073709551615 134518518 0 0 4096 3 0 0 0 17 1 0 0
/proc/32043/statm: 1485 1066 136 292 0 1190 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5940

[startup+3.10144 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 32044
/proc/meminfo: memFree=1423272/2055920 swapFree=4182324/4192956
[pid=32043] ppid=32041 vsize=9108 CPUtime=3.09
/proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 1878 0 0 0 305 4 0 0 25 0 1 0 184850360 9326592 1838 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 1 0 0
/proc/32043/statm: 2277 1838 136 292 0 1982 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9108

[startup+6.30176 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 32044
/proc/meminfo: memFree=1416808/2055920 swapFree=4182324/4192956
[pid=32043] ppid=32041 vsize=15364 CPUtime=6.29
/proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 3431 0 0 0 621 8 0 0 25 0 1 0 184850360 15732736 3391 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0
/proc/32043/statm: 3841 3391 136 292 0 3546 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15364

[startup+12.7014 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 32044
/proc/meminfo: memFree=1405040/2055920 swapFree=4182324/4192956
[pid=32043] ppid=32041 vsize=26720 CPUtime=12.69
/proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 6285 0 0 0 1253 16 0 0 25 0 1 0 184850360 27361280 6245 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/32043/statm: 6680 6245 136 292 0 6385 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26720

[startup+25.5027 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 32044
/proc/meminfo: memFree=1394352/2055920 swapFree=4182324/4192956
[pid=32043] ppid=32041 vsize=36336 CPUtime=25.49
/proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 8689 0 0 0 2522 27 0 0 25 0 1 0 184850360 37208064 8649 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0
/proc/32043/statm: 9084 8649 136 292 0 8789 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 36336

[startup+51.1022 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 32044
/proc/meminfo: memFree=1354672/2055920 swapFree=4182324/4192956
[pid=32043] ppid=32041 vsize=76732 CPUtime=51.08
/proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 18776 0 0 0 5060 48 0 0 25 0 1 0 184850360 78573568 18736 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 1 0 0
/proc/32043/statm: 19183 18736 136 292 0 18888 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 76732

[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32044
/proc/meminfo: memFree=1277488/2055920 swapFree=4182324/4192956
[pid=32043] ppid=32041 vsize=153068 CPUtime=102.27
/proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 37845 0 0 0 10143 84 0 0 25 0 1 0 184850360 156741632 37805 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/32043/statm: 38267 37805 136 292 0 37972 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 153068

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32044
/proc/meminfo: memFree=1186096/2055920 swapFree=4182324/4192956
[pid=32043] ppid=32041 vsize=244856 CPUtime=162.25
/proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 60802 0 0 0 16102 123 0 0 25 0 1 0 184850360 250732544 60762 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/32043/statm: 61214 60762 136 292 0 60919 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 244856

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32044
/proc/meminfo: memFree=1111792/2055920 swapFree=4182324/4192956
[pid=32043] ppid=32041 vsize=318456 CPUtime=222.23
/proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 79183 0 0 0 22071 152 0 0 25 0 1 0 184850360 326098944 79143 1992294400 134512640 135709839 4294956240 18446744073709551615 134518513 0 0 4096 3 0 0 0 17 1 0 0
/proc/32043/statm: 79614 79143 136 292 0 79319 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 318456

[startup+282.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32044
/proc/meminfo: memFree=1039664/2055920 swapFree=4182324/4192956
[pid=32043] ppid=32041 vsize=391376 CPUtime=282.22
/proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 97399 0 0 0 28039 183 0 0 25 0 1 0 184850360 400769024 97359 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/32043/statm: 97844 97359 136 292 0 97549 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 391376

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32044
/proc/meminfo: memFree=965360/2055920 swapFree=4182324/4192956
[pid=32043] ppid=32041 vsize=464920 CPUtime=342.2
/proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 115769 0 0 0 34009 211 0 0 25 0 1 0 184850360 476078080 115729 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/32043/statm: 116230 115729 136 292 0 115935 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 464920

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32044
/proc/meminfo: memFree=885808/2055920 swapFree=4182324/4192956
[pid=32043] ppid=32041 vsize=545196 CPUtime=402.19
/proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 135848 0 0 0 39981 238 0 0 25 0 1 0 184850360 558280704 135808 1992294400 134512640 135709839 4294956240 18446744073709551615 134579141 0 0 4096 3 0 0 0 17 1 0 0
/proc/32043/statm: 136299 135808 136 292 0 136004 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 545196

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32044
/proc/meminfo: memFree=802032/2055920 swapFree=4182324/4192956
[pid=32043] ppid=32041 vsize=628308 CPUtime=462.18
/proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 156589 0 0 0 45950 268 0 0 25 0 1 0 184850360 643387392 156549 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/32043/statm: 157077 156549 136 292 0 156782 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 628308

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32044
/proc/meminfo: memFree=732080/2055920 swapFree=4182324/4192956
[pid=32043] ppid=32041 vsize=698728 CPUtime=522.16
/proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 174164 0 0 0 51922 294 0 0 25 0 1 0 184850360 715497472 174124 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/32043/statm: 174682 174124 136 292 0 174387 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 698728

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32044
/proc/meminfo: memFree=657264/2055920 swapFree=4182324/4192956
[pid=32043] ppid=32041 vsize=772960 CPUtime=582.14
/proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 192694 0 0 0 57889 325 0 0 25 0 1 0 184850360 791511040 192654 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/32043/statm: 193240 192654 136 292 0 192945 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 772960

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32044
/proc/meminfo: memFree=586352/2055920 swapFree=4182324/4192956
[pid=32043] ppid=32041 vsize=842948 CPUtime=642.13
/proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 210216 0 0 0 63864 349 0 0 25 0 1 0 184850360 863178752 210176 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/32043/statm: 210737 210176 136 292 0 210442 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 842948

[startup+702.302 s]

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

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32044
/proc/meminfo: memFree=255088/2055920 swapFree=4182324/4192956
[pid=32043] ppid=32041 vsize=1174748 CPUtime=942.05
/proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 293067 0 0 0 93734 471 0 0 25 0 1 0 184850360 1202941952 293027 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/32043/statm: 293687 293027 136 292 0 293392 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 1174748

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32044
/proc/meminfo: memFree=197424/2055920 swapFree=4182324/4192956
[pid=32043] ppid=32041 vsize=1231856 CPUtime=1002.04
/proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 307283 0 0 0 99712 492 0 0 25 0 1 0 184850360 1261420544 307243 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 1 0 0
/proc/32043/statm: 307964 307243 136 292 0 307669 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 1231856

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32044
/proc/meminfo: memFree=134704/2055920 swapFree=4182324/4192956
[pid=32043] ppid=32041 vsize=1295476 CPUtime=1062.02
/proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 323181 0 0 0 105688 514 0 0 25 0 1 0 184850360 1326567424 323141 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/32043/statm: 323869 323141 136 292 0 323574 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 1295476

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32044
/proc/meminfo: memFree=67184/2055920 swapFree=4182324/4192956
[pid=32043] ppid=32041 vsize=1362084 CPUtime=1122.01
/proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 339832 0 0 0 111667 534 0 0 25 0 1 0 184850360 1394774016 339792 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/32043/statm: 340521 339792 136 292 0 340226 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 1362084

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32044
/proc/meminfo: memFree=14896/2055920 swapFree=4182328/4192956
[pid=32043] ppid=32041 vsize=1435688 CPUtime=1181.99
/proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 358225 0 0 0 117641 558 0 0 25 0 1 0 184850360 1470144512 358185 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 1 0 0
/proc/32043/statm: 358922 358185 136 292 0 358627 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 1435688

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32044
/proc/meminfo: memFree=16304/2055920 swapFree=4182328/4192956
[pid=32043] ppid=32041 vsize=1497304 CPUtime=1241.97
/proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 373610 0 0 0 123620 577 0 0 25 0 1 0 184850360 1533239296 373570 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 1 0 0
/proc/32043/statm: 374326 373570 136 292 0 374031 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 1497304

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32044
/proc/meminfo: memFree=15728/2055920 swapFree=4182328/4192956
[pid=32043] ppid=32041 vsize=1557180 CPUtime=1301.97
/proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 388575 0 0 0 129595 602 0 0 25 0 1 0 184850360 1594552320 388535 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/32043/statm: 389295 388535 136 292 0 389000 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1557180

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32044
/proc/meminfo: memFree=15472/2055920 swapFree=4182328/4192956
[pid=32043] ppid=32041 vsize=1618964 CPUtime=1361.95
/proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 404030 0 0 0 135567 628 0 0 25 0 1 0 184850360 1657819136 403990 1992294400 134512640 135709839 4294956240 18446744073709551615 134518592 0 0 4096 3 0 0 0 17 1 0 0
/proc/32043/statm: 404741 403990 136 292 0 404446 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1618964

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32044
/proc/meminfo: memFree=15536/2055920 swapFree=4182328/4192956
[pid=32043] ppid=32041 vsize=1681780 CPUtime=1421.94
/proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 419731 0 0 0 141539 655 0 0 25 0 1 0 184850360 1722142720 419691 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0
/proc/32043/statm: 420445 419691 136 292 0 420150 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1681780

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32044
/proc/meminfo: memFree=16176/2055920 swapFree=4182328/4192956
[pid=32043] ppid=32041 vsize=1749364 CPUtime=1481.92
/proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 436601 0 0 0 147513 679 0 0 25 0 1 0 184850360 1791348736 436561 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0
/proc/32043/statm: 437341 436561 136 292 0 437046 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1749364

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32044
/proc/meminfo: memFree=14960/2055920 swapFree=4182328/4192956
[pid=32043] ppid=32041 vsize=1801796 CPUtime=1541.9
/proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 449699 0 0 0 153491 699 0 0 25 0 1 0 184850360 1845039104 449659 1992294400 134512640 135709839 4294956240 18446744073709551615 134577722 0 0 4096 3 0 0 0 17 1 0 0
/proc/32043/statm: 450449 449659 136 292 0 450154 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1801796

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32044
/proc/meminfo: memFree=15536/2055920 swapFree=4182328/4192956
[pid=32043] ppid=32041 vsize=1827004 CPUtime=1601.89
/proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 456060 0 0 0 159464 725 0 0 25 0 1 0 184850360 1870852096 455984 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 1 0 0
/proc/32043/statm: 456751 455984 136 292 0 456456 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1827004

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32044
/proc/meminfo: memFree=15536/2055920 swapFree=4182328/4192956
[pid=32043] ppid=32041 vsize=1827004 CPUtime=1661.88
/proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 456061 0 0 0 165438 750 0 0 25 0 1 0 184850360 1870852096 455985 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/32043/statm: 456751 455985 136 292 0 456456 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1827004

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32044
/proc/meminfo: memFree=15536/2055920 swapFree=4182328/4192956
[pid=32043] ppid=32041 vsize=1827004 CPUtime=1721.85
/proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 456063 0 0 0 171416 769 0 0 25 0 1 0 184850360 1870852096 455987 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/32043/statm: 456751 455987 136 292 0 456456 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1827004

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32044
/proc/meminfo: memFree=15792/2055920 swapFree=4182328/4192956
[pid=32043] ppid=32041 vsize=1827004 CPUtime=1781.85
/proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 456389 0 0 0 177396 789 0 0 25 0 1 0 184850360 1870852096 456313 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/32043/statm: 456751 456313 136 292 0 456456 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1827004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32044
/proc/meminfo: memFree=15792/2055920 swapFree=4182328/4192956
[pid=32043] ppid=32041 vsize=1827004 CPUtime=1800.04
/proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 456390 0 0 0 179210 794 0 0 25 0 1 0 184850360 1870852096 456314 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/32043/statm: 456751 456314 136 292 0 456456 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1827004

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

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

[startup+1800.61 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 32045
/proc/meminfo: memFree=684660/2055920 swapFree=4182328/4192956
[pid=32043] ppid=32041 vsize=0 CPUtime=1800.14
/proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4195332 456390 0 0 0 179210 804 0 0 25 0 1 0 184850360 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/32043/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 32045
/proc/meminfo: memFree=684660/2055920 swapFree=4182328/4192956
[pid=32043] ppid=32041 vsize=0 CPUtime=1800.24
/proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4195332 456390 0 0 0 179210 814 0 0 25 0 1 0 184850360 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/32043/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.78
CPU time (s): 1800.33
CPU user time (s): 1792.11
CPU system time (s): 8.22175
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 1827168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.11
system time used= 8.22175
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 456390
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= 2
involuntary context switches= 1760

runsolver used 1.51477 second user time and 3.9394 second system time

The end

Launcher Data 

Begin job on node60 at 2009-06-16 19:15:49
IDJOB=1876316
IDBENCH=2871
IDSOLVER=698
FILE ID=node60/1876316-1245172549
PBS_JOBID= 9363873
Free space on /tmp= 66436 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-lin.rom.r.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-1876316-1245172549/watcher-1876316-1245172549 -o /tmp/evaluation-result-1876316-1245172549/solver-1876316-1245172549 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1876316-1245172549.opb

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

MD5SUM BENCH= 3183c84355c854880486b3d148840656
RANDOM SEED=2032693342

node60.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.231
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.231
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:       1428880 kB
Buffers:         59524 kB
Cached:         484740 kB
SwapCached:       5992 kB
Active:         319492 kB
Inactive:       234264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1428880 kB
SwapTotal:     4192956 kB
SwapFree:      4182324 kB
Dirty:            2640 kB
Writeback:           0 kB
Mapped:          14012 kB
Slab:            59268 kB
Committed_AS:    77952 kB
PageTables:       1452 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-1876316-1245172549.opb

Free space on /tmp at the end= 66432 MiB
End job on node60 at 2009-06-16 19:45:52