Trace number 3702868

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-quickBound? (TO) 1800.08 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ws97-5.opb
MD5SUMed36462db2ffa04ea65b986069441496
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2642
Best CPU time to get the best result obtained on this benchmark0.050991
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2642
Optimality of the best value was proved YES
Number of variables907
Total number of constraints403
Number of constraints which are clauses126
Number of constraints which are cardinality constraints (but not clauses)277
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint134
Number of terms in the objective function 748
Biggest coefficient in the objective function 240
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 33855
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 240
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 33855
Number of bits of the biggest sum of numbers16
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.05	c run inc solver
0.00/0.05	c [INC SYSTEM] run initial solver
0.00/0.05	c [INC SYSTEM] preprocess with white file
0.00/0.85	c [INC SYSTEM] finished preprocessing in 0 s
0.00/0.85	c [INC SYSTEM] execute solver
1.26/1.34	c [INC SEARCH] formula is SAT
1.26/1.34	c [INC SYSTEM] solved the initial formula
1.26/1.34	c model valid
1.26/1.34	c current solution ok
1.36/1.45	o 11024
1.36/1.45	c starting approximation
1.36/1.45	c factor = 2
1.36/1.45	c factor still to low - shrinking to 25.6691
1.36/1.45	c approx number of clauses: 1e+06
1.36/1.45	c current bound: 5719
36.64/36.73	c leaving approximation
36.64/36.73	c finished approximation
36.64/36.73	c [INC SYSTEM] there exists a inc, kill it!
36.64/36.73	c write failed with 2
36.64/36.73	c [INC SEARCH] iteration: 0
36.64/36.73	c [INC BOUNDS] best value:11439 search for 11438
36.64/36.73	c [INC SYSTEM] create new solver instance
36.64/36.73	c [INC] encode full formula
36.64/36.73	c fallback to adder encoding
36.64/36.78	c set iterative enc to: adder
36.64/36.78	c set iterative enc to: none
36.64/36.79	c [INC SEARCH] isOptimum variable: 0
41.15/41.27	c formula is SAT
41.15/41.27	c [INC SEARCH] copied best model
41.15/41.27	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
41.15/41.28	c model valid
41.15/41.28	c current solution ok
41.15/41.28	o 8809
41.15/41.28	c [INC SEARCH] iteration: 1
41.15/41.28	c [INC BOUNDS] best value:9224 search for 9223
41.15/41.28	c [INC SYSTEM] there exists a inc, kill it!
41.15/41.28	c write failed with 2
41.15/41.28	c [INC SYSTEM] create new solver instance
41.15/41.28	c [INC] encode full formula
41.15/41.28	c fallback to adder encoding
41.26/41.33	c set iterative enc to: adder
41.26/41.33	c set iterative enc to: none
41.26/41.34	c [INC SEARCH] isOptimum variable: 0
47.76/47.83	c formula is SAT
47.76/47.84	c [INC SEARCH] copied best model
47.76/47.84	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
47.76/47.84	c model valid
47.76/47.84	c current solution ok
47.76/47.84	o 8005
47.76/47.84	c [INC SEARCH] iteration: 2
47.76/47.84	c [INC BOUNDS] best value:8420 search for 8419
47.76/47.84	c [INC SYSTEM] there exists a inc, kill it!
47.76/47.84	c write failed with 2
47.76/47.84	c [INC SYSTEM] create new solver instance
47.76/47.84	c [INC] encode full formula
47.76/47.84	c fallback to adder encoding
47.76/47.89	c set iterative enc to: adder
47.76/47.89	c set iterative enc to: none
47.86/47.90	c [INC SEARCH] isOptimum variable: 0
106.86/106.91	c formula is SAT
106.86/106.91	c [INC SEARCH] copied best model
106.86/106.91	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
106.86/106.91	c model valid
106.86/106.91	c current solution ok
106.86/106.91	o 6379
106.86/106.91	c [INC SEARCH] iteration: 3
106.86/106.91	c [INC BOUNDS] best value:6794 search for 6793
106.86/106.91	c [INC SYSTEM] there exists a inc, kill it!
106.86/106.91	c write failed with 2
106.86/106.92	c [INC SYSTEM] create new solver instance
106.86/106.92	c [INC] encode full formula
106.86/106.92	c fallback to adder encoding
106.86/106.96	c set iterative enc to: adder
106.86/106.96	c set iterative enc to: none
106.86/106.98	c [INC SEARCH] isOptimum variable: 0
176.23/176.34	c formula is SAT
176.23/176.34	c [INC SEARCH] copied best model
176.23/176.34	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
176.23/176.34	c model valid
176.23/176.34	c current solution ok
176.23/176.34	o 6195
176.23/176.34	c [INC SEARCH] iteration: 4
176.23/176.34	c [INC BOUNDS] best value:6610 search for 6609
176.23/176.34	c [INC SYSTEM] there exists a inc, kill it!
176.23/176.34	c write failed with 2
176.23/176.34	c [INC SYSTEM] create new solver instance
176.23/176.34	c [INC] encode full formula
176.23/176.34	c fallback to adder encoding
176.23/176.39	c set iterative enc to: adder
176.23/176.39	c set iterative enc to: none
176.33/176.41	c [INC SEARCH] isOptimum variable: 0
273.89/274.06	c formula is SAT
273.89/274.07	c [INC SEARCH] copied best model
273.89/274.07	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
273.89/274.07	c model valid
273.89/274.07	c current solution ok
273.89/274.07	o 5866
273.89/274.07	c [INC SEARCH] iteration: 5
273.89/274.07	c [INC BOUNDS] best value:6281 search for 6280
273.89/274.07	c [INC SYSTEM] there exists a inc, kill it!
273.89/274.07	c write failed with 2
273.89/274.07	c [INC SYSTEM] create new solver instance
273.89/274.07	c [INC] encode full formula
273.89/274.07	c fallback to adder encoding
274.00/274.12	c set iterative enc to: adder
274.00/274.12	c set iterative enc to: none
274.00/274.13	c [INC SEARCH] isOptimum variable: 0
457.57/457.71	c formula is SAT
457.57/457.72	c [INC SEARCH] copied best model
457.57/457.72	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
457.57/457.72	c model valid
457.57/457.72	c current solution ok
457.57/457.72	o 5862
457.57/457.72	c [INC SEARCH] iteration: 6
457.57/457.72	c [INC BOUNDS] best value:6277 search for 6276
457.57/457.72	c [INC SYSTEM] there exists a inc, kill it!
457.57/457.72	c write failed with 2
457.57/457.72	c [INC SYSTEM] create new solver instance
457.57/457.72	c [INC] encode full formula
457.57/457.72	c fallback to adder encoding
457.57/457.77	c set iterative enc to: adder
457.57/457.77	c set iterative enc to: none
457.57/457.78	c [INC SEARCH] isOptimum variable: 0
572.43/572.64	c formula is SAT
572.43/572.64	c [INC SEARCH] copied best model
572.43/572.64	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
572.43/572.65	c model valid
572.43/572.65	c current solution ok
572.43/572.65	o 5786
572.43/572.65	c [INC SEARCH] iteration: 7
572.43/572.65	c [INC BOUNDS] best value:6201 search for 6200
572.43/572.65	c [INC SYSTEM] there exists a inc, kill it!
572.43/572.65	c write failed with 2
572.43/572.65	c [INC SYSTEM] create new solver instance
572.43/572.65	c [INC] encode full formula
572.43/572.65	c fallback to adder encoding
572.53/572.70	c set iterative enc to: adder
572.53/572.70	c set iterative enc to: none
572.53/572.71	c [INC SEARCH] isOptimum variable: 0
691.10/691.38	c formula is SAT
691.10/691.39	c [INC SEARCH] copied best model
691.10/691.39	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
691.10/691.39	c model valid
691.10/691.39	c current solution ok
691.10/691.39	o 5689
691.10/691.39	c [INC SEARCH] iteration: 8
691.10/691.39	c [INC BOUNDS] best value:6104 search for 6103
691.10/691.39	c [INC SYSTEM] there exists a inc, kill it!
691.10/691.39	c write failed with 2
691.10/691.39	c [INC SYSTEM] create new solver instance
691.10/691.39	c [INC] encode full formula
691.10/691.39	c fallback to adder encoding
691.22/691.44	c set iterative enc to: adder
691.22/691.44	c set iterative enc to: none
691.22/691.45	c [INC SEARCH] isOptimum variable: 0
714.88/715.18	c formula is SAT
714.88/715.18	c [INC SEARCH] copied best model
714.88/715.18	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
714.88/715.18	c model valid
714.88/715.18	c current solution ok
714.88/715.18	o 5688
714.88/715.18	c [INC SEARCH] iteration: 9
714.88/715.18	c [INC BOUNDS] best value:6103 search for 6102
714.88/715.18	c [INC SYSTEM] there exists a inc, kill it!
714.88/715.18	c write failed with 2
714.88/715.19	c [INC SYSTEM] create new solver instance
714.88/715.19	c [INC] encode full formula
714.88/715.19	c fallback to adder encoding
715.01/715.23	c set iterative enc to: adder
715.01/715.23	c set iterative enc to: none
715.01/715.24	c [INC SEARCH] isOptimum variable: 0
842.86/843.10	c formula is SAT
842.86/843.11	c [INC SEARCH] copied best model
842.86/843.11	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
842.86/843.11	c model valid
842.86/843.11	c current solution ok
842.86/843.11	o 5685
842.86/843.11	c [INC SEARCH] iteration: 10
842.86/843.11	c [INC BOUNDS] best value:6100 search for 6099
842.86/843.11	c [INC SYSTEM] there exists a inc, kill it!
842.86/843.11	c write failed with 2
842.86/843.11	c [INC SYSTEM] create new solver instance
842.86/843.11	c [INC] encode full formula
842.86/843.11	c fallback to adder encoding
842.86/843.16	c set iterative enc to: adder
842.86/843.16	c set iterative enc to: none
842.86/843.18	c [INC SEARCH] isOptimum variable: 0
936.34/936.61	c formula is SAT
936.34/936.61	c [INC SEARCH] copied best model
936.34/936.61	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
936.34/936.61	c model valid
936.34/936.61	c current solution ok
936.34/936.61	o 5681
936.34/936.61	c [INC SEARCH] iteration: 11
936.34/936.61	c [INC BOUNDS] best value:6096 search for 6095
936.34/936.61	c [INC SYSTEM] there exists a inc, kill it!
936.34/936.61	c write failed with 2
936.34/936.61	c [INC SYSTEM] create new solver instance
936.34/936.61	c [INC] encode full formula
936.34/936.61	c fallback to adder encoding
936.34/936.66	c set iterative enc to: adder
936.34/936.66	c set iterative enc to: none
936.34/936.67	c [INC SEARCH] isOptimum variable: 0
1001.52/1001.88	c formula is SAT
1001.52/1001.88	c [INC SEARCH] copied best model
1001.52/1001.88	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1001.52/1001.89	c model valid
1001.52/1001.89	c current solution ok
1001.52/1001.89	o 4577
1001.52/1001.89	c [INC SEARCH] iteration: 12
1001.52/1001.89	c [INC BOUNDS] best value:4992 search for 4991
1001.52/1001.89	c [INC SYSTEM] there exists a inc, kill it!
1001.52/1001.89	c write failed with 2
1001.52/1001.89	c [INC SYSTEM] create new solver instance
1001.52/1001.89	c [INC] encode full formula
1001.52/1001.89	c fallback to adder encoding
1001.63/1001.93	c set iterative enc to: adder
1001.63/1001.93	c set iterative enc to: none
1001.63/1001.95	c [INC SEARCH] isOptimum variable: 0
1101.90/1102.27	c formula is SAT
1101.90/1102.28	c [INC SEARCH] copied best model
1101.90/1102.28	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1101.90/1102.28	c model valid
1101.90/1102.28	c current solution ok
1101.90/1102.28	o 4572
1101.90/1102.28	c [INC SEARCH] iteration: 13
1101.90/1102.28	c [INC BOUNDS] best value:4987 search for 4986
1101.90/1102.28	c [INC SYSTEM] there exists a inc, kill it!
1101.90/1102.28	c write failed with 2
1101.90/1102.28	c [INC SYSTEM] create new solver instance
1101.90/1102.28	c [INC] encode full formula
1101.90/1102.28	c fallback to adder encoding
1102.01/1102.33	c set iterative enc to: adder
1102.01/1102.33	c set iterative enc to: none
1102.01/1102.34	c [INC SEARCH] isOptimum variable: 0
1185.19/1185.55	c formula is SAT
1185.19/1185.56	c [INC SEARCH] copied best model
1185.19/1185.56	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1185.19/1185.56	c model valid
1185.19/1185.56	c current solution ok
1185.19/1185.56	o 3968
1185.19/1185.56	c [INC SEARCH] iteration: 14
1185.19/1185.56	c [INC BOUNDS] best value:4383 search for 4382
1185.19/1185.56	c [INC SYSTEM] there exists a inc, kill it!
1185.19/1185.56	c write failed with 2
1185.19/1185.56	c [INC SYSTEM] create new solver instance
1185.19/1185.56	c [INC] encode full formula
1185.19/1185.56	c fallback to adder encoding
1185.30/1185.61	c set iterative enc to: adder
1185.30/1185.61	c set iterative enc to: none
1185.30/1185.62	c [INC SEARCH] isOptimum variable: 0
1233.86/1234.25	c formula is SAT
1233.86/1234.25	c [INC SEARCH] copied best model
1233.86/1234.25	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1233.86/1234.25	c model valid
1233.86/1234.25	c current solution ok
1233.86/1234.25	o 3875
1233.86/1234.25	c [INC SEARCH] iteration: 15
1233.86/1234.25	c [INC BOUNDS] best value:4290 search for 4289
1233.86/1234.25	c [INC SYSTEM] there exists a inc, kill it!
1233.86/1234.25	c write failed with 2
1233.86/1234.25	c [INC SYSTEM] create new solver instance
1233.86/1234.25	c [INC] encode full formula
1233.86/1234.25	c fallback to adder encoding
1233.97/1234.30	c set iterative enc to: adder
1233.97/1234.30	c set iterative enc to: none
1233.97/1234.31	c [INC SEARCH] isOptimum variable: 0
1420.22/1420.67	c formula is SAT
1420.22/1420.68	c [INC SEARCH] copied best model
1420.22/1420.68	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1420.22/1420.68	c model valid
1420.22/1420.68	c current solution ok
1420.22/1420.68	o 3848
1420.22/1420.68	c [INC SEARCH] iteration: 16
1420.22/1420.68	c [INC BOUNDS] best value:4263 search for 4262
1420.22/1420.68	c [INC SYSTEM] there exists a inc, kill it!
1420.22/1420.68	c write failed with 2
1420.22/1420.68	c [INC SYSTEM] create new solver instance
1420.22/1420.68	c [INC] encode full formula
1420.22/1420.68	c fallback to adder encoding
1420.34/1420.72	c set iterative enc to: adder
1420.34/1420.72	c set iterative enc to: none
1420.34/1420.74	c [INC SEARCH] isOptimum variable: 0
1603.28/1603.77	c formula is SAT
1603.28/1603.77	c [INC SEARCH] copied best model
1603.28/1603.77	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1603.28/1603.78	c model valid
1603.28/1603.78	c current solution ok
1603.28/1603.78	o 3777
1603.28/1603.78	c [INC SEARCH] iteration: 17
1603.28/1603.78	c [INC BOUNDS] best value:4192 search for 4191
1603.28/1603.78	c [INC SYSTEM] there exists a inc, kill it!
1603.28/1603.78	c write failed with 2
1603.28/1603.78	c [INC SYSTEM] create new solver instance
1603.28/1603.78	c [INC] encode full formula
1603.28/1603.78	c fallback to adder encoding
1603.39/1603.82	c set iterative enc to: adder
1603.39/1603.82	c set iterative enc to: none
1603.39/1603.84	c [INC SEARCH] isOptimum variable: 0
1731.63/1732.16	c formula is SAT
1731.63/1732.16	c [INC SEARCH] copied best model
1731.63/1732.16	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1731.63/1732.16	c model valid
1731.63/1732.16	c current solution ok
1731.63/1732.16	o 3776
1731.63/1732.16	c [INC SEARCH] iteration: 18
1731.63/1732.16	c [INC BOUNDS] best value:4191 search for 4190
1731.63/1732.16	c [INC SYSTEM] there exists a inc, kill it!
1731.63/1732.16	c write failed with 2
1731.63/1732.16	c [INC SYSTEM] create new solver instance
1731.63/1732.16	c [INC] encode full formula
1731.63/1732.16	c fallback to adder encoding
1731.76/1732.21	c set iterative enc to: adder
1731.76/1732.21	c set iterative enc to: none
1731.76/1732.22	c [INC SEARCH] isOptimum variable: 0
1800.04/1800.50	c [INC SYSTEM] an unexpexted return value has been received, exit
1800.04/1800.50	s UNKNOWN
1800.04/1800.50	c [INC SYSTEM] there exists a inc, kill it!
1800.04/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-3702868-1338060640/watcher-3702868-1338060640 -o /tmp/evaluation-result-3702868-1338060640/solver-3702868-1338060640 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702868-1338060640.opb 1815784633 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 2.00 2.00 3/179 2654
/proc/meminfo: memFree=27072544/32873844 swapFree=6088/6088
[pid=2654] ppid=2652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2654/stat : 2654 (npSolver-pbo-It) S 2652 2654 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272192602 9367552 274 33554432000 4194304 5064252 140734940519440 140734940518352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2654/statm: 2287 274 233 213 0 72 0

[startup+0.097615 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2654
/proc/meminfo: memFree=27072544/32873844 swapFree=6088/6088
[pid=2654] ppid=2652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2654/stat : 2654 (npSolver-pbo-It) S 2652 2654 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272192602 9367552 274 33554432000 4194304 5064252 140734940519440 140734940518352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2654/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100339 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2654
/proc/meminfo: memFree=27072544/32873844 swapFree=6088/6088
[pid=2654] ppid=2652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2654/stat : 2654 (npSolver-pbo-It) S 2652 2654 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272192602 9367552 274 33554432000 4194304 5064252 140734940519440 140734940518352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2654/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300283 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2654
/proc/meminfo: memFree=27072544/32873844 swapFree=6088/6088
[pid=2654] ppid=2652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2654/stat : 2654 (npSolver-pbo-It) S 2652 2654 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272192602 9367552 274 33554432000 4194304 5064252 140734940519440 140734940518352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2654/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700256 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2654
/proc/meminfo: memFree=27072544/32873844 swapFree=6088/6088
[pid=2654] ppid=2652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2654/stat : 2654 (npSolver-pbo-It) S 2652 2654 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272192602 9367552 274 33554432000 4194304 5064252 140734940519440 140734940518352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2654/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50035 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 2660
/proc/meminfo: memFree=27051756/32873844 swapFree=6088/6088
[pid=2654] ppid=2652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2654/stat : 2654 (npSolver-pbo-It) S 2652 2654 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272192602 9367552 274 33554432000 4194304 5064252 140734940519440 140734940518352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2654/statm: 2287 274 233 213 0 72 0
[pid=2655] ppid=2654 vsize=13668 CPUtime=0.98 cores=0,2,4,6
/proc/2655/stat : 2655 (npSolver-pbo) R 2654 2654 1653 0 -1 4202496 3893 10493 0 0 11 9 69 9 20 0 1 0 272192603 13996032 2723 33554432000 4194304 5992684 140734119694768 140734119688800 5044353 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2655/statm: 3417 2723 193 440 0 2973 0
[pid=2660] ppid=2655 vsize=18884 CPUtime=0.48 cores=0,2,4,6
/proc/2660/stat : 2660 (glucosInc) S 2655 2654 1653 0 -1 4202496 3531 0 0 0 48 0 0 0 20 0 1 0 272192687 19337216 3885 33554432000 4194304 5654031 140736469295840 140736469294152 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2660/statm: 4721 3885 146 357 0 4361 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 41700

[startup+3.10043 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 2663
/proc/meminfo: memFree=26984344/32873844 swapFree=6088/6088
[pid=2654] ppid=2652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2654/stat : 2654 (npSolver-pbo-It) S 2652 2654 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272192602 9367552 274 33554432000 4194304 5064252 140734940519440 140734940518352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2654/statm: 2287 274 233 213 0 72 0
[pid=2655] ppid=2654 vsize=17764 CPUtime=1.02 cores=0,2,4,6
/proc/2655/stat : 2655 (npSolver-pbo) S 2654 2654 1653 0 -1 4202496 4916 10493 0 0 14 10 69 9 20 0 1 0 272192603 18190336 3539 33554432000 4194304 5992684 140734119694768 140734119687056 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2655/statm: 4441 3539 194 440 0 3997 0
[pid=2660] ppid=2655 vsize=18884 CPUtime=0.48 cores=0,2,4,6
/proc/2660/stat : 2660 (glucosInc) S 2655 2654 1653 0 -1 4202496 3531 0 0 0 48 0 0 0 20 0 1 0 272192687 19337216 3885 33554432000 4194304 5654031 140736469295840 140736469294152 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2660/statm: 4721 3885 146 357 0 4361 0
[pid=2662] ppid=2655 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2662/stat : 2662 (satsolver.sh) S 2655 2654 1653 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272192756 9367552 267 33554432000 4194304 5064252 140735411271696 140735411270608 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2662/statm: 2287 267 226 213 0 72 0
[pid=2663] ppid=2662 vsize=57908 CPUtime=1.55 cores=0,2,4,6
/proc/2663/stat : 2663 (glucose) R 2662 2654 1653 0 -1 4202496 12162 0 0 0 153 2 0 0 20 0 1 0 272192756 59297792 12809 33554432000 4194304 5208918 140734233222624 140734233220456 4229010 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2663/statm: 14477 12809 103 248 0 14226 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 112852

[startup+6.30042 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 2663
/proc/meminfo: memFree=26982224/32873844 swapFree=6088/6088
[pid=2654] ppid=2652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2654/stat : 2654 (npSolver-pbo-It) S 2652 2654 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272192602 9367552 274 33554432000 4194304 5064252 140734940519440 140734940518352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2654/statm: 2287 274 233 213 0 72 0
[pid=2655] ppid=2654 vsize=17764 CPUtime=1.02 cores=0,2,4,6
/proc/2655/stat : 2655 (npSolver-pbo) S 2654 2654 1653 0 -1 4202496 4916 10493 0 0 14 10 69 9 20 0 1 0 272192603 18190336 3539 33554432000 4194304 5992684 140734119694768 140734119687056 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2655/statm: 4441 3539 194 440 0 3997 0
[pid=2660] ppid=2655 vsize=18884 CPUtime=0.48 cores=0,2,4,6
/proc/2660/stat : 2660 (glucosInc) S 2655 2654 1653 0 -1 4202496 3531 0 0 0 48 0 0 0 20 0 1 0 272192687 19337216 3885 33554432000 4194304 5654031 140736469295840 140736469294152 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2660/statm: 4721 3885 146 357 0 4361 0
[pid=2662] ppid=2655 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2662/stat : 2662 (satsolver.sh) S 2655 2654 1653 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272192756 9367552 267 33554432000 4194304 5064252 140735411271696 140735411270608 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2662/statm: 2287 267 226 213 0 72 0
[pid=2663] ppid=2662 vsize=57908 CPUtime=4.75 cores=0,2,4,6
/proc/2663/stat : 2663 (glucose) R 2662 2654 1653 0 -1 4202496 12815 0 0 0 473 2 0 0 20 0 1 0 272192756 59297792 12772 33554432000 4194304 5208918 140734233222624 140734233219000 4229344 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2663/statm: 14477 12772 105 248 0 14226 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 112852

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 2663
/proc/meminfo: memFree=26967208/32873844 swapFree=6088/6088
[pid=2654] ppid=2652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2654/stat : 2654 (npSolver-pbo-It) S 2652 2654 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272192602 9367552 274 33554432000 4194304 5064252 140734940519440 140734940518352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2654/statm: 2287 274 233 213 0 72 0
[pid=2655] ppid=2654 vsize=17764 CPUtime=1.02 cores=0,2,4,6
/proc/2655/stat : 2655 (npSolver-pbo) S 2654 2654 1653 0 -1 4202496 4916 10493 0 0 14 10 69 9 20 0 1 0 272192603 18190336 3539 33554432000 4194304 5992684 140734119694768 140734119687056 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2655/statm: 4441 3539 194 440 0 3997 0
[pid=2660] ppid=2655 vsize=18884 CPUtime=0.48 cores=0,2,4,6
/proc/2660/stat : 2660 (glucosInc) S 2655 2654 1653 0 -1 4202496 3531 0 0 0 48 0 0 0 20 0 1 0 272192687 19337216 3885 33554432000 4194304 5654031 140736469295840 140736469294152 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2660/statm: 4721 3885 146 357 0 4361 0
[pid=2662] ppid=2655 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2662/stat : 2662 (satsolver.sh) S 2655 2654 1653 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272192756 9367552 267 33554432000 4194304 5064252 140735411271696 140735411270608 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2662/statm: 2287 267 226 213 0 72 0
[pid=2663] ppid=2662 vsize=65232 CPUtime=11.15 cores=0,2,4,6
/proc/2663/stat : 2663 (glucose) R 2662 2654 1653 0 -1 4202496 14056 0 0 0 1113 2 0 0 20 0 1 0 272192756 66797568 14689 33554432000 4194304 5208918 140734233222624 140734233220712 4205139 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2663/statm: 16308 14689 105 248 0 16057 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 120176

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 2663
/proc/meminfo: memFree=26986928/32873844 swapFree=6088/6088
[pid=2654] ppid=2652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2654/stat : 2654 (npSolver-pbo-It) S 2652 2654 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272192602 9367552 274 33554432000 4194304 5064252 140734940519440 140734940518352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2654/statm: 2287 274 233 213 0 72 0
[pid=2655] ppid=2654 vsize=17764 CPUtime=1.02 cores=0,2,4,6
/proc/2655/stat : 2655 (npSolver-pbo) S 2654 2654 1653 0 -1 4202496 4916 10493 0 0 14 10 69 9 20 0 1 0 272192603 18190336 3539 33554432000 4194304 5992684 140734119694768 140734119687056 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2655/statm: 4441 3539 194 440 0 3997 0
[pid=2660] ppid=2655 vsize=18884 CPUtime=0.48 cores=0,2,4,6
/proc/2660/stat : 2660 (glucosInc) S 2655 2654 1653 0 -1 4202496 3531 0 0 0 48 0 0 0 20 0 1 0 272192687 19337216 3885 33554432000 4194304 5654031 140736469295840 140736469294152 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2660/statm: 4721 3885 146 357 0 4361 0
[pid=2662] ppid=2655 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2662/stat : 2662 (satsolver.sh) S 2655 2654 1653 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272192756 9367552 267 33554432000 4194304 5064252 140735411271696 140735411270608 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2662/statm: 2287 267 226 213 0 72 0
[pid=2663] ppid=2662 vsize=76724 CPUtime=23.95 cores=0,2,4,6
/proc/2663/stat : 2663 (glucose) R 2662 2654 1653 0 -1 4202496 14469 0 0 0 2392 3 0 0 20 0 1 0 272192756 78565376 17136 33554432000 4194304 5208918 140734233222624 140734233219000 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2663/statm: 19181 17136 105 248 0 18930 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 131668

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2675
/proc/meminfo: memFree=27026924/32873844 swapFree=6088/6088
[pid=2654] ppid=2652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2654/stat : 2654 (npSolver-pbo-It) S 2652 2654 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272192602 9367552 274 33554432000 4194304 5064252 140734940519440 140734940518352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2654/statm: 2287 274 233 213 0 72 0
[pid=2655] ppid=2654 vsize=15616 CPUtime=47.88 cores=0,2,4,6
/proc/2655/stat : 2655 (npSolver-pbo) S 2654 2654 1653 0 -1 4202496 12583 50630 0 0 30 13 4724 21 20 0 1 0 272192603 15990784 3360 33554432000 4194304 5992684 140734119694768 140734119680600 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2655/statm: 3904 3360 204 440 0 3460 0
[pid=2675] ppid=2655 vsize=37912 CPUtime=3.18 cores=0,2,4,6
/proc/2675/stat : 2675 (glucosInc) R 2655 2654 1653 0 -1 4202496 6962 0 0 0 317 1 0 0 20 0 1 0 272197393 38821888 8621 33554432000 4194304 5654031 140736176224864 140736176212680 4208595 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2675/statm: 9478 8621 142 357 0 9118 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 62676

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2675
/proc/meminfo: memFree=27004172/32873844 swapFree=6088/6088
[pid=2654] ppid=2652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2654/stat : 2654 (npSolver-pbo-It) S 2652 2654 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272192602 9367552 274 33554432000 4194304 5064252 140734940519440 140734940518352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2654/statm: 2287 274 233 213 0 72 0
[pid=2655] ppid=2654 vsize=15616 CPUtime=47.88 cores=0,2,4,6
/proc/2655/stat : 2655 (npSolver-pbo) S 2654 2654 1653 0 -1 4202496 12583 50630 0 0 30 13 4724 21 20 0 1 0 272192603 15990784 3360 33554432000 4194304 5992684 140734119694768 140734119680600 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2655/statm: 3904 3360 204 440 0 3460 0
[pid=2675] ppid=2655 vsize=68976 CPUtime=54.38 cores=0,2,4,6
/proc/2675/stat : 2675 (glucosInc) R 2655 2654 1653 0 -1 4202496 10109 0 0 0 5434 4 0 0 20 0 1 0 272197393 70631424 16552 33554432000 4194304 5654031 140736176224864 140736176212680 4215248 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2675/statm: 17244 16552 142 357 0 16884 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 93740

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2677
/proc/meminfo: memFree=26974920/32873844 swapFree=6088/6088
[pid=2654] ppid=2652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2654/stat : 2654 (npSolver-pbo-It) S 2652 2654 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272192602 9367552 274 33554432000 4194304 5064252 140734940519440 140734940518352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2654/statm: 2287 274 233 213 0 72 0
[pid=2655] ppid=2654 vsize=15616 CPUtime=106.94 cores=0,2,4,6

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

/proc/meminfo: memFree=27149908/32873844 swapFree=6088/6088
[pid=2654] ppid=2652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2654/stat : 2654 (npSolver-pbo-It) S 2652 2654 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272192602 9367552 274 33554432000 4194304 5064252 140734940519440 140734940518352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2654/statm: 2287 274 233 213 0 72 0
[pid=2655] ppid=2654 vsize=15616 CPUtime=1233.98 cores=0,2,4,6
/proc/2655/stat : 2655 (npSolver-pbo) S 2654 2654 1653 0 -1 4202496 44634 199726 0 0 103 21 123190 84 20 0 1 0 272192603 15990784 3363 33554432000 4194304 5992684 140734119694768 140734119680600 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2655/statm: 3904 3363 204 440 0 3460 0
[pid=2781] ppid=2655 vsize=87172 CPUtime=67.96 cores=0,2,4,6
/proc/2781/stat : 2781 (glucosInc) R 2655 2654 1653 0 -1 4202496 10267 0 0 0 6793 3 0 0 20 0 1 0 272316034 89264128 20161 33554432000 4194304 5654031 140736728782448 140736728770264 4232859 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2781/statm: 21793 20161 142 357 0 21433 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 111936

[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 2786
/proc/meminfo: memFree=27114020/32873844 swapFree=6088/6088
[pid=2654] ppid=2652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2654/stat : 2654 (npSolver-pbo-It) S 2652 2654 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272192602 9367552 274 33554432000 4194304 5064252 140734940519440 140734940518352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2654/statm: 2287 274 233 213 0 72 0
[pid=2655] ppid=2654 vsize=15616 CPUtime=1233.98 cores=0,2,4,6
/proc/2655/stat : 2655 (npSolver-pbo) S 2654 2654 1653 0 -1 4202496 44634 199726 0 0 103 21 123190 84 20 0 1 0 272192603 15990784 3363 33554432000 4194304 5992684 140734119694768 140734119680600 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2655/statm: 3904 3363 204 440 0 3460 0
[pid=2781] ppid=2655 vsize=87172 CPUtime=127.95 cores=0,2,4,6
/proc/2781/stat : 2781 (glucosInc) R 2655 2654 1653 0 -1 4202496 10693 0 0 0 12791 4 0 0 20 0 1 0 272316034 89264128 21133 33554432000 4194304 5654031 140736728782448 140736728770264 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2781/statm: 21793 21133 142 357 0 21433 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 111936

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2790
/proc/meminfo: memFree=27209232/32873844 swapFree=6088/6088
[pid=2654] ppid=2652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2654/stat : 2654 (npSolver-pbo-It) S 2652 2654 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272192602 9367552 274 33554432000 4194304 5064252 140734940519440 140734940518352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2654/statm: 2287 274 233 213 0 72 0
[pid=2655] ppid=2654 vsize=15616 CPUtime=1420.37 cores=0,2,4,6
/proc/2655/stat : 2655 (npSolver-pbo) S 2654 2654 1653 0 -1 4202496 47100 213369 0 0 109 21 141815 92 20 0 1 0 272192603 15990784 3363 33554432000 4194304 5992684 140734119694768 140734119680600 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2655/statm: 3904 3363 204 440 0 3460 0
[pid=2790] ppid=2655 vsize=26444 CPUtime=1.55 cores=0,2,4,6
/proc/2790/stat : 2790 (glucosInc) R 2655 2654 1653 0 -1 4202496 6599 0 0 0 155 0 0 0 20 0 1 0 272334676 27078656 5694 33554432000 4194304 5654031 140737208302672 140737208290488 4232755 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2790/statm: 6611 5694 142 357 0 6251 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 51208

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2790
/proc/meminfo: memFree=27114568/32873844 swapFree=6088/6088
[pid=2654] ppid=2652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2654/stat : 2654 (npSolver-pbo-It) S 2652 2654 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272192602 9367552 274 33554432000 4194304 5064252 140734940519440 140734940518352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2654/statm: 2287 274 233 213 0 72 0
[pid=2655] ppid=2654 vsize=15616 CPUtime=1420.37 cores=0,2,4,6
/proc/2655/stat : 2655 (npSolver-pbo) S 2654 2654 1653 0 -1 4202496 47100 213369 0 0 109 21 141815 92 20 0 1 0 272192603 15990784 3363 33554432000 4194304 5992684 140734119694768 140734119680600 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2655/statm: 3904 3363 204 440 0 3460 0
[pid=2790] ppid=2655 vsize=87036 CPUtime=61.53 cores=0,2,4,6
/proc/2790/stat : 2790 (glucosInc) R 2655 2654 1653 0 -1 4202496 10385 0 0 0 6151 2 0 0 20 0 1 0 272334676 89124864 20947 33554432000 4194304 5654031 140737208302672 140737208290488 4225706 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2790/statm: 21759 20947 142 357 0 21399 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 111800

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2790
/proc/meminfo: memFree=27088304/32873844 swapFree=6088/6088
[pid=2654] ppid=2652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2654/stat : 2654 (npSolver-pbo-It) S 2652 2654 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272192602 9367552 274 33554432000 4194304 5064252 140734940519440 140734940518352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2654/statm: 2287 274 233 213 0 72 0
[pid=2655] ppid=2654 vsize=15616 CPUtime=1420.37 cores=0,2,4,6
/proc/2655/stat : 2655 (npSolver-pbo) S 2654 2654 1653 0 -1 4202496 47100 213369 0 0 109 21 141815 92 20 0 1 0 272192603 15990784 3363 33554432000 4194304 5992684 140734119694768 140734119680600 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2655/statm: 3904 3363 204 440 0 3460 0
[pid=2790] ppid=2655 vsize=87036 CPUtime=121.52 cores=0,2,4,6
/proc/2790/stat : 2790 (glucosInc) R 2655 2654 1653 0 -1 4202496 10385 0 0 0 12150 2 0 0 20 0 1 0 272334676 89124864 20947 33554432000 4194304 5654031 140737208302672 140737208290488 4232495 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2790/statm: 21759 20947 142 357 0 21399 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 111800

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2791
/proc/meminfo: memFree=27071240/32873844 swapFree=6088/6088
[pid=2654] ppid=2652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2654/stat : 2654 (npSolver-pbo-It) S 2652 2654 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272192602 9367552 274 33554432000 4194304 5064252 140734940519440 140734940518352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2654/statm: 2287 274 233 213 0 72 0
[pid=2655] ppid=2654 vsize=15616 CPUtime=1420.37 cores=0,2,4,6
/proc/2655/stat : 2655 (npSolver-pbo) S 2654 2654 1653 0 -1 4202496 47100 213369 0 0 109 21 141815 92 20 0 1 0 272192603 15990784 3363 33554432000 4194304 5992684 140734119694768 140734119680600 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2655/statm: 3904 3363 204 440 0 3460 0
[pid=2790] ppid=2655 vsize=99160 CPUtime=181.51 cores=0,2,4,6
/proc/2790/stat : 2790 (glucosInc) R 2655 2654 1653 0 -1 4202496 12621 0 0 0 18147 4 0 0 20 0 1 0 272334676 101539840 24031 33554432000 4194304 5654031 140737208302672 140737208290488 4232601 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2790/statm: 24790 24031 142 357 0 24430 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 123924

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2793
/proc/meminfo: memFree=27100220/32873844 swapFree=6088/6088
[pid=2654] ppid=2652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2654/stat : 2654 (npSolver-pbo-It) S 2652 2654 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272192602 9367552 274 33554432000 4194304 5064252 140734940519440 140734940518352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2654/statm: 2287 274 233 213 0 72 0
[pid=2655] ppid=2654 vsize=15616 CPUtime=1603.42 cores=0,2,4,6
/proc/2655/stat : 2655 (npSolver-pbo) S 2654 2654 1653 0 -1 4202496 49565 226537 0 0 114 22 160109 97 20 0 1 0 272192603 15990784 3363 33554432000 4194304 5992684 140734119694768 140734119680600 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2655/statm: 3904 3363 204 440 0 3460 0
[pid=2793] ppid=2655 vsize=68480 CPUtime=58.43 cores=0,2,4,6
/proc/2793/stat : 2793 (glucosInc) R 2655 2654 1653 0 -1 4202496 10310 0 0 0 5840 3 0 0 20 0 1 0 272352986 70123520 16372 33554432000 4194304 5654031 140733366266944 140733366254760 4232752 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2793/statm: 17120 16372 142 357 0 16760 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 93244

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2793
/proc/meminfo: memFree=27081540/32873844 swapFree=6088/6088
[pid=2654] ppid=2652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2654/stat : 2654 (npSolver-pbo-It) S 2652 2654 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272192602 9367552 274 33554432000 4194304 5064252 140734940519440 140734940518352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2654/statm: 2287 274 233 213 0 72 0
[pid=2655] ppid=2654 vsize=15616 CPUtime=1603.42 cores=0,2,4,6
/proc/2655/stat : 2655 (npSolver-pbo) S 2654 2654 1653 0 -1 4202496 49565 226537 0 0 114 22 160109 97 20 0 1 0 272192603 15990784 3363 33554432000 4194304 5992684 140734119694768 140734119680600 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2655/statm: 3904 3363 204 440 0 3460 0
[pid=2793] ppid=2655 vsize=87336 CPUtime=118.42 cores=0,2,4,6
/proc/2793/stat : 2793 (glucosInc) R 2655 2654 1653 0 -1 4202496 11941 0 0 0 11838 4 0 0 20 0 1 0 272352986 89432064 21089 33554432000 4194304 5654031 140733366266944 140733366254760 4215366 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2793/statm: 21834 21089 142 357 0 21474 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 112100

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/182 2798
/proc/meminfo: memFree=27099536/32873844 swapFree=6088/6088
[pid=2654] ppid=2652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2654/stat : 2654 (npSolver-pbo-It) S 2652 2654 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272192602 9367552 274 33554432000 4194304 5064252 140734940519440 140734940518352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2654/statm: 2287 274 233 213 0 72 0
[pid=2655] ppid=2654 vsize=15616 CPUtime=1731.78 cores=0,2,4,6
/proc/2655/stat : 2655 (npSolver-pbo) S 2654 2654 1653 0 -1 4202496 52031 239021 0 0 120 22 172933 103 20 0 1 0 272192603 15990784 3363 33554432000 4194304 5992684 140734119694768 140734119680600 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2655/statm: 3904 3363 204 440 0 3460 0
[pid=2795] ppid=2655 vsize=68420 CPUtime=50.05 cores=0,2,4,6
/proc/2795/stat : 2795 (glucosInc) R 2655 2654 1653 0 -1 4202496 9421 0 0 0 5002 3 0 0 20 0 1 0 272365825 70062080 16460 33554432000 4194304 5654031 140736155192336 140736155180152 4232939 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2795/statm: 17105 16460 142 357 0 16745 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 93184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 2798
/proc/meminfo: memFree=27045484/32873844 swapFree=6088/6088
[pid=2654] ppid=2652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2654/stat : 2654 (npSolver-pbo-It) S 2652 2654 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272192602 9367552 274 33554432000 4194304 5064252 140734940519440 140734940518352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2654/statm: 2287 274 233 213 0 72 0
[pid=2655] ppid=2654 vsize=15616 CPUtime=1731.78 cores=0,2,4,6
/proc/2655/stat : 2655 (npSolver-pbo) S 2654 2654 1653 0 -1 4202496 52031 239021 0 0 120 22 172933 103 20 0 1 0 272192603 15990784 3363 33554432000 4194304 5992684 140734119694768 140734119680600 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2655/statm: 3904 3363 204 440 0 3460 0
[pid=2795] ppid=2655 vsize=87276 CPUtime=68.26 cores=0,2,4,6
/proc/2795/stat : 2795 (glucosInc) R 2655 2654 1653 0 -1 4202496 10047 0 0 0 6823 3 0 0 20 0 1 0 272365825 89370624 21130 33554432000 4194304 5654031 140736155192336 140736155180152 4232994 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2795/statm: 21819 21130 142 357 0 21459 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 112040

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.02 2.01 2.00 3/182 2798
/proc/meminfo: memFree=27045484/32873844 swapFree=6088/6088
[pid=2654] ppid=2652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2654/stat : 2654 (npSolver-pbo-It) S 2652 2654 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272192602 9367552 274 33554432000 4194304 5064252 140734940519440 140734940518352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2654/statm: 2287 274 233 213 0 72 0
[pid=2655] ppid=2654 vsize=15616 CPUtime=1731.78 cores=0,2,4,6
/proc/2655/stat : 2655 (npSolver-pbo) S 2654 2654 1653 0 -1 4202496 52031 239021 0 0 120 22 172933 103 20 0 1 0 272192603 15990784 3363 33554432000 4194304 5992684 140734119694768 140734119680600 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2655/statm: 3904 3363 204 440 0 3460 0
[pid=2795] ppid=2655 vsize=87276 CPUtime=68.26 cores=0,2,4,6
/proc/2795/stat : 2795 (glucosInc) R 2655 2654 1653 0 -1 4202496 10047 0 0 0 6823 3 0 0 20 0 1 0 272365825 89370624 21130 33554432000 4194304 5654031 140736155192336 140736155180152 4232994 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2795/statm: 21819 21130 142 357 0 21459 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 112040

Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1798.77
CPU system time (s): 1.3038
CPU usage (%): 99.9758
Max. virtual memory (cumulated for all children) (KiB): 192792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.77
system time used= 1.3038
maximum resident set size= 136636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 301479
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2639
involuntary context switches= 2877

runsolver used 9.39457 second user time and 11.6612 second system time

The end

Launcher Data 

Begin job on node108 at 2012-05-26 21:30:40
IDJOB=3702868
IDBENCH=2231
IDSOLVER=2278
FILE ID=node108/3702868-1338060640
RUNJOBID= node108-1338052671-1673
PBS_JOBID= 14624392
Free space on /tmp= 71684 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.opb
COMMAND LINE= DIR/npSolver-pbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3702868-1338060640/watcher-3702868-1338060640 -o /tmp/evaluation-result-3702868-1338060640/solver-3702868-1338060640 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702868-1338060640.opb 1815784633 HOME HOME

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

MD5SUM BENCH= ed36462db2ffa04ea65b986069441496
RANDOM SEED=1815784633

node108.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.273
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.54
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.273
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.273
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
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.273
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.273
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.273
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	: 5438.55
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.273
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.90
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.273
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27073072 kB
Buffers:          249936 kB
Cached:          4554796 kB
SwapCached:            0 kB
Active:           793480 kB
Inactive:        4215092 kB
Active(anon):     206136 kB
Inactive(anon):        0 kB
Active(file):     587344 kB
Inactive(file):  4215092 kB
Unevictable:        6088 kB
Mlocked:            6088 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              8160 kB
Writeback:             0 kB
AnonPages:        306132 kB
Mapped:            15840 kB
Shmem:               200 kB
Slab:             640128 kB
SReclaimable:      82336 kB
SUnreclaim:       557792 kB
KernelStack:        1512 kB
PageTables:         4092 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     349188 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    210944 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= 71684 MiB
End job on node108 at 2012-05-26 22:00:41