Trace number 3746919

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 1761.08 1761.36

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/IC/
normalized-minisat15_5_3_7_ic.opb
MD5SUMed0e62d21585297a53ea5d644fd52c40
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark16633202
Best CPU time to get the best result obtained on this benchmark3.56446
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 76225024
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 4402461705
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 76225024
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 4402461705
Number of bits of the biggest sum of numbers33
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.38	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 517675880
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:517675895 search for 517675894
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
0.00/0.90	c formula is SAT
0.00/0.91	c [INC SEARCH] copied best model
0.00/0.91	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
0.00/0.92	c model valid
0.00/0.92	c current solution ok
0.00/0.92	o 307346312
0.00/0.92	c [INC SEARCH] iteration: 1
0.00/0.92	c [INC BOUNDS] best value:307346327 search for 307346326
0.00/0.92	c [INC SYSTEM] there exists a inc, kill it!
0.00/0.92	c write failed with 2
0.00/0.92	c [INC SYSTEM] create new solver instance
0.00/0.92	c [INC] encode full formula
0.00/0.92	c fallback to adder encoding
0.98/1.01	c set iterative enc to: adder
0.98/1.01	c set iterative enc to: none
0.98/1.03	c [INC SEARCH] isOptimum variable: 0
1.01/1.26	c formula is SAT
1.01/1.27	c [INC SEARCH] copied best model
1.01/1.27	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1.01/1.28	c model valid
1.01/1.28	c current solution ok
1.01/1.28	o 207647532
1.01/1.28	c [INC SEARCH] iteration: 2
1.01/1.28	c [INC BOUNDS] best value:207647547 search for 207647546
1.01/1.28	c [INC SYSTEM] there exists a inc, kill it!
1.01/1.28	c write failed with 2
1.01/1.28	c [INC SYSTEM] create new solver instance
1.01/1.28	c [INC] encode full formula
1.01/1.28	c fallback to adder encoding
1.29/1.37	c set iterative enc to: adder
1.29/1.37	c set iterative enc to: none
1.29/1.38	c [INC SEARCH] isOptimum variable: 0
1.37/1.72	c formula is SAT
1.37/1.72	c [INC SEARCH] copied best model
1.37/1.72	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1.37/1.73	c model valid
1.37/1.73	c current solution ok
1.37/1.73	o 199089332
1.37/1.73	c [INC SEARCH] iteration: 3
1.37/1.73	c [INC BOUNDS] best value:199089347 search for 199089346
1.37/1.73	c [INC SYSTEM] there exists a inc, kill it!
1.37/1.73	c write failed with 2
1.37/1.73	c [INC SYSTEM] create new solver instance
1.37/1.73	c [INC] encode full formula
1.37/1.73	c fallback to adder encoding
1.78/1.82	c set iterative enc to: adder
1.78/1.82	c set iterative enc to: none
1.78/1.84	c [INC SEARCH] isOptimum variable: 0
3.98/4.06	c formula is SAT
3.98/4.07	c [INC SEARCH] copied best model
3.98/4.07	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
3.98/4.08	c model valid
3.98/4.08	c current solution ok
3.98/4.08	o 178048032
3.98/4.08	c [INC SEARCH] iteration: 4
3.98/4.08	c [INC BOUNDS] best value:178048047 search for 178048046
3.98/4.08	c [INC SYSTEM] there exists a inc, kill it!
3.98/4.08	c write failed with 2
3.98/4.08	c [INC SYSTEM] create new solver instance
3.98/4.08	c [INC] encode full formula
3.98/4.08	c fallback to adder encoding
4.09/4.17	c set iterative enc to: adder
4.09/4.17	c set iterative enc to: none
4.09/4.18	c [INC SEARCH] isOptimum variable: 0
5.48/5.54	c formula is SAT
5.48/5.55	c [INC SEARCH] copied best model
5.48/5.55	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
5.48/5.56	c model valid
5.48/5.56	c current solution ok
5.48/5.56	o 161641726
5.48/5.56	c [INC SEARCH] iteration: 5
5.48/5.56	c [INC BOUNDS] best value:161641741 search for 161641740
5.48/5.56	c [INC SYSTEM] there exists a inc, kill it!
5.48/5.56	c write failed with 2
5.48/5.56	c [INC SYSTEM] create new solver instance
5.48/5.56	c [INC] encode full formula
5.48/5.56	c fallback to adder encoding
5.60/5.65	c set iterative enc to: adder
5.60/5.65	c set iterative enc to: none
5.60/5.66	c [INC SEARCH] isOptimum variable: 0
5.66/6.16	c formula is SAT
5.66/6.16	c [INC SEARCH] copied best model
5.66/6.16	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
5.66/6.17	c model valid
5.66/6.17	c current solution ok
5.66/6.17	o 117190810
5.66/6.17	c [INC SEARCH] iteration: 6
5.66/6.17	c [INC BOUNDS] best value:117190825 search for 117190824
5.66/6.17	c [INC SYSTEM] there exists a inc, kill it!
5.66/6.17	c write failed with 2
5.66/6.17	c [INC SYSTEM] create new solver instance
5.66/6.17	c [INC] encode full formula
5.66/6.17	c fallback to adder encoding
6.19/6.26	c set iterative enc to: adder
6.19/6.26	c set iterative enc to: none
6.19/6.28	c [INC SEARCH] isOptimum variable: 0
20.27/20.38	c formula is SAT
20.27/20.38	c [INC SEARCH] copied best model
20.27/20.38	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
20.27/20.39	c model valid
20.27/20.39	c current solution ok
20.27/20.39	o 89369518
20.27/20.39	c [INC SEARCH] iteration: 7
20.27/20.39	c [INC BOUNDS] best value:89369533 search for 89369532
20.27/20.39	c [INC SYSTEM] there exists a inc, kill it!
20.27/20.39	c write failed with 2
20.37/20.40	c [INC SYSTEM] create new solver instance
20.37/20.40	c [INC] encode full formula
20.37/20.40	c fallback to adder encoding
20.37/20.48	c set iterative enc to: adder
20.37/20.48	c set iterative enc to: none
20.48/20.50	c [INC SEARCH] isOptimum variable: 0
21.36/21.49	c formula is SAT
21.46/21.50	c [INC SEARCH] copied best model
21.46/21.50	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
21.46/21.51	c model valid
21.46/21.51	c current solution ok
21.46/21.51	o 87653960
21.46/21.51	c [INC SEARCH] iteration: 8
21.46/21.51	c [INC BOUNDS] best value:87653975 search for 87653974
21.46/21.51	c [INC SYSTEM] there exists a inc, kill it!
21.46/21.51	c write failed with 2
21.46/21.51	c [INC SYSTEM] create new solver instance
21.46/21.51	c [INC] encode full formula
21.46/21.51	c fallback to adder encoding
21.58/21.60	c set iterative enc to: adder
21.58/21.60	c set iterative enc to: none
21.58/21.61	c [INC SEARCH] isOptimum variable: 0
21.97/22.00	c formula is SAT
21.97/22.01	c [INC SEARCH] copied best model
21.97/22.01	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
21.97/22.02	c model valid
21.97/22.02	c current solution ok
21.97/22.02	o 86613490
21.97/22.02	c [INC SEARCH] iteration: 9
21.97/22.02	c [INC BOUNDS] best value:86613505 search for 86613504
21.97/22.02	c [INC SYSTEM] there exists a inc, kill it!
21.97/22.02	c write failed with 2
21.97/22.02	c [INC SYSTEM] create new solver instance
21.97/22.02	c [INC] encode full formula
21.97/22.02	c fallback to adder encoding
22.10/22.11	c set iterative enc to: adder
22.10/22.11	c set iterative enc to: none
22.10/22.12	c [INC SEARCH] isOptimum variable: 0
22.12/22.53	c formula is SAT
22.12/22.53	c [INC SEARCH] copied best model
22.12/22.53	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
22.12/22.54	c model valid
22.12/22.54	c current solution ok
22.12/22.54	o 68098192
22.12/22.54	c [INC SEARCH] iteration: 10
22.12/22.54	c [INC BOUNDS] best value:68098207 search for 68098206
22.12/22.54	c [INC SYSTEM] there exists a inc, kill it!
22.12/22.54	c write failed with 2
22.12/22.55	c [INC SYSTEM] create new solver instance
22.12/22.55	c [INC] encode full formula
22.12/22.55	c fallback to adder encoding
22.59/22.63	c set iterative enc to: adder
22.59/22.63	c set iterative enc to: none
22.59/22.64	c [INC SEARCH] isOptimum variable: 0
23.78/23.80	c formula is SAT
23.78/23.81	c [INC SEARCH] copied best model
23.78/23.81	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
23.78/23.82	c model valid
23.78/23.82	c current solution ok
23.78/23.82	o 64244240
23.78/23.82	c [INC SEARCH] iteration: 11
23.78/23.82	c [INC BOUNDS] best value:64244255 search for 64244254
23.78/23.82	c [INC SYSTEM] there exists a inc, kill it!
23.78/23.82	c write failed with 2
23.78/23.82	c [INC SYSTEM] create new solver instance
23.78/23.82	c [INC] encode full formula
23.78/23.82	c fallback to adder encoding
23.90/23.90	c set iterative enc to: adder
23.90/23.90	c set iterative enc to: none
23.90/23.92	c [INC SEARCH] isOptimum variable: 0
24.59/24.64	c formula is SAT
24.59/24.64	c [INC SEARCH] copied best model
24.59/24.64	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
24.59/24.65	c model valid
24.59/24.65	c current solution ok
24.59/24.65	o 53178974
24.59/24.65	c [INC SEARCH] iteration: 12
24.59/24.65	c [INC BOUNDS] best value:53178989 search for 53178988
24.59/24.65	c [INC SYSTEM] there exists a inc, kill it!
24.59/24.65	c write failed with 2
24.59/24.65	c [INC SYSTEM] create new solver instance
24.59/24.65	c [INC] encode full formula
24.59/24.65	c fallback to adder encoding
24.69/24.73	c set iterative enc to: adder
24.69/24.73	c set iterative enc to: none
24.69/24.75	c [INC SEARCH] isOptimum variable: 0
25.38/25.41	c formula is SAT
25.38/25.41	c [INC SEARCH] copied best model
25.38/25.41	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
25.38/25.42	c model valid
25.38/25.42	c current solution ok
25.38/25.42	o 52905550
25.38/25.42	c [INC SEARCH] iteration: 13
25.38/25.42	c [INC BOUNDS] best value:52905565 search for 52905564
25.38/25.42	c [INC SYSTEM] there exists a inc, kill it!
25.38/25.42	c write failed with 2
25.38/25.43	c [INC SYSTEM] create new solver instance
25.38/25.43	c [INC] encode full formula
25.38/25.43	c fallback to adder encoding
25.49/25.51	c set iterative enc to: adder
25.49/25.51	c set iterative enc to: none
25.49/25.52	c [INC SEARCH] isOptimum variable: 0
26.40/26.47	c formula is SAT
26.40/26.47	c [INC SEARCH] copied best model
26.40/26.47	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
26.40/26.48	c model valid
26.40/26.48	c current solution ok
26.40/26.48	o 52573380
26.40/26.48	c [INC SEARCH] iteration: 14
26.40/26.48	c [INC BOUNDS] best value:52573395 search for 52573394
26.40/26.48	c [INC SYSTEM] there exists a inc, kill it!
26.40/26.48	c write failed with 2
26.40/26.49	c [INC SYSTEM] create new solver instance
26.40/26.49	c [INC] encode full formula
26.40/26.49	c fallback to adder encoding
26.50/26.57	c set iterative enc to: adder
26.50/26.57	c set iterative enc to: none
26.50/26.58	c [INC SEARCH] isOptimum variable: 0
26.58/26.96	c formula is SAT
26.58/26.97	c [INC SEARCH] copied best model
26.58/26.97	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
26.58/26.98	c model valid
26.58/26.98	c current solution ok
26.58/26.98	o 48726166
26.58/26.98	c [INC SEARCH] iteration: 15
26.58/26.98	c [INC BOUNDS] best value:48726181 search for 48726180
26.58/26.98	c [INC SYSTEM] there exists a inc, kill it!
26.58/26.98	c write failed with 2
26.58/26.98	c [INC SYSTEM] create new solver instance
26.58/26.98	c [INC] encode full formula
26.58/26.98	c fallback to adder encoding
26.99/27.06	c set iterative enc to: adder
26.99/27.06	c set iterative enc to: none
26.99/27.07	c [INC SEARCH] isOptimum variable: 0
27.77/27.83	c formula is SAT
27.77/27.83	c [INC SEARCH] copied best model
27.77/27.83	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
27.77/27.84	c model valid
27.77/27.84	c current solution ok
27.77/27.84	o 47116466
27.77/27.84	c [INC SEARCH] iteration: 16
27.77/27.84	c [INC BOUNDS] best value:47116481 search for 47116480
27.77/27.84	c [INC SYSTEM] there exists a inc, kill it!
27.77/27.84	c write failed with 2
27.77/27.84	c [INC SYSTEM] create new solver instance
27.77/27.84	c [INC] encode full formula
27.77/27.84	c fallback to adder encoding
27.89/27.92	c set iterative enc to: adder
27.89/27.92	c set iterative enc to: none
27.89/27.93	c [INC SEARCH] isOptimum variable: 0
32.89/32.98	c formula is SAT
32.89/32.98	c [INC SEARCH] copied best model
32.89/32.98	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
32.89/33.00	c model valid
32.89/33.00	c current solution ok
32.89/33.00	o 46277880
32.89/33.00	c [INC SEARCH] iteration: 17
32.89/33.00	c [INC BOUNDS] best value:46277895 search for 46277894
32.89/33.00	c [INC SYSTEM] there exists a inc, kill it!
32.89/33.00	c write failed with 2
32.89/33.00	c [INC SYSTEM] create new solver instance
32.89/33.00	c [INC] encode full formula
32.89/33.00	c fallback to adder encoding
33.01/33.08	c set iterative enc to: adder
33.01/33.08	c set iterative enc to: none
33.01/33.09	c [INC SEARCH] isOptimum variable: 0
34.38/34.49	c formula is SAT
34.38/34.49	c [INC SEARCH] copied best model
34.38/34.49	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
34.48/34.50	c model valid
34.48/34.50	c current solution ok
34.48/34.50	o 44636202
34.48/34.50	c [INC SEARCH] iteration: 18
34.48/34.50	c [INC BOUNDS] best value:44636217 search for 44636216
34.48/34.50	c [INC SYSTEM] there exists a inc, kill it!
34.48/34.50	c write failed with 2
34.48/34.50	c [INC SYSTEM] create new solver instance
34.48/34.50	c [INC] encode full formula
34.48/34.50	c fallback to adder encoding
34.48/34.58	c set iterative enc to: adder
34.48/34.58	c set iterative enc to: none
34.60/34.60	c [INC SEARCH] isOptimum variable: 0
155.26/155.35	c formula is SAT
155.26/155.35	c [INC SEARCH] copied best model
155.26/155.35	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
155.26/155.36	c model valid
155.26/155.36	c current solution ok
155.26/155.36	o 26052808
155.26/155.36	c [INC SEARCH] iteration: 19
155.26/155.36	c [INC BOUNDS] best value:26052823 search for 26052822
155.26/155.36	c [INC SYSTEM] there exists a inc, kill it!
155.26/155.36	c write failed with 2
155.26/155.37	c [INC SYSTEM] create new solver instance
155.26/155.37	c [INC] encode full formula
155.26/155.37	c fallback to adder encoding
155.38/155.44	c set iterative enc to: adder
155.38/155.44	c set iterative enc to: none
155.38/155.45	c [INC SEARCH] isOptimum variable: 0
156.46/156.55	c formula is SAT
156.46/156.55	c [INC SEARCH] copied best model
156.46/156.55	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
156.46/156.56	c model valid
156.46/156.56	c current solution ok
156.46/156.56	o 23279864
156.46/156.56	c [INC SEARCH] iteration: 20
156.46/156.56	c [INC BOUNDS] best value:23279879 search for 23279878
156.46/156.56	c [INC SYSTEM] there exists a inc, kill it!
156.46/156.56	c write failed with 2
156.46/156.56	c [INC SYSTEM] create new solver instance
156.46/156.56	c [INC] encode full formula
156.46/156.56	c fallback to adder encoding
156.58/156.63	c set iterative enc to: adder
156.58/156.63	c set iterative enc to: none
156.58/156.64	c [INC SEARCH] isOptimum variable: 0
157.76/157.89	c formula is SAT
157.76/157.89	c [INC SEARCH] copied best model
157.76/157.89	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
157.86/157.91	c model valid
157.86/157.91	c current solution ok
157.86/157.91	o 21028786
157.86/157.91	c [INC SEARCH] iteration: 21
157.86/157.91	c [INC BOUNDS] best value:21028801 search for 21028800
157.86/157.91	c [INC SYSTEM] there exists a inc, kill it!
157.86/157.91	c write failed with 2
157.86/157.91	c [INC SYSTEM] create new solver instance
157.86/157.91	c [INC] encode full formula
157.86/157.91	c fallback to adder encoding
157.86/157.98	c set iterative enc to: adder
157.86/157.98	c set iterative enc to: none
157.86/157.99	c [INC SEARCH] isOptimum variable: 0
159.47/159.52	c formula is SAT
159.47/159.52	c [INC SEARCH] copied best model
159.47/159.52	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
159.47/159.53	c model valid
159.47/159.53	c current solution ok
159.47/159.53	o 20759236
159.47/159.53	c [INC SEARCH] iteration: 22
159.47/159.53	c [INC BOUNDS] best value:20759251 search for 20759250
159.47/159.53	c [INC SYSTEM] there exists a inc, kill it!
159.47/159.53	c write failed with 2
159.47/159.54	c [INC SYSTEM] create new solver instance
159.47/159.54	c [INC] encode full formula
159.47/159.54	c fallback to adder encoding
159.59/159.61	c set iterative enc to: adder
159.59/159.61	c set iterative enc to: none
159.59/159.62	c [INC SEARCH] isOptimum variable: 0
163.48/163.59	c formula is SAT
163.48/163.60	c [INC SEARCH] copied best model
163.48/163.60	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
163.57/163.61	c model valid
163.57/163.61	c current solution ok
163.57/163.61	o 20691492
163.57/163.61	c [INC SEARCH] iteration: 23
163.57/163.61	c [INC BOUNDS] best value:20691507 search for 20691506
163.57/163.61	c [INC SYSTEM] there exists a inc, kill it!
163.57/163.61	c write failed with 2
163.57/163.61	c [INC SYSTEM] create new solver instance
163.57/163.61	c [INC] encode full formula
163.57/163.61	c fallback to adder encoding
163.57/163.68	c set iterative enc to: adder
163.57/163.68	c set iterative enc to: none
163.57/163.69	c [INC SEARCH] isOptimum variable: 0
167.56/167.62	c formula is SAT
167.56/167.62	c [INC SEARCH] copied best model
167.67/167.70	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
167.67/167.70	c model valid
167.67/167.70	c current solution ok
167.67/167.70	o 20444180
167.67/167.70	c [INC SEARCH] iteration: 24
167.67/167.70	c [INC BOUNDS] best value:20444195 search for 20444194
167.67/167.70	c [INC SYSTEM] there exists a inc, kill it!
167.67/167.70	c write failed with 2
167.67/167.70	c [INC SYSTEM] create new solver instance
167.67/167.70	c [INC] encode full formula
167.67/167.70	c fallback to adder encoding
167.67/167.70	c set iterative enc to: adder
167.67/167.70	c set iterative enc to: none
167.67/167.72	c [INC SEARCH] isOptimum variable: 0
170.96/171.07	c formula is SAT
170.96/171.07	c [INC SEARCH] copied best model
170.96/171.07	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
170.96/171.09	c model valid
170.96/171.09	c current solution ok
170.96/171.09	o 19781358
170.96/171.09	c [INC SEARCH] iteration: 25
170.96/171.09	c [INC BOUNDS] best value:19781373 search for 19781372
170.96/171.09	c [INC SYSTEM] there exists a inc, kill it!
170.96/171.09	c write failed with 2
170.96/171.09	c [INC SYSTEM] create new solver instance
170.96/171.09	c [INC] encode full formula
170.96/171.09	c fallback to adder encoding
171.06/171.16	c set iterative enc to: adder
171.06/171.16	c set iterative enc to: none
171.06/171.17	c [INC SEARCH] isOptimum variable: 0
189.36/189.45	c formula is SAT
189.36/189.46	c [INC SEARCH] copied best model
189.36/189.46	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
189.36/189.47	c model valid
189.36/189.47	c current solution ok
189.36/189.47	o 19742270
189.36/189.47	c [INC SEARCH] iteration: 26
189.36/189.47	c [INC BOUNDS] best value:19742285 search for 19742284
189.36/189.47	c [INC SYSTEM] there exists a inc, kill it!
189.36/189.47	c write failed with 2
189.36/189.47	c [INC SYSTEM] create new solver instance
189.36/189.47	c [INC] encode full formula
189.36/189.47	c fallback to adder encoding
189.46/189.54	c set iterative enc to: adder
189.46/189.54	c set iterative enc to: none
189.46/189.55	c [INC SEARCH] isOptimum variable: 0
194.34/194.48	c formula is SAT
194.34/194.48	c [INC SEARCH] copied best model
194.46/194.55	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
194.46/194.55	c model valid
194.46/194.55	c current solution ok
194.46/194.55	o 18678470
194.46/194.55	c [INC SEARCH] iteration: 27
194.46/194.55	c [INC BOUNDS] best value:18678485 search for 18678484
194.46/194.55	c [INC SYSTEM] there exists a inc, kill it!
194.46/194.55	c write failed with 2
194.46/194.55	c [INC SYSTEM] create new solver instance
194.46/194.55	c [INC] encode full formula
194.46/194.55	c fallback to adder encoding
194.46/194.56	c set iterative enc to: adder
194.46/194.57	c set iterative enc to: none
194.46/194.58	c [INC SEARCH] isOptimum variable: 0
197.15/197.26	c formula is SAT
197.15/197.26	c [INC SEARCH] copied best model
197.15/197.26	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
197.15/197.27	c model valid
197.15/197.27	c current solution ok
197.15/197.27	o 18604310
197.15/197.27	c [INC SEARCH] iteration: 28
197.15/197.27	c [INC BOUNDS] best value:18604325 search for 18604324
197.15/197.27	c [INC SYSTEM] there exists a inc, kill it!
197.15/197.27	c write failed with 2
197.15/197.28	c [INC SYSTEM] create new solver instance
197.15/197.28	c [INC] encode full formula
197.15/197.28	c fallback to adder encoding
197.26/197.35	c set iterative enc to: adder
197.26/197.35	c set iterative enc to: none
197.26/197.36	c [INC SEARCH] isOptimum variable: 0
202.64/202.76	c formula is SAT
202.64/202.76	c [INC SEARCH] copied best model
202.64/202.76	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
202.64/202.77	c model valid
202.64/202.77	c current solution ok
202.64/202.77	o 18455054
202.64/202.77	c [INC SEARCH] iteration: 29
202.64/202.77	c [INC BOUNDS] best value:18455069 search for 18455068
202.64/202.77	c [INC SYSTEM] there exists a inc, kill it!
202.64/202.77	c write failed with 2
202.64/202.77	c [INC SYSTEM] create new solver instance
202.64/202.77	c [INC] encode full formula
202.64/202.77	c fallback to adder encoding
202.76/202.84	c set iterative enc to: adder
202.76/202.84	c set iterative enc to: none
202.76/202.85	c [INC SEARCH] isOptimum variable: 0
205.56/205.68	c formula is SAT
205.56/205.68	c [INC SEARCH] copied best model
205.56/205.68	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
205.56/205.69	c model valid
205.56/205.69	c current solution ok
205.56/205.69	o 18010446
205.56/205.69	c [INC SEARCH] iteration: 30
205.56/205.69	c [INC BOUNDS] best value:18010461 search for 18010460
205.56/205.69	c [INC SYSTEM] there exists a inc, kill it!
205.56/205.69	c write failed with 2
205.56/205.69	c [INC SYSTEM] create new solver instance
205.56/205.69	c [INC] encode full formula
205.56/205.69	c fallback to adder encoding
205.67/205.76	c set iterative enc to: adder
205.67/205.76	c set iterative enc to: none
205.67/205.78	c [INC SEARCH] isOptimum variable: 0
228.85/228.96	c formula is SAT
228.85/228.96	c [INC SEARCH] copied best model
228.85/228.96	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
228.85/228.97	c model valid
228.85/228.97	c current solution ok
228.85/228.97	o 17578978
228.85/228.97	c [INC SEARCH] iteration: 31
228.85/228.97	c [INC BOUNDS] best value:17578993 search for 17578992
228.85/228.97	c [INC SYSTEM] there exists a inc, kill it!
228.85/228.97	c write failed with 2
228.85/228.97	c [INC SYSTEM] create new solver instance
228.85/228.97	c [INC] encode full formula
228.85/228.97	c fallback to adder encoding
228.96/229.04	c set iterative enc to: adder
228.96/229.04	c set iterative enc to: none
228.96/229.06	c [INC SEARCH] isOptimum variable: 0
235.44/235.57	c formula is SAT
235.44/235.57	c [INC SEARCH] copied best model
235.44/235.57	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
235.44/235.58	c model valid
235.44/235.58	c current solution ok
235.44/235.58	o 17407194
235.44/235.58	c [INC SEARCH] iteration: 32
235.44/235.58	c [INC BOUNDS] best value:17407209 search for 17407208
235.44/235.58	c [INC SYSTEM] there exists a inc, kill it!
235.44/235.58	c write failed with 2
235.44/235.58	c [INC SYSTEM] create new solver instance
235.44/235.58	c [INC] encode full formula
235.44/235.58	c fallback to adder encoding
235.56/235.65	c set iterative enc to: adder
235.56/235.65	c set iterative enc to: none
235.56/235.66	c [INC SEARCH] isOptimum variable: 0
243.55/243.67	c formula is SAT
243.55/243.67	c [INC SEARCH] copied best model
243.55/243.67	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
243.55/243.68	c model valid
243.55/243.68	c current solution ok
243.55/243.68	o 17252896
243.55/243.68	c [INC SEARCH] iteration: 33
243.55/243.68	c [INC BOUNDS] best value:17252911 search for 17252910
243.55/243.68	c [INC SYSTEM] there exists a inc, kill it!
243.55/243.68	c write failed with 2
243.55/243.68	c [INC SYSTEM] create new solver instance
243.55/243.68	c [INC] encode full formula
243.55/243.68	c fallback to adder encoding
243.65/243.75	c set iterative enc to: adder
243.65/243.75	c set iterative enc to: none
243.65/243.76	c [INC SEARCH] isOptimum variable: 0
247.34/247.49	c formula is SAT
247.34/247.49	c [INC SEARCH] copied best model
247.34/247.49	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
247.34/247.50	c model valid
247.34/247.50	c current solution ok
247.34/247.50	o 17217810
247.34/247.50	c [INC SEARCH] iteration: 34
247.34/247.50	c [INC BOUNDS] best value:17217825 search for 17217824
247.34/247.50	c [INC SYSTEM] there exists a inc, kill it!
247.34/247.50	c write failed with 2
247.34/247.50	c [INC SYSTEM] create new solver instance
247.34/247.50	c [INC] encode full formula
247.34/247.50	c fallback to adder encoding
247.46/247.57	c set iterative enc to: adder
247.46/247.57	c set iterative enc to: none
247.46/247.58	c [INC SEARCH] isOptimum variable: 0
254.75/254.83	c formula is SAT
254.75/254.83	c [INC SEARCH] copied best model
254.75/254.83	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
254.75/254.84	c model valid
254.75/254.84	c current solution ok
254.75/254.84	o 17102872
254.75/254.84	c [INC SEARCH] iteration: 35
254.75/254.84	c [INC BOUNDS] best value:17102887 search for 17102886
254.75/254.84	c [INC SYSTEM] there exists a inc, kill it!
254.75/254.84	c write failed with 2
254.75/254.84	c [INC SYSTEM] create new solver instance
254.75/254.84	c [INC] encode full formula
254.75/254.84	c fallback to adder encoding
254.86/254.91	c set iterative enc to: adder
254.86/254.91	c set iterative enc to: none
254.86/254.92	c [INC SEARCH] isOptimum variable: 0
277.15/277.26	c formula is SAT
277.15/277.26	c [INC SEARCH] copied best model
277.15/277.26	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
277.15/277.27	c model valid
277.15/277.27	c current solution ok
277.15/277.27	o 17033838
277.15/277.27	c [INC SEARCH] iteration: 36
277.15/277.27	c [INC BOUNDS] best value:17033853 search for 17033852
277.15/277.27	c [INC SYSTEM] there exists a inc, kill it!
277.15/277.27	c write failed with 2
277.15/277.27	c [INC SYSTEM] create new solver instance
277.15/277.27	c [INC] encode full formula
277.15/277.27	c fallback to adder encoding
277.27/277.34	c set iterative enc to: adder
277.27/277.34	c set iterative enc to: none
277.27/277.35	c [INC SEARCH] isOptimum variable: 0
283.75/283.83	c formula is SAT
283.75/283.83	c [INC SEARCH] copied best model
283.75/283.83	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
283.75/283.84	c model valid
283.75/283.84	c current solution ok
283.75/283.84	o 17010768
283.75/283.84	c [INC SEARCH] iteration: 37
283.75/283.84	c [INC BOUNDS] best value:17010783 search for 17010782
283.75/283.84	c [INC SYSTEM] there exists a inc, kill it!
283.75/283.84	c write failed with 2
283.75/283.84	c [INC SYSTEM] create new solver instance
283.75/283.84	c [INC] encode full formula
283.75/283.84	c fallback to adder encoding
283.86/283.91	c set iterative enc to: adder
283.86/283.91	c set iterative enc to: none
283.86/283.92	c [INC SEARCH] isOptimum variable: 0
293.76/293.83	c formula is SAT
293.76/293.83	c [INC SEARCH] copied best model
293.76/293.83	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
293.76/293.84	c model valid
293.76/293.84	c current solution ok
293.76/293.84	o 16812938
293.76/293.84	c [INC SEARCH] iteration: 38
293.76/293.84	c [INC BOUNDS] best value:16812953 search for 16812952
293.76/293.84	c [INC SYSTEM] there exists a inc, kill it!
293.76/293.84	c write failed with 2
293.76/293.84	c [INC SYSTEM] create new solver instance
293.76/293.84	c [INC] encode full formula
293.76/293.84	c fallback to adder encoding
293.85/293.91	c set iterative enc to: adder
293.85/293.91	c set iterative enc to: none
293.85/293.92	c [INC SEARCH] isOptimum variable: 0
386.52/386.66	c formula is SAT
386.52/386.67	c [INC SEARCH] copied best model
386.52/386.67	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
386.52/386.68	c model valid
386.52/386.68	c current solution ok
386.52/386.68	o 16684712
386.52/386.68	c [INC SEARCH] iteration: 39
386.52/386.68	c [INC BOUNDS] best value:16684727 search for 16684726
386.52/386.68	c [INC SYSTEM] there exists a inc, kill it!
386.52/386.68	c write failed with 2
386.52/386.68	c [INC SYSTEM] create new solver instance
386.52/386.68	c [INC] encode full formula
386.52/386.68	c fallback to adder encoding
386.64/386.75	c set iterative enc to: adder
386.64/386.75	c set iterative enc to: none
386.64/386.76	c [INC SEARCH] isOptimum variable: 0
742.37/742.58	c formula is SAT
742.37/742.58	c [INC SEARCH] copied best model
742.37/742.58	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
742.37/742.59	c model valid
742.37/742.59	c current solution ok
742.37/742.59	o 16641560
742.37/742.59	c [INC SEARCH] iteration: 40
742.37/742.59	c [INC BOUNDS] best value:16641575 search for 16641574
742.37/742.59	c [INC SYSTEM] there exists a inc, kill it!
742.37/742.59	c write failed with 2
742.37/742.59	c [INC SYSTEM] create new solver instance
742.37/742.59	c [INC] encode full formula
742.37/742.59	c fallback to adder encoding
742.48/742.66	c set iterative enc to: adder
742.48/742.66	c set iterative enc to: none
742.48/742.67	c [INC SEARCH] isOptimum variable: 0
1141.20/1141.43	c formula is SAT
1141.20/1141.44	c [INC SEARCH] copied best model
1141.20/1141.44	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1141.20/1141.45	c model valid
1141.20/1141.45	c current solution ok
1141.20/1141.45	o 16633202
1141.20/1141.45	c [INC SEARCH] iteration: 41
1141.20/1141.45	c [INC BOUNDS] best value:16633217 search for 16633216
1141.20/1141.45	c [INC SYSTEM] there exists a inc, kill it!
1141.20/1141.45	c write failed with 2
1141.20/1141.45	c [INC SYSTEM] create new solver instance
1141.20/1141.45	c [INC] encode full formula
1141.20/1141.45	c fallback to adder encoding
1141.30/1141.52	c set iterative enc to: adder
1141.30/1141.52	c set iterative enc to: none
1141.30/1141.53	c [INC SEARCH] isOptimum variable: 0
1761.01/1761.35	c [INC SEARCH] formula is UNSAT
1761.01/1761.35	c [INC SYSTEM] there exists a inc, kill it!
1761.01/1761.35	c write failed with 2
1761.01/1761.35	c [INC SEARCH] sat variable: 0 optimum/unsat variable: 1
1761.01/1761.35	c [INC SEARCH] found optimum
1761.01/1761.35	c display solution
1761.01/1761.35	s OPTIMUM FOUND
1761.01/1761.35	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	16633202

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-3746919-1339110377/watcher-3746919-1339110377 -o /tmp/evaluation-result-3746919-1339110377/solver-3746919-1339110377 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746919-1339110377.opb 991925362 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.99 2.00 2.09 2/178 9559
/proc/meminfo: memFree=30810776/32873648 swapFree=7628/7628
[pid=9559] ppid=9557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9559/stat : 9559 (npSolver-pbo-It) S 9557 9559 4113 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377163657 9367552 275 33554432000 4194304 5064252 140737343001360 140737343000272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9559/statm: 2287 275 233 213 0 72 0

[startup+0.0161571 s]
/proc/loadavg: 1.99 2.00 2.09 2/178 9559
/proc/meminfo: memFree=30810776/32873648 swapFree=7628/7628
[pid=9559] ppid=9557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9559/stat : 9559 (npSolver-pbo-It) S 9557 9559 4113 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377163657 9367552 275 33554432000 4194304 5064252 140737343001360 140737343000272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9559/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100143 s]
/proc/loadavg: 1.99 2.00 2.09 2/178 9559
/proc/meminfo: memFree=30810776/32873648 swapFree=7628/7628
[pid=9559] ppid=9557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9559/stat : 9559 (npSolver-pbo-It) S 9557 9559 4113 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377163657 9367552 275 33554432000 4194304 5064252 140737343001360 140737343000272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9559/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30013 s]
/proc/loadavg: 1.99 2.00 2.09 2/178 9559
/proc/meminfo: memFree=30810776/32873648 swapFree=7628/7628
[pid=9559] ppid=9557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9559/stat : 9559 (npSolver-pbo-It) S 9557 9559 4113 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377163657 9367552 275 33554432000 4194304 5064252 140737343001360 140737343000272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9559/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700174 s]
/proc/loadavg: 1.99 2.00 2.09 2/178 9559
/proc/meminfo: memFree=30810776/32873648 swapFree=7628/7628
[pid=9559] ppid=9557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9559/stat : 9559 (npSolver-pbo-It) S 9557 9559 4113 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377163657 9367552 275 33554432000 4194304 5064252 140737343001360 140737343000272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9559/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50027 s]
/proc/loadavg: 1.99 2.00 2.09 3/180 9568
/proc/meminfo: memFree=30781392/32873648 swapFree=7628/7628
[pid=9559] ppid=9557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9559/stat : 9559 (npSolver-pbo-It) S 9557 9559 4113 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377163657 9367552 275 33554432000 4194304 5064252 140737343001360 140737343000272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9559/statm: 2287 275 233 213 0 72 0
[pid=9560] ppid=9559 vsize=22912 CPUtime=1.37 cores=0,2,4,6
/proc/9560/stat : 9560 (npSolver-pbo) S 9559 9559 4113 0 -1 4202496 13619 20147 0 0 36 9 86 6 20 0 1 0 377163657 23461888 4954 33554432000 4194304 6004724 140735635331376 140735635317224 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9560/statm: 5728 4954 183 442 0 5282 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 32060

[startup+3.10031 s]
/proc/loadavg: 1.99 2.00 2.09 3/181 9574
/proc/meminfo: memFree=30759060/32873648 swapFree=7628/7628
[pid=9559] ppid=9557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9559/stat : 9559 (npSolver-pbo-It) S 9557 9559 4113 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377163657 9367552 275 33554432000 4194304 5064252 140737343001360 140737343000272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9559/statm: 2287 275 233 213 0 72 0
[pid=9560] ppid=9559 vsize=22912 CPUtime=1.83 cores=0,2,4,6
/proc/9560/stat : 9560 (npSolver-pbo) S 9559 9559 4113 0 -1 4202496 16922 27074 0 0 47 10 117 9 20 0 1 0 377163657 23461888 4955 33554432000 4194304 6004724 140735635331376 140735635317224 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9560/statm: 5728 4955 183 442 0 5282 0
[pid=9574] ppid=9560 vsize=28056 CPUtime=1.25 cores=0,2,4,6
/proc/9574/stat : 9574 (glucosInc) R 9560 9559 4113 0 -1 4202496 6470 0 0 0 124 1 0 0 20 0 1 0 377163841 28729344 5602 33554432000 4194304 5654031 140736395778112 140736395776200 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9574/statm: 7014 5602 132 357 0 6654 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 60116

[startup+6.30027 s]
/proc/loadavg: 1.99 2.00 2.09 3/181 9576
/proc/meminfo: memFree=30754536/32873648 swapFree=7628/7628
[pid=9559] ppid=9557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9559/stat : 9559 (npSolver-pbo-It) S 9557 9559 4113 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377163657 9367552 275 33554432000 4194304 5064252 140737343001360 140737343000272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9559/statm: 2287 275 233 213 0 72 0
[pid=9560] ppid=9559 vsize=22912 CPUtime=6.27 cores=0,2,4,6
/proc/9560/stat : 9560 (npSolver-pbo) S 9559 9559 4113 0 -1 4202496 26821 47596 0 0 78 13 521 15 20 0 1 0 377163657 23461888 4955 33554432000 4194304 6004724 140735635331376 140735635317224 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9560/statm: 5728 4955 183 442 0 5282 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 32060

[startup+12.7003 s]
/proc/loadavg: 1.99 2.00 2.09 3/181 9580
/proc/meminfo: memFree=30749676/32873648 swapFree=7628/7628
[pid=9559] ppid=9557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9559/stat : 9559 (npSolver-pbo-It) S 9557 9559 4113 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377163657 9367552 275 33554432000 4194304 5064252 140737343001360 140737343000272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9559/statm: 2287 275 233 213 0 72 0
[pid=9560] ppid=9559 vsize=22912 CPUtime=6.27 cores=0,2,4,6
/proc/9560/stat : 9560 (npSolver-pbo) S 9559 9559 4113 0 -1 4202496 26821 47596 0 0 78 13 521 15 20 0 1 0 377163657 23461888 4955 33554432000 4194304 6004724 140735635331376 140735635317224 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9560/statm: 5728 4955 183 442 0 5282 0
[pid=9580] ppid=9560 vsize=27024 CPUtime=6.41 cores=0,2,4,6
/proc/9580/stat : 9580 (glucosInc) R 9560 9559 4113 0 -1 4202496 6505 0 0 0 640 1 0 0 20 0 1 0 377164285 27672576 6221 33554432000 4194304 5654031 140737356106800 140737356104568 4208621 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9580/statm: 6756 6221 141 357 0 6396 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 59084

[startup+25.5004 s]
/proc/loadavg: 1.99 2.00 2.09 3/181 9592
/proc/meminfo: memFree=30752224/32873648 swapFree=7628/7628
[pid=9559] ppid=9557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9559/stat : 9559 (npSolver-pbo-It) S 9557 9559 4113 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377163657 9367552 275 33554432000 4194304 5064252 140737343001360 140737343000272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9559/statm: 2287 275 233 213 0 72 0
[pid=9560] ppid=9559 vsize=22912 CPUtime=25.49 cores=0,2,4,6
/proc/9560/stat : 9560 (npSolver-pbo) R 9559 9559 4113 0 -1 4202496 48631 93786 0 0 146 19 2358 26 20 0 1 0 377163657 23461888 4955 33554432000 4194304 6004724 140735635331376 140735635326864 4579276 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9560/statm: 5728 4955 183 442 0 5282 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 32060

[startup+51.1004 s]
/proc/loadavg: 1.99 2.00 2.08 3/181 9604
/proc/meminfo: memFree=30794772/32873648 swapFree=7628/7628
[pid=9559] ppid=9557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9559/stat : 9559 (npSolver-pbo-It) S 9557 9559 4113 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377163657 9367552 275 33554432000 4194304 5064252 140737343001360 140737343000272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9559/statm: 2287 275 233 213 0 72 0
[pid=9560] ppid=9559 vsize=22912 CPUtime=34.6 cores=0,2,4,6
/proc/9560/stat : 9560 (npSolver-pbo) S 9559 9559 4113 0 -1 4202496 66222 126412 0 0 195 24 3205 36 20 0 1 0 377163657 23461888 4955 33554432000 4194304 6004724 140735635331376 140735635317224 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9560/statm: 5728 4955 183 442 0 5282 0
[pid=9604] ppid=9560 vsize=30872 CPUtime=16.48 cores=0,2,4,6
/proc/9604/stat : 9604 (glucosInc) R 9560 9559 4113 0 -1 4202496 6985 0 0 0 1647 1 0 0 20 0 1 0 377167117 31612928 6491 33554432000 4194304 5654031 140737467939328 140737467937208 4232577 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9604/statm: 7718 6491 141 357 0 7358 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 62932

[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.08 3/181 9604
/proc/meminfo: memFree=30722768/32873648 swapFree=7628/7628
[pid=9559] ppid=9557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9559/stat : 9559 (npSolver-pbo-It) S 9557 9559 4113 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377163657 9367552 275 33554432000 4194304 5064252 140737343001360 140737343000272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9559/statm: 2287 275 233 213 0 72 0
[pid=9560] ppid=9559 vsize=22912 CPUtime=34.6 cores=0,2,4,6
/proc/9560/stat : 9560 (npSolver-pbo) S 9559 9559 4113 0 -1 4202496 66222 126412 0 0 195 24 3205 36 20 0 1 0 377163657 23461888 4955 33554432000 4194304 6004724 140735635331376 140735635317224 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9560/statm: 5728 4955 183 442 0 5282 0
[pid=9604] ppid=9560 vsize=45360 CPUtime=67.68 cores=0,2,4,6
/proc/9604/stat : 9604 (glucosInc) R 9560 9559 4113 0 -1 4202496 8204 0 0 0 6766 2 0 0 20 0 1 0 377167117 46448640 10753 33554432000 4194304 5654031 140737467939328 140737467937128 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9604/statm: 11340 10753 141 357 0 10980 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 77420

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.07 3/181 9613
/proc/meminfo: memFree=30725072/32873648 swapFree=7628/7628
[pid=9559] ppid=9557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9559/stat : 9559 (npSolver-pbo-It) S 9557 9559 4113 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377163657 9367552 275 33554432000 4194304 5064252 140737343001360 140737343000272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9559/statm: 2287 275 233 213 0 72 0
[pid=9560] ppid=9559 vsize=22912 CPUtime=159.61 cores=0,2,4,6
/proc/9560/stat : 9560 (npSolver-pbo) S 9559 9559 4113 0 -1 4202496 79229 153879 0 0 229 28 15660 44 20 0 1 0 377163657 23461888 4955 33554432000 4194304 6004724 140735635331376 140735635317224 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9560/statm: 5728 4955 183 442 0 5282 0
[pid=9613] ppid=9560 vsize=23364 CPUtime=2.66 cores=0,2,4,6
/proc/9613/stat : 9613 (glucosInc) R 9560 9559 4113 0 -1 4202496 6285 0 0 0 265 1 0 0 20 0 1 0 377179619 23924736 5050 33554432000 4194304 5654031 140736192501904 140736192489720 4234964 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9613/statm: 5841 5050 141 357 0 5481 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 55424

[startup+222.307 s]
/proc/loadavg: 2.07 2.03 2.08 3/181 9629
/proc/meminfo: memFree=30728400/32873648 swapFree=7628/7628
[pid=9559] ppid=9557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9559/stat : 9559 (npSolver-pbo-It) S 9557 9559 4113 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377163657 9367552 275 33554432000 4194304 5064252 140737343001360 140737343000272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9559/statm: 2287 275 233 213 0 72 0
[pid=9560] ppid=9559 vsize=22912 CPUtime=205.74 cores=0,2,4,6
/proc/9560/stat : 9560 (npSolver-pbo) S 9559 9559 4113 0 -1 4202496 105180 206649 0 0 297 35 20182 60 20 0 1 0 377163657 23461888 4955 33554432000 4194304 6004724 140735635331376 140735635317224 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9560/statm: 5728 4955 183 442 0 5282 0
[pid=9629] ppid=9560 vsize=34644 CPUtime=16.51 cores=0,2,4,6
/proc/9629/stat : 9629 (glucosInc) R 9560 9559 4113 0 -1 4202496 6954 0 0 0 1650 1 0 0 20 0 1 0 377184235 35475456 7756 33554432000 4194304 5654031 140733973830304 140733973828104 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9629/statm: 8661 7756 142 357 0 8301 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 66704

[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.07 3/182 9644
/proc/meminfo: memFree=30751840/32873648 swapFree=7628/7628
[pid=9559] ppid=9557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9559/stat : 9559 (npSolver-pbo-It) S 9557 9559 4113 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377163657 9367552 275 33554432000 4194304 5064252 140737343001360 140737343000272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9559/statm: 2287 275 233 213 0 72 0
[pid=9560] ppid=9559 vsize=22912 CPUtime=277.31 cores=0,2,4,6
/proc/9560/stat : 9560 (npSolver-pbo) S 9559 9559 4113 0 -1 4202496 124588 248450 0 0 347 41 27270 73 20 0 1 0 377163657 23461888 4955 33554432000 4194304 6004724 140735635331376 140735635317224 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9560/statm: 5728 4955 183 442 0 5282 0
[pid=9644] ppid=9560 vsize=23332 CPUtime=4.93 cores=0,2,4,6

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

/proc/9685/statm: 16222 12090 141 357 0 15862 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 96948

[startup+1602.3 s]
/proc/loadavg: 1.00 1.03 1.35 2/173 9690
/proc/meminfo: memFree=31013376/32873648 swapFree=7628/7628
[pid=9559] ppid=9557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9559/stat : 9559 (npSolver-pbo-It) S 9557 9559 4113 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377163657 9367552 275 33554432000 4194304 5064252 140737343001360 140737343000272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9559/statm: 2287 275 233 213 0 72 0
[pid=9560] ppid=9559 vsize=22912 CPUtime=1141.35 cores=0,2,4,6
/proc/9560/stat : 9560 (npSolver-pbo) S 9559 9559 4113 0 -1 4202496 140648 288475 0 0 389 45 113614 87 20 0 1 0 377163657 23461888 4955 33554432000 4194304 6004724 140735635331376 140735635317224 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9560/statm: 5728 4955 183 442 0 5282 0
[pid=9685] ppid=9560 vsize=64888 CPUtime=460.68 cores=0,2,4,6
/proc/9685/stat : 9685 (glucosInc) R 9560 9559 4113 0 -1 4202496 8660 0 0 0 46066 2 0 0 20 0 1 0 377277810 66445312 12090 33554432000 4194304 5654031 140737098911248 140737098899064 4232707 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9685/statm: 16222 12090 141 357 0 15862 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 96948

[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.32 2/173 9691
/proc/meminfo: memFree=31013252/32873648 swapFree=7628/7628
[pid=9559] ppid=9557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9559/stat : 9559 (npSolver-pbo-It) S 9557 9559 4113 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377163657 9367552 275 33554432000 4194304 5064252 140737343001360 140737343000272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9559/statm: 2287 275 233 213 0 72 0
[pid=9560] ppid=9559 vsize=22912 CPUtime=1141.35 cores=0,2,4,6
/proc/9560/stat : 9560 (npSolver-pbo) S 9559 9559 4113 0 -1 4202496 140648 288475 0 0 389 45 113614 87 20 0 1 0 377163657 23461888 4955 33554432000 4194304 6004724 140735635331376 140735635317224 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9560/statm: 5728 4955 183 442 0 5282 0
[pid=9685] ppid=9560 vsize=64888 CPUtime=520.68 cores=0,2,4,6
/proc/9685/stat : 9685 (glucosInc) R 9560 9559 4113 0 -1 4202496 8660 0 0 0 52066 2 0 0 20 0 1 0 377277810 66445312 12090 33554432000 4194304 5654031 140737098911248 140737098899064 4232791 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9685/statm: 16222 12090 141 357 0 15862 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 96948

[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.30 2/173 9691
/proc/meminfo: memFree=31005184/32873648 swapFree=7628/7628
[pid=9559] ppid=9557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9559/stat : 9559 (npSolver-pbo-It) S 9557 9559 4113 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377163657 9367552 275 33554432000 4194304 5064252 140737343001360 140737343000272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9559/statm: 2287 275 233 213 0 72 0
[pid=9560] ppid=9559 vsize=22912 CPUtime=1141.35 cores=0,2,4,6
/proc/9560/stat : 9560 (npSolver-pbo) S 9559 9559 4113 0 -1 4202496 140648 288475 0 0 389 45 113614 87 20 0 1 0 377163657 23461888 4955 33554432000 4194304 6004724 140735635331376 140735635317224 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9560/statm: 5728 4955 183 442 0 5282 0
[pid=9685] ppid=9560 vsize=64888 CPUtime=580.67 cores=0,2,4,6
/proc/9685/stat : 9685 (glucosInc) R 9560 9559 4113 0 -1 4202496 8664 0 0 0 58065 2 0 0 20 0 1 0 377277810 66445312 14138 33554432000 4194304 5654031 140737098911248 140737098899064 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9685/statm: 16222 14138 141 357 0 15862 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 96948

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

[startup+1740.8 s]
/proc/loadavg: 1.00 1.01 1.29 2/173 9691
/proc/meminfo: memFree=31000964/32873648 swapFree=7628/7628
[pid=9559] ppid=9557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9559/stat : 9559 (npSolver-pbo-It) S 9557 9559 4113 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377163657 9367552 275 33554432000 4194304 5064252 140737343001360 140737343000272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9559/statm: 2287 275 233 213 0 72 0
[pid=9560] ppid=9559 vsize=22912 CPUtime=1141.35 cores=0,2,4,6
/proc/9560/stat : 9560 (npSolver-pbo) S 9559 9559 4113 0 -1 4202496 140648 288475 0 0 389 45 113614 87 20 0 1 0 377163657 23461888 4955 33554432000 4194304 6004724 140735635331376 140735635317224 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9560/statm: 5728 4955 183 442 0 5282 0
[pid=9685] ppid=9560 vsize=64888 CPUtime=599.16 cores=0,2,4,6
/proc/9685/stat : 9685 (glucosInc) R 9560 9559 4113 0 -1 4202496 8666 0 0 0 59914 2 0 0 20 0 1 0 377277810 66445312 15162 33554432000 4194304 5654031 140737098911248 140737098899064 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9685/statm: 16222 15162 141 357 0 15862 0
Current children cumulated CPU time (s) 1740.51
Current children cumulated vsize (KiB) 96948

[startup+1753.6 s]
/proc/loadavg: 1.00 1.01 1.29 2/173 9691
/proc/meminfo: memFree=31000840/32873648 swapFree=7628/7628
[pid=9559] ppid=9557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9559/stat : 9559 (npSolver-pbo-It) S 9557 9559 4113 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377163657 9367552 275 33554432000 4194304 5064252 140737343001360 140737343000272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9559/statm: 2287 275 233 213 0 72 0
[pid=9560] ppid=9559 vsize=22912 CPUtime=1141.35 cores=0,2,4,6
/proc/9560/stat : 9560 (npSolver-pbo) S 9559 9559 4113 0 -1 4202496 140648 288475 0 0 389 45 113614 87 20 0 1 0 377163657 23461888 4955 33554432000 4194304 6004724 140735635331376 140735635317224 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9560/statm: 5728 4955 183 442 0 5282 0
[pid=9685] ppid=9560 vsize=64888 CPUtime=611.96 cores=0,2,4,6
/proc/9685/stat : 9685 (glucosInc) R 9560 9559 4113 0 -1 4202496 8666 0 0 0 61194 2 0 0 20 0 1 0 377277810 66445312 15162 33554432000 4194304 5654031 140737098911248 140737098899064 4232784 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9685/statm: 16222 15162 141 357 0 15862 0
Current children cumulated CPU time (s) 1753.31
Current children cumulated vsize (KiB) 96948

[startup+1756.81 s]
/proc/loadavg: 1.00 1.01 1.29 2/173 9691
/proc/meminfo: memFree=31000840/32873648 swapFree=7628/7628
[pid=9559] ppid=9557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9559/stat : 9559 (npSolver-pbo-It) S 9557 9559 4113 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377163657 9367552 275 33554432000 4194304 5064252 140737343001360 140737343000272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9559/statm: 2287 275 233 213 0 72 0
[pid=9560] ppid=9559 vsize=22912 CPUtime=1141.35 cores=0,2,4,6
/proc/9560/stat : 9560 (npSolver-pbo) S 9559 9559 4113 0 -1 4202496 140648 288475 0 0 389 45 113614 87 20 0 1 0 377163657 23461888 4955 33554432000 4194304 6004724 140735635331376 140735635317224 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9560/statm: 5728 4955 183 442 0 5282 0
[pid=9685] ppid=9560 vsize=64888 CPUtime=615.16 cores=0,2,4,6
/proc/9685/stat : 9685 (glucosInc) R 9560 9559 4113 0 -1 4202496 8666 0 0 0 61514 2 0 0 20 0 1 0 377277810 66445312 15162 33554432000 4194304 5654031 140737098911248 140737098899064 4215913 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9685/statm: 16222 15162 141 357 0 15862 0
Current children cumulated CPU time (s) 1756.51
Current children cumulated vsize (KiB) 96948

[startup+1758.4 s]
/proc/loadavg: 1.00 1.01 1.29 2/173 9691
/proc/meminfo: memFree=31000840/32873648 swapFree=7628/7628
[pid=9559] ppid=9557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9559/stat : 9559 (npSolver-pbo-It) S 9557 9559 4113 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377163657 9367552 275 33554432000 4194304 5064252 140737343001360 140737343000272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9559/statm: 2287 275 233 213 0 72 0
[pid=9560] ppid=9559 vsize=22912 CPUtime=1141.35 cores=0,2,4,6
/proc/9560/stat : 9560 (npSolver-pbo) S 9559 9559 4113 0 -1 4202496 140648 288475 0 0 389 45 113614 87 20 0 1 0 377163657 23461888 4955 33554432000 4194304 6004724 140735635331376 140735635317224 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9560/statm: 5728 4955 183 442 0 5282 0
[pid=9685] ppid=9560 vsize=64888 CPUtime=616.76 cores=0,2,4,6
/proc/9685/stat : 9685 (glucosInc) R 9560 9559 4113 0 -1 4202496 8666 0 0 0 61674 2 0 0 20 0 1 0 377277810 66445312 15162 33554432000 4194304 5654031 140737098911248 140737098899064 4215964 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9685/statm: 16222 15162 141 357 0 15862 0
Current children cumulated CPU time (s) 1758.11
Current children cumulated vsize (KiB) 96948

[startup+1760 s]
/proc/loadavg: 1.00 1.01 1.28 2/173 9691
/proc/meminfo: memFree=31000840/32873648 swapFree=7628/7628
[pid=9559] ppid=9557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9559/stat : 9559 (npSolver-pbo-It) S 9557 9559 4113 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377163657 9367552 275 33554432000 4194304 5064252 140737343001360 140737343000272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9559/statm: 2287 275 233 213 0 72 0
[pid=9560] ppid=9559 vsize=22912 CPUtime=1141.35 cores=0,2,4,6
/proc/9560/stat : 9560 (npSolver-pbo) S 9559 9559 4113 0 -1 4202496 140648 288475 0 0 389 45 113614 87 20 0 1 0 377163657 23461888 4955 33554432000 4194304 6004724 140735635331376 140735635317224 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9560/statm: 5728 4955 183 442 0 5282 0
[pid=9685] ppid=9560 vsize=64888 CPUtime=618.36 cores=0,2,4,6
/proc/9685/stat : 9685 (glucosInc) R 9560 9559 4113 0 -1 4202496 8666 0 0 0 61834 2 0 0 20 0 1 0 377277810 66445312 15162 33554432000 4194304 5654031 140737098911248 140737098899064 4232800 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9685/statm: 16222 15162 141 357 0 15862 0
Current children cumulated CPU time (s) 1759.71
Current children cumulated vsize (KiB) 96948

[startup+1760.8 s]
/proc/loadavg: 1.00 1.01 1.28 2/173 9691
/proc/meminfo: memFree=31000840/32873648 swapFree=7628/7628
[pid=9559] ppid=9557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9559/stat : 9559 (npSolver-pbo-It) S 9557 9559 4113 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377163657 9367552 275 33554432000 4194304 5064252 140737343001360 140737343000272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9559/statm: 2287 275 233 213 0 72 0
[pid=9560] ppid=9559 vsize=22912 CPUtime=1141.35 cores=0,2,4,6
/proc/9560/stat : 9560 (npSolver-pbo) S 9559 9559 4113 0 -1 4202496 140648 288475 0 0 389 45 113614 87 20 0 1 0 377163657 23461888 4955 33554432000 4194304 6004724 140735635331376 140735635317224 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9560/statm: 5728 4955 183 442 0 5282 0
[pid=9685] ppid=9560 vsize=64888 CPUtime=619.16 cores=0,2,4,6
/proc/9685/stat : 9685 (glucosInc) R 9560 9559 4113 0 -1 4202496 8666 0 0 0 61914 2 0 0 20 0 1 0 377277810 66445312 15162 33554432000 4194304 5654031 140737098911248 140737098899064 4219872 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9685/statm: 16222 15162 141 357 0 15862 0
Current children cumulated CPU time (s) 1760.51
Current children cumulated vsize (KiB) 96948

[startup+1761.21 s]
/proc/loadavg: 1.00 1.01 1.28 2/173 9691
/proc/meminfo: memFree=31000840/32873648 swapFree=7628/7628
[pid=9559] ppid=9557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9559/stat : 9559 (npSolver-pbo-It) S 9557 9559 4113 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377163657 9367552 275 33554432000 4194304 5064252 140737343001360 140737343000272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9559/statm: 2287 275 233 213 0 72 0
[pid=9560] ppid=9559 vsize=22912 CPUtime=1141.35 cores=0,2,4,6
/proc/9560/stat : 9560 (npSolver-pbo) S 9559 9559 4113 0 -1 4202496 140648 288475 0 0 389 45 113614 87 20 0 1 0 377163657 23461888 4955 33554432000 4194304 6004724 140735635331376 140735635317224 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9560/statm: 5728 4955 183 442 0 5282 0
[pid=9685] ppid=9560 vsize=64888 CPUtime=619.56 cores=0,2,4,6
/proc/9685/stat : 9685 (glucosInc) R 9560 9559 4113 0 -1 4202496 8666 0 0 0 61954 2 0 0 20 0 1 0 377277810 66445312 15162 33554432000 4194304 5654031 140737098911248 140737098899064 4232786 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9685/statm: 16222 15162 141 357 0 15862 0
Current children cumulated CPU time (s) 1760.91
Current children cumulated vsize (KiB) 96948

[startup+1761.3 s]
/proc/loadavg: 1.00 1.01 1.28 2/173 9691
/proc/meminfo: memFree=31000840/32873648 swapFree=7628/7628
[pid=9559] ppid=9557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9559/stat : 9559 (npSolver-pbo-It) S 9557 9559 4113 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377163657 9367552 275 33554432000 4194304 5064252 140737343001360 140737343000272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9559/statm: 2287 275 233 213 0 72 0
[pid=9560] ppid=9559 vsize=22912 CPUtime=1141.35 cores=0,2,4,6
/proc/9560/stat : 9560 (npSolver-pbo) S 9559 9559 4113 0 -1 4202496 140648 288475 0 0 389 45 113614 87 20 0 1 0 377163657 23461888 4955 33554432000 4194304 6004724 140735635331376 140735635317224 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9560/statm: 5728 4955 183 442 0 5282 0
[pid=9685] ppid=9560 vsize=64888 CPUtime=619.66 cores=0,2,4,6
/proc/9685/stat : 9685 (glucosInc) R 9560 9559 4113 0 -1 4202496 8666 0 0 0 61964 2 0 0 20 0 1 0 377277810 66445312 15162 33554432000 4194304 5654031 140737098911248 140737098899064 4215091 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9685/statm: 16222 15162 141 357 0 15862 0
Current children cumulated CPU time (s) 1761.01
Current children cumulated vsize (KiB) 96948

Child status: 0
Real time (s): 1761.36
CPU time (s): 1761.08
CPU user time (s): 1759.73
CPU system time (s): 1.35179
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 99120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1759.73
system time used= 1.35179
maximum resident set size= 62444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 438648
page faults= 0
swaps= 0
block input operations= 0
block output operations= 477112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3548
involuntary context switches= 2623

runsolver used 6.92095 second user time and 16.2975 second system time

The end

Launcher Data 

Begin job on node122 at 2012-06-08 01:06:17
IDJOB=3746919
IDBENCH=92777
IDSOLVER=2332
FILE ID=node122/3746919-1339110377
RUNJOBID= node122-1339098177-4129
PBS_JOBID= 14643731
Free space on /tmp= 71116 MiB

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

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

MD5SUM BENCH= ed0e62d21585297a53ea5d644fd52c40
RANDOM SEED=991925362

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.533
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.533
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
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.533
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.533
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:        30811040 kB
Buffers:           99388 kB
Cached:           928700 kB
SwapCached:         2132 kB
Active:           409288 kB
Inactive:         846720 kB
Active(anon):     228384 kB
Inactive(anon):     2216 kB
Active(file):     180904 kB
Inactive(file):   844504 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67099484 kB
Dirty:              8552 kB
Writeback:             0 kB
AnonPages:        238112 kB
Mapped:             9992 kB
Shmem:                 0 kB
Slab:             661940 kB
SReclaimable:     106032 kB
SUnreclaim:       555908 kB
KernelStack:        1472 kB
PageTables:         4564 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     375480 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    122880 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= 71148 MiB
End job on node122 at 2012-06-08 01:35:38