Trace number 3747141

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cmb.opb
MD5SUM8aa1aebf70d33d96463ba96014c98682
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1053
Best CPU time to get the best result obtained on this benchmark0.042993
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1053
Optimality of the best value was proved YES
Number of variables304
Total number of constraints671
Number of constraints which are clauses671
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint28
Number of terms in the objective function 304
Biggest coefficient in the objective function 61
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 12887
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 61
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 12887
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.00/0.01	c run inc solver
0.00/0.01	c [INC SYSTEM] run initial solver
0.00/0.01	c [INC SYSTEM] preprocess with white file
0.00/0.02	c [INC SYSTEM] finished preprocessing in 0 s
0.00/0.02	c [INC SYSTEM] execute solver
0.00/0.02	c [INC SEARCH] formula is SAT
0.00/0.02	c [INC SYSTEM] solved the initial formula
0.00/0.02	c model valid
0.00/0.02	c current solution ok
0.00/0.03	o 1524
0.00/0.03	c [INC SYSTEM] there exists a inc, kill it!
0.00/0.03	c write failed with 2
0.00/0.03	c [INC SEARCH] iteration: 0
0.00/0.03	c [INC BOUNDS] best value:1524 search for 1523
0.00/0.03	c [INC SYSTEM] create new solver instance
0.00/0.03	c [INC] encode full formula
0.00/0.03	c fallback to adder encoding
0.00/0.04	c set iterative enc to: adder
0.00/0.04	c set iterative enc to: none
0.00/0.05	c [INC SEARCH] isOptimum variable: 0
25.46/25.52	c formula is SAT
25.46/25.52	c [INC SEARCH] copied best model
25.46/25.52	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
25.46/25.52	c model valid
25.46/25.52	c current solution ok
25.46/25.52	o 1487
25.46/25.52	c [INC SEARCH] iteration: 1
25.46/25.52	c [INC BOUNDS] best value:1487 search for 1486
25.46/25.52	c [INC SYSTEM] there exists a inc, kill it!
25.46/25.52	c write failed with 2
25.46/25.52	c [INC SYSTEM] create new solver instance
25.46/25.52	c [INC] encode full formula
25.46/25.52	c fallback to adder encoding
25.46/25.54	c set iterative enc to: adder
25.46/25.54	c set iterative enc to: none
25.46/25.54	c [INC SEARCH] isOptimum variable: 0
44.98/45.05	c formula is SAT
44.98/45.05	c [INC SEARCH] copied best model
44.98/45.05	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
44.98/45.05	c model valid
44.98/45.05	c current solution ok
44.98/45.05	o 1456
44.98/45.05	c [INC SEARCH] iteration: 2
44.98/45.05	c [INC BOUNDS] best value:1456 search for 1455
44.98/45.05	c [INC SYSTEM] there exists a inc, kill it!
44.98/45.05	c write failed with 2
44.98/45.05	c [INC SYSTEM] create new solver instance
44.98/45.05	c [INC] encode full formula
44.98/45.05	c fallback to adder encoding
44.98/45.07	c set iterative enc to: adder
44.98/45.07	c set iterative enc to: none
44.98/45.07	c [INC SEARCH] isOptimum variable: 0
61.35/61.50	c formula is SAT
61.35/61.50	c [INC SEARCH] copied best model
61.35/61.50	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
61.35/61.50	c model valid
61.35/61.50	c current solution ok
61.35/61.50	o 1450
61.35/61.50	c [INC SEARCH] iteration: 3
61.35/61.50	c [INC BOUNDS] best value:1450 search for 1449
61.35/61.50	c [INC SYSTEM] there exists a inc, kill it!
61.35/61.50	c write failed with 2
61.46/61.50	c [INC SYSTEM] create new solver instance
61.46/61.50	c [INC] encode full formula
61.46/61.50	c fallback to adder encoding
61.46/61.52	c set iterative enc to: adder
61.46/61.52	c set iterative enc to: none
61.46/61.52	c [INC SEARCH] isOptimum variable: 0
67.65/67.74	c formula is SAT
67.65/67.74	c [INC SEARCH] copied best model
67.65/67.74	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
67.65/67.74	c model valid
67.65/67.74	c current solution ok
67.65/67.74	o 1411
67.65/67.74	c [INC SEARCH] iteration: 4
67.65/67.74	c [INC BOUNDS] best value:1411 search for 1410
67.65/67.74	c [INC SYSTEM] there exists a inc, kill it!
67.65/67.74	c write failed with 2
67.65/67.74	c [INC SYSTEM] create new solver instance
67.65/67.74	c [INC] encode full formula
67.65/67.74	c fallback to adder encoding
67.65/67.75	c set iterative enc to: adder
67.65/67.75	c set iterative enc to: none
67.65/67.76	c [INC SEARCH] isOptimum variable: 0
70.74/70.85	c formula is SAT
70.74/70.85	c [INC SEARCH] copied best model
70.74/70.85	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
70.74/70.85	c model valid
70.74/70.85	c current solution ok
70.74/70.85	o 1375
70.74/70.85	c [INC SEARCH] iteration: 5
70.74/70.85	c [INC BOUNDS] best value:1375 search for 1374
70.74/70.85	c [INC SYSTEM] there exists a inc, kill it!
70.74/70.85	c write failed with 2
70.74/70.85	c [INC SYSTEM] create new solver instance
70.74/70.85	c [INC] encode full formula
70.74/70.85	c fallback to adder encoding
70.74/70.87	c set iterative enc to: adder
70.74/70.87	c set iterative enc to: none
70.74/70.87	c [INC SEARCH] isOptimum variable: 0
89.95/90.05	c formula is SAT
89.95/90.05	c [INC SEARCH] copied best model
89.95/90.05	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
89.95/90.05	c model valid
89.95/90.05	c current solution ok
89.95/90.05	o 1374
89.95/90.05	c [INC SEARCH] iteration: 6
89.95/90.05	c [INC BOUNDS] best value:1374 search for 1373
89.95/90.05	c [INC SYSTEM] there exists a inc, kill it!
89.95/90.05	c write failed with 2
89.95/90.05	c [INC SYSTEM] create new solver instance
89.95/90.05	c [INC] encode full formula
89.95/90.05	c fallback to adder encoding
89.95/90.07	c set iterative enc to: adder
89.95/90.07	c set iterative enc to: none
89.95/90.07	c [INC SEARCH] isOptimum variable: 0
94.13/94.21	c formula is SAT
94.13/94.21	c [INC SEARCH] copied best model
94.13/94.21	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
94.13/94.21	c model valid
94.13/94.21	c current solution ok
94.13/94.21	o 1340
94.13/94.21	c [INC SEARCH] iteration: 7
94.13/94.21	c [INC BOUNDS] best value:1340 search for 1339
94.13/94.21	c [INC SYSTEM] there exists a inc, kill it!
94.13/94.21	c write failed with 2
94.13/94.21	c [INC SYSTEM] create new solver instance
94.13/94.21	c [INC] encode full formula
94.13/94.21	c fallback to adder encoding
94.13/94.23	c set iterative enc to: adder
94.13/94.23	c set iterative enc to: none
94.13/94.23	c [INC SEARCH] isOptimum variable: 0
96.23/96.39	c formula is SAT
96.23/96.39	c [INC SEARCH] copied best model
96.23/96.39	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
96.33/96.40	c model valid
96.33/96.40	c current solution ok
96.33/96.40	o 1323
96.33/96.40	c [INC SEARCH] iteration: 8
96.33/96.40	c [INC BOUNDS] best value:1323 search for 1322
96.33/96.40	c [INC SYSTEM] there exists a inc, kill it!
96.33/96.40	c write failed with 2
96.33/96.40	c [INC SYSTEM] create new solver instance
96.33/96.40	c [INC] encode full formula
96.33/96.40	c fallback to adder encoding
96.33/96.41	c set iterative enc to: adder
96.33/96.41	c set iterative enc to: none
96.33/96.42	c [INC SEARCH] isOptimum variable: 0
128.83/128.98	c formula is SAT
128.83/128.98	c [INC SEARCH] copied best model
128.83/128.98	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
128.83/128.99	c model valid
128.83/128.99	c current solution ok
128.83/128.99	o 1307
128.83/128.99	c [INC SEARCH] iteration: 9
128.83/128.99	c [INC BOUNDS] best value:1307 search for 1306
128.83/128.99	c [INC SYSTEM] there exists a inc, kill it!
128.83/128.99	c write failed with 2
128.83/128.99	c [INC SYSTEM] create new solver instance
128.83/128.99	c [INC] encode full formula
128.83/128.99	c fallback to adder encoding
128.94/129.00	c set iterative enc to: adder
128.94/129.00	c set iterative enc to: none
128.94/129.01	c [INC SEARCH] isOptimum variable: 0
135.42/135.53	c formula is SAT
135.42/135.53	c [INC SEARCH] copied best model
135.42/135.53	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
135.42/135.53	c model valid
135.42/135.53	c current solution ok
135.42/135.53	o 1282
135.42/135.53	c [INC SEARCH] iteration: 10
135.42/135.53	c [INC BOUNDS] best value:1282 search for 1281
135.42/135.53	c [INC SYSTEM] there exists a inc, kill it!
135.42/135.53	c write failed with 2
135.42/135.53	c [INC SYSTEM] create new solver instance
135.42/135.53	c [INC] encode full formula
135.42/135.53	c fallback to adder encoding
135.42/135.55	c set iterative enc to: adder
135.42/135.55	c set iterative enc to: none
135.42/135.55	c [INC SEARCH] isOptimum variable: 0
152.30/152.47	c formula is SAT
152.30/152.47	c [INC SEARCH] copied best model
152.30/152.47	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
152.30/152.47	c model valid
152.30/152.47	c current solution ok
152.30/152.47	o 1246
152.30/152.47	c [INC SEARCH] iteration: 11
152.30/152.47	c [INC BOUNDS] best value:1246 search for 1245
152.30/152.47	c [INC SYSTEM] there exists a inc, kill it!
152.30/152.47	c write failed with 2
152.30/152.47	c [INC SYSTEM] create new solver instance
152.30/152.47	c [INC] encode full formula
152.30/152.47	c fallback to adder encoding
152.30/152.48	c set iterative enc to: adder
152.30/152.48	c set iterative enc to: none
152.30/152.49	c [INC SEARCH] isOptimum variable: 0
179.68/179.84	c formula is SAT
179.68/179.84	c [INC SEARCH] copied best model
179.68/179.84	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
179.68/179.84	c model valid
179.68/179.84	c current solution ok
179.68/179.84	o 1240
179.68/179.84	c [INC SEARCH] iteration: 12
179.68/179.84	c [INC BOUNDS] best value:1240 search for 1239
179.68/179.84	c [INC SYSTEM] there exists a inc, kill it!
179.68/179.84	c write failed with 2
179.68/179.84	c [INC SYSTEM] create new solver instance
179.68/179.84	c [INC] encode full formula
179.68/179.84	c fallback to adder encoding
179.68/179.86	c set iterative enc to: adder
179.68/179.86	c set iterative enc to: none
179.68/179.86	c [INC SEARCH] isOptimum variable: 0
207.17/207.32	c formula is SAT
207.17/207.32	c [INC SEARCH] copied best model
207.17/207.32	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
207.17/207.32	c model valid
207.17/207.32	c current solution ok
207.17/207.32	o 1223
207.17/207.32	c [INC SEARCH] iteration: 13
207.17/207.32	c [INC BOUNDS] best value:1223 search for 1222
207.17/207.32	c [INC SYSTEM] there exists a inc, kill it!
207.17/207.32	c write failed with 2
207.17/207.32	c [INC SYSTEM] create new solver instance
207.17/207.32	c [INC] encode full formula
207.17/207.32	c fallback to adder encoding
207.17/207.34	c set iterative enc to: adder
207.17/207.34	c set iterative enc to: none
207.17/207.34	c [INC SEARCH] isOptimum variable: 0
237.18/237.31	c formula is SAT
237.18/237.31	c [INC SEARCH] copied best model
237.18/237.31	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
237.18/237.31	c model valid
237.18/237.31	c current solution ok
237.18/237.31	o 1170
237.18/237.31	c [INC SEARCH] iteration: 14
237.18/237.31	c [INC BOUNDS] best value:1170 search for 1169
237.18/237.31	c [INC SYSTEM] there exists a inc, kill it!
237.18/237.31	c write failed with 2
237.18/237.31	c [INC SYSTEM] create new solver instance
237.18/237.31	c [INC] encode full formula
237.18/237.31	c fallback to adder encoding
237.18/237.33	c set iterative enc to: adder
237.18/237.33	c set iterative enc to: none
237.18/237.33	c [INC SEARCH] isOptimum variable: 0
350.56/350.79	c formula is SAT
350.56/350.79	c [INC SEARCH] copied best model
350.56/350.79	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
350.56/350.79	c model valid
350.56/350.79	c current solution ok
350.56/350.79	o 1156
350.56/350.79	c [INC SEARCH] iteration: 15
350.56/350.79	c [INC BOUNDS] best value:1156 search for 1155
350.56/350.79	c [INC SYSTEM] there exists a inc, kill it!
350.56/350.79	c write failed with 2
350.56/350.79	c [INC SYSTEM] create new solver instance
350.56/350.79	c [INC] encode full formula
350.56/350.79	c fallback to adder encoding
350.68/350.81	c set iterative enc to: adder
350.68/350.81	c set iterative enc to: none
350.68/350.82	c [INC SEARCH] isOptimum variable: 0
476.13/476.33	c formula is SAT
476.13/476.33	c [INC SEARCH] copied best model
476.13/476.33	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
476.13/476.33	c model valid
476.13/476.33	c current solution ok
476.13/476.33	o 1151
476.13/476.33	c [INC SEARCH] iteration: 16
476.13/476.33	c [INC BOUNDS] best value:1151 search for 1150
476.13/476.33	c [INC SYSTEM] there exists a inc, kill it!
476.13/476.33	c write failed with 2
476.13/476.33	c [INC SYSTEM] create new solver instance
476.13/476.33	c [INC] encode full formula
476.13/476.33	c fallback to adder encoding
476.13/476.35	c set iterative enc to: adder
476.13/476.35	c set iterative enc to: none
476.13/476.35	c [INC SEARCH] isOptimum variable: 0
567.42/567.66	c formula is SAT
567.42/567.66	c [INC SEARCH] copied best model
567.42/567.66	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
567.42/567.66	c model valid
567.42/567.66	c current solution ok
567.42/567.66	o 1134
567.42/567.66	c [INC SEARCH] iteration: 17
567.42/567.66	c [INC BOUNDS] best value:1134 search for 1133
567.42/567.66	c [INC SYSTEM] there exists a inc, kill it!
567.42/567.66	c write failed with 2
567.42/567.66	c [INC SYSTEM] create new solver instance
567.42/567.66	c [INC] encode full formula
567.42/567.66	c fallback to adder encoding
567.42/567.68	c set iterative enc to: adder
567.42/567.68	c set iterative enc to: none
567.42/567.68	c [INC SEARCH] isOptimum variable: 0
639.80/640.09	c formula is SAT
639.80/640.09	c [INC SEARCH] copied best model
639.80/640.09	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
639.80/640.09	c model valid
639.80/640.09	c current solution ok
639.80/640.09	o 1132
639.80/640.09	c [INC SEARCH] iteration: 18
639.80/640.09	c [INC BOUNDS] best value:1132 search for 1131
639.80/640.09	c [INC SYSTEM] there exists a inc, kill it!
639.80/640.09	c write failed with 2
639.80/640.09	c [INC SYSTEM] create new solver instance
639.80/640.09	c [INC] encode full formula
639.80/640.09	c fallback to adder encoding
639.91/640.11	c set iterative enc to: adder
639.91/640.11	c set iterative enc to: none
639.91/640.12	c [INC SEARCH] isOptimum variable: 0
766.68/766.98	c formula is SAT
766.68/766.98	c [INC SEARCH] copied best model
766.68/766.98	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
766.68/766.98	c model valid
766.68/766.98	c current solution ok
766.68/766.98	o 1118
766.68/766.98	c [INC SEARCH] iteration: 19
766.68/766.98	c [INC BOUNDS] best value:1118 search for 1117
766.68/766.98	c [INC SYSTEM] there exists a inc, kill it!
766.68/766.98	c write failed with 2
766.68/766.98	c [INC SYSTEM] create new solver instance
766.68/766.98	c [INC] encode full formula
766.68/766.98	c fallback to adder encoding
766.78/767.00	c set iterative enc to: adder
766.78/767.00	c set iterative enc to: none
766.78/767.01	c [INC SEARCH] isOptimum variable: 0
968.74/969.08	c formula is SAT
968.74/969.08	c [INC SEARCH] copied best model
968.74/969.08	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
968.74/969.08	c model valid
968.74/969.08	c current solution ok
968.74/969.08	o 1108
968.74/969.08	c [INC SEARCH] iteration: 20
968.74/969.08	c [INC BOUNDS] best value:1108 search for 1107
968.74/969.08	c [INC SYSTEM] there exists a inc, kill it!
968.74/969.08	c write failed with 2
968.74/969.08	c [INC SYSTEM] create new solver instance
968.74/969.08	c [INC] encode full formula
968.74/969.08	c fallback to adder encoding
968.74/969.10	c set iterative enc to: adder
968.74/969.10	c set iterative enc to: none
968.84/969.11	c [INC SEARCH] isOptimum variable: 0
1072.61/1072.96	c formula is SAT
1072.61/1072.96	c [INC SEARCH] copied best model
1072.61/1072.96	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1072.61/1072.96	c model valid
1072.61/1072.96	c current solution ok
1072.61/1072.96	o 1105
1072.61/1072.96	c [INC SEARCH] iteration: 21
1072.61/1072.96	c [INC BOUNDS] best value:1105 search for 1104
1072.61/1072.96	c [INC SYSTEM] there exists a inc, kill it!
1072.61/1072.96	c write failed with 2
1072.61/1072.97	c [INC SYSTEM] create new solver instance
1072.61/1072.97	c [INC] encode full formula
1072.61/1072.97	c fallback to adder encoding
1072.61/1072.98	c set iterative enc to: adder
1072.61/1072.98	c set iterative enc to: none
1072.61/1072.99	c [INC SEARCH] isOptimum variable: 0
1429.35/1429.78	c formula is SAT
1429.35/1429.78	c [INC SEARCH] copied best model
1429.35/1429.78	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1429.35/1429.78	c model valid
1429.35/1429.78	c current solution ok
1429.35/1429.78	o 1098
1429.35/1429.78	c [INC SEARCH] iteration: 22
1429.35/1429.78	c [INC BOUNDS] best value:1098 search for 1097
1429.35/1429.78	c [INC SYSTEM] there exists a inc, kill it!
1429.35/1429.78	c write failed with 2
1429.35/1429.78	c [INC SYSTEM] create new solver instance
1429.35/1429.78	c [INC] encode full formula
1429.35/1429.78	c fallback to adder encoding
1429.46/1429.80	c set iterative enc to: adder
1429.46/1429.80	c set iterative enc to: none
1429.46/1429.81	c [INC SEARCH] isOptimum variable: 0
1800.09/1800.51	c [INC SYSTEM] an unexpexted return value has been received, exit
1800.09/1800.51	s UNKNOWN
1800.09/1800.51	c [INC SYSTEM] there exists a inc, kill it!
1800.09/1800.51	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-3747141-1339099989/watcher-3747141-1339099989 -o /tmp/evaluation-result-3747141-1339099989/solver-3747141-1339099989 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747141-1339099989.opb 696256657 HOME HOME 

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

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


[startup+0 s]
/proc/loadavg: 2.04 1.99 1.68 2/178 30328
/proc/meminfo: memFree=25587196/32873844 swapFree=7628/7628
[pid=30328] ppid=30326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30328/stat : 30328 (npSolver-pbo-It) S 30326 30328 30107 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376123234 9367552 275 33554432000 4194304 5064252 140733434946672 140733434945584 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30328/statm: 2287 275 233 213 0 72 0

[startup+0.00892689 s]
/proc/loadavg: 2.04 1.99 1.68 2/178 30328
/proc/meminfo: memFree=25587196/32873844 swapFree=7628/7628
[pid=30328] ppid=30326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30328/stat : 30328 (npSolver-pbo-It) S 30326 30328 30107 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376123234 9367552 275 33554432000 4194304 5064252 140733434946672 140733434945584 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30328/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.10047 s]
/proc/loadavg: 2.04 1.99 1.68 2/178 30328
/proc/meminfo: memFree=25587196/32873844 swapFree=7628/7628
[pid=30328] ppid=30326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30328/stat : 30328 (npSolver-pbo-It) S 30326 30328 30107 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376123234 9367552 275 33554432000 4194304 5064252 140733434946672 140733434945584 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30328/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300234 s]
/proc/loadavg: 2.04 1.99 1.68 2/178 30328
/proc/meminfo: memFree=25587196/32873844 swapFree=7628/7628
[pid=30328] ppid=30326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30328/stat : 30328 (npSolver-pbo-It) S 30326 30328 30107 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376123234 9367552 275 33554432000 4194304 5064252 140733434946672 140733434945584 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30328/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700234 s]
/proc/loadavg: 2.04 1.99 1.68 2/178 30328
/proc/meminfo: memFree=25587196/32873844 swapFree=7628/7628
[pid=30328] ppid=30326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30328/stat : 30328 (npSolver-pbo-It) S 30326 30328 30107 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376123234 9367552 275 33554432000 4194304 5064252 140733434946672 140733434945584 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30328/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50032 s]
/proc/loadavg: 2.04 1.99 1.68 3/181 30337
/proc/meminfo: memFree=25572940/32873844 swapFree=7628/7628
[pid=30328] ppid=30326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30328/stat : 30328 (npSolver-pbo-It) S 30326 30328 30107 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376123234 9367552 275 33554432000 4194304 5064252 140733434946672 140733434945584 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30328/statm: 2287 275 233 213 0 72 0
[pid=30329] ppid=30328 vsize=4592 CPUtime=0.03 cores=1,3,5,7
/proc/30329/stat : 30329 (npSolver-pbo) S 30328 30328 30107 0 -1 4202496 3232 3301 0 0 2 1 0 0 20 0 1 0 376123234 4702208 784 33554432000 4194304 6004724 140733314995280 140733314981128 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30329/statm: 1148 784 178 442 0 702 0
[pid=30337] ppid=30329 vsize=11172 CPUtime=1.44 cores=1,3,5,7
/proc/30337/stat : 30337 (glucosInc) R 30329 30328 30107 0 -1 4202496 2894 0 0 0 144 0 0 0 20 0 1 0 376123239 11440128 2359 33554432000 4194304 5654031 140735301117872 140735301105688 4232968 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30337/statm: 2793 2359 142 357 0 2433 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 24912

[startup+3.10031 s]
/proc/loadavg: 2.04 1.99 1.68 3/181 30337
/proc/meminfo: memFree=25568040/32873844 swapFree=7628/7628
[pid=30328] ppid=30326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30328/stat : 30328 (npSolver-pbo-It) S 30326 30328 30107 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376123234 9367552 275 33554432000 4194304 5064252 140733434946672 140733434945584 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30328/statm: 2287 275 233 213 0 72 0
[pid=30329] ppid=30328 vsize=4592 CPUtime=0.03 cores=1,3,5,7
/proc/30329/stat : 30329 (npSolver-pbo) S 30328 30328 30107 0 -1 4202496 3232 3301 0 0 2 1 0 0 20 0 1 0 376123234 4702208 784 33554432000 4194304 6004724 140733314995280 140733314981128 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30329/statm: 1148 784 178 442 0 702 0
[pid=30337] ppid=30329 vsize=15692 CPUtime=3.04 cores=1,3,5,7
/proc/30337/stat : 30337 (glucosInc) R 30329 30328 30107 0 -1 4202496 3955 0 0 0 304 0 0 0 20 0 1 0 376123239 16068608 3366 33554432000 4194304 5654031 140735301117872 140735301105688 4214977 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30337/statm: 3923 3366 142 357 0 3563 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 29432

[startup+6.30033 s]
/proc/loadavg: 2.04 1.99 1.69 3/181 30337
/proc/meminfo: memFree=25551264/32873844 swapFree=7628/7628
[pid=30328] ppid=30326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30328/stat : 30328 (npSolver-pbo-It) S 30326 30328 30107 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376123234 9367552 275 33554432000 4194304 5064252 140733434946672 140733434945584 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30328/statm: 2287 275 233 213 0 72 0
[pid=30329] ppid=30328 vsize=4592 CPUtime=0.03 cores=1,3,5,7
/proc/30329/stat : 30329 (npSolver-pbo) S 30328 30328 30107 0 -1 4202496 3232 3301 0 0 2 1 0 0 20 0 1 0 376123234 4702208 784 33554432000 4194304 6004724 140733314995280 140733314981128 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30329/statm: 1148 784 178 442 0 702 0
[pid=30337] ppid=30329 vsize=22764 CPUtime=6.23 cores=1,3,5,7
/proc/30337/stat : 30337 (glucosInc) R 30329 30328 30107 0 -1 4202496 4738 0 0 0 623 0 0 0 20 0 1 0 376123239 23310336 5197 33554432000 4194304 5654031 140735301117872 140735301105688 4215919 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30337/statm: 5691 5197 142 357 0 5331 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 36504

[startup+12.7004 s]
/proc/loadavg: 2.04 1.99 1.69 3/181 30337
/proc/meminfo: memFree=25528564/32873844 swapFree=7628/7628
[pid=30328] ppid=30326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30328/stat : 30328 (npSolver-pbo-It) S 30326 30328 30107 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376123234 9367552 275 33554432000 4194304 5064252 140733434946672 140733434945584 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30328/statm: 2287 275 233 213 0 72 0
[pid=30329] ppid=30328 vsize=4592 CPUtime=0.03 cores=1,3,5,7
/proc/30329/stat : 30329 (npSolver-pbo) S 30328 30328 30107 0 -1 4202496 3232 3301 0 0 2 1 0 0 20 0 1 0 376123234 4702208 784 33554432000 4194304 6004724 140733314995280 140733314981128 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30329/statm: 1148 784 178 442 0 702 0
[pid=30337] ppid=30329 vsize=26816 CPUtime=12.64 cores=1,3,5,7
/proc/30337/stat : 30337 (glucosInc) R 30329 30328 30107 0 -1 4202496 5433 0 0 0 1263 1 0 0 20 0 1 0 376123239 27459584 6372 33554432000 4194304 5654031 140735301117872 140735301105688 4232912 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30337/statm: 6704 6372 142 357 0 6344 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 40556

[startup+25.5004 s]
/proc/loadavg: 2.03 1.99 1.69 3/181 30337
/proc/meminfo: memFree=25494692/32873844 swapFree=7628/7628
[pid=30328] ppid=30326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30328/stat : 30328 (npSolver-pbo-It) S 30326 30328 30107 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376123234 9367552 275 33554432000 4194304 5064252 140733434946672 140733434945584 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30328/statm: 2287 275 233 213 0 72 0
[pid=30329] ppid=30328 vsize=4592 CPUtime=0.03 cores=1,3,5,7
/proc/30329/stat : 30329 (npSolver-pbo) S 30328 30328 30107 0 -1 4202496 3232 3301 0 0 2 1 0 0 20 0 1 0 376123234 4702208 784 33554432000 4194304 6004724 140733314995280 140733314981128 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30329/statm: 1148 784 178 442 0 702 0
[pid=30337] ppid=30329 vsize=41724 CPUtime=25.43 cores=1,3,5,7
/proc/30337/stat : 30337 (glucosInc) R 30329 30328 30107 0 -1 4202496 6960 0 0 0 2541 2 0 0 20 0 1 0 376123239 42725376 8750 33554432000 4194304 5654031 140735301117872 140735301105688 4215200 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30337/statm: 10431 8750 142 357 0 10071 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 55464

[startup+51.1003 s]
/proc/loadavg: 2.08 2.01 1.70 3/181 30341
/proc/meminfo: memFree=25471788/32873844 swapFree=7628/7628
[pid=30328] ppid=30326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30328/stat : 30328 (npSolver-pbo-It) S 30326 30328 30107 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376123234 9367552 275 33554432000 4194304 5064252 140733434946672 140733434945584 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30328/statm: 2287 275 233 213 0 72 0
[pid=30329] ppid=30328 vsize=4592 CPUtime=45.05 cores=1,3,5,7
/proc/30329/stat : 30329 (npSolver-pbo) S 30328 30328 30107 0 -1 4202496 4856 15606 0 0 6 1 4494 4 20 0 1 0 376123234 4702208 795 33554432000 4194304 6004724 140733314995280 140733314981128 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30329/statm: 1148 795 178 442 0 702 0
[pid=30341] ppid=30329 vsize=20812 CPUtime=6.01 cores=1,3,5,7
/proc/30341/stat : 30341 (glucosInc) R 30329 30328 30107 0 -1 4202496 3749 0 0 0 601 0 0 0 20 0 1 0 376127742 21311488 4381 33554432000 4194304 5654031 140735409346096 140735409333912 4215079 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30341/statm: 5203 4381 142 357 0 4843 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 34552

[startup+102.307 s]
/proc/loadavg: 2.04 2.01 1.72 3/181 30420
/proc/meminfo: memFree=26539828/32873844 swapFree=7628/7628
[pid=30328] ppid=30326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30328/stat : 30328 (npSolver-pbo-It) S 30326 30328 30107 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376123234 9367552 275 33554432000 4194304 5064252 140733434946672 140733434945584 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30328/statm: 2287 275 233 213 0 72 0
[pid=30329] ppid=30328 vsize=4592 CPUtime=96.37 cores=1,3,5,7
/proc/30329/stat : 30329 (npSolver-pbo) S 30328 30328 30107 0 -1 4202496 9728 44714 0 0 16 3 9604 14 20 0 1 0 376123234 4702208 795 33554432000 4194304 6004724 140733314995280 140733314981128 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30329/statm: 1148 795 178 442 0 702 0
[pid=30418] ppid=30329 vsize=20732 CPUtime=5.87 cores=1,3,5,7
/proc/30418/stat : 30418 (glucosInc) R 30329 30328 30107 0 -1 4202496 4160 0 0 0 587 0 0 0 20 0 1 0 376132876 21229568 4737 33554432000 4194304 5654031 140733221638160 140733221625976 4215290 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30418/statm: 5183 4737 142 357 0 4823 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 34472

[startup+162.3 s]
/proc/loadavg: 2.07 2.02 1.74 3/182 30471
/proc/meminfo: memFree=25407304/32873844 swapFree=7628/7628
[pid=30328] ppid=30326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30328/stat : 30328 (npSolver-pbo-It) S 30326 30328 30107 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376123234 9367552 275 33554432000 4194304 5064252 140733434946672 140733434945584 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30328/statm: 2287 275 233 213 0 72 0
[pid=30329] ppid=30328 vsize=4592 CPUtime=152.4 cores=1,3,5,7
/proc/30329/stat : 30329 (npSolver-pbo) S 30328 30328 30107 0 -1 4202496 12164 61875 0 0 21 3 15194 22 20 0 1 0 376123234 4702208 795 33554432000 4194304 6004724 140733314995280 140733314981128 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30329/statm: 1148 795 178 442 0 702 0
[pid=30470] ppid=30329 vsize=26156 CPUtime=9.8 cores=1,3,5,7
/proc/30470/stat : 30470 (glucosInc) R 30329 30328 30107 0 -1 4202496 4821 0 0 0 979 1 0 0 20 0 1 0 376138483 26783744 5122 33554432000 4194304 5654031 140734451071680 140734451059496 4232939 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30470/statm: 6539 5122 142 357 0 6179 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 39896

[startup+222.3 s]
/proc/loadavg: 2.06 2.03 1.76 3/181 30476
/proc/meminfo: memFree=24531588/32873844 swapFree=7628/7628
[pid=30328] ppid=30326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30328/stat : 30328 (npSolver-pbo-It) S 30326 30328 30107 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376123234 9367552 275 33554432000 4194304 5064252 140733434946672 140733434945584 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30328/statm: 2287 275 233 213 0 72 0
[pid=30329] ppid=30328 vsize=4592 CPUtime=207.24 cores=1,3,5,7
/proc/30329/stat : 30329 (npSolver-pbo) S 30328 30328 30107 0 -1 4202496 13788 75840 0 0 25 4 20668 27 20 0 1 0 376123234 4702208 795 33554432000 4194304 6004724 140733314995280 140733314981128 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30329/statm: 1148 795 178 442 0 702 0
[pid=30476] ppid=30329 vsize=27856 CPUtime=14.94 cores=1,3,5,7
/proc/30476/stat : 30476 (glucosInc) R 30329 30328 30107 0 -1 4202496 5664 0 0 0 1493 1 0 0 20 0 1 0 376143969 28524544 6611 33554432000 4194304 5654031 140735219422464 140735219410280 4214993 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30476/statm: 6964 6611 142 357 0 6604 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 41596

[startup+282.3 s]

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

/proc/meminfo: memFree=24158616/32873844 swapFree=7628/7628
[pid=30328] ppid=30326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30328/stat : 30328 (npSolver-pbo-It) S 30326 30328 30107 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376123234 9367552 275 33554432000 4194304 5064252 140733434946672 140733434945584 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30328/statm: 2287 275 233 213 0 72 0
[pid=30329] ppid=30328 vsize=4592 CPUtime=1072.71 cores=1,3,5,7
/proc/30329/stat : 30329 (npSolver-pbo) S 30328 30328 30107 0 -1 4202496 20284 147272 0 0 39 5 107165 62 20 0 1 0 376123234 4702208 795 33554432000 4194304 6004724 140733314995280 140733314981128 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30329/statm: 1148 795 178 442 0 702 0
[pid=30502] ppid=30329 vsize=93348 CPUtime=229.27 cores=1,3,5,7
/proc/30502/stat : 30502 (glucosInc) R 30329 30328 30107 0 -1 4202496 10445 0 0 0 22920 7 0 0 20 0 1 0 376230533 95588352 17955 33554432000 4194304 5654031 140737273975168 140737273962984 4233148 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30502/statm: 23337 17955 142 357 0 22977 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 107088

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 30503
/proc/meminfo: memFree=24102080/32873844 swapFree=7628/7628
[pid=30328] ppid=30326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30328/stat : 30328 (npSolver-pbo-It) S 30326 30328 30107 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376123234 9367552 275 33554432000 4194304 5064252 140733434946672 140733434945584 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30328/statm: 2287 275 233 213 0 72 0
[pid=30329] ppid=30328 vsize=4592 CPUtime=1072.71 cores=1,3,5,7
/proc/30329/stat : 30329 (npSolver-pbo) S 30328 30328 30107 0 -1 4202496 20284 147272 0 0 39 5 107165 62 20 0 1 0 376123234 4702208 795 33554432000 4194304 6004724 140733314995280 140733314981128 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30329/statm: 1148 795 178 442 0 702 0
[pid=30502] ppid=30329 vsize=93348 CPUtime=289.25 cores=1,3,5,7
/proc/30502/stat : 30502 (glucosInc) R 30329 30328 30107 0 -1 4202496 11614 0 0 0 28916 9 0 0 20 0 1 0 376230533 95588352 17955 33554432000 4194304 5654031 140737273975168 140737273962984 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30502/statm: 23337 17955 142 357 0 22977 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 107088

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/182 30504
/proc/meminfo: memFree=24047336/32873844 swapFree=7628/7628
[pid=30328] ppid=30326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30328/stat : 30328 (npSolver-pbo-It) S 30326 30328 30107 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376123234 9367552 275 33554432000 4194304 5064252 140733434946672 140733434945584 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30328/statm: 2287 275 233 213 0 72 0
[pid=30329] ppid=30328 vsize=4592 CPUtime=1072.71 cores=1,3,5,7
/proc/30329/stat : 30329 (npSolver-pbo) S 30328 30328 30107 0 -1 4202496 20284 147272 0 0 39 5 107165 62 20 0 1 0 376123234 4702208 795 33554432000 4194304 6004724 140733314995280 140733314981128 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30329/statm: 1148 795 178 442 0 702 0
[pid=30502] ppid=30329 vsize=93348 CPUtime=349.25 cores=1,3,5,7
/proc/30502/stat : 30502 (glucosInc) R 30329 30328 30107 0 -1 4202496 12787 0 0 0 34913 12 0 0 20 0 1 0 376230533 95588352 17955 33554432000 4194304 5654031 140737273975168 140737273962984 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30502/statm: 23337 17955 142 357 0 22977 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 107088

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 30506
/proc/meminfo: memFree=24157256/32873844 swapFree=7628/7628
[pid=30328] ppid=30326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30328/stat : 30328 (npSolver-pbo-It) S 30326 30328 30107 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376123234 9367552 275 33554432000 4194304 5064252 140733434946672 140733434945584 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30328/statm: 2287 275 233 213 0 72 0
[pid=30329] ppid=30328 vsize=4592 CPUtime=1429.47 cores=1,3,5,7
/proc/30329/stat : 30329 (npSolver-pbo) S 30328 30328 30107 0 -1 4202496 21096 160974 0 0 41 6 142825 75 20 0 1 0 376123234 4702208 795 33554432000 4194304 6004724 140733314995280 140733314981128 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30329/statm: 1148 795 178 442 0 702 0
[pid=30506] ppid=30329 vsize=40440 CPUtime=52.46 cores=1,3,5,7
/proc/30506/stat : 30506 (glucosInc) R 30329 30328 30107 0 -1 4202496 7750 0 0 0 5244 2 0 0 20 0 1 0 376266215 41410560 9213 33554432000 4194304 5654031 140735831701232 140735831689048 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30506/statm: 10110 9213 142 357 0 9750 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 54180

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 30506
/proc/meminfo: memFree=24062684/32873844 swapFree=7628/7628
[pid=30328] ppid=30326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30328/stat : 30328 (npSolver-pbo-It) S 30326 30328 30107 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376123234 9367552 275 33554432000 4194304 5064252 140733434946672 140733434945584 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30328/statm: 2287 275 233 213 0 72 0
[pid=30329] ppid=30328 vsize=4592 CPUtime=1429.47 cores=1,3,5,7
/proc/30329/stat : 30329 (npSolver-pbo) S 30328 30328 30107 0 -1 4202496 21096 160974 0 0 41 6 142825 75 20 0 1 0 376123234 4702208 795 33554432000 4194304 6004724 140733314995280 140733314981128 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30329/statm: 1148 795 178 442 0 702 0
[pid=30506] ppid=30329 vsize=75600 CPUtime=112.46 cores=1,3,5,7
/proc/30506/stat : 30506 (glucosInc) R 30329 30328 30107 0 -1 4202496 8658 0 0 0 11242 4 0 0 20 0 1 0 376266215 77414400 16435 33554432000 4194304 5654031 140735831701232 140735831689048 4233232 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30506/statm: 18900 16435 142 357 0 18540 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 89340

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 30506
/proc/meminfo: memFree=24117536/32873844 swapFree=7628/7628
[pid=30328] ppid=30326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30328/stat : 30328 (npSolver-pbo-It) S 30326 30328 30107 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376123234 9367552 275 33554432000 4194304 5064252 140733434946672 140733434945584 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30328/statm: 2287 275 233 213 0 72 0
[pid=30329] ppid=30328 vsize=4592 CPUtime=1429.47 cores=1,3,5,7
/proc/30329/stat : 30329 (npSolver-pbo) S 30328 30328 30107 0 -1 4202496 21096 160974 0 0 41 6 142825 75 20 0 1 0 376123234 4702208 795 33554432000 4194304 6004724 140733314995280 140733314981128 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30329/statm: 1148 795 178 442 0 702 0
[pid=30506] ppid=30329 vsize=75600 CPUtime=172.45 cores=1,3,5,7
/proc/30506/stat : 30506 (glucosInc) R 30329 30328 30107 0 -1 4202496 8660 0 0 0 17241 4 0 0 20 0 1 0 376266215 77414400 17459 33554432000 4194304 5654031 140735831701232 140735831689048 4215104 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30506/statm: 18900 17459 142 357 0 18540 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 89340

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/182 30510
/proc/meminfo: memFree=24076468/32873844 swapFree=7628/7628
[pid=30328] ppid=30326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30328/stat : 30328 (npSolver-pbo-It) S 30326 30328 30107 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376123234 9367552 275 33554432000 4194304 5064252 140733434946672 140733434945584 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30328/statm: 2287 275 233 213 0 72 0
[pid=30329] ppid=30328 vsize=4592 CPUtime=1429.47 cores=1,3,5,7
/proc/30329/stat : 30329 (npSolver-pbo) S 30328 30328 30107 0 -1 4202496 21096 160974 0 0 41 6 142825 75 20 0 1 0 376123234 4702208 795 33554432000 4194304 6004724 140733314995280 140733314981128 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30329/statm: 1148 795 178 442 0 702 0
[pid=30506] ppid=30329 vsize=75600 CPUtime=232.44 cores=1,3,5,7
/proc/30506/stat : 30506 (glucosInc) R 30329 30328 30107 0 -1 4202496 9497 0 0 0 23239 5 0 0 20 0 1 0 376266215 77414400 17831 33554432000 4194304 5654031 140735831701232 140735831689048 4215175 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30506/statm: 18900 17831 142 357 0 18540 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 89340

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 30510
/proc/meminfo: memFree=24051860/32873844 swapFree=7628/7628
[pid=30328] ppid=30326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30328/stat : 30328 (npSolver-pbo-It) S 30326 30328 30107 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376123234 9367552 275 33554432000 4194304 5064252 140733434946672 140733434945584 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30328/statm: 2287 275 233 213 0 72 0
[pid=30329] ppid=30328 vsize=4592 CPUtime=1429.47 cores=1,3,5,7
/proc/30329/stat : 30329 (npSolver-pbo) S 30328 30328 30107 0 -1 4202496 21096 160974 0 0 41 6 142825 75 20 0 1 0 376123234 4702208 795 33554432000 4194304 6004724 140733314995280 140733314981128 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30329/statm: 1148 795 178 442 0 702 0
[pid=30506] ppid=30329 vsize=124920 CPUtime=292.42 cores=1,3,5,7
/proc/30506/stat : 30506 (glucosInc) R 30329 30328 30107 0 -1 4202496 11331 0 0 0 29235 7 0 0 20 0 1 0 376266215 127918080 25953 33554432000 4194304 5654031 140735831701232 140735831689048 4232949 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30506/statm: 31230 25953 142 357 0 30870 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 138660

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 30510
/proc/meminfo: memFree=24008916/32873844 swapFree=7628/7628
[pid=30328] ppid=30326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30328/stat : 30328 (npSolver-pbo-It) S 30326 30328 30107 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376123234 9367552 275 33554432000 4194304 5064252 140733434946672 140733434945584 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30328/statm: 2287 275 233 213 0 72 0
[pid=30329] ppid=30328 vsize=4592 CPUtime=1429.47 cores=1,3,5,7
/proc/30329/stat : 30329 (npSolver-pbo) S 30328 30328 30107 0 -1 4202496 21096 160974 0 0 41 6 142825 75 20 0 1 0 376123234 4702208 795 33554432000 4194304 6004724 140733314995280 140733314981128 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30329/statm: 1148 795 178 442 0 702 0
[pid=30506] ppid=30329 vsize=124920 CPUtime=352.42 cores=1,3,5,7
/proc/30506/stat : 30506 (glucosInc) R 30329 30328 30107 0 -1 4202496 12712 0 0 0 35232 10 0 0 20 0 1 0 376266215 127918080 25953 33554432000 4194304 5654031 140735831701232 140735831689048 4214981 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30506/statm: 31230 25953 142 357 0 30870 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 138660



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 30510
/proc/meminfo: memFree=24092264/32873844 swapFree=7628/7628
[pid=30328] ppid=30326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30328/stat : 30328 (npSolver-pbo-It) S 30326 30328 30107 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376123234 9367552 275 33554432000 4194304 5064252 140733434946672 140733434945584 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30328/statm: 2287 275 233 213 0 72 0
[pid=30329] ppid=30328 vsize=4592 CPUtime=1429.47 cores=1,3,5,7
/proc/30329/stat : 30329 (npSolver-pbo) S 30328 30328 30107 0 -1 4202496 21096 160974 0 0 41 6 142825 75 20 0 1 0 376123234 4702208 795 33554432000 4194304 6004724 140733314995280 140733314981128 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30329/statm: 1148 795 178 442 0 702 0
[pid=30506] ppid=30329 vsize=75600 CPUtime=370.62 cores=1,3,5,7
/proc/30506/stat : 30506 (glucosInc) R 30329 30328 30107 0 -1 4202496 12718 0 0 0 37052 10 0 0 20 0 1 0 376266215 77414400 17831 33554432000 4194304 5654031 140735831701232 140735831689048 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30506/statm: 18900 17831 142 357 0 18540 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 89340

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/181 30510
/proc/meminfo: memFree=24092264/32873844 swapFree=7628/7628
[pid=30328] ppid=30326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30328/stat : 30328 (npSolver-pbo-It) S 30326 30328 30107 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376123234 9367552 275 33554432000 4194304 5064252 140733434946672 140733434945584 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30328/statm: 2287 275 233 213 0 72 0
[pid=30329] ppid=30328 vsize=4592 CPUtime=1429.47 cores=1,3,5,7
/proc/30329/stat : 30329 (npSolver-pbo) S 30328 30328 30107 0 -1 4202496 21096 160974 0 0 41 6 142825 75 20 0 1 0 376123234 4702208 795 33554432000 4194304 6004724 140733314995280 140733314981128 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30329/statm: 1148 795 178 442 0 702 0
[pid=30506] ppid=30329 vsize=75600 CPUtime=370.62 cores=1,3,5,7
/proc/30506/stat : 30506 (glucosInc) R 30329 30328 30107 0 -1 4202496 12718 0 0 0 37052 10 0 0 20 0 1 0 376266215 77414400 17831 33554432000 4194304 5654031 140735831701232 140735831689048 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30506/statm: 18900 17831 142 357 0 18540 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 89340

Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.13
CPU user time (s): 1799.2
CPU system time (s): 0.930858
CPU usage (%): 99.9788
Max. virtual memory (cumulated for all children) (KiB): 156408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.2
system time used= 0.930858
maximum resident set size= 116100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195168
page faults= 0
swaps= 0
block input operations= 0
block output operations= 41544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 517
involuntary context switches= 2288

runsolver used 3.45847 second user time and 8.82566 second system time

The end

Launcher Data

Begin job on node145 at 2012-06-07 22:13:09
IDJOB=3747141
IDBENCH=2020
IDSOLVER=2332
FILE ID=node145/3747141-1339099989
RUNJOBID= node145-1339098177-30124
PBS_JOBID= 14643708
Free space on /tmp= 70936 MiB

SOLVER NAME= npSolver inc-topDown
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-cmb.opb
COMMAND LINE= DIR/npSolver-pbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3747141-1339099989/watcher-3747141-1339099989 -o /tmp/evaluation-result-3747141-1339099989/solver-3747141-1339099989 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo-Itd.sh HOME/instance-3747141-1339099989.opb 696256657 HOME HOME

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

MD5SUM BENCH= 8aa1aebf70d33d96463ba96014c98682
RANDOM SEED=696256657

node145.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		: 2667.149
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	: 5334.29
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		: 2667.149
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		: 2667.149
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	: 5313.38
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		: 2667.149
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		: 2667.149
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		: 2667.149
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		: 2667.149
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		: 2667.149
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.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        25587560 kB
Buffers:          467120 kB
Cached:          5012628 kB
SwapCached:            4 kB
Active:          3004996 kB
Inactive:        3394068 kB
Active(anon):     910492 kB
Inactive(anon):    10864 kB
Active(file):    2094504 kB
Inactive(file):  3383204 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108852 kB
Dirty:              8168 kB
Writeback:             0 kB
AnonPages:        928564 kB
Mapped:            15780 kB
Shmem:               200 kB
Slab:             726164 kB
SReclaimable:     167932 kB
SUnreclaim:       558232 kB
KernelStack:        1504 kB
PageTables:         5684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1070508 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    528384 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= 70552 MiB
End job on node145 at 2012-06-07 22:43:09