Trace number 3746917

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 825.361 825.556

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/IC/
normalized-minisat15_5_3_5_ic.opb
MD5SUMe4dab1f67f0e50360b112cfb031bdd87
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2624620
Best CPU time to get the best result obtained on this benchmark2.02269
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 64481201
Number of bits for the biggest coefficient in the objective function 26
Sum of the numbers in the objective function 2758714973
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 64481201
Number of bits of the biggest number in a constraint 26
Biggest sum of numbers in a constraint 2758714973
Number of bits of the biggest sum of numbers32
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.00/0.03	c old isEQ: 0, new EQ is 1
0.00/0.03	c old isEQ: 32, new EQ is 1
0.00/0.04	c old isEQ: 1, new EQ is 1
0.00/0.05	c run inc solver
0.00/0.05	c [INC SYSTEM] run initial solver
0.00/0.05	c [INC SYSTEM] preprocess with white file
0.00/0.20	c [INC SYSTEM] finished preprocessing in 0 s
0.00/0.20	c [INC SYSTEM] execute solver
0.00/0.39	c [INC SEARCH] formula is SAT
0.00/0.39	c [INC SYSTEM] solved the initial formula
0.00/0.40	c model valid
0.00/0.40	c current solution ok
0.00/0.46	o 174285098
0.00/0.46	c [INC SYSTEM] there exists a inc, kill it!
0.00/0.46	c write failed with 2
0.00/0.46	c [INC SEARCH] iteration: 0
0.00/0.46	c [INC BOUNDS] best value:174285113 search for 174285112
0.00/0.46	c [INC SYSTEM] create new solver instance
0.00/0.46	c [INC] encode full formula
0.00/0.46	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.95	c formula is SAT
0.00/0.96	c [INC SEARCH] copied best model
0.00/0.96	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
0.00/0.97	c model valid
0.00/0.97	c current solution ok
0.00/0.97	o 75942544
0.00/0.97	c [INC SEARCH] iteration: 1
0.00/0.97	c [INC BOUNDS] best value:75942559 search for 75942558
0.00/0.97	c [INC SYSTEM] there exists a inc, kill it!
0.00/0.97	c write failed with 2
0.00/0.97	c [INC SYSTEM] create new solver instance
0.00/0.97	c [INC] encode full formula
0.00/0.97	c fallback to adder encoding
0.98/1.06	c set iterative enc to: adder
0.98/1.06	c set iterative enc to: none
0.98/1.07	c [INC SEARCH] isOptimum variable: 0
7.67/7.75	c formula is SAT
7.67/7.75	c [INC SEARCH] copied best model
7.67/7.75	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
7.67/7.76	c model valid
7.67/7.76	c current solution ok
7.67/7.76	o 54387662
7.67/7.76	c [INC SEARCH] iteration: 2
7.67/7.76	c [INC BOUNDS] best value:54387677 search for 54387676
7.67/7.76	c [INC SYSTEM] there exists a inc, kill it!
7.67/7.76	c write failed with 2
7.67/7.76	c [INC SYSTEM] create new solver instance
7.67/7.76	c [INC] encode full formula
7.67/7.76	c fallback to adder encoding
7.79/7.85	c set iterative enc to: adder
7.79/7.85	c set iterative enc to: none
7.79/7.86	c [INC SEARCH] isOptimum variable: 0
7.85/8.55	c formula is SAT
7.85/8.55	c [INC SEARCH] copied best model
7.85/8.55	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
7.85/8.57	c model valid
7.85/8.57	c current solution ok
7.85/8.57	o 53296652
7.85/8.57	c [INC SEARCH] iteration: 3
7.85/8.57	c [INC BOUNDS] best value:53296667 search for 53296666
7.85/8.57	c [INC SYSTEM] there exists a inc, kill it!
7.85/8.57	c write failed with 2
7.85/8.57	c [INC SYSTEM] create new solver instance
7.85/8.57	c [INC] encode full formula
7.85/8.57	c fallback to adder encoding
8.58/8.65	c set iterative enc to: adder
8.58/8.65	c set iterative enc to: none
8.58/8.66	c [INC SEARCH] isOptimum variable: 0
9.26/9.38	c formula is SAT
9.26/9.38	c [INC SEARCH] copied best model
9.26/9.38	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
9.36/9.40	c model valid
9.36/9.40	c current solution ok
9.36/9.40	o 51575238
9.36/9.40	c [INC SEARCH] iteration: 4
9.36/9.40	c [INC BOUNDS] best value:51575253 search for 51575252
9.36/9.40	c [INC SYSTEM] there exists a inc, kill it!
9.36/9.40	c write failed with 2
9.36/9.40	c [INC SYSTEM] create new solver instance
9.36/9.40	c [INC] encode full formula
9.36/9.40	c fallback to adder encoding
9.36/9.48	c set iterative enc to: adder
9.36/9.48	c set iterative enc to: none
9.36/9.49	c [INC SEARCH] isOptimum variable: 0
12.07/12.11	c formula is SAT
12.07/12.11	c [INC SEARCH] copied best model
12.07/12.11	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
12.07/12.12	c model valid
12.07/12.12	c current solution ok
12.07/12.12	o 36209674
12.07/12.12	c [INC SEARCH] iteration: 5
12.07/12.12	c [INC BOUNDS] best value:36209689 search for 36209688
12.07/12.12	c [INC SYSTEM] there exists a inc, kill it!
12.07/12.12	c write failed with 2
12.07/12.12	c [INC SYSTEM] create new solver instance
12.07/12.12	c [INC] encode full formula
12.07/12.12	c fallback to adder encoding
12.19/12.20	c set iterative enc to: adder
12.19/12.20	c set iterative enc to: none
12.19/12.22	c [INC SEARCH] isOptimum variable: 0
13.88/13.95	c formula is SAT
13.88/13.95	c [INC SEARCH] copied best model
13.88/13.95	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
13.88/13.96	c model valid
13.88/13.96	c current solution ok
13.88/13.96	o 33882168
13.88/13.96	c [INC SEARCH] iteration: 6
13.88/13.96	c [INC BOUNDS] best value:33882183 search for 33882182
13.88/13.96	c [INC SYSTEM] there exists a inc, kill it!
13.88/13.96	c write failed with 2
13.88/13.96	c [INC SYSTEM] create new solver instance
13.88/13.96	c [INC] encode full formula
13.88/13.96	c fallback to adder encoding
13.98/14.04	c set iterative enc to: adder
13.98/14.04	c set iterative enc to: none
13.98/14.06	c [INC SEARCH] isOptimum variable: 0
14.56/14.66	c formula is SAT
14.56/14.66	c [INC SEARCH] copied best model
14.56/14.66	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
14.56/14.67	c model valid
14.56/14.67	c current solution ok
14.56/14.67	o 15432166
14.56/14.67	c [INC SEARCH] iteration: 7
14.56/14.67	c [INC BOUNDS] best value:15432181 search for 15432180
14.56/14.67	c [INC SYSTEM] there exists a inc, kill it!
14.56/14.67	c write failed with 2
14.56/14.67	c [INC SYSTEM] create new solver instance
14.56/14.67	c [INC] encode full formula
14.56/14.67	c fallback to adder encoding
14.68/14.74	c set iterative enc to: adder
14.68/14.74	c set iterative enc to: none
14.68/14.75	c [INC SEARCH] isOptimum variable: 0
15.47/15.59	c formula is SAT
15.47/15.59	c [INC SEARCH] copied best model
15.47/15.59	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
15.57/15.60	c model valid
15.57/15.60	c current solution ok
15.57/15.60	o 12484950
15.57/15.60	c [INC SEARCH] iteration: 8
15.57/15.60	c [INC BOUNDS] best value:12484965 search for 12484964
15.57/15.60	c [INC SYSTEM] there exists a inc, kill it!
15.57/15.60	c write failed with 2
15.57/15.60	c [INC SYSTEM] create new solver instance
15.57/15.60	c [INC] encode full formula
15.57/15.60	c fallback to adder encoding
15.57/15.67	c set iterative enc to: adder
15.57/15.67	c set iterative enc to: none
15.57/15.68	c [INC SEARCH] isOptimum variable: 0
16.48/16.54	c formula is SAT
16.48/16.55	c [INC SEARCH] copied best model
16.48/16.55	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
16.48/16.56	c model valid
16.48/16.56	c current solution ok
16.48/16.56	o 11497454
16.48/16.56	c [INC SEARCH] iteration: 9
16.48/16.56	c [INC BOUNDS] best value:11497469 search for 11497468
16.48/16.56	c [INC SYSTEM] there exists a inc, kill it!
16.48/16.56	c write failed with 2
16.48/16.56	c [INC SYSTEM] create new solver instance
16.48/16.56	c [INC] encode full formula
16.48/16.56	c fallback to adder encoding
16.58/16.63	c set iterative enc to: adder
16.58/16.63	c set iterative enc to: none
16.58/16.64	c [INC SEARCH] isOptimum variable: 0
17.79/17.83	c formula is SAT
17.79/17.83	c [INC SEARCH] copied best model
17.89/17.91	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
17.89/17.91	c model valid
17.89/17.91	c current solution ok
17.89/17.91	o 9803440
17.89/17.91	c [INC SEARCH] iteration: 10
17.89/17.91	c [INC BOUNDS] best value:9803455 search for 9803454
17.89/17.91	c [INC SYSTEM] there exists a inc, kill it!
17.89/17.91	c write failed with 2
17.89/17.91	c [INC SYSTEM] create new solver instance
17.89/17.91	c [INC] encode full formula
17.89/17.91	c fallback to adder encoding
17.89/17.91	c set iterative enc to: adder
17.89/17.91	c set iterative enc to: none
17.89/17.92	c [INC SEARCH] isOptimum variable: 0
19.47/19.58	c formula is SAT
19.47/19.58	c [INC SEARCH] copied best model
19.47/19.58	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
19.47/19.60	c model valid
19.47/19.60	c current solution ok
19.47/19.60	o 9341764
19.47/19.60	c [INC SEARCH] iteration: 11
19.47/19.60	c [INC BOUNDS] best value:9341779 search for 9341778
19.47/19.60	c [INC SYSTEM] there exists a inc, kill it!
19.47/19.60	c write failed with 2
19.57/19.60	c [INC SYSTEM] create new solver instance
19.57/19.60	c [INC] encode full formula
19.57/19.60	c fallback to adder encoding
19.57/19.66	c set iterative enc to: adder
19.57/19.66	c set iterative enc to: none
19.57/19.68	c [INC SEARCH] isOptimum variable: 0
20.07/20.13	c formula is SAT
20.07/20.13	c [INC SEARCH] copied best model
20.07/20.13	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
20.07/20.14	c model valid
20.07/20.14	c current solution ok
20.07/20.14	o 8945676
20.07/20.14	c [INC SEARCH] iteration: 12
20.07/20.14	c [INC BOUNDS] best value:8945691 search for 8945690
20.07/20.14	c [INC SYSTEM] there exists a inc, kill it!
20.07/20.14	c write failed with 2
20.07/20.14	c [INC SYSTEM] create new solver instance
20.07/20.14	c [INC] encode full formula
20.07/20.14	c fallback to adder encoding
20.19/20.21	c set iterative enc to: adder
20.19/20.21	c set iterative enc to: none
20.19/20.22	c [INC SEARCH] isOptimum variable: 0
21.47/21.51	c formula is SAT
21.47/21.51	c [INC SEARCH] copied best model
21.47/21.51	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
21.47/21.52	c model valid
21.47/21.52	c current solution ok
21.47/21.52	o 7726304
21.47/21.52	c [INC SEARCH] iteration: 13
21.47/21.52	c [INC BOUNDS] best value:7726319 search for 7726318
21.47/21.52	c [INC SYSTEM] there exists a inc, kill it!
21.47/21.52	c write failed with 2
21.47/21.52	c [INC SYSTEM] create new solver instance
21.47/21.52	c [INC] encode full formula
21.47/21.52	c fallback to adder encoding
21.47/21.59	c set iterative enc to: adder
21.47/21.59	c set iterative enc to: none
21.58/21.60	c [INC SEARCH] isOptimum variable: 0
23.58/23.65	c formula is SAT
23.58/23.65	c [INC SEARCH] copied best model
23.58/23.65	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
23.58/23.66	c model valid
23.58/23.66	c current solution ok
23.58/23.66	o 7626178
23.58/23.66	c [INC SEARCH] iteration: 14
23.58/23.66	c [INC BOUNDS] best value:7626193 search for 7626192
23.58/23.66	c [INC SYSTEM] there exists a inc, kill it!
23.58/23.66	c write failed with 2
23.58/23.67	c [INC SYSTEM] create new solver instance
23.58/23.67	c [INC] encode full formula
23.58/23.67	c fallback to adder encoding
23.69/23.73	c set iterative enc to: adder
23.69/23.73	c set iterative enc to: none
23.69/23.74	c [INC SEARCH] isOptimum variable: 0
25.98/26.04	c formula is SAT
25.98/26.05	c [INC SEARCH] copied best model
25.98/26.05	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
25.98/26.06	c model valid
25.98/26.06	c current solution ok
25.98/26.06	o 7173106
25.98/26.06	c [INC SEARCH] iteration: 15
25.98/26.06	c [INC BOUNDS] best value:7173121 search for 7173120
25.98/26.06	c [INC SYSTEM] there exists a inc, kill it!
25.98/26.06	c write failed with 2
25.98/26.06	c [INC SYSTEM] create new solver instance
25.98/26.06	c [INC] encode full formula
25.98/26.06	c fallback to adder encoding
26.09/26.12	c set iterative enc to: adder
26.09/26.12	c set iterative enc to: none
26.09/26.13	c [INC SEARCH] isOptimum variable: 0
26.88/26.91	c formula is SAT
26.88/26.91	c [INC SEARCH] copied best model
26.88/26.91	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
26.88/26.92	c model valid
26.88/26.92	c current solution ok
26.88/26.92	o 6427768
26.88/26.92	c [INC SEARCH] iteration: 16
26.88/26.92	c [INC BOUNDS] best value:6427783 search for 6427782
26.88/26.92	c [INC SYSTEM] there exists a inc, kill it!
26.88/26.92	c write failed with 2
26.88/26.92	c [INC SYSTEM] create new solver instance
26.88/26.92	c [INC] encode full formula
26.88/26.92	c fallback to adder encoding
26.88/26.98	c set iterative enc to: adder
26.88/26.98	c set iterative enc to: none
26.88/26.99	c [INC SEARCH] isOptimum variable: 0
28.67/28.75	c formula is SAT
28.67/28.75	c [INC SEARCH] copied best model
28.78/28.81	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
28.78/28.81	c model valid
28.78/28.81	c current solution ok
28.78/28.81	o 6042118
28.78/28.81	c [INC SEARCH] iteration: 17
28.78/28.81	c [INC BOUNDS] best value:6042133 search for 6042132
28.78/28.81	c [INC SYSTEM] there exists a inc, kill it!
28.78/28.81	c write failed with 2
28.78/28.81	c [INC SYSTEM] create new solver instance
28.78/28.81	c [INC] encode full formula
28.78/28.81	c fallback to adder encoding
28.78/28.82	c set iterative enc to: adder
28.78/28.82	c set iterative enc to: none
28.78/28.83	c [INC SEARCH] isOptimum variable: 0
28.82/29.51	c formula is SAT
28.82/29.52	c [INC SEARCH] copied best model
28.82/29.52	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
28.82/29.53	c model valid
28.82/29.53	c current solution ok
28.82/29.53	o 5956330
28.82/29.53	c [INC SEARCH] iteration: 18
28.82/29.53	c [INC BOUNDS] best value:5956345 search for 5956344
28.82/29.53	c [INC SYSTEM] there exists a inc, kill it!
28.82/29.53	c write failed with 2
28.82/29.53	c [INC SYSTEM] create new solver instance
28.82/29.53	c [INC] encode full formula
28.82/29.53	c fallback to adder encoding
28.82/29.59	c set iterative enc to: adder
28.82/29.59	c set iterative enc to: none
28.82/29.60	c [INC SEARCH] isOptimum variable: 0
30.68/30.72	c formula is SAT
30.68/30.73	c [INC SEARCH] copied best model
30.68/30.73	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
30.68/30.74	c model valid
30.68/30.74	c current solution ok
30.68/30.74	o 5819652
30.68/30.74	c [INC SEARCH] iteration: 19
30.68/30.74	c [INC BOUNDS] best value:5819667 search for 5819666
30.68/30.74	c [INC SYSTEM] there exists a inc, kill it!
30.68/30.74	c write failed with 2
30.68/30.74	c [INC SYSTEM] create new solver instance
30.68/30.74	c [INC] encode full formula
30.68/30.74	c fallback to adder encoding
30.68/30.80	c set iterative enc to: adder
30.68/30.80	c set iterative enc to: none
30.79/30.81	c [INC SEARCH] isOptimum variable: 0
41.57/41.66	c formula is SAT
41.57/41.66	c [INC SEARCH] copied best model
41.57/41.66	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
41.57/41.67	c model valid
41.57/41.67	c current solution ok
41.57/41.67	o 5596824
41.57/41.67	c [INC SEARCH] iteration: 20
41.57/41.67	c [INC BOUNDS] best value:5596839 search for 5596838
41.57/41.67	c [INC SYSTEM] there exists a inc, kill it!
41.57/41.67	c write failed with 2
41.57/41.67	c [INC SYSTEM] create new solver instance
41.57/41.67	c [INC] encode full formula
41.57/41.67	c fallback to adder encoding
41.69/41.73	c set iterative enc to: adder
41.69/41.73	c set iterative enc to: none
41.69/41.75	c [INC SEARCH] isOptimum variable: 0
44.26/44.32	c formula is SAT
44.26/44.32	c [INC SEARCH] copied best model
44.26/44.32	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
44.26/44.33	c model valid
44.26/44.33	c current solution ok
44.26/44.33	o 5549788
44.26/44.33	c [INC SEARCH] iteration: 21
44.26/44.33	c [INC BOUNDS] best value:5549803 search for 5549802
44.26/44.33	c [INC SYSTEM] there exists a inc, kill it!
44.26/44.33	c write failed with 2
44.26/44.33	c [INC SYSTEM] create new solver instance
44.26/44.33	c [INC] encode full formula
44.26/44.33	c fallback to adder encoding
44.26/44.39	c set iterative enc to: adder
44.26/44.39	c set iterative enc to: none
44.38/44.40	c [INC SEARCH] isOptimum variable: 0
47.26/47.37	c formula is SAT
47.26/47.37	c [INC SEARCH] copied best model
47.26/47.37	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
47.26/47.38	c model valid
47.26/47.38	c current solution ok
47.26/47.38	o 4885286
47.26/47.38	c [INC SEARCH] iteration: 22
47.26/47.38	c [INC BOUNDS] best value:4885301 search for 4885300
47.26/47.38	c [INC SYSTEM] there exists a inc, kill it!
47.26/47.38	c write failed with 2
47.26/47.38	c [INC SYSTEM] create new solver instance
47.26/47.38	c [INC] encode full formula
47.26/47.38	c fallback to adder encoding
47.37/47.44	c set iterative enc to: adder
47.37/47.44	c set iterative enc to: none
47.37/47.45	c [INC SEARCH] isOptimum variable: 0
47.43/47.91	c formula is SAT
47.43/47.91	c [INC SEARCH] copied best model
47.43/47.91	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
47.43/47.92	c model valid
47.43/47.92	c current solution ok
47.43/47.92	o 4835128
47.43/47.92	c [INC SEARCH] iteration: 23
47.43/47.92	c [INC BOUNDS] best value:4835143 search for 4835142
47.43/47.92	c [INC SYSTEM] there exists a inc, kill it!
47.43/47.92	c write failed with 2
47.43/47.92	c [INC SYSTEM] create new solver instance
47.43/47.92	c [INC] encode full formula
47.43/47.92	c fallback to adder encoding
47.43/47.98	c set iterative enc to: adder
47.43/47.98	c set iterative enc to: none
47.43/47.99	c [INC SEARCH] isOptimum variable: 0
50.55/50.69	c formula is SAT
50.55/50.69	c [INC SEARCH] copied best model
50.55/50.69	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
50.65/50.70	c model valid
50.65/50.70	c current solution ok
50.65/50.70	o 4762834
50.65/50.70	c [INC SEARCH] iteration: 24
50.65/50.70	c [INC BOUNDS] best value:4762849 search for 4762848
50.65/50.70	c [INC SYSTEM] there exists a inc, kill it!
50.65/50.70	c write failed with 2
50.65/50.70	c [INC SYSTEM] create new solver instance
50.65/50.70	c [INC] encode full formula
50.65/50.70	c fallback to adder encoding
50.65/50.76	c set iterative enc to: adder
50.65/50.76	c set iterative enc to: none
50.65/50.77	c [INC SEARCH] isOptimum variable: 0
51.76/51.84	c formula is SAT
51.76/51.84	c [INC SEARCH] copied best model
51.76/51.84	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
51.76/51.86	c model valid
51.76/51.86	c current solution ok
51.76/51.86	o 4132724
51.76/51.86	c [INC SEARCH] iteration: 25
51.76/51.86	c [INC BOUNDS] best value:4132739 search for 4132738
51.76/51.86	c [INC SYSTEM] there exists a inc, kill it!
51.76/51.86	c write failed with 2
51.76/51.86	c [INC SYSTEM] create new solver instance
51.76/51.86	c [INC] encode full formula
51.76/51.86	c fallback to adder encoding
51.86/51.91	c set iterative enc to: adder
51.86/51.91	c set iterative enc to: none
51.86/51.92	c [INC SEARCH] isOptimum variable: 0
53.96/54.04	c formula is SAT
53.96/54.04	c [INC SEARCH] copied best model
53.96/54.04	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
53.96/54.06	c model valid
53.96/54.06	c current solution ok
53.96/54.06	o 4065158
53.96/54.06	c [INC SEARCH] iteration: 26
53.96/54.06	c [INC BOUNDS] best value:4065173 search for 4065172
53.96/54.06	c [INC SYSTEM] there exists a inc, kill it!
53.96/54.06	c write failed with 2
53.96/54.06	c [INC SYSTEM] create new solver instance
53.96/54.06	c [INC] encode full formula
53.96/54.06	c fallback to adder encoding
54.06/54.11	c set iterative enc to: adder
54.06/54.11	c set iterative enc to: none
54.06/54.12	c [INC SEARCH] isOptimum variable: 0
100.04/100.17	c formula is SAT
100.04/100.17	c [INC SEARCH] copied best model
100.04/100.17	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
100.04/100.18	c model valid
100.04/100.18	c current solution ok
100.04/100.19	o 4054480
100.04/100.19	c [INC SEARCH] iteration: 27
100.04/100.19	c [INC BOUNDS] best value:4054495 search for 4054494
100.04/100.19	c [INC SYSTEM] there exists a inc, kill it!
100.04/100.19	c write failed with 2
100.04/100.19	c [INC SYSTEM] create new solver instance
100.04/100.19	c [INC] encode full formula
100.04/100.19	c fallback to adder encoding
100.16/100.24	c set iterative enc to: adder
100.16/100.24	c set iterative enc to: none
100.16/100.25	c [INC SEARCH] isOptimum variable: 0
116.13/116.24	c formula is SAT
116.13/116.25	c [INC SEARCH] copied best model
116.13/116.25	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
116.13/116.26	c model valid
116.13/116.26	c current solution ok
116.13/116.26	o 4030300
116.13/116.26	c [INC SEARCH] iteration: 28
116.13/116.26	c [INC BOUNDS] best value:4030315 search for 4030314
116.13/116.26	c [INC SYSTEM] there exists a inc, kill it!
116.13/116.26	c write failed with 2
116.13/116.26	c [INC SYSTEM] create new solver instance
116.13/116.26	c [INC] encode full formula
116.13/116.26	c fallback to adder encoding
116.24/116.31	c set iterative enc to: adder
116.24/116.31	c set iterative enc to: none
116.24/116.32	c [INC SEARCH] isOptimum variable: 0
122.23/122.39	c formula is SAT
122.23/122.39	c [INC SEARCH] copied best model
122.23/122.39	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
122.33/122.40	c model valid
122.33/122.40	c current solution ok
122.33/122.40	o 3591142
122.33/122.40	c [INC SEARCH] iteration: 29
122.33/122.40	c [INC BOUNDS] best value:3591157 search for 3591156
122.33/122.40	c [INC SYSTEM] there exists a inc, kill it!
122.33/122.40	c write failed with 2
122.33/122.40	c [INC SYSTEM] create new solver instance
122.33/122.40	c [INC] encode full formula
122.33/122.40	c fallback to adder encoding
122.33/122.46	c set iterative enc to: adder
122.33/122.46	c set iterative enc to: none
122.33/122.47	c [INC SEARCH] isOptimum variable: 0
128.32/128.44	c formula is SAT
128.32/128.44	c [INC SEARCH] copied best model
128.32/128.44	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
128.32/128.45	c model valid
128.32/128.45	c current solution ok
128.32/128.45	o 3371216
128.32/128.45	c [INC SEARCH] iteration: 30
128.32/128.45	c [INC BOUNDS] best value:3371231 search for 3371230
128.32/128.45	c [INC SYSTEM] there exists a inc, kill it!
128.32/128.45	c write failed with 2
128.32/128.45	c [INC SYSTEM] create new solver instance
128.32/128.45	c [INC] encode full formula
128.32/128.45	c fallback to adder encoding
128.43/128.51	c set iterative enc to: adder
128.43/128.51	c set iterative enc to: none
128.43/128.52	c [INC SEARCH] isOptimum variable: 0
172.31/172.47	c formula is SAT
172.31/172.48	c [INC SEARCH] copied best model
172.31/172.48	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
172.31/172.49	c model valid
172.31/172.49	c current solution ok
172.31/172.49	o 3334264
172.31/172.49	c [INC SEARCH] iteration: 31
172.31/172.49	c [INC BOUNDS] best value:3334279 search for 3334278
172.31/172.49	c [INC SYSTEM] there exists a inc, kill it!
172.31/172.49	c write failed with 2
172.31/172.49	c [INC SYSTEM] create new solver instance
172.31/172.49	c [INC] encode full formula
172.31/172.49	c fallback to adder encoding
172.42/172.54	c set iterative enc to: adder
172.42/172.54	c set iterative enc to: none
172.42/172.56	c [INC SEARCH] isOptimum variable: 0
192.31/192.49	c formula is SAT
192.31/192.49	c [INC SEARCH] copied best model
192.31/192.49	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
192.31/192.50	c model valid
192.31/192.50	c current solution ok
192.31/192.50	o 3232668
192.31/192.50	c [INC SEARCH] iteration: 32
192.31/192.50	c [INC BOUNDS] best value:3232683 search for 3232682
192.31/192.50	c [INC SYSTEM] there exists a inc, kill it!
192.31/192.50	c write failed with 2
192.31/192.50	c [INC SYSTEM] create new solver instance
192.31/192.50	c [INC] encode full formula
192.31/192.50	c fallback to adder encoding
192.42/192.55	c set iterative enc to: adder
192.42/192.55	c set iterative enc to: none
192.42/192.56	c [INC SEARCH] isOptimum variable: 0
228.99/229.11	c formula is SAT
228.99/229.11	c [INC SEARCH] copied best model
228.99/229.11	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
228.99/229.13	c model valid
228.99/229.13	c current solution ok
228.99/229.13	o 3214424
228.99/229.13	c [INC SEARCH] iteration: 33
228.99/229.13	c [INC BOUNDS] best value:3214439 search for 3214438
228.99/229.13	c [INC SYSTEM] there exists a inc, kill it!
228.99/229.13	c write failed with 2
228.99/229.13	c [INC SYSTEM] create new solver instance
228.99/229.13	c [INC] encode full formula
228.99/229.13	c fallback to adder encoding
228.99/229.18	c set iterative enc to: adder
228.99/229.18	c set iterative enc to: none
228.99/229.19	c [INC SEARCH] isOptimum variable: 0
239.00/239.11	c formula is SAT
239.00/239.11	c [INC SEARCH] copied best model
239.00/239.11	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
239.00/239.12	c model valid
239.00/239.12	c current solution ok
239.00/239.12	o 3038362
239.00/239.12	c [INC SEARCH] iteration: 34
239.00/239.12	c [INC BOUNDS] best value:3038377 search for 3038376
239.00/239.12	c [INC SYSTEM] there exists a inc, kill it!
239.00/239.12	c write failed with 2
239.00/239.12	c [INC SYSTEM] create new solver instance
239.00/239.12	c [INC] encode full formula
239.00/239.12	c fallback to adder encoding
239.00/239.18	c set iterative enc to: adder
239.00/239.18	c set iterative enc to: none
239.00/239.19	c [INC SEARCH] isOptimum variable: 0
415.87/416.09	c formula is SAT
415.87/416.09	c [INC SEARCH] copied best model
415.87/416.09	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
415.97/416.10	c model valid
415.97/416.10	c current solution ok
415.97/416.10	o 2914410
415.97/416.10	c [INC SEARCH] iteration: 35
415.97/416.10	c [INC BOUNDS] best value:2914425 search for 2914424
415.97/416.10	c [INC SYSTEM] there exists a inc, kill it!
415.97/416.10	c write failed with 2
415.97/416.10	c [INC SYSTEM] create new solver instance
415.97/416.10	c [INC] encode full formula
415.97/416.10	c fallback to adder encoding
415.97/416.16	c set iterative enc to: adder
415.97/416.16	c set iterative enc to: none
415.97/416.17	c [INC SEARCH] isOptimum variable: 0
452.76/452.98	c formula is SAT
452.76/452.99	c [INC SEARCH] copied best model
452.76/452.99	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
452.86/453.00	c model valid
452.86/453.00	c current solution ok
452.86/453.00	o 2859090
452.86/453.00	c [INC SEARCH] iteration: 36
452.86/453.00	c [INC BOUNDS] best value:2859105 search for 2859104
452.86/453.00	c [INC SYSTEM] there exists a inc, kill it!
452.86/453.00	c write failed with 2
452.86/453.00	c [INC SYSTEM] create new solver instance
452.86/453.00	c [INC] encode full formula
452.86/453.00	c fallback to adder encoding
452.86/453.05	c set iterative enc to: adder
452.86/453.05	c set iterative enc to: none
452.86/453.06	c [INC SEARCH] isOptimum variable: 0
500.64/500.84	c formula is SAT
500.64/500.85	c [INC SEARCH] copied best model
500.64/500.85	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
500.64/500.86	c model valid
500.64/500.86	c current solution ok
500.64/500.86	o 2787536
500.64/500.86	c [INC SEARCH] iteration: 37
500.64/500.86	c [INC BOUNDS] best value:2787551 search for 2787550
500.64/500.86	c [INC SYSTEM] there exists a inc, kill it!
500.64/500.86	c write failed with 2
500.64/500.86	c [INC SYSTEM] create new solver instance
500.64/500.86	c [INC] encode full formula
500.64/500.86	c fallback to adder encoding
500.76/500.92	c set iterative enc to: adder
500.76/500.92	c set iterative enc to: none
500.76/500.93	c [INC SEARCH] isOptimum variable: 0
611.51/611.70	c formula is SAT
611.51/611.70	c [INC SEARCH] copied best model
611.51/611.70	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
611.51/611.71	c model valid
611.51/611.71	c current solution ok
611.51/611.71	o 2666830
611.51/611.71	c [INC SEARCH] iteration: 38
611.51/611.71	c [INC BOUNDS] best value:2666845 search for 2666844
611.51/611.71	c [INC SYSTEM] there exists a inc, kill it!
611.51/611.71	c write failed with 2
611.51/611.71	c [INC SYSTEM] create new solver instance
611.51/611.71	c [INC] encode full formula
611.51/611.71	c fallback to adder encoding
611.51/611.76	c set iterative enc to: adder
611.51/611.76	c set iterative enc to: none
611.51/611.78	c [INC SEARCH] isOptimum variable: 0
724.60/724.85	c formula is SAT
724.60/724.85	c [INC SEARCH] copied best model
724.60/724.85	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
724.60/724.86	c model valid
724.60/724.86	c current solution ok
724.60/724.86	o 2624620
724.60/724.86	c [INC SEARCH] iteration: 39
724.60/724.86	c [INC BOUNDS] best value:2624635 search for 2624634
724.60/724.86	c [INC SYSTEM] there exists a inc, kill it!
724.60/724.86	c write failed with 2
724.60/724.86	c [INC SYSTEM] create new solver instance
724.60/724.86	c [INC] encode full formula
724.60/724.86	c fallback to adder encoding
724.71/724.92	c set iterative enc to: adder
724.71/724.92	c set iterative enc to: none
724.71/724.93	c [INC SEARCH] isOptimum variable: 0
825.27/825.55	c [INC SEARCH] formula is UNSAT
825.27/825.55	c [INC SYSTEM] there exists a inc, kill it!
825.27/825.55	c write failed with 2
825.27/825.55	c [INC SEARCH] sat variable: 0 optimum/unsat variable: 1
825.27/825.55	c [INC SEARCH] found optimum
825.27/825.55	c display solution
825.27/825.55	s OPTIMUM FOUND
825.27/825.55	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	2624620

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

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

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


[startup+0 s]
/proc/loadavg: 2.02 2.02 2.00 2/178 13955
/proc/meminfo: memFree=28512404/32873648 swapFree=6860/6860
[pid=13955] ppid=13953 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13955/stat : 13955 (npSolver-pbo-It) S 13953 13955 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377166577 9367552 274 33554432000 4194304 5064252 140736967298896 140736967297808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13955/statm: 2287 274 233 213 0 72 0

[startup+0.081258 s]
/proc/loadavg: 2.02 2.02 2.00 2/178 13955
/proc/meminfo: memFree=28512404/32873648 swapFree=6860/6860
[pid=13955] ppid=13953 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13955/stat : 13955 (npSolver-pbo-It) S 13953 13955 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377166577 9367552 274 33554432000 4194304 5064252 140736967298896 140736967297808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13955/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100221 s]
/proc/loadavg: 2.02 2.02 2.00 2/178 13955
/proc/meminfo: memFree=28512404/32873648 swapFree=6860/6860
[pid=13955] ppid=13953 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13955/stat : 13955 (npSolver-pbo-It) S 13953 13955 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377166577 9367552 274 33554432000 4194304 5064252 140736967298896 140736967297808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13955/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300198 s]
/proc/loadavg: 2.02 2.02 2.00 2/178 13955
/proc/meminfo: memFree=28512404/32873648 swapFree=6860/6860
[pid=13955] ppid=13953 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13955/stat : 13955 (npSolver-pbo-It) S 13953 13955 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377166577 9367552 274 33554432000 4194304 5064252 140736967298896 140736967297808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13955/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700231 s]
/proc/loadavg: 2.02 2.02 2.00 2/178 13955
/proc/meminfo: memFree=28512404/32873648 swapFree=6860/6860
[pid=13955] ppid=13953 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13955/stat : 13955 (npSolver-pbo-It) S 13953 13955 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377166577 9367552 274 33554432000 4194304 5064252 140736967298896 140736967297808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13955/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50024 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 13964
/proc/meminfo: memFree=28486068/32873648 swapFree=6860/6860
[pid=13955] ppid=13953 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13955/stat : 13955 (npSolver-pbo-It) S 13953 13955 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377166577 9367552 274 33554432000 4194304 5064252 140736967298896 140736967297808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13955/statm: 2287 274 233 213 0 72 0
[pid=13956] ppid=13955 vsize=22784 CPUtime=1.05 cores=0,2,4,6
/proc/13956/stat : 13956 (npSolver-pbo) S 13955 13955 12337 0 -1 4202496 10224 13862 0 0 25 7 68 5 20 0 1 0 377166577 23330816 4663 33554432000 4194304 6004724 140734156376864 140734156362712 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13956/statm: 5696 4663 183 442 0 5250 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 31932

[startup+3.10028 s]
/proc/loadavg: 2.02 2.02 2.00 3/180 13966
/proc/meminfo: memFree=28465536/32873648 swapFree=6860/6860
[pid=13955] ppid=13953 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13955/stat : 13955 (npSolver-pbo-It) S 13953 13955 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377166577 9367552 274 33554432000 4194304 5064252 140736967298896 140736967297808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13955/statm: 2287 274 233 213 0 72 0
[pid=13956] ppid=13955 vsize=22784 CPUtime=1.05 cores=0,2,4,6
/proc/13956/stat : 13956 (npSolver-pbo) S 13955 13955 12337 0 -1 4202496 10224 13862 0 0 25 7 68 5 20 0 1 0 377166577 23330816 4663 33554432000 4194304 6004724 140734156376864 140734156362712 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13956/statm: 5696 4663 183 442 0 5250 0
[pid=13966] ppid=13956 vsize=26504 CPUtime=2.01 cores=0,2,4,6
/proc/13966/stat : 13966 (glucosInc) R 13956 13955 12337 0 -1 4202496 5943 0 0 0 201 0 0 0 20 0 1 0 377166684 27140096 5785 33554432000 4194304 5654031 140735880985024 140735880982632 4208659 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13966/statm: 6626 5785 132 357 0 6266 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 58436

[startup+6.30031 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 13967
/proc/meminfo: memFree=28459396/32873648 swapFree=6860/6860
[pid=13955] ppid=13953 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13955/stat : 13955 (npSolver-pbo-It) S 13953 13955 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377166577 9367552 274 33554432000 4194304 5064252 140736967298896 140736967297808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13955/statm: 2287 274 233 213 0 72 0
[pid=13956] ppid=13955 vsize=22784 CPUtime=1.05 cores=0,2,4,6
/proc/13956/stat : 13956 (npSolver-pbo) S 13955 13955 12337 0 -1 4202496 10224 13862 0 0 25 7 68 5 20 0 1 0 377166577 23330816 4663 33554432000 4194304 6004724 140734156376864 140734156362712 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13956/statm: 5696 4663 183 442 0 5250 0
[pid=13966] ppid=13956 vsize=26960 CPUtime=5.22 cores=0,2,4,6
/proc/13966/stat : 13966 (glucosInc) R 13956 13955 12337 0 -1 4202496 6986 0 0 0 521 1 0 0 20 0 1 0 377166684 27607040 5891 33554432000 4194304 5654031 140735880985024 140735880982808 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13966/statm: 6740 5891 132 357 0 6380 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 58892

[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 13973
/proc/meminfo: memFree=28459108/32873648 swapFree=6860/6860
[pid=13955] ppid=13953 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13955/stat : 13955 (npSolver-pbo-It) S 13953 13955 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377166577 9367552 274 33554432000 4194304 5064252 140736967298896 140736967297808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13955/statm: 2287 274 233 213 0 72 0
[pid=13956] ppid=13955 vsize=22784 CPUtime=12.21 cores=0,2,4,6
/proc/13956/stat : 13956 (npSolver-pbo) S 13955 13955 12337 0 -1 4202496 25031 40112 0 0 64 11 1135 11 20 0 1 0 377166577 23330816 4663 33554432000 4194304 6004724 140734156376864 140734156362712 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13956/statm: 5696 4663 183 442 0 5250 0
Current children cumulated CPU time (s) 12.21
Current children cumulated vsize (KiB) 31932

[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 13993
/proc/meminfo: memFree=28451524/32873648 swapFree=6860/6860
[pid=13955] ppid=13953 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13955/stat : 13955 (npSolver-pbo-It) S 13953 13955 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377166577 9367552 274 33554432000 4194304 5064252 140736967298896 140736967297808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13955/statm: 2287 274 233 213 0 72 0
[pid=13956] ppid=13955 vsize=22784 CPUtime=23.73 cores=0,2,4,6
/proc/13956/stat : 13956 (npSolver-pbo) S 13955 13955 12337 0 -1 4202496 56011 90898 0 0 139 18 2192 24 20 0 1 0 377166577 23330816 4663 33554432000 4194304 6004724 140734156376864 140734156362712 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13956/statm: 5696 4663 183 442 0 5250 0
[pid=13993] ppid=13956 vsize=22272 CPUtime=1.75 cores=0,2,4,6
/proc/13993/stat : 13993 (glucosInc) R 13956 13955 12337 0 -1 4202496 4492 0 0 0 174 1 0 0 20 0 1 0 377168951 22806528 4744 33554432000 4194304 5654031 140736090462512 140736090450328 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13993/statm: 5568 4744 141 357 0 5208 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 54204

[startup+51.1002 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 14011
/proc/meminfo: memFree=28434688/32873648 swapFree=6860/6860
[pid=13955] ppid=13953 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13955/stat : 13955 (npSolver-pbo-It) S 13953 13955 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377166577 9367552 274 33554432000 4194304 5064252 140736967298896 140736967297808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13955/statm: 2287 274 233 213 0 72 0
[pid=13956] ppid=13955 vsize=22784 CPUtime=50.75 cores=0,2,4,6
/proc/13956/stat : 13956 (npSolver-pbo) S 13955 13955 12337 0 -1 4202496 80316 142397 0 0 214 25 4797 39 20 0 1 0 377166577 23330816 4663 33554432000 4194304 6004724 140734156376864 140734156362712 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/13956/statm: 5696 4663 183 442 0 5250 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 31932

[startup+102.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 14019
/proc/meminfo: memFree=28444072/32873648 swapFree=6860/6860
[pid=13955] ppid=13953 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13955/stat : 13955 (npSolver-pbo-It) S 13953 13955 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377166577 9367552 274 33554432000 4194304 5064252 140736967298896 140736967297808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13955/statm: 2287 274 233 213 0 72 0
[pid=13956] ppid=13955 vsize=22784 CPUtime=100.2 cores=0,2,4,6
/proc/13956/stat : 13956 (npSolver-pbo) S 13955 13955 12337 0 -1 4202496 87263 159583 0 0 234 27 9716 43 20 0 1 0 377166577 23330816 4663 33554432000 4194304 6004724 140734156376864 140734156362712 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/13956/statm: 5696 4663 183 442 0 5250 0
[pid=14019] ppid=13956 vsize=20888 CPUtime=2.04 cores=0,2,4,6
/proc/14019/stat : 14019 (glucosInc) R 13956 13955 12337 0 -1 4202496 4444 0 0 0 203 1 0 0 20 0 1 0 377176603 21389312 4277 33554432000 4194304 5654031 140735042542544 140735042530360 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14019/statm: 5222 4277 139 357 0 4862 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 52820

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14025
/proc/meminfo: memFree=28448464/32873648 swapFree=6860/6860
[pid=13955] ppid=13953 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13955/stat : 13955 (npSolver-pbo-It) S 13953 13955 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377166577 9367552 274 33554432000 4194304 5064252 140736967298896 140736967297808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13955/statm: 2287 274 233 213 0 72 0
[pid=13956] ppid=13955 vsize=22784 CPUtime=128.45 cores=0,2,4,6
/proc/13956/stat : 13956 (npSolver-pbo) S 13955 13955 12337 0 -1 4202496 94205 177646 0 0 255 29 12511 50 20 0 1 0 377166577 23330816 4663 33554432000 4194304 6004724 140734156376864 140734156362712 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/13956/statm: 5696 4663 183 442 0 5250 0
[pid=14025] ppid=13956 vsize=37180 CPUtime=33.76 cores=0,2,4,6
/proc/14025/stat : 14025 (glucosInc) R 13956 13955 12337 0 -1 4202496 7707 0 0 0 3374 2 0 0 20 0 1 0 377179429 38072320 8495 33554432000 4194304 5654031 140733575083504 140733575081304 4215121 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14025/statm: 9295 8495 142 357 0 8935 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 69112

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 14032
/proc/meminfo: memFree=28422320/32873648 swapFree=6860/6860
[pid=13955] ppid=13953 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13955/stat : 13955 (npSolver-pbo-It) S 13953 13955 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377166577 9367552 274 33554432000 4194304 5064252 140736967298896 140736967297808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13955/statm: 2287 274 233 213 0 72 0
[pid=13956] ppid=13955 vsize=22784 CPUtime=192.48 cores=0,2,4,6
/proc/13956/stat : 13956 (npSolver-pbo) S 13955 13955 12337 0 -1 4202496 98828 193106 0 0 269 30 18894 55 20 0 1 0 377166577 23330816 4663 33554432000 4194304 6004724 140734156376864 140734156362712 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/13956/statm: 5696 4663 183 442 0 5250 0
[pid=14029] ppid=13956 vsize=35752 CPUtime=29.71 cores=0,2,4,6
/proc/14029/stat : 14029 (glucosInc) R 13956 13955 12337 0 -1 4202496 7437 0 0 0 2969 2 0 0 20 0 1 0 377185834 36610048 8456 33554432000 4194304 5654031 140735210014576 140735210002392 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14029/statm: 8938 8456 142 357 0 8578 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 67684

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14036
/proc/meminfo: memFree=28439128/32873648 swapFree=6860/6860
[pid=13955] ppid=13953 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13955/stat : 13955 (npSolver-pbo-It) S 13953 13955 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377166577 9367552 274 33554432000 4194304 5064252 140736967298896 140736967297808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13955/statm: 2287 274 233 213 0 72 0
[pid=13956] ppid=13955 vsize=22784 CPUtime=239.1 cores=0,2,4,6
/proc/13956/stat : 13956 (npSolver-pbo) S 13955 13955 12337 0 -1 4202496 103449 206738 0 0 283 32 23536 59 20 0 1 0 377166577 23330816 4663 33554432000 4194304 6004724 140734156376864 140734156362712 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13956/statm: 5696 4663 183 442 0 5250 0
[pid=14036] ppid=13956 vsize=38364 CPUtime=43.08 cores=0,2,4,6

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

/proc/14036/statm: 12718 11736 142 357 0 12358 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 82804

[startup+462.3 s]
/proc/loadavg: 2.23 2.06 2.02 3/182 14083
/proc/meminfo: memFree=23549092/32873648 swapFree=6860/6860
[pid=13955] ppid=13953 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13955/stat : 13955 (npSolver-pbo-It) S 13953 13955 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377166577 9367552 274 33554432000 4194304 5064252 140736967298896 140736967297808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13955/statm: 2287 274 233 213 0 72 0
[pid=13956] ppid=13955 vsize=22784 CPUtime=452.93 cores=0,2,4,6
/proc/13956/stat : 13956 (npSolver-pbo) S 13955 13955 12337 0 -1 4202496 108069 225405 0 0 296 33 44898 66 20 0 1 0 377166577 23330816 4663 33554432000 4194304 6004724 140734156376864 140734156362712 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13956/statm: 5696 4663 183 442 0 5250 0
[pid=14083] ppid=13956 vsize=26912 CPUtime=9.21 cores=0,2,4,6
/proc/14083/stat : 14083 (glucosInc) R 13956 13955 12337 0 -1 4202496 5561 0 0 0 920 1 0 0 20 0 1 0 377211884 27557888 6216 33554432000 4194304 5654031 140737270404848 140737270402728 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14083/statm: 6728 6216 142 357 0 6368 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 58844

[startup+522.3 s]
/proc/loadavg: 2.84 2.26 2.09 3/181 14087
/proc/meminfo: memFree=24874588/32873648 swapFree=6860/6860
[pid=13955] ppid=13953 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13955/stat : 13955 (npSolver-pbo-It) S 13953 13955 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377166577 9367552 274 33554432000 4194304 5064252 140736967298896 140736967297808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13955/statm: 2287 274 233 213 0 72 0
[pid=13956] ppid=13955 vsize=22784 CPUtime=500.78 cores=0,2,4,6
/proc/13956/stat : 13956 (npSolver-pbo) S 13955 13955 12337 0 -1 4202496 110379 233716 0 0 303 34 49672 69 20 0 1 0 377166577 23330816 4663 33554432000 4194304 6004724 140734156376864 140734156362712 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13956/statm: 5696 4663 183 442 0 5250 0
[pid=14085] ppid=13956 vsize=31368 CPUtime=21.35 cores=0,2,4,6
/proc/14085/stat : 14085 (glucosInc) R 13956 13955 12337 0 -1 4202496 6902 0 0 0 2134 1 0 0 20 0 1 0 377216670 32120832 7367 33554432000 4194304 5654031 140735190750448 140735190738264 4877891 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14085/statm: 7842 7367 142 357 0 7482 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 63300

[startup+582.3 s]
/proc/loadavg: 2.34 2.22 2.09 3/181 14087
/proc/meminfo: memFree=21767816/32873648 swapFree=6860/6860
[pid=13955] ppid=13953 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13955/stat : 13955 (npSolver-pbo-It) S 13953 13955 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377166577 9367552 274 33554432000 4194304 5064252 140736967298896 140736967297808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13955/statm: 2287 274 233 213 0 72 0
[pid=13956] ppid=13955 vsize=22784 CPUtime=500.78 cores=0,2,4,6
/proc/13956/stat : 13956 (npSolver-pbo) S 13955 13955 12337 0 -1 4202496 110379 233716 0 0 303 34 49672 69 20 0 1 0 377166577 23330816 4663 33554432000 4194304 6004724 140734156376864 140734156362712 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13956/statm: 5696 4663 183 442 0 5250 0
[pid=14085] ppid=13956 vsize=31436 CPUtime=81.33 cores=0,2,4,6
/proc/14085/stat : 14085 (glucosInc) R 13956 13955 12337 0 -1 4202496 8483 0 0 0 8132 1 0 0 20 0 1 0 377216670 32190464 7420 33554432000 4194304 5654031 140735190750448 140735190748392 4215091 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14085/statm: 7859 7420 142 357 0 7499 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 63368

[startup+642.3 s]
/proc/loadavg: 2.12 2.18 2.08 3/181 14090
/proc/meminfo: memFree=21757516/32873648 swapFree=6860/6860
[pid=13955] ppid=13953 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13955/stat : 13955 (npSolver-pbo-It) S 13953 13955 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377166577 9367552 274 33554432000 4194304 5064252 140736967298896 140736967297808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13955/statm: 2287 274 233 213 0 72 0
[pid=13956] ppid=13955 vsize=22784 CPUtime=611.61 cores=0,2,4,6
/proc/13956/stat : 13956 (npSolver-pbo) S 13955 13955 12337 0 -1 4202496 113081 243344 0 0 310 35 60744 72 20 0 1 0 377166577 23330816 4663 33554432000 4194304 6004724 140734156376864 140734156362712 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13956/statm: 5696 4663 183 442 0 5250 0
[pid=14089] ppid=13956 vsize=31244 CPUtime=30.5 cores=0,2,4,6
/proc/14089/stat : 14089 (glucosInc) R 13956 13955 12337 0 -1 4202496 6711 0 0 0 3049 1 0 0 20 0 1 0 377227755 31993856 6499 33554432000 4194304 5654031 140733716213728 140733716211608 4216312 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14089/statm: 7811 6499 142 357 0 7451 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 63176

[startup+702.3 s]
/proc/loadavg: 2.04 2.14 2.07 3/181 14090
/proc/meminfo: memFree=21734552/32873648 swapFree=6860/6860
[pid=13955] ppid=13953 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13955/stat : 13955 (npSolver-pbo-It) S 13953 13955 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377166577 9367552 274 33554432000 4194304 5064252 140736967298896 140736967297808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13955/statm: 2287 274 233 213 0 72 0
[pid=13956] ppid=13955 vsize=22784 CPUtime=611.61 cores=0,2,4,6
/proc/13956/stat : 13956 (npSolver-pbo) S 13955 13955 12337 0 -1 4202496 113081 243344 0 0 310 35 60744 72 20 0 1 0 377166577 23330816 4663 33554432000 4194304 6004724 140734156376864 140734156362712 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13956/statm: 5696 4663 183 442 0 5250 0
[pid=14089] ppid=13956 vsize=49988 CPUtime=90.49 cores=0,2,4,6
/proc/14089/stat : 14089 (glucosInc) R 13956 13955 12337 0 -1 4202496 8736 0 0 0 9047 2 0 0 20 0 1 0 377227755 51187712 10059 33554432000 4194304 5654031 140733716213728 140733716211608 4233151 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14089/statm: 12497 10059 142 357 0 12137 0
Current children cumulated CPU time (s) 702.1
Current children cumulated vsize (KiB) 81920

[startup+762.307 s]
/proc/loadavg: 2.01 2.12 2.07 3/181 14092
/proc/meminfo: memFree=21734100/32873648 swapFree=6860/6860
[pid=13955] ppid=13953 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13955/stat : 13955 (npSolver-pbo-It) S 13953 13955 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377166577 9367552 274 33554432000 4194304 5064252 140736967298896 140736967297808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13955/statm: 2287 274 233 213 0 72 0
[pid=13956] ppid=13955 vsize=22784 CPUtime=724.74 cores=0,2,4,6
/proc/13956/stat : 13956 (npSolver-pbo) S 13955 13955 12337 0 -1 4202496 115782 253759 0 0 316 36 72045 77 20 0 1 0 377166577 23330816 4663 33554432000 4194304 6004724 140734156376864 140734156362712 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13956/statm: 5696 4663 183 442 0 5250 0
[pid=14092] ppid=13956 vsize=35844 CPUtime=37.35 cores=0,2,4,6
/proc/14092/stat : 14092 (glucosInc) R 13956 13955 12337 0 -1 4202496 6356 0 0 0 3733 2 0 0 20 0 1 0 377239070 36704256 8470 33554432000 4194304 5654031 140733839698400 140733839686216 4208599 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14092/statm: 8961 8470 142 357 0 8601 0
Current children cumulated CPU time (s) 762.09
Current children cumulated vsize (KiB) 67776

[startup+822.3 s]
/proc/loadavg: 2.00 2.09 2.06 3/182 14095
/proc/meminfo: memFree=21728988/32873648 swapFree=6860/6860
[pid=13955] ppid=13953 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13955/stat : 13955 (npSolver-pbo-It) S 13953 13955 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377166577 9367552 274 33554432000 4194304 5064252 140736967298896 140736967297808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13955/statm: 2287 274 233 213 0 72 0
[pid=13956] ppid=13955 vsize=22784 CPUtime=724.74 cores=0,2,4,6
/proc/13956/stat : 13956 (npSolver-pbo) S 13955 13955 12337 0 -1 4202496 115782 253759 0 0 316 36 72045 77 20 0 1 0 377166577 23330816 4663 33554432000 4194304 6004724 140734156376864 140734156362712 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13956/statm: 5696 4663 183 442 0 5250 0
[pid=14092] ppid=13956 vsize=38564 CPUtime=97.34 cores=0,2,4,6
/proc/14092/stat : 14092 (glucosInc) R 13956 13955 12337 0 -1 4202496 6521 0 0 0 9732 2 0 0 20 0 1 0 377239070 39489536 9143 33554432000 4194304 5654031 140733839698400 140733839686216 4214853 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14092/statm: 9641 9143 142 357 0 9281 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 70496

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

[startup+823.907 s]
/proc/loadavg: 2.00 2.09 2.06 3/182 14095
/proc/meminfo: memFree=21723528/32873648 swapFree=6860/6860
[pid=13955] ppid=13953 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13955/stat : 13955 (npSolver-pbo-It) S 13953 13955 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377166577 9367552 274 33554432000 4194304 5064252 140736967298896 140736967297808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13955/statm: 2287 274 233 213 0 72 0
[pid=13956] ppid=13955 vsize=22784 CPUtime=724.74 cores=0,2,4,6
/proc/13956/stat : 13956 (npSolver-pbo) S 13955 13955 12337 0 -1 4202496 115782 253759 0 0 316 36 72045 77 20 0 1 0 377166577 23330816 4663 33554432000 4194304 6004724 140734156376864 140734156362712 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13956/statm: 5696 4663 183 442 0 5250 0
[pid=14092] ppid=13956 vsize=45748 CPUtime=98.94 cores=0,2,4,6
/proc/14092/stat : 14092 (glucosInc) R 13956 13955 12337 0 -1 4202496 6885 0 0 0 9892 2 0 0 20 0 1 0 377239070 46845952 10507 33554432000 4194304 5654031 140733839698400 140733839686216 4215372 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14092/statm: 11437 10507 142 357 0 11077 0
Current children cumulated CPU time (s) 823.68
Current children cumulated vsize (KiB) 77680

[startup+824.7 s]
/proc/loadavg: 2.00 2.09 2.06 3/182 14095
/proc/meminfo: memFree=21723528/32873648 swapFree=6860/6860
[pid=13955] ppid=13953 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13955/stat : 13955 (npSolver-pbo-It) S 13953 13955 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377166577 9367552 274 33554432000 4194304 5064252 140736967298896 140736967297808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13955/statm: 2287 274 233 213 0 72 0
[pid=13956] ppid=13955 vsize=22784 CPUtime=724.74 cores=0,2,4,6
/proc/13956/stat : 13956 (npSolver-pbo) S 13955 13955 12337 0 -1 4202496 115782 253759 0 0 316 36 72045 77 20 0 1 0 377166577 23330816 4663 33554432000 4194304 6004724 140734156376864 140734156362712 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13956/statm: 5696 4663 183 442 0 5250 0
[pid=14092] ppid=13956 vsize=24496 CPUtime=99.74 cores=0,2,4,6
/proc/14092/stat : 14092 (glucosInc) R 13956 13955 12337 0 -1 4202496 6886 0 0 0 9972 2 0 0 20 0 1 0 377239070 25083904 5638 33554432000 4194304 5654031 140733839698400 140733839696200 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14092/statm: 6124 5638 142 357 0 5764 0
Current children cumulated CPU time (s) 824.48
Current children cumulated vsize (KiB) 56428

[startup+825.1 s]
/proc/loadavg: 2.00 2.09 2.06 3/182 14095
/proc/meminfo: memFree=21742512/32873648 swapFree=6860/6860
[pid=13955] ppid=13953 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13955/stat : 13955 (npSolver-pbo-It) S 13953 13955 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377166577 9367552 274 33554432000 4194304 5064252 140736967298896 140736967297808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13955/statm: 2287 274 233 213 0 72 0
[pid=13956] ppid=13955 vsize=22784 CPUtime=724.74 cores=0,2,4,6
/proc/13956/stat : 13956 (npSolver-pbo) S 13955 13955 12337 0 -1 4202496 115782 253759 0 0 316 36 72045 77 20 0 1 0 377166577 23330816 4663 33554432000 4194304 6004724 140734156376864 140734156362712 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13956/statm: 5696 4663 183 442 0 5250 0
[pid=14092] ppid=13956 vsize=24496 CPUtime=100.14 cores=0,2,4,6
/proc/14092/stat : 14092 (glucosInc) R 13956 13955 12337 0 -1 4202496 6886 0 0 0 10012 2 0 0 20 0 1 0 377239070 25083904 5638 33554432000 4194304 5654031 140733839698400 140733839696168 4232794 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14092/statm: 6124 5638 142 357 0 5764 0
Current children cumulated CPU time (s) 824.88
Current children cumulated vsize (KiB) 56428

[startup+825.5 s]
/proc/loadavg: 2.00 2.09 2.06 3/182 14095
/proc/meminfo: memFree=21742512/32873648 swapFree=6860/6860
[pid=13955] ppid=13953 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13955/stat : 13955 (npSolver-pbo-It) S 13953 13955 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377166577 9367552 274 33554432000 4194304 5064252 140736967298896 140736967297808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13955/statm: 2287 274 233 213 0 72 0
[pid=13956] ppid=13955 vsize=22784 CPUtime=724.74 cores=0,2,4,6
/proc/13956/stat : 13956 (npSolver-pbo) S 13955 13955 12337 0 -1 4202496 115782 253759 0 0 316 36 72045 77 20 0 1 0 377166577 23330816 4663 33554432000 4194304 6004724 140734156376864 140734156362712 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13956/statm: 5696 4663 183 442 0 5250 0
[pid=14092] ppid=13956 vsize=28704 CPUtime=100.53 cores=0,2,4,6
/proc/14092/stat : 14092 (glucosInc) R 13956 13955 12337 0 -1 4202496 7197 0 0 0 10051 2 0 0 20 0 1 0 377239070 29392896 6438 33554432000 4194304 5654031 140733839698400 140733839696168 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14092/statm: 7176 6438 142 357 0 6816 0
Current children cumulated CPU time (s) 825.27
Current children cumulated vsize (KiB) 60636

Child status: 0
Real time (s): 825.556
CPU time (s): 825.361
CPU user time (s): 824.196
CPU system time (s): 1.16482
CPU usage (%): 99.9763
Max. virtual memory (cumulated for all children) (KiB): 100596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 824.196
system time used= 1.16482
maximum resident set size= 48844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 377594
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3025
involuntary context switches= 1915

runsolver used 1.39379 second user time and 3.47747 second system time

The end

Launcher Data

Begin job on node116 at 2012-06-08 01:06:45
IDJOB=3746917
IDBENCH=92779
IDSOLVER=2332
FILE ID=node116/3746917-1339110405
RUNJOBID= node116-1339098177-12353
PBS_JOBID= 14643737
Free space on /tmp= 70768 MiB

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

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

MD5SUM BENCH= e4dab1f67f0e50360b112cfb031bdd87
RANDOM SEED=90098931

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
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:        28512676 kB
Buffers:          316972 kB
Cached:          2559268 kB
SwapCached:         3172 kB
Active:          1741032 kB
Inactive:        1758300 kB
Active(anon):     621908 kB
Inactive(anon):     3392 kB
Active(file):    1119124 kB
Inactive(file):  1754908 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67100544 kB
Dirty:              8828 kB
Writeback:            40 kB
AnonPages:        629768 kB
Mapped:            11896 kB
Shmem:                 0 kB
Slab:             721820 kB
SReclaimable:     166224 kB
SUnreclaim:       555596 kB
KernelStack:        1464 kB
PageTables:         5252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     798800 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    505856 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= 69688 MiB
End job on node116 at 2012-06-08 01:20:31