Trace number 3751517

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 (fixed)? (TO) 1800.09 1801.31

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_50_2__8_45__128.opb
MD5SUMc57c1a163af10ea174ed9d51ace361ef
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark45008
Best CPU time to get the best result obtained on this benchmark3.46347
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12848
Total number of constraints150
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)102
Number of constraints which are nor clauses,nor cardinality constraints48
Minimum length of a constraint128
Maximum length of a constraint1153
Number of terms in the objective function 12800
Biggest coefficient in the objective function 126454
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 429636480
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 126454
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 429636480
Number of bits of the biggest sum of numbers29
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.18	c run inc solver
0.00/0.18	c [INC SYSTEM] run initial solver
0.00/0.18	c [INC SYSTEM] preprocess with white file
1.08/1.19	c [INC SYSTEM] finished preprocessing in 1 s
1.08/1.19	c [INC SYSTEM] execute solver
1.17/1.31	c [INC SEARCH] formula is SAT
1.17/1.32	c [INC SYSTEM] solved the initial formula
1.17/1.34	c model valid
1.17/1.34	c current solution ok
1.55/1.75	o 306047
1.55/1.75	c starting approximation
1.55/1.75	c factor = 7086
1.55/1.75	c factor still to low - shrinking to 11752.2
1.55/1.75	c approx number of clauses: 1e+06
1.55/1.75	c current bound: 153023
4.82/5.30	c model valid
4.82/5.30	c current solution ok
4.82/5.31	c current bound: 153023
7.54/8.39	c model valid
7.54/8.39	c current solution ok
7.91/8.40	c current bound: 153023
10.65/11.48	c model valid
10.65/11.48	c current solution ok
10.65/11.49	c current bound: 153023
13.73/14.58	c model valid
13.73/14.58	c current solution ok
13.73/14.59	c current bound: 153023
17.11/17.68	c model valid
17.11/17.68	c current solution ok
17.11/17.69	c current bound: 153023
19.94/20.77	c model valid
19.94/20.77	c current solution ok
19.94/20.78	c current bound: 153023
23.03/23.86	c model valid
23.03/23.86	c current solution ok
23.03/23.87	c current bound: 153023
26.13/26.95	c model valid
26.13/26.95	c current solution ok
26.13/26.96	c current bound: 153023
29.21/30.04	c model valid
29.21/30.04	c current solution ok
29.21/30.05	c current bound: 153023
32.61/33.14	c model valid
32.61/33.14	c current solution ok
32.61/33.15	c current bound: 153023
35.71/36.24	c model valid
35.71/36.24	c current solution ok
35.71/36.25	c current bound: 153023
38.49/39.33	c model valid
38.49/39.33	c current solution ok
38.49/39.34	c current bound: 153023
41.59/42.43	c model valid
41.59/42.43	c current solution ok
41.59/42.44	c current bound: 153023
45.01/45.51	c model valid
45.01/45.51	c current solution ok
45.01/45.52	c current bound: 153023
48.12/48.61	c model valid
48.12/48.61	c current solution ok
48.12/48.62	c current bound: 153023
51.11/51.70	c model valid
51.11/51.70	c current solution ok
51.22/51.71	c current bound: 153023
53.96/54.79	c model valid
53.96/54.79	c current solution ok
54.32/54.80	c current bound: 153023
57.43/57.91	c model valid
57.43/57.91	c current solution ok
57.43/57.92	c current bound: 153023
60.52/61.01	c model valid
60.52/61.01	c current solution ok
60.52/61.02	c current bound: 153023
63.62/64.11	c model valid
63.62/64.11	c current solution ok
63.62/64.12	c current bound: 153023
66.73/67.22	c model valid
66.73/67.22	c current solution ok
66.73/67.23	c current bound: 153023
69.82/70.31	c model valid
69.82/70.31	c current solution ok
69.82/70.32	c current bound: 153023
72.93/73.41	c model valid
72.93/73.41	c current solution ok
72.93/73.42	c current bound: 153023
76.02/76.50	c model valid
76.02/76.50	c current solution ok
76.02/76.51	c current bound: 153023
79.12/79.60	c model valid
79.12/79.60	c current solution ok
79.12/79.61	c current bound: 153023
82.22/82.71	c model valid
82.22/82.71	c current solution ok
82.22/82.72	c current bound: 153023
85.20/85.80	c model valid
85.20/85.80	c current solution ok
85.33/85.81	c current bound: 153023
88.42/88.90	c model valid
88.42/88.90	c current solution ok
88.42/88.91	c current bound: 153023
91.15/91.99	c model valid
91.15/91.99	c current solution ok
91.52/92.00	c current bound: 153023
94.25/95.08	c model valid
94.25/95.08	c current solution ok
94.25/95.09	c current bound: 153023
97.33/98.18	c model valid
97.33/98.18	c current solution ok
97.33/98.19	c current bound: 153023
100.70/101.28	c model valid
100.70/101.28	c current solution ok
100.70/101.29	c current bound: 153023
103.53/104.37	c model valid
103.53/104.37	c current solution ok
103.53/104.38	c current bound: 153023
106.63/107.46	c model valid
106.63/107.46	c current solution ok
106.63/107.47	c current bound: 153023
109.71/110.55	c model valid
109.71/110.55	c current solution ok
109.71/110.56	c current bound: 153023
112.81/113.64	c model valid
112.81/113.64	c current solution ok
112.81/113.65	c current bound: 153023
116.22/116.73	c model valid
116.22/116.73	c current solution ok
116.22/116.74	c current bound: 153023
119.33/119.82	c model valid
119.33/119.82	c current solution ok
119.33/119.83	c current bound: 153023
122.43/122.92	c model valid
122.43/122.92	c current solution ok
122.43/122.93	c current bound: 153023
125.52/126.01	c model valid
125.52/126.01	c current solution ok
125.52/126.02	c current bound: 153023
128.62/129.11	c model valid
128.62/129.11	c current solution ok
128.62/129.12	c current bound: 153023
131.71/132.21	c model valid
131.71/132.21	c current solution ok
131.71/132.22	c current bound: 153023
135.12/135.60	c model valid
135.12/135.60	c current solution ok
135.12/135.62	c current bound: 153023
138.22/138.70	c model valid
138.22/138.70	c current solution ok
138.22/138.71	c current bound: 153023
140.96/141.79	c model valid
140.96/141.79	c current solution ok
141.31/141.81	c current bound: 153023
144.05/144.89	c model valid
144.05/144.89	c current solution ok
144.42/144.90	c current bound: 153023
147.15/147.99	c model valid
147.15/147.99	c current solution ok
147.50/148.00	c current bound: 153023
150.24/151.08	c model valid
150.24/151.08	c current solution ok
150.24/151.09	c current bound: 153023
153.59/154.18	c model valid
153.59/154.18	c current solution ok
153.59/154.19	c current bound: 153023
156.70/157.28	c model valid
156.70/157.28	c current solution ok
156.70/157.29	c current bound: 153023
159.53/160.38	c model valid
159.53/160.38	c current solution ok
159.53/160.39	c current bound: 153023
162.62/163.47	c model valid
162.62/163.47	c current solution ok
162.62/163.48	c current bound: 153023
165.71/166.56	c model valid
165.71/166.56	c current solution ok
165.71/166.57	c current bound: 153023
169.09/169.65	c model valid
169.09/169.65	c current solution ok
169.09/169.66	c current bound: 153023
172.20/172.77	c model valid
172.20/172.77	c current solution ok
172.20/172.78	c current bound: 153023
175.00/175.85	c model valid
175.00/175.85	c current solution ok
175.00/175.86	c current bound: 153023
178.09/178.95	c model valid
178.09/178.95	c current solution ok
178.09/178.96	c current bound: 153023
181.18/182.04	c model valid
181.18/182.04	c current solution ok
181.18/182.06	c current bound: 153023
184.28/185.14	c model valid
184.28/185.14	c current solution ok
184.28/185.15	c current bound: 153023
187.68/188.24	c model valid
187.68/188.24	c current solution ok
187.68/188.25	c current bound: 153023
190.80/191.34	c model valid
190.80/191.34	c current solution ok
190.80/191.35	c current bound: 153023
193.60/194.45	c model valid
193.60/194.45	c current solution ok
193.60/194.46	c current bound: 153023
196.68/197.54	c model valid
196.68/197.54	c current solution ok
196.68/197.55	c current bound: 153023
199.78/200.64	c model valid
199.78/200.64	c current solution ok
199.78/200.65	c current bound: 153023
203.17/203.74	c model valid
203.17/203.74	c current solution ok
203.17/203.75	c current bound: 153023
206.29/206.83	c model valid
206.29/206.83	c current solution ok
206.29/206.84	c current bound: 153023
209.06/209.92	c model valid
209.06/209.92	c current solution ok
209.06/209.93	c current bound: 153023
212.50/213.02	c model valid
212.50/213.02	c current solution ok
212.50/213.03	c current bound: 153023
215.60/216.11	c model valid
215.60/216.11	c current solution ok
215.60/216.12	c current bound: 153023
218.69/219.20	c model valid
218.69/219.20	c current solution ok
218.69/219.21	c current bound: 153023
221.69/222.29	c model valid
221.69/222.29	c current solution ok
221.79/222.31	c current bound: 153023
224.53/225.39	c model valid
224.53/225.39	c current solution ok
224.88/225.40	c current bound: 153023
227.99/228.51	c model valid
227.99/228.51	c current solution ok
227.99/228.52	c current bound: 153023
231.09/231.61	c model valid
231.09/231.61	c current solution ok
231.09/231.62	c current bound: 153023
234.19/234.71	c model valid
234.19/234.71	c current solution ok
234.19/234.72	c current bound: 153023
237.29/237.81	c model valid
237.29/237.81	c current solution ok
237.29/237.82	c current bound: 153023
240.39/240.91	c model valid
240.39/240.91	c current solution ok
240.39/240.92	c current bound: 153023
243.49/244.01	c model valid
243.49/244.01	c current solution ok
243.49/244.02	c current bound: 153023
246.59/247.10	c model valid
246.59/247.10	c current solution ok
246.59/247.11	c current bound: 153023
249.70/250.20	c model valid
249.70/250.20	c current solution ok
249.70/250.21	c current bound: 153023
252.80/253.30	c model valid
252.80/253.30	c current solution ok
252.80/253.31	c current bound: 153023
255.88/256.41	c model valid
255.88/256.41	c current solution ok
255.88/256.42	c current bound: 153023
259.00/259.51	c model valid
259.00/259.51	c current solution ok
259.00/259.52	c current bound: 153023
262.10/262.60	c model valid
262.10/262.60	c current solution ok
262.10/262.61	c current bound: 153023
265.20/265.70	c model valid
265.20/265.70	c current solution ok
265.20/265.71	c current bound: 153023
268.29/268.80	c model valid
268.29/268.80	c current solution ok
268.29/268.81	c current bound: 153023
271.39/271.90	c model valid
271.39/271.90	c current solution ok
271.39/271.91	c current bound: 153023
274.51/275.01	c model valid
274.51/275.01	c current solution ok
274.51/275.02	c current bound: 153023
277.60/278.11	c model valid
277.60/278.11	c current solution ok
277.60/278.12	c current bound: 153023
280.70/281.21	c model valid
280.70/281.21	c current solution ok
280.70/281.22	c current bound: 153023
283.79/284.31	c model valid
283.79/284.31	c current solution ok
283.79/284.32	c current bound: 153023
286.90/287.40	c model valid
286.90/287.40	c current solution ok
286.90/287.41	c current bound: 153023
289.99/290.50	c model valid
289.99/290.50	c current solution ok
289.99/290.51	c current bound: 153023
292.74/293.60	c model valid
292.74/293.60	c current solution ok
293.10/293.61	c current bound: 153023
295.83/296.72	c model valid
295.83/296.72	c current solution ok
295.83/296.73	c current bound: 153023
298.96/299.82	c model valid
298.96/299.82	c current solution ok
298.96/299.83	c current bound: 153023
302.06/302.92	c model valid
302.06/302.92	c current solution ok
302.06/302.93	c current bound: 153023
305.49/306.02	c model valid
305.49/306.02	c current solution ok
305.49/306.03	c current bound: 153023
308.59/309.13	c model valid
308.59/309.13	c current solution ok
308.59/309.14	c current bound: 153023
311.37/312.23	c model valid
311.37/312.23	c current solution ok
311.37/312.24	c current bound: 153023
314.46/315.33	c model valid
314.46/315.33	c current solution ok
314.46/315.34	c current bound: 153023
317.56/318.42	c model valid
317.56/318.42	c current solution ok
317.56/318.43	c current bound: 153023
320.65/321.52	c model valid
320.65/321.52	c current solution ok
320.65/321.53	c current bound: 153023
324.07/324.62	c model valid
324.07/324.62	c current solution ok
324.07/324.63	c current bound: 153023
327.19/327.72	c model valid
327.19/327.72	c current solution ok
327.19/327.73	c current bound: 153023
330.29/330.82	c model valid
330.29/330.82	c current solution ok
330.29/330.83	c current bound: 153023
333.38/333.91	c model valid
333.38/333.91	c current solution ok
333.38/333.92	c current bound: 153023
336.49/337.00	c model valid
336.49/337.00	c current solution ok
336.49/337.01	c current bound: 153023
339.58/340.10	c model valid
339.58/340.10	c current solution ok
339.58/340.11	c current bound: 153023
342.67/343.20	c model valid
342.67/343.20	c current solution ok
342.67/343.22	c current bound: 153023
345.78/346.30	c model valid
345.78/346.30	c current solution ok
345.78/346.31	c current bound: 153023
348.52/349.40	c model valid
348.52/349.40	c current solution ok
348.88/349.41	c current bound: 153023
351.61/352.49	c model valid
351.61/352.49	c current solution ok
351.98/352.50	c current bound: 153023
354.71/355.59	c model valid
354.71/355.59	c current solution ok
355.08/355.60	c current bound: 153023
358.08/358.69	c model valid
358.08/358.69	c current solution ok
358.17/358.70	c current bound: 153023
360.91/361.79	c model valid
360.91/361.79	c current solution ok
361.27/361.80	c current bound: 153023
364.02/364.89	c model valid
364.02/364.89	c current solution ok
364.38/364.90	c current bound: 153023
367.12/367.99	c model valid
367.12/367.99	c current solution ok
367.48/368.00	c current bound: 153023
370.22/371.08	c model valid
370.22/371.08	c current solution ok
370.22/371.09	c current bound: 153023
373.57/374.18	c model valid
373.57/374.18	c current solution ok
373.57/374.19	c current bound: 153023
376.68/377.28	c model valid
376.68/377.28	c current solution ok
376.68/377.29	c current bound: 153023
379.50/380.38	c model valid
379.50/380.38	c current solution ok
379.50/380.39	c current bound: 153023
382.61/383.48	c model valid
382.61/383.48	c current solution ok
382.61/383.49	c current bound: 153023
385.69/386.57	c model valid
385.69/386.57	c current solution ok
385.69/386.59	c current bound: 153023
388.79/389.67	c model valid
388.79/389.67	c current solution ok
388.79/389.68	c current bound: 153023
392.17/392.77	c model valid
392.17/392.77	c current solution ok
392.17/392.78	c current bound: 153023
394.99/395.87	c model valid
394.99/395.87	c current solution ok
394.99/395.88	c current bound: 153023
398.09/398.97	c model valid
398.09/398.97	c current solution ok
398.09/398.98	c current bound: 153023
401.18/402.06	c model valid
401.18/402.06	c current solution ok
401.18/402.07	c current bound: 153023
404.27/405.17	c model valid
404.27/405.17	c current solution ok
404.27/405.18	c current bound: 153023
407.66/408.26	c model valid
407.66/408.26	c current solution ok
407.66/408.27	c current bound: 153023
410.77/411.35	c model valid
410.77/411.35	c current solution ok
410.77/411.36	c current bound: 153023
413.56/414.45	c model valid
413.56/414.45	c current solution ok
413.56/414.46	c current bound: 153023
416.66/417.54	c model valid
416.66/417.54	c current solution ok
416.66/417.55	c current bound: 153023
419.75/420.64	c model valid
419.75/420.64	c current solution ok
419.75/420.65	c current bound: 153023
423.15/423.75	c model valid
423.15/423.75	c current solution ok
423.15/423.76	c current bound: 153023
426.26/426.85	c model valid
426.26/426.85	c current solution ok
426.26/426.86	c current bound: 153023
429.05/429.94	c model valid
429.05/429.94	c current solution ok
429.05/429.95	c current bound: 153023
432.16/433.05	c model valid
432.16/433.05	c current solution ok
432.16/433.06	c current bound: 153023
435.26/436.14	c model valid
435.26/436.14	c current solution ok
435.26/436.15	c current bound: 153023
438.35/439.25	c model valid
438.35/439.25	c current solution ok
438.35/439.26	c current bound: 153023
441.74/442.35	c model valid
441.74/442.35	c current solution ok
441.74/442.36	c current bound: 153023
444.86/445.45	c model valid
444.86/445.45	c current solution ok
444.86/445.46	c current bound: 153023
447.66/448.55	c model valid
447.66/448.55	c current solution ok
447.66/448.56	c current bound: 153023
450.75/451.65	c model valid
450.75/451.65	c current solution ok
450.75/451.66	c current bound: 153023
453.85/454.76	c model valid
453.85/454.76	c current solution ok
453.85/454.77	c current bound: 153023
456.95/457.86	c model valid
456.95/457.86	c current solution ok
456.95/457.87	c current bound: 153023
460.34/460.96	c model valid
460.34/460.96	c current solution ok
460.34/460.98	c current bound: 153023
463.16/464.05	c model valid
463.16/464.05	c current solution ok
463.16/464.06	c current bound: 153023
466.24/467.15	c model valid
466.24/467.15	c current solution ok
466.24/467.16	c current bound: 153023
469.34/470.25	c model valid
469.34/470.25	c current solution ok
469.34/470.26	c current bound: 153023
472.44/473.34	c model valid
472.44/473.34	c current solution ok
472.44/473.35	c current bound: 153023
475.84/476.43	c model valid
475.84/476.43	c current solution ok
475.84/476.44	c current bound: 153023
478.97/479.52	c model valid
478.97/479.52	c current solution ok
478.97/479.53	c current bound: 153023
482.07/482.62	c model valid
482.07/482.62	c current solution ok
482.07/482.63	c current bound: 153023
485.15/485.71	c model valid
485.15/485.71	c current solution ok
485.15/485.72	c current bound: 153023
488.26/488.81	c model valid
488.26/488.81	c current solution ok
488.26/488.82	c current bound: 153023
491.36/491.90	c model valid
491.36/491.90	c current solution ok
491.36/491.91	c current bound: 153023
494.34/495.00	c model valid
494.34/495.00	c current solution ok
494.46/495.01	c current bound: 153023
497.55/498.10	c model valid
497.55/498.10	c current solution ok
497.55/498.11	c current bound: 153023
500.66/501.20	c model valid
500.66/501.20	c current solution ok
500.66/501.21	c current bound: 153023
503.39/504.29	c model valid
503.39/504.29	c current solution ok
503.75/504.30	c current bound: 153023
506.48/507.38	c model valid
506.48/507.38	c current solution ok
506.48/507.40	c current bound: 153023
509.84/510.49	c model valid
509.84/510.49	c current solution ok
509.95/510.50	c current bound: 153023
512.67/513.59	c model valid
512.67/513.59	c current solution ok
513.05/513.60	c current bound: 153023
515.78/516.69	c model valid
515.78/516.69	c current solution ok
516.15/516.70	c current bound: 153023
518.89/519.79	c model valid
518.89/519.79	c current solution ok
519.24/519.80	c current bound: 153023
521.98/522.88	c model valid
521.98/522.88	c current solution ok
521.98/522.90	c current bound: 153023
525.34/525.99	c model valid
525.34/525.99	c current solution ok
525.44/526.00	c current bound: 153023
528.44/529.08	c model valid
528.44/529.08	c current solution ok
528.44/529.09	c current bound: 153023
531.28/532.19	c model valid
531.28/532.19	c current solution ok
531.65/532.20	c current bound: 153023
534.39/535.28	c model valid
534.39/535.28	c current solution ok
534.75/535.30	c current bound: 153023
537.48/538.38	c model valid
537.48/538.38	c current solution ok
537.48/538.39	c current bound: 153023
540.57/541.48	c model valid
540.57/541.48	c current solution ok
540.57/541.49	c current bound: 153023
543.95/544.59	c model valid
543.95/544.59	c current solution ok
544.05/544.60	c current bound: 153023
546.80/547.69	c model valid
546.80/547.69	c current solution ok
547.15/547.70	c current bound: 153023
550.25/550.81	c model valid
550.25/550.81	c current solution ok
550.25/550.82	c current bound: 153023
553.35/553.92	c model valid
553.35/553.92	c current solution ok
553.35/553.93	c current bound: 153023
556.12/557.03	c model valid
556.12/557.03	c current solution ok
556.12/557.04	c current bound: 153023
559.53/560.14	c model valid
559.53/560.14	c current solution ok
559.53/560.15	c current bound: 153023
562.64/563.24	c model valid
562.64/563.24	c current solution ok
562.64/563.25	c current bound: 153023
565.43/566.33	c model valid
565.43/566.33	c current solution ok
565.43/566.35	c current bound: 153023
568.52/569.44	c model valid
568.52/569.44	c current solution ok
568.52/569.45	c current bound: 153023
571.62/572.55	c model valid
571.62/572.55	c current solution ok
571.62/572.56	c current bound: 153023
574.72/575.64	c model valid
574.72/575.64	c current solution ok
574.72/575.65	c current bound: 153023
578.12/578.74	c model valid
578.12/578.74	c current solution ok
578.12/578.75	c current bound: 153023
581.22/581.84	c model valid
581.22/581.84	c current solution ok
581.22/581.85	c current bound: 153023
584.02/584.95	c model valid
584.02/584.95	c current solution ok
584.02/584.96	c current bound: 153023
587.13/588.06	c model valid
587.13/588.06	c current solution ok
587.13/588.07	c current bound: 153023
590.23/591.15	c model valid
590.23/591.15	c current solution ok
590.23/591.16	c current bound: 153023
593.63/594.26	c model valid
593.63/594.26	c current solution ok
593.63/594.27	c current bound: 153023
596.73/597.35	c model valid
596.73/597.35	c current solution ok
596.73/597.36	c current bound: 153023
599.53/600.45	c model valid
599.53/600.45	c current solution ok
599.53/600.46	c current bound: 153023
602.63/603.55	c model valid
602.63/603.55	c current solution ok
602.63/603.56	c current bound: 153023
605.72/606.64	c model valid
605.72/606.64	c current solution ok
605.72/606.65	c current bound: 153023
608.82/609.74	c model valid
608.82/609.74	c current solution ok
608.82/609.75	c current bound: 153023
612.23/612.85	c model valid
612.23/612.85	c current solution ok
612.23/612.86	c current bound: 153023
615.33/615.95	c model valid
615.33/615.95	c current solution ok
615.33/615.96	c current bound: 153023
618.13/619.05	c model valid
618.13/619.05	c current solution ok
618.13/619.06	c current bound: 153023
621.23/622.14	c model valid
621.23/622.14	c current solution ok
621.23/622.15	c current bound: 153023
624.33/625.24	c model valid
624.33/625.24	c current solution ok
624.33/625.25	c current bound: 153023
627.73/628.33	c model valid
627.73/628.33	c current solution ok
627.73/628.34	c current bound: 153023
630.84/631.43	c model valid
630.84/631.43	c current solution ok
630.84/631.44	c current bound: 153023
633.61/634.52	c model valid
633.61/634.52	c current solution ok
633.61/634.53	c current bound: 153023
636.70/637.62	c model valid
636.70/637.62	c current solution ok
636.70/637.63	c current bound: 153023
640.15/640.72	c model valid
640.15/640.72	c current solution ok
640.15/640.73	c current bound: 153023
643.25/643.82	c model valid
643.25/643.82	c current solution ok
643.25/643.83	c current bound: 153023
646.34/646.92	c model valid
646.34/646.92	c current solution ok
646.34/646.93	c current bound: 153023
649.44/650.03	c model valid
649.44/650.03	c current solution ok
649.44/650.04	c current bound: 153023
652.55/653.12	c model valid
652.55/653.12	c current solution ok
652.55/653.13	c current bound: 153023
655.30/656.25	c model valid
655.30/656.25	c current solution ok
655.30/656.26	c current bound: 153023
658.40/659.34	c model valid
658.40/659.34	c current solution ok
658.40/659.35	c current bound: 153023
661.81/662.44	c model valid
661.81/662.44	c current solution ok
661.81/662.45	c current bound: 153023
664.92/665.53	c model valid
664.92/665.53	c current solution ok
664.92/665.54	c current bound: 153023
667.69/668.64	c model valid
667.69/668.64	c current solution ok
667.69/668.65	c current bound: 153023
670.80/671.74	c model valid
670.80/671.74	c current solution ok
670.80/671.75	c current bound: 153023
673.91/674.84	c model valid
673.91/674.84	c current solution ok
673.91/674.85	c current bound: 153023
676.99/677.93	c model valid
676.99/677.93	c current solution ok
676.99/677.94	c current bound: 153023
680.40/681.06	c model valid
680.40/681.06	c current solution ok
680.40/681.07	c current bound: 153023
683.51/684.16	c model valid
683.51/684.16	c current solution ok
683.51/684.17	c current bound: 153023
686.31/687.25	c model valid
686.31/687.25	c current solution ok
686.31/687.26	c current bound: 153023
689.40/690.35	c model valid
689.40/690.35	c current solution ok
689.40/690.36	c current bound: 153023
692.50/693.44	c model valid
692.50/693.44	c current solution ok
692.50/693.45	c current bound: 153023
695.90/696.54	c model valid
695.90/696.54	c current solution ok
695.90/696.55	c current bound: 153023
699.01/699.65	c model valid
699.01/699.65	c current solution ok
699.01/699.66	c current bound: 153023
701.80/702.76	c model valid
701.80/702.76	c current solution ok
701.80/702.77	c current bound: 153023
704.91/705.87	c model valid
704.91/705.87	c current solution ok
704.91/705.88	c current bound: 153023
708.02/708.96	c model valid
708.02/708.96	c current solution ok
708.02/708.97	c current bound: 153023
711.13/712.06	c model valid
711.13/712.06	c current solution ok
711.13/712.07	c current bound: 153023
714.49/715.15	c model valid
714.49/715.15	c current solution ok
714.49/715.16	c current bound: 153023
717.62/718.25	c model valid
717.62/718.25	c current solution ok
717.62/718.27	c current bound: 153023
720.42/721.36	c model valid
720.42/721.36	c current solution ok
720.42/721.37	c current bound: 153023
723.52/724.45	c model valid
723.52/724.45	c current solution ok
723.52/724.46	c current bound: 153023
726.60/727.55	c model valid
726.60/727.55	c current solution ok
726.60/727.56	c current bound: 153023
730.02/730.65	c model valid
730.02/730.65	c current solution ok
730.02/730.66	c current bound: 153023
733.11/733.75	c model valid
733.11/733.75	c current solution ok
733.11/733.76	c current bound: 153023
735.92/736.86	c model valid
735.92/736.86	c current solution ok
735.92/736.87	c current bound: 153023
739.00/739.95	c model valid
739.00/739.95	c current solution ok
739.00/739.96	c current bound: 153023
742.09/743.04	c model valid
742.09/743.04	c current solution ok
742.09/743.05	c current bound: 153023
745.20/746.15	c model valid
745.20/746.15	c current solution ok
745.20/746.16	c current bound: 153023
748.59/749.25	c model valid
748.59/749.25	c current solution ok
748.59/749.26	c current bound: 153023
751.70/752.36	c model valid
751.70/752.36	c current solution ok
751.70/752.37	c current bound: 153023
754.52/755.45	c model valid
754.52/755.45	c current solution ok
754.52/755.46	c current bound: 153023
757.61/758.55	c model valid
757.61/758.55	c current solution ok
757.61/758.56	c current bound: 153023
760.70/761.65	c model valid
760.70/761.65	c current solution ok
760.70/761.66	c current bound: 153023
764.10/764.75	c model valid
764.10/764.75	c current solution ok
764.10/764.76	c current bound: 153023
767.21/767.84	c model valid
767.21/767.84	c current solution ok
767.21/767.85	c current bound: 153023
769.99/770.94	c model valid
769.99/770.94	c current solution ok
769.99/770.95	c current bound: 153023
773.10/774.04	c model valid
773.10/774.04	c current solution ok
773.10/774.05	c current bound: 153023
776.22/777.15	c model valid
776.22/777.15	c current solution ok
776.22/777.16	c current bound: 153023
779.32/780.25	c model valid
779.32/780.25	c current solution ok
779.32/780.26	c current bound: 153023
782.71/783.35	c model valid
782.71/783.35	c current solution ok
782.71/783.36	c current bound: 153023
785.82/786.45	c model valid
785.82/786.45	c current solution ok
785.82/786.46	c current bound: 153023
788.62/789.55	c model valid
788.62/789.55	c current solution ok
788.62/789.56	c current bound: 153023
791.72/792.67	c model valid
791.72/792.67	c current solution ok
791.72/792.68	c current bound: 153023
794.84/795.77	c model valid
794.84/795.77	c current solution ok
794.84/795.78	c current bound: 153023
797.94/798.86	c model valid
797.94/798.86	c current solution ok
797.94/798.87	c current bound: 153023
801.32/801.95	c model valid
801.32/801.95	c current solution ok
801.32/801.97	c current bound: 153023
804.12/805.05	c model valid
804.12/805.05	c current solution ok
804.12/805.06	c current bound: 153023
807.21/808.14	c model valid
807.21/808.14	c current solution ok
807.21/808.16	c current bound: 153023
810.31/811.24	c model valid
810.31/811.24	c current solution ok
810.31/811.25	c current bound: 153023
813.40/814.34	c model valid
813.40/814.34	c current solution ok
813.40/814.35	c current bound: 153023
816.80/817.44	c model valid
816.80/817.44	c current solution ok
816.80/817.45	c current bound: 153023
819.91/820.55	c model valid
819.91/820.55	c current solution ok
819.91/820.56	c current bound: 153023
822.72/823.65	c model valid
822.72/823.65	c current solution ok
822.72/823.66	c current bound: 153023
825.81/826.74	c model valid
825.81/826.74	c current solution ok
825.81/826.76	c current bound: 153023
828.91/829.84	c model valid
828.91/829.84	c current solution ok
828.91/829.85	c current bound: 153023
832.30/832.93	c model valid
832.30/832.93	c current solution ok
832.30/832.94	c current bound: 153023
835.40/836.03	c model valid
835.40/836.03	c current solution ok
835.40/836.04	c current bound: 153023
838.18/839.12	c model valid
838.18/839.12	c current solution ok
838.18/839.14	c current bound: 153023
841.28/842.22	c model valid
841.28/842.22	c current solution ok
841.28/842.23	c current bound: 153023
844.71/845.31	c model valid
844.71/845.31	c current solution ok
844.71/845.32	c current bound: 153023
847.81/848.42	c model valid
847.81/848.42	c current solution ok
847.81/848.43	c current bound: 153023
850.93/851.51	c model valid
850.93/851.51	c current solution ok
850.93/851.53	c current bound: 153023
854.01/854.61	c model valid
854.01/854.61	c current solution ok
854.01/854.62	c current bound: 153023
857.11/857.70	c model valid
857.11/857.70	c current solution ok
857.11/857.72	c current bound: 153023
860.21/860.80	c model valid
860.21/860.80	c current solution ok
860.21/860.81	c current bound: 153023
863.32/863.90	c model valid
863.32/863.90	c current solution ok
863.32/863.91	c current bound: 153023
866.40/867.00	c model valid
866.40/867.00	c current solution ok
866.40/867.01	c current bound: 153023
869.51/870.10	c model valid
869.51/870.10	c current solution ok
869.51/870.12	c current bound: 153023
872.59/873.20	c model valid
872.59/873.20	c current solution ok
872.59/873.21	c current bound: 153023
875.34/876.29	c model valid
875.34/876.29	c current solution ok
875.69/876.30	c current bound: 153023
878.44/879.39	c model valid
878.44/879.39	c current solution ok
878.79/879.40	c current bound: 153023
881.78/882.49	c model valid
881.78/882.49	c current solution ok
881.89/882.51	c current bound: 153023
884.90/885.59	c model valid
884.90/885.59	c current solution ok
884.90/885.60	c current bound: 153023
887.73/888.69	c model valid
887.73/888.69	c current solution ok
888.09/888.70	c current bound: 153023
890.82/891.79	c model valid
890.82/891.79	c current solution ok
891.19/891.80	c current bound: 153023
893.92/894.88	c model valid
893.92/894.88	c current solution ok
893.92/894.89	c current bound: 153023
897.39/898.00	c model valid
897.39/898.00	c current solution ok
897.39/898.01	c current bound: 153023
900.49/901.10	c model valid
900.49/901.10	c current solution ok
900.49/901.11	c current bound: 153023
903.23/904.19	c model valid
903.23/904.19	c current solution ok
903.58/904.21	c current bound: 153023
906.32/907.29	c model valid
906.32/907.29	c current solution ok
906.67/907.30	c current bound: 153023
909.42/910.39	c model valid
909.42/910.39	c current solution ok
909.78/910.40	c current bound: 153023
912.52/913.49	c model valid
912.52/913.49	c current solution ok
912.87/913.50	c current bound: 153023
915.87/916.59	c model valid
915.87/916.59	c current solution ok
915.98/916.60	c current bound: 153023
918.99/919.69	c model valid
918.99/919.69	c current solution ok
918.99/919.70	c current bound: 153023
922.18/922.80	c model valid
922.18/922.80	c current solution ok
922.18/922.81	c current bound: 153023
925.28/925.90	c model valid
925.28/925.90	c current solution ok
925.28/925.91	c current bound: 153023
928.38/929.01	c model valid
928.38/929.01	c current solution ok
928.38/929.02	c current bound: 153023
931.48/932.11	c model valid
931.48/932.11	c current solution ok
931.48/932.12	c current bound: 153023
934.58/935.21	c model valid
934.58/935.21	c current solution ok
934.58/935.22	c current bound: 153023
937.69/938.31	c model valid
937.69/938.31	c current solution ok
937.69/938.32	c current bound: 153023
940.77/941.40	c model valid
940.77/941.40	c current solution ok
940.77/941.41	c current bound: 153023
943.87/944.50	c model valid
943.87/944.50	c current solution ok
943.87/944.51	c current bound: 153023
946.97/947.60	c model valid
946.97/947.60	c current solution ok
946.97/947.61	c current bound: 153023
949.96/950.69	c model valid
949.96/950.69	c current solution ok
950.07/950.71	c current bound: 153023
953.07/953.79	c model valid
953.07/953.79	c current solution ok
953.17/953.80	c current bound: 153023
955.91/956.89	c model valid
955.91/956.89	c current solution ok
956.27/956.90	c current bound: 153023
959.01/959.99	c model valid
959.01/959.99	c current solution ok
959.36/960.00	c current bound: 153023
962.10/963.08	c model valid
962.10/963.08	c current solution ok
962.10/963.09	c current bound: 153023
965.19/966.17	c model valid
965.19/966.17	c current solution ok
965.19/966.18	c current bound: 153023
968.57/969.27	c model valid
968.57/969.27	c current solution ok
968.57/969.28	c current bound: 153023
971.37/972.37	c model valid
971.37/972.37	c current solution ok
971.37/972.38	c current bound: 153023
974.48/975.47	c model valid
974.48/975.47	c current solution ok
974.48/975.48	c current bound: 153023
977.57/978.57	c model valid
977.57/978.57	c current solution ok
977.57/978.58	c current bound: 153023
980.66/981.65	c model valid
980.66/981.65	c current solution ok
980.66/981.66	c current bound: 153023
984.05/984.75	c model valid
984.05/984.75	c current solution ok
984.05/984.76	c current bound: 153023
987.17/987.86	c model valid
987.17/987.86	c current solution ok
987.17/987.87	c current bound: 153023
989.97/990.96	c model valid
989.97/990.96	c current solution ok
989.97/990.97	c current bound: 153023
993.07/994.05	c model valid
993.07/994.05	c current solution ok
993.07/994.06	c current bound: 153023
996.17/997.16	c model valid
996.17/997.16	c current solution ok
996.17/997.17	c current bound: 153023
999.28/1000.26	c model valid
999.28/1000.26	c current solution ok
999.28/1000.27	c current bound: 153023
1002.66/1003.35	c model valid
1002.66/1003.35	c current solution ok
1002.66/1003.36	c current bound: 153023
1005.46/1006.44	c model valid
1005.46/1006.44	c current solution ok
1005.46/1006.45	c current bound: 153023
1008.56/1009.54	c model valid
1008.56/1009.54	c current solution ok
1008.56/1009.55	c current bound: 153023
1011.66/1012.64	c model valid
1011.66/1012.64	c current solution ok
1011.66/1012.65	c current bound: 153023
1014.76/1015.74	c model valid
1014.76/1015.74	c current solution ok
1014.76/1015.75	c current bound: 153023
1018.16/1018.84	c model valid
1018.16/1018.84	c current solution ok
1018.16/1018.85	c current bound: 153023
1021.26/1021.97	c model valid
1021.26/1021.97	c current solution ok
1021.26/1021.98	c current bound: 153023
1024.08/1025.07	c model valid
1024.08/1025.07	c current solution ok
1024.08/1025.08	c current bound: 153023
1027.18/1028.16	c model valid
1027.18/1028.16	c current solution ok
1027.18/1028.17	c current bound: 153023
1030.27/1031.25	c model valid
1030.27/1031.25	c current solution ok
1030.27/1031.27	c current bound: 153023
1033.67/1034.35	c model valid
1033.67/1034.35	c current solution ok
1033.67/1034.36	c current bound: 153023
1036.76/1037.46	c model valid
1036.76/1037.46	c current solution ok
1036.76/1037.47	c current bound: 153023
1040.15/1040.86	c model valid
1040.15/1040.86	c current solution ok
1040.15/1040.87	c current bound: 153023
1043.26/1043.95	c model valid
1043.26/1043.95	c current solution ok
1043.26/1043.96	c current bound: 153023
1046.06/1047.05	c model valid
1046.06/1047.05	c current solution ok
1046.06/1047.06	c current bound: 153023
1049.16/1050.15	c model valid
1049.16/1050.15	c current solution ok
1049.16/1050.16	c current bound: 153023
1052.26/1053.25	c model valid
1052.26/1053.25	c current solution ok
1052.26/1053.26	c current bound: 153023
1055.65/1056.35	c model valid
1055.65/1056.35	c current solution ok
1055.65/1056.36	c current bound: 153023
1058.76/1059.45	c model valid
1058.76/1059.45	c current solution ok
1058.76/1059.46	c current bound: 153023
1061.56/1062.54	c model valid
1061.56/1062.54	c current solution ok
1061.56/1062.55	c current bound: 153023
1064.65/1065.63	c model valid
1064.65/1065.63	c current solution ok
1064.65/1065.64	c current bound: 153023
1067.76/1068.73	c model valid
1067.76/1068.73	c current solution ok
1067.76/1068.74	c current bound: 153023
1070.86/1071.83	c model valid
1070.86/1071.83	c current solution ok
1070.86/1071.84	c current bound: 153023
1074.27/1074.93	c model valid
1074.27/1074.93	c current solution ok
1074.27/1074.94	c current bound: 153023
1077.38/1078.02	c model valid
1077.38/1078.02	c current solution ok
1077.38/1078.03	c current bound: 153023
1080.48/1081.12	c model valid
1080.48/1081.12	c current solution ok
1080.48/1081.13	c current bound: 153023
1083.58/1084.21	c model valid
1083.58/1084.21	c current solution ok
1083.58/1084.22	c current bound: 153023
1086.69/1087.31	c model valid
1086.69/1087.31	c current solution ok
1086.69/1087.32	c current bound: 153023
1089.78/1090.40	c model valid
1089.78/1090.40	c current solution ok
1089.78/1090.41	c current bound: 153023
1092.89/1093.50	c model valid
1092.89/1093.50	c current solution ok
1092.89/1093.51	c current bound: 153023
1095.98/1096.60	c model valid
1095.98/1096.60	c current solution ok
1095.98/1096.61	c current bound: 153023
1098.70/1099.69	c model valid
1098.70/1099.69	c current solution ok
1099.09/1099.70	c current bound: 153023
1101.81/1102.78	c model valid
1101.81/1102.78	c current solution ok
1101.81/1102.80	c current bound: 153023
1104.91/1105.88	c model valid
1104.91/1105.88	c current solution ok
1104.91/1105.89	c current bound: 153023
1108.28/1108.97	c model valid
1108.28/1108.97	c current solution ok
1108.28/1108.98	c current bound: 153023
1111.09/1112.07	c model valid
1111.09/1112.07	c current solution ok
1111.09/1112.09	c current bound: 153023
1114.20/1115.18	c model valid
1114.20/1115.18	c current solution ok
1114.20/1115.19	c current bound: 153023
1117.28/1118.27	c model valid
1117.28/1118.27	c current solution ok
1117.28/1118.28	c current bound: 153023
1120.38/1121.37	c model valid
1120.38/1121.37	c current solution ok
1120.38/1121.38	c current bound: 153023
1123.77/1124.46	c model valid
1123.77/1124.46	c current solution ok
1123.77/1124.47	c current bound: 153023
1126.87/1127.56	c model valid
1126.87/1127.56	c current solution ok
1126.87/1127.57	c current bound: 153023
1129.67/1130.65	c model valid
1129.67/1130.65	c current solution ok
1129.67/1130.66	c current bound: 153023
1132.77/1133.75	c model valid
1132.77/1133.75	c current solution ok
1133.24/1133.91	c current bound: 153023
1135.87/1136.86	c model valid
1135.87/1136.86	c current solution ok
1135.87/1136.87	c current bound: 153023
1138.98/1139.96	c model valid
1138.98/1139.96	c current solution ok
1138.98/1139.97	c current bound: 153023
1142.37/1143.57	c model valid
1142.37/1143.57	c current solution ok
1142.74/1143.89	c current bound: 153023
1145.47/1146.97	c model valid
1145.47/1146.97	c current solution ok
1145.47/1146.98	c current bound: 153023
1148.57/1150.07	c model valid
1148.57/1150.07	c current solution ok
1148.57/1150.08	c current bound: 153023
1151.66/1153.18	c model valid
1151.66/1153.18	c current solution ok
1151.66/1153.19	c current bound: 153023
1155.05/1156.28	c model valid
1155.05/1156.28	c current solution ok
1155.05/1156.29	c current bound: 153023
1157.88/1159.38	c model valid
1157.88/1159.38	c current solution ok
1157.88/1159.39	c current bound: 153023
1160.97/1162.46	c model valid
1160.97/1162.46	c current solution ok
1160.97/1162.48	c current bound: 153023
1164.07/1165.56	c model valid
1164.07/1165.56	c current solution ok
1164.07/1165.57	c current bound: 153023
1167.17/1168.66	c model valid
1167.17/1168.66	c current solution ok
1167.17/1168.67	c current bound: 153023
1170.55/1171.77	c model valid
1170.55/1171.77	c current solution ok
1170.55/1171.78	c current bound: 153023
1173.66/1174.88	c model valid
1173.66/1174.88	c current solution ok
1173.66/1174.89	c current bound: 153023
1176.48/1177.97	c model valid
1176.48/1177.97	c current solution ok
1176.48/1177.98	c current bound: 153023
1179.57/1181.07	c model valid
1179.57/1181.07	c current solution ok
1179.57/1181.08	c current bound: 153023
1182.67/1184.17	c model valid
1182.67/1184.17	c current solution ok
1182.67/1184.18	c current bound: 153023
1185.77/1187.26	c model valid
1185.77/1187.26	c current solution ok
1185.77/1187.27	c current bound: 153023
1189.16/1190.36	c model valid
1189.16/1190.36	c current solution ok
1189.16/1190.37	c current bound: 153023
1191.95/1193.45	c model valid
1191.95/1193.45	c current solution ok
1191.95/1193.46	c current bound: 153023
1195.05/1196.55	c model valid
1195.05/1196.55	c current solution ok
1195.05/1196.56	c current bound: 153023
1198.15/1199.64	c model valid
1198.15/1199.64	c current solution ok
1198.15/1199.65	c current bound: 153023
1201.25/1202.75	c model valid
1201.25/1202.75	c current solution ok
1201.25/1202.76	c current bound: 153023
1204.65/1205.84	c model valid
1204.65/1205.84	c current solution ok
1204.65/1205.85	c current bound: 153023
1207.76/1208.93	c model valid
1207.76/1208.93	c current solution ok
1207.76/1208.94	c current bound: 153023
1210.53/1212.04	c model valid
1210.53/1212.04	c current solution ok
1210.53/1212.05	c current bound: 153023
1213.65/1215.14	c model valid
1213.65/1215.14	c current solution ok
1213.65/1215.15	c current bound: 153023
1216.73/1218.24	c model valid
1216.73/1218.24	c current solution ok
1216.73/1218.25	c current bound: 153023
1220.15/1221.34	c model valid
1220.15/1221.34	c current solution ok
1220.15/1221.35	c current bound: 153023
1223.25/1224.44	c model valid
1223.25/1224.44	c current solution ok
1223.25/1224.45	c current bound: 153023
1226.03/1227.57	c model valid
1226.03/1227.57	c current solution ok
1226.03/1227.58	c current bound: 153023
1229.17/1230.68	c model valid
1229.17/1230.68	c current solution ok
1229.17/1230.69	c current bound: 153023
1232.29/1233.78	c model valid
1232.29/1233.78	c current solution ok
1232.29/1233.79	c current bound: 153023
1235.38/1236.88	c model valid
1235.38/1236.88	c current solution ok
1235.38/1236.89	c current bound: 153023
1238.77/1240.27	c model valid
1238.77/1240.27	c current solution ok
1238.77/1240.28	c current bound: 153023
1241.87/1243.38	c model valid
1241.87/1243.38	c current solution ok
1241.87/1243.39	c current bound: 153023
1245.26/1246.47	c model valid
1245.26/1246.47	c current solution ok
1245.26/1246.48	c current bound: 153023
1248.06/1249.57	c model valid
1248.06/1249.57	c current solution ok
1248.06/1249.58	c current bound: 153023
1251.17/1252.67	c model valid
1251.17/1252.67	c current solution ok
1251.17/1252.68	c current bound: 153023
1254.27/1255.77	c model valid
1254.27/1255.77	c current solution ok
1254.27/1255.78	c current bound: 153023
1257.36/1258.86	c model valid
1257.36/1258.86	c current solution ok
1257.36/1258.87	c current bound: 153023
1260.74/1261.96	c model valid
1260.74/1261.96	c current solution ok
1260.74/1261.97	c current bound: 153023
1263.85/1265.06	c model valid
1263.85/1265.06	c current solution ok
1263.85/1265.07	c current bound: 153023
1266.66/1268.15	c model valid
1266.66/1268.15	c current solution ok
1266.66/1268.16	c current bound: 153023
1269.75/1271.24	c model valid
1269.75/1271.24	c current solution ok
1269.75/1271.25	c current bound: 153023
1272.85/1274.34	c model valid
1272.85/1274.34	c current solution ok
1272.85/1274.35	c current bound: 153023
1276.25/1277.45	c model valid
1276.25/1277.45	c current solution ok
1276.25/1277.46	c current bound: 153023
1279.35/1280.55	c model valid
1279.35/1280.55	c current solution ok
1279.35/1280.56	c current bound: 153023
1282.16/1283.65	c model valid
1282.16/1283.65	c current solution ok
1282.16/1283.66	c current bound: 153023
1285.26/1286.75	c model valid
1285.26/1286.75	c current solution ok
1285.26/1286.76	c current bound: 153023
1288.35/1289.86	c model valid
1288.35/1289.86	c current solution ok
1288.35/1289.87	c current bound: 153023
1291.46/1292.95	c model valid
1291.46/1292.95	c current solution ok
1291.46/1292.96	c current bound: 153023
1294.85/1296.06	c model valid
1294.85/1296.06	c current solution ok
1294.85/1296.07	c current bound: 153023
1297.95/1299.16	c model valid
1297.95/1299.16	c current solution ok
1297.95/1299.17	c current bound: 153023
1300.77/1302.26	c model valid
1300.77/1302.26	c current solution ok
1300.77/1302.27	c current bound: 153023
1303.85/1305.38	c model valid
1303.85/1305.38	c current solution ok
1303.85/1305.39	c current bound: 153023
1306.98/1308.48	c model valid
1306.98/1308.48	c current solution ok
1306.98/1308.49	c current bound: 153023
1310.08/1311.57	c model valid
1310.08/1311.57	c current solution ok
1310.08/1311.58	c current bound: 153023
1313.45/1314.68	c model valid
1313.45/1314.68	c current solution ok
1313.45/1314.69	c current bound: 153023
1316.28/1317.78	c model valid
1316.28/1317.78	c current solution ok
1316.28/1317.79	c current bound: 153023
1319.36/1320.87	c model valid
1319.36/1320.87	c current solution ok
1319.36/1320.88	c current bound: 153023
1322.48/1323.97	c model valid
1322.48/1323.97	c current solution ok
1322.48/1323.98	c current bound: 153023
1325.56/1327.06	c model valid
1325.56/1327.06	c current solution ok
1325.56/1327.07	c current bound: 153023
1328.94/1330.16	c model valid
1328.94/1330.16	c current solution ok
1328.94/1330.17	c current bound: 153023
1332.04/1333.25	c model valid
1332.04/1333.25	c current solution ok
1332.04/1333.26	c current bound: 153023
1334.85/1336.35	c model valid
1334.85/1336.35	c current solution ok
1334.85/1336.36	c current bound: 153023
1337.94/1339.44	c model valid
1337.94/1339.44	c current solution ok
1337.94/1339.45	c current bound: 153023
1341.03/1342.54	c model valid
1341.03/1342.54	c current solution ok
1341.03/1342.55	c current bound: 153023
1344.43/1345.63	c model valid
1344.43/1345.63	c current solution ok
1344.43/1345.64	c current bound: 153023
1347.53/1348.73	c model valid
1347.53/1348.73	c current solution ok
1347.53/1348.74	c current bound: 153023
1350.31/1351.83	c model valid
1350.31/1351.83	c current solution ok
1350.31/1351.84	c current bound: 153023
1353.41/1354.93	c model valid
1353.41/1354.93	c current solution ok
1353.41/1354.94	c current bound: 153023
1356.51/1358.02	c model valid
1356.51/1358.02	c current solution ok
1356.51/1358.03	c current bound: 153023
1359.94/1361.12	c model valid
1359.94/1361.12	c current solution ok
1359.94/1361.13	c current bound: 153023
1363.04/1364.22	c model valid
1363.04/1364.22	c current solution ok
1363.04/1364.23	c current bound: 153023
1366.16/1367.32	c model valid
1366.16/1367.32	c current solution ok
1366.16/1367.33	c current bound: 153023
1369.26/1370.42	c model valid
1369.26/1370.42	c current solution ok
1369.26/1370.43	c current bound: 153023
1372.35/1373.52	c model valid
1372.35/1373.52	c current solution ok
1372.35/1373.53	c current bound: 153023
1375.45/1376.61	c model valid
1375.45/1376.61	c current solution ok
1375.45/1376.62	c current bound: 153023
1378.56/1379.71	c model valid
1378.56/1379.71	c current solution ok
1378.56/1379.72	c current bound: 153023
1381.66/1382.81	c model valid
1381.66/1382.81	c current solution ok
1381.66/1382.82	c current bound: 153023
1384.76/1385.91	c model valid
1384.76/1385.91	c current solution ok
1384.76/1385.92	c current bound: 153023
1387.86/1389.01	c model valid
1387.86/1389.01	c current solution ok
1387.86/1389.02	c current bound: 153023
1390.94/1392.11	c model valid
1390.94/1392.11	c current solution ok
1390.94/1392.12	c current bound: 153023
1394.05/1395.21	c model valid
1394.05/1395.21	c current solution ok
1394.05/1395.22	c current bound: 153023
1397.15/1398.30	c model valid
1397.15/1398.30	c current solution ok
1397.15/1398.31	c current bound: 153023
1400.27/1401.41	c model valid
1400.27/1401.41	c current solution ok
1400.27/1401.42	c current bound: 153023
1403.34/1404.51	c model valid
1403.34/1404.51	c current solution ok
1403.34/1404.52	c current bound: 153023
1406.44/1407.61	c model valid
1406.44/1407.61	c current solution ok
1406.44/1407.62	c current bound: 153023
1409.55/1410.70	c model valid
1409.55/1410.70	c current solution ok
1409.55/1410.71	c current bound: 153023
1412.65/1413.81	c model valid
1412.65/1413.81	c current solution ok
1412.65/1413.82	c current bound: 153023
1415.76/1416.91	c model valid
1415.76/1416.91	c current solution ok
1415.76/1416.92	c current bound: 153023
1418.85/1420.00	c model valid
1418.85/1420.00	c current solution ok
1418.85/1420.01	c current bound: 153023
1421.95/1423.10	c model valid
1421.95/1423.10	c current solution ok
1421.95/1423.12	c current bound: 153023
1424.68/1426.19	c model valid
1424.68/1426.19	c current solution ok
1425.05/1426.21	c current bound: 153023
1427.78/1429.30	c model valid
1427.78/1429.30	c current solution ok
1428.15/1429.31	c current bound: 153023
1431.14/1432.39	c model valid
1431.14/1432.39	c current solution ok
1431.24/1432.40	c current bound: 153023
1433.99/1435.49	c model valid
1433.99/1435.49	c current solution ok
1434.35/1435.50	c current bound: 153023
1437.64/1438.89	c model valid
1437.64/1438.89	c current solution ok
1437.64/1438.90	c current bound: 153023
1440.48/1441.99	c model valid
1440.48/1441.99	c current solution ok
1440.84/1442.00	c current bound: 153023
1443.58/1445.09	c model valid
1443.58/1445.09	c current solution ok
1443.94/1445.10	c current bound: 153023
1446.69/1448.19	c model valid
1446.69/1448.19	c current solution ok
1447.04/1448.20	c current bound: 153023
1449.78/1451.29	c model valid
1449.78/1451.29	c current solution ok
1450.15/1451.31	c current bound: 153023
1453.15/1454.39	c model valid
1453.15/1454.39	c current solution ok
1453.25/1454.40	c current bound: 153023
1455.98/1457.49	c model valid
1455.98/1457.49	c current solution ok
1455.98/1457.50	c current bound: 153023
1459.08/1460.59	c model valid
1459.08/1460.59	c current solution ok
1459.43/1460.60	c current bound: 153023
1462.17/1463.68	c model valid
1462.17/1463.68	c current solution ok
1462.17/1463.70	c current bound: 153023
1465.27/1466.78	c model valid
1465.27/1466.78	c current solution ok
1465.27/1466.79	c current bound: 153023
1468.65/1469.87	c model valid
1468.65/1469.87	c current solution ok
1468.65/1469.88	c current bound: 153023
1471.74/1472.97	c model valid
1471.74/1472.97	c current solution ok
1471.74/1472.99	c current bound: 153023
1474.57/1476.07	c model valid
1474.57/1476.07	c current solution ok
1474.57/1476.08	c current bound: 153023
1477.67/1479.17	c model valid
1477.67/1479.17	c current solution ok
1477.67/1479.18	c current bound: 153023
1480.77/1482.26	c model valid
1480.77/1482.26	c current solution ok
1480.77/1482.27	c current bound: 153023
1483.87/1485.37	c model valid
1483.87/1485.37	c current solution ok
1483.87/1485.38	c current bound: 153023
1487.25/1488.48	c model valid
1487.25/1488.48	c current solution ok
1487.25/1488.49	c current bound: 153023
1490.07/1491.57	c model valid
1490.07/1491.57	c current solution ok
1490.07/1491.58	c current bound: 153023
1493.15/1494.66	c model valid
1493.15/1494.66	c current solution ok
1493.15/1494.67	c current bound: 153023
1496.26/1497.77	c model valid
1496.26/1497.77	c current solution ok
1496.26/1497.78	c current bound: 153023
1499.37/1500.87	c model valid
1499.37/1500.87	c current solution ok
1499.37/1500.88	c current bound: 153023
1502.76/1503.97	c model valid
1502.76/1503.97	c current solution ok
1502.76/1503.98	c current bound: 153023
1505.85/1507.08	c model valid
1505.85/1507.08	c current solution ok
1505.85/1507.09	c current bound: 153023
1508.68/1510.19	c model valid
1508.68/1510.19	c current solution ok
1509.05/1510.20	c current bound: 153023
1511.78/1513.28	c model valid
1511.78/1513.28	c current solution ok
1511.78/1513.30	c current bound: 153023
1514.88/1516.39	c model valid
1514.88/1516.39	c current solution ok
1515.24/1516.40	c current bound: 153023
1517.98/1519.49	c model valid
1517.98/1519.49	c current solution ok
1518.35/1519.50	c current bound: 153023
1521.38/1522.89	c model valid
1521.38/1522.89	c current solution ok
1521.75/1522.90	c current bound: 153023
1524.74/1525.99	c model valid
1524.74/1525.99	c current solution ok
1524.85/1526.00	c current bound: 153023
1527.96/1529.11	c model valid
1527.96/1529.11	c current solution ok
1527.96/1529.12	c current bound: 153023
1531.04/1532.20	c model valid
1531.04/1532.20	c current solution ok
1531.04/1532.21	c current bound: 153023
1533.78/1535.29	c model valid
1533.78/1535.29	c current solution ok
1534.14/1535.30	c current bound: 153023
1536.88/1538.39	c model valid
1536.88/1538.39	c current solution ok
1537.24/1538.40	c current bound: 153023
1539.98/1541.48	c model valid
1539.98/1541.48	c current solution ok
1539.98/1541.49	c current bound: 153023
1543.33/1544.58	c model valid
1543.33/1544.58	c current solution ok
1543.33/1544.59	c current bound: 153023
1546.16/1547.68	c model valid
1546.16/1547.68	c current solution ok
1546.16/1547.69	c current bound: 153023
1549.25/1550.77	c model valid
1549.25/1550.77	c current solution ok
1549.25/1550.78	c current bound: 153023
1552.35/1553.87	c model valid
1552.35/1553.87	c current solution ok
1552.35/1553.88	c current bound: 153023
1555.44/1556.97	c model valid
1555.44/1556.97	c current solution ok
1555.44/1556.98	c current bound: 153023
1558.82/1560.06	c model valid
1558.82/1560.06	c current solution ok
1558.82/1560.07	c current bound: 153023
1561.92/1563.16	c model valid
1561.92/1563.16	c current solution ok
1561.92/1563.18	c current bound: 153023
1564.74/1566.26	c model valid
1564.74/1566.26	c current solution ok
1564.74/1566.27	c current bound: 153023
1567.83/1569.35	c model valid
1567.83/1569.35	c current solution ok
1567.83/1569.36	c current bound: 153023
1570.92/1572.44	c model valid
1570.92/1572.44	c current solution ok
1570.92/1572.45	c current bound: 153023
1574.32/1575.54	c model valid
1574.32/1575.54	c current solution ok
1574.32/1575.55	c current bound: 153023
1577.43/1578.64	c model valid
1577.43/1578.64	c current solution ok
1577.43/1578.65	c current bound: 153023
1580.22/1581.73	c model valid
1580.22/1581.73	c current solution ok
1580.22/1581.74	c current bound: 153023
1583.32/1584.84	c model valid
1583.32/1584.84	c current solution ok
1583.32/1584.85	c current bound: 153023
1586.41/1587.93	c model valid
1586.41/1587.93	c current solution ok
1586.41/1587.95	c current bound: 153023
1589.50/1591.02	c model valid
1589.50/1591.02	c current solution ok
1589.50/1591.03	c current bound: 153023
1592.94/1594.12	c model valid
1592.94/1594.12	c current solution ok
1592.94/1594.13	c current bound: 153023
1596.04/1597.22	c model valid
1596.04/1597.22	c current solution ok
1596.04/1597.23	c current bound: 153023
1599.14/1600.32	c model valid
1599.14/1600.32	c current solution ok
1599.14/1600.33	c current bound: 153023
1602.23/1603.42	c model valid
1602.23/1603.42	c current solution ok
1602.23/1603.43	c current bound: 153023
1605.34/1606.51	c model valid
1605.34/1606.51	c current solution ok
1605.34/1606.52	c current bound: 153023
1608.43/1609.61	c model valid
1608.43/1609.61	c current solution ok
1608.43/1609.62	c current bound: 153023
1611.42/1612.70	c model valid
1611.42/1612.70	c current solution ok
1611.54/1612.71	c current bound: 153023
1614.63/1615.80	c model valid
1614.63/1615.80	c current solution ok
1614.63/1615.81	c current bound: 153023
1617.73/1618.90	c model valid
1617.73/1618.90	c current solution ok
1617.73/1618.91	c current bound: 153023
1620.48/1621.99	c model valid
1620.48/1621.99	c current solution ok
1620.83/1622.00	c current bound: 153023
1623.94/1625.10	c model valid
1623.94/1625.10	c current solution ok
1623.94/1625.11	c current bound: 153023
1627.03/1628.20	c model valid
1627.03/1628.20	c current solution ok
1627.03/1628.21	c current bound: 153023
1629.77/1631.29	c model valid
1629.77/1631.29	c current solution ok
1630.13/1631.30	c current bound: 153023
1632.86/1634.39	c model valid
1632.86/1634.39	c current solution ok
1633.22/1634.40	c current bound: 153023
1635.97/1637.49	c model valid
1635.97/1637.49	c current solution ok
1636.33/1637.50	c current bound: 153023
1639.43/1640.60	c model valid
1639.43/1640.60	c current solution ok
1639.43/1640.61	c current bound: 153023
1642.53/1643.70	c model valid
1642.53/1643.70	c current solution ok
1642.53/1643.71	c current bound: 153023
1645.51/1646.80	c model valid
1645.51/1646.80	c current solution ok
1645.63/1646.81	c current bound: 153023
1648.73/1649.90	c model valid
1648.73/1649.90	c current solution ok
1648.73/1649.91	c current bound: 153023
1651.46/1652.99	c model valid
1651.46/1652.99	c current solution ok
1651.82/1653.00	c current bound: 153023
1654.55/1656.09	c model valid
1654.55/1656.09	c current solution ok
1654.91/1656.10	c current bound: 153023
1657.65/1659.18	c model valid
1657.65/1659.18	c current solution ok
1657.65/1659.19	c current bound: 153023
1661.01/1662.28	c model valid
1661.01/1662.28	c current solution ok
1661.01/1662.29	c current bound: 153023
1663.83/1665.38	c model valid
1663.83/1665.38	c current solution ok
1663.83/1665.39	c current bound: 153023
1666.93/1668.47	c model valid
1666.93/1668.47	c current solution ok
1666.93/1668.48	c current bound: 153023
1670.04/1671.58	c model valid
1670.04/1671.58	c current solution ok
1670.04/1671.59	c current bound: 153023
1673.14/1674.68	c model valid
1673.14/1674.68	c current solution ok
1673.14/1674.69	c current bound: 153023
1676.48/1677.79	c model valid
1676.48/1677.79	c current solution ok
1676.60/1677.80	c current bound: 153023
1679.59/1680.88	c model valid
1679.59/1680.88	c current solution ok
1679.59/1680.89	c current bound: 153023
1682.42/1683.98	c model valid
1682.42/1683.98	c current solution ok
1682.42/1683.99	c current bound: 153023
1685.53/1687.07	c model valid
1685.53/1687.07	c current solution ok
1685.53/1687.08	c current bound: 153023
1688.62/1690.16	c model valid
1688.62/1690.16	c current solution ok
1688.62/1690.17	c current bound: 153023
1691.71/1693.26	c model valid
1691.71/1693.26	c current solution ok
1691.71/1693.27	c current bound: 153023
1695.10/1696.35	c model valid
1695.10/1696.35	c current solution ok
1695.10/1696.36	c current bound: 153023
1697.92/1699.46	c model valid
1697.92/1699.46	c current solution ok
1697.92/1699.48	c current bound: 153023
1701.00/1702.57	c model valid
1701.00/1702.57	c current solution ok
1701.00/1702.58	c current bound: 153023
1704.12/1705.66	c model valid
1704.12/1705.66	c current solution ok
1704.12/1705.67	c current bound: 153023
1707.21/1708.76	c model valid
1707.21/1708.76	c current solution ok
1707.21/1708.77	c current bound: 153023
1710.60/1711.85	c model valid
1710.60/1711.85	c current solution ok
1710.60/1711.86	c current bound: 153023
1713.71/1714.95	c model valid
1713.71/1714.95	c current solution ok
1713.71/1714.96	c current bound: 153023
1716.50/1718.04	c model valid
1716.50/1718.04	c current solution ok
1716.50/1718.06	c current bound: 153023
1719.59/1721.14	c model valid
1719.59/1721.14	c current solution ok
1719.59/1721.15	c current bound: 153023
1722.69/1724.23	c model valid
1722.69/1724.23	c current solution ok
1722.69/1724.25	c current bound: 153023
1726.10/1727.33	c model valid
1726.10/1727.33	c current solution ok
1726.10/1727.34	c current bound: 153023
1729.20/1730.45	c model valid
1729.20/1730.45	c current solution ok
1729.20/1730.46	c current bound: 153023
1731.99/1733.55	c model valid
1731.99/1733.55	c current solution ok
1731.99/1733.56	c current bound: 153023
1735.09/1736.65	c model valid
1735.09/1736.65	c current solution ok
1735.09/1736.66	c current bound: 153023
1738.19/1739.75	c model valid
1738.19/1739.75	c current solution ok
1738.19/1739.76	c current bound: 153023
1741.29/1742.85	c model valid
1741.29/1742.85	c current solution ok
1741.29/1742.86	c current bound: 153023
1744.68/1745.95	c model valid
1744.68/1745.95	c current solution ok
1744.68/1745.96	c current bound: 153023
1747.78/1749.05	c model valid
1747.78/1749.05	c current solution ok
1747.78/1749.06	c current bound: 153023
1750.59/1752.16	c model valid
1750.59/1752.16	c current solution ok
1750.59/1752.17	c current bound: 153023
1753.70/1755.25	c model valid
1753.70/1755.25	c current solution ok
1753.70/1755.26	c current bound: 153023
1756.79/1758.35	c model valid
1756.79/1758.35	c current solution ok
1756.79/1758.36	c current bound: 153023
1760.19/1761.45	c model valid
1760.19/1761.45	c current solution ok
1760.19/1761.46	c current bound: 153023
1763.30/1764.55	c model valid
1763.30/1764.55	c current solution ok
1763.30/1764.56	c current bound: 153023
1766.08/1767.64	c model valid
1766.08/1767.64	c current solution ok
1766.08/1767.65	c current bound: 153023
1769.18/1770.74	c model valid
1769.18/1770.74	c current solution ok
1769.18/1770.75	c current bound: 153023
1772.28/1773.84	c model valid
1772.28/1773.84	c current solution ok
1772.28/1773.85	c current bound: 153023
1775.37/1776.93	c model valid
1775.37/1776.93	c current solution ok
1775.37/1776.94	c current bound: 153023
1778.79/1780.03	c model valid
1778.79/1780.03	c current solution ok
1778.79/1780.04	c current bound: 153023
1781.89/1783.13	c model valid
1781.89/1783.13	c current solution ok
1781.89/1783.14	c current bound: 153023
1784.67/1786.22	c model valid
1784.67/1786.22	c current solution ok
1784.67/1786.23	c current bound: 153023
1787.77/1789.32	c model valid
1787.77/1789.32	c current solution ok
1787.77/1789.33	c current bound: 153023
1791.20/1792.42	c model valid
1791.20/1792.42	c current solution ok
1791.20/1792.43	c current bound: 153023
1794.30/1795.52	c model valid
1794.30/1795.52	c current solution ok
1794.30/1795.53	c current bound: 153023
1797.41/1798.62	c model valid
1797.41/1798.62	c current solution ok
1797.41/1798.63	c current bound: 153023
1800.09/1801.31	c error: unexpected solver exit code
1800.09/1801.31	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-3751517-1339154869/watcher-3751517-1339154869 -o /tmp/evaluation-result-3751517-1339154869/solver-3751517-1339154869 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751517-1339154869.opb 185427180 HOME HOME 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29897
/proc/meminfo: memFree=26289984/32873648 swapFree=7388/7388
[pid=29897] ppid=29895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29897/stat : 29897 (npSolver-pbo-It) S 29895 29897 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 381611413 9367552 275 33554432000 4194304 5064252 140735035289008 140735035287920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29897/statm: 2287 275 233 213 0 72 0

[startup+0.016108 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29897
/proc/meminfo: memFree=26289984/32873648 swapFree=7388/7388
[pid=29897] ppid=29895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29897/stat : 29897 (npSolver-pbo-It) S 29895 29897 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 381611413 9367552 275 33554432000 4194304 5064252 140735035289008 140735035287920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29897/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100249 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29897
/proc/meminfo: memFree=26289984/32873648 swapFree=7388/7388
[pid=29897] ppid=29895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29897/stat : 29897 (npSolver-pbo-It) S 29895 29897 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 381611413 9367552 275 33554432000 4194304 5064252 140735035289008 140735035287920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29897/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300272 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29897
/proc/meminfo: memFree=26289984/32873648 swapFree=7388/7388
[pid=29897] ppid=29895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29897/stat : 29897 (npSolver-pbo-It) S 29895 29897 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 381611413 9367552 275 33554432000 4194304 5064252 140735035289008 140735035287920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29897/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700303 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29897
/proc/meminfo: memFree=26289984/32873648 swapFree=7388/7388
[pid=29897] ppid=29895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29897/stat : 29897 (npSolver-pbo-It) S 29895 29897 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 381611413 9367552 275 33554432000 4194304 5064252 140735035289008 140735035287920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29897/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 29901
/proc/meminfo: memFree=26183108/32873648 swapFree=7388/7388
[pid=29897] ppid=29895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29897/stat : 29897 (npSolver-pbo-It) S 29895 29897 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 381611413 9367552 275 33554432000 4194304 5064252 140735035289008 140735035287920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29897/statm: 2287 275 233 213 0 72 0
[pid=29898] ppid=29897 vsize=17944 CPUtime=1.35 cores=1,3,5,7
/proc/29898/stat : 29898 (npSolver-pbo) R 29897 29897 27075 0 -1 4202496 5173 19259 0 0 20 17 90 8 20 0 1 0 381611414 18374656 3235 33554432000 4194304 6004724 140735420435776 140735420422056 5190832 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29898/statm: 4486 3235 159 442 0 4040 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 27092

[startup+3.10037 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29906
/proc/meminfo: memFree=26144864/32873648 swapFree=7388/7388
[pid=29897] ppid=29895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29897/stat : 29897 (npSolver-pbo-It) S 29895 29897 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 381611413 9367552 275 33554432000 4194304 5064252 140735035289008 140735035287920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29897/statm: 2287 275 233 213 0 72 0
[pid=29898] ppid=29897 vsize=31648 CPUtime=1.7 cores=1,3,5,7
/proc/29898/stat : 29898 (npSolver-pbo) S 29897 29897 27075 0 -1 4202496 7104 19773 0 0 31 41 90 8 20 0 1 0 381611414 32407552 6412 33554432000 4194304 6004724 140735420435776 140735420428080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29898/statm: 7912 6412 177 442 0 7466 0
[pid=29903] ppid=29898 vsize=40312 CPUtime=0.11 cores=1,3,5,7
/proc/29903/stat : 29903 (glucosInc) S 29898 29897 27075 0 -1 4202496 7965 0 0 0 10 1 0 0 20 0 1 0 381611533 41279488 8173 33554432000 4194304 5654031 140735643797616 140735643795928 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/29903/statm: 10078 8173 146 357 0 9718 0
[pid=29905] ppid=29898 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29905/stat : 29905 (satsolver.sh) S 29898 29897 27075 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 381611599 9367552 266 33554432000 4194304 5064252 140734512512208 140734512511120 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29905/statm: 2287 266 226 213 0 72 0
[pid=29906] ppid=29905 vsize=80572 CPUtime=1.23 cores=1,3,5,7
/proc/29906/stat : 29906 (glucose) R 29905 29897 27075 0 -1 4202496 17029 0 0 0 120 3 0 0 20 0 1 0 381611599 82505728 18542 33554432000 4194304 5208918 140733650961504 140733650959448 4211732 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29906/statm: 20143 18542 95 248 0 19892 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 170828

[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 29911
/proc/meminfo: memFree=26220724/32873648 swapFree=7388/7388
[pid=29897] ppid=29895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29897/stat : 29897 (npSolver-pbo-It) S 29895 29897 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 381611413 9367552 275 33554432000 4194304 5064252 140735035289008 140735035287920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29897/statm: 2287 275 233 213 0 72 0
[pid=29898] ppid=29897 vsize=31648 CPUtime=4.81 cores=1,3,5,7
/proc/29898/stat : 29898 (npSolver-pbo) S 29897 29897 27075 0 -1 4202496 9611 42772 0 0 42 42 372 25 20 0 1 0 381611414 32407552 6412 33554432000 4194304 6004724 140735420435776 140735420428080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29898/statm: 7912 6412 177 442 0 7466 0
[pid=29903] ppid=29898 vsize=40312 CPUtime=0.11 cores=1,3,5,7
/proc/29903/stat : 29903 (glucosInc) S 29898 29897 27075 0 -1 4202496 7965 0 0 0 10 1 0 0 20 0 1 0 381611533 41279488 8173 33554432000 4194304 5654031 140735643797616 140735643795928 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/29903/statm: 10078 8173 146 357 0 9718 0
Current children cumulated CPU time (s) 4.92
Current children cumulated vsize (KiB) 81108
heavy processes:

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29927
/proc/meminfo: memFree=26143548/32873648 swapFree=7388/7388
[pid=29897] ppid=29895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29897/stat : 29897 (npSolver-pbo-It) S 29895 29897 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 381611413 9367552 275 33554432000 4194304 5064252 140735035289008 140735035287920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29897/statm: 2287 275 233 213 0 72 0
[pid=29898] ppid=29897 vsize=31648 CPUtime=11 cores=1,3,5,7
/proc/29898/stat : 29898 (npSolver-pbo) S 29897 29897 27075 0 -1 4202496 14625 89123 0 0 64 44 939 53 20 0 1 0 381611414 32407552 6412 33554432000 4194304 6004724 140735420435776 140735420428080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29898/statm: 7912 6412 177 442 0 7466 0
[pid=29903] ppid=29898 vsize=40312 CPUtime=0.11 cores=1,3,5,7
/proc/29903/stat : 29903 (glucosInc) S 29898 29897 27075 0 -1 4202496 7965 0 0 0 10 1 0 0 20 0 1 0 381611533 41279488 8173 33554432000 4194304 5654031 140735643797616 140735643795928 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/29903/statm: 10078 8173 146 357 0 9718 0
[pid=29926] ppid=29898 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29926/stat : 29926 (satsolver.sh) S 29898 29897 27075 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 381612573 9367552 267 33554432000 4194304 5064252 140736893360560 140736893359472 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29926/statm: 2287 267 226 213 0 72 0
[pid=29927] ppid=29926 vsize=80568 CPUtime=1.1 cores=1,3,5,7
/proc/29927/stat : 29927 (glucose) R 29926 29897 27075 0 -1 4202496 16868 0 0 0 107 3 0 0 20 0 1 0 381612573 82501632 18337 33554432000 4194304 5208918 140735567162992 140735567160840 4211553 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/29927/statm: 20142 18337 95 248 0 19891 0
Current children cumulated CPU time (s) 12.21
Current children cumulated vsize (KiB) 170824

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29955
/proc/meminfo: memFree=26142792/32873648 swapFree=7388/7388
[pid=29897] ppid=29895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29897/stat : 29897 (npSolver-pbo-It) S 29895 29897 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 381611413 9367552 275 33554432000 4194304 5064252 140735035289008 140735035287920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29897/statm: 2287 275 233 213 0 72 0
[pid=29898] ppid=29897 vsize=31648 CPUtime=23.4 cores=1,3,5,7
/proc/29898/stat : 29898 (npSolver-pbo) S 29897 29897 27075 0 -1 4202496 24653 184165 0 0 109 49 2058 124 20 0 1 0 381611414 32407552 6412 33554432000 4194304 6004724 140735420435776 140735420428080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29898/statm: 7912 6412 177 442 0 7466 0
[pid=29903] ppid=29898 vsize=40312 CPUtime=0.11 cores=1,3,5,7
/proc/29903/stat : 29903 (glucosInc) S 29898 29897 27075 0 -1 4202496 7965 0 0 0 10 1 0 0 20 0 1 0 381611533 41279488 8173 33554432000 4194304 5654031 140735643797616 140735643795928 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/29903/statm: 10078 8173 146 357 0 9718 0
[pid=29954] ppid=29898 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29954/stat : 29954 (satsolver.sh) S 29898 29897 27075 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 381613810 9367552 266 33554432000 4194304 5064252 140734441237840 140734441236752 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29954/statm: 2287 266 226 213 0 72 0
[pid=29955] ppid=29954 vsize=80572 CPUtime=1.51 cores=1,3,5,7
/proc/29955/stat : 29955 (glucose) R 29954 29897 27075 0 -1 4202496 17011 0 0 0 149 2 0 0 20 0 1 0 381613811 82505728 18530 33554432000 4194304 5208918 140736425542448 140736425540392 4211712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29955/statm: 20143 18530 95 248 0 19892 0
Current children cumulated CPU time (s) 25.02
Current children cumulated vsize (KiB) 170828

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 30011
/proc/meminfo: memFree=26136680/32873648 swapFree=7388/7388
[pid=29897] ppid=29895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29897/stat : 29897 (npSolver-pbo-It) S 29895 29897 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 381611413 9367552 275 33554432000 4194304 5064252 140735035289008 140735035287920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29897/statm: 2287 275 233 213 0 72 0
[pid=29898] ppid=29897 vsize=31648 CPUtime=48.13 cores=1,3,5,7
/proc/29898/stat : 29898 (npSolver-pbo) S 29897 29897 27075 0 -1 4202496 44709 367427 0 0 198 56 4306 253 20 0 1 0 381611414 32407552 6412 33554432000 4194304 6004724 140735420435776 140735420428080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29898/statm: 7912 6412 177 442 0 7466 0
[pid=29903] ppid=29898 vsize=40312 CPUtime=0.11 cores=1,3,5,7
/proc/29903/stat : 29903 (glucosInc) S 29898 29897 27075 0 -1 4202496 7965 0 0 0 10 1 0 0 20 0 1 0 381611533 41279488 8173 33554432000 4194304 5654031 140735643797616 140735643795928 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/29903/statm: 10078 8173 146 357 0 9718 0
[pid=30010] ppid=29898 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30010/stat : 30010 (satsolver.sh) S 29898 29897 27075 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 381616285 9367552 267 33554432000 4194304 5064252 140737055306848 140737055305760 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30010/statm: 2287 267 226 213 0 72 0
[pid=30011] ppid=30010 vsize=80572 CPUtime=2.38 cores=1,3,5,7
/proc/30011/stat : 30011 (glucose) R 30010 29897 27075 0 -1 4202496 17643 0 0 0 235 3 0 0 20 0 1 0 381616285 82505728 18521 33554432000 4194304 5208918 140735425017584 140735425015432 4211792 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30011/statm: 20143 18521 95 248 0 19892 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 170828

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 30130
/proc/meminfo: memFree=26132400/32873648 swapFree=7388/7388
[pid=29897] ppid=29895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29897/stat : 29897 (npSolver-pbo-It) S 29895 29897 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 381611413 9367552 275 33554432000 4194304 5064252 140735035289008 140735035287920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29897/statm: 2287 275 233 213 0 72 0
[pid=29898] ppid=29897 vsize=31648 CPUtime=100.8 cores=1,3,5,7
/proc/29898/stat : 29898 (npSolver-pbo) S 29897 29897 27075 0 -1 4202496 87328 761017 0 0 386 74 9085 535 20 0 1 0 381611414 32407552 6412 33554432000 4194304 6004724 140735420435776 140735420428080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29898/statm: 7912 6412 177 442 0 7466 0
[pid=29903] ppid=29898 vsize=40312 CPUtime=0.11 cores=1,3,5,7
/proc/29903/stat : 29903 (glucosInc) S 29898 29897 27075 0 -1 4202496 7965 0 0 0 10 1 0 0 20 0 1 0 381611533 41279488 8173 33554432000 4194304 5654031 140735643797616 140735643795928 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/29903/statm: 10078 8173 146 357 0 9718 0
[pid=30129] ppid=29898 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30129/stat : 30129 (satsolver.sh) S 29898 29897 27075 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 381621552 9367552 267 33554432000 4194304 5064252 140737278237120 140737278236032 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30129/statm: 2287 267 226 213 0 72 0
[pid=30130] ppid=30129 vsize=80576 CPUtime=0.91 cores=1,3,5,7
/proc/30130/stat : 30130 (glucose) R 30129 29897 27075 0 -1 4202496 17537 0 0 0 89 2 0 0 20 0 1 0 381621552 82509824 18436 33554432000 4194304 5208918 140734857807248 140734857805560 4211558 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30130/statm: 20144 18436 95 248 0 19893 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 170832

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 30266
/proc/meminfo: memFree=26119504/32873648 swapFree=7388/7388

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

/proc/29898/stat : 29898 (npSolver-pbo) S 29897 29897 27075 0 -1 4202496 1152803 10665659 0 0 5078 539 128498 7770 20 0 1 0 381611414 32407552 6412 33554432000 4194304 6004724 140735420435776 140735420428080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29898/statm: 7912 6412 177 442 0 7466 0
[pid=704] ppid=29898 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/704/stat : 704 (satsolver.sh) S 29898 29897 27075 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 381753425 9367552 267 33554432000 4194304 5064252 140736293860752 140736293859664 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/704/statm: 2287 267 226 213 0 72 0
[pid=705] ppid=704 vsize=80572 CPUtime=2.18 cores=1,3,5,7
/proc/705/stat : 705 (glucose) R 704 29897 27075 0 -1 4202496 17041 0 0 0 215 3 0 0 20 0 1 0 381753425 82505728 18555 33554432000 4194304 5208918 140735388236336 140735388234184 4211570 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/705/statm: 20143 18555 95 248 0 19892 0
[pid=29903] ppid=29898 vsize=40312 CPUtime=0.11 cores=1,3,5,7
/proc/29903/stat : 29903 (glucosInc) S 29898 29897 27075 0 -1 4202496 7965 0 0 0 10 1 0 0 20 0 1 0 381611533 41279488 8678 33554432000 4194304 5654031 140735643797616 140735643795928 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/29903/statm: 10078 8678 146 357 0 9718 0
Current children cumulated CPU time (s) 1421.14
Current children cumulated vsize (KiB) 170828

[startup+1482.3 s]
/proc/loadavg: 2.07 1.99 1.98 3/183 840
/proc/meminfo: memFree=26197836/32873648 swapFree=7388/7388
[pid=29897] ppid=29895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29897/stat : 29897 (npSolver-pbo-It) S 29895 29897 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 381611413 9367552 275 33554432000 4194304 5064252 140735035289008 140735035287920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29897/statm: 2287 275 233 213 0 72 0
[pid=29898] ppid=29897 vsize=31648 CPUtime=1481.05 cores=1,3,5,7
/proc/29898/stat : 29898 (npSolver-pbo) R 29897 29897 27075 0 -1 4202496 1202074 11133039 0 0 5292 560 134140 8113 20 0 1 0 381611414 32407552 6412 33554432000 4194304 6004724 140735420435776 140735420428656 5055511 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/29898/statm: 7912 6412 177 442 0 7466 0
[pid=29903] ppid=29898 vsize=40312 CPUtime=0.11 cores=1,3,5,7
/proc/29903/stat : 29903 (glucosInc) S 29898 29897 27075 0 -1 4202496 7965 0 0 0 10 1 0 0 20 0 1 0 381611533 41279488 8678 33554432000 4194304 5654031 140735643797616 140735643795928 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/29903/statm: 10078 8678 146 357 0 9718 0
Current children cumulated CPU time (s) 1481.16
Current children cumulated vsize (KiB) 81108

[startup+1542.31 s]
/proc/loadavg: 2.02 1.99 1.98 3/183 982
/proc/meminfo: memFree=26202408/32873648 swapFree=7388/7388
[pid=29897] ppid=29895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29897/stat : 29897 (npSolver-pbo-It) S 29895 29897 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 381611413 9367552 275 33554432000 4194304 5064252 140735035289008 140735035287920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29897/statm: 2287 275 233 213 0 72 0
[pid=29898] ppid=29897 vsize=31648 CPUtime=1540.33 cores=1,3,5,7
/proc/29898/stat : 29898 (npSolver-pbo) S 29897 29897 27075 0 -1 4202496 1241846 11574357 0 0 5509 581 139510 8433 20 0 1 0 381611414 32407552 6412 33554432000 4194304 6004724 140735420435776 140735420428080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29898/statm: 7912 6412 177 442 0 7466 0
[pid=981] ppid=29898 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/981/stat : 981 (satsolver.sh) S 29898 29897 27075 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 381765573 9367552 267 33554432000 4194304 5064252 140736354944352 140736354943264 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/981/statm: 2287 267 226 213 0 72 0
[pid=982] ppid=981 vsize=80440 CPUtime=0.7 cores=1,3,5,7
/proc/982/stat : 982 (glucose) R 981 29897 27075 0 -1 4202496 17169 0 0 0 67 3 0 0 20 0 1 0 381765573 82370560 18606 33554432000 4194304 5208918 140737403361584 140737403359976 4211732 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/982/statm: 20110 18606 95 248 0 19859 0
[pid=29903] ppid=29898 vsize=40312 CPUtime=0.11 cores=1,3,5,7
/proc/29903/stat : 29903 (glucosInc) S 29898 29897 27075 0 -1 4202496 7965 0 0 0 10 1 0 0 20 0 1 0 381611533 41279488 8678 33554432000 4194304 5654031 140735643797616 140735643795928 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/29903/statm: 10078 8678 146 357 0 9718 0
Current children cumulated CPU time (s) 1541.14
Current children cumulated vsize (KiB) 170696

[startup+1602.3 s]
/proc/loadavg: 2.01 1.99 1.98 3/183 1117
/proc/meminfo: memFree=26194624/32873648 swapFree=7388/7388
[pid=29897] ppid=29895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29897/stat : 29897 (npSolver-pbo-It) S 29895 29897 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 381611413 9367552 275 33554432000 4194304 5064252 140735035289008 140735035287920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29897/statm: 2287 275 233 213 0 72 0
[pid=29898] ppid=29897 vsize=31648 CPUtime=1599.16 cores=1,3,5,7
/proc/29898/stat : 29898 (npSolver-pbo) S 29897 29897 27075 0 -1 4202496 1272892 12017894 0 0 5719 602 144846 8749 20 0 1 0 381611414 32407552 6412 33554432000 4194304 6004724 140735420435776 140735420428080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29898/statm: 7912 6412 177 442 0 7466 0
[pid=1116] ppid=29898 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1116/stat : 1116 (satsolver.sh) S 29898 29897 27075 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 381771456 9367552 267 33554432000 4194304 5064252 140734186211488 140734186210400 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1116/statm: 2287 267 226 213 0 72 0
[pid=1117] ppid=1116 vsize=80576 CPUtime=1.86 cores=1,3,5,7
/proc/1117/stat : 1117 (glucose) R 1116 29897 27075 0 -1 4202496 17109 0 0 0 183 3 0 0 20 0 1 0 381771456 82509824 18503 33554432000 4194304 5208918 140734936774176 140734936772024 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1117/statm: 20144 18503 95 248 0 19893 0
[pid=29903] ppid=29898 vsize=40312 CPUtime=0.11 cores=1,3,5,7
/proc/29903/stat : 29903 (glucosInc) S 29898 29897 27075 0 -1 4202496 7965 0 0 0 10 1 0 0 20 0 1 0 381611533 41279488 8678 33554432000 4194304 5654031 140735643797616 140735643795928 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/29903/statm: 10078 8678 146 357 0 9718 0
Current children cumulated CPU time (s) 1601.13
Current children cumulated vsize (KiB) 170832

[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/183 1253
/proc/meminfo: memFree=26260040/32873648 swapFree=7388/7388
[pid=29897] ppid=29895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29897/stat : 29897 (npSolver-pbo-It) S 29895 29897 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 381611413 9367552 275 33554432000 4194304 5064252 140735035289008 140735035287920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29897/statm: 2287 275 233 213 0 72 0
[pid=29898] ppid=29897 vsize=31648 CPUtime=1661 cores=1,3,5,7
/proc/29898/stat : 29898 (npSolver-pbo) R 29897 29897 27075 0 -1 4202496 1304539 12483332 0 0 5931 622 150454 9093 20 0 1 0 381611414 32407552 6412 33554432000 4194304 6004724 140735420435776 140735420428656 4581223 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/29898/statm: 7912 6412 177 442 0 7466 0
[pid=29903] ppid=29898 vsize=40312 CPUtime=0.11 cores=1,3,5,7
/proc/29903/stat : 29903 (glucosInc) S 29898 29897 27075 0 -1 4202496 7965 0 0 0 10 1 0 0 20 0 1 0 381611533 41279488 8678 33554432000 4194304 5654031 140735643797616 140735643795928 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/29903/statm: 10078 8678 146 357 0 9718 0
Current children cumulated CPU time (s) 1661.11
Current children cumulated vsize (KiB) 81108

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/183 1396
/proc/meminfo: memFree=26191336/32873648 swapFree=7388/7388
[pid=29897] ppid=29895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29897/stat : 29897 (npSolver-pbo-It) S 29895 29897 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 381611413 9367552 275 33554432000 4194304 5064252 140735035289008 140735035287920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29897/statm: 2287 275 233 213 0 72 0
[pid=29898] ppid=29897 vsize=31648 CPUtime=1719.96 cores=1,3,5,7
/proc/29898/stat : 29898 (npSolver-pbo) S 29897 29897 27075 0 -1 4202496 1336618 12925621 0 0 6150 643 155786 9417 20 0 1 0 381611414 32407552 6412 33554432000 4194304 6004724 140735420435776 140735420428080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29898/statm: 7912 6412 177 442 0 7466 0
[pid=1395] ppid=29898 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1395/stat : 1395 (satsolver.sh) S 29898 29897 27075 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 381783538 9367552 266 33554432000 4194304 5064252 140734924352432 140734924351344 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1395/statm: 2287 266 226 213 0 72 0
[pid=1396] ppid=1395 vsize=80568 CPUtime=1.04 cores=1,3,5,7
/proc/1396/stat : 1396 (glucose) R 1395 29897 27075 0 -1 4202496 17172 0 0 0 101 3 0 0 20 0 1 0 381783539 82501632 18610 33554432000 4194304 5208918 140735239297264 140735239295208 4211635 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1396/statm: 20142 18610 95 248 0 19891 0
[pid=29903] ppid=29898 vsize=40312 CPUtime=0.11 cores=1,3,5,7
/proc/29903/stat : 29903 (glucosInc) S 29898 29897 27075 0 -1 4202496 7965 0 0 0 10 1 0 0 20 0 1 0 381611533 41279488 8678 33554432000 4194304 5654031 140735643797616 140735643795928 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/29903/statm: 10078 8678 146 357 0 9718 0
Current children cumulated CPU time (s) 1721.11
Current children cumulated vsize (KiB) 170824

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/183 1545
/proc/meminfo: memFree=26198392/32873648 swapFree=7388/7388
[pid=29897] ppid=29895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29897/stat : 29897 (npSolver-pbo-It) S 29895 29897 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 381611413 9367552 275 33554432000 4194304 5064252 140735035289008 140735035287920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29897/statm: 2287 275 233 213 0 72 0
[pid=29898] ppid=29897 vsize=31648 CPUtime=1778.83 cores=1,3,5,7
/proc/29898/stat : 29898 (npSolver-pbo) S 29897 29897 27075 0 -1 4202496 1367664 13368424 0 0 6360 662 161122 9739 20 0 1 0 381611414 32407552 6412 33554432000 4194304 6004724 140735420435776 140735420428080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29898/statm: 7912 6412 177 442 0 7466 0
[pid=1544] ppid=29898 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1544/stat : 1544 (satsolver.sh) S 29898 29897 27075 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 381789427 9367552 267 33554432000 4194304 5064252 140734410605104 140734410604016 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1544/statm: 2287 267 226 213 0 72 0
[pid=1545] ppid=1544 vsize=80568 CPUtime=2.15 cores=1,3,5,7
/proc/1545/stat : 1545 (glucose) R 1544 29897 27075 0 -1 4202496 17631 0 0 0 212 3 0 0 20 0 1 0 381789428 82501632 18512 33554432000 4194304 5208918 140736210914640 140736210912488 4211871 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1545/statm: 20142 18512 95 248 0 19891 0
[pid=29903] ppid=29898 vsize=40312 CPUtime=0.11 cores=1,3,5,7
/proc/29903/stat : 29903 (glucosInc) S 29898 29897 27075 0 -1 4202496 7965 0 0 0 10 1 0 0 20 0 1 0 381611533 41279488 8678 33554432000 4194304 5654031 140735643797616 140735643795928 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/29903/statm: 10078 8678 146 357 0 9718 0
Current children cumulated CPU time (s) 1781.09
Current children cumulated vsize (KiB) 170824



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.3 s]
/proc/loadavg: 1.93 1.97 1.98 3/183 1594
/proc/meminfo: memFree=26195352/32873648 swapFree=7388/7388
[pid=29897] ppid=29895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29897/stat : 29897 (npSolver-pbo-It) S 29895 29897 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 381611413 9367552 275 33554432000 4194304 5064252 140735035289008 140735035287920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29897/statm: 2287 275 233 213 0 72 0
[pid=29898] ppid=29897 vsize=31648 CPUtime=1797.42 cores=1,3,5,7
/proc/29898/stat : 29898 (npSolver-pbo) S 29897 29897 27075 0 -1 4202496 1377468 13507740 0 0 6426 669 162803 9844 20 0 1 0 381611414 32407552 6412 33554432000 4194304 6004724 140735420435776 140735420428080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29898/statm: 7912 6412 177 442 0 7466 0
[pid=1593] ppid=29898 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1593/stat : 1593 (satsolver.sh) S 29898 29897 27075 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 381791286 9367552 266 33554432000 4194304 5064252 140733323623920 140733323622832 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1593/statm: 2287 266 226 213 0 72 0
[pid=1594] ppid=1593 vsize=81052 CPUtime=2.56 cores=1,3,5,7
/proc/1594/stat : 1594 (glucose) R 1593 29897 27075 0 -1 4202496 17630 0 0 0 253 3 0 0 20 0 1 0 381791286 82997248 18559 33554432000 4194304 5208918 140736511419184 140736511417032 4607488 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1594/statm: 20263 18559 105 248 0 20012 0
[pid=29903] ppid=29898 vsize=40312 CPUtime=0.11 cores=1,3,5,7
/proc/29903/stat : 29903 (glucosInc) S 29898 29897 27075 0 -1 4202496 7965 0 0 0 10 1 0 0 20 0 1 0 381611533 41279488 8678 33554432000 4194304 5654031 140735643797616 140735643795928 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/29903/statm: 10078 8678 146 357 0 9718 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 171308

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 29897 and gives
#  childrusage.ru_utime.tv_sec=1692
#  childrusage.ru_utime.tv_usec=297731
#  childrusage.ru_stime.tv_sec=105
#  childrusage.ru_stime.tv_usec=139016
# CPU time returned by wait4() is 1797.44
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1801.31
CPU time (s): 1800.09
CPU user time (s): 1694.92
CPU system time (s): 105.17
CPU usage (%): 99.9321
Max. virtual memory (cumulated for all children) (KiB): 171316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1692.3
system time used= 105.139
maximum resident set size= 92900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14886185
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15860320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 317961
involuntary context switches= 9903

runsolver used 3.18552 second user time and 8.5637 second system time

The end

Launcher Data 

Begin job on node148 at 2012-06-08 13:27:49
IDJOB=3751517
IDBENCH=71905
IDSOLVER=2335
FILE ID=node148/3751517-1339154869
RUNJOBID= node148-1339134206-27092
PBS_JOBID= 14643787
Free space on /tmp= 70284 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__128.opb
COMMAND LINE= DIR/npSolver-pbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3751517-1339154869/watcher-3751517-1339154869 -o /tmp/evaluation-result-3751517-1339154869/solver-3751517-1339154869 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751517-1339154869.opb 185427180 HOME HOME

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

MD5SUM BENCH= c57c1a163af10ea174ed9d51ace361ef
RANDOM SEED=185427180

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        26289876 kB
Buffers:          677104 kB
Cached:          4541348 kB
SwapCached:          560 kB
Active:          3166696 kB
Inactive:        2484720 kB
Active(anon):     422388 kB
Inactive(anon):    10620 kB
Active(file):    2744308 kB
Inactive(file):  2474100 kB
Unevictable:        7388 kB
Mlocked:            7388 kB
SwapTotal:      67108856 kB
SwapFree:       67107596 kB
Dirty:              8556 kB
Writeback:             0 kB
AnonPages:        474224 kB
Mapped:            12460 kB
Shmem:                36 kB
Slab:             792388 kB
SReclaimable:     236456 kB
SUnreclaim:       555932 kB
KernelStack:        1520 kB
PageTables:         4852 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     612348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    327680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70340 MiB
End job on node148 at 2012-06-08 13:57:51