Trace number 3703405

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
npSolver inc-topdown-quickBound? (TO) 1800.07 1800.81

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=5-P0=29-P1=11-P2=11-P3=17-P4=29-P5=23-B.opb
MD5SUMfcb10f2a5637609269e4645e32e48d88
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.020995
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables75
Total number of constraints11
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints11
Minimum length of a constraint5
Maximum length of a constraint35
Number of terms in the objective function 5
Biggest coefficient in the objective function 16
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 31
Number of bits of the sum of numbers in the objective function 5
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 1984
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)125
Sum of products size (including duplicates)250
Number of different products125
Sum of products size250

Solver Data 

0.00/0.21	c run inc solver
0.00/0.21	c [INC SYSTEM] run initial solver
0.00/0.21	c [INC SYSTEM] preprocess with white file
0.98/1.01	c [INC SYSTEM] finished preprocessing in 0 s
0.98/1.01	c [INC SYSTEM] execute solver
5.06/5.15	c [INC SEARCH] formula is SAT
5.06/5.15	c [INC SYSTEM] solved the initial formula
5.06/5.15	c model valid
5.06/5.15	c current solution ok
5.36/5.47	o 21
5.36/5.47	c starting approximation
5.36/5.47	c factor = 2
5.36/5.47	c current bound: 10
8.44/8.57	c model valid
8.44/8.57	c current solution ok
8.44/8.58	c current bound: 10
11.55/11.68	c model valid
11.55/11.68	c current solution ok
11.55/11.69	c current bound: 10
14.64/14.76	c model valid
14.64/14.76	c current solution ok
14.64/14.78	c current bound: 10
17.74/17.87	c model valid
17.74/17.87	c current solution ok
17.74/17.88	c current bound: 10
20.85/20.99	c model valid
20.85/20.99	c current solution ok
20.94/21.00	c current bound: 10
24.05/24.11	c model valid
24.05/24.11	c current solution ok
24.05/24.12	c current bound: 10
27.14/27.23	c model valid
27.14/27.23	c current solution ok
27.14/27.24	c current bound: 10
30.24/30.34	c model valid
30.24/30.34	c current solution ok
30.24/30.35	c current bound: 10
33.34/33.44	c model valid
33.34/33.44	c current solution ok
33.34/33.45	c current bound: 10
36.45/36.53	c model valid
36.45/36.53	c current solution ok
36.45/36.54	c current bound: 10
39.52/39.61	c model valid
39.52/39.61	c current solution ok
39.52/39.62	c current bound: 10
42.63/42.73	c model valid
42.63/42.73	c current solution ok
42.63/42.74	c current bound: 10
45.72/45.80	c model valid
45.72/45.80	c current solution ok
45.72/45.81	c current bound: 10
48.82/48.91	c model valid
48.82/48.91	c current solution ok
48.82/48.92	c current bound: 10
51.93/52.03	c model valid
51.93/52.03	c current solution ok
51.93/52.04	c current bound: 10
55.03/55.14	c model valid
55.03/55.14	c current solution ok
55.03/55.15	c current bound: 10
58.14/58.23	c model valid
58.14/58.23	c current solution ok
58.14/58.24	c current bound: 10
61.24/61.35	c model valid
61.24/61.35	c current solution ok
61.24/61.36	c current bound: 10
64.33/64.46	c model valid
64.33/64.46	c current solution ok
64.33/64.48	c current bound: 10
67.42/67.54	c model valid
67.42/67.54	c current solution ok
67.42/67.55	c current bound: 10
70.55/70.60	c model valid
70.55/70.60	c current solution ok
70.55/70.61	c current bound: 10
73.62/73.72	c model valid
73.62/73.72	c current solution ok
73.62/73.73	c current bound: 10
76.74/76.83	c model valid
76.74/76.83	c current solution ok
76.74/76.85	c current bound: 10
79.84/79.95	c model valid
79.84/79.95	c current solution ok
79.84/79.96	c current bound: 10
82.93/83.05	c model valid
82.93/83.05	c current solution ok
82.93/83.06	c current bound: 10
86.04/86.16	c model valid
86.04/86.16	c current solution ok
86.04/86.17	c current bound: 10
89.14/89.23	c model valid
89.14/89.23	c current solution ok
89.14/89.24	c current bound: 10
92.25/92.35	c model valid
92.25/92.35	c current solution ok
92.25/92.36	c current bound: 10
95.34/95.42	c model valid
95.34/95.42	c current solution ok
95.34/95.43	c current bound: 10
98.44/98.54	c model valid
98.44/98.54	c current solution ok
98.44/98.55	c current bound: 10
101.54/101.65	c model valid
101.54/101.65	c current solution ok
101.54/101.66	c current bound: 10
104.63/104.77	c model valid
104.63/104.77	c current solution ok
104.63/104.78	c current bound: 10
107.74/107.88	c model valid
107.74/107.88	c current solution ok
107.83/107.90	c current bound: 10
110.83/111.00	c model valid
110.83/111.00	c current solution ok
110.95/111.01	c current bound: 10
114.02/114.10	c model valid
114.02/114.10	c current solution ok
114.02/114.12	c current bound: 10
117.14/117.22	c model valid
117.14/117.22	c current solution ok
117.14/117.23	c current bound: 10
120.24/120.34	c model valid
120.24/120.34	c current solution ok
120.24/120.35	c current bound: 10
123.33/123.44	c model valid
123.33/123.44	c current solution ok
123.33/123.45	c current bound: 10
126.43/126.55	c model valid
126.43/126.55	c current solution ok
126.43/126.56	c current bound: 10
129.52/129.66	c model valid
129.52/129.66	c current solution ok
129.52/129.67	c current bound: 10
132.63/132.78	c model valid
132.63/132.78	c current solution ok
132.63/132.79	c current bound: 10
135.73/135.89	c model valid
135.73/135.89	c current solution ok
135.83/135.90	c current bound: 10
138.90/139.01	c model valid
138.90/139.01	c current solution ok
138.90/139.02	c current bound: 10
142.02/142.12	c model valid
142.02/142.12	c current solution ok
142.02/142.14	c current bound: 10
145.14/145.24	c model valid
145.14/145.24	c current solution ok
145.14/145.25	c current bound: 10
148.23/148.34	c model valid
148.23/148.34	c current solution ok
148.23/148.35	c current bound: 10
151.33/151.46	c model valid
151.33/151.46	c current solution ok
151.33/151.47	c current bound: 10
154.43/154.58	c model valid
154.43/154.58	c current solution ok
154.43/154.59	c current bound: 10
157.51/157.69	c model valid
157.51/157.69	c current solution ok
157.63/157.70	c current bound: 10
160.62/160.77	c model valid
160.62/160.77	c current solution ok
160.62/160.78	c current bound: 10
163.72/163.85	c model valid
163.72/163.85	c current solution ok
163.72/163.86	c current bound: 10
166.81/166.96	c model valid
166.81/166.96	c current solution ok
166.81/166.97	c current bound: 10
169.91/170.08	c model valid
169.91/170.08	c current solution ok
169.91/170.09	c current bound: 10
173.01/173.16	c model valid
173.01/173.16	c current solution ok
173.01/173.18	c current bound: 10
176.12/176.28	c model valid
176.12/176.28	c current solution ok
176.12/176.29	c current bound: 10
179.22/179.39	c model valid
179.22/179.39	c current solution ok
179.33/179.40	c current bound: 10
182.44/182.50	c model valid
182.44/182.50	c current solution ok
182.44/182.52	c current bound: 10
185.51/185.63	c model valid
185.51/185.63	c current solution ok
185.51/185.64	c current bound: 10
188.60/188.74	c model valid
188.60/188.74	c current solution ok
188.60/188.75	c current bound: 10
191.71/191.85	c model valid
191.71/191.85	c current solution ok
191.71/191.86	c current bound: 10
194.80/194.96	c model valid
194.80/194.96	c current solution ok
194.80/194.97	c current bound: 10
197.92/198.06	c model valid
197.92/198.06	c current solution ok
197.92/198.07	c current bound: 10
201.01/201.17	c model valid
201.01/201.17	c current solution ok
201.01/201.18	c current bound: 10
204.09/204.29	c model valid
204.09/204.29	c current solution ok
204.22/204.30	c current bound: 10
207.29/207.40	c model valid
207.29/207.40	c current solution ok
207.29/207.41	c current bound: 10
210.40/210.52	c model valid
210.40/210.52	c current solution ok
210.40/210.53	c current bound: 10
213.52/213.63	c model valid
213.52/213.63	c current solution ok
213.52/213.64	c current bound: 10
216.62/216.74	c model valid
216.62/216.74	c current solution ok
216.62/216.76	c current bound: 10
219.69/219.86	c model valid
219.69/219.86	c current solution ok
219.69/219.87	c current bound: 10
222.80/222.94	c model valid
222.80/222.94	c current solution ok
222.80/222.95	c current bound: 10
225.90/226.06	c model valid
225.90/226.06	c current solution ok
225.90/226.07	c current bound: 10
229.00/229.17	c model valid
229.00/229.17	c current solution ok
229.00/229.19	c current bound: 10
232.12/232.29	c model valid
232.12/232.29	c current solution ok
232.21/232.30	c current bound: 10
235.32/235.40	c model valid
235.32/235.40	c current solution ok
235.32/235.41	c current bound: 10
238.41/238.52	c model valid
238.41/238.52	c current solution ok
238.41/238.54	c current bound: 10
241.52/241.64	c model valid
241.52/241.64	c current solution ok
241.52/241.65	c current bound: 10
244.59/244.71	c model valid
244.59/244.71	c current solution ok
244.59/244.72	c current bound: 10
247.69/247.81	c model valid
247.69/247.81	c current solution ok
247.69/247.82	c current bound: 10
250.79/250.92	c model valid
250.79/250.92	c current solution ok
250.79/250.93	c current bound: 10
253.80/254.00	c model valid
253.80/254.00	c current solution ok
253.91/254.01	c current bound: 10
256.97/257.10	c model valid
256.97/257.10	c current solution ok
256.97/257.12	c current bound: 10
259.98/260.19	c model valid
259.98/260.19	c current solution ok
260.09/260.20	c current bound: 10
263.09/263.27	c model valid
263.09/263.27	c current solution ok
263.09/263.29	c current bound: 10
266.19/266.37	c model valid
266.19/266.37	c current solution ok
266.19/266.38	c current bound: 10
269.30/269.49	c model valid
269.30/269.49	c current solution ok
269.40/269.50	c current bound: 10
272.47/272.60	c model valid
272.47/272.60	c current solution ok
272.47/272.61	c current bound: 10
275.57/275.71	c model valid
275.57/275.71	c current solution ok
275.57/275.72	c current bound: 10
278.68/278.82	c model valid
278.68/278.82	c current solution ok
278.68/278.83	c current bound: 10
281.78/281.94	c model valid
281.78/281.94	c current solution ok
281.78/281.95	c current bound: 10
284.89/285.06	c model valid
284.89/285.06	c current solution ok
284.89/285.07	c current bound: 10
287.99/288.13	c model valid
287.99/288.13	c current solution ok
287.99/288.14	c current bound: 10
291.06/291.21	c model valid
291.06/291.21	c current solution ok
291.06/291.22	c current bound: 10
294.07/294.29	c model valid
294.07/294.29	c current solution ok
294.18/294.30	c current bound: 10
297.17/297.36	c model valid
297.17/297.36	c current solution ok
297.17/297.37	c current bound: 10
300.30/300.43	c model valid
300.30/300.43	c current solution ok
300.30/300.44	c current bound: 10
303.39/303.52	c model valid
303.39/303.52	c current solution ok
303.39/303.53	c current bound: 10
306.48/306.64	c model valid
306.48/306.64	c current solution ok
306.48/306.65	c current bound: 10
309.57/309.76	c model valid
309.57/309.76	c current solution ok
309.57/309.77	c current bound: 10
312.67/312.87	c model valid
312.67/312.87	c current solution ok
312.67/312.88	c current bound: 10
315.78/315.99	c model valid
315.78/315.99	c current solution ok
315.89/316.00	c current bound: 10
318.97/319.11	c model valid
318.97/319.11	c current solution ok
318.97/319.12	c current bound: 10
321.98/322.19	c model valid
321.98/322.19	c current solution ok
321.98/322.20	c current bound: 10
325.28/325.48	c model valid
325.28/325.48	c current solution ok
325.28/325.50	c current bound: 10
328.58/328.79	c model valid
328.58/328.79	c current solution ok
328.58/328.80	c current bound: 10
331.87/332.01	c model valid
331.87/332.01	c current solution ok
331.87/332.03	c current bound: 10
334.97/335.11	c model valid
334.97/335.11	c current solution ok
334.97/335.12	c current bound: 10
337.97/338.19	c model valid
337.97/338.19	c current solution ok
338.08/338.20	c current bound: 10
341.20/341.30	c model valid
341.20/341.30	c current solution ok
341.20/341.31	c current bound: 10
344.19/344.39	c model valid
344.19/344.39	c current solution ok
344.28/344.40	c current bound: 10
347.38/347.51	c model valid
347.38/347.51	c current solution ok
347.38/347.52	c current bound: 10
350.49/350.63	c model valid
350.49/350.63	c current solution ok
350.49/350.64	c current bound: 10
353.58/353.74	c model valid
353.58/353.74	c current solution ok
353.58/353.75	c current bound: 10
356.69/356.86	c model valid
356.69/356.86	c current solution ok
356.69/356.87	c current bound: 10
359.78/359.96	c model valid
359.78/359.96	c current solution ok
359.78/359.97	c current bound: 10
362.89/363.08	c model valid
362.89/363.08	c current solution ok
362.89/363.09	c current bound: 10
365.97/366.19	c model valid
365.97/366.19	c current solution ok
365.97/366.20	c current bound: 10
369.26/369.40	c model valid
369.26/369.40	c current solution ok
369.26/369.41	c current bound: 10
372.37/372.52	c model valid
372.37/372.52	c current solution ok
372.37/372.53	c current bound: 10
375.47/375.63	c model valid
375.47/375.63	c current solution ok
375.47/375.65	c current bound: 10
378.56/378.75	c model valid
378.56/378.75	c current solution ok
378.56/378.77	c current bound: 10
381.67/381.87	c model valid
381.67/381.87	c current solution ok
381.67/381.88	c current bound: 10
384.77/384.99	c model valid
384.77/384.99	c current solution ok
384.88/385.01	c current bound: 10
387.95/388.11	c model valid
387.95/388.11	c current solution ok
387.95/388.12	c current bound: 10
390.96/391.19	c model valid
390.96/391.19	c current solution ok
391.06/391.20	c current bound: 10
394.15/394.30	c model valid
394.15/394.30	c current solution ok
394.15/394.31	c current bound: 10
397.26/397.42	c model valid
397.26/397.42	c current solution ok
397.26/397.43	c current bound: 10
400.37/400.53	c model valid
400.37/400.53	c current solution ok
400.37/400.55	c current bound: 10
403.46/403.63	c model valid
403.46/403.63	c current solution ok
403.46/403.64	c current bound: 10
406.56/406.75	c model valid
406.56/406.75	c current solution ok
406.56/406.76	c current bound: 10
409.66/409.82	c model valid
409.66/409.82	c current solution ok
409.66/409.84	c current bound: 10
412.76/412.94	c model valid
412.76/412.94	c current solution ok
412.76/412.96	c current bound: 10
415.85/416.03	c model valid
415.85/416.03	c current solution ok
415.85/416.04	c current bound: 10
418.96/419.14	c model valid
418.96/419.14	c current solution ok
418.96/419.15	c current bound: 10
422.06/422.26	c model valid
422.06/422.26	c current solution ok
422.06/422.27	c current bound: 10
425.16/425.38	c model valid
425.16/425.38	c current solution ok
425.16/425.39	c current bound: 10
428.26/428.48	c model valid
428.26/428.48	c current solution ok
428.26/428.49	c current bound: 10
431.47/431.60	c model valid
431.47/431.60	c current solution ok
431.47/431.61	c current bound: 10
434.55/434.72	c model valid
434.55/434.72	c current solution ok
434.55/434.73	c current bound: 10
437.67/437.84	c model valid
437.67/437.84	c current solution ok
437.67/437.85	c current bound: 10
440.74/440.96	c model valid
440.74/440.96	c current solution ok
440.74/440.97	c current bound: 10
443.84/444.07	c model valid
443.84/444.07	c current solution ok
443.84/444.08	c current bound: 10
446.95/447.16	c model valid
446.95/447.16	c current solution ok
446.95/447.17	c current bound: 10
450.06/450.24	c model valid
450.06/450.24	c current solution ok
450.06/450.25	c current bound: 10
453.15/453.35	c model valid
453.15/453.35	c current solution ok
453.15/453.36	c current bound: 10
456.24/456.43	c model valid
456.24/456.43	c current solution ok
456.24/456.44	c current bound: 10
459.32/459.50	c model valid
459.32/459.50	c current solution ok
459.32/459.51	c current bound: 10
462.43/462.62	c model valid
462.43/462.62	c current solution ok
462.43/462.63	c current bound: 10
465.54/465.74	c model valid
465.54/465.74	c current solution ok
465.54/465.75	c current bound: 10
468.64/468.85	c model valid
468.64/468.85	c current solution ok
468.64/468.86	c current bound: 10
471.73/471.97	c model valid
471.73/471.97	c current solution ok
471.73/471.98	c current bound: 10
474.84/475.08	c model valid
474.84/475.08	c current solution ok
474.84/475.09	c current bound: 10
477.95/478.19	c model valid
477.95/478.19	c current solution ok
478.06/478.20	c current bound: 10
481.05/481.26	c model valid
481.05/481.26	c current solution ok
481.05/481.27	c current bound: 10
484.14/484.37	c model valid
484.14/484.37	c current solution ok
484.14/484.38	c current bound: 10
487.23/487.49	c model valid
487.23/487.49	c current solution ok
487.35/487.50	c current bound: 10
490.45/490.60	c model valid
490.45/490.60	c current solution ok
490.45/490.61	c current bound: 10
493.43/493.68	c model valid
493.43/493.68	c current solution ok
493.43/493.69	c current bound: 10
496.54/496.75	c model valid
496.54/496.75	c current solution ok
496.54/496.76	c current bound: 10
499.65/499.83	c model valid
499.65/499.83	c current solution ok
499.65/499.84	c current bound: 10
502.72/502.95	c model valid
502.72/502.95	c current solution ok
502.72/502.96	c current bound: 10
505.84/506.03	c model valid
505.84/506.03	c current solution ok
505.84/506.04	c current bound: 10
508.92/509.14	c model valid
508.92/509.14	c current solution ok
508.92/509.15	c current bound: 10
512.04/512.26	c model valid
512.04/512.26	c current solution ok
512.04/512.27	c current bound: 10
515.13/515.37	c model valid
515.13/515.37	c current solution ok
515.13/515.38	c current bound: 10
518.23/518.48	c model valid
518.23/518.48	c current solution ok
518.33/518.50	c current bound: 10
521.40/521.60	c model valid
521.40/521.60	c current solution ok
521.40/521.61	c current bound: 10
524.43/524.68	c model valid
524.43/524.68	c current solution ok
524.43/524.69	c current bound: 10
527.52/527.79	c model valid
527.52/527.79	c current solution ok
527.62/527.80	c current bound: 10
530.70/530.91	c model valid
530.70/530.91	c current solution ok
530.70/530.92	c current bound: 10
533.73/533.98	c model valid
533.73/533.98	c current solution ok
533.73/533.99	c current bound: 10
536.81/537.08	c model valid
536.81/537.08	c current solution ok
536.92/537.10	c current bound: 10
539.92/540.17	c model valid
539.92/540.17	c current solution ok
539.92/540.18	c current bound: 10
543.03/543.28	c model valid
543.03/543.28	c current solution ok
543.03/543.29	c current bound: 10
546.11/546.39	c model valid
546.11/546.39	c current solution ok
546.23/546.40	c current bound: 10
549.30/549.51	c model valid
549.30/549.51	c current solution ok
549.30/549.52	c current bound: 10
552.32/552.58	c model valid
552.32/552.58	c current solution ok
552.32/552.59	c current bound: 10
555.41/555.65	c model valid
555.41/555.65	c current solution ok
555.41/555.66	c current bound: 10
558.52/558.76	c model valid
558.52/558.76	c current solution ok
558.52/558.77	c current bound: 10
561.61/561.88	c model valid
561.61/561.88	c current solution ok
561.61/561.89	c current bound: 10
564.71/564.97	c model valid
564.71/564.97	c current solution ok
564.71/564.98	c current bound: 10
567.81/568.06	c model valid
567.81/568.06	c current solution ok
567.81/568.07	c current bound: 10
570.92/571.18	c model valid
570.92/571.18	c current solution ok
570.92/571.19	c current bound: 10
574.03/574.29	c model valid
574.03/574.29	c current solution ok
574.12/574.30	c current bound: 10
577.11/577.37	c model valid
577.11/577.37	c current solution ok
577.11/577.38	c current bound: 10
580.21/580.48	c model valid
580.21/580.48	c current solution ok
580.21/580.49	c current bound: 10
583.42/583.60	c model valid
583.42/583.60	c current solution ok
583.42/583.61	c current bound: 10
586.40/586.67	c model valid
586.40/586.67	c current solution ok
586.40/586.68	c current bound: 10
589.51/589.78	c model valid
589.51/589.78	c current solution ok
589.51/589.79	c current bound: 10
592.73/592.90	c model valid
592.73/592.90	c current solution ok
592.73/592.91	c current bound: 10
595.71/595.97	c model valid
595.71/595.97	c current solution ok
595.71/595.99	c current bound: 10
598.81/599.09	c model valid
598.81/599.09	c current solution ok
598.91/599.10	c current bound: 10
601.99/602.21	c model valid
601.99/602.21	c current solution ok
601.99/602.22	c current bound: 10
605.09/605.32	c model valid
605.09/605.32	c current solution ok
605.09/605.33	c current bound: 10
608.21/608.45	c model valid
608.21/608.45	c current solution ok
608.21/608.46	c current bound: 10
611.30/611.57	c model valid
611.30/611.57	c current solution ok
611.30/611.58	c current bound: 10
614.39/614.65	c model valid
614.39/614.65	c current solution ok
614.39/614.66	c current bound: 10
617.51/617.76	c model valid
617.51/617.76	c current solution ok
617.51/617.77	c current bound: 10
620.60/620.88	c model valid
620.60/620.88	c current solution ok
620.60/620.89	c current bound: 10
623.71/624.00	c model valid
623.71/624.00	c current solution ok
623.81/624.01	c current bound: 10
626.88/627.10	c model valid
626.88/627.10	c current solution ok
626.88/627.12	c current bound: 10
629.89/630.18	c model valid
629.89/630.18	c current solution ok
629.89/630.19	c current bound: 10
633.00/633.28	c model valid
633.00/633.28	c current solution ok
633.00/633.29	c current bound: 10
636.08/636.38	c model valid
636.08/636.38	c current solution ok
636.08/636.39	c current bound: 10
639.21/639.49	c model valid
639.21/639.49	c current solution ok
639.30/639.50	c current bound: 10
642.37/642.60	c model valid
642.37/642.60	c current solution ok
642.37/642.61	c current bound: 10
645.41/645.68	c model valid
645.41/645.68	c current solution ok
645.41/645.69	c current bound: 10
648.50/648.78	c model valid
648.50/648.78	c current solution ok
648.50/648.79	c current bound: 10
651.59/651.85	c model valid
651.59/651.85	c current solution ok
651.59/651.86	c current bound: 10
654.69/654.94	c model valid
654.69/654.94	c current solution ok
654.69/654.95	c current bound: 10
657.79/658.02	c model valid
657.79/658.02	c current solution ok
657.79/658.03	c current bound: 10
660.90/661.10	c model valid
660.90/661.10	c current solution ok
660.90/661.11	c current bound: 10
664.08/664.35	c model valid
664.08/664.35	c current solution ok
664.08/664.36	c current bound: 10
667.19/667.42	c model valid
667.19/667.42	c current solution ok
667.19/667.43	c current bound: 10
670.28/670.53	c model valid
670.28/670.53	c current solution ok
670.28/670.54	c current bound: 10
673.38/673.63	c model valid
673.38/673.63	c current solution ok
673.38/673.64	c current bound: 10
676.48/676.71	c model valid
676.48/676.71	c current solution ok
676.48/676.72	c current bound: 10
679.58/679.82	c model valid
679.58/679.82	c current solution ok
679.58/679.83	c current bound: 10
682.60/682.90	c model valid
682.60/682.90	c current solution ok
682.69/682.91	c current bound: 10
685.76/686.00	c model valid
685.76/686.00	c current solution ok
685.76/686.01	c current bound: 10
688.78/689.07	c model valid
688.78/689.07	c current solution ok
688.78/689.08	c current bound: 10
691.88/692.18	c model valid
691.88/692.18	c current solution ok
691.88/692.19	c current bound: 10
694.99/695.28	c model valid
694.99/695.28	c current solution ok
694.99/695.29	c current bound: 10
698.09/698.40	c model valid
698.09/698.40	c current solution ok
698.20/698.41	c current bound: 10
701.28/701.53	c model valid
701.28/701.53	c current solution ok
701.28/701.54	c current bound: 10
704.39/704.64	c model valid
704.39/704.64	c current solution ok
704.39/704.65	c current bound: 10
707.49/707.75	c model valid
707.49/707.75	c current solution ok
707.49/707.76	c current bound: 10
710.58/710.84	c model valid
710.58/710.84	c current solution ok
710.58/710.85	c current bound: 10
713.68/713.91	c model valid
713.68/713.91	c current solution ok
713.68/713.92	c current bound: 10
716.79/717.02	c model valid
716.79/717.02	c current solution ok
716.79/717.03	c current bound: 10
719.86/720.10	c model valid
719.86/720.10	c current solution ok
719.86/720.11	c current bound: 10
722.90/723.13	c model valid
722.90/723.13	c current solution ok
722.90/723.14	c current bound: 10
725.97/726.20	c model valid
725.97/726.20	c current solution ok
725.97/726.21	c current bound: 10
729.08/729.32	c model valid
729.08/729.32	c current solution ok
729.08/729.33	c current bound: 10
732.17/732.40	c model valid
732.17/732.40	c current solution ok
732.17/732.41	c current bound: 10
735.27/735.52	c model valid
735.27/735.52	c current solution ok
735.27/735.53	c current bound: 10
738.39/738.63	c model valid
738.39/738.63	c current solution ok
738.39/738.64	c current bound: 10
741.46/741.74	c model valid
741.46/741.74	c current solution ok
741.46/741.75	c current bound: 10
744.57/744.86	c model valid
744.57/744.86	c current solution ok
744.57/744.87	c current bound: 10
747.68/747.98	c model valid
747.68/747.98	c current solution ok
747.68/747.99	c current bound: 10
750.76/751.09	c model valid
750.76/751.09	c current solution ok
750.88/751.10	c current bound: 10
753.96/754.21	c model valid
753.96/754.21	c current solution ok
753.96/754.22	c current bound: 10
756.97/757.29	c model valid
756.97/757.29	c current solution ok
757.07/757.30	c current bound: 10
760.19/760.40	c model valid
760.19/760.40	c current solution ok
760.19/760.41	c current bound: 10
763.27/763.51	c model valid
763.27/763.51	c current solution ok
763.27/763.52	c current bound: 10
766.38/766.63	c model valid
766.38/766.63	c current solution ok
766.38/766.64	c current bound: 10
769.48/769.72	c model valid
769.48/769.72	c current solution ok
769.48/769.73	c current bound: 10
772.55/772.80	c model valid
772.55/772.80	c current solution ok
772.55/772.81	c current bound: 10
775.67/775.92	c model valid
775.67/775.92	c current solution ok
775.67/775.93	c current bound: 10
778.67/778.99	c model valid
778.67/778.99	c current solution ok
778.77/779.00	c current bound: 10
781.89/782.11	c model valid
781.89/782.11	c current solution ok
781.89/782.12	c current bound: 10
784.97/785.22	c model valid
784.97/785.22	c current solution ok
784.97/785.23	c current bound: 10
788.07/788.31	c model valid
788.07/788.31	c current solution ok
788.07/788.32	c current bound: 10
791.07/791.39	c model valid
791.07/791.39	c current solution ok
791.18/791.40	c current bound: 10
794.18/794.47	c model valid
794.18/794.47	c current solution ok
794.18/794.48	c current bound: 10
797.27/797.58	c model valid
797.27/797.58	c current solution ok
797.27/797.59	c current bound: 10
800.37/800.70	c model valid
800.37/800.70	c current solution ok
800.49/800.71	c current bound: 10
803.47/803.77	c model valid
803.47/803.77	c current solution ok
803.47/803.78	c current bound: 10
806.58/806.87	c model valid
806.58/806.87	c current solution ok
806.58/806.88	c current bound: 10
809.67/809.99	c model valid
809.67/809.99	c current solution ok
809.78/810.00	c current bound: 10
812.78/813.08	c model valid
812.78/813.08	c current solution ok
812.78/813.09	c current bound: 10
815.88/816.19	c model valid
815.88/816.19	c current solution ok
815.99/816.20	c current bound: 10
819.07/819.31	c model valid
819.07/819.31	c current solution ok
819.07/819.32	c current bound: 10
822.17/822.42	c model valid
822.17/822.42	c current solution ok
822.17/822.43	c current bound: 10
825.29/825.53	c model valid
825.29/825.53	c current solution ok
825.29/825.54	c current bound: 10
828.36/828.60	c model valid
828.36/828.60	c current solution ok
828.36/828.61	c current bound: 10
831.48/831.72	c model valid
831.48/831.72	c current solution ok
831.48/831.73	c current bound: 10
834.61/834.83	c model valid
834.61/834.83	c current solution ok
834.61/834.84	c current bound: 10
837.69/837.92	c model valid
837.69/837.92	c current solution ok
837.69/837.93	c current bound: 10
840.79/841.03	c model valid
840.79/841.03	c current solution ok
840.79/841.04	c current bound: 10
843.87/844.10	c model valid
843.87/844.10	c current solution ok
843.87/844.11	c current bound: 10
846.88/847.19	c model valid
846.88/847.19	c current solution ok
846.99/847.20	c current bound: 10
850.07/850.31	c model valid
850.07/850.31	c current solution ok
850.07/850.32	c current bound: 10
853.20/853.43	c model valid
853.20/853.43	c current solution ok
853.20/853.44	c current bound: 10
856.26/856.50	c model valid
856.26/856.50	c current solution ok
856.26/856.51	c current bound: 10
859.37/859.61	c model valid
859.37/859.61	c current solution ok
859.37/859.63	c current bound: 10
862.48/862.73	c model valid
862.48/862.73	c current solution ok
862.48/862.74	c current bound: 10
865.56/865.80	c model valid
865.56/865.80	c current solution ok
865.56/865.82	c current bound: 10
868.67/868.93	c model valid
868.67/868.93	c current solution ok
868.67/868.94	c current bound: 10
871.77/872.03	c model valid
871.77/872.03	c current solution ok
871.77/872.04	c current bound: 10
874.86/875.15	c model valid
874.86/875.15	c current solution ok
875.27/875.59	c current bound: 10
877.97/878.22	c model valid
877.97/878.22	c current solution ok
877.97/878.23	c current bound: 10
881.08/881.33	c model valid
881.08/881.33	c current solution ok
881.08/881.34	c current bound: 10
884.18/884.44	c model valid
884.18/884.44	c current solution ok
884.18/884.45	c current bound: 10
887.27/887.55	c model valid
887.27/887.55	c current solution ok
887.27/887.56	c current bound: 10
890.36/890.66	c model valid
890.36/890.66	c current solution ok
890.36/890.67	c current bound: 10
893.47/893.77	c model valid
893.47/893.77	c current solution ok
893.47/893.78	c current bound: 10
896.57/896.88	c model valid
896.57/896.88	c current solution ok
896.57/896.89	c current bound: 10
899.67/899.95	c model valid
899.67/899.95	c current solution ok
899.67/899.96	c current bound: 10
902.79/903.51	c model valid
902.79/903.51	c current solution ok
902.79/903.52	c current bound: 10
905.80/906.58	c model valid
905.80/906.58	c current solution ok
905.80/906.59	c current bound: 10
908.89/909.66	c model valid
908.89/909.66	c current solution ok
908.89/909.67	c current bound: 10
912.00/912.73	c model valid
912.00/912.73	c current solution ok
912.00/912.74	c current bound: 10
915.09/915.84	c model valid
915.09/915.84	c current solution ok
915.09/915.85	c current bound: 10
918.19/918.93	c model valid
918.19/918.93	c current solution ok
918.19/918.94	c current bound: 10
921.28/922.04	c model valid
921.28/922.04	c current solution ok
921.28/922.05	c current bound: 10
924.38/925.14	c model valid
924.38/925.14	c current solution ok
924.38/925.15	c current bound: 10
927.49/928.25	c model valid
927.49/928.25	c current solution ok
927.49/928.26	c current bound: 10
930.59/931.33	c model valid
930.59/931.33	c current solution ok
930.59/931.34	c current bound: 10
933.69/934.42	c model valid
933.69/934.42	c current solution ok
933.69/934.43	c current bound: 10
936.79/937.53	c model valid
936.79/937.53	c current solution ok
936.79/937.54	c current bound: 10
939.89/940.65	c model valid
939.89/940.65	c current solution ok
939.89/940.66	c current bound: 10
943.00/943.72	c model valid
943.00/943.72	c current solution ok
943.00/943.73	c current bound: 10
946.09/946.82	c model valid
946.09/946.82	c current solution ok
946.09/946.83	c current bound: 10
949.09/949.89	c model valid
949.09/949.89	c current solution ok
949.19/949.90	c current bound: 10
952.27/953.00	c model valid
952.27/953.00	c current solution ok
952.27/953.01	c current bound: 10
955.28/956.09	c model valid
955.28/956.09	c current solution ok
955.40/956.10	c current bound: 10
958.40/959.19	c model valid
958.40/959.19	c current solution ok
958.40/959.20	c current bound: 10
961.59/962.30	c model valid
961.59/962.30	c current solution ok
961.59/962.31	c current bound: 10
964.68/965.41	c model valid
964.68/965.41	c current solution ok
964.68/965.42	c current bound: 10
967.68/968.48	c model valid
967.68/968.48	c current solution ok
967.68/968.49	c current bound: 10
970.78/971.59	c model valid
970.78/971.59	c current solution ok
970.89/971.60	c current bound: 10
973.97/974.71	c model valid
973.97/974.71	c current solution ok
973.97/974.72	c current bound: 10
977.08/977.83	c model valid
977.08/977.83	c current solution ok
977.08/977.84	c current bound: 10
980.16/980.93	c model valid
980.16/980.93	c current solution ok
980.16/980.94	c current bound: 10
983.27/984.04	c model valid
983.27/984.04	c current solution ok
983.27/984.05	c current bound: 10
986.37/987.15	c model valid
986.37/987.15	c current solution ok
986.37/987.16	c current bound: 10
989.47/990.25	c model valid
989.47/990.25	c current solution ok
989.47/990.26	c current bound: 10
992.58/993.33	c model valid
992.58/993.33	c current solution ok
992.58/993.34	c current bound: 10
995.68/996.43	c model valid
995.68/996.43	c current solution ok
995.68/996.44	c current bound: 10
998.78/999.55	c model valid
998.78/999.55	c current solution ok
998.78/999.56	c current bound: 10
1001.87/1002.65	c model valid
1001.87/1002.65	c current solution ok
1001.87/1002.66	c current bound: 10
1004.98/1005.76	c model valid
1004.98/1005.76	c current solution ok
1004.98/1005.77	c current bound: 10
1008.08/1008.87	c model valid
1008.08/1008.87	c current solution ok
1008.08/1008.88	c current bound: 10
1011.19/1011.97	c model valid
1011.19/1011.97	c current solution ok
1011.19/1011.98	c current bound: 10
1014.27/1015.09	c model valid
1014.27/1015.09	c current solution ok
1014.39/1015.10	c current bound: 10
1017.47/1018.21	c model valid
1017.47/1018.21	c current solution ok
1017.47/1018.22	c current bound: 10
1020.57/1021.31	c model valid
1020.57/1021.31	c current solution ok
1020.57/1021.32	c current bound: 10
1023.67/1024.42	c model valid
1023.67/1024.42	c current solution ok
1023.67/1024.43	c current bound: 10
1026.77/1027.53	c model valid
1026.77/1027.53	c current solution ok
1026.77/1027.54	c current bound: 10
1029.89/1030.64	c model valid
1029.89/1030.64	c current solution ok
1029.89/1030.65	c current bound: 10
1032.97/1033.75	c model valid
1032.97/1033.75	c current solution ok
1032.97/1033.76	c current bound: 10
1036.07/1036.87	c model valid
1036.07/1036.87	c current solution ok
1036.07/1036.88	c current bound: 10
1039.17/1039.98	c model valid
1039.17/1039.98	c current solution ok
1039.17/1039.99	c current bound: 10
1042.27/1043.09	c model valid
1042.27/1043.09	c current solution ok
1042.38/1043.10	c current bound: 10
1045.48/1046.20	c model valid
1045.48/1046.20	c current solution ok
1045.48/1046.21	c current bound: 10
1048.57/1049.31	c model valid
1048.57/1049.31	c current solution ok
1048.57/1049.32	c current bound: 10
1051.57/1052.39	c model valid
1051.57/1052.39	c current solution ok
1051.66/1052.40	c current bound: 10
1054.66/1055.48	c model valid
1054.66/1055.48	c current solution ok
1054.66/1055.49	c current bound: 10
1057.76/1058.58	c model valid
1057.76/1058.58	c current solution ok
1057.76/1058.59	c current bound: 10
1060.86/1061.69	c model valid
1060.86/1061.69	c current solution ok
1060.98/1061.70	c current bound: 10
1064.06/1064.81	c model valid
1064.06/1064.81	c current solution ok
1064.06/1064.82	c current bound: 10
1067.17/1067.92	c model valid
1067.17/1067.92	c current solution ok
1067.17/1067.93	c current bound: 10
1070.28/1071.03	c model valid
1070.28/1071.03	c current solution ok
1070.28/1071.04	c current bound: 10
1073.38/1074.14	c model valid
1073.38/1074.14	c current solution ok
1073.38/1074.15	c current bound: 10
1076.47/1077.25	c model valid
1076.47/1077.25	c current solution ok
1076.47/1077.26	c current bound: 10
1079.57/1080.33	c model valid
1079.57/1080.33	c current solution ok
1079.57/1080.34	c current bound: 10
1082.68/1083.44	c model valid
1082.68/1083.44	c current solution ok
1082.68/1083.45	c current bound: 10
1085.76/1086.56	c model valid
1085.76/1086.56	c current solution ok
1085.76/1086.57	c current bound: 10
1088.87/1089.67	c model valid
1088.87/1089.67	c current solution ok
1088.87/1089.68	c current bound: 10
1091.98/1092.79	c model valid
1091.98/1092.79	c current solution ok
1092.08/1092.80	c current bound: 10
1095.19/1095.90	c model valid
1095.19/1095.90	c current solution ok
1095.19/1095.91	c current bound: 10
1098.18/1098.99	c model valid
1098.18/1098.99	c current solution ok
1098.27/1099.00	c current bound: 10
1101.39/1102.10	c model valid
1101.39/1102.10	c current solution ok
1101.39/1102.12	c current bound: 10
1104.47/1105.22	c model valid
1104.47/1105.22	c current solution ok
1104.47/1105.23	c current bound: 10
1107.49/1108.29	c model valid
1107.49/1108.29	c current solution ok
1107.49/1108.30	c current bound: 10
1110.57/1111.39	c model valid
1110.57/1111.39	c current solution ok
1110.68/1111.40	c current bound: 10
1113.67/1114.46	c model valid
1113.67/1114.46	c current solution ok
1113.67/1114.47	c current bound: 10
1116.79/1117.53	c model valid
1116.79/1117.53	c current solution ok
1116.79/1117.54	c current bound: 10
1119.87/1120.64	c model valid
1119.87/1120.64	c current solution ok
1119.87/1120.65	c current bound: 10
1122.97/1123.75	c model valid
1122.97/1123.75	c current solution ok
1122.97/1123.76	c current bound: 10
1126.07/1126.86	c model valid
1126.07/1126.86	c current solution ok
1126.07/1126.87	c current bound: 10
1129.18/1129.98	c model valid
1129.18/1129.98	c current solution ok
1129.18/1129.99	c current bound: 10
1132.28/1133.05	c model valid
1132.28/1133.05	c current solution ok
1132.28/1133.06	c current bound: 10
1135.37/1136.15	c model valid
1135.37/1136.15	c current solution ok
1135.37/1136.16	c current bound: 10
1138.48/1139.26	c model valid
1138.48/1139.26	c current solution ok
1138.48/1139.27	c current bound: 10
1141.59/1142.37	c model valid
1141.59/1142.37	c current solution ok
1141.59/1142.38	c current bound: 10
1144.67/1145.44	c model valid
1144.67/1145.44	c current solution ok
1144.67/1145.45	c current bound: 10
1147.78/1148.55	c model valid
1147.78/1148.55	c current solution ok
1147.78/1148.56	c current bound: 10
1150.88/1151.66	c model valid
1150.88/1151.66	c current solution ok
1150.88/1151.68	c current bound: 10
1153.97/1154.78	c model valid
1153.97/1154.78	c current solution ok
1153.97/1154.79	c current bound: 10
1157.07/1157.85	c model valid
1157.07/1157.85	c current solution ok
1157.07/1157.86	c current bound: 10
1160.18/1160.96	c model valid
1160.18/1160.96	c current solution ok
1160.18/1160.97	c current bound: 10
1163.28/1164.07	c model valid
1163.28/1164.07	c current solution ok
1163.28/1164.08	c current bound: 10
1166.39/1167.19	c model valid
1166.39/1167.19	c current solution ok
1166.48/1167.20	c current bound: 10
1169.47/1170.30	c model valid
1169.47/1170.30	c current solution ok
1169.59/1170.31	c current bound: 10
1172.57/1173.38	c model valid
1172.57/1173.38	c current solution ok
1172.57/1173.39	c current bound: 10
1175.68/1176.49	c model valid
1175.68/1176.49	c current solution ok
1175.79/1176.50	c current bound: 10
1178.79/1179.59	c model valid
1178.79/1179.59	c current solution ok
1178.79/1179.60	c current bound: 10
1181.98/1182.70	c model valid
1181.98/1182.70	c current solution ok
1181.98/1182.71	c current bound: 10
1185.06/1185.81	c model valid
1185.06/1185.81	c current solution ok
1185.06/1185.82	c current bound: 10
1188.18/1188.92	c model valid
1188.18/1188.92	c current solution ok
1188.18/1188.93	c current bound: 10
1191.28/1192.03	c model valid
1191.28/1192.03	c current solution ok
1191.28/1192.04	c current bound: 10
1194.38/1195.12	c model valid
1194.38/1195.12	c current solution ok
1194.38/1195.13	c current bound: 10
1197.47/1198.24	c model valid
1197.47/1198.24	c current solution ok
1197.47/1198.25	c current bound: 10
1200.58/1201.35	c model valid
1200.58/1201.35	c current solution ok
1200.58/1201.36	c current bound: 10
1203.69/1204.46	c model valid
1203.69/1204.46	c current solution ok
1203.69/1204.47	c current bound: 10
1206.77/1207.57	c model valid
1206.77/1207.57	c current solution ok
1206.77/1207.58	c current bound: 10
1209.87/1210.68	c model valid
1209.87/1210.68	c current solution ok
1209.87/1210.69	c current bound: 10
1212.98/1213.79	c model valid
1212.98/1213.79	c current solution ok
1213.09/1213.80	c current bound: 10
1216.20/1216.90	c model valid
1216.20/1216.90	c current solution ok
1216.20/1216.91	c current bound: 10
1219.26/1220.01	c model valid
1219.26/1220.01	c current solution ok
1219.26/1220.02	c current bound: 10
1222.39/1223.13	c model valid
1222.39/1223.13	c current solution ok
1222.39/1223.14	c current bound: 10
1225.47/1226.23	c model valid
1225.47/1226.23	c current solution ok
1225.47/1226.24	c current bound: 10
1228.58/1229.34	c model valid
1228.58/1229.34	c current solution ok
1228.58/1229.35	c current bound: 10
1231.69/1232.45	c model valid
1231.69/1232.45	c current solution ok
1231.69/1232.46	c current bound: 10
1234.78/1235.56	c model valid
1234.78/1235.56	c current solution ok
1234.78/1235.57	c current bound: 10
1237.89/1238.67	c model valid
1237.89/1238.67	c current solution ok
1237.89/1238.68	c current bound: 10
1240.99/1241.74	c model valid
1240.99/1241.74	c current solution ok
1240.99/1241.75	c current bound: 10
1244.08/1244.85	c model valid
1244.08/1244.85	c current solution ok
1244.08/1244.86	c current bound: 10
1247.19/1247.95	c model valid
1247.19/1247.95	c current solution ok
1247.19/1247.97	c current bound: 10
1250.28/1251.04	c model valid
1250.28/1251.04	c current solution ok
1250.28/1251.05	c current bound: 10
1253.39/1254.15	c model valid
1253.39/1254.15	c current solution ok
1253.47/1254.59	c current bound: 10
1256.50/1257.26	c model valid
1256.50/1257.26	c current solution ok
1256.50/1257.27	c current bound: 10
1259.59/1260.35	c model valid
1259.59/1260.35	c current solution ok
1259.59/1260.36	c current bound: 10
1262.69/1263.44	c model valid
1262.69/1263.44	c current solution ok
1262.69/1263.45	c current bound: 10
1265.80/1266.53	c model valid
1265.80/1266.53	c current solution ok
1265.80/1266.54	c current bound: 10
1268.89/1269.62	c model valid
1268.89/1269.62	c current solution ok
1268.89/1269.63	c current bound: 10
1271.98/1272.71	c model valid
1271.98/1272.71	c current solution ok
1271.98/1272.72	c current bound: 10
1275.09/1275.82	c model valid
1275.09/1275.82	c current solution ok
1275.09/1275.83	c current bound: 10
1278.20/1278.94	c model valid
1278.20/1278.94	c current solution ok
1278.20/1278.95	c current bound: 10
1281.29/1282.03	c model valid
1281.29/1282.03	c current solution ok
1281.29/1282.04	c current bound: 10
1284.39/1285.15	c model valid
1284.39/1285.15	c current solution ok
1284.39/1285.16	c current bound: 10
1287.51/1288.23	c model valid
1287.51/1288.23	c current solution ok
1287.51/1288.24	c current bound: 10
1290.61/1291.33	c model valid
1290.61/1291.33	c current solution ok
1290.61/1291.34	c current bound: 10
1293.68/1294.40	c model valid
1293.68/1294.40	c current solution ok
1293.68/1294.41	c current bound: 10
1296.80/1297.51	c model valid
1296.80/1297.51	c current solution ok
1296.80/1297.52	c current bound: 10
1299.89/1300.62	c model valid
1299.89/1300.62	c current solution ok
1299.89/1300.63	c current bound: 10
1303.00/1303.74	c model valid
1303.00/1303.74	c current solution ok
1303.00/1303.75	c current bound: 10
1306.10/1306.83	c model valid
1306.10/1306.83	c current solution ok
1306.10/1306.84	c current bound: 10
1309.20/1309.94	c model valid
1309.20/1309.94	c current solution ok
1309.20/1309.95	c current bound: 10
1312.30/1313.05	c model valid
1312.30/1313.05	c current solution ok
1312.30/1313.06	c current bound: 10
1315.39/1316.13	c model valid
1315.39/1316.13	c current solution ok
1315.39/1316.14	c current bound: 10
1318.49/1319.25	c model valid
1318.49/1319.25	c current solution ok
1318.49/1319.26	c current bound: 10
1321.58/1322.36	c model valid
1321.58/1322.36	c current solution ok
1321.58/1322.37	c current bound: 10
1324.69/1325.47	c model valid
1324.69/1325.47	c current solution ok
1324.69/1325.48	c current bound: 10
1327.80/1328.58	c model valid
1327.80/1328.58	c current solution ok
1327.80/1328.59	c current bound: 10
1330.89/1331.69	c model valid
1330.89/1331.69	c current solution ok
1331.01/1331.71	c current bound: 10
1333.99/1334.77	c model valid
1333.99/1334.77	c current solution ok
1333.99/1334.78	c current bound: 10
1337.09/1337.86	c model valid
1337.09/1337.86	c current solution ok
1337.09/1337.87	c current bound: 10
1340.20/1340.95	c model valid
1340.20/1340.95	c current solution ok
1340.20/1340.96	c current bound: 10
1343.29/1344.06	c model valid
1343.29/1344.06	c current solution ok
1343.29/1344.07	c current bound: 10
1346.38/1347.17	c model valid
1346.38/1347.17	c current solution ok
1346.38/1347.18	c current bound: 10
1349.48/1350.26	c model valid
1349.48/1350.26	c current solution ok
1349.48/1350.27	c current bound: 10
1352.58/1353.37	c model valid
1352.58/1353.37	c current solution ok
1352.58/1353.38	c current bound: 10
1355.68/1356.44	c model valid
1355.68/1356.44	c current solution ok
1355.68/1356.45	c current bound: 10
1358.80/1359.55	c model valid
1358.80/1359.55	c current solution ok
1358.80/1359.56	c current bound: 10
1361.89/1362.65	c model valid
1361.89/1362.65	c current solution ok
1361.89/1362.66	c current bound: 10
1364.99/1365.77	c model valid
1364.99/1365.77	c current solution ok
1364.99/1365.78	c current bound: 10
1368.09/1368.88	c model valid
1368.09/1368.88	c current solution ok
1368.09/1368.89	c current bound: 10
1371.19/1371.99	c model valid
1371.19/1371.99	c current solution ok
1371.30/1372.00	c current bound: 10
1374.40/1375.10	c model valid
1374.40/1375.10	c current solution ok
1374.40/1375.11	c current bound: 10
1377.49/1378.21	c model valid
1377.49/1378.21	c current solution ok
1377.49/1378.22	c current bound: 10
1380.58/1381.32	c model valid
1380.58/1381.32	c current solution ok
1380.58/1381.33	c current bound: 10
1383.68/1384.43	c model valid
1383.68/1384.43	c current solution ok
1383.68/1384.44	c current bound: 10
1386.78/1387.53	c model valid
1386.78/1387.53	c current solution ok
1386.78/1387.54	c current bound: 10
1389.88/1390.65	c model valid
1389.88/1390.65	c current solution ok
1389.88/1390.66	c current bound: 10
1392.99/1393.75	c model valid
1392.99/1393.75	c current solution ok
1392.99/1393.76	c current bound: 10
1396.09/1396.86	c model valid
1396.09/1396.86	c current solution ok
1396.09/1396.87	c current bound: 10
1399.19/1399.97	c model valid
1399.19/1399.97	c current solution ok
1399.19/1399.98	c current bound: 10
1402.28/1403.08	c model valid
1402.28/1403.08	c current solution ok
1402.28/1403.09	c current bound: 10
1405.38/1406.16	c model valid
1405.38/1406.16	c current solution ok
1405.38/1406.17	c current bound: 10
1408.49/1409.27	c model valid
1408.49/1409.27	c current solution ok
1408.49/1409.28	c current bound: 10
1411.59/1412.35	c model valid
1411.59/1412.35	c current solution ok
1411.59/1412.36	c current bound: 10
1414.68/1415.46	c model valid
1414.68/1415.46	c current solution ok
1414.68/1415.47	c current bound: 10
1417.78/1418.57	c model valid
1417.78/1418.57	c current solution ok
1417.78/1418.58	c current bound: 10
1420.88/1421.68	c model valid
1420.88/1421.68	c current solution ok
1420.88/1421.69	c current bound: 10
1423.99/1424.75	c model valid
1423.99/1424.75	c current solution ok
1423.99/1424.76	c current bound: 10
1427.10/1427.87	c model valid
1427.10/1427.87	c current solution ok
1427.10/1427.88	c current bound: 10
1430.18/1430.97	c model valid
1430.18/1430.97	c current solution ok
1430.18/1430.98	c current bound: 10
1433.29/1434.08	c model valid
1433.29/1434.08	c current solution ok
1433.29/1434.10	c current bound: 10
1436.50/1437.20	c model valid
1436.50/1437.20	c current solution ok
1436.50/1437.21	c current bound: 10
1439.57/1440.31	c model valid
1439.57/1440.31	c current solution ok
1439.57/1440.32	c current bound: 10
1442.68/1443.41	c model valid
1442.68/1443.41	c current solution ok
1442.68/1443.42	c current bound: 10
1445.78/1446.52	c model valid
1445.78/1446.52	c current solution ok
1445.78/1446.53	c current bound: 10
1448.89/1449.63	c model valid
1448.89/1449.63	c current solution ok
1448.89/1449.64	c current bound: 10
1451.99/1452.74	c model valid
1451.99/1452.74	c current solution ok
1451.99/1452.75	c current bound: 10
1455.10/1455.84	c model valid
1455.10/1455.84	c current solution ok
1455.10/1455.85	c current bound: 10
1458.18/1458.91	c model valid
1458.18/1458.91	c current solution ok
1458.18/1458.92	c current bound: 10
1461.29/1462.02	c model valid
1461.29/1462.02	c current solution ok
1461.29/1462.03	c current bound: 10
1464.39/1465.13	c model valid
1464.39/1465.13	c current solution ok
1464.39/1465.14	c current bound: 10
1467.47/1468.21	c model valid
1467.47/1468.21	c current solution ok
1467.47/1468.22	c current bound: 10
1470.58/1471.32	c model valid
1470.58/1471.32	c current solution ok
1470.58/1471.33	c current bound: 10
1473.68/1474.42	c model valid
1473.68/1474.42	c current solution ok
1473.68/1474.43	c current bound: 10
1476.76/1477.50	c model valid
1476.76/1477.50	c current solution ok
1476.76/1477.51	c current bound: 10
1479.78/1480.60	c model valid
1479.78/1480.60	c current solution ok
1479.89/1480.61	c current bound: 10
1482.87/1483.67	c model valid
1482.87/1483.67	c current solution ok
1482.87/1483.68	c current bound: 10
1485.97/1486.75	c model valid
1485.97/1486.75	c current solution ok
1485.97/1486.76	c current bound: 10
1489.08/1489.87	c model valid
1489.08/1489.87	c current solution ok
1489.08/1489.88	c current bound: 10
1492.17/1492.93	c model valid
1492.17/1492.93	c current solution ok
1492.17/1492.94	c current bound: 10
1495.28/1496.05	c model valid
1495.28/1496.05	c current solution ok
1495.28/1496.06	c current bound: 10
1498.38/1499.12	c model valid
1498.38/1499.12	c current solution ok
1498.38/1499.13	c current bound: 10
1501.50/1502.20	c model valid
1501.50/1502.20	c current solution ok
1501.50/1502.21	c current bound: 10
1504.48/1505.26	c model valid
1504.48/1505.26	c current solution ok
1504.48/1505.27	c current bound: 10
1507.58/1508.37	c model valid
1507.58/1508.37	c current solution ok
1507.58/1508.38	c current bound: 10
1510.69/1511.48	c model valid
1510.69/1511.48	c current solution ok
1510.69/1511.49	c current bound: 10
1513.78/1514.60	c model valid
1513.78/1514.60	c current solution ok
1513.89/1514.61	c current bound: 10
1516.96/1517.71	c model valid
1516.96/1517.71	c current solution ok
1516.96/1517.72	c current bound: 10
1520.09/1520.82	c model valid
1520.09/1520.82	c current solution ok
1520.09/1520.83	c current bound: 10
1523.18/1523.92	c model valid
1523.18/1523.92	c current solution ok
1523.18/1523.94	c current bound: 10
1526.27/1527.02	c model valid
1526.27/1527.02	c current solution ok
1526.27/1527.03	c current bound: 10
1529.38/1530.13	c model valid
1529.38/1530.13	c current solution ok
1529.38/1530.14	c current bound: 10
1532.46/1533.21	c model valid
1532.46/1533.21	c current solution ok
1532.46/1533.22	c current bound: 10
1535.58/1536.32	c model valid
1535.58/1536.32	c current solution ok
1535.58/1536.33	c current bound: 10
1538.66/1539.40	c model valid
1538.66/1539.40	c current solution ok
1538.66/1539.41	c current bound: 10
1541.78/1542.52	c model valid
1541.78/1542.52	c current solution ok
1541.78/1542.53	c current bound: 10
1544.87/1545.64	c model valid
1544.87/1545.64	c current solution ok
1544.87/1545.65	c current bound: 10
1547.98/1548.75	c model valid
1547.98/1548.75	c current solution ok
1547.98/1548.76	c current bound: 10
1551.09/1551.84	c model valid
1551.09/1551.84	c current solution ok
1551.09/1551.85	c current bound: 10
1554.17/1554.96	c model valid
1554.17/1554.96	c current solution ok
1554.17/1554.97	c current bound: 10
1557.28/1558.07	c model valid
1557.28/1558.07	c current solution ok
1557.28/1558.08	c current bound: 10
1560.38/1561.18	c model valid
1560.38/1561.18	c current solution ok
1560.38/1561.19	c current bound: 10
1563.48/1564.26	c model valid
1563.48/1564.26	c current solution ok
1563.48/1564.27	c current bound: 10
1566.59/1567.34	c model valid
1566.59/1567.34	c current solution ok
1566.59/1567.35	c current bound: 10
1569.68/1570.45	c model valid
1569.68/1570.45	c current solution ok
1569.68/1570.46	c current bound: 10
1572.78/1573.56	c model valid
1572.78/1573.56	c current solution ok
1572.78/1573.57	c current bound: 10
1575.89/1576.67	c model valid
1575.89/1576.67	c current solution ok
1575.89/1576.68	c current bound: 10
1578.98/1579.78	c model valid
1578.98/1579.78	c current solution ok
1578.98/1579.79	c current bound: 10
1582.08/1582.90	c model valid
1582.08/1582.90	c current solution ok
1582.20/1582.91	c current bound: 10
1585.27/1586.00	c model valid
1585.27/1586.00	c current solution ok
1585.27/1586.01	c current bound: 10
1588.38/1589.12	c model valid
1588.38/1589.12	c current solution ok
1588.38/1589.13	c current bound: 10
1591.49/1592.24	c model valid
1591.49/1592.24	c current solution ok
1591.49/1592.25	c current bound: 10
1594.59/1595.35	c model valid
1594.59/1595.35	c current solution ok
1594.59/1595.36	c current bound: 10
1597.68/1598.46	c model valid
1597.68/1598.46	c current solution ok
1597.68/1598.47	c current bound: 10
1600.79/1601.57	c model valid
1600.79/1601.57	c current solution ok
1600.79/1601.58	c current bound: 10
1603.89/1604.69	c model valid
1603.89/1604.69	c current solution ok
1603.99/1604.70	c current bound: 10
1607.07/1607.81	c model valid
1607.07/1607.81	c current solution ok
1607.07/1607.82	c current bound: 10
1610.19/1610.93	c model valid
1610.19/1610.93	c current solution ok
1610.19/1610.94	c current bound: 10
1613.30/1614.03	c model valid
1613.30/1614.03	c current solution ok
1613.30/1614.04	c current bound: 10
1616.38/1617.12	c model valid
1616.38/1617.12	c current solution ok
1616.38/1617.13	c current bound: 10
1619.49/1620.22	c model valid
1619.49/1620.22	c current solution ok
1619.49/1620.23	c current bound: 10
1622.59/1623.32	c model valid
1622.59/1623.32	c current solution ok
1622.59/1623.33	c current bound: 10
1625.70/1626.44	c model valid
1625.70/1626.44	c current solution ok
1625.70/1626.45	c current bound: 10
1628.78/1629.52	c model valid
1628.78/1629.52	c current solution ok
1628.78/1629.53	c current bound: 10
1631.87/1632.61	c model valid
1631.87/1632.61	c current solution ok
1631.87/1632.62	c current bound: 10
1634.90/1635.69	c model valid
1634.90/1635.69	c current solution ok
1634.90/1635.70	c current bound: 10
1637.98/1638.76	c model valid
1637.98/1638.76	c current solution ok
1637.98/1638.77	c current bound: 10
1641.09/1641.83	c model valid
1641.09/1641.83	c current solution ok
1641.09/1641.84	c current bound: 10
1644.19/1644.94	c model valid
1644.19/1644.94	c current solution ok
1644.19/1644.95	c current bound: 10
1647.28/1648.05	c model valid
1647.28/1648.05	c current solution ok
1647.28/1648.06	c current bound: 10
1650.40/1651.16	c model valid
1650.40/1651.16	c current solution ok
1650.40/1651.17	c current bound: 10
1653.47/1654.28	c model valid
1653.47/1654.28	c current solution ok
1653.47/1654.29	c current bound: 10
1656.79/1657.58	c model valid
1656.79/1657.58	c current solution ok
1656.79/1657.59	c current bound: 10
1659.89/1660.69	c model valid
1659.89/1660.69	c current solution ok
1659.99/1660.70	c current bound: 10
1662.99/1663.79	c model valid
1662.99/1663.79	c current solution ok
1663.08/1663.80	c current bound: 10
1666.20/1666.90	c model valid
1666.20/1666.90	c current solution ok
1666.20/1666.91	c current bound: 10
1669.19/1669.99	c model valid
1669.19/1669.99	c current solution ok
1669.28/1670.00	c current bound: 10
1672.28/1673.10	c model valid
1672.28/1673.10	c current solution ok
1672.40/1673.11	c current bound: 10
1675.37/1676.17	c model valid
1675.37/1676.17	c current solution ok
1675.37/1676.18	c current bound: 10
1678.47/1679.29	c model valid
1678.47/1679.29	c current solution ok
1678.57/1679.30	c current bound: 10
1681.66/1682.41	c model valid
1681.66/1682.41	c current solution ok
1681.66/1682.42	c current bound: 10
1684.77/1685.51	c model valid
1684.77/1685.51	c current solution ok
1684.77/1685.53	c current bound: 10
1687.88/1688.63	c model valid
1687.88/1688.63	c current solution ok
1687.88/1688.64	c current bound: 10
1690.98/1691.72	c model valid
1690.98/1691.72	c current solution ok
1690.98/1691.73	c current bound: 10
1694.07/1694.82	c model valid
1694.07/1694.82	c current solution ok
1694.07/1694.83	c current bound: 10
1697.18/1697.93	c model valid
1697.18/1697.93	c current solution ok
1697.18/1697.94	c current bound: 10
1700.27/1701.05	c model valid
1700.27/1701.05	c current solution ok
1700.27/1701.05	c current bound: 10
1703.36/1704.15	c model valid
1703.36/1704.15	c current solution ok
1703.36/1704.16	c current bound: 10
1706.48/1707.26	c model valid
1706.48/1707.26	c current solution ok
1706.48/1707.27	c current bound: 10
1709.57/1710.36	c model valid
1709.57/1710.36	c current solution ok
1709.57/1710.37	c current bound: 10
1712.67/1713.48	c model valid
1712.67/1713.48	c current solution ok
1712.67/1713.49	c current bound: 10
1715.78/1716.56	c model valid
1715.78/1716.56	c current solution ok
1715.78/1716.57	c current bound: 10
1718.86/1719.63	c model valid
1718.86/1719.63	c current solution ok
1718.86/1719.64	c current bound: 10
1721.96/1722.74	c model valid
1721.96/1722.74	c current solution ok
1721.96/1722.75	c current bound: 10
1725.08/1725.83	c model valid
1725.08/1725.83	c current solution ok
1725.08/1725.84	c current bound: 10
1728.16/1728.92	c model valid
1728.16/1728.92	c current solution ok
1728.16/1728.93	c current bound: 10
1731.24/1732.01	c model valid
1731.24/1732.01	c current solution ok
1731.24/1732.02	c current bound: 10
1734.36/1735.12	c model valid
1734.36/1735.12	c current solution ok
1734.36/1735.13	c current bound: 10
1737.45/1738.23	c model valid
1737.45/1738.23	c current solution ok
1737.45/1738.24	c current bound: 10
1740.46/1741.30	c model valid
1740.46/1741.30	c current solution ok
1740.58/1741.31	c current bound: 10
1743.65/1744.41	c model valid
1743.65/1744.41	c current solution ok
1743.65/1744.42	c current bound: 10
1746.76/1747.52	c model valid
1746.76/1747.52	c current solution ok
1746.76/1747.53	c current bound: 10
1749.85/1750.61	c model valid
1749.85/1750.61	c current solution ok
1749.85/1750.62	c current bound: 10
1752.94/1753.72	c model valid
1752.94/1753.72	c current solution ok
1752.94/1753.73	c current bound: 10
1756.06/1756.83	c model valid
1756.06/1756.83	c current solution ok
1756.06/1756.84	c current bound: 10
1759.16/1759.94	c model valid
1759.16/1759.94	c current solution ok
1759.16/1759.95	c current bound: 10
1762.27/1763.03	c model valid
1762.27/1763.03	c current solution ok
1762.27/1763.04	c current bound: 10
1765.36/1766.14	c model valid
1765.36/1766.14	c current solution ok
1765.36/1766.15	c current bound: 10
1768.46/1769.26	c model valid
1768.46/1769.26	c current solution ok
1768.46/1769.27	c current bound: 10
1771.56/1772.33	c model valid
1771.56/1772.33	c current solution ok
1771.56/1772.34	c current bound: 10
1774.67/1775.44	c model valid
1774.67/1775.44	c current solution ok
1774.67/1775.45	c current bound: 10
1777.76/1778.55	c model valid
1777.76/1778.55	c current solution ok
1777.76/1778.56	c current bound: 10
1780.86/1781.66	c model valid
1780.86/1781.66	c current solution ok
1780.86/1781.67	c current bound: 10
1783.97/1784.77	c model valid
1783.97/1784.77	c current solution ok
1783.97/1784.78	c current bound: 10
1787.06/1787.88	c model valid
1787.06/1787.88	c current solution ok
1787.06/1787.89	c current bound: 10
1790.16/1790.99	c model valid
1790.16/1790.99	c current solution ok
1790.27/1791.00	c current bound: 10
1793.39/1794.10	c model valid
1793.39/1794.10	c current solution ok
1793.39/1794.11	c current bound: 10
1796.46/1797.22	c model valid
1796.46/1797.22	c current solution ok
1796.46/1797.23	c current bound: 10
1799.55/1800.31	c model valid
1799.55/1800.31	c current solution ok
1799.55/1800.32	c current bound: 10
1800.07/1800.80	./satsolver.sh: line 5: 20896 Terminated              ./glucose $1 > $2 2> /dev/null
1800.07/1800.80	c error: unexpected solver exit code
1800.07/1800.80	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3703405-1338074880/watcher-3703405-1338074880 -o /tmp/evaluation-result-3703405-1338074880/solver-3703405-1338074880 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3703405-1338074880.opb 2007514577 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.01 2.02 2.00 3/178 16780
/proc/meminfo: memFree=29765100/32873844 swapFree=6600/6600
[pid=16780] ppid=16778 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16780/stat : 16780 (npSolver-pbo-It) S 16778 16780 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273612870 9367552 274 33554432000 4194304 5064252 140735686810432 140735686809344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16780/statm: 2287 274 233 213 0 72 0

[startup+0.0552041 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 16780
/proc/meminfo: memFree=29765100/32873844 swapFree=6600/6600
[pid=16780] ppid=16778 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16780/stat : 16780 (npSolver-pbo-It) S 16778 16780 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273612870 9367552 274 33554432000 4194304 5064252 140735686810432 140735686809344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16780/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.10021 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 16780
/proc/meminfo: memFree=29765100/32873844 swapFree=6600/6600
[pid=16780] ppid=16778 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16780/stat : 16780 (npSolver-pbo-It) S 16778 16780 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273612870 9367552 274 33554432000 4194304 5064252 140735686810432 140735686809344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16780/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30031 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 16780
/proc/meminfo: memFree=29765100/32873844 swapFree=6600/6600
[pid=16780] ppid=16778 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16780/stat : 16780 (npSolver-pbo-It) S 16778 16780 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273612870 9367552 274 33554432000 4194304 5064252 140735686810432 140735686809344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16780/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.70032 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 16780
/proc/meminfo: memFree=29765100/32873844 swapFree=6600/6600
[pid=16780] ppid=16778 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16780/stat : 16780 (npSolver-pbo-It) S 16778 16780 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273612870 9367552 274 33554432000 4194304 5064252 140735686810432 140735686809344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16780/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50029 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 16784
/proc/meminfo: memFree=29694220/32873844 swapFree=6600/6600
[pid=16780] ppid=16778 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16780/stat : 16780 (npSolver-pbo-It) S 16778 16780 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273612870 9367552 274 33554432000 4194304 5064252 140735686810432 140735686809344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16780/statm: 2287 274 233 213 0 72 0
[pid=16781] ppid=16780 vsize=17520 CPUtime=0.99 cores=0,2,4,6
/proc/16781/stat : 16781 (npSolver-pbo) S 16780 16780 28504 0 -1 4202496 4380 11354 0 0 19 1 77 2 20 0 1 0 273612870 17940480 3529 33554432000 4194304 5992684 140736600225584 140736600211848 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/16781/statm: 4380 3529 166 440 0 3936 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 26668

[startup+3.10032 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 16786
/proc/meminfo: memFree=29725128/32873844 swapFree=6600/6600
[pid=16780] ppid=16778 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16780/stat : 16780 (npSolver-pbo-It) S 16778 16780 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273612870 9367552 274 33554432000 4194304 5064252 140735686810432 140735686809344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16780/statm: 2287 274 233 213 0 72 0
[pid=16781] ppid=16780 vsize=17520 CPUtime=0.99 cores=0,2,4,6
/proc/16781/stat : 16781 (npSolver-pbo) S 16780 16780 28504 0 -1 4202496 4380 11354 0 0 19 1 77 2 20 0 1 0 273612870 17940480 3529 33554432000 4194304 5992684 140736600225584 140736600211848 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/16781/statm: 4380 3529 166 440 0 3936 0
[pid=16786] ppid=16781 vsize=28608 CPUtime=2.07 cores=0,2,4,6
/proc/16786/stat : 16786 (glucosInc) R 16781 16780 28504 0 -1 4202496 6291 0 0 0 207 0 0 0 20 0 1 0 273612971 29294592 6486 33554432000 4194304 5654031 140737359258096 140737359255880 4208694 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16786/statm: 7152 6486 140 357 0 6792 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 55276

[startup+6.30034 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 16786
/proc/meminfo: memFree=29716072/32873844 swapFree=6600/6600
[pid=16780] ppid=16778 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16780/stat : 16780 (npSolver-pbo-It) S 16778 16780 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273612870 9367552 274 33554432000 4194304 5064252 140735686810432 140735686809344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16780/statm: 2287 274 233 213 0 72 0
[pid=16781] ppid=16780 vsize=17524 CPUtime=1.31 cores=0,2,4,6
/proc/16781/stat : 16781 (npSolver-pbo) S 16780 16780 28504 0 -1 4202496 4826 11870 0 0 25 26 77 3 20 0 1 0 273612870 17944576 3580 33554432000 4194304 5992684 140736600225584 140736600217872 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16781/statm: 4381 3580 189 440 0 3937 0
[pid=16786] ppid=16781 vsize=29800 CPUtime=4.12 cores=0,2,4,6
/proc/16786/stat : 16786 (glucosInc) S 16781 16780 28504 0 -1 4202496 6657 0 0 0 412 0 0 0 20 0 1 0 273612971 30515200 6587 33554432000 4194304 5654031 140737359258096 140737359256408 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/16786/statm: 7450 6587 148 357 0 7090 0
Current children cumulated CPU time (s) 5.43
Current children cumulated vsize (KiB) 56472

[startup+12.7004 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 16803
/proc/meminfo: memFree=29691128/32873844 swapFree=6600/6600
[pid=16780] ppid=16778 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16780/stat : 16780 (npSolver-pbo-It) S 16778 16780 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273612870 9367552 274 33554432000 4194304 5064252 140735686810432 140735686809344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16780/statm: 2287 274 233 213 0 72 0
[pid=16781] ppid=16780 vsize=17524 CPUtime=7.53 cores=0,2,4,6
/proc/16781/stat : 16781 (npSolver-pbo) S 16780 16780 28504 0 -1 4202496 5700 32324 0 0 26 26 691 10 20 0 1 0 273612870 17944576 3580 33554432000 4194304 5992684 140736600225584 140736600217872 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16781/statm: 4381 3580 189 440 0 3937 0
[pid=16786] ppid=16781 vsize=29800 CPUtime=4.12 cores=0,2,4,6
/proc/16786/stat : 16786 (glucosInc) S 16781 16780 28504 0 -1 4202496 6657 0 0 0 412 0 0 0 20 0 1 0 273612971 30515200 6587 33554432000 4194304 5654031 140737359258096 140737359256408 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/16786/statm: 7450 6587 148 357 0 7090 0
[pid=16802] ppid=16781 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16802/stat : 16802 (satsolver.sh) S 16781 16780 28504 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 273614039 9367552 267 33554432000 4194304 5064252 140735000360272 140735000359184 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16802/statm: 2287 267 226 213 0 72 0
[pid=16803] ppid=16802 vsize=24344 CPUtime=0.99 cores=0,2,4,6
/proc/16803/stat : 16803 (glucose) R 16802 16780 28504 0 -1 4202496 4783 0 0 0 99 0 0 0 20 0 1 0 273614040 24928256 5466 33554432000 4194304 5208918 140737315132880 140737315130728 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16803/statm: 6086 5466 95 248 0 5835 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 89964

[startup+25.5004 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 16831
/proc/meminfo: memFree=29692120/32873844 swapFree=6600/6600
[pid=16780] ppid=16778 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16780/stat : 16780 (npSolver-pbo-It) S 16778 16780 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273612870 9367552 274 33554432000 4194304 5064252 140735686810432 140735686809344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16780/statm: 2287 274 233 213 0 72 0
[pid=16781] ppid=16780 vsize=17524 CPUtime=19.95 cores=0,2,4,6
/proc/16781/stat : 16781 (npSolver-pbo) S 16780 16780 28504 0 -1 4202496 7455 74004 0 0 27 27 1917 24 20 0 1 0 273612870 17944576 3580 33554432000 4194304 5992684 140736600225584 140736600217872 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16781/statm: 4381 3580 189 440 0 3937 0
[pid=16786] ppid=16781 vsize=29800 CPUtime=4.12 cores=0,2,4,6
/proc/16786/stat : 16786 (glucosInc) S 16781 16780 28504 0 -1 4202496 6657 0 0 0 412 0 0 0 20 0 1 0 273612971 30515200 6587 33554432000 4194304 5654031 140737359258096 140737359256408 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/16786/statm: 7450 6587 148 357 0 7090 0
[pid=16830] ppid=16781 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16830/stat : 16830 (satsolver.sh) S 16781 16780 28504 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273615282 9367552 266 33554432000 4194304 5064252 140734568815392 140734568814304 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16830/statm: 2287 266 226 213 0 72 0
[pid=16831] ppid=16830 vsize=24340 CPUtime=1.36 cores=0,2,4,6
/proc/16831/stat : 16831 (glucose) R 16830 16780 28504 0 -1 4202496 5143 0 0 0 136 0 0 0 20 0 1 0 273615282 24924160 5319 33554432000 4194304 5208918 140734776707296 140734776705256 4229311 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16831/statm: 6085 5319 103 248 0 5834 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 89960

[startup+51.1004 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 16887
/proc/meminfo: memFree=29691972/32873844 swapFree=6600/6600
[pid=16780] ppid=16778 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16780/stat : 16780 (npSolver-pbo-It) S 16778 16780 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273612870 9367552 274 33554432000 4194304 5064252 140735686810432 140735686809344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16780/statm: 2287 274 233 213 0 72 0
[pid=16781] ppid=16780 vsize=17524 CPUtime=44.75 cores=0,2,4,6
/proc/16781/stat : 16781 (npSolver-pbo) S 16780 16780 28504 0 -1 4202496 10977 154578 0 0 31 27 4365 52 20 0 1 0 273612870 17944576 3580 33554432000 4194304 5992684 140736600225584 140736600217872 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16781/statm: 4381 3580 189 440 0 3937 0
[pid=16786] ppid=16781 vsize=29800 CPUtime=4.12 cores=0,2,4,6
/proc/16786/stat : 16786 (glucosInc) S 16781 16780 28504 0 -1 4202496 6657 0 0 0 412 0 0 0 20 0 1 0 273612971 30515200 6587 33554432000 4194304 5654031 140737359258096 140737359256408 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/16786/statm: 7450 6587 148 357 0 7090 0
[pid=16886] ppid=16781 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16886/stat : 16886 (satsolver.sh) S 16781 16780 28504 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273617763 9367552 266 33554432000 4194304 5064252 140736319013136 140736319012048 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16886/statm: 2287 266 226 213 0 72 0
[pid=16887] ppid=16886 vsize=32844 CPUtime=2.16 cores=0,2,4,6
/proc/16887/stat : 16887 (glucose) R 16886 16780 28504 0 -1 4202496 5804 0 0 0 215 1 0 0 20 0 1 0 273617763 33632256 6515 33554432000 4194304 5208918 140734368934800 140734368932648 4229888 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16887/statm: 8211 6515 103 248 0 7960 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 98464

[startup+102.306 s]
/proc/loadavg: 2.08 2.03 2.01 3/183 17006
/proc/meminfo: memFree=29690804/32873844 swapFree=6600/6600
[pid=16780] ppid=16778 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16780/stat : 16780 (npSolver-pbo-It) S 16778 16780 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273612870 9367552 274 33554432000 4194304 5064252 140735686810432 140735686809344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16780/statm: 2287 274 233 213 0 72 0
[pid=16781] ppid=16780 vsize=17524 CPUtime=97.49 cores=0,2,4,6
/proc/16781/stat : 16781 (npSolver-pbo) S 16780 16780 28504 0 -1 4202496 18479 327826 0 0 37 29 9568 115 20 0 1 0 273612870 17944576 3580 33554432000 4194304 5992684 140736600225584 140736600217872 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16781/statm: 4381 3580 189 440 0 3937 0
[pid=16786] ppid=16781 vsize=29800 CPUtime=4.12 cores=0,2,4,6
/proc/16786/stat : 16786 (glucosInc) S 16781 16780 28504 0 -1 4202496 6657 0 0 0 412 0 0 0 20 0 1 0 273612971 30515200 6587 33554432000 4194304 5654031 140737359258096 140737359256408 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/16786/statm: 7450 6587 148 357 0 7090 0
[pid=17005] ppid=16781 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17005/stat : 17005 (satsolver.sh) S 16781 16780 28504 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273623036 9367552 266 33554432000 4194304 5064252 140734008732784 140734008731696 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17005/statm: 2287 266 226 213 0 72 0
[pid=17006] ppid=17005 vsize=24196 CPUtime=0.63 cores=0,2,4,6
/proc/17006/stat : 17006 (glucose) R 17005 16780 28504 0 -1 4202496 4443 0 0 0 63 0 0 0 20 0 1 0 273623036 24776704 5175 33554432000 4194304 5208918 140734189711216 140734189709176 4213216 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17006/statm: 6049 5175 95 248 0 5798 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 89816

[startup+162.3 s]
/proc/loadavg: 1.98 2.01 2.00 3/184 17142
/proc/meminfo: memFree=29684728/32873844 swapFree=6600/6600
[pid=16780] ppid=16778 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16780/stat : 16780 (npSolver-pbo-It) S 16778 16780 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273612870 9367552 274 33554432000 4194304 5064252 140735686810432 140735686809344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16780/statm: 2287 274 233 213 0 72 0
[pid=16781] ppid=16780 vsize=17524 CPUtime=156.6 cores=0,2,4,6
/proc/16781/stat : 16781 (npSolver-pbo) S 16780 16780 28504 0 -1 4202496 26878 523557 0 0 45 31 15400 184 20 0 1 0 273612870 17944576 3580 33554432000 4194304 5992684 140736600225584 140736600217872 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16781/statm: 4381 3580 189 440 0 3937 0
[pid=16786] ppid=16781 vsize=29800 CPUtime=4.12 cores=0,2,4,6

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

/proc/20040/stat : 20040 (satsolver.sh) S 16781 16780 28504 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273755039 9367552 266 33554432000 4194304 5064252 140733278621488 140733278620400 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20040/statm: 2287 266 226 213 0 72 0
[pid=20041] ppid=20040 vsize=24200 CPUtime=0.59 cores=0,2,4,6
/proc/20041/stat : 20041 (glucose) R 20040 16780 28504 0 -1 4202496 4711 0 0 0 59 0 0 0 20 0 1 0 273755040 24780800 5399 33554432000 4194304 5208918 140735213493600 140735213491448 4212508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20041/statm: 6050 5399 95 248 0 5799 0
Current children cumulated CPU time (s) 1421.59
Current children cumulated vsize (KiB) 89820

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/185 20174
/proc/meminfo: memFree=29305960/32873844 swapFree=6600/6600
[pid=16780] ppid=16778 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16780/stat : 16780 (npSolver-pbo-It) S 16778 16780 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273612870 9367552 274 33554432000 4194304 5064252 140735686810432 140735686809344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16780/statm: 2287 274 233 213 0 72 0
[pid=16781] ppid=16780 vsize=17524 CPUtime=1475.78 cores=0,2,4,6
/proc/16781/stat : 16781 (npSolver-pbo) S 16780 16780 28504 0 -1 4202496 214918 4851076 0 0 216 79 145615 1668 20 0 1 0 273612870 17944576 3580 33554432000 4194304 5992684 140736600225584 140736600217872 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16781/statm: 4381 3580 189 440 0 3937 0
[pid=16786] ppid=16781 vsize=29800 CPUtime=4.12 cores=0,2,4,6
/proc/16786/stat : 16786 (glucosInc) S 16781 16780 28504 0 -1 4202496 6657 0 0 0 412 0 0 0 20 0 1 0 273612971 30515200 6619 33554432000 4194304 5654031 140737359258096 140737359256408 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/16786/statm: 7450 6619 148 357 0 7090 0
[pid=20173] ppid=16781 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20173/stat : 20173 (satsolver.sh) S 16781 16780 28504 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273760931 9367552 266 33554432000 4194304 5064252 140735117892656 140735117891568 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20173/statm: 2287 266 226 213 0 72 0
[pid=20174] ppid=20173 vsize=27696 CPUtime=1.68 cores=0,2,4,6
/proc/20174/stat : 20174 (glucose) R 20173 16780 28504 0 -1 4202496 5530 0 0 0 167 1 0 0 20 0 1 0 273760931 28360704 6220 33554432000 4194304 5208918 140734971571472 140734971569320 4212442 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20174/statm: 6924 6220 103 248 0 6673 0
Current children cumulated CPU time (s) 1481.58
Current children cumulated vsize (KiB) 93316

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/185 20308
/proc/meminfo: memFree=29296388/32873844 swapFree=6600/6600
[pid=16780] ppid=16778 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16780/stat : 16780 (npSolver-pbo-It) S 16778 16780 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273612870 9367552 274 33554432000 4194304 5064252 140735686810432 140735686809344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16780/statm: 2287 274 233 213 0 72 0
[pid=16781] ppid=16780 vsize=17524 CPUtime=1534.59 cores=0,2,4,6
/proc/16781/stat : 16781 (npSolver-pbo) S 16780 16780 28504 0 -1 4202496 223310 5043952 0 0 223 81 151418 1737 20 0 1 0 273612870 17944576 3580 33554432000 4194304 5992684 140736600225584 140736600217872 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16781/statm: 4381 3580 189 440 0 3937 0
[pid=16786] ppid=16781 vsize=29800 CPUtime=4.12 cores=0,2,4,6
/proc/16786/stat : 16786 (glucosInc) S 16781 16780 28504 0 -1 4202496 6657 0 0 0 412 0 0 0 20 0 1 0 273612971 30515200 6619 33554432000 4194304 5654031 140737359258096 140737359256408 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/16786/statm: 7450 6619 148 357 0 7090 0
[pid=20307] ppid=16781 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20307/stat : 20307 (satsolver.sh) S 16781 16780 28504 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273766812 9367552 267 33554432000 4194304 5064252 140736133949200 140736133948112 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20307/statm: 2287 267 226 213 0 72 0
[pid=20308] ppid=20307 vsize=28956 CPUtime=2.87 cores=0,2,4,6
/proc/20308/stat : 20308 (glucose) R 20307 16780 28504 0 -1 4202496 6730 0 0 0 286 1 0 0 20 0 1 0 273766812 29650944 6573 33554432000 4194304 5208918 140737364139456 140737364137608 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20308/statm: 7239 6573 105 248 0 6988 0
Current children cumulated CPU time (s) 1541.58
Current children cumulated vsize (KiB) 94576

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 20441
/proc/meminfo: memFree=29296752/32873844 swapFree=6600/6600
[pid=16780] ppid=16778 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16780/stat : 16780 (npSolver-pbo-It) S 16778 16780 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273612870 9367552 274 33554432000 4194304 5064252 140735686810432 140735686809344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16780/statm: 2287 274 233 213 0 72 0
[pid=16781] ppid=16780 vsize=17524 CPUtime=1596.77 cores=0,2,4,6
/proc/16781/stat : 16781 (npSolver-pbo) S 16780 16780 28504 0 -1 4202496 232141 5251199 0 0 231 83 157555 1808 20 0 1 0 273612870 17944576 3580 33554432000 4194304 5992684 140736600225584 140736600217872 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16781/statm: 4381 3580 189 440 0 3937 0
[pid=16786] ppid=16781 vsize=29800 CPUtime=4.12 cores=0,2,4,6
/proc/16786/stat : 16786 (glucosInc) S 16781 16780 28504 0 -1 4202496 6657 0 0 0 412 0 0 0 20 0 1 0 273612971 30515200 6619 33554432000 4194304 5654031 140737359258096 140737359256408 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/16786/statm: 7450 6619 148 357 0 7090 0
Current children cumulated CPU time (s) 1600.89
Current children cumulated vsize (KiB) 56472

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 20581
/proc/meminfo: memFree=29294800/32873844 swapFree=6600/6600
[pid=16780] ppid=16778 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16780/stat : 16780 (npSolver-pbo-It) S 16778 16780 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273612870 9367552 274 33554432000 4194304 5064252 140735686810432 140735686809344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16780/statm: 2287 274 233 213 0 72 0
[pid=16781] ppid=16780 vsize=17524 CPUtime=1655.88 cores=0,2,4,6
/proc/16781/stat : 16781 (npSolver-pbo) S 16780 16780 28504 0 -1 4202496 240539 5442064 0 0 238 85 163391 1874 20 0 1 0 273612870 17944576 3580 33554432000 4194304 5992684 140736600225584 140736600217872 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16781/statm: 4381 3580 189 440 0 3937 0
[pid=16786] ppid=16781 vsize=29800 CPUtime=4.12 cores=0,2,4,6
/proc/16786/stat : 16786 (glucosInc) S 16781 16780 28504 0 -1 4202496 6657 0 0 0 412 0 0 0 20 0 1 0 273612971 30515200 6619 33554432000 4194304 5654031 140737359258096 140737359256408 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/16786/statm: 7450 6619 148 357 0 7090 0
[pid=20580] ppid=16781 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20580/stat : 20580 (satsolver.sh) S 16781 16780 28504 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273778940 9367552 267 33554432000 4194304 5064252 140736423929792 140736423928704 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20580/statm: 2287 267 226 213 0 72 0
[pid=20581] ppid=20580 vsize=25864 CPUtime=1.59 cores=0,2,4,6
/proc/20581/stat : 20581 (glucose) R 20580 16780 28504 0 -1 4202496 5001 0 0 0 158 1 0 0 20 0 1 0 273778940 26484736 5729 33554432000 4194304 5208918 140734539875472 140734539873320 4211027 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20581/statm: 6466 5729 103 248 0 6215 0
Current children cumulated CPU time (s) 1661.59
Current children cumulated vsize (KiB) 91484

[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/185 20714
/proc/meminfo: memFree=29288668/32873844 swapFree=6600/6600
[pid=16780] ppid=16778 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16780/stat : 16780 (npSolver-pbo-It) S 16778 16780 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273612870 9367552 274 33554432000 4194304 5064252 140735686810432 140735686809344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16780/statm: 2287 274 233 213 0 72 0
[pid=16781] ppid=16780 vsize=17524 CPUtime=1714.8 cores=0,2,4,6
/proc/16781/stat : 16781 (npSolver-pbo) S 16780 16780 28504 0 -1 4202496 248930 5635934 0 0 245 87 169213 1935 20 0 1 0 273612870 17944576 3580 33554432000 4194304 5992684 140736600225584 140736600217872 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16781/statm: 4381 3580 189 440 0 3937 0
[pid=16786] ppid=16781 vsize=29800 CPUtime=4.12 cores=0,2,4,6
/proc/16786/stat : 16786 (glucosInc) S 16781 16780 28504 0 -1 4202496 6657 0 0 0 412 0 0 0 20 0 1 0 273612971 30515200 6619 33554432000 4194304 5654031 140737359258096 140737359256408 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/16786/statm: 7450 6619 148 357 0 7090 0
[pid=20713] ppid=16781 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20713/stat : 20713 (satsolver.sh) S 16781 16780 28504 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273784835 9367552 266 33554432000 4194304 5064252 140737006657744 140737006656656 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20713/statm: 2287 266 226 213 0 72 0
[pid=20714] ppid=20713 vsize=32844 CPUtime=2.64 cores=0,2,4,6
/proc/20714/stat : 20714 (glucose) R 20713 16780 28504 0 -1 4202496 6398 0 0 0 263 1 0 0 20 0 1 0 273784835 33632256 7064 33554432000 4194304 5208918 140734405779920 140734405778072 4228965 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20714/statm: 8211 7064 103 248 0 7960 0
Current children cumulated CPU time (s) 1721.56
Current children cumulated vsize (KiB) 98464

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/185 20854
/proc/meminfo: memFree=29286224/32873844 swapFree=6600/6600
[pid=16780] ppid=16778 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16780/stat : 16780 (npSolver-pbo-It) S 16778 16780 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273612870 9367552 274 33554432000 4194304 5064252 140735686810432 140735686809344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16780/statm: 2287 274 233 213 0 72 0
[pid=16781] ppid=16780 vsize=17524 CPUtime=1776.84 cores=0,2,4,6
/proc/16781/stat : 16781 (npSolver-pbo) S 16780 16780 28504 0 -1 4202496 257777 5839161 0 0 253 89 175335 2007 20 0 1 0 273612870 17944576 3580 33554432000 4194304 5992684 140736600225584 140736600217872 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16781/statm: 4381 3580 189 440 0 3937 0
[pid=16786] ppid=16781 vsize=29800 CPUtime=4.12 cores=0,2,4,6
/proc/16786/stat : 16786 (glucosInc) S 16781 16780 28504 0 -1 4202496 6657 0 0 0 412 0 0 0 20 0 1 0 273612971 30515200 6619 33554432000 4194304 5654031 140737359258096 140737359256408 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/16786/statm: 7450 6619 148 357 0 7090 0
[pid=20853] ppid=16781 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20853/stat : 20853 (satsolver.sh) S 16781 16780 28504 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273791038 9367552 266 33554432000 4194304 5064252 140734440574032 140734440572944 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20853/statm: 2287 266 226 213 0 72 0
[pid=20854] ppid=20853 vsize=24200 CPUtime=0.61 cores=0,2,4,6
/proc/20854/stat : 20854 (glucose) R 20853 16780 28504 0 -1 4202496 5004 0 0 0 60 1 0 0 20 0 1 0 273791038 24780800 5173 33554432000 4194304 5208918 140733797139520 140733797137480 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20854/statm: 6050 5173 95 248 0 5799 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (KiB) 89820



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 2.02 2.01 2.00 3/185 20896
/proc/meminfo: memFree=29284768/32873844 swapFree=6600/6600
[pid=16780] ppid=16778 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16780/stat : 16780 (npSolver-pbo-It) S 16778 16780 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273612870 9367552 274 33554432000 4194304 5064252 140735686810432 140735686809344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16780/statm: 2287 274 233 213 0 72 0
[pid=16781] ppid=16780 vsize=17524 CPUtime=1795.48 cores=0,2,4,6
/proc/16781/stat : 16781 (npSolver-pbo) S 16780 16780 28504 0 -1 4202496 260434 5900757 0 0 256 90 177174 2028 20 0 1 0 273612870 17944576 3580 33554432000 4194304 5992684 140736600225584 140736600217872 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16781/statm: 4381 3580 189 440 0 3937 0
[pid=16786] ppid=16781 vsize=29800 CPUtime=4.12 cores=0,2,4,6
/proc/16786/stat : 16786 (glucosInc) S 16781 16780 28504 0 -1 4202496 6657 0 0 0 412 0 0 0 20 0 1 0 273612971 30515200 6619 33554432000 4194304 5654031 140737359258096 140737359256408 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/16786/statm: 7450 6619 148 357 0 7090 0
[pid=20895] ppid=16781 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20895/stat : 20895 (satsolver.sh) S 16781 16780 28504 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273792902 9367552 267 33554432000 4194304 5064252 140733972928480 140733972927392 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20895/statm: 2287 267 226 213 0 72 0
[pid=20896] ppid=20895 vsize=24196 CPUtime=0.47 cores=0,2,4,6
/proc/20896/stat : 20896 (glucose) R 20895 16780 28504 0 -1 4202496 4769 0 0 0 46 1 0 0 20 0 1 0 273792902 24776704 5453 33554432000 4194304 5208918 140735643200720 140735642150152 4213101 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20896/statm: 6049 5453 95 248 0 5798 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 89816

Sending SIGTERM to process tree (bottom up)

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16780 and gives
#  childrusage.ru_utime.tv_sec=1774
#  childrusage.ru_utime.tv_usec=773193
#  childrusage.ru_stime.tv_sec=21
#  childrusage.ru_stime.tv_usec=210775
# CPU time returned by wait4() is 1795.98
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.81
CPU time (s): 1800.07
CPU user time (s): 1778.88
CPU system time (s): 21.19
CPU usage (%): 99.9589
Max. virtual memory (cumulated for all children) (KiB): 105544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1774.77
system time used= 21.2108
maximum resident set size= 48884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6166950
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6536232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58320
involuntary context switches= 8179

runsolver used 7.44587 second user time and 12.6871 second system time

The end

Launcher Data 

Begin job on node140 at 2012-05-27 01:28:00
IDJOB=3703405
IDBENCH=47901
IDSOLVER=2278
FILE ID=node140/3703405-1338074880
RUNJOBID= node140-1338052929-28520
PBS_JOBID= 14624397
Free space on /tmp= 70828 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=5-P0=29-P1=11-P2=11-P3=17-P4=29-P5=23-B.opb
COMMAND LINE= DIR/npSolver-pbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3703405-1338074880/watcher-3703405-1338074880 -o /tmp/evaluation-result-3703405-1338074880/solver-3703405-1338074880 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo-Itdqb.sh HOME/instance-3703405-1338074880.opb 2007514577 HOME HOME

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

MD5SUM BENCH= fcb10f2a5637609269e4645e32e48d88
RANDOM SEED=2007514577

node140.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
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		: 2667.094
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.88
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29765496 kB
Buffers:          265172 kB
Cached:           971096 kB
SwapCached:         1596 kB
Active:          2282512 kB
Inactive:          25632 kB
Active(anon):    1062364 kB
Inactive(anon):     9776 kB
Active(file):    1220148 kB
Inactive(file):    15856 kB
Unevictable:        6600 kB
Mlocked:            6600 kB
SwapTotal:      67108856 kB
SwapFree:       67105132 kB
Dirty:              8156 kB
Writeback:             0 kB
AnonPages:       1146592 kB
Mapped:            13140 kB
Shmem:                 8 kB
Slab:             658684 kB
SReclaimable:     100844 kB
SUnreclaim:       557840 kB
KernelStack:        1504 kB
PageTables:         6084 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1301092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1050624 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70876 MiB
End job on node140 at 2012-05-27 01:58:01