Trace number 3747243

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 NameAnswerobjective functionCPU timeWall clock time
npSolver inc-topDown (fixed)? (TO) 1800.03 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.95:98.opb
MD5SUM09000b526c4cf3fc454b31cbb57a970b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.181971
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved YES
Number of variables906
Total number of constraints1039
Number of constraints which are clauses852
Number of constraints which are cardinality constraints (but not clauses)187
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint18
Number of terms in the objective function 906
Biggest coefficient in the objective function 553
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 2526
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 553
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2526
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.00/0.01	c old isEQ: 11, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.01	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c old isEQ: 0, new EQ is 0
0.00/0.02	c run inc solver
0.00/0.02	c [INC SYSTEM] run initial solver
0.00/0.02	c [INC SYSTEM] preprocess with white file
0.00/0.07	c [INC SYSTEM] finished preprocessing in 0 s
0.00/0.07	c [INC SYSTEM] execute solver
0.00/0.08	c [INC SEARCH] formula is SAT
0.00/0.08	c [INC SYSTEM] solved the initial formula
0.00/0.08	c model valid
0.00/0.08	c current solution ok
0.00/0.10	o 331
0.00/0.10	c [INC SYSTEM] there exists a inc, kill it!
0.00/0.10	c write failed with 2
0.00/0.10	c [INC SEARCH] iteration: 0
0.00/0.10	c [INC BOUNDS] best value:884 search for 883
0.00/0.10	c [INC SYSTEM] create new solver instance
0.00/0.10	c [INC] encode full formula
0.00/0.10	c fallback to adder encoding
0.00/0.14	c set iterative enc to: adder
0.00/0.14	c set iterative enc to: none
0.00/0.15	c [INC SEARCH] isOptimum variable: 0
5.85/5.90	c formula is SAT
5.85/5.90	c [INC SEARCH] copied best model
5.85/5.90	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
5.85/5.90	c model valid
5.85/5.90	c current solution ok
5.85/5.90	o 324
5.85/5.90	c [INC SEARCH] iteration: 1
5.85/5.90	c [INC BOUNDS] best value:877 search for 876
5.85/5.90	c [INC SYSTEM] there exists a inc, kill it!
5.85/5.90	c write failed with 2
5.85/5.90	c [INC SYSTEM] create new solver instance
5.85/5.90	c [INC] encode full formula
5.85/5.90	c fallback to adder encoding
5.85/5.95	c set iterative enc to: adder
5.85/5.95	c set iterative enc to: none
5.85/5.95	c [INC SEARCH] isOptimum variable: 0
13.46/13.59	c formula is SAT
13.46/13.59	c [INC SEARCH] copied best model
13.46/13.59	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
13.46/13.59	c model valid
13.46/13.59	c current solution ok
13.46/13.59	o 310
13.46/13.59	c [INC SEARCH] iteration: 2
13.46/13.59	c [INC BOUNDS] best value:863 search for 862
13.46/13.59	c [INC SYSTEM] there exists a inc, kill it!
13.46/13.59	c write failed with 2
13.55/13.60	c [INC SYSTEM] create new solver instance
13.55/13.60	c [INC] encode full formula
13.55/13.60	c fallback to adder encoding
13.55/13.64	c set iterative enc to: adder
13.55/13.64	c set iterative enc to: none
13.55/13.65	c [INC SEARCH] isOptimum variable: 0
17.56/17.62	c formula is SAT
17.56/17.62	c [INC SEARCH] copied best model
17.56/17.62	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
17.56/17.62	c model valid
17.56/17.62	c current solution ok
17.56/17.62	o 249
17.56/17.62	c [INC SEARCH] iteration: 3
17.56/17.62	c [INC BOUNDS] best value:802 search for 801
17.56/17.62	c [INC SYSTEM] there exists a inc, kill it!
17.56/17.62	c write failed with 2
17.56/17.62	c [INC SYSTEM] create new solver instance
17.56/17.62	c [INC] encode full formula
17.56/17.62	c fallback to adder encoding
17.56/17.67	c set iterative enc to: adder
17.56/17.67	c set iterative enc to: none
17.56/17.67	c [INC SEARCH] isOptimum variable: 0
45.13/45.20	c formula is SAT
45.13/45.20	c [INC SEARCH] copied best model
45.13/45.20	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
45.13/45.20	c model valid
45.13/45.20	c current solution ok
45.13/45.20	o 242
45.13/45.20	c [INC SEARCH] iteration: 4
45.13/45.20	c [INC BOUNDS] best value:795 search for 794
45.13/45.20	c [INC SYSTEM] there exists a inc, kill it!
45.13/45.20	c write failed with 2
45.13/45.20	c [INC SYSTEM] create new solver instance
45.13/45.20	c [INC] encode full formula
45.13/45.20	c fallback to adder encoding
45.13/45.25	c set iterative enc to: adder
45.13/45.25	c set iterative enc to: none
45.13/45.26	c [INC SEARCH] isOptimum variable: 0
74.22/74.39	c formula is SAT
74.22/74.39	c [INC SEARCH] copied best model
74.22/74.39	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
74.22/74.39	c model valid
74.22/74.39	c current solution ok
74.22/74.39	o 241
74.22/74.39	c [INC SEARCH] iteration: 5
74.22/74.39	c [INC BOUNDS] best value:794 search for 793
74.22/74.39	c [INC SYSTEM] there exists a inc, kill it!
74.22/74.39	c write failed with 2
74.22/74.39	c [INC SYSTEM] create new solver instance
74.22/74.39	c [INC] encode full formula
74.22/74.39	c fallback to adder encoding
74.34/74.44	c set iterative enc to: adder
74.34/74.44	c set iterative enc to: none
74.34/74.45	c [INC SEARCH] isOptimum variable: 0
98.41/98.56	c formula is SAT
98.41/98.57	c [INC SEARCH] copied best model
98.41/98.57	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
98.41/98.57	c model valid
98.41/98.57	c current solution ok
98.41/98.57	o 227
98.41/98.57	c [INC SEARCH] iteration: 6
98.41/98.57	c [INC BOUNDS] best value:780 search for 779
98.41/98.57	c [INC SYSTEM] there exists a inc, kill it!
98.41/98.57	c write failed with 2
98.41/98.57	c [INC SYSTEM] create new solver instance
98.41/98.57	c [INC] encode full formula
98.41/98.57	c fallback to adder encoding
98.52/98.62	c set iterative enc to: adder
98.52/98.62	c set iterative enc to: none
98.52/98.62	c [INC SEARCH] isOptimum variable: 0
208.36/208.58	c formula is SAT
208.36/208.58	c [INC SEARCH] copied best model
208.36/208.58	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
208.36/208.58	c model valid
208.36/208.58	c current solution ok
208.36/208.58	o 210
208.36/208.58	c [INC SEARCH] iteration: 7
208.36/208.58	c [INC BOUNDS] best value:763 search for 762
208.36/208.58	c [INC SYSTEM] there exists a inc, kill it!
208.36/208.58	c write failed with 2
208.36/208.59	c [INC SYSTEM] create new solver instance
208.36/208.59	c [INC] encode full formula
208.36/208.59	c fallback to adder encoding
208.48/208.63	c set iterative enc to: adder
208.48/208.63	c set iterative enc to: none
208.48/208.64	c [INC SEARCH] isOptimum variable: 0
270.94/271.18	c formula is SAT
270.94/271.18	c [INC SEARCH] copied best model
270.94/271.18	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
270.94/271.18	c model valid
270.94/271.18	c current solution ok
270.94/271.18	o 202
270.94/271.18	c [INC SEARCH] iteration: 8
270.94/271.18	c [INC BOUNDS] best value:755 search for 754
270.94/271.18	c [INC SYSTEM] there exists a inc, kill it!
270.94/271.18	c write failed with 2
270.94/271.18	c [INC SYSTEM] create new solver instance
270.94/271.18	c [INC] encode full formula
270.94/271.18	c fallback to adder encoding
271.06/271.22	c set iterative enc to: adder
271.06/271.22	c set iterative enc to: none
271.06/271.23	c [INC SEARCH] isOptimum variable: 0
344.42/344.67	c formula is SAT
344.42/344.67	c [INC SEARCH] copied best model
344.42/344.67	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
344.42/344.67	c model valid
344.42/344.67	c current solution ok
344.42/344.67	o 188
344.42/344.67	c [INC SEARCH] iteration: 9
344.42/344.67	c [INC BOUNDS] best value:741 search for 740
344.42/344.67	c [INC SYSTEM] there exists a inc, kill it!
344.42/344.67	c write failed with 2
344.42/344.67	c [INC SYSTEM] create new solver instance
344.42/344.67	c [INC] encode full formula
344.42/344.67	c fallback to adder encoding
344.52/344.72	c set iterative enc to: adder
344.52/344.72	c set iterative enc to: none
344.52/344.73	c [INC SEARCH] isOptimum variable: 0
489.67/489.92	c formula is SAT
489.67/489.92	c [INC SEARCH] copied best model
489.67/489.92	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
489.67/489.92	c model valid
489.67/489.92	c current solution ok
489.67/489.92	o 135
489.67/489.92	c [INC SEARCH] iteration: 10
489.67/489.92	c [INC BOUNDS] best value:688 search for 687
489.67/489.92	c [INC SYSTEM] there exists a inc, kill it!
489.67/489.92	c write failed with 2
489.67/489.92	c [INC SYSTEM] create new solver instance
489.67/489.92	c [INC] encode full formula
489.67/489.92	c fallback to adder encoding
489.67/489.97	c set iterative enc to: adder
489.67/489.97	c set iterative enc to: none
489.67/489.98	c [INC SEARCH] isOptimum variable: 0
1800.03/1800.51	HOME/npSolver-pbo-Itd.sh: line 18: 15648 Terminated              ./npSolver-pbo $file $tmp -rnd_seed=$seed -useQuickBound=0 -useBinSearch=0 -useCP2=1 -useInc=1

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3747243-1339100007/watcher-3747243-1339100007 -o /tmp/evaluation-result-3747243-1339100007/solver-3747243-1339100007 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747243-1339100007.opb 829369486 HOME HOME 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.92 1.97 1.68 3/178 15647
/proc/meminfo: memFree=29489368/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0

[startup+0.051602 s]
/proc/loadavg: 1.92 1.97 1.68 3/178 15647
/proc/meminfo: memFree=29489368/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100288 s]
/proc/loadavg: 1.92 1.97 1.68 3/178 15647
/proc/meminfo: memFree=29489368/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300151 s]
/proc/loadavg: 1.92 1.97 1.68 3/178 15647
/proc/meminfo: memFree=29489368/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700122 s]
/proc/loadavg: 1.92 1.97 1.68 3/178 15647
/proc/meminfo: memFree=29489368/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50028 s]
/proc/loadavg: 1.92 1.97 1.68 3/181 15656
/proc/meminfo: memFree=29460684/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
[pid=15648] ppid=15647 vsize=11276 CPUtime=0.12 cores=0,2,4,6
/proc/15648/stat : 15648 (npSolver-pbo) S 15647 15647 15254 0 -1 4202496 3633 3892 0 0 6 2 4 0 20 0 1 0 376129324 11546624 2157 33554432000 4194304 6004724 140734245530352 140734245516200 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15648/statm: 2819 2157 182 442 0 2373 0
[pid=15656] ppid=15648 vsize=14176 CPUtime=1.33 cores=0,2,4,6
/proc/15656/stat : 15656 (glucosInc) R 15648 15647 15254 0 -1 4202496 3988 0 0 0 133 0 0 0 20 0 1 0 376129340 14516224 3089 33554432000 4194304 5654031 140735078640496 140735078628312 4215091 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15656/statm: 3544 3089 141 357 0 3184 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 34600

[startup+3.1003 s]
/proc/loadavg: 1.92 1.97 1.68 3/181 15656
/proc/meminfo: memFree=29453984/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
[pid=15648] ppid=15647 vsize=11276 CPUtime=0.12 cores=0,2,4,6
/proc/15648/stat : 15648 (npSolver-pbo) S 15647 15647 15254 0 -1 4202496 3633 3892 0 0 6 2 4 0 20 0 1 0 376129324 11546624 2157 33554432000 4194304 6004724 140734245530352 140734245516200 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15648/statm: 2819 2157 182 442 0 2373 0
[pid=15656] ppid=15648 vsize=21580 CPUtime=2.93 cores=0,2,4,6
/proc/15656/stat : 15656 (glucosInc) R 15648 15647 15254 0 -1 4202496 5249 0 0 0 292 1 0 0 20 0 1 0 376129340 22097920 4763 33554432000 4194304 5654031 140735078640496 140735078628312 4214494 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15656/statm: 5395 4763 141 357 0 5035 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 42004

[startup+6.30018 s]
/proc/loadavg: 1.93 1.97 1.68 3/181 15656
/proc/meminfo: memFree=29439636/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
[pid=15648] ppid=15647 vsize=11520 CPUtime=5.93 cores=0,2,4,6
/proc/15648/stat : 15648 (npSolver-pbo) S 15647 15647 15254 0 -1 4202496 5845 10476 0 0 11 3 577 2 20 0 1 0 376129324 11796480 2219 33554432000 4194304 6004724 140734245530352 140734245516200 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15648/statm: 2880 2219 182 442 0 2434 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 20668

[startup+12.7003 s]
/proc/loadavg: 1.93 1.97 1.68 3/181 15658
/proc/meminfo: memFree=29754512/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
[pid=15648] ppid=15647 vsize=11520 CPUtime=5.93 cores=0,2,4,6
/proc/15648/stat : 15648 (npSolver-pbo) S 15647 15647 15254 0 -1 4202496 5845 10476 0 0 11 3 577 2 20 0 1 0 376129324 11796480 2219 33554432000 4194304 6004724 140734245530352 140734245516200 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15648/statm: 2880 2219 182 442 0 2434 0
[pid=15658] ppid=15648 vsize=26044 CPUtime=6.73 cores=0,2,4,6
/proc/15658/stat : 15658 (glucosInc) R 15648 15647 15254 0 -1 4202496 5491 0 0 0 673 0 0 0 20 0 1 0 376129920 26669056 6047 33554432000 4194304 5654031 140734027835920 140734027823736 4233204 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15658/statm: 6511 6047 141 357 0 6151 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 46712

[startup+25.5004 s]
/proc/loadavg: 1.87 1.95 1.68 2/174 15687
/proc/meminfo: memFree=30329320/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
[pid=15648] ppid=15647 vsize=11520 CPUtime=17.64 cores=0,2,4,6
/proc/15648/stat : 15648 (npSolver-pbo) S 15647 15647 15254 0 -1 4202496 10268 22375 0 0 21 4 1735 4 20 0 1 0 376129324 11796480 2220 33554432000 4194304 6004724 140734245530352 140734245516200 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15648/statm: 2880 2220 183 442 0 2434 0
[pid=15662] ppid=15648 vsize=25992 CPUtime=7.8 cores=0,2,4,6
/proc/15662/stat : 15662 (glucosInc) R 15648 15647 15254 0 -1 4202496 5123 0 0 0 779 1 0 0 20 0 1 0 376131092 26615808 6045 33554432000 4194304 5654031 140735689598352 140735689586168 4219849 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15662/statm: 6498 6045 141 357 0 6138 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 46660

[startup+51.1004 s]
/proc/loadavg: 1.97 1.97 1.70 3/181 15721
/proc/meminfo: memFree=30222708/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
[pid=15648] ppid=15647 vsize=11520 CPUtime=45.2 cores=0,2,4,6
/proc/15648/stat : 15648 (npSolver-pbo) S 15647 15647 15254 0 -1 4202496 12479 30021 0 0 26 4 4483 7 20 0 1 0 376129324 11796480 2220 33554432000 4194304 6004724 140734245530352 140734245516200 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15648/statm: 2880 2220 183 442 0 2434 0
[pid=15721] ppid=15648 vsize=25960 CPUtime=5.82 cores=0,2,4,6
/proc/15721/stat : 15721 (glucosInc) R 15648 15647 15254 0 -1 4202496 6103 0 0 0 582 0 0 0 20 0 1 0 376133850 26583040 6027 33554432000 4194304 5654031 140737188588400 140737188576216 4232403 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15721/statm: 6490 6027 141 357 0 6130 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 46628

[startup+102.306 s]
/proc/loadavg: 2.03 1.99 1.72 3/181 15731
/proc/meminfo: memFree=30209856/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
[pid=15648] ppid=15647 vsize=11520 CPUtime=98.54 cores=0,2,4,6
/proc/15648/stat : 15648 (npSolver-pbo) S 15647 15647 15254 0 -1 4202496 16901 45521 0 0 36 5 9802 11 20 0 1 0 376129324 11796480 2220 33554432000 4194304 6004724 140734245530352 140734245516200 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15648/statm: 2880 2220 183 442 0 2434 0
[pid=15731] ppid=15648 vsize=21572 CPUtime=3.66 cores=0,2,4,6
/proc/15731/stat : 15731 (glucosInc) R 15648 15647 15254 0 -1 4202496 5562 0 0 0 365 1 0 0 20 0 1 0 376139187 22089728 4838 33554432000 4194304 5654031 140735979173968 140735979161784 4209211 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15731/statm: 5393 4838 141 357 0 5033 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 42240

[startup+162.3 s]
/proc/loadavg: 2.13 2.02 1.74 3/181 15736
/proc/meminfo: memFree=30202132/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
[pid=15648] ppid=15647 vsize=11520 CPUtime=98.54 cores=0,2,4,6
/proc/15648/stat : 15648 (npSolver-pbo) S 15647 15647 15254 0 -1 4202496 16901 45521 0 0 36 5 9802 11 20 0 1 0 376129324 11796480 2220 33554432000 4194304 6004724 140734245530352 140734245516200 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15648/statm: 2880 2220 183 442 0 2434 0
[pid=15731] ppid=15648 vsize=71160 CPUtime=63.64 cores=0,2,4,6
/proc/15731/stat : 15731 (glucosInc) R 15648 15647 15254 0 -1 4202496 9367 0 0 0 6360 4 0 0 20 0 1 0 376139187 72867840 11996 33554432000 4194304 5654031 140735979173968 140735979161784 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15731/statm: 17790 11996 141 357 0 17430 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 91828

[startup+222.3 s]
/proc/loadavg: 2.05 2.01 1.75 3/181 15738
/proc/meminfo: memFree=30186624/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
[pid=15648] ppid=15647 vsize=11520 CPUtime=208.52 cores=0,2,4,6
/proc/15648/stat : 15648 (npSolver-pbo) S 15647 15647 15254 0 -1 4202496 19112 56868 0 0 41 6 20788 17 20 0 1 0 376129324 11796480 2220 33554432000 4194304 6004724 140734245530352 140734245516200 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15648/statm: 2880 2220 183 442 0 2434 0
[pid=15738] ppid=15648 vsize=40556 CPUtime=13.64 cores=0,2,4,6
/proc/15738/stat : 15738 (glucosInc) R 15648 15647 15254 0 -1 4202496 6022 0 0 0 1363 1 0 0 20 0 1 0 376150188 41529344 7865 33554432000 4194304 5654031 140734878324672 140734878312488 4215188 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15738/statm: 10139 7865 141 357 0 9779 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 61224

[startup+282.3 s]
/proc/loadavg: 2.07 2.02 1.77 3/181 15742
/proc/meminfo: memFree=30205616/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6

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

/proc/loadavg: 2.06 2.03 1.92 3/181 15756
/proc/meminfo: memFree=29977144/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
[pid=15648] ppid=15647 vsize=11520 CPUtime=489.76 cores=0,2,4,6
/proc/15648/stat : 15648 (npSolver-pbo) S 15647 15647 15254 0 -1 4202496 25745 87834 0 0 56 7 48880 33 20 0 1 0 376129324 11796480 2220 33554432000 4194304 6004724 140734245530352 140734245516200 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15648/statm: 2880 2220 183 442 0 2434 0
[pid=15750] ppid=15648 vsize=163996 CPUtime=872.15 cores=0,2,4,6
/proc/15750/stat : 15750 (glucosInc) R 15648 15647 15254 0 -1 4202496 27368 0 0 0 87176 39 0 0 20 0 1 0 376178322 167931904 37761 33554432000 4194304 5654031 140737381082352 140737381070168 4232830 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15750/statm: 40999 37761 141 357 0 40639 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 184664

[startup+1422.31 s]
/proc/loadavg: 2.07 2.04 1.93 3/181 15756
/proc/meminfo: memFree=29997520/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
[pid=15648] ppid=15647 vsize=11520 CPUtime=489.76 cores=0,2,4,6
/proc/15648/stat : 15648 (npSolver-pbo) S 15647 15647 15254 0 -1 4202496 25745 87834 0 0 56 7 48880 33 20 0 1 0 376129324 11796480 2220 33554432000 4194304 6004724 140734245530352 140734245516200 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15648/statm: 2880 2220 183 442 0 2434 0
[pid=15750] ppid=15648 vsize=163996 CPUtime=932.14 cores=0,2,4,6
/proc/15750/stat : 15750 (glucosInc) R 15648 15647 15254 0 -1 4202496 28592 0 0 0 93173 41 0 0 20 0 1 0 376178322 167931904 39297 33554432000 4194304 5654031 140737381082352 140737381070168 4233036 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15750/statm: 40999 39297 141 357 0 40639 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 184664

[startup+1482.3 s]
/proc/loadavg: 2.08 2.04 1.93 3/181 15756
/proc/meminfo: memFree=29982240/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
[pid=15648] ppid=15647 vsize=11520 CPUtime=489.76 cores=0,2,4,6
/proc/15648/stat : 15648 (npSolver-pbo) S 15647 15647 15254 0 -1 4202496 25745 87834 0 0 56 7 48880 33 20 0 1 0 376129324 11796480 2220 33554432000 4194304 6004724 140734245530352 140734245516200 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15648/statm: 2880 2220 183 442 0 2434 0
[pid=15750] ppid=15648 vsize=163996 CPUtime=992.13 cores=0,2,4,6
/proc/15750/stat : 15750 (glucosInc) R 15648 15647 15254 0 -1 4202496 29819 0 0 0 99169 44 0 0 20 0 1 0 376178322 167931904 40321 33554432000 4194304 5654031 140737381082352 140737381070168 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15750/statm: 40999 40321 141 357 0 40639 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 184664

[startup+1542.3 s]
/proc/loadavg: 2.08 2.05 1.94 3/181 15756
/proc/meminfo: memFree=29978336/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
[pid=15648] ppid=15647 vsize=11520 CPUtime=489.76 cores=0,2,4,6
/proc/15648/stat : 15648 (npSolver-pbo) S 15647 15647 15254 0 -1 4202496 25745 87834 0 0 56 7 48880 33 20 0 1 0 376129324 11796480 2220 33554432000 4194304 6004724 140734245530352 140734245516200 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15648/statm: 2880 2220 183 442 0 2434 0
[pid=15750] ppid=15648 vsize=214084 CPUtime=1052.11 cores=0,2,4,6
/proc/15750/stat : 15750 (glucosInc) R 15648 15647 15254 0 -1 4202496 31360 0 0 0 105164 47 0 0 20 0 1 0 376178322 219222016 41134 33554432000 4194304 5654031 140737381082352 140737381070168 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15750/statm: 53521 41134 141 357 0 53161 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 234752

[startup+1602.3 s]
/proc/loadavg: 2.13 2.07 1.95 3/182 15759
/proc/meminfo: memFree=29940708/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
[pid=15648] ppid=15647 vsize=11520 CPUtime=489.76 cores=0,2,4,6
/proc/15648/stat : 15648 (npSolver-pbo) S 15647 15647 15254 0 -1 4202496 25745 87834 0 0 56 7 48880 33 20 0 1 0 376129324 11796480 2220 33554432000 4194304 6004724 140734245530352 140734245516200 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15648/statm: 2880 2220 183 442 0 2434 0
[pid=15750] ppid=15648 vsize=214084 CPUtime=1112.1 cores=0,2,4,6
/proc/15750/stat : 15750 (glucosInc) R 15648 15647 15254 0 -1 4202496 32586 0 0 0 111160 50 0 0 20 0 1 0 376178322 219222016 41646 33554432000 4194304 5654031 140737381082352 140737381070168 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15750/statm: 53521 41646 141 357 0 53161 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 234752

[startup+1662.3 s]
/proc/loadavg: 2.05 2.05 1.95 3/181 15760
/proc/meminfo: memFree=29938812/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
[pid=15648] ppid=15647 vsize=11520 CPUtime=489.76 cores=0,2,4,6
/proc/15648/stat : 15648 (npSolver-pbo) S 15647 15647 15254 0 -1 4202496 25745 87834 0 0 56 7 48880 33 20 0 1 0 376129324 11796480 2220 33554432000 4194304 6004724 140734245530352 140734245516200 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15648/statm: 2880 2220 183 442 0 2434 0
[pid=15750] ppid=15648 vsize=214084 CPUtime=1172.09 cores=0,2,4,6
/proc/15750/stat : 15750 (glucosInc) R 15648 15647 15254 0 -1 4202496 33815 0 0 0 117156 53 0 0 20 0 1 0 376178322 219222016 41646 33554432000 4194304 5654031 140737381082352 140737381070168 4232963 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15750/statm: 53521 41646 141 357 0 53161 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 234752

[startup+1722.3 s]
/proc/loadavg: 2.05 2.05 1.95 3/181 15760
/proc/meminfo: memFree=29944648/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
[pid=15648] ppid=15647 vsize=11520 CPUtime=489.76 cores=0,2,4,6
/proc/15648/stat : 15648 (npSolver-pbo) S 15647 15647 15254 0 -1 4202496 25745 87834 0 0 56 7 48880 33 20 0 1 0 376129324 11796480 2220 33554432000 4194304 6004724 140734245530352 140734245516200 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15648/statm: 2880 2220 183 442 0 2434 0
[pid=15750] ppid=15648 vsize=214084 CPUtime=1232.08 cores=0,2,4,6
/proc/15750/stat : 15750 (glucosInc) R 15648 15647 15254 0 -1 4202496 34969 0 0 0 123152 56 0 0 20 0 1 0 376178322 219222016 40548 33554432000 4194304 5654031 140737381082352 140737381070168 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15750/statm: 53521 40548 141 357 0 53161 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 234752

[startup+1782.3 s]
/proc/loadavg: 2.07 2.06 1.96 3/181 15760
/proc/meminfo: memFree=29956816/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
[pid=15648] ppid=15647 vsize=11520 CPUtime=489.76 cores=0,2,4,6
/proc/15648/stat : 15648 (npSolver-pbo) S 15647 15647 15254 0 -1 4202496 25745 87834 0 0 56 7 48880 33 20 0 1 0 376129324 11796480 2220 33554432000 4194304 6004724 140734245530352 140734245516200 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15648/statm: 2880 2220 183 442 0 2434 0
[pid=15750] ppid=15648 vsize=163996 CPUtime=1292.07 cores=0,2,4,6
/proc/15750/stat : 15750 (glucosInc) R 15648 15647 15254 0 -1 4202496 35970 0 0 0 129149 58 0 0 20 0 1 0 376178322 167931904 38273 33554432000 4194304 5654031 140737381082352 140737381070168 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15750/statm: 40999 38273 141 357 0 40639 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 184664



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.05 2.05 1.96 3/181 15760
/proc/meminfo: memFree=29928456/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
[pid=15648] ppid=15647 vsize=11520 CPUtime=489.76 cores=0,2,4,6
/proc/15648/stat : 15648 (npSolver-pbo) S 15647 15647 15254 0 -1 4202496 25745 87834 0 0 56 7 48880 33 20 0 1 0 376129324 11796480 2220 33554432000 4194304 6004724 140734245530352 140734245516200 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15648/statm: 2880 2220 183 442 0 2434 0
[pid=15750] ppid=15648 vsize=214084 CPUtime=1310.27 cores=0,2,4,6
/proc/15750/stat : 15750 (glucosInc) R 15648 15647 15254 0 -1 4202496 36280 0 0 0 130969 58 0 0 20 0 1 0 376178322 219222016 42670 33554432000 4194304 5654031 140737381082352 140737381070168 4215344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15750/statm: 53521 42670 141 357 0 53161 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 234752

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.5 s]
/proc/loadavg: 2.05 2.05 1.96 3/181 15760
/proc/meminfo: memFree=29928456/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
[pid=15648] ppid=15647 vsize=11520 CPUtime=489.76 cores=0,2,4,6
/proc/15648/stat : 15648 (npSolver-pbo) S 15647 15647 15254 0 -1 4202496 25745 87834 0 0 56 7 48880 33 20 0 1 0 376129324 11796480 2220 33554432000 4194304 6004724 140734245530352 140734245516200 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15648/statm: 2880 2220 183 442 0 2434 0
[pid=15750] ppid=15648 vsize=214084 CPUtime=1310.27 cores=0,2,4,6
/proc/15750/stat : 15750 (glucosInc) R 15648 15647 15254 0 -1 4202496 36280 0 0 0 130969 58 0 0 20 0 1 0 376178322 219222016 42670 33554432000 4194304 5654031 140737381082352 140737381070168 4215344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15750/statm: 53521 42670 141 357 0 53161 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 234752

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15647 and gives
#  childrusage.ru_utime.tv_sec=489
#  childrusage.ru_utime.tv_usec=370604
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=411937
# CPU time returned by wait4() is 489.783
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.05
CPU system time (s): 0.98
CPU usage (%): 99.9732
Max. virtual memory (cumulated for all children) (KiB): 314892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 489.371
system time used= 0.411937
maximum resident set size= 122056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113954
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 487
involuntary context switches= 1313

runsolver used 6.96894 second user time and 17.8653 second system time

The end

Launcher Data

Begin job on node103 at 2012-06-07 22:13:27
IDJOB=3747243
IDBENCH=2229
IDSOLVER=2332
FILE ID=node103/3747243-1339100007
RUNJOBID= node103-1339098177-15270
PBS_JOBID= 14643750
Free space on /tmp= 71148 MiB

SOLVER NAME= npSolver inc-topDown
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:98.opb
COMMAND LINE= DIR/npSolver-pbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3747243-1339100007/watcher-3747243-1339100007 -o /tmp/evaluation-result-3747243-1339100007/solver-3747243-1339100007 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo-Itd.sh HOME/instance-3747243-1339100007.opb 829369486 HOME HOME

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

MD5SUM BENCH= 09000b526c4cf3fc454b31cbb57a970b
RANDOM SEED=829369486

node103.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5411.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29489996 kB
Buffers:          250260 kB
Cached:          1563404 kB
SwapCached:         5468 kB
Active:          1207752 kB
Inactive:        1390076 kB
Active(anon):     780932 kB
Inactive(anon):     5816 kB
Active(file):     426820 kB
Inactive(file):  1384260 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67096900 kB
Dirty:              8544 kB
Writeback:             0 kB
AnonPages:        795652 kB
Mapped:            10284 kB
Shmem:                 0 kB
Slab:             640316 kB
SReclaimable:      80776 kB
SUnreclaim:       559540 kB
KernelStack:        1456 kB
PageTables:         5276 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1095684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    405504 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71208 MiB
End job on node103 at 2012-06-07 22:43:28