Trace number 3747148

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.14 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data10_3.opb
MD5SUMdccfffd22c38fcd3c497d688dab4b7a4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark76666
Best CPU time to get the best result obtained on this benchmark1800.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 79290
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 1380
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 559660
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 559660
Number of bits of the biggest sum of numbers20
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.26	c old isEQ: 88, 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.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.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.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.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.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.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.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.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: 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.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.31	c old isEQ: 0, new EQ is 0
0.00/0.31	c old isEQ: 0, new EQ is 0
0.00/0.31	c old isEQ: 0, new EQ is 0
0.00/0.31	c old isEQ: 0, new EQ is 0
0.00/0.31	c old isEQ: 0, new EQ is 0
0.00/0.31	c old isEQ: 0, new EQ is 0
0.00/0.31	c old isEQ: 0, new EQ is 0
0.00/0.31	c old isEQ: 0, new EQ is 0
0.00/0.32	c old isEQ: 20, new EQ is 0
0.00/0.32	c old isEQ: 0, new EQ is 0
0.00/0.32	c old isEQ: 0, new EQ is 0
0.00/0.32	c old isEQ: 0, new EQ is 0
0.00/0.32	c old isEQ: 0, new EQ is 0
0.00/0.32	c old isEQ: 0, new EQ is 0
0.00/0.32	c old isEQ: 0, new EQ is 0
0.00/0.32	c old isEQ: 0, new EQ is 0
0.00/0.32	c old isEQ: 0, new EQ is 0
0.00/0.32	c old isEQ: 0, new EQ is 0
0.00/0.32	c old isEQ: 0, new EQ is 0
0.00/0.32	c old isEQ: 0, new EQ is 0
0.00/0.32	c old isEQ: 0, new EQ is 0
0.00/0.32	c old isEQ: 0, new EQ is 0
0.00/0.32	c old isEQ: 0, new EQ is 0
0.00/0.32	c old isEQ: 0, new EQ is 0
0.00/0.32	c old isEQ: 0, new EQ is 0
0.00/0.32	c old isEQ: 0, new EQ is 0
0.00/0.32	c old isEQ: 0, new EQ is 0
0.00/0.32	c old isEQ: 0, new EQ is 0
0.00/0.50	c run inc solver
0.00/0.50	c [INC SYSTEM] run initial solver
0.00/0.50	c [INC SYSTEM] preprocess with white file
6.18/6.20	c [INC SYSTEM] finished preprocessing in 5 s
6.18/6.20	c [INC SYSTEM] execute solver
6.47/6.54	c [INC SEARCH] formula is SAT
6.47/6.55	c [INC SYSTEM] solved the initial formula
6.57/6.68	c model valid
6.57/6.68	c current solution ok
7.57/7.64	o 87569
7.57/7.64	c [INC SYSTEM] there exists a inc, kill it!
7.57/7.64	c write failed with 2
7.57/7.64	c [INC SEARCH] iteration: 0
7.57/7.64	c [INC BOUNDS] best value:87569 search for 87568
7.57/7.64	c [INC SYSTEM] create new solver instance
7.57/7.64	c [INC] encode full formula
7.57/7.64	c fallback to adder encoding
7.68/7.73	c set iterative enc to: adder
7.68/7.73	c set iterative enc to: none
7.68/7.76	c [INC SEARCH] isOptimum variable: 0
7.75/8.58	c formula is SAT
7.75/8.59	c [INC SEARCH] copied best model
7.75/8.59	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
8.68/8.72	c model valid
8.68/8.72	c current solution ok
8.68/8.72	o 85902
8.68/8.72	c [INC SEARCH] iteration: 1
8.68/8.72	c [INC BOUNDS] best value:85902 search for 85901
8.68/8.72	c [INC SYSTEM] there exists a inc, kill it!
8.68/8.72	c write failed with 2
8.68/8.72	c [INC SYSTEM] create new solver instance
8.68/8.72	c [INC] encode full formula
8.68/8.72	c fallback to adder encoding
8.79/8.81	c set iterative enc to: adder
8.79/8.81	c set iterative enc to: none
8.79/8.84	c [INC SEARCH] isOptimum variable: 0
16.27/16.34	c formula is SAT
16.27/16.35	c [INC SEARCH] copied best model
16.27/16.35	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
16.38/16.48	c model valid
16.38/16.48	c current solution ok
16.38/16.48	o 85678
16.38/16.48	c [INC SEARCH] iteration: 2
16.38/16.48	c [INC BOUNDS] best value:85678 search for 85677
16.38/16.48	c [INC SYSTEM] there exists a inc, kill it!
16.38/16.48	c write failed with 2
16.38/16.48	c [INC SYSTEM] create new solver instance
16.38/16.48	c [INC] encode full formula
16.38/16.48	c fallback to adder encoding
16.49/16.57	c set iterative enc to: adder
16.49/16.57	c set iterative enc to: none
16.59/16.60	c [INC SEARCH] isOptimum variable: 0
32.68/32.79	c formula is SAT
32.78/32.80	c [INC SEARCH] copied best model
32.78/32.80	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
32.88/32.93	c model valid
32.88/32.93	c current solution ok
32.88/32.93	o 85609
32.88/32.93	c [INC SEARCH] iteration: 3
32.88/32.93	c [INC BOUNDS] best value:85609 search for 85608
32.88/32.93	c [INC SYSTEM] there exists a inc, kill it!
32.88/32.93	c write failed with 2
32.88/32.93	c [INC SYSTEM] create new solver instance
32.88/32.93	c [INC] encode full formula
32.88/32.93	c fallback to adder encoding
33.00/33.02	c set iterative enc to: adder
33.00/33.02	c set iterative enc to: none
33.00/33.05	c [INC SEARCH] isOptimum variable: 0
41.57/41.65	c formula is SAT
41.57/41.66	c [INC SEARCH] copied best model
41.57/41.66	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
41.68/41.79	c model valid
41.68/41.79	c current solution ok
41.68/41.79	o 84637
41.68/41.79	c [INC SEARCH] iteration: 4
41.68/41.79	c [INC BOUNDS] best value:84637 search for 84636
41.68/41.79	c [INC SYSTEM] there exists a inc, kill it!
41.68/41.79	c write failed with 2
41.68/41.79	c [INC SYSTEM] create new solver instance
41.68/41.79	c [INC] encode full formula
41.68/41.79	c fallback to adder encoding
41.79/41.88	c set iterative enc to: adder
41.79/41.88	c set iterative enc to: none
41.90/41.90	c [INC SEARCH] isOptimum variable: 0
94.06/94.15	c formula is SAT
94.06/94.17	c [INC SEARCH] copied best model
94.06/94.17	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
94.17/94.29	c model valid
94.17/94.29	c current solution ok
94.17/94.29	o 83812
94.17/94.29	c [INC SEARCH] iteration: 5
94.17/94.29	c [INC BOUNDS] best value:83812 search for 83811
94.17/94.29	c [INC SYSTEM] there exists a inc, kill it!
94.17/94.29	c write failed with 2
94.27/94.30	c [INC SYSTEM] create new solver instance
94.27/94.30	c [INC] encode full formula
94.27/94.30	c fallback to adder encoding
94.27/94.38	c set iterative enc to: adder
94.27/94.38	c set iterative enc to: none
94.36/94.41	c [INC SEARCH] isOptimum variable: 0
164.32/164.40	c formula is SAT
164.32/164.42	c [INC SEARCH] copied best model
164.32/164.42	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
164.43/164.54	c model valid
164.43/164.54	c current solution ok
164.43/164.54	o 83309
164.43/164.54	c [INC SEARCH] iteration: 6
164.43/164.54	c [INC BOUNDS] best value:83309 search for 83308
164.43/164.54	c [INC SYSTEM] there exists a inc, kill it!
164.43/164.54	c write failed with 2
164.43/164.54	c [INC SYSTEM] create new solver instance
164.43/164.54	c [INC] encode full formula
164.43/164.54	c fallback to adder encoding
164.55/164.63	c set iterative enc to: adder
164.55/164.63	c set iterative enc to: none
164.55/164.66	c [INC SEARCH] isOptimum variable: 0
449.46/449.62	c formula is SAT
449.46/449.63	c [INC SEARCH] copied best model
449.46/449.64	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
449.56/449.75	c model valid
449.56/449.75	c current solution ok
449.56/449.75	o 83008
449.56/449.75	c [INC SEARCH] iteration: 7
449.56/449.75	c [INC BOUNDS] best value:83008 search for 83007
449.56/449.75	c [INC SYSTEM] there exists a inc, kill it!
449.56/449.75	c write failed with 2
449.56/449.75	c [INC SYSTEM] create new solver instance
449.56/449.75	c [INC] encode full formula
449.56/449.75	c fallback to adder encoding
449.69/449.83	c set iterative enc to: adder
449.69/449.83	c set iterative enc to: none
449.69/449.86	c [INC SEARCH] isOptimum variable: 0
515.04/515.25	c formula is SAT
515.04/515.26	c [INC SEARCH] copied best model
515.04/515.26	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
515.17/515.38	c model valid
515.17/515.38	c current solution ok
515.17/515.38	o 82349
515.17/515.38	c [INC SEARCH] iteration: 8
515.17/515.38	c [INC BOUNDS] best value:82349 search for 82348
515.17/515.38	c [INC SYSTEM] there exists a inc, kill it!
515.17/515.38	c write failed with 2
515.17/515.39	c [INC SYSTEM] create new solver instance
515.17/515.39	c [INC] encode full formula
515.17/515.39	c fallback to adder encoding
515.28/515.47	c set iterative enc to: adder
515.28/515.47	c set iterative enc to: none
515.37/515.50	c [INC SEARCH] isOptimum variable: 0
938.58/938.89	c formula is SAT
938.67/938.90	c [INC SEARCH] copied best model
938.67/938.90	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
938.77/939.02	c model valid
938.77/939.02	c current solution ok
938.77/939.02	o 82246
938.77/939.02	c [INC SEARCH] iteration: 9
938.77/939.02	c [INC BOUNDS] best value:82246 search for 82245
938.77/939.02	c [INC SYSTEM] there exists a inc, kill it!
938.77/939.02	c write failed with 2
938.77/939.02	c [INC SYSTEM] create new solver instance
938.77/939.02	c [INC] encode full formula
938.77/939.02	c fallback to adder encoding
938.88/939.10	c set iterative enc to: adder
938.88/939.10	c set iterative enc to: none
938.88/939.13	c [INC SEARCH] isOptimum variable: 0
1800.10/1800.50	c [INC SYSTEM] an unexpexted return value has been received, exit
1800.10/1800.50	s UNKNOWN
1800.10/1800.50	c [INC SYSTEM] there exists a inc, kill it!
1800.10/1800.50	c write failed with -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-3747148-1339099978/watcher-3747148-1339099978 -o /tmp/evaluation-result-3747148-1339099978/solver-3747148-1339099978 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747148-1339099978.opb 1295137325 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: 2.00 1.97 1.68 2/169 21613
/proc/meminfo: memFree=27726048/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0

[startup+0.0404371 s]
/proc/loadavg: 2.00 1.97 1.68 2/169 21613
/proc/meminfo: memFree=27726048/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100229 s]
/proc/loadavg: 2.00 1.97 1.68 2/169 21613
/proc/meminfo: memFree=27726048/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300159 s]
/proc/loadavg: 2.00 1.97 1.68 2/169 21613
/proc/meminfo: memFree=27726048/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.70027 s]
/proc/loadavg: 2.00 1.97 1.68 2/169 21613
/proc/meminfo: memFree=27726048/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50039 s]
/proc/loadavg: 2.00 1.97 1.68 3/181 21634
/proc/meminfo: memFree=27410024/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=37784 CPUtime=0.5 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 9637 0 0 0 46 4 0 0 20 0 1 0 376123769 38690816 8981 33554432000 4194304 6004724 140736796630736 140736796625200 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21614/statm: 9446 8981 164 442 0 9000 0
[pid=21631] ppid=21614 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21631/stat : 21631 (cp2_pre.sh) S 21614 21613 21457 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 376123820 9367552 277 33554432000 4194304 5064252 140733812069856 140733812068560 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21631/statm: 2287 277 234 213 0 72 0
[pid=21632] ppid=21631 vsize=154564 CPUtime=0.98 cores=0,2,4,6
/proc/21632/stat : 21632 (coprocessor) R 21631 21613 21457 0 -1 4202496 28119 0 0 0 93 5 0 0 20 0 1 0 376123820 158273536 37842 33554432000 4194304 6586260 140737079911744 140737079908072 5599186 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/21632/statm: 38641 37842 191 584 0 38053 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 210644

[startup+3.10037 s]
/proc/loadavg: 2.00 1.97 1.68 3/181 21634
/proc/meminfo: memFree=27324252/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=37784 CPUtime=0.5 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 9637 0 0 0 46 4 0 0 20 0 1 0 376123769 38690816 8981 33554432000 4194304 6004724 140736796630736 140736796625200 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21614/statm: 9446 8981 164 442 0 9000 0
[pid=21631] ppid=21614 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21631/stat : 21631 (cp2_pre.sh) S 21614 21613 21457 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 376123820 9367552 277 33554432000 4194304 5064252 140733812069856 140733812068560 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21631/statm: 2287 277 234 213 0 72 0
[pid=21632] ppid=21631 vsize=154564 CPUtime=2.58 cores=0,2,4,6
/proc/21632/stat : 21632 (coprocessor) R 21631 21613 21457 0 -1 4202496 28119 0 0 0 253 5 0 0 20 0 1 0 376123820 158273536 37842 33554432000 4194304 6586260 140737079911744 140737079907608 5599216 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/21632/statm: 38641 37842 191 584 0 38053 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 210644

[startup+6.30057 s]
/proc/loadavg: 2.00 1.97 1.68 3/181 21634
/proc/meminfo: memFree=27322268/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=37784 CPUtime=6.18 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 9653 29430 0 0 46 4 556 12 20 0 1 0 376123769 38690816 8984 33554432000 4194304 6004724 140736796630736 140736796617016 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21614/statm: 9446 8984 167 442 0 9000 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 46932

[startup+12.7004 s]
/proc/loadavg: 2.00 1.97 1.68 3/179 21650
/proc/meminfo: memFree=27445792/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=55796 CPUtime=8.82 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 18198 61028 0 0 105 88 666 23 20 0 1 0 376123769 57135104 13382 33554432000 4194304 6004724 140736796630736 140736796616584 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21614/statm: 13949 13382 183 442 0 13503 0
[pid=21646] ppid=21614 vsize=73764 CPUtime=3.85 cores=0,2,4,6
/proc/21646/stat : 21646 (glucosInc) R 21614 21613 21457 0 -1 4202496 16979 0 0 0 383 2 0 0 20 0 1 0 376124653 75534336 17206 33554432000 4194304 5654031 140733535824992 140733535812808 4232755 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21646/statm: 18441 17206 141 357 0 18081 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 138708

[startup+25.5004 s]
/proc/loadavg: 2.00 1.97 1.68 3/179 21654
/proc/meminfo: memFree=27404632/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=55796 CPUtime=16.59 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 21758 79514 0 0 128 90 1413 28 20 0 1 0 376123769 57135104 13382 33554432000 4194304 6004724 140736796630736 140736796616584 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/21614/statm: 13949 13382 183 442 0 13503 0
[pid=21654] ppid=21614 vsize=93560 CPUtime=8.89 cores=0,2,4,6
/proc/21654/stat : 21654 (glucosInc) R 21614 21613 21457 0 -1 4202496 17722 0 0 0 885 4 0 0 20 0 1 0 376125429 95805440 20926 33554432000 4194304 5654031 140734513650880 140734513638696 4216159 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21654/statm: 23390 20926 141 357 0 23030 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 158504

[startup+51.1003 s]
/proc/loadavg: 2.00 1.97 1.69 3/179 21658
/proc/meminfo: memFree=27412384/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=55796 CPUtime=41.9 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 28876 118032 0 0 175 92 3882 41 20 0 1 0 376123769 57135104 13382 33554432000 4194304 6004724 140736796630736 140736796616584 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/21614/statm: 13949 13382 183 442 0 13503 0
[pid=21658] ppid=21614 vsize=81916 CPUtime=9.18 cores=0,2,4,6
/proc/21658/stat : 21658 (glucosInc) R 21614 21613 21457 0 -1 4202496 16939 0 0 0 914 4 0 0 20 0 1 0 376127960 83881984 18879 33554432000 4194304 5654031 140735269264352 140735269262136 4216274 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21658/statm: 20479 18879 141 357 0 20119 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 146860

[startup+102.307 s]
/proc/loadavg: 2.00 1.97 1.71 3/179 21664
/proc/meminfo: memFree=27327720/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=55796 CPUtime=94.38 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 32435 138171 0 0 197 94 9097 50 20 0 1 0 376123769 57135104 13382 33554432000 4194304 6004724 140736796630736 140736796616584 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/21614/statm: 13949 13382 183 442 0 13503 0
[pid=21662] ppid=21614 vsize=93568 CPUtime=7.87 cores=0,2,4,6
/proc/21662/stat : 21662 (glucosInc) R 21614 21613 21457 0 -1 4202496 18858 0 0 0 782 5 0 0 20 0 1 0 376133211 95813632 21593 33554432000 4194304 5654031 140734326479792 140734326467608 4232800 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21662/statm: 23392 21593 141 357 0 23032 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 158512

[startup+162.3 s]
/proc/loadavg: 2.00 1.97 1.72 3/179 21665
/proc/meminfo: memFree=27286784/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=55796 CPUtime=94.38 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 32435 138171 0 0 197 94 9097 50 20 0 1 0 376123769 57135104 13382 33554432000 4194304 6004724 140736796630736 140736796616584 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/21614/statm: 13949 13382 183 442 0 13503 0
[pid=21662] ppid=21614 vsize=123916 CPUtime=67.84 cores=0,2,4,6
/proc/21662/stat : 21662 (glucosInc) R 21614 21613 21457 0 -1 4202496 20819 0 0 0 6778 6 0 0 20 0 1 0 376133211 126889984 29517 33554432000 4194304 5654031 140734326479792 140734326467608 4216461 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21662/statm: 30979 29517 141 357 0 30619 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 188860

[startup+222.3 s]
/proc/loadavg: 2.00 1.97 1.74 3/179 21667
/proc/meminfo: memFree=27232140/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=55796 CPUtime=164.6 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 35994 159647 0 0 220 96 16085 59 20 0 1 0 376123769 57135104 13382 33554432000 4194304 6004724 140736796630736 140736796616584 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/21614/statm: 13949 13382 183 442 0 13503 0
[pid=21667] ppid=21614 vsize=124076 CPUtime=57.62 cores=0,2,4,6
/proc/21667/stat : 21667 (glucosInc) R 21614 21613 21457 0 -1 4202496 20474 0 0 0 5755 7 0 0 20 0 1 0 376140236 127053824 28469 33554432000 4194304 5654031 140736369036064 140736369023880 4232960 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21667/statm: 31019 28469 141 357 0 30659 0
Current children cumulated CPU time (s) 222.22

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

/proc/meminfo: memFree=27105996/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=55796 CPUtime=938.92 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 46671 226991 0 0 285 100 93408 99 20 0 1 0 376123769 57135104 13382 33554432000 4194304 6004724 140736796630736 140736796616584 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/21614/statm: 13949 13382 183 442 0 13503 0
[pid=21678] ppid=21614 vsize=181920 CPUtime=363.07 cores=0,2,4,6
/proc/21678/stat : 21678 (glucosInc) R 21614 21613 21457 0 -1 4202496 26508 0 0 0 36289 18 0 0 20 0 1 0 376217683 186286080 44239 33554432000 4194304 5654031 140736123531328 140736123529416 4215357 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21678/statm: 45480 44239 141 357 0 45120 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 246864

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/178 21682
/proc/meminfo: memFree=27161896/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=55796 CPUtime=938.92 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 46671 226991 0 0 285 100 93408 99 20 0 1 0 376123769 57135104 13382 33554432000 4194304 6004724 140736796630736 140736796616584 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/21614/statm: 13949 13382 183 442 0 13503 0
[pid=21678] ppid=21614 vsize=181920 CPUtime=423.05 cores=0,2,4,6
/proc/21678/stat : 21678 (glucosInc) R 21614 21613 21457 0 -1 4202496 28435 0 0 0 42284 21 0 0 20 0 1 0 376217683 186286080 41002 33554432000 4194304 5654031 140736123531328 140736123519144 4232784 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21678/statm: 45480 41002 141 357 0 45120 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 246864

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21683
/proc/meminfo: memFree=27123608/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=55796 CPUtime=938.92 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 46671 226991 0 0 285 100 93408 99 20 0 1 0 376123769 57135104 13382 33554432000 4194304 6004724 140736796630736 140736796616584 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/21614/statm: 13949 13382 183 442 0 13503 0
[pid=21678] ppid=21614 vsize=213588 CPUtime=483.04 cores=0,2,4,6
/proc/21678/stat : 21678 (glucosInc) R 21614 21613 21457 0 -1 4202496 30571 0 0 0 48280 24 0 0 20 0 1 0 376217683 218714112 45889 33554432000 4194304 5654031 140736123531328 140736123519144 4233204 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21678/statm: 53397 45889 141 357 0 53037 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 278532

[startup+1482.3 s]
/proc/loadavg: 2.08 2.02 1.91 3/179 21683
/proc/meminfo: memFree=27128180/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=55796 CPUtime=938.92 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 46671 226991 0 0 285 100 93408 99 20 0 1 0 376123769 57135104 13382 33554432000 4194304 6004724 140736796630736 140736796616584 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/21614/statm: 13949 13382 183 442 0 13503 0
[pid=21678] ppid=21614 vsize=182768 CPUtime=543.03 cores=0,2,4,6
/proc/21678/stat : 21678 (glucosInc) R 21614 21613 21457 0 -1 4202496 33141 0 0 0 54275 28 0 0 20 0 1 0 376217683 187154432 40702 33554432000 4194304 5654031 140736123531328 140736123519144 4232495 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21678/statm: 45692 40702 141 357 0 45332 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 247712

[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 1.91 3/179 21683
/proc/meminfo: memFree=27183740/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=55796 CPUtime=938.92 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 46671 226991 0 0 285 100 93408 99 20 0 1 0 376123769 57135104 13382 33554432000 4194304 6004724 140736796630736 140736796616584 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/21614/statm: 13949 13382 183 442 0 13503 0
[pid=21678] ppid=21614 vsize=163800 CPUtime=603.02 cores=0,2,4,6
/proc/21678/stat : 21678 (glucosInc) R 21614 21613 21457 0 -1 4202496 35166 0 0 0 60270 32 0 0 20 0 1 0 376217683 167731200 37588 33554432000 4194304 5654031 140736123531328 140736123519144 4232994 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21678/statm: 40950 37588 141 357 0 40590 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 228744

[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 21683
/proc/meminfo: memFree=27152920/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=55796 CPUtime=938.92 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 46671 226991 0 0 285 100 93408 99 20 0 1 0 376123769 57135104 13382 33554432000 4194304 6004724 140736796630736 140736796616584 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/21614/statm: 13949 13382 183 442 0 13503 0
[pid=21678] ppid=21614 vsize=182768 CPUtime=663.01 cores=0,2,4,6
/proc/21678/stat : 21678 (glucosInc) R 21614 21613 21457 0 -1 4202496 37087 0 0 0 66265 36 0 0 20 0 1 0 376217683 187154432 42238 33554432000 4194304 5654031 140736123531328 140736123519144 4232994 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21678/statm: 45692 42238 141 357 0 45332 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 247712

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/180 21686
/proc/meminfo: memFree=27140652/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=55796 CPUtime=938.92 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 46671 226991 0 0 285 100 93408 99 20 0 1 0 376123769 57135104 13382 33554432000 4194304 6004724 140736796630736 140736796616584 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/21614/statm: 13949 13382 183 442 0 13503 0
[pid=21678] ppid=21614 vsize=182768 CPUtime=723 cores=0,2,4,6
/proc/21678/stat : 21678 (glucosInc) R 21614 21613 21457 0 -1 4202496 39612 0 0 0 72260 40 0 0 20 0 1 0 376217683 187154432 41726 33554432000 4194304 5654031 140736123531328 140736123529416 4232794 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21678/statm: 45692 41726 141 357 0 45332 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 247712

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21687
/proc/meminfo: memFree=27118432/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=55796 CPUtime=938.92 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 46671 226991 0 0 285 100 93408 99 20 0 1 0 376123769 57135104 13382 33554432000 4194304 6004724 140736796630736 140736796616584 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/21614/statm: 13949 13382 183 442 0 13503 0
[pid=21678] ppid=21614 vsize=182768 CPUtime=782.98 cores=0,2,4,6
/proc/21678/stat : 21678 (glucosInc) R 21614 21613 21457 0 -1 4202496 41536 0 0 0 78255 43 0 0 20 0 1 0 376217683 187154432 43774 33554432000 4194304 5654031 140736123531328 140736123519144 4233232 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21678/statm: 45692 43774 141 357 0 45332 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 247712

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21687
/proc/meminfo: memFree=27093436/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=55796 CPUtime=938.92 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 46671 226991 0 0 285 100 93408 99 20 0 1 0 376123769 57135104 13382 33554432000 4194304 6004724 140736796630736 140736796616584 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/21614/statm: 13949 13382 183 442 0 13503 0
[pid=21678] ppid=21614 vsize=213588 CPUtime=842.97 cores=0,2,4,6
/proc/21678/stat : 21678 (glucosInc) R 21614 21613 21457 0 -1 4202496 43390 0 0 0 84251 46 0 0 20 0 1 0 376217683 218714112 45377 33554432000 4194304 5654031 140736123531328 140736123519144 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21678/statm: 53397 45377 141 357 0 53037 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 278532



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21687
/proc/meminfo: memFree=27111788/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=55796 CPUtime=938.92 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 46671 226991 0 0 285 100 93408 99 20 0 1 0 376123769 57135104 13382 33554432000 4194304 6004724 140736796630736 140736796616584 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/21614/statm: 13949 13382 183 442 0 13503 0
[pid=21678] ppid=21614 vsize=163800 CPUtime=861.18 cores=0,2,4,6
/proc/21678/stat : 21678 (glucosInc) R 21614 21613 21457 0 -1 4202496 43648 0 0 0 86071 47 0 0 20 0 1 0 376217683 167731200 39790 33554432000 4194304 5654031 140736123531328 140736123529352 4234964 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21678/statm: 40950 39790 141 357 0 40590 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 228744

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.00 2.00 1.91 3/179 21687
/proc/meminfo: memFree=27111788/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=55796 CPUtime=938.92 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 46671 226991 0 0 285 100 93408 99 20 0 1 0 376123769 57135104 13382 33554432000 4194304 6004724 140736796630736 140736796616584 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/21614/statm: 13949 13382 183 442 0 13503 0
[pid=21678] ppid=21614 vsize=163800 CPUtime=861.18 cores=0,2,4,6
/proc/21678/stat : 21678 (glucosInc) R 21614 21613 21457 0 -1 4202496 43648 0 0 0 86071 47 0 0 20 0 1 0 376217683 167731200 39790 33554432000 4194304 5654031 140736123531328 140736123529352 4234964 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21678/statm: 40950 39790 141 357 0 40590 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 228744

Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.14
CPU user time (s): 1797.65
CPU system time (s): 2.48862
CPU usage (%): 99.9792
Max. virtual memory (cumulated for all children) (KiB): 308884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.65
system time used= 2.48862
maximum resident set size= 233004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 317688
page faults= 0
swaps= 0
block input operations= 0
block output operations= 322640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5016
involuntary context switches= 3031

runsolver used 2.68059 second user time and 7.14791 second system time

The end

Launcher Data

Begin job on node128 at 2012-06-07 22:12:59
IDJOB=3747148
IDBENCH=2011
IDSOLVER=2332
FILE ID=node128/3747148-1339099978
RUNJOBID= node128-1339098176-21473
PBS_JOBID= 14643725
Free space on /tmp= 70812 MiB

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

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

MD5SUM BENCH= dccfffd22c38fcd3c497d688dab4b7a4
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:        27726784 kB
Buffers:          559900 kB
Cached:          3689800 kB
SwapCached:         1000 kB
Active:          1913132 kB
Inactive:        2348260 kB
Active(anon):       2612 kB
Inactive(anon):    11604 kB
Active(file):    1910520 kB
Inactive(file):  2336656 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67106408 kB
Dirty:             11276 kB
Writeback:             0 kB
AnonPages:        195740 kB
Mapped:            10264 kB
Shmem:               196 kB
Slab:             749672 kB
SReclaimable:     192084 kB
SUnreclaim:       557588 kB
KernelStack:        1496 kB
PageTables:         3872 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     103732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    180224 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= 70744 MiB
End job on node128 at 2012-06-07 22:42:59