Trace number 3746921

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 NameAnswerCPU timeWall clock time
npSolver inc-topDown (fixed)OPT 1563.63 1564.22

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/IC/
normalized-minisat15_5_3_9_ic.opb
MD5SUM6e6423d95c6457aac671f6ff150ae932
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark7836062
Best CPU time to get the best result obtained on this benchmark2.91456
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3435
Total number of constraints6802
Number of constraints which are clauses2970
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints3825
Minimum length of a constraint2
Maximum length of a constraint105
Number of terms in the objective function 645
Biggest coefficient in the objective function 105154048
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 4264487337
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 105154048
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 4264487337
Number of bits of the biggest sum of numbers32
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.03	c old isEQ: 0, new EQ is 1
0.00/0.03	c old isEQ: 32, new EQ is 1
0.00/0.04	c old isEQ: 1, new EQ is 1
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.19	c [INC SYSTEM] finished preprocessing in 0 s
0.00/0.19	c [INC SYSTEM] execute solver
0.00/0.39	c [INC SEARCH] formula is SAT
0.00/0.39	c [INC SYSTEM] solved the initial formula
0.00/0.40	c model valid
0.00/0.40	c current solution ok
0.00/0.45	o 243693474
0.00/0.45	c [INC SYSTEM] there exists a inc, kill it!
0.00/0.45	c write failed with 2
0.00/0.45	c [INC SEARCH] iteration: 0
0.00/0.45	c [INC BOUNDS] best value:243693489 search for 243693488
0.00/0.45	c [INC SYSTEM] create new solver instance
0.00/0.45	c [INC] encode full formula
0.00/0.45	c fallback to adder encoding
0.00/0.55	c set iterative enc to: adder
0.00/0.55	c set iterative enc to: none
0.00/0.56	c [INC SEARCH] isOptimum variable: 0
1.26/1.37	c formula is SAT
1.26/1.37	c [INC SEARCH] copied best model
1.26/1.37	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1.26/1.38	c model valid
1.26/1.38	c current solution ok
1.26/1.38	o 158804760
1.26/1.38	c [INC SEARCH] iteration: 1
1.26/1.38	c [INC BOUNDS] best value:158804775 search for 158804774
1.26/1.38	c [INC SYSTEM] there exists a inc, kill it!
1.26/1.38	c write failed with 2
1.26/1.38	c [INC SYSTEM] create new solver instance
1.26/1.38	c [INC] encode full formula
1.26/1.38	c fallback to adder encoding
1.36/1.47	c set iterative enc to: adder
1.36/1.47	c set iterative enc to: none
1.36/1.49	c [INC SEARCH] isOptimum variable: 0
7.15/7.23	c formula is SAT
7.15/7.24	c [INC SEARCH] copied best model
7.15/7.24	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
7.15/7.25	c model valid
7.15/7.25	c current solution ok
7.15/7.25	o 156716916
7.15/7.25	c [INC SEARCH] iteration: 2
7.15/7.25	c [INC BOUNDS] best value:156716931 search for 156716930
7.15/7.25	c [INC SYSTEM] there exists a inc, kill it!
7.15/7.25	c write failed with 2
7.15/7.25	c [INC SYSTEM] create new solver instance
7.15/7.25	c [INC] encode full formula
7.15/7.25	c fallback to adder encoding
7.27/7.34	c set iterative enc to: adder
7.27/7.34	c set iterative enc to: none
7.27/7.35	c [INC SEARCH] isOptimum variable: 0
7.96/8.00	c formula is SAT
7.96/8.01	c [INC SEARCH] copied best model
7.96/8.01	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
7.96/8.02	c model valid
7.96/8.02	c current solution ok
7.96/8.02	o 76544684
7.96/8.02	c [INC SEARCH] iteration: 3
7.96/8.02	c [INC BOUNDS] best value:76544699 search for 76544698
7.96/8.02	c [INC SYSTEM] there exists a inc, kill it!
7.96/8.02	c write failed with 2
7.96/8.02	c [INC SYSTEM] create new solver instance
7.96/8.02	c [INC] encode full formula
7.96/8.02	c fallback to adder encoding
8.07/8.11	c set iterative enc to: adder
8.07/8.11	c set iterative enc to: none
8.08/8.28	c [INC SEARCH] isOptimum variable: 0
8.09/8.66	c formula is SAT
8.09/8.66	c [INC SEARCH] copied best model
8.09/8.66	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
8.09/8.67	c model valid
8.09/8.67	c current solution ok
8.09/8.67	o 31564340
8.09/8.67	c [INC SEARCH] iteration: 4
8.09/8.67	c [INC BOUNDS] best value:31564355 search for 31564354
8.09/8.67	c [INC SYSTEM] there exists a inc, kill it!
8.09/8.67	c write failed with 2
8.09/8.67	c [INC SYSTEM] create new solver instance
8.09/8.67	c [INC] encode full formula
8.09/8.67	c fallback to adder encoding
8.52/8.75	c set iterative enc to: adder
8.52/8.75	c set iterative enc to: none
8.52/8.76	c [INC SEARCH] isOptimum variable: 0
8.90/9.17	c formula is SAT
8.90/9.18	c [INC SEARCH] copied best model
8.90/9.18	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
8.90/9.19	c model valid
8.90/9.19	c current solution ok
8.90/9.19	o 31097994
8.90/9.19	c [INC SEARCH] iteration: 5
8.90/9.19	c [INC BOUNDS] best value:31098009 search for 31098008
8.90/9.19	c [INC SYSTEM] there exists a inc, kill it!
8.90/9.19	c write failed with 2
8.90/9.19	c [INC SYSTEM] create new solver instance
8.90/9.19	c [INC] encode full formula
8.90/9.19	c fallback to adder encoding
9.01/9.26	c set iterative enc to: adder
9.01/9.26	c set iterative enc to: none
9.01/9.28	c [INC SEARCH] isOptimum variable: 0
9.81/10.05	c formula is SAT
9.81/10.06	c [INC SEARCH] copied best model
9.81/10.06	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
9.81/10.07	c model valid
9.81/10.07	c current solution ok
9.81/10.07	o 29590590
9.81/10.07	c [INC SEARCH] iteration: 6
9.81/10.07	c [INC BOUNDS] best value:29590605 search for 29590604
9.81/10.07	c [INC SYSTEM] there exists a inc, kill it!
9.81/10.07	c write failed with 2
9.81/10.07	c [INC SYSTEM] create new solver instance
9.81/10.07	c [INC] encode full formula
9.81/10.07	c fallback to adder encoding
9.91/10.14	c set iterative enc to: adder
9.91/10.14	c set iterative enc to: none
9.91/10.16	c [INC SEARCH] isOptimum variable: 0
11.29/11.58	c formula is SAT
11.29/11.58	c [INC SEARCH] copied best model
11.29/11.58	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
11.29/11.59	c model valid
11.29/11.59	c current solution ok
11.29/11.59	o 29244222
11.29/11.59	c [INC SEARCH] iteration: 7
11.29/11.59	c [INC BOUNDS] best value:29244237 search for 29244236
11.29/11.59	c [INC SYSTEM] there exists a inc, kill it!
11.29/11.59	c write failed with 2
11.29/11.59	c [INC SYSTEM] create new solver instance
11.29/11.59	c [INC] encode full formula
11.29/11.59	c fallback to adder encoding
11.40/11.67	c set iterative enc to: adder
11.40/11.67	c set iterative enc to: none
11.40/11.68	c [INC SEARCH] isOptimum variable: 0
12.89/13.18	c formula is SAT
12.89/13.18	c [INC SEARCH] copied best model
13.00/13.26	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
13.00/13.26	c model valid
13.00/13.26	c current solution ok
13.00/13.26	o 29095724
13.00/13.26	c [INC SEARCH] iteration: 8
13.00/13.26	c [INC BOUNDS] best value:29095739 search for 29095738
13.00/13.26	c [INC SYSTEM] there exists a inc, kill it!
13.00/13.26	c write failed with 2
13.00/13.26	c [INC SYSTEM] create new solver instance
13.00/13.26	c [INC] encode full formula
13.00/13.26	c fallback to adder encoding
13.00/13.27	c set iterative enc to: adder
13.00/13.27	c set iterative enc to: none
13.00/13.29	c [INC SEARCH] isOptimum variable: 0
13.09/13.78	c formula is SAT
13.09/13.78	c [INC SEARCH] copied best model
13.09/13.78	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
13.09/13.79	c model valid
13.09/13.79	c current solution ok
13.09/13.79	o 27947662
13.09/13.79	c [INC SEARCH] iteration: 9
13.09/13.79	c [INC BOUNDS] best value:27947677 search for 27947676
13.09/13.79	c [INC SYSTEM] there exists a inc, kill it!
13.09/13.79	c write failed with 2
13.09/13.79	c [INC SYSTEM] create new solver instance
13.09/13.79	c [INC] encode full formula
13.09/13.79	c fallback to adder encoding
13.59/13.87	c set iterative enc to: adder
13.59/13.87	c set iterative enc to: none
13.59/13.88	c [INC SEARCH] isOptimum variable: 0
14.29/14.53	c formula is SAT
14.29/14.54	c [INC SEARCH] copied best model
14.29/14.54	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
14.29/14.55	c model valid
14.29/14.55	c current solution ok
14.29/14.55	o 25451798
14.29/14.55	c [INC SEARCH] iteration: 10
14.29/14.55	c [INC BOUNDS] best value:25451813 search for 25451812
14.29/14.55	c [INC SYSTEM] there exists a inc, kill it!
14.29/14.55	c write failed with 2
14.29/14.55	c [INC SYSTEM] create new solver instance
14.29/14.55	c [INC] encode full formula
14.29/14.55	c fallback to adder encoding
14.39/14.62	c set iterative enc to: adder
14.39/14.62	c set iterative enc to: none
14.39/14.63	c [INC SEARCH] isOptimum variable: 0
15.17/15.47	c formula is SAT
15.17/15.48	c [INC SEARCH] copied best model
15.17/15.48	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
15.17/15.49	c model valid
15.17/15.49	c current solution ok
15.17/15.49	o 18058100
15.17/15.49	c [INC SEARCH] iteration: 11
15.17/15.49	c [INC BOUNDS] best value:18058115 search for 18058114
15.17/15.49	c [INC SYSTEM] there exists a inc, kill it!
15.17/15.49	c write failed with 2
15.17/15.49	c [INC SYSTEM] create new solver instance
15.17/15.49	c [INC] encode full formula
15.17/15.49	c fallback to adder encoding
15.29/15.56	c set iterative enc to: adder
15.29/15.56	c set iterative enc to: none
15.29/15.57	c [INC SEARCH] isOptimum variable: 0
17.18/17.44	c formula is SAT
17.18/17.45	c [INC SEARCH] copied best model
17.18/17.45	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
17.18/17.46	c model valid
17.18/17.46	c current solution ok
17.18/17.46	o 12106116
17.18/17.46	c [INC SEARCH] iteration: 12
17.18/17.46	c [INC BOUNDS] best value:12106131 search for 12106130
17.18/17.46	c [INC SYSTEM] there exists a inc, kill it!
17.18/17.46	c write failed with 2
17.18/17.46	c [INC SYSTEM] create new solver instance
17.18/17.46	c [INC] encode full formula
17.18/17.46	c fallback to adder encoding
17.29/17.52	c set iterative enc to: adder
17.29/17.52	c set iterative enc to: none
17.29/17.54	c [INC SEARCH] isOptimum variable: 0
17.87/18.13	c formula is SAT
17.87/18.13	c [INC SEARCH] copied best model
17.87/18.13	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
17.87/18.15	c model valid
17.87/18.15	c current solution ok
17.87/18.15	o 11481910
17.87/18.15	c [INC SEARCH] iteration: 13
17.87/18.15	c [INC BOUNDS] best value:11481925 search for 11481924
17.87/18.15	c [INC SYSTEM] there exists a inc, kill it!
17.87/18.15	c write failed with 2
17.87/18.15	c [INC SYSTEM] create new solver instance
17.87/18.15	c [INC] encode full formula
17.87/18.15	c fallback to adder encoding
17.99/18.21	c set iterative enc to: adder
17.99/18.21	c set iterative enc to: none
17.99/18.29	c [INC SEARCH] isOptimum variable: 0
18.59/18.99	c formula is SAT
18.59/18.99	c [INC SEARCH] copied best model
18.59/18.99	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
18.70/19.00	c model valid
18.70/19.00	c current solution ok
18.70/19.00	o 11424154
18.70/19.00	c [INC SEARCH] iteration: 14
18.70/19.00	c [INC BOUNDS] best value:11424169 search for 11424168
18.70/19.00	c [INC SYSTEM] there exists a inc, kill it!
18.70/19.00	c write failed with 2
18.70/19.00	c [INC SYSTEM] create new solver instance
18.70/19.00	c [INC] encode full formula
18.70/19.00	c fallback to adder encoding
18.70/19.07	c set iterative enc to: adder
18.70/19.07	c set iterative enc to: none
18.70/19.08	c [INC SEARCH] isOptimum variable: 0
20.31/20.63	c formula is SAT
20.31/20.63	c [INC SEARCH] copied best model
20.31/20.63	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
20.31/20.64	c model valid
20.31/20.64	c current solution ok
20.31/20.64	o 11364482
20.31/20.64	c [INC SEARCH] iteration: 15
20.31/20.64	c [INC BOUNDS] best value:11364497 search for 11364496
20.31/20.64	c [INC SYSTEM] there exists a inc, kill it!
20.31/20.64	c write failed with 2
20.31/20.64	c [INC SYSTEM] create new solver instance
20.31/20.64	c [INC] encode full formula
20.31/20.64	c fallback to adder encoding
20.41/20.71	c set iterative enc to: adder
20.41/20.71	c set iterative enc to: none
20.41/20.72	c [INC SEARCH] isOptimum variable: 0
24.91/25.21	c formula is SAT
24.91/25.21	c [INC SEARCH] copied best model
24.91/25.21	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
24.91/25.23	c model valid
24.91/25.23	c current solution ok
24.91/25.23	o 11113544
24.91/25.23	c [INC SEARCH] iteration: 16
24.91/25.23	c [INC BOUNDS] best value:11113559 search for 11113558
24.91/25.23	c [INC SYSTEM] there exists a inc, kill it!
24.91/25.23	c write failed with 2
24.91/25.23	c [INC SYSTEM] create new solver instance
24.91/25.23	c [INC] encode full formula
24.91/25.23	c fallback to adder encoding
24.91/25.29	c set iterative enc to: adder
24.91/25.29	c set iterative enc to: none
25.02/25.30	c [INC SEARCH] isOptimum variable: 0
25.02/25.80	c formula is SAT
25.02/25.80	c [INC SEARCH] copied best model
25.02/25.80	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
25.02/25.82	c model valid
25.02/25.82	c current solution ok
25.02/25.82	o 10782314
25.02/25.82	c [INC SEARCH] iteration: 17
25.02/25.82	c [INC BOUNDS] best value:10782329 search for 10782328
25.02/25.82	c [INC SYSTEM] there exists a inc, kill it!
25.02/25.82	c write failed with 2
25.02/25.82	c [INC SYSTEM] create new solver instance
25.02/25.82	c [INC] encode full formula
25.02/25.82	c fallback to adder encoding
25.02/25.88	c set iterative enc to: adder
25.02/25.88	c set iterative enc to: none
25.02/25.89	c [INC SEARCH] isOptimum variable: 0
27.10/27.44	c formula is SAT
27.10/27.44	c [INC SEARCH] copied best model
27.10/27.44	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
27.10/27.45	c model valid
27.10/27.45	c current solution ok
27.10/27.45	o 10115828
27.10/27.45	c [INC SEARCH] iteration: 18
27.10/27.45	c [INC BOUNDS] best value:10115843 search for 10115842
27.10/27.45	c [INC SYSTEM] there exists a inc, kill it!
27.10/27.45	c write failed with 2
27.10/27.46	c [INC SYSTEM] create new solver instance
27.10/27.46	c [INC] encode full formula
27.10/27.46	c fallback to adder encoding
27.22/27.52	c set iterative enc to: adder
27.22/27.52	c set iterative enc to: none
27.22/27.53	c [INC SEARCH] isOptimum variable: 0
37.98/38.38	c formula is SAT
37.98/38.38	c [INC SEARCH] copied best model
37.98/38.38	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
37.98/38.39	c model valid
37.98/38.39	c current solution ok
37.98/38.39	o 10050142
37.98/38.39	c [INC SEARCH] iteration: 19
37.98/38.39	c [INC BOUNDS] best value:10050157 search for 10050156
37.98/38.39	c [INC SYSTEM] there exists a inc, kill it!
37.98/38.39	c write failed with 2
37.98/38.39	c [INC SYSTEM] create new solver instance
37.98/38.39	c [INC] encode full formula
37.98/38.39	c fallback to adder encoding
38.09/38.46	c set iterative enc to: adder
38.09/38.46	c set iterative enc to: none
38.09/38.47	c [INC SEARCH] isOptimum variable: 0
44.49/44.83	c formula is SAT
44.49/44.83	c [INC SEARCH] copied best model
44.49/44.83	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
44.49/44.84	c model valid
44.49/44.84	c current solution ok
44.49/44.84	o 9956698
44.49/44.84	c [INC SEARCH] iteration: 20
44.49/44.84	c [INC BOUNDS] best value:9956713 search for 9956712
44.49/44.84	c [INC SYSTEM] there exists a inc, kill it!
44.49/44.84	c write failed with 2
44.49/44.84	c [INC SYSTEM] create new solver instance
44.49/44.84	c [INC] encode full formula
44.49/44.84	c fallback to adder encoding
44.60/44.91	c set iterative enc to: adder
44.60/44.91	c set iterative enc to: none
44.60/44.92	c [INC SEARCH] isOptimum variable: 0
47.00/47.40	c formula is SAT
47.00/47.40	c [INC SEARCH] copied best model
47.00/47.40	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
47.10/47.41	c model valid
47.10/47.41	c current solution ok
47.10/47.41	o 9506762
47.10/47.41	c [INC SEARCH] iteration: 21
47.10/47.41	c [INC BOUNDS] best value:9506777 search for 9506776
47.10/47.41	c [INC SYSTEM] there exists a inc, kill it!
47.10/47.41	c write failed with 2
47.10/47.41	c [INC SYSTEM] create new solver instance
47.10/47.41	c [INC] encode full formula
47.10/47.41	c fallback to adder encoding
47.10/47.47	c set iterative enc to: adder
47.10/47.47	c set iterative enc to: none
47.10/47.48	c [INC SEARCH] isOptimum variable: 0
49.18/49.54	c formula is SAT
49.18/49.54	c [INC SEARCH] copied best model
49.18/49.54	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
49.18/49.55	c model valid
49.18/49.55	c current solution ok
49.18/49.55	o 9309528
49.18/49.55	c [INC SEARCH] iteration: 22
49.18/49.55	c [INC BOUNDS] best value:9309543 search for 9309542
49.18/49.55	c [INC SYSTEM] there exists a inc, kill it!
49.18/49.55	c write failed with 2
49.18/49.55	c [INC SYSTEM] create new solver instance
49.18/49.55	c [INC] encode full formula
49.18/49.55	c fallback to adder encoding
49.30/49.62	c set iterative enc to: adder
49.30/49.62	c set iterative enc to: none
49.30/49.63	c [INC SEARCH] isOptimum variable: 0
54.68/55.04	c formula is SAT
54.68/55.04	c [INC SEARCH] copied best model
54.68/55.04	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
54.68/55.05	c model valid
54.68/55.05	c current solution ok
54.68/55.05	o 9219700
54.68/55.05	c [INC SEARCH] iteration: 23
54.68/55.05	c [INC BOUNDS] best value:9219715 search for 9219714
54.68/55.05	c [INC SYSTEM] there exists a inc, kill it!
54.68/55.05	c write failed with 2
54.68/55.05	c [INC SYSTEM] create new solver instance
54.68/55.05	c [INC] encode full formula
54.68/55.05	c fallback to adder encoding
54.80/55.12	c set iterative enc to: adder
54.80/55.12	c set iterative enc to: none
54.80/55.13	c [INC SEARCH] isOptimum variable: 0
66.79/67.15	c formula is SAT
66.79/67.15	c [INC SEARCH] copied best model
66.79/67.15	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
66.79/67.16	c model valid
66.79/67.16	c current solution ok
66.79/67.16	o 8675192
66.79/67.16	c [INC SEARCH] iteration: 24
66.79/67.16	c [INC BOUNDS] best value:8675207 search for 8675206
66.79/67.16	c [INC SYSTEM] there exists a inc, kill it!
66.79/67.16	c write failed with 2
66.79/67.16	c [INC SYSTEM] create new solver instance
66.79/67.16	c [INC] encode full formula
66.79/67.16	c fallback to adder encoding
66.90/67.23	c set iterative enc to: adder
66.90/67.23	c set iterative enc to: none
66.90/67.24	c [INC SEARCH] isOptimum variable: 0
81.18/81.53	c formula is SAT
81.18/81.53	c [INC SEARCH] copied best model
81.18/81.53	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
81.18/81.54	c model valid
81.18/81.54	c current solution ok
81.18/81.54	o 8596888
81.18/81.54	c [INC SEARCH] iteration: 25
81.18/81.54	c [INC BOUNDS] best value:8596903 search for 8596902
81.18/81.54	c [INC SYSTEM] there exists a inc, kill it!
81.18/81.54	c write failed with 2
81.18/81.54	c [INC SYSTEM] create new solver instance
81.18/81.54	c [INC] encode full formula
81.18/81.54	c fallback to adder encoding
81.28/81.60	c set iterative enc to: adder
81.28/81.60	c set iterative enc to: none
81.28/81.61	c [INC SEARCH] isOptimum variable: 0
218.33/218.73	c formula is SAT
218.33/218.73	c [INC SEARCH] copied best model
218.33/218.73	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
218.33/218.74	c model valid
218.33/218.74	c current solution ok
218.33/218.74	o 8346846
218.33/218.74	c [INC SEARCH] iteration: 26
218.33/218.74	c [INC BOUNDS] best value:8346861 search for 8346860
218.33/218.74	c [INC SYSTEM] there exists a inc, kill it!
218.33/218.74	c write failed with 2
218.33/218.74	c [INC SYSTEM] create new solver instance
218.33/218.74	c [INC] encode full formula
218.33/218.74	c fallback to adder encoding
218.44/218.80	c set iterative enc to: adder
218.44/218.80	c set iterative enc to: none
218.44/218.81	c [INC SEARCH] isOptimum variable: 0
267.73/268.16	c formula is SAT
267.73/268.16	c [INC SEARCH] copied best model
267.73/268.16	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
267.73/268.17	c model valid
267.73/268.17	c current solution ok
267.73/268.17	o 8238546
267.73/268.17	c [INC SEARCH] iteration: 27
267.73/268.17	c [INC BOUNDS] best value:8238561 search for 8238560
267.73/268.17	c [INC SYSTEM] there exists a inc, kill it!
267.73/268.17	c write failed with 2
267.73/268.17	c [INC SYSTEM] create new solver instance
267.73/268.17	c [INC] encode full formula
267.73/268.17	c fallback to adder encoding
267.83/268.23	c set iterative enc to: adder
267.83/268.23	c set iterative enc to: none
267.83/268.24	c [INC SEARCH] isOptimum variable: 0
415.19/415.62	c formula is SAT
415.19/415.63	c [INC SEARCH] copied best model
415.19/415.63	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
415.19/415.64	c model valid
415.19/415.64	c current solution ok
415.19/415.64	o 8232494
415.19/415.64	c [INC SEARCH] iteration: 28
415.19/415.64	c [INC BOUNDS] best value:8232509 search for 8232508
415.19/415.64	c [INC SYSTEM] there exists a inc, kill it!
415.19/415.64	c write failed with 2
415.19/415.64	c [INC SYSTEM] create new solver instance
415.19/415.64	c [INC] encode full formula
415.19/415.64	c fallback to adder encoding
415.30/415.70	c set iterative enc to: adder
415.30/415.70	c set iterative enc to: none
415.30/415.71	c [INC SEARCH] isOptimum variable: 0
444.78/445.25	c formula is SAT
444.78/445.26	c [INC SEARCH] copied best model
444.78/445.26	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
444.78/445.27	c model valid
444.78/445.27	c current solution ok
444.78/445.27	o 8196820
444.78/445.27	c [INC SEARCH] iteration: 29
444.78/445.27	c [INC BOUNDS] best value:8196835 search for 8196834
444.78/445.27	c [INC SYSTEM] there exists a inc, kill it!
444.78/445.27	c write failed with 2
444.78/445.27	c [INC SYSTEM] create new solver instance
444.78/445.27	c [INC] encode full formula
444.78/445.27	c fallback to adder encoding
444.89/445.33	c set iterative enc to: adder
444.89/445.33	c set iterative enc to: none
444.89/445.34	c [INC SEARCH] isOptimum variable: 0
546.76/547.23	c formula is SAT
546.76/547.23	c [INC SEARCH] copied best model
546.76/547.23	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
546.76/547.24	c model valid
546.76/547.24	c current solution ok
546.76/547.24	o 8127832
546.76/547.24	c [INC SEARCH] iteration: 30
546.76/547.24	c [INC BOUNDS] best value:8127847 search for 8127846
546.76/547.24	c [INC SYSTEM] there exists a inc, kill it!
546.76/547.24	c write failed with 2
546.76/547.25	c [INC SYSTEM] create new solver instance
546.76/547.25	c [INC] encode full formula
546.76/547.25	c fallback to adder encoding
546.89/547.31	c set iterative enc to: adder
546.89/547.31	c set iterative enc to: none
546.89/547.32	c [INC SEARCH] isOptimum variable: 0
566.37/566.89	c formula is SAT
566.47/566.90	c [INC SEARCH] copied best model
566.47/566.90	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
566.47/566.91	c model valid
566.47/566.91	c current solution ok
566.47/566.91	o 7905144
566.47/566.91	c [INC SEARCH] iteration: 31
566.47/566.91	c [INC BOUNDS] best value:7905159 search for 7905158
566.47/566.91	c [INC SYSTEM] there exists a inc, kill it!
566.47/566.91	c write failed with 2
566.47/566.91	c [INC SYSTEM] create new solver instance
566.47/566.91	c [INC] encode full formula
566.47/566.91	c fallback to adder encoding
566.47/566.97	c set iterative enc to: adder
566.47/566.97	c set iterative enc to: none
566.47/566.98	c [INC SEARCH] isOptimum variable: 0
1013.79/1014.32	c formula is SAT
1013.79/1014.33	c [INC SEARCH] copied best model
1013.79/1014.33	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1013.79/1014.34	c model valid
1013.79/1014.34	c current solution ok
1013.79/1014.34	o 7885252
1013.79/1014.34	c [INC SEARCH] iteration: 32
1013.79/1014.34	c [INC BOUNDS] best value:7885267 search for 7885266
1013.79/1014.34	c [INC SYSTEM] there exists a inc, kill it!
1013.79/1014.34	c write failed with 2
1013.79/1014.34	c [INC SYSTEM] create new solver instance
1013.79/1014.34	c [INC] encode full formula
1013.79/1014.34	c fallback to adder encoding
1013.88/1014.40	c set iterative enc to: adder
1013.88/1014.40	c set iterative enc to: none
1013.88/1014.41	c [INC SEARCH] isOptimum variable: 0
1149.76/1150.33	c formula is SAT
1149.76/1150.33	c [INC SEARCH] copied best model
1149.76/1150.33	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1149.76/1150.35	c model valid
1149.76/1150.35	c current solution ok
1149.76/1150.35	o 7836062
1149.76/1150.35	c [INC SEARCH] iteration: 33
1149.76/1150.35	c [INC BOUNDS] best value:7836077 search for 7836076
1149.76/1150.35	c [INC SYSTEM] there exists a inc, kill it!
1149.76/1150.35	c write failed with 2
1149.76/1150.35	c [INC SYSTEM] create new solver instance
1149.76/1150.35	c [INC] encode full formula
1149.76/1150.35	c fallback to adder encoding
1149.86/1150.41	c set iterative enc to: adder
1149.86/1150.41	c set iterative enc to: none
1149.86/1150.42	c [INC SEARCH] isOptimum variable: 0
1563.58/1564.21	c [INC SEARCH] formula is UNSAT
1563.58/1564.21	c [INC SYSTEM] there exists a inc, kill it!
1563.58/1564.21	c write failed with 2
1563.58/1564.21	c [INC SEARCH] sat variable: 0 optimum/unsat variable: 1
1563.58/1564.21	c [INC SEARCH] found optimum
1563.58/1564.21	c display solution
1563.58/1564.21	s OPTIMUM FOUND
1563.58/1564.21	v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 x2750 -x2751 x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 x2799 -x2800 -x2801 -x2802 -x2803 -x2804 x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 x2829 -x2830 -x2831 -x2832 x2833 -x2834 -x2835 -x2836 -x2837 x2838 -x2839 -x2840 -x2841 -x2842 x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 x2902 -x2903 -x2904 x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 x2930 -x2931 -x2932 -x2933 -x2934 x2935 -x2936 -x2937 -x2938 -x2939 -x2940 x2941 -x2942 x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 x2968 -x2969 x2970 -x2971 -x2972 -x2973 x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 x2994 -x2995 -x2996 -x2997 x2998 -x2999 x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 x3056 -x3057 -x3058 -x3059 -x3060 -x3061 x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 x3076 -x3077 x3078 -x3079 -x3080 -x3081 -x3082 x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 x3110 -x3111 x3112 -x3113 -x3114 x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 x3191 -x3192 -x3193 -x3194 -x3195 -x3196 x3197 -x3198 x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 x3206 x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 x3227 -x3228 x3229 -x3230 x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 x3244 -x3245 x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 x3321 -x3322 -x3323 -x3324 -x3325 x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 x3351 -x3352 -x3353 -x3354 -x3355 x3356 x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 x3377 -x3378 x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 x3386 x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435

Verifier Data 

OK	7836062

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-3746921-1339109671/watcher-3746921-1339109671 -o /tmp/evaluation-result-3746921-1339109671/solver-3746921-1339109671 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746921-1339109671.opb 173580057 HOME HOME 

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

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


[startup+0 s]
/proc/loadavg: 1.92 1.99 1.99 3/178 23120
/proc/meminfo: memFree=31472912/32873648 swapFree=7376/7376
[pid=23120] ppid=23118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23120/stat : 23120 (npSolver-pbo-It) S 23118 23120 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377093133 9367552 274 33554432000 4194304 5064252 140735735697952 140735735696864 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23120/statm: 2287 274 233 213 0 72 0

[startup+0.049158 s]
/proc/loadavg: 1.92 1.99 1.99 3/178 23120
/proc/meminfo: memFree=31472912/32873648 swapFree=7376/7376
[pid=23120] ppid=23118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23120/stat : 23120 (npSolver-pbo-It) S 23118 23120 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377093133 9367552 274 33554432000 4194304 5064252 140735735697952 140735735696864 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23120/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100265 s]
/proc/loadavg: 1.92 1.99 1.99 3/178 23120
/proc/meminfo: memFree=31472912/32873648 swapFree=7376/7376
[pid=23120] ppid=23118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23120/stat : 23120 (npSolver-pbo-It) S 23118 23120 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377093133 9367552 274 33554432000 4194304 5064252 140735735697952 140735735696864 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23120/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300194 s]
/proc/loadavg: 1.92 1.99 1.99 3/178 23120
/proc/meminfo: memFree=31472912/32873648 swapFree=7376/7376
[pid=23120] ppid=23118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23120/stat : 23120 (npSolver-pbo-It) S 23118 23120 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377093133 9367552 274 33554432000 4194304 5064252 140735735697952 140735735696864 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23120/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700162 s]
/proc/loadavg: 1.92 1.99 1.99 3/178 23120
/proc/meminfo: memFree=31472912/32873648 swapFree=7376/7376
[pid=23120] ppid=23118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23120/stat : 23120 (npSolver-pbo-It) S 23118 23120 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377093133 9367552 274 33554432000 4194304 5064252 140735735697952 140735735696864 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23120/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.5002 s]
/proc/loadavg: 1.92 1.99 1.99 3/181 23129
/proc/meminfo: memFree=31424856/32873648 swapFree=7376/7376
[pid=23120] ppid=23118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23120/stat : 23120 (npSolver-pbo-It) S 23118 23120 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377093133 9367552 274 33554432000 4194304 5064252 140735735697952 140735735696864 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23120/statm: 2287 274 233 213 0 72 0
[pid=23121] ppid=23120 vsize=22784 CPUtime=1.46 cores=0,2,4,6
/proc/23121/stat : 23121 (npSolver-pbo) S 23120 23120 21354 0 -1 4202496 9648 12940 0 0 25 7 111 3 20 0 1 0 377093133 23330816 5028 33554432000 4194304 6004724 140735797341296 140735797327144 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23121/statm: 5696 5028 183 442 0 5250 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 31932

[startup+3.10032 s]
/proc/loadavg: 1.92 1.99 1.99 3/181 23131
/proc/meminfo: memFree=31423800/32873648 swapFree=7376/7376
[pid=23120] ppid=23118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23120/stat : 23120 (npSolver-pbo-It) S 23118 23120 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377093133 9367552 274 33554432000 4194304 5064252 140735735697952 140735735696864 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23120/statm: 2287 274 233 213 0 72 0
[pid=23121] ppid=23120 vsize=22784 CPUtime=1.46 cores=0,2,4,6
/proc/23121/stat : 23121 (npSolver-pbo) S 23120 23120 21354 0 -1 4202496 9648 12940 0 0 25 7 111 3 20 0 1 0 377093133 23330816 5028 33554432000 4194304 6004724 140735797341296 140735797327144 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23121/statm: 5696 5028 183 442 0 5250 0
[pid=23131] ppid=23121 vsize=28348 CPUtime=1.59 cores=0,2,4,6
/proc/23131/stat : 23131 (glucosInc) R 23121 23120 21354 0 -1 4202496 6554 0 0 0 159 0 0 0 20 0 1 0 377093282 29028352 5676 33554432000 4194304 5654031 140735301904288 140735301901896 4232939 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23131/statm: 7087 5676 141 357 0 6727 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 60280

[startup+6.30032 s]
/proc/loadavg: 1.93 1.99 1.99 3/181 23131
/proc/meminfo: memFree=31422996/32873648 swapFree=7376/7376
[pid=23120] ppid=23118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23120/stat : 23120 (npSolver-pbo-It) S 23118 23120 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377093133 9367552 274 33554432000 4194304 5064252 140735735697952 140735735696864 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23120/statm: 2287 274 233 213 0 72 0
[pid=23121] ppid=23120 vsize=22784 CPUtime=1.46 cores=0,2,4,6
/proc/23121/stat : 23121 (npSolver-pbo) S 23120 23120 21354 0 -1 4202496 9648 12940 0 0 25 7 111 3 20 0 1 0 377093133 23330816 5028 33554432000 4194304 6004724 140735797341296 140735797327144 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23121/statm: 5696 5028 183 442 0 5250 0
[pid=23131] ppid=23121 vsize=32800 CPUtime=4.79 cores=0,2,4,6
/proc/23131/stat : 23131 (glucosInc) R 23121 23120 21354 0 -1 4202496 7491 0 0 0 478 1 0 0 20 0 1 0 377093282 33587200 7234 33554432000 4194304 5654031 140735301904288 140735301902168 4216188 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23131/statm: 8200 7234 141 357 0 7840 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 64732

[startup+12.7002 s]
/proc/loadavg: 1.93 1.99 1.99 3/181 23143
/proc/meminfo: memFree=31427780/32873648 swapFree=7376/7376
[pid=23120] ppid=23118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23120/stat : 23120 (npSolver-pbo-It) S 23118 23120 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377093133 9367552 274 33554432000 4194304 5064252 140735735697952 140735735696864 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23120/statm: 2287 274 233 213 0 72 0
[pid=23121] ppid=23120 vsize=22784 CPUtime=11.49 cores=0,2,4,6
/proc/23121/stat : 23121 (npSolver-pbo) S 23120 23120 21354 0 -1 4202496 30141 51205 0 0 81 13 1042 13 20 0 1 0 377093133 23330816 5028 33554432000 4194304 6004724 140735797341296 140735797327144 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23121/statm: 5696 5028 183 442 0 5250 0
[pid=23143] ppid=23121 vsize=23340 CPUtime=1 cores=0,2,4,6
/proc/23143/stat : 23143 (glucosInc) R 23121 23120 21354 0 -1 4202496 5027 0 0 0 100 0 0 0 20 0 1 0 377094301 23900160 5082 33554432000 4194304 5654031 140733886131136 140733886118952 4232421 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23143/statm: 5835 5082 138 357 0 5475 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 55272

[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 1.99 3/180 23160
/proc/meminfo: memFree=31451704/32873648 swapFree=7376/7376
[pid=23120] ppid=23118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23120/stat : 23120 (npSolver-pbo-It) S 23118 23120 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377093133 9367552 274 33554432000 4194304 5064252 140735735697952 140735735696864 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23120/statm: 2287 274 233 213 0 72 0
[pid=23121] ppid=23120 vsize=22784 CPUtime=25.02 cores=0,2,4,6
/proc/23121/stat : 23121 (npSolver-pbo) S 23120 23120 21354 0 -1 4202496 59535 102762 0 0 154 22 2300 26 20 0 1 0 377093133 23330816 5032 33554432000 4194304 6004724 140735797341296 140735797327144 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23121/statm: 5696 5032 183 442 0 5250 0
Current children cumulated CPU time (s) 25.02
Current children cumulated vsize (KiB) 31932

[startup+51.1003 s]
/proc/loadavg: 1.96 1.99 1.99 3/181 23173
/proc/meminfo: memFree=31428088/32873648 swapFree=7376/7376
[pid=23120] ppid=23118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23120/stat : 23120 (npSolver-pbo-It) S 23118 23120 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377093133 9367552 274 33554432000 4194304 5064252 140735735697952 140735735696864 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23120/statm: 2287 274 233 213 0 72 0
[pid=23121] ppid=23120 vsize=22784 CPUtime=49.32 cores=0,2,4,6
/proc/23121/stat : 23121 (npSolver-pbo) S 23120 23120 21354 0 -1 4202496 78699 137174 0 0 200 27 4671 34 20 0 1 0 377093133 23330816 5033 33554432000 4194304 6004724 140735797341296 140735797327144 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23121/statm: 5696 5033 183 442 0 5250 0
[pid=23173] ppid=23121 vsize=21868 CPUtime=1.45 cores=0,2,4,6
/proc/23173/stat : 23173 (glucosInc) R 23121 23120 21354 0 -1 4202496 4325 0 0 0 145 0 0 0 20 0 1 0 377098096 22392832 4604 33554432000 4194304 5654031 140735128959616 140735128947432 4217208 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23173/statm: 5467 4604 140 357 0 5107 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 53800

[startup+102.3 s]
/proc/loadavg: 1.98 1.99 1.99 3/181 23179
/proc/meminfo: memFree=31420064/32873648 swapFree=7376/7376
[pid=23120] ppid=23118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23120/stat : 23120 (npSolver-pbo-It) S 23118 23120 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377093133 9367552 274 33554432000 4194304 5064252 140735735697952 140735735696864 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23120/statm: 2287 274 233 213 0 72 0
[pid=23121] ppid=23120 vsize=22784 CPUtime=81.29 cores=0,2,4,6
/proc/23121/stat : 23121 (npSolver-pbo) S 23120 23120 21354 0 -1 4202496 88249 156345 0 0 224 29 7836 40 20 0 1 0 377093133 23330816 5033 33554432000 4194304 6004724 140735797341296 140735797327144 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23121/statm: 5696 5033 183 442 0 5250 0
[pid=23179] ppid=23121 vsize=29256 CPUtime=20.67 cores=0,2,4,6
/proc/23179/stat : 23179 (glucosInc) R 23121 23120 21354 0 -1 4202496 5998 0 0 0 2066 1 0 0 20 0 1 0 377101295 29958144 6334 33554432000 4194304 5654031 140734464979440 140734464977320 4208584 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23179/statm: 7314 6334 140 357 0 6954 0
Current children cumulated CPU time (s) 101.96
Current children cumulated vsize (KiB) 61188

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/181 23179
/proc/meminfo: memFree=31399852/32873648 swapFree=7376/7376
[pid=23120] ppid=23118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23120/stat : 23120 (npSolver-pbo-It) S 23118 23120 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377093133 9367552 274 33554432000 4194304 5064252 140735735697952 140735735696864 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23120/statm: 2287 274 233 213 0 72 0
[pid=23121] ppid=23120 vsize=22784 CPUtime=81.29 cores=0,2,4,6
/proc/23121/stat : 23121 (npSolver-pbo) S 23120 23120 21354 0 -1 4202496 88249 156345 0 0 224 29 7836 40 20 0 1 0 377093133 23330816 5033 33554432000 4194304 6004724 140735797341296 140735797327144 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23121/statm: 5696 5033 183 442 0 5250 0
[pid=23179] ppid=23121 vsize=40748 CPUtime=80.65 cores=0,2,4,6
/proc/23179/stat : 23179 (glucosInc) R 23121 23120 21354 0 -1 4202496 7643 0 0 0 8064 1 0 0 20 0 1 0 377101295 41725952 9342 33554432000 4194304 5654031 140734464979440 140734464977240 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23179/statm: 10187 9342 140 357 0 9827 0
Current children cumulated CPU time (s) 161.94
Current children cumulated vsize (KiB) 72680

[startup+222.307 s]
/proc/loadavg: 1.99 1.99 1.99 3/181 23182
/proc/meminfo: memFree=31415636/32873648 swapFree=7376/7376
[pid=23120] ppid=23118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23120/stat : 23120 (npSolver-pbo-It) S 23118 23120 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377093133 9367552 274 33554432000 4194304 5064252 140735735697952 140735735696864 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23120/statm: 2287 274 233 213 0 72 0
[pid=23121] ppid=23120 vsize=22784 CPUtime=218.47 cores=0,2,4,6
/proc/23121/stat : 23121 (npSolver-pbo) S 23120 23120 21354 0 -1 4202496 90363 164604 0 0 231 30 21543 43 20 0 1 0 377093133 23330816 5033 33554432000 4194304 6004724 140735797341296 140735797327144 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23121/statm: 5696 5033 183 442 0 5250 0
[pid=23182] ppid=23121 vsize=21824 CPUtime=3.48 cores=0,2,4,6
/proc/23182/stat : 23182 (glucosInc) R 23121 23120 21354 0 -1 4202496 4231 0 0 0 348 0 0 0 20 0 1 0 377115015 22347776 4553 33554432000 4194304 5654031 140735075277920 140735075265736 4216577 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23182/statm: 5456 4553 140 357 0 5096 0
Current children cumulated CPU time (s) 221.95
Current children cumulated vsize (KiB) 53756

[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/181 23184
/proc/meminfo: memFree=31407504/32873648 swapFree=7376/7376
[pid=23120] ppid=23118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23120/stat : 23120 (npSolver-pbo-It) S 23118 23120 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377093133 9367552 274 33554432000 4194304 5064252 140735735697952 140735735696864 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23120/statm: 2287 274 233 213 0 72 0
[pid=23121] ppid=23120 vsize=22784 CPUtime=267.88 cores=0,2,4,6

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

/proc/23227/statm: 13127 11716 140 357 0 12767 0
Current children cumulated CPU time (s) 1301.72
Current children cumulated vsize (KiB) 84440

[startup+1362.3 s]
/proc/loadavg: 1.19 1.71 1.89 2/173 23252
/proc/meminfo: memFree=31784432/32873648 swapFree=7376/7376
[pid=23120] ppid=23118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23120/stat : 23120 (npSolver-pbo-It) S 23118 23120 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377093133 9367552 274 33554432000 4194304 5064252 140735735697952 140735735696864 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23120/statm: 2287 274 233 213 0 72 0
[pid=23121] ppid=23120 vsize=22784 CPUtime=1149.88 cores=0,2,4,6
/proc/23121/stat : 23121 (npSolver-pbo) S 23120 23120 21354 0 -1 4202496 105161 224087 0 0 283 35 114608 62 20 0 1 0 377093133 23330816 5033 33554432000 4194304 6004724 140735797341296 140735797327144 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23121/statm: 5696 5033 183 442 0 5250 0
[pid=23227] ppid=23121 vsize=52508 CPUtime=211.83 cores=0,2,4,6
/proc/23227/stat : 23227 (glucosInc) R 23121 23120 21354 0 -1 4202496 9017 0 0 0 21180 3 0 0 20 0 1 0 377208175 53768192 12228 33554432000 4194304 5654031 140733828980768 140733828968584 4232994 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23227/statm: 13127 12228 140 357 0 12767 0
Current children cumulated CPU time (s) 1361.71
Current children cumulated vsize (KiB) 84440

[startup+1422.3 s]
/proc/loadavg: 1.07 1.58 1.84 2/172 23252
/proc/meminfo: memFree=31771844/32873648 swapFree=7376/7376
[pid=23120] ppid=23118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23120/stat : 23120 (npSolver-pbo-It) S 23118 23120 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377093133 9367552 274 33554432000 4194304 5064252 140735735697952 140735735696864 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23120/statm: 2287 274 233 213 0 72 0
[pid=23121] ppid=23120 vsize=22784 CPUtime=1149.88 cores=0,2,4,6
/proc/23121/stat : 23121 (npSolver-pbo) S 23120 23120 21354 0 -1 4202496 105161 224087 0 0 283 35 114608 62 20 0 1 0 377093133 23330816 5033 33554432000 4194304 6004724 140735797341296 140735797327144 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23121/statm: 5696 5033 183 442 0 5250 0
[pid=23227] ppid=23121 vsize=64000 CPUtime=271.83 cores=0,2,4,6
/proc/23227/stat : 23227 (glucosInc) R 23121 23120 21354 0 -1 4202496 10192 0 0 0 27179 4 0 0 20 0 1 0 377208175 65536000 15215 33554432000 4194304 5654031 140733828980768 140733828978792 4215200 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23227/statm: 16000 15215 140 357 0 15640 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 95932

[startup+1482.3 s]
/proc/loadavg: 1.08 1.49 1.79 2/173 23253
/proc/meminfo: memFree=31753104/32873648 swapFree=7376/7376
[pid=23120] ppid=23118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23120/stat : 23120 (npSolver-pbo-It) S 23118 23120 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377093133 9367552 274 33554432000 4194304 5064252 140735735697952 140735735696864 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23120/statm: 2287 274 233 213 0 72 0
[pid=23121] ppid=23120 vsize=22784 CPUtime=1149.88 cores=0,2,4,6
/proc/23121/stat : 23121 (npSolver-pbo) S 23120 23120 21354 0 -1 4202496 105161 224087 0 0 283 35 114608 62 20 0 1 0 377093133 23330816 5033 33554432000 4194304 6004724 140735797341296 140735797327144 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23121/statm: 5696 5033 183 442 0 5250 0
[pid=23227] ppid=23121 vsize=86728 CPUtime=331.81 cores=0,2,4,6
/proc/23227/stat : 23227 (glucosInc) R 23121 23120 21354 0 -1 4202496 10202 0 0 0 33177 4 0 0 20 0 1 0 377208175 88809472 19908 33554432000 4194304 5654031 140733828980768 140733828978648 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23227/statm: 21682 19908 140 357 0 21322 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 118660

[startup+1542.31 s]
/proc/loadavg: 1.03 1.40 1.73 2/174 23256
/proc/meminfo: memFree=31752156/32873648 swapFree=7376/7376
[pid=23120] ppid=23118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23120/stat : 23120 (npSolver-pbo-It) S 23118 23120 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377093133 9367552 274 33554432000 4194304 5064252 140735735697952 140735735696864 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23120/statm: 2287 274 233 213 0 72 0
[pid=23121] ppid=23120 vsize=22784 CPUtime=1149.88 cores=0,2,4,6
/proc/23121/stat : 23121 (npSolver-pbo) S 23120 23120 21354 0 -1 4202496 105161 224087 0 0 283 35 114608 62 20 0 1 0 377093133 23330816 5033 33554432000 4194304 6004724 140735797341296 140735797327144 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23121/statm: 5696 5033 183 442 0 5250 0
[pid=23227] ppid=23121 vsize=86728 CPUtime=391.8 cores=0,2,4,6
/proc/23227/stat : 23227 (glucosInc) R 23121 23120 21354 0 -1 4202496 10686 0 0 0 39176 4 0 0 20 0 1 0 377208175 88809472 20385 33554432000 4194304 5654031 140733828980768 140733828978648 4232810 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23227/statm: 21682 20385 140 357 0 21322 0
Current children cumulated CPU time (s) 1541.68
Current children cumulated vsize (KiB) 118660

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

[startup+1548.8 s]
/proc/loadavg: 1.02 1.38 1.72 2/174 23256
/proc/meminfo: memFree=31752156/32873648 swapFree=7376/7376
[pid=23120] ppid=23118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23120/stat : 23120 (npSolver-pbo-It) S 23118 23120 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377093133 9367552 274 33554432000 4194304 5064252 140735735697952 140735735696864 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23120/statm: 2287 274 233 213 0 72 0
[pid=23121] ppid=23120 vsize=22784 CPUtime=1149.88 cores=0,2,4,6
/proc/23121/stat : 23121 (npSolver-pbo) S 23120 23120 21354 0 -1 4202496 105161 224087 0 0 283 35 114608 62 20 0 1 0 377093133 23330816 5033 33554432000 4194304 6004724 140735797341296 140735797327144 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23121/statm: 5696 5033 183 442 0 5250 0
[pid=23227] ppid=23121 vsize=86728 CPUtime=398.3 cores=0,2,4,6
/proc/23227/stat : 23227 (glucosInc) R 23121 23120 21354 0 -1 4202496 10686 0 0 0 39826 4 0 0 20 0 1 0 377208175 88809472 20385 33554432000 4194304 5654031 140733828980768 140733828978648 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23227/statm: 21682 20385 140 357 0 21322 0
Current children cumulated CPU time (s) 1548.18
Current children cumulated vsize (KiB) 118660

[startup+1555.2 s]
/proc/loadavg: 1.02 1.38 1.72 2/174 23256
/proc/meminfo: memFree=31752156/32873648 swapFree=7376/7376
[pid=23120] ppid=23118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23120/stat : 23120 (npSolver-pbo-It) S 23118 23120 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377093133 9367552 274 33554432000 4194304 5064252 140735735697952 140735735696864 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23120/statm: 2287 274 233 213 0 72 0
[pid=23121] ppid=23120 vsize=22784 CPUtime=1149.88 cores=0,2,4,6
/proc/23121/stat : 23121 (npSolver-pbo) S 23120 23120 21354 0 -1 4202496 105161 224087 0 0 283 35 114608 62 20 0 1 0 377093133 23330816 5033 33554432000 4194304 6004724 140735797341296 140735797327144 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23121/statm: 5696 5033 183 442 0 5250 0
[pid=23227] ppid=23121 vsize=86728 CPUtime=404.69 cores=0,2,4,6
/proc/23227/stat : 23227 (glucosInc) R 23121 23120 21354 0 -1 4202496 10686 0 0 0 40465 4 0 0 20 0 1 0 377208175 88809472 20385 33554432000 4194304 5654031 140733828980768 140733828978648 4232681 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23227/statm: 21682 20385 140 357 0 21322 0
Current children cumulated CPU time (s) 1554.57
Current children cumulated vsize (KiB) 118660

[startup+1558.4 s]
/proc/loadavg: 1.02 1.38 1.72 2/174 23256
/proc/meminfo: memFree=31752156/32873648 swapFree=7376/7376
[pid=23120] ppid=23118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23120/stat : 23120 (npSolver-pbo-It) S 23118 23120 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377093133 9367552 274 33554432000 4194304 5064252 140735735697952 140735735696864 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23120/statm: 2287 274 233 213 0 72 0
[pid=23121] ppid=23120 vsize=22784 CPUtime=1149.88 cores=0,2,4,6
/proc/23121/stat : 23121 (npSolver-pbo) S 23120 23120 21354 0 -1 4202496 105161 224087 0 0 283 35 114608 62 20 0 1 0 377093133 23330816 5033 33554432000 4194304 6004724 140735797341296 140735797327144 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23121/statm: 5696 5033 183 442 0 5250 0
[pid=23227] ppid=23121 vsize=86728 CPUtime=407.89 cores=0,2,4,6
/proc/23227/stat : 23227 (glucosInc) R 23121 23120 21354 0 -1 4202496 10686 0 0 0 40785 4 0 0 20 0 1 0 377208175 88809472 20385 33554432000 4194304 5654031 140733828980768 140733828978648 4215848 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23227/statm: 21682 20385 140 357 0 21322 0
Current children cumulated CPU time (s) 1557.77
Current children cumulated vsize (KiB) 118660

[startup+1561.6 s]
/proc/loadavg: 1.02 1.37 1.72 2/174 23256
/proc/meminfo: memFree=31752156/32873648 swapFree=7376/7376
[pid=23120] ppid=23118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23120/stat : 23120 (npSolver-pbo-It) S 23118 23120 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377093133 9367552 274 33554432000 4194304 5064252 140735735697952 140735735696864 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23120/statm: 2287 274 233 213 0 72 0
[pid=23121] ppid=23120 vsize=22784 CPUtime=1149.88 cores=0,2,4,6
/proc/23121/stat : 23121 (npSolver-pbo) S 23120 23120 21354 0 -1 4202496 105161 224087 0 0 283 35 114608 62 20 0 1 0 377093133 23330816 5033 33554432000 4194304 6004724 140735797341296 140735797327144 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23121/statm: 5696 5033 183 442 0 5250 0
[pid=23227] ppid=23121 vsize=86728 CPUtime=411.09 cores=0,2,4,6
/proc/23227/stat : 23227 (glucosInc) R 23121 23120 21354 0 -1 4202496 10686 0 0 0 41105 4 0 0 20 0 1 0 377208175 88809472 20385 33554432000 4194304 5654031 140733828980768 140733828978648 4232949 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23227/statm: 21682 20385 140 357 0 21322 0
Current children cumulated CPU time (s) 1560.97
Current children cumulated vsize (KiB) 118660

[startup+1563.21 s]
/proc/loadavg: 1.02 1.36 1.71 2/174 23256
/proc/meminfo: memFree=31752160/32873648 swapFree=7376/7376
[pid=23120] ppid=23118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23120/stat : 23120 (npSolver-pbo-It) S 23118 23120 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377093133 9367552 274 33554432000 4194304 5064252 140735735697952 140735735696864 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23120/statm: 2287 274 233 213 0 72 0
[pid=23121] ppid=23120 vsize=22784 CPUtime=1149.88 cores=0,2,4,6
/proc/23121/stat : 23121 (npSolver-pbo) S 23120 23120 21354 0 -1 4202496 105161 224087 0 0 283 35 114608 62 20 0 1 0 377093133 23330816 5033 33554432000 4194304 6004724 140735797341296 140735797327144 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23121/statm: 5696 5033 183 442 0 5250 0
[pid=23227] ppid=23121 vsize=86728 CPUtime=412.7 cores=0,2,4,6
/proc/23227/stat : 23227 (glucosInc) R 23121 23120 21354 0 -1 4202496 10686 0 0 0 41266 4 0 0 20 0 1 0 377208175 88809472 20385 33554432000 4194304 5654031 140733828980768 140733828978648 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23227/statm: 21682 20385 140 357 0 21322 0
Current children cumulated CPU time (s) 1562.58
Current children cumulated vsize (KiB) 118660

[startup+1564 s]
/proc/loadavg: 1.02 1.36 1.71 2/174 23256
/proc/meminfo: memFree=31752160/32873648 swapFree=7376/7376
[pid=23120] ppid=23118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23120/stat : 23120 (npSolver-pbo-It) S 23118 23120 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377093133 9367552 274 33554432000 4194304 5064252 140735735697952 140735735696864 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23120/statm: 2287 274 233 213 0 72 0
[pid=23121] ppid=23120 vsize=22784 CPUtime=1149.88 cores=0,2,4,6
/proc/23121/stat : 23121 (npSolver-pbo) S 23120 23120 21354 0 -1 4202496 105161 224087 0 0 283 35 114608 62 20 0 1 0 377093133 23330816 5033 33554432000 4194304 6004724 140735797341296 140735797327144 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23121/statm: 5696 5033 183 442 0 5250 0
[pid=23227] ppid=23121 vsize=86728 CPUtime=413.49 cores=0,2,4,6
/proc/23227/stat : 23227 (glucosInc) R 23121 23120 21354 0 -1 4202496 10686 0 0 0 41345 4 0 0 20 0 1 0 377208175 88809472 20385 33554432000 4194304 5654031 140733828980768 140733828978648 4232968 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23227/statm: 21682 20385 140 357 0 21322 0
Current children cumulated CPU time (s) 1563.37
Current children cumulated vsize (KiB) 118660

[startup+1564.2 s]
/proc/loadavg: 1.02 1.36 1.71 2/174 23256
/proc/meminfo: memFree=31752160/32873648 swapFree=7376/7376
[pid=23120] ppid=23118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23120/stat : 23120 (npSolver-pbo-It) S 23118 23120 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377093133 9367552 274 33554432000 4194304 5064252 140735735697952 140735735696864 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23120/statm: 2287 274 233 213 0 72 0
[pid=23121] ppid=23120 vsize=22784 CPUtime=1149.88 cores=0,2,4,6
/proc/23121/stat : 23121 (npSolver-pbo) S 23120 23120 21354 0 -1 4202496 105161 224087 0 0 283 35 114608 62 20 0 1 0 377093133 23330816 5033 33554432000 4194304 6004724 140735797341296 140735797327144 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23121/statm: 5696 5033 183 442 0 5250 0
[pid=23227] ppid=23121 vsize=86728 CPUtime=413.7 cores=0,2,4,6
/proc/23227/stat : 23227 (glucosInc) R 23121 23120 21354 0 -1 4202496 10686 0 0 0 41366 4 0 0 20 0 1 0 377208175 88809472 20385 33554432000 4194304 5654031 140733828980768 140733828978648 4233204 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23227/statm: 21682 20385 140 357 0 21322 0
Current children cumulated CPU time (s) 1563.58
Current children cumulated vsize (KiB) 118660

Child status: 0
Real time (s): 1564.22
CPU time (s): 1563.63
CPU user time (s): 1562.6
CPU system time (s): 1.03084
CPU usage (%): 99.9623
Max. virtual memory (cumulated for all children) (KiB): 133624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1562.6
system time used= 1.03084
maximum resident set size= 82976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 340790
page faults= 0
swaps= 0
block input operations= 0
block output operations= 346376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2774
involuntary context switches= 2580

runsolver used 3.14452 second user time and 7.01793 second system time

The end

Launcher Data 

Begin job on node120 at 2012-06-08 00:54:31
IDJOB=3746921
IDBENCH=92765
IDSOLVER=2332
FILE ID=node120/3746921-1339109671
RUNJOBID= node120-1339098175-21370
PBS_JOBID= 14643733
Free space on /tmp= 70504 MiB

SOLVER NAME= npSolver inc-topDown
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_9_ic.opb
COMMAND LINE= DIR/npSolver-pbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3746921-1339109671/watcher-3746921-1339109671 -o /tmp/evaluation-result-3746921-1339109671/solver-3746921-1339109671 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo-Itd.sh HOME/instance-3746921-1339109671.opb 173580057 HOME HOME

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

MD5SUM BENCH= 6e6423d95c6457aac671f6ff150ae932
RANDOM SEED=173580057

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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:       32873648 kB
MemFree:        31473184 kB
Buffers:           83176 kB
Cached:           261128 kB
SwapCached:         6044 kB
Active:           466752 kB
Inactive:         166144 kB
Active(anon):     280364 kB
Inactive(anon):    10584 kB
Active(file):     186388 kB
Inactive(file):   155560 kB
Unevictable:        7376 kB
Mlocked:            7376 kB
SwapTotal:      67108856 kB
SwapFree:       67095788 kB
Dirty:              8568 kB
Writeback:             0 kB
AnonPages:        298136 kB
Mapped:             9972 kB
Shmem:                 0 kB
Slab:             622216 kB
SReclaimable:      66648 kB
SUnreclaim:       555568 kB
KernelStack:        1480 kB
PageTables:         4304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     452836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     43008 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70588 MiB
End job on node120 at 2012-06-08 01:20:36