Trace number 3747144

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.09 1801.02

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ10_3.opb
MD5SUM2821538067d8c071dc9bd4a000c6d040
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark334
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 340
Optimality of the best value was proved NO
Number of variables2700
Total number of constraints42620
Number of constraints which are clauses20220
Number of constraints which are cardinality constraints (but not clauses)800
Number of constraints which are nor clauses,nor cardinality constraints21600
Minimum length of a constraint2
Maximum length of a constraint36
Number of terms in the objective function 900
Biggest coefficient in the objective function 5
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 2500
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 2500
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.25	c old isEQ: 88, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.30	c old isEQ: 20, new EQ is 0
0.00/0.30	c old isEQ: 0, new EQ is 0
0.00/0.30	c old isEQ: 0, new EQ is 0
0.00/0.30	c old isEQ: 0, new EQ is 0
0.00/0.30	c old isEQ: 0, new EQ is 0
0.00/0.30	c old isEQ: 0, new EQ is 0
0.00/0.30	c old isEQ: 0, new EQ is 0
0.00/0.30	c old isEQ: 0, new EQ is 0
0.00/0.30	c old isEQ: 0, new EQ is 0
0.00/0.30	c old isEQ: 0, new EQ is 0
0.00/0.30	c old isEQ: 0, new EQ is 0
0.00/0.30	c old isEQ: 0, new EQ is 0
0.00/0.30	c old isEQ: 0, new EQ is 0
0.00/0.30	c old isEQ: 0, new EQ is 0
0.00/0.30	c old isEQ: 0, new EQ is 0
0.00/0.30	c old isEQ: 0, new EQ is 0
0.00/0.30	c old isEQ: 0, new EQ is 0
0.00/0.30	c old isEQ: 0, new EQ is 0
0.00/0.30	c old isEQ: 0, new EQ is 0
0.00/0.30	c old isEQ: 0, new EQ is 0
0.00/0.47	c run inc solver
0.00/0.47	c [INC SYSTEM] run initial solver
0.00/0.47	c [INC SYSTEM] preprocess with white file
6.28/6.39	c [INC SYSTEM] finished preprocessing in 5 s
6.28/6.39	c [INC SYSTEM] execute solver
6.66/6.76	c [INC SEARCH] formula is SAT
6.66/6.77	c [INC SYSTEM] solved the initial formula
6.76/6.88	c model valid
6.76/6.88	c current solution ok
7.67/7.78	o 392
7.67/7.78	c [INC SYSTEM] there exists a inc, kill it!
7.67/7.78	c write failed with 2
7.67/7.78	c [INC SEARCH] iteration: 0
7.67/7.78	c [INC BOUNDS] best value:392 search for 391
7.67/7.78	c [INC SYSTEM] create new solver instance
7.67/7.78	c [INC] encode full formula
7.67/7.78	c fallback to adder encoding
7.78/7.83	c set iterative enc to: adder
7.78/7.83	c set iterative enc to: none
7.78/7.85	c [INC SEARCH] isOptimum variable: 0
7.84/8.46	c formula is SAT
7.84/8.47	c [INC SEARCH] copied best model
7.84/8.47	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
7.88/8.59	c model valid
7.88/8.59	c current solution ok
7.88/8.59	o 386
7.88/8.59	c [INC SEARCH] iteration: 1
7.88/8.59	c [INC BOUNDS] best value:386 search for 385
7.88/8.59	c [INC SYSTEM] there exists a inc, kill it!
7.88/8.59	c write failed with 2
7.88/8.59	c [INC SYSTEM] create new solver instance
7.88/8.59	c [INC] encode full formula
7.88/8.59	c fallback to adder encoding
8.59/8.64	c set iterative enc to: adder
8.59/8.64	c set iterative enc to: none
8.59/8.66	c [INC SEARCH] isOptimum variable: 0
10.48/10.57	c formula is SAT
10.48/10.58	c [INC SEARCH] copied best model
10.73/10.87	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
10.73/10.87	c model valid
10.73/10.87	c current solution ok
10.73/10.87	o 376
10.73/10.87	c [INC SEARCH] iteration: 2
10.73/10.87	c [INC BOUNDS] best value:376 search for 375
10.73/10.87	c [INC SYSTEM] there exists a inc, kill it!
10.73/10.87	c write failed with 2
10.73/10.87	c [INC SYSTEM] create new solver instance
10.73/10.87	c [INC] encode full formula
10.73/10.87	c fallback to adder encoding
10.73/10.87	c set iterative enc to: adder
10.73/10.87	c set iterative enc to: none
10.73/11.35	c [INC SEARCH] isOptimum variable: 0
14.08/14.72	c formula is SAT
14.08/14.74	c [INC SEARCH] copied best model
14.08/14.74	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
14.19/14.86	c model valid
14.19/14.86	c current solution ok
14.19/14.86	o 374
14.19/14.86	c [INC SEARCH] iteration: 3
14.19/14.86	c [INC BOUNDS] best value:374 search for 373
14.19/14.86	c [INC SYSTEM] there exists a inc, kill it!
14.19/14.86	c write failed with 2
14.19/14.86	c [INC SYSTEM] create new solver instance
14.19/14.86	c [INC] encode full formula
14.19/14.86	c fallback to adder encoding
14.32/14.90	c set iterative enc to: adder
14.32/14.90	c set iterative enc to: none
14.32/14.93	c [INC SEARCH] isOptimum variable: 0
52.89/53.55	c formula is SAT
52.89/53.57	c [INC SEARCH] copied best model
52.89/53.57	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
52.98/53.68	c model valid
52.98/53.68	c current solution ok
52.98/53.68	o 372
52.98/53.68	c [INC SEARCH] iteration: 4
52.98/53.68	c [INC BOUNDS] best value:372 search for 371
52.98/53.68	c [INC SYSTEM] there exists a inc, kill it!
52.98/53.68	c write failed with 2
52.98/53.69	c [INC SYSTEM] create new solver instance
52.98/53.69	c [INC] encode full formula
52.98/53.69	c fallback to adder encoding
53.12/53.73	c set iterative enc to: adder
53.12/53.73	c set iterative enc to: none
53.12/53.75	c [INC SEARCH] isOptimum variable: 0
97.09/97.70	c formula is SAT
97.09/97.72	c [INC SEARCH] copied best model
97.09/97.72	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
97.20/97.83	c model valid
97.20/97.83	c current solution ok
97.20/97.83	o 370
97.20/97.83	c [INC SEARCH] iteration: 5
97.20/97.83	c [INC BOUNDS] best value:370 search for 369
97.20/97.83	c [INC SYSTEM] there exists a inc, kill it!
97.20/97.83	c write failed with 2
97.20/97.84	c [INC SYSTEM] create new solver instance
97.20/97.84	c [INC] encode full formula
97.40/98.01	c set iterative enc to: swc
97.40/98.05	c [INC SEARCH] isOptimum variable: 0
140.08/140.72	c formula is SAT
140.08/140.75	c [INC SEARCH] copied best model
140.08/140.75	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
140.18/140.87	c model valid
140.18/140.87	c current solution ok
140.18/140.87	o 368
140.18/140.87	c [INC SEARCH] iteration: 6
140.18/140.87	c [INC BOUNDS] best value:368 search for 367
140.18/140.87	c [INC ENCODE] setup new number of clauses ...
140.18/140.87	c [INC] encode incremental formula
140.18/140.87	c return only the limitting unit clause for 367
140.18/140.87	c [INC SYSTEM] transmit new clauses to solver: 1
140.18/140.87	c [INC SEARCH] isOptimum variable: 0
217.63/218.38	c formula is SAT
217.73/218.41	c [INC SEARCH] copied best model
217.73/218.41	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
217.83/218.53	c model valid
217.83/218.53	c current solution ok
217.83/218.53	o 366
217.83/218.53	c [INC SEARCH] iteration: 7
217.83/218.53	c [INC BOUNDS] best value:366 search for 365
217.83/218.53	c [INC ENCODE] setup new number of clauses ...
217.83/218.53	c [INC] encode incremental formula
217.83/218.53	c return only the limitting unit clause for 365
217.83/218.53	c [INC SYSTEM] transmit new clauses to solver: 1
217.83/218.53	c [INC SEARCH] isOptimum variable: 0
230.84/231.57	c formula is SAT
230.94/231.60	c [INC SEARCH] copied best model
230.94/231.60	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
231.04/231.72	c model valid
231.04/231.72	c current solution ok
231.04/231.72	o 364
231.04/231.72	c [INC SEARCH] iteration: 8
231.04/231.72	c [INC BOUNDS] best value:364 search for 363
231.04/231.72	c [INC ENCODE] setup new number of clauses ...
231.04/231.72	c [INC] encode incremental formula
231.04/231.72	c return only the limitting unit clause for 363
231.04/231.72	c [INC SYSTEM] transmit new clauses to solver: 1
231.04/231.72	c [INC SEARCH] isOptimum variable: 0
275.52/276.25	c formula is SAT
275.52/276.28	c [INC SEARCH] copied best model
275.52/276.28	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
275.73/276.40	c model valid
275.73/276.40	c current solution ok
275.73/276.40	o 362
275.73/276.40	c [INC SEARCH] iteration: 9
275.73/276.40	c [INC BOUNDS] best value:362 search for 361
275.73/276.40	c [INC ENCODE] setup new number of clauses ...
275.73/276.40	c [INC] encode incremental formula
275.73/276.40	c return only the limitting unit clause for 361
275.73/276.40	c [INC SYSTEM] transmit new clauses to solver: 1
275.73/276.40	c [INC SEARCH] isOptimum variable: 0
276.23/276.93	c formula is SAT
276.23/276.96	c [INC SEARCH] copied best model
276.23/276.96	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
276.33/277.08	c model valid
276.33/277.08	c current solution ok
276.33/277.08	o 360
276.33/277.08	c [INC SEARCH] iteration: 10
276.33/277.08	c [INC BOUNDS] best value:360 search for 359
276.33/277.08	c [INC ENCODE] setup new number of clauses ...
276.33/277.08	c [INC] encode incremental formula
276.33/277.08	c return only the limitting unit clause for 359
276.33/277.08	c [INC SYSTEM] transmit new clauses to solver: 1
276.33/277.08	c [INC SEARCH] isOptimum variable: 0
472.80/473.50	c formula is SAT
472.80/473.53	c [INC SEARCH] copied best model
472.80/473.53	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
472.90/473.65	c model valid
472.90/473.65	c current solution ok
472.90/473.65	o 354
472.90/473.65	c [INC SEARCH] iteration: 11
472.90/473.65	c [INC BOUNDS] best value:354 search for 353
472.90/473.65	c [INC ENCODE] setup new number of clauses ...
472.90/473.65	c [INC] encode incremental formula
472.90/473.65	c return only the limitting unit clause for 353
472.90/473.65	c [INC SYSTEM] transmit new clauses to solver: 1
472.90/473.65	c [INC SEARCH] isOptimum variable: 0
473.31/474.07	c formula is SAT
473.41/474.11	c [INC SEARCH] copied best model
473.41/474.11	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
473.51/474.22	c model valid
473.51/474.22	c current solution ok
473.51/474.22	o 352
473.51/474.22	c [INC SEARCH] iteration: 12
473.51/474.22	c [INC BOUNDS] best value:352 search for 351
473.51/474.22	c [INC ENCODE] setup new number of clauses ...
473.51/474.22	c [INC] encode incremental formula
473.51/474.22	c return only the limitting unit clause for 351
473.51/474.22	c [INC SYSTEM] transmit new clauses to solver: 1
473.51/474.22	c [INC SEARCH] isOptimum variable: 0
669.27/670.09	c formula is SAT
669.38/670.13	c [INC SEARCH] copied best model
669.38/670.13	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
669.48/670.24	c model valid
669.48/670.24	c current solution ok
669.48/670.24	o 350
669.48/670.24	c [INC SEARCH] iteration: 13
669.48/670.24	c [INC BOUNDS] best value:350 search for 349
669.48/670.24	c [INC ENCODE] setup new number of clauses ...
669.48/670.24	c [INC] encode incremental formula
669.48/670.24	c return only the limitting unit clause for 349
669.48/670.24	c [INC SYSTEM] transmit new clauses to solver: 1
669.48/670.24	c [INC SEARCH] isOptimum variable: 0
1540.03/1540.95	c formula is SAT
1540.03/1540.98	c [INC SEARCH] copied best model
1540.03/1540.98	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1540.14/1541.10	c model valid
1540.14/1541.10	c current solution ok
1540.14/1541.10	o 348
1540.14/1541.10	c [INC SEARCH] iteration: 14
1540.14/1541.10	c [INC BOUNDS] best value:348 search for 347
1540.14/1541.10	c [INC ENCODE] setup new number of clauses ...
1540.14/1541.10	c [INC] encode incremental formula
1540.14/1541.10	c return only the limitting unit clause for 347
1540.14/1541.10	c [INC SYSTEM] transmit new clauses to solver: 1
1540.14/1541.10	c [INC SEARCH] isOptimum variable: 0
1800.09/1801.01	HOME/npSolver-pbo-Itd.sh: line 18: 21629 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-3747144-1339099979/watcher-3747144-1339099979 -o /tmp/evaluation-result-3747144-1339099979/solver-3747144-1339099979 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747144-1339099979.opb 1295137325 HOME HOME 

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

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


[startup+0 s]
/proc/loadavg: 2.00 1.97 1.68 3/175 21628
/proc/meminfo: memFree=27658512/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0

[startup+0.0432179 s]
/proc/loadavg: 2.00 1.97 1.68 3/175 21628
/proc/meminfo: memFree=27658512/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100237 s]
/proc/loadavg: 2.00 1.97 1.68 3/175 21628
/proc/meminfo: memFree=27658512/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30027 s]
/proc/loadavg: 2.00 1.97 1.68 3/175 21628
/proc/meminfo: memFree=27658512/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700271 s]
/proc/loadavg: 2.00 1.97 1.68 3/175 21628
/proc/meminfo: memFree=27658512/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50042 s]
/proc/loadavg: 2.00 1.97 1.68 3/181 21634
/proc/meminfo: memFree=27367956/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
[pid=21629] ppid=21628 vsize=37784 CPUtime=0.47 cores=1,3,5,7
/proc/21629/stat : 21629 (npSolver-pbo) S 21628 21628 21457 0 -1 4202496 9306 0 0 0 44 3 0 0 20 0 1 0 376123800 38690816 9004 33554432000 4194304 6004724 140733563700704 140733563695168 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21629/statm: 9446 9004 164 442 0 9000 0
[pid=21633] ppid=21629 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21633/stat : 21633 (cp2_pre.sh) S 21629 21628 21457 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 376123847 9367552 277 33554432000 4194304 5064252 140734926152528 140734926151232 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21633/statm: 2287 277 234 213 0 72 0
[pid=21634] ppid=21633 vsize=154564 CPUtime=1.01 cores=1,3,5,7
/proc/21634/stat : 21634 (coprocessor) R 21633 21628 21457 0 -1 4202496 28118 0 0 0 95 6 0 0 20 0 1 0 376123847 158273536 37842 33554432000 4194304 6586260 140733354068880 140733354065144 4676458 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/21634/statm: 38641 37842 191 584 0 38053 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 210644

[startup+3.10042 s]
/proc/loadavg: 2.00 1.97 1.68 3/181 21634
/proc/meminfo: memFree=27324252/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
[pid=21629] ppid=21628 vsize=37784 CPUtime=0.47 cores=1,3,5,7
/proc/21629/stat : 21629 (npSolver-pbo) S 21628 21628 21457 0 -1 4202496 9306 0 0 0 44 3 0 0 20 0 1 0 376123800 38690816 9004 33554432000 4194304 6004724 140733563700704 140733563695168 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21629/statm: 9446 9004 164 442 0 9000 0
[pid=21633] ppid=21629 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21633/stat : 21633 (cp2_pre.sh) S 21629 21628 21457 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 376123847 9367552 277 33554432000 4194304 5064252 140734926152528 140734926151232 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21633/statm: 2287 277 234 213 0 72 0
[pid=21634] ppid=21633 vsize=154564 CPUtime=2.61 cores=1,3,5,7
/proc/21634/stat : 21634 (coprocessor) R 21633 21628 21457 0 -1 4202496 28118 0 0 0 255 6 0 0 20 0 1 0 376123847 158273536 37842 33554432000 4194304 6586260 140733354068880 140733354064744 5599305 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/21634/statm: 38641 37842 191 584 0 38053 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 210644

[startup+6.30031 s]
/proc/loadavg: 2.00 1.97 1.68 3/181 21634
/proc/meminfo: memFree=27323012/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
[pid=21629] ppid=21628 vsize=37784 CPUtime=0.47 cores=1,3,5,7
/proc/21629/stat : 21629 (npSolver-pbo) S 21628 21628 21457 0 -1 4202496 9306 0 0 0 44 3 0 0 20 0 1 0 376123800 38690816 9004 33554432000 4194304 6004724 140733563700704 140733563695168 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21629/statm: 9446 9004 164 442 0 9000 0
[pid=21633] ppid=21629 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21633/stat : 21633 (cp2_pre.sh) S 21629 21628 21457 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 376123847 9367552 277 33554432000 4194304 5064252 140734926152528 140734926151232 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21633/statm: 2287 277 234 213 0 72 0
[pid=21634] ppid=21633 vsize=154568 CPUtime=5.81 cores=1,3,5,7
/proc/21634/stat : 21634 (coprocessor) R 21633 21628 21457 0 -1 4202496 28527 0 0 0 570 11 0 0 20 0 1 0 376123847 158277632 37860 33554432000 4194304 6586260 140733354068880 140733354064744 4557929 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/21634/statm: 38642 37860 198 584 0 38054 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 210648

[startup+12.7004 s]
/proc/loadavg: 2.00 1.97 1.68 3/179 21650
/proc/meminfo: memFree=27448704/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
[pid=21629] ppid=21628 vsize=41880 CPUtime=10.76 cores=1,3,5,7
/proc/21629/stat : 21629 (npSolver-pbo) S 21628 21628 21457 0 -1 4202496 20569 74626 0 0 112 79 855 30 20 0 1 0 376123800 42885120 9950 33554432000 4194304 6004724 140733563700704 140733563686552 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21629/statm: 10470 9950 182 442 0 10024 0
[pid=21650] ppid=21629 vsize=70188 CPUtime=1.33 cores=1,3,5,7
/proc/21650/stat : 21650 (glucosInc) R 21629 21628 21457 0 -1 4202496 14328 0 0 0 130 3 0 0 20 0 1 0 376124935 71872512 16172 33554432000 4194304 5654031 140733554042240 140733554030056 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21650/statm: 17547 16172 140 357 0 17187 0
Current children cumulated CPU time (s) 12.09
Current children cumulated vsize (KiB) 121216

[startup+25.5004 s]
/proc/loadavg: 2.00 1.97 1.68 3/179 21654
/proc/meminfo: memFree=27404632/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
[pid=21629] ppid=21628 vsize=41880 CPUtime=14.34 cores=1,3,5,7
/proc/21629/stat : 21629 (npSolver-pbo) S 21628 21628 21457 0 -1 4202496 24512 90782 0 0 130 80 1188 36 20 0 1 0 376123800 42885120 9950 33554432000 4194304 6004724 140733563700704 140733563686552 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21629/statm: 10470 9950 182 442 0 10024 0
[pid=21652] ppid=21629 vsize=100676 CPUtime=10.56 cores=1,3,5,7
/proc/21652/stat : 21652 (glucosInc) R 21629 21628 21457 0 -1 4202496 16813 0 0 0 1052 4 0 0 20 0 1 0 376125293 103092224 23213 33554432000 4194304 5654031 140735363392864 140735363390664 4215091 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21652/statm: 25169 23213 141 357 0 24809 0
Current children cumulated CPU time (s) 24.9
Current children cumulated vsize (KiB) 151704

[startup+51.1003 s]
/proc/loadavg: 2.00 1.97 1.69 3/179 21658
/proc/meminfo: memFree=27410336/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
[pid=21629] ppid=21628 vsize=41880 CPUtime=14.34 cores=1,3,5,7
/proc/21629/stat : 21629 (npSolver-pbo) S 21628 21628 21457 0 -1 4202496 24512 90782 0 0 130 80 1188 36 20 0 1 0 376123800 42885120 9950 33554432000 4194304 6004724 140733563700704 140733563686552 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21629/statm: 10470 9950 182 442 0 10024 0
[pid=21652] ppid=21629 vsize=100676 CPUtime=36.15 cores=1,3,5,7
/proc/21652/stat : 21652 (glucosInc) R 21629 21628 21457 0 -1 4202496 16872 0 0 0 3611 4 0 0 20 0 1 0 376125293 103092224 23906 33554432000 4194304 5654031 140735363392864 140735363380680 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21652/statm: 25169 23906 141 357 0 24809 0
Current children cumulated CPU time (s) 50.49
Current children cumulated vsize (KiB) 151704

[startup+102.307 s]
/proc/loadavg: 2.00 1.97 1.71 3/179 21664
/proc/meminfo: memFree=27327720/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
[pid=21629] ppid=21628 vsize=50740 CPUtime=97.45 cores=1,3,5,7
/proc/21629/stat : 21629 (npSolver-pbo) S 21628 21628 21457 0 -1 4202496 33491 126470 0 0 178 84 9433 50 20 0 1 0 376123800 51957760 12264 33554432000 4194304 6004724 140733563700704 140733563686552 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21629/statm: 12685 12264 184 442 0 12239 0
[pid=21664] ppid=21629 vsize=168360 CPUtime=4.23 cores=1,3,5,7
/proc/21664/stat : 21664 (glucosInc) R 21629 21628 21457 0 -1 4202496 31309 0 0 0 417 6 0 0 20 0 1 0 376133605 172400640 36940 33554432000 4194304 5654031 140734587987280 140734587985064 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21664/statm: 42090 36940 141 357 0 41730 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 228248

[startup+162.3 s]
/proc/loadavg: 2.00 1.97 1.72 3/179 21665
/proc/meminfo: memFree=27286784/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
[pid=21629] ppid=21628 vsize=54252 CPUtime=97.63 cores=1,3,5,7
/proc/21629/stat : 21629 (npSolver-pbo) S 21628 21628 21457 0 -1 4202496 37278 126470 0 0 195 85 9433 50 20 0 1 0 376123800 55554048 13143 33554432000 4194304 6004724 140733563700704 140733563686552 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21629/statm: 13563 13143 185 442 0 13117 0
[pid=21664] ppid=21629 vsize=173208 CPUtime=64.04 cores=1,3,5,7
/proc/21664/stat : 21664 (glucosInc) R 21629 21628 21457 0 -1 4202496 34204 0 0 0 6395 9 0 0 20 0 1 0 376133605 177364992 38559 33554432000 4194304 5654031 140734587987280 140734587975096 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21664/statm: 43302 38559 152 357 0 42942 0
Current children cumulated CPU time (s) 161.67
Current children cumulated vsize (KiB) 236608

[startup+222.3 s]
/proc/loadavg: 2.00 1.97 1.74 3/179 21667
/proc/meminfo: memFree=27232140/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
[pid=21629] ppid=21628 vsize=56756 CPUtime=97.79 cores=1,3,5,7

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

/proc/loadavg: 2.00 2.00 1.90 3/179 21682
/proc/meminfo: memFree=27105624/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
[pid=21629] ppid=21628 vsize=56756 CPUtime=98.8 cores=1,3,5,7
/proc/21629/stat : 21629 (npSolver-pbo) S 21628 21628 21457 0 -1 4202496 38320 126470 0 0 310 87 9433 50 20 0 1 0 376123800 58118144 13868 33554432000 4194304 6004724 140733563700704 140733563686552 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21629/statm: 14189 13868 185 442 0 13743 0
[pid=21664] ppid=21629 vsize=284620 CPUtime=1202.68 cores=1,3,5,7
/proc/21664/stat : 21664 (glucosInc) R 21629 21628 21457 0 -1 4202496 40787 0 0 0 120240 28 0 0 20 0 1 0 376133605 291450880 68098 33554432000 4194304 5654031 140734587987280 140734587975096 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21664/statm: 71155 68098 152 357 0 70795 0
Current children cumulated CPU time (s) 1301.48
Current children cumulated vsize (KiB) 350524

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/178 21682
/proc/meminfo: memFree=27159848/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
[pid=21629] ppid=21628 vsize=56756 CPUtime=98.8 cores=1,3,5,7
/proc/21629/stat : 21629 (npSolver-pbo) S 21628 21628 21457 0 -1 4202496 38320 126470 0 0 310 87 9433 50 20 0 1 0 376123800 58118144 13868 33554432000 4194304 6004724 140733563700704 140733563686552 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21629/statm: 14189 13868 185 442 0 13743 0
[pid=21664] ppid=21629 vsize=253800 CPUtime=1262.67 cores=1,3,5,7
/proc/21664/stat : 21664 (glucosInc) R 21629 21628 21457 0 -1 4202496 41696 0 0 0 126236 31 0 0 20 0 1 0 376133605 259891200 57791 33554432000 4194304 5654031 140734587987280 140734587975096 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21664/statm: 63450 57791 152 357 0 63090 0
Current children cumulated CPU time (s) 1361.47
Current children cumulated vsize (KiB) 319704

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21683
/proc/meminfo: memFree=27123608/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
[pid=21629] ppid=21628 vsize=56756 CPUtime=98.8 cores=1,3,5,7
/proc/21629/stat : 21629 (npSolver-pbo) S 21628 21628 21457 0 -1 4202496 38320 126470 0 0 310 87 9433 50 20 0 1 0 376123800 58118144 13868 33554432000 4194304 6004724 140733563700704 140733563686552 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21629/statm: 14189 13868 185 442 0 13743 0
[pid=21664] ppid=21629 vsize=284620 CPUtime=1322.66 cores=1,3,5,7
/proc/21664/stat : 21664 (glucosInc) R 21629 21628 21457 0 -1 4202496 42287 0 0 0 132234 32 0 0 20 0 1 0 376133605 291450880 61954 33554432000 4194304 5654031 140734587987280 140734587975096 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21664/statm: 71155 61954 152 357 0 70795 0
Current children cumulated CPU time (s) 1421.46
Current children cumulated vsize (KiB) 350524

[startup+1482.3 s]
/proc/loadavg: 2.08 2.02 1.91 3/179 21683
/proc/meminfo: memFree=27125636/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
[pid=21629] ppid=21628 vsize=56756 CPUtime=98.8 cores=1,3,5,7
/proc/21629/stat : 21629 (npSolver-pbo) S 21628 21628 21457 0 -1 4202496 38320 126470 0 0 310 87 9433 50 20 0 1 0 376123800 58118144 13868 33554432000 4194304 6004724 140733563700704 140733563686552 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21629/statm: 14189 13868 185 442 0 13743 0
[pid=21664] ppid=21629 vsize=284620 CPUtime=1382.65 cores=1,3,5,7
/proc/21664/stat : 21664 (glucosInc) R 21629 21628 21457 0 -1 4202496 42309 0 0 0 138233 32 0 0 20 0 1 0 376133605 291450880 66562 33554432000 4194304 5654031 140734587987280 140734587975096 4208595 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21664/statm: 71155 66562 152 357 0 70795 0
Current children cumulated CPU time (s) 1481.45
Current children cumulated vsize (KiB) 350524

[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 1.91 3/179 21683
/proc/meminfo: memFree=27205804/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
[pid=21629] ppid=21628 vsize=56756 CPUtime=98.96 cores=1,3,5,7
/proc/21629/stat : 21629 (npSolver-pbo) S 21628 21628 21457 0 -1 4202496 38320 126470 0 0 326 87 9433 50 20 0 1 0 376123800 58118144 13868 33554432000 4194304 6004724 140733563700704 140733563686552 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21629/statm: 14189 13868 185 442 0 13743 0
[pid=21664] ppid=21629 vsize=204480 CPUtime=1442.48 cores=1,3,5,7
/proc/21664/stat : 21664 (glucosInc) R 21629 21628 21457 0 -1 4202496 43224 0 0 0 144213 35 0 0 20 0 1 0 376133605 209387520 48506 33554432000 4194304 5654031 140734587987280 140734587975096 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21664/statm: 51120 48506 152 357 0 50760 0
Current children cumulated CPU time (s) 1541.44
Current children cumulated vsize (KiB) 270384

[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 21683
/proc/meminfo: memFree=27152920/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
[pid=21629] ppid=21628 vsize=56756 CPUtime=98.96 cores=1,3,5,7
/proc/21629/stat : 21629 (npSolver-pbo) S 21628 21628 21457 0 -1 4202496 38320 126470 0 0 326 87 9433 50 20 0 1 0 376123800 58118144 13868 33554432000 4194304 6004724 140733563700704 140733563686552 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21629/statm: 14189 13868 185 442 0 13743 0
[pid=21664] ppid=21629 vsize=253800 CPUtime=1502.47 cores=1,3,5,7
/proc/21664/stat : 21664 (glucosInc) R 21629 21628 21457 0 -1 4202496 43312 0 0 0 150211 36 0 0 20 0 1 0 376133605 259891200 58303 33554432000 4194304 5654031 140734587987280 140734587975096 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21664/statm: 63450 58303 152 357 0 63090 0
Current children cumulated CPU time (s) 1601.43
Current children cumulated vsize (KiB) 319704

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/180 21686
/proc/meminfo: memFree=27138604/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
[pid=21629] ppid=21628 vsize=56756 CPUtime=98.96 cores=1,3,5,7
/proc/21629/stat : 21629 (npSolver-pbo) S 21628 21628 21457 0 -1 4202496 38320 126470 0 0 326 87 9433 50 20 0 1 0 376123800 58118144 13868 33554432000 4194304 6004724 140733563700704 140733563686552 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21629/statm: 14189 13868 185 442 0 13743 0
[pid=21664] ppid=21629 vsize=284620 CPUtime=1562.45 cores=1,3,5,7
/proc/21664/stat : 21664 (glucosInc) R 21629 21628 21457 0 -1 4202496 43901 0 0 0 156208 37 0 0 20 0 1 0 376133605 291450880 62466 33554432000 4194304 5654031 140734587987280 140734587975096 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21664/statm: 71155 62466 152 357 0 70795 0
Current children cumulated CPU time (s) 1661.41
Current children cumulated vsize (KiB) 350524

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21687
/proc/meminfo: memFree=27118432/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
[pid=21629] ppid=21628 vsize=56756 CPUtime=98.96 cores=1,3,5,7
/proc/21629/stat : 21629 (npSolver-pbo) S 21628 21628 21457 0 -1 4202496 38320 126470 0 0 326 87 9433 50 20 0 1 0 376123800 58118144 13868 33554432000 4194304 6004724 140733563700704 140733563686552 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21629/statm: 14189 13868 185 442 0 13743 0
[pid=21664] ppid=21629 vsize=284620 CPUtime=1622.45 cores=1,3,5,7
/proc/21664/stat : 21664 (glucosInc) R 21629 21628 21457 0 -1 4202496 43908 0 0 0 162207 38 0 0 20 0 1 0 376133605 291450880 66050 33554432000 4194304 5654031 140734587987280 140734587975096 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21664/statm: 71155 66050 152 357 0 70795 0
Current children cumulated CPU time (s) 1721.41
Current children cumulated vsize (KiB) 350524

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21687
/proc/meminfo: memFree=27093436/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
[pid=21629] ppid=21628 vsize=56756 CPUtime=98.96 cores=1,3,5,7
/proc/21629/stat : 21629 (npSolver-pbo) S 21628 21628 21457 0 -1 4202496 38320 126470 0 0 326 87 9433 50 20 0 1 0 376123800 58118144 13868 33554432000 4194304 6004724 140733563700704 140733563686552 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21629/statm: 14189 13868 185 442 0 13743 0
[pid=21664] ppid=21629 vsize=334708 CPUtime=1682.44 cores=1,3,5,7
/proc/21664/stat : 21664 (glucosInc) R 21629 21628 21457 0 -1 4202496 44739 0 0 0 168205 39 0 0 20 0 1 0 376133605 342740992 69935 33554432000 4194304 5654031 140734587987280 140734587975096 4216427 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21664/statm: 83677 69935 152 357 0 83317 0
Current children cumulated CPU time (s) 1781.4
Current children cumulated vsize (KiB) 400612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21731
/proc/meminfo: memFree=27335776/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
[pid=21629] ppid=21628 vsize=56756 CPUtime=98.96 cores=1,3,5,7
/proc/21629/stat : 21629 (npSolver-pbo) S 21628 21628 21457 0 -1 4202496 38320 126470 0 0 326 87 9433 50 20 0 1 0 376123800 58118144 13868 33554432000 4194304 6004724 140733563700704 140733563686552 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21629/statm: 14189 13868 185 442 0 13743 0
[pid=21664] ppid=21629 vsize=334708 CPUtime=1701.13 cores=1,3,5,7
/proc/21664/stat : 21664 (glucosInc) R 21629 21628 21457 0 -1 4202496 44756 0 0 0 170074 39 0 0 20 0 1 0 376133605 342740992 71471 33554432000 4194304 5654031 140734587987280 140734587975096 4208595 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21664/statm: 83677 71471 152 357 0 83317 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 400612

Sending SIGTERM to process tree (bottom up)

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21628 and gives
#  childrusage.ru_utime.tv_sec=97
#  childrusage.ru_utime.tv_usec=601162
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=382789
# CPU time returned by wait4() is 98.984
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1801.02
CPU time (s): 1800.09
CPU user time (s): 1798.33
CPU system time (s): 1.76
CPU usage (%): 99.9486
Max. virtual memory (cumulated for all children) (KiB): 400612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 97.6012
system time used= 1.38279
maximum resident set size= 157080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165164
page faults= 0
swaps= 0
block input operations= 0
block output operations= 204464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12137
involuntary context switches= 151

runsolver used 6.80896 second user time and 19.1541 second system time

The end

Launcher Data

Begin job on node128 at 2012-06-07 22:12:59
IDJOB=3747144
IDBENCH=2013
IDSOLVER=2332
FILE ID=node128/3747144-1339099979
RUNJOBID= node128-1339098176-21474
PBS_JOBID= 14643725
Free space on /tmp= 70800 MiB

SOLVER NAME= npSolver inc-topDown
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ10_3.opb
COMMAND LINE= DIR/npSolver-pbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3747144-1339099979/watcher-3747144-1339099979 -o /tmp/evaluation-result-3747144-1339099979/solver-3747144-1339099979 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo-Itd.sh HOME/instance-3747144-1339099979.opb 1295137325 HOME HOME

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

MD5SUM BENCH= 2821538067d8c071dc9bd4a000c6d040
RANDOM SEED=1295137325

node128.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.389
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.77
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.389
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.389
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	: 5438.56
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.389
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.389
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.389
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	: 5331.91
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.389
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.389
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:       32873852 kB
MemFree:        27658884 kB
Buffers:          559928 kB
Cached:          3701416 kB
SwapCached:         1000 kB
Active:          1979424 kB
Inactive:        2348280 kB
Active(anon):      57572 kB
Inactive(anon):    11604 kB
Active(file):    1921852 kB
Inactive(file):  2336676 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67106408 kB
Dirty:             23164 kB
Writeback:             0 kB
AnonPages:         46456 kB
Mapped:            10832 kB
Shmem:               196 kB
Slab:             750000 kB
SReclaimable:     192100 kB
SUnreclaim:       557900 kB
KernelStack:        1432 kB
PageTables:         3780 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     180756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 70768 MiB
End job on node128 at 2012-06-07 22:43:00