Trace number 3715933

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topdown-quickBound? (TO) 1800.12 1799.72

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900667195--soft-0-100-0.wbo
MD5SUMa4c39a3f1b80365b8ad34a89f93fc523
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark97.4522
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 134314
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 134313
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 655
Number of bits of the biggest sum of numbers10
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.02	c run usual solver
0.00/0.34	o 1179
0.00/0.34	c starting approximation
0.00/0.44	c factor = 2
0.00/0.44	c factor still to low - shrinking to 9.73382
0.00/0.44	c approx number of clauses: 1e+06
0.00/0.44	c current bound: 589
1.24/1.72	c current bound: 589
2.61/3.09	c current bound: 589
4.19/4.47	c current bound: 589
5.37/5.84	c current bound: 589
6.75/7.22	c current bound: 589
8.12/8.60	c current bound: 589
9.69/9.97	c current bound: 589
10.88/11.34	c current bound: 589
12.25/12.72	c current bound: 589
13.62/14.09	c current bound: 589
15.19/15.46	c current bound: 589
16.37/16.84	c current bound: 589
17.76/18.21	c current bound: 589
19.12/19.58	c current bound: 589
20.71/20.96	c current bound: 589
21.88/22.33	c current bound: 589
23.26/23.71	c current bound: 589
24.63/25.08	c current bound: 589
26.23/26.45	c current bound: 589
27.38/27.83	c current bound: 589
28.75/29.20	c current bound: 589
30.14/30.58	c current bound: 589
31.71/31.96	c current bound: 589
32.89/33.34	c current bound: 589
34.28/34.74	c current bound: 589
35.66/36.11	c current bound: 589
37.22/37.49	c current bound: 589
38.44/38.87	c current bound: 589
39.80/40.24	c current bound: 589
41.19/41.62	c current bound: 589
42.84/43.00	c current bound: 589
43.95/44.38	c current bound: 589
45.32/45.76	c current bound: 589
46.69/47.13	c current bound: 589
48.33/48.51	c current bound: 589
49.45/49.89	c current bound: 589
50.83/51.27	c current bound: 589
52.21/52.64	c current bound: 589
53.84/54.02	c current bound: 589
54.97/55.44	c current bound: 589
56.35/56.82	c current bound: 589
57.72/58.19	c current bound: 589
59.30/59.57	c current bound: 589
60.48/60.95	c current bound: 589
61.85/62.33	c current bound: 589
63.24/63.70	c current bound: 589
64.82/65.07	c current bound: 589
65.99/66.45	c current bound: 589
67.37/67.83	c current bound: 589
69.01/69.20	c current bound: 589
70.31/70.57	c current bound: 589
71.49/71.95	c current bound: 589
72.88/73.33	c current bound: 589
74.25/74.71	c current bound: 589
75.82/76.08	c current bound: 589
77.01/77.46	c current bound: 589
78.39/78.84	c current bound: 589
79.77/80.22	c current bound: 589
81.43/81.60	c current bound: 589
82.52/82.97	c current bound: 589
83.91/84.34	c current bound: 589
85.28/85.72	c current bound: 589
86.94/87.10	c current bound: 589
88.04/88.49	c current bound: 589
89.44/89.88	c current bound: 589
90.81/91.25	c current bound: 589
92.42/92.63	c current bound: 589
93.57/94.00	c current bound: 589
94.94/95.38	c current bound: 589
96.34/96.76	c current bound: 589
97.93/98.14	c current bound: 589
99.08/99.52	c current bound: 589
100.74/100.90	c current bound: 589
101.85/102.27	c current bound: 589
103.42/103.65	c current bound: 589
104.60/105.03	c current bound: 589
105.98/106.41	c current bound: 589
107.35/107.78	c current bound: 589
108.93/109.15	c current bound: 589
110.11/110.53	c current bound: 589
111.48/111.90	c current bound: 589
112.86/113.28	c current bound: 589
114.45/114.66	c current bound: 589
115.62/116.04	c current bound: 589
117.01/117.41	c current bound: 589
118.38/118.79	c current bound: 589
119.77/120.17	c current bound: 589
121.15/121.55	c current bound: 589
122.53/122.93	c current bound: 589
123.90/124.30	c current bound: 589
125.28/125.68	c current bound: 589
126.64/127.06	c current bound: 589
128.04/128.43	c current bound: 589
129.65/129.81	c current bound: 589
130.79/131.19	c current bound: 589
132.17/132.56	c current bound: 589
133.55/133.94	c current bound: 589
135.17/135.33	c current bound: 589
136.31/136.70	c current bound: 589
137.69/138.08	c current bound: 589
139.06/139.46	c current bound: 589
140.66/140.85	c current bound: 589
141.84/142.22	c current bound: 589
143.47/143.60	c current bound: 589
144.58/144.97	c current bound: 589
146.16/146.35	c current bound: 589
147.33/147.72	c current bound: 589
148.98/149.10	c current bound: 589
150.08/150.48	c current bound: 589
151.68/151.85	c current bound: 589
152.84/153.23	c current bound: 589
154.20/154.61	c current bound: 589
155.59/155.98	c current bound: 589
157.18/157.35	c current bound: 589
158.34/158.73	c current bound: 589
159.72/160.12	c current bound: 589
161.11/161.50	c current bound: 589
162.67/162.88	c current bound: 589
163.87/164.26	c current bound: 589
165.24/165.63	c current bound: 589
166.61/167.01	c current bound: 589
168.18/168.39	c current bound: 589
169.38/169.77	c current bound: 589
170.75/171.15	c current bound: 589
172.12/172.52	c current bound: 589
173.79/173.91	c current bound: 589
174.90/175.29	c current bound: 589
176.28/176.67	c current bound: 589
177.66/178.04	c current bound: 589
179.27/179.41	c current bound: 589
180.40/180.80	c current bound: 589
181.77/182.18	c current bound: 589
183.16/183.56	c current bound: 589
184.77/184.93	c current bound: 589
185.91/186.30	c current bound: 589
187.29/187.68	c current bound: 589
188.66/189.05	c current bound: 589
190.29/190.42	c current bound: 589
191.42/191.80	c current bound: 589
192.79/193.18	c current bound: 589
194.17/194.56	c current bound: 589
195.77/195.93	c current bound: 589
196.93/197.31	c current bound: 589
198.60/198.70	c current bound: 589
199.68/200.07	c current bound: 589
201.27/201.45	c current bound: 589
202.44/202.83	c current bound: 589
203.82/204.20	c current bound: 589
205.18/205.58	c current bound: 589
206.78/206.95	c current bound: 589
207.94/208.33	c current bound: 589
209.31/209.71	c current bound: 589
210.69/211.09	c current bound: 589
212.26/212.47	c current bound: 589
213.44/213.96	c current bound: 589
214.83/215.34	c current bound: 589
216.46/216.71	c current bound: 589
217.57/218.08	c current bound: 589
218.96/219.47	c current bound: 589
220.33/220.84	c current bound: 589
221.96/222.22	c current bound: 589
223.09/223.60	c current bound: 589
224.49/224.98	c current bound: 589
225.85/226.38	c current bound: 589
227.46/227.76	c current bound: 589
228.64/229.14	c current bound: 589
230.01/230.51	c current bound: 589
231.67/231.90	c current bound: 589
232.97/233.27	c current bound: 589
234.16/234.66	c current bound: 589
235.55/236.04	c current bound: 589
236.92/237.42	c current bound: 589
238.47/238.80	c current bound: 589
239.67/240.18	c current bound: 589
241.05/241.56	c current bound: 589
242.43/242.93	c current bound: 589
244.09/244.30	c current bound: 589
245.19/245.69	c current bound: 589
246.57/247.08	c current bound: 589
247.95/248.45	c current bound: 589
249.56/249.83	c current bound: 589
250.70/251.21	c current bound: 589
252.08/252.58	c current bound: 589
253.46/253.96	c current bound: 589
255.07/255.34	c current bound: 589
256.22/256.71	c current bound: 589
257.60/258.09	c current bound: 589
258.96/259.46	c current bound: 589
260.57/260.84	c current bound: 589
261.72/262.21	c current bound: 589
263.10/263.59	c current bound: 589
264.48/264.97	c current bound: 589
266.08/266.34	c current bound: 589
267.24/267.72	c current bound: 589
268.90/269.10	c current bound: 589
270.00/270.47	c current bound: 589
271.59/271.86	c current bound: 589
272.75/273.23	c current bound: 589
274.13/274.60	c current bound: 589
275.50/275.98	c current bound: 589
277.09/277.36	c current bound: 589
278.27/278.75	c current bound: 589
279.65/280.12	c current bound: 589
281.31/281.50	c current bound: 589
282.60/282.87	c current bound: 589
283.79/284.26	c current bound: 589
285.17/285.63	c current bound: 589
286.55/287.01	c current bound: 589
288.11/288.38	c current bound: 589
289.30/289.76	c current bound: 589
290.68/291.13	c current bound: 589
292.04/292.51	c current bound: 589
293.62/293.89	c current bound: 589
294.81/295.26	c current bound: 589
296.20/296.64	c current bound: 589
297.57/298.01	c current bound: 589
299.14/299.39	c current bound: 589
300.32/300.77	c current bound: 589
301.71/302.14	c current bound: 589
303.08/303.51	c current bound: 589
304.63/304.88	c current bound: 589
305.83/306.27	c current bound: 589
307.21/307.64	c current bound: 589
308.58/309.02	c current bound: 589
310.15/310.39	c current bound: 589
311.34/311.77	c current bound: 589
312.73/313.15	c current bound: 589
314.10/314.53	c current bound: 589
315.75/315.91	c current bound: 589
316.86/317.29	c current bound: 589
318.24/318.67	c current bound: 589
319.66/320.08	c current bound: 589
321.24/321.46	c current bound: 589
322.42/322.84	c current bound: 589
323.80/324.22	c current bound: 589
325.18/325.59	c current bound: 589
326.57/326.98	c current bound: 589
327.94/328.35	c current bound: 589
329.32/329.73	c current bound: 589
330.93/331.13	c current bound: 589
332.09/332.50	c current bound: 589
333.46/333.88	c current bound: 589
334.84/335.26	c current bound: 589
336.45/336.63	c current bound: 589
337.60/338.01	c current bound: 589
339.26/339.40	c current bound: 589
340.37/340.78	c current bound: 589
341.95/342.15	c current bound: 589
343.12/343.54	c current bound: 589
344.51/344.92	c current bound: 589
345.89/346.29	c current bound: 589
347.45/347.67	c current bound: 589
348.65/349.05	c current bound: 589
350.03/350.43	c current bound: 589
351.40/351.80	c current bound: 589
352.97/353.18	c current bound: 589
354.14/354.56	c current bound: 589
355.53/355.93	c current bound: 589
356.90/357.30	c current bound: 589
358.46/358.68	c current bound: 589
359.66/360.06	c current bound: 589
361.03/361.44	c current bound: 589
362.41/362.82	c current bound: 589
363.95/364.19	c current bound: 589
365.16/365.57	c current bound: 589
366.54/366.94	c current bound: 589
367.92/368.32	c current bound: 589
369.46/369.69	c current bound: 589
370.67/371.07	c current bound: 589
372.07/372.46	c current bound: 589
373.44/373.83	c current bound: 589
375.07/375.21	c current bound: 589
376.20/376.59	c current bound: 589
377.57/377.97	c current bound: 589
378.98/379.35	c current bound: 589
380.59/380.73	c current bound: 589
381.74/382.11	c current bound: 589
383.11/383.49	c current bound: 589
384.49/384.88	c current bound: 589
386.08/386.26	c current bound: 589
387.25/387.64	c current bound: 589
388.63/389.01	c current bound: 589
390.02/390.39	c current bound: 589
391.59/391.77	c current bound: 589
392.78/393.15	c current bound: 589
394.16/394.52	c current bound: 589
395.82/395.90	c current bound: 589
397.09/397.27	c current bound: 589
398.29/398.65	c current bound: 589
399.67/400.03	c current bound: 589
401.05/401.41	c current bound: 589
402.62/402.78	c current bound: 589
403.81/404.16	c current bound: 589
405.19/405.54	c current bound: 589
406.58/406.91	c current bound: 589
408.23/408.30	c current bound: 589
409.34/409.67	c current bound: 589
410.71/411.04	c current bound: 589
412.09/412.42	c current bound: 589
413.63/413.79	c current bound: 589
414.85/415.17	c current bound: 589
416.23/416.55	c current bound: 589
417.60/417.93	c current bound: 589
419.23/419.31	c current bound: 589
420.36/420.69	c current bound: 589
421.73/422.06	c current bound: 589
423.11/423.44	c current bound: 589
424.74/424.82	c current bound: 589
426.14/426.20	c current bound: 589
427.24/427.57	c current bound: 589
428.62/428.94	c current bound: 589
430.24/430.32	c current bound: 589
431.36/431.69	c current bound: 589
432.74/433.06	c current bound: 589
434.13/434.45	c current bound: 589
435.75/435.82	c current bound: 589
436.88/437.19	c current bound: 589
438.26/438.57	c current bound: 589
439.62/439.94	c current bound: 589
441.25/441.32	c current bound: 589
442.38/442.69	c current bound: 589
443.75/444.07	c current bound: 589
445.13/445.44	c current bound: 589
446.74/446.82	c current bound: 589
447.87/448.19	c current bound: 589
449.25/449.56	c current bound: 589
450.62/450.94	c current bound: 589
452.23/452.32	c current bound: 589
453.39/453.69	c current bound: 589
454.75/455.07	c current bound: 589
456.13/456.45	c current bound: 589
457.72/457.83	c current bound: 589
459.15/459.20	c current bound: 589
460.25/460.58	c current bound: 589
461.62/461.95	c current bound: 589
463.23/463.33	c current bound: 589
464.38/464.70	c current bound: 589
465.75/466.08	c current bound: 589
467.12/467.45	c current bound: 589
468.71/468.83	c current bound: 589
469.88/470.21	c current bound: 589
471.24/471.58	c current bound: 589
472.63/472.95	c current bound: 589
474.23/474.33	c current bound: 589
475.64/475.70	c current bound: 589
476.75/477.07	c current bound: 589
478.11/478.45	c current bound: 589
479.74/479.83	c current bound: 589
481.15/481.20	c current bound: 589
482.27/482.58	c current bound: 589
483.64/483.96	c current bound: 589
485.23/485.33	c current bound: 589
486.37/486.70	c current bound: 589
487.75/488.08	c current bound: 589
489.12/489.46	c current bound: 589
490.74/490.84	c current bound: 589
491.89/492.21	c current bound: 589
493.25/493.59	c current bound: 589
494.64/494.97	c current bound: 589
496.22/496.34	c current bound: 589
497.38/497.71	c current bound: 589
498.75/499.09	c current bound: 589
500.13/500.47	c current bound: 589
501.72/501.85	c current bound: 589
502.88/503.23	c current bound: 589
504.27/504.61	c current bound: 589
505.63/505.98	c current bound: 589
507.22/507.35	c current bound: 589
508.37/508.73	c current bound: 589
510.04/510.10	c current bound: 589
511.13/511.48	c current bound: 589
512.71/512.86	c current bound: 589
513.88/514.24	c current bound: 589
515.26/515.61	c current bound: 589
516.91/517.07	c current bound: 589
518.10/518.45	c current bound: 589
519.48/519.82	c current bound: 589
520.85/521.21	c current bound: 589
522.41/522.58	c current bound: 589
523.60/523.95	c current bound: 589
524.97/525.33	c current bound: 589
526.35/526.70	c current bound: 589
527.91/528.08	c current bound: 589
529.09/529.46	c current bound: 589
530.47/530.83	c current bound: 589
531.85/532.20	c current bound: 589
533.51/533.61	c current bound: 589
534.64/534.99	c current bound: 589
536.02/536.36	c current bound: 589
537.40/537.73	c current bound: 589
539.05/539.10	c current bound: 589
540.16/540.48	c current bound: 589
541.54/541.86	c current bound: 589
542.90/543.23	c current bound: 589
544.54/544.61	c current bound: 589
545.66/545.98	c current bound: 589
547.04/547.36	c current bound: 589
548.42/548.74	c current bound: 589
550.05/550.11	c current bound: 589
551.18/551.49	c current bound: 589
552.55/552.86	c current bound: 589
553.93/554.24	c current bound: 589
555.56/555.61	c current bound: 589
556.68/556.98	c current bound: 589
558.07/558.36	c current bound: 589
559.44/559.74	c current bound: 589
561.07/561.12	c current bound: 589
562.21/562.50	c current bound: 589
563.58/563.87	c current bound: 589
564.98/565.28	c current bound: 589
566.57/566.66	c current bound: 589
567.74/568.04	c current bound: 589
569.13/569.41	c current bound: 589
570.50/570.79	c current bound: 589
572.08/572.16	c current bound: 589
573.26/573.54	c current bound: 589
574.64/574.92	c current bound: 589
576.29/576.30	c current bound: 589
577.59/577.68	c current bound: 589
578.78/579.07	c current bound: 589
580.16/580.45	c current bound: 589
581.54/581.83	c current bound: 589
583.18/583.21	c current bound: 589
584.30/584.58	c current bound: 589
585.76/586.04	c current bound: 589
587.38/587.42	c current bound: 589
588.80/588.80	c current bound: 589
589.90/590.17	c current bound: 589
591.30/591.55	c current bound: 589
592.89/592.93	c current bound: 589
594.06/594.31	c current bound: 589
595.44/595.69	c current bound: 589
596.82/597.07	c current bound: 589
598.41/598.45	c current bound: 589
599.57/599.83	c current bound: 589
600.95/601.21	c current bound: 589
602.33/602.59	c current bound: 589
603.91/603.96	c current bound: 589
605.09/605.34	c current bound: 589
606.47/606.72	c current bound: 589
608.13/608.10	c current bound: 589
609.43/609.48	c current bound: 589
610.62/610.86	c current bound: 589
611.99/612.24	c current bound: 589
613.38/613.63	c current bound: 589
614.92/615.00	c current bound: 589
616.14/616.37	c current bound: 589
617.51/617.75	c current bound: 589
618.89/619.13	c current bound: 589
620.55/620.51	c current bound: 589
621.66/621.88	c current bound: 589
623.03/623.26	c current bound: 589
624.42/624.64	c current bound: 589
626.05/626.01	c current bound: 589
627.17/627.39	c current bound: 589
628.56/628.77	c current bound: 589
629.94/630.15	c current bound: 589
631.56/631.53	c current bound: 589
632.70/632.90	c current bound: 589
634.07/634.28	c current bound: 589
635.47/635.66	c current bound: 589
637.07/637.04	c current bound: 589
638.22/638.42	c current bound: 589
639.87/639.80	c current bound: 589
640.97/641.17	c current bound: 589
642.56/642.56	c current bound: 589
643.74/643.94	c current bound: 589
645.11/645.32	c current bound: 589
646.50/646.70	c current bound: 589
648.07/648.07	c current bound: 589
649.25/649.44	c current bound: 589
650.62/650.82	c current bound: 589
652.00/652.21	c current bound: 589
653.56/653.59	c current bound: 589
654.77/654.97	c current bound: 589
656.15/656.36	c current bound: 589
657.54/657.74	c current bound: 589
659.16/659.16	c current bound: 589
660.29/660.54	c current bound: 589
661.68/661.92	c current bound: 589
663.06/663.30	c current bound: 589
664.44/664.68	c current bound: 589
665.82/666.06	c current bound: 589
667.19/667.43	c current bound: 589
668.83/668.81	c current bound: 589
669.94/670.18	c current bound: 589
671.31/671.55	c current bound: 589
672.68/672.93	c current bound: 589
674.32/674.31	c current bound: 589
675.45/675.68	c current bound: 589
676.82/677.07	c current bound: 589
678.20/678.44	c current bound: 589
679.82/679.82	c current bound: 589
680.95/681.19	c current bound: 589
682.32/682.56	c current bound: 589
683.71/683.94	c current bound: 589
685.33/685.31	c current bound: 589
686.45/686.69	c current bound: 589
687.83/688.06	c current bound: 589
689.20/689.44	c current bound: 589
690.83/690.82	c current bound: 589
691.94/692.19	c current bound: 589
693.33/693.56	c current bound: 589
694.70/694.94	c current bound: 589
696.33/696.31	c current bound: 589
697.47/697.69	c current bound: 589
698.84/699.07	c current bound: 589
700.23/700.45	c current bound: 589
701.85/701.84	c current bound: 589
702.98/703.21	c current bound: 589
704.36/704.59	c current bound: 589
705.75/705.96	c current bound: 589
707.35/707.34	c current bound: 589
708.50/708.71	c current bound: 589
709.88/710.09	c current bound: 589
711.26/711.47	c current bound: 589
712.86/712.84	c current bound: 589
714.01/714.22	c current bound: 589
715.66/715.60	c current bound: 589
716.78/716.98	c current bound: 589
718.36/718.36	c current bound: 589
719.54/719.74	c current bound: 589
720.93/721.12	c current bound: 589
722.29/722.49	c current bound: 589
723.86/723.86	c current bound: 589
725.04/725.24	c current bound: 589
726.44/726.63	c current bound: 589
727.82/728.00	c current bound: 589
729.37/729.38	c current bound: 589
730.57/730.75	c current bound: 589
731.94/732.13	c current bound: 589
733.33/733.51	c current bound: 589
734.88/734.88	c current bound: 589
736.08/736.25	c current bound: 589
737.45/737.63	c current bound: 589
738.83/739.01	c current bound: 589
740.39/740.38	c current bound: 589
741.59/741.75	c current bound: 589
742.97/743.14	c current bound: 589
744.36/744.52	c current bound: 589
745.90/745.89	c current bound: 589
747.11/747.27	c current bound: 589
748.49/748.66	c current bound: 589
749.87/750.03	c current bound: 589
751.51/751.41	c current bound: 589
752.64/752.79	c current bound: 589
754.01/754.16	c current bound: 589
755.39/755.53	c current bound: 589
757.01/756.91	c current bound: 589
758.13/758.28	c current bound: 589
759.52/759.66	c current bound: 589
760.90/761.04	c current bound: 589
762.52/762.41	c current bound: 589
763.93/763.80	c current bound: 589
765.04/765.17	c current bound: 589
766.40/766.55	c current bound: 589
768.03/767.93	c current bound: 589
769.17/769.31	c current bound: 589
770.54/770.69	c current bound: 589
771.94/772.06	c current bound: 589
773.53/773.44	c current bound: 589
774.67/774.82	c current bound: 589
776.06/776.19	c current bound: 589
777.41/777.56	c current bound: 589
779.02/778.94	c current bound: 589
780.19/780.32	c current bound: 589
781.56/781.69	c current bound: 589
782.93/783.07	c current bound: 589
784.54/784.44	c current bound: 589
785.69/785.82	c current bound: 589
787.07/787.20	c current bound: 589
788.46/788.58	c current bound: 589
790.04/789.95	c current bound: 589
791.20/791.33	c current bound: 589
792.57/792.71	c current bound: 589
793.97/794.09	c current bound: 589
795.53/795.47	c current bound: 589
796.71/796.85	c current bound: 589
798.11/798.23	c current bound: 589
799.49/799.61	c current bound: 589
801.03/800.99	c current bound: 589
802.24/802.37	c current bound: 589
803.61/803.75	c current bound: 589
805.00/805.12	c current bound: 589
806.66/806.50	c current bound: 589
807.76/807.88	c current bound: 589
809.15/809.25	c current bound: 589
810.51/810.64	c current bound: 589
812.15/812.02	c current bound: 589
813.28/813.40	c current bound: 589
814.67/814.78	c current bound: 589
816.05/816.17	c current bound: 589
817.66/817.54	c current bound: 589
818.82/818.92	c current bound: 589
820.47/820.30	c current bound: 589
821.56/821.68	c current bound: 589
823.15/823.06	c current bound: 589
824.33/824.44	c current bound: 589
825.72/825.82	c current bound: 589
827.09/827.19	c current bound: 589
828.47/828.57	c current bound: 589
829.85/829.96	c current bound: 589
831.24/831.33	c current bound: 589
832.87/832.71	c current bound: 589
834.26/834.18	c current bound: 589
835.35/835.56	c current bound: 589
836.72/836.94	c current bound: 589
838.35/838.31	c current bound: 589
839.76/839.70	c current bound: 589
840.86/841.07	c current bound: 589
842.25/842.45	c current bound: 589
843.84/843.83	c current bound: 589
844.98/845.20	c current bound: 589
846.37/846.58	c current bound: 589
847.74/847.96	c current bound: 589
849.34/849.34	c current bound: 589
850.49/850.72	c current bound: 589
852.16/852.10	c current bound: 589
853.24/853.48	c current bound: 589
854.84/854.86	c current bound: 589
856.00/856.23	c current bound: 589
857.37/857.61	c current bound: 589
858.75/858.99	c current bound: 589
860.35/860.36	c current bound: 589
861.51/861.74	c current bound: 589
862.90/863.12	c current bound: 589
864.56/864.50	c current bound: 589
865.85/865.87	c current bound: 589
867.03/867.25	c current bound: 589
868.42/868.63	c current bound: 589
869.80/870.01	c current bound: 589
871.35/871.38	c current bound: 589
872.55/872.76	c current bound: 589
873.94/874.14	c current bound: 589
875.31/875.52	c current bound: 589
876.87/876.89	c current bound: 589
878.06/878.27	c current bound: 589
879.45/879.65	c current bound: 589
880.82/881.02	c current bound: 589
882.48/882.40	c current bound: 589
883.57/883.77	c current bound: 589
884.95/885.15	c current bound: 589
886.34/886.53	c current bound: 589
887.97/887.90	c current bound: 589
889.08/889.28	c current bound: 589
890.47/890.65	c current bound: 589
891.84/892.03	c current bound: 589
893.47/893.41	c current bound: 589
894.60/894.80	c current bound: 589
895.99/896.18	c current bound: 589
897.36/897.56	c current bound: 589
898.96/898.93	c current bound: 589
900.12/900.31	c current bound: 589
901.78/901.70	c current bound: 589
902.88/903.07	c current bound: 589
904.47/904.45	c current bound: 589
905.64/905.83	c current bound: 589
907.02/907.22	c current bound: 589
908.40/908.59	c current bound: 589
909.78/909.97	c current bound: 589
911.16/911.36	c current bound: 589
912.54/912.73	c current bound: 589
914.17/914.11	c current bound: 589
915.30/915.49	c current bound: 589
916.69/916.87	c current bound: 589
918.06/918.25	c current bound: 589
919.67/919.64	c current bound: 589
920.83/921.02	c current bound: 589
922.49/922.40	c current bound: 589
923.59/923.77	c current bound: 589
925.19/925.15	c current bound: 589
926.35/926.53	c current bound: 589
927.72/927.92	c current bound: 589
929.37/929.30	c current bound: 589
930.67/930.68	c current bound: 589
931.87/932.06	c current bound: 589
933.33/933.51	c current bound: 589
934.70/934.88	c current bound: 589
936.29/936.26	c current bound: 589
937.45/937.63	c current bound: 589
938.84/939.01	c current bound: 589
940.20/940.38	c current bound: 589
941.78/941.76	c current bound: 589
942.97/943.14	c current bound: 589
944.34/944.51	c current bound: 589
945.71/945.89	c current bound: 589
947.28/947.29	c current bound: 589
948.48/948.66	c current bound: 589
949.86/950.04	c current bound: 589
951.25/951.42	c current bound: 589
952.79/952.79	c current bound: 589
954.00/954.18	c current bound: 589
955.39/955.56	c current bound: 589
956.76/956.94	c current bound: 589
958.39/958.31	c current bound: 589
959.82/959.70	c current bound: 589
960.91/961.08	c current bound: 589
962.29/962.46	c current bound: 589
963.90/963.84	c current bound: 589
965.05/965.22	c current bound: 589
966.43/966.60	c current bound: 589
967.79/967.97	c current bound: 589
969.39/969.34	c current bound: 589
970.55/970.72	c current bound: 589
972.21/972.10	c current bound: 589
973.30/973.48	c current bound: 589
974.89/974.85	c current bound: 589
976.07/976.23	c current bound: 589
977.46/977.61	c current bound: 589
978.83/978.99	c current bound: 589
980.22/980.37	c current bound: 589
981.59/981.75	c current bound: 589
982.98/983.14	c current bound: 589
984.62/984.52	c current bound: 589
985.76/985.91	c current bound: 589
987.14/987.28	c current bound: 589
988.50/988.66	c current bound: 589
990.12/990.03	c current bound: 589
991.26/991.41	c current bound: 589
992.64/992.79	c current bound: 589
994.03/994.18	c current bound: 589
995.61/995.55	c current bound: 589
996.78/996.92	c current bound: 589
998.42/998.30	c current bound: 589
999.52/999.68	c current bound: 589
1001.11/1001.06	c current bound: 589
1002.29/1002.44	c current bound: 589
1003.67/1003.82	c current bound: 589
1005.33/1005.20	c current bound: 589
1006.60/1006.57	c current bound: 589
1007.80/1007.95	c current bound: 589
1009.17/1009.33	c current bound: 589
1010.56/1010.71	c current bound: 589
1012.12/1012.09	c current bound: 589
1013.31/1013.46	c current bound: 589
1014.69/1014.84	c current bound: 589
1016.07/1016.21	c current bound: 589
1017.62/1017.60	c current bound: 589
1018.84/1018.98	c current bound: 589
1020.22/1020.39	c current bound: 589
1021.62/1021.76	c current bound: 589
1023.22/1023.14	c current bound: 589
1024.38/1024.52	c current bound: 589
1026.03/1025.90	c current bound: 589
1027.15/1027.28	c current bound: 589
1028.73/1028.65	c current bound: 589
1029.90/1030.03	c current bound: 589
1031.28/1031.41	c current bound: 589
1032.66/1032.78	c current bound: 589
1034.24/1034.17	c current bound: 589
1035.41/1035.54	c current bound: 589
1036.78/1036.92	c current bound: 589
1038.17/1038.29	c current bound: 589
1039.75/1039.67	c current bound: 589
1040.92/1041.05	c current bound: 589
1042.31/1042.43	c current bound: 589
1043.68/1043.81	c current bound: 589
1045.35/1045.20	c current bound: 589
1046.46/1046.58	c current bound: 589
1047.84/1047.96	c current bound: 589
1049.22/1049.33	c current bound: 589
1050.84/1050.71	c current bound: 589
1051.97/1052.08	c current bound: 589
1053.35/1053.46	c current bound: 589
1054.71/1054.84	c current bound: 589
1056.34/1056.21	c current bound: 589
1057.48/1057.59	c current bound: 589
1058.86/1058.97	c current bound: 589
1060.22/1060.34	c current bound: 589
1061.85/1061.72	c current bound: 589
1063.27/1063.10	c current bound: 589
1064.38/1064.48	c current bound: 589
1065.75/1065.86	c current bound: 589
1067.37/1067.24	c current bound: 589
1068.52/1068.62	c current bound: 589
1069.90/1069.99	c current bound: 589
1071.27/1071.37	c current bound: 589
1072.86/1072.75	c current bound: 589
1074.05/1074.14	c current bound: 589
1075.43/1075.52	c current bound: 589
1076.81/1076.90	c current bound: 589
1078.18/1078.27	c current bound: 589
1079.55/1079.65	c current bound: 589
1080.94/1081.02	c current bound: 589
1082.32/1082.40	c current bound: 589
1083.70/1083.78	c current bound: 589
1085.08/1085.17	c current bound: 589
1086.46/1086.54	c current bound: 589
1088.09/1087.92	c current bound: 589
1089.50/1089.30	c current bound: 589
1090.61/1090.68	c current bound: 589
1091.99/1092.06	c current bound: 589
1093.60/1093.43	c current bound: 589
1094.73/1094.81	c current bound: 589
1096.12/1096.19	c current bound: 589
1097.51/1097.57	c current bound: 589
1099.09/1098.96	c current bound: 589
1100.26/1100.33	c current bound: 589
1101.64/1101.71	c current bound: 589
1103.02/1103.09	c current bound: 589
1104.58/1104.48	c current bound: 589
1105.78/1105.87	c current bound: 589
1107.18/1107.24	c current bound: 589
1108.58/1108.65	c current bound: 589
1110.21/1110.03	c current bound: 589
1111.35/1111.41	c current bound: 589
1112.73/1112.79	c current bound: 589
1114.11/1114.19	c current bound: 589
1115.69/1115.57	c current bound: 589
1116.89/1116.95	c current bound: 589
1118.27/1118.33	c current bound: 589
1119.65/1119.71	c current bound: 589
1121.21/1121.08	c current bound: 589
1122.72/1122.50	c current bound: 589
1123.82/1123.88	c current bound: 589
1125.19/1125.25	c current bound: 589
1126.81/1126.63	c current bound: 589
1127.94/1128.01	c current bound: 589
1129.33/1129.38	c current bound: 589
1130.69/1130.76	c current bound: 589
1132.31/1132.13	c current bound: 589
1133.46/1133.51	c current bound: 589
1134.83/1134.88	c current bound: 589
1136.21/1136.26	c current bound: 589
1137.82/1137.63	c current bound: 589
1138.96/1139.02	c current bound: 589
1140.34/1140.39	c current bound: 589
1141.72/1141.77	c current bound: 589
1143.32/1143.15	c current bound: 589
1144.47/1144.53	c current bound: 589
1146.12/1145.90	c current bound: 589
1147.24/1147.28	c current bound: 589
1148.81/1148.65	c current bound: 589
1149.99/1150.03	c current bound: 589
1151.38/1151.41	c current bound: 589
1152.75/1152.80	c current bound: 589
1154.14/1154.17	c current bound: 589
1155.52/1155.55	c current bound: 589
1156.89/1156.92	c current bound: 589
1158.56/1158.30	c current bound: 589
1159.65/1159.69	c current bound: 589
1161.03/1161.06	c current bound: 589
1162.42/1162.44	c current bound: 589
1164.05/1163.82	c current bound: 589
1165.45/1165.20	c current bound: 589
1166.55/1166.57	c current bound: 589
1167.94/1167.97	c current bound: 589
1169.53/1169.35	c current bound: 589
1170.70/1170.73	c current bound: 589
1172.07/1172.11	c current bound: 589
1173.46/1173.49	c current bound: 589
1175.03/1174.86	c current bound: 589
1176.21/1176.24	c current bound: 589
1177.61/1177.63	c current bound: 589
1178.98/1179.00	c current bound: 589
1180.53/1180.38	c current bound: 589
1181.72/1181.78	c current bound: 589
1183.13/1183.15	c current bound: 589
1184.51/1184.55	c current bound: 589
1186.15/1185.93	c current bound: 589
1187.29/1187.31	c current bound: 589
1188.66/1188.70	c current bound: 589
1190.06/1190.08	c current bound: 589
1191.64/1191.46	c current bound: 589
1192.81/1192.83	c current bound: 589
1194.20/1194.21	c current bound: 589
1195.56/1195.58	c current bound: 589
1197.14/1196.96	c current bound: 589
1198.32/1198.35	c current bound: 589
1199.71/1199.72	c current bound: 589
1201.35/1201.10	c current bound: 589
1202.64/1202.48	c current bound: 589
1203.83/1203.85	c current bound: 589
1205.20/1205.23	c current bound: 589
1206.59/1206.60	c current bound: 589
1208.16/1207.97	c current bound: 589
1209.35/1209.35	c current bound: 589
1210.70/1210.73	c current bound: 589
1212.10/1212.10	c current bound: 589
1213.67/1213.48	c current bound: 589
1214.84/1214.85	c current bound: 589
1216.22/1216.22	c current bound: 589
1217.86/1217.60	c current bound: 589
1219.16/1218.98	c current bound: 589
1220.36/1220.36	c current bound: 589
1221.73/1221.73	c current bound: 589
1223.10/1223.12	c current bound: 589
1224.68/1224.49	c current bound: 589
1225.89/1225.87	c current bound: 589
1227.27/1227.25	c current bound: 589
1228.64/1228.63	c current bound: 589
1230.27/1230.01	c current bound: 589
1231.40/1231.38	c current bound: 589
1232.77/1232.76	c current bound: 589
1234.16/1234.14	c current bound: 589
1235.79/1235.51	c current bound: 589
1236.92/1236.89	c current bound: 589
1238.29/1238.27	c current bound: 589
1239.67/1239.65	c current bound: 589
1241.30/1241.02	c current bound: 589
1242.71/1242.40	c current bound: 589
1243.79/1243.77	c current bound: 589
1245.18/1245.14	c current bound: 589
1246.80/1246.54	c current bound: 589
1247.96/1247.92	c current bound: 589
1249.34/1249.31	c current bound: 589
1250.73/1250.68	c current bound: 589
1252.30/1252.06	c current bound: 589
1253.47/1253.44	c current bound: 589
1254.84/1254.81	c current bound: 589
1256.23/1256.18	c current bound: 589
1257.80/1257.56	c current bound: 589
1258.98/1258.94	c current bound: 589
1260.36/1260.31	c current bound: 589
1261.73/1261.69	c current bound: 589
1263.31/1263.06	c current bound: 589
1264.48/1264.44	c current bound: 589
1265.86/1265.81	c current bound: 589
1267.25/1267.20	c current bound: 589
1268.62/1268.59	c current bound: 589
1270.01/1269.97	c current bound: 589
1271.39/1271.34	c current bound: 589
1273.01/1272.71	c current bound: 589
1274.13/1274.09	c current bound: 589
1275.52/1275.47	c current bound: 589
1276.89/1276.84	c current bound: 589
1278.52/1278.22	c current bound: 589
1279.65/1279.60	c current bound: 589
1281.04/1280.98	c current bound: 589
1282.42/1282.36	c current bound: 589
1284.02/1283.73	c current bound: 589
1285.17/1285.11	c current bound: 589
1286.53/1286.49	c current bound: 589
1287.92/1287.87	c current bound: 589
1289.52/1289.25	c current bound: 589
1290.67/1290.63	c current bound: 589
1292.06/1292.01	c current bound: 589
1293.44/1293.39	c current bound: 589
1295.02/1294.76	c current bound: 589
1296.17/1296.13	c current bound: 589
1297.55/1297.51	c current bound: 589
1298.94/1298.88	c current bound: 589
1300.51/1300.27	c current bound: 589
1301.70/1301.65	c current bound: 589
1303.09/1303.03	c current bound: 589
1304.46/1304.40	c current bound: 589
1306.02/1305.78	c current bound: 589
1307.21/1307.15	c current bound: 589
1308.60/1308.53	c current bound: 589
1310.04/1309.99	c current bound: 589
1311.62/1311.37	c current bound: 589
1312.80/1312.74	c current bound: 589
1314.19/1314.13	c current bound: 589
1315.56/1315.50	c current bound: 589
1317.12/1316.88	c current bound: 589
1318.30/1318.26	c current bound: 589
1319.70/1319.64	c current bound: 589
1321.07/1321.01	c current bound: 589
1322.63/1322.39	c current bound: 589
1323.90/1323.84	c current bound: 589
1325.28/1325.22	c current bound: 589
1326.67/1326.60	c current bound: 589
1328.04/1327.97	c current bound: 589
1329.41/1329.35	c current bound: 589
1330.78/1330.72	c current bound: 589
1332.17/1332.10	c current bound: 589
1333.54/1333.47	c current bound: 589
1334.93/1334.86	c current bound: 589
1336.31/1336.23	c current bound: 589
1337.94/1337.61	c current bound: 589
1339.06/1338.99	c current bound: 589
1340.52/1340.45	c current bound: 589
1341.89/1341.82	c current bound: 589
1343.43/1343.20	c current bound: 589
1344.64/1344.57	c current bound: 589
1346.02/1345.95	c current bound: 589
1347.40/1347.33	c current bound: 589
1348.94/1348.70	c current bound: 589
1350.16/1350.09	c current bound: 589
1351.53/1351.46	c current bound: 589
1352.91/1352.83	c current bound: 589
1354.55/1354.21	c current bound: 589
1355.65/1355.58	c current bound: 589
1357.03/1356.95	c current bound: 589
1358.40/1358.32	c current bound: 589
1359.94/1359.70	c current bound: 589
1361.16/1361.07	c current bound: 589
1362.56/1362.48	c current bound: 589
1363.93/1363.85	c current bound: 589
1365.56/1365.23	c current bound: 589
1366.70/1366.65	c current bound: 589
1368.07/1368.02	c current bound: 589
1369.73/1369.40	c current bound: 589
1371.02/1370.78	c current bound: 589
1372.21/1372.15	c current bound: 589
1373.57/1373.52	c current bound: 589
1374.96/1374.89	c current bound: 589
1376.52/1376.27	c current bound: 589
1377.70/1377.65	c current bound: 589
1379.09/1379.02	c current bound: 589
1380.73/1380.40	c current bound: 589
1382.02/1381.78	c current bound: 589
1383.22/1383.16	c current bound: 589
1384.60/1384.53	c current bound: 589
1385.98/1385.90	c current bound: 589
1387.53/1387.28	c current bound: 589
1388.73/1388.65	c current bound: 589
1390.10/1390.02	c current bound: 589
1391.75/1391.40	c current bound: 589
1393.03/1392.77	c current bound: 589
1394.50/1394.20	c current bound: 589
1395.59/1395.58	c current bound: 589
1396.97/1396.95	c current bound: 589
1398.59/1398.32	c current bound: 589
1399.71/1399.69	c current bound: 589
1401.10/1401.08	c current bound: 589
1402.47/1402.46	c current bound: 589
1404.09/1403.83	c current bound: 589
1405.24/1405.21	c current bound: 589
1406.62/1406.58	c current bound: 589
1407.99/1407.96	c current bound: 589
1409.60/1409.33	c current bound: 589
1410.75/1410.71	c current bound: 589
1412.12/1412.08	c current bound: 589
1413.50/1413.45	c current bound: 589
1415.11/1414.83	c current bound: 589
1416.52/1416.20	c current bound: 589
1417.63/1417.58	c current bound: 589
1419.00/1418.95	c current bound: 589
1420.60/1420.33	c current bound: 589
1422.03/1421.70	c current bound: 589
1423.12/1423.07	c current bound: 589
1424.50/1424.45	c current bound: 589
1426.12/1425.82	c current bound: 589
1427.26/1427.20	c current bound: 589
1428.63/1428.58	c current bound: 589
1430.01/1429.96	c current bound: 589
1431.62/1431.34	c current bound: 589
1432.78/1432.72	c current bound: 589
1434.16/1434.09	c current bound: 589
1435.52/1435.46	c current bound: 589
1437.13/1436.83	c current bound: 589
1438.27/1438.21	c current bound: 589
1439.64/1439.58	c current bound: 589
1441.02/1440.95	c current bound: 589
1442.63/1442.33	c current bound: 589
1443.79/1443.71	c current bound: 589
1445.16/1445.09	c current bound: 589
1446.53/1446.46	c current bound: 589
1448.14/1447.83	c current bound: 589
1449.30/1449.21	c current bound: 589
1450.67/1450.59	c current bound: 589
1452.04/1451.96	c current bound: 589
1453.64/1453.34	c current bound: 589
1454.81/1454.71	c current bound: 589
1456.18/1456.09	c current bound: 589
1457.55/1457.47	c current bound: 589
1459.13/1458.84	c current bound: 589
1460.29/1460.21	c current bound: 589
1461.67/1461.59	c current bound: 589
1463.05/1462.97	c current bound: 589
1464.64/1464.34	c current bound: 589
1465.81/1465.72	c current bound: 589
1467.17/1467.09	c current bound: 589
1468.56/1468.46	c current bound: 589
1470.15/1469.84	c current bound: 589
1471.31/1471.21	c current bound: 589
1472.68/1472.58	c current bound: 589
1474.05/1473.96	c current bound: 589
1475.66/1475.33	c current bound: 589
1477.07/1476.70	c current bound: 589
1478.19/1478.08	c current bound: 589
1479.56/1479.45	c current bound: 589
1481.16/1480.83	c current bound: 589
1482.32/1482.21	c current bound: 589
1483.70/1483.58	c current bound: 589
1485.07/1484.96	c current bound: 589
1486.68/1486.34	c current bound: 589
1487.83/1487.71	c current bound: 589
1489.20/1489.09	c current bound: 589
1490.58/1490.47	c current bound: 589
1492.17/1491.85	c current bound: 589
1493.34/1493.22	c current bound: 589
1495.00/1494.60	c current bound: 589
1496.10/1495.98	c current bound: 589
1497.68/1497.35	c current bound: 589
1498.86/1498.73	c current bound: 589
1500.24/1500.12	c current bound: 589
1501.62/1501.50	c current bound: 589
1503.01/1502.87	c current bound: 589
1504.37/1504.25	c current bound: 589
1505.76/1505.63	c current bound: 589
1507.38/1507.01	c current bound: 589
1508.52/1508.39	c current bound: 589
1509.91/1509.77	c current bound: 589
1511.28/1511.15	c current bound: 589
1512.90/1512.53	c current bound: 589
1514.03/1513.90	c current bound: 589
1515.42/1515.28	c current bound: 589
1516.79/1516.66	c current bound: 589
1518.40/1518.04	c current bound: 589
1519.56/1519.42	c current bound: 589
1521.22/1520.80	c current bound: 589
1522.32/1522.17	c current bound: 589
1523.92/1523.56	c current bound: 589
1525.08/1524.93	c current bound: 589
1526.45/1526.31	c current bound: 589
1528.12/1527.70	c current bound: 589
1529.42/1529.08	c current bound: 589
1530.62/1530.45	c current bound: 589
1531.98/1531.83	c current bound: 589
1533.36/1533.20	c current bound: 589
1534.92/1534.58	c current bound: 589
1536.12/1535.96	c current bound: 589
1537.49/1537.33	c current bound: 589
1538.87/1538.73	c current bound: 589
1540.53/1540.11	c current bound: 589
1541.64/1541.49	c current bound: 589
1543.03/1542.87	c current bound: 589
1544.41/1544.25	c current bound: 589
1546.03/1545.62	c current bound: 589
1547.17/1547.01	c current bound: 589
1548.55/1548.38	c current bound: 589
1549.92/1549.75	c current bound: 589
1551.53/1551.13	c current bound: 589
1552.67/1552.51	c current bound: 589
1554.05/1553.89	c current bound: 589
1555.43/1555.27	c current bound: 589
1557.04/1556.64	c current bound: 589
1558.19/1558.02	c current bound: 589
1559.58/1559.40	c current bound: 589
1560.95/1560.78	c current bound: 589
1562.54/1562.16	c current bound: 589
1563.72/1563.56	c current bound: 589
1565.12/1564.93	c current bound: 589
1566.48/1566.32	c current bound: 589
1568.06/1567.69	c current bound: 589
1569.26/1569.07	c current bound: 589
1570.63/1570.45	c current bound: 589
1572.01/1571.83	c current bound: 589
1573.65/1573.20	c current bound: 589
1574.76/1574.57	c current bound: 589
1576.14/1575.95	c current bound: 589
1577.52/1577.32	c current bound: 589
1579.07/1578.69	c current bound: 589
1580.27/1580.07	c current bound: 589
1581.65/1581.44	c current bound: 589
1583.03/1582.83	c current bound: 589
1584.67/1584.22	c current bound: 589
1585.80/1585.60	c current bound: 589
1587.19/1586.98	c current bound: 589
1588.57/1588.35	c current bound: 589
1590.16/1589.73	c current bound: 589
1591.32/1591.10	c current bound: 589
1592.70/1592.48	c current bound: 589
1594.08/1593.85	c current bound: 589
1595.68/1595.23	c current bound: 589
1596.82/1596.61	c current bound: 589
1598.20/1597.98	c current bound: 589
1599.56/1599.36	c current bound: 589
1601.18/1600.73	c current bound: 589
1602.33/1602.11	c current bound: 589
1603.69/1603.49	c current bound: 589
1605.09/1604.86	c current bound: 589
1606.67/1606.24	c current bound: 589
1607.82/1607.61	c current bound: 589
1609.20/1608.99	c current bound: 589
1610.58/1610.38	c current bound: 589
1612.17/1611.76	c current bound: 589
1613.36/1613.15	c current bound: 589
1614.74/1614.52	c current bound: 589
1616.40/1615.90	c current bound: 589
1617.50/1617.28	c current bound: 589
1618.88/1618.66	c current bound: 589
1620.26/1620.04	c current bound: 589
1621.90/1621.42	c current bound: 589
1623.30/1622.80	c current bound: 589
1624.41/1624.17	c current bound: 589
1625.78/1625.55	c current bound: 589
1627.39/1626.93	c current bound: 589
1628.54/1628.31	c current bound: 589
1629.92/1629.68	c current bound: 589
1631.30/1631.06	c current bound: 589
1632.90/1632.45	c current bound: 589
1634.05/1633.82	c current bound: 589
1635.44/1635.20	c current bound: 589
1636.82/1636.59	c current bound: 589
1638.41/1637.97	c current bound: 589
1639.58/1639.36	c current bound: 589
1640.96/1640.73	c current bound: 589
1642.34/1642.11	c current bound: 589
1643.90/1643.48	c current bound: 589
1645.10/1644.86	c current bound: 589
1646.47/1646.24	c current bound: 589
1647.86/1647.62	c current bound: 589
1649.52/1649.00	c current bound: 589
1650.62/1650.38	c current bound: 589
1652.00/1651.76	c current bound: 589
1653.38/1653.14	c current bound: 589
1655.00/1654.52	c current bound: 589
1656.16/1655.90	c current bound: 589
1657.52/1657.31	c current bound: 589
1658.91/1658.69	c current bound: 589
1660.47/1660.07	c current bound: 589
1661.66/1661.44	c current bound: 589
1663.03/1662.82	c current bound: 589
1664.69/1664.20	c current bound: 589
1665.97/1665.58	c current bound: 589
1667.18/1666.95	c current bound: 589
1668.54/1668.33	c current bound: 589
1669.93/1669.71	c current bound: 589
1671.48/1671.08	c current bound: 589
1672.67/1672.46	c current bound: 589
1674.05/1673.84	c current bound: 589
1675.42/1675.22	c current bound: 589
1677.06/1676.61	c current bound: 589
1678.18/1677.98	c current bound: 589
1679.55/1679.35	c current bound: 589
1680.92/1680.74	c current bound: 589
1682.54/1682.13	c current bound: 589
1683.69/1683.51	c current bound: 589
1685.07/1684.88	c current bound: 589
1686.46/1686.26	c current bound: 589
1688.04/1687.63	c current bound: 589
1689.20/1689.01	c current bound: 589
1690.85/1690.40	c current bound: 589
1691.96/1691.78	c current bound: 589
1693.53/1693.16	c current bound: 589
1694.72/1694.54	c current bound: 589
1696.08/1695.91	c current bound: 589
1697.46/1697.28	c current bound: 589
1699.03/1698.65	c current bound: 589
1700.20/1700.03	c current bound: 589
1701.84/1701.40	c current bound: 589
1702.95/1702.78	c current bound: 589
1704.53/1704.16	c current bound: 589
1705.70/1705.54	c current bound: 589
1707.08/1706.91	c current bound: 589
1708.44/1708.28	c current bound: 589
1710.02/1709.65	c current bound: 589
1711.20/1711.04	c current bound: 589
1712.59/1712.43	c current bound: 589
1714.25/1713.80	c current bound: 589
1715.34/1715.18	c current bound: 589
1716.72/1716.55	c current bound: 589
1718.08/1717.92	c current bound: 589
1719.45/1719.29	c current bound: 589
1721.02/1720.66	c current bound: 589
1722.19/1722.03	c current bound: 589
1723.57/1723.41	c current bound: 589
1724.96/1724.79	c current bound: 589
1726.52/1726.16	c current bound: 589
1727.70/1727.53	c current bound: 589
1729.07/1728.91	c current bound: 589
1730.45/1730.28	c current bound: 589
1732.02/1731.66	c current bound: 589
1733.20/1733.04	c current bound: 589
1734.56/1734.41	c current bound: 589
1735.95/1735.78	c current bound: 589
1737.51/1737.17	c current bound: 589
1738.69/1738.55	c current bound: 589
1740.09/1739.92	c current bound: 589
1741.72/1741.32	c current bound: 589
1743.12/1742.70	c current bound: 589
1744.23/1744.08	c current bound: 589
1745.59/1745.45	c current bound: 589
1747.20/1746.83	c current bound: 589
1748.35/1748.21	c current bound: 589
1749.72/1749.58	c current bound: 589
1751.11/1750.96	c current bound: 589
1752.70/1752.33	c current bound: 589
1753.85/1753.70	c current bound: 589
1755.23/1755.08	c current bound: 589
1756.58/1756.45	c current bound: 589
1758.20/1757.83	c current bound: 589
1759.61/1759.20	c current bound: 589
1760.71/1760.57	c current bound: 589
1762.08/1761.94	c current bound: 589
1763.69/1763.32	c current bound: 589
1764.83/1764.69	c current bound: 589
1766.20/1766.07	c current bound: 589
1767.57/1767.44	c current bound: 589
1769.19/1768.82	c current bound: 589
1770.32/1770.19	c current bound: 589
1771.70/1771.57	c current bound: 589
1773.07/1772.94	c current bound: 589
1774.69/1774.32	c current bound: 589
1776.09/1775.70	c current bound: 589
1777.21/1777.08	c current bound: 589
1778.57/1778.45	c current bound: 589
1780.19/1779.82	c current bound: 589
1781.59/1781.20	c current bound: 589
1782.69/1782.57	c current bound: 589
1784.07/1783.95	c current bound: 589
1785.68/1785.32	c current bound: 589
1786.82/1786.69	c current bound: 589
1788.22/1788.11	c current bound: 589
1789.60/1789.48	c current bound: 589
1791.18/1790.86	c current bound: 589
1792.34/1792.23	c current bound: 589
1793.72/1793.60	c current bound: 589
1795.09/1794.98	c current bound: 589
1796.66/1796.35	c current bound: 589
1797.83/1797.72	c current bound: 589
1799.20/1799.10	c current bound: 589
1800.10/1799.71	./satsolver.sh: line 5: 20728 Terminated              ./glucose $1 > $2 2> /dev/null
1800.10/1799.83	c error: unexpected solver exit code
1800.10/1799.83	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-3715933-1338234004/watcher-3715933-1338234004 -o /tmp/evaluation-result-3715933-1338234004/solver-3715933-1338234004 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715933-1338234004.wbo 1442442074 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.02 2.03 2.00 3/180 11484
/proc/meminfo: memFree=28683372/32873844 swapFree=6856/6856
[pid=11484] ppid=11482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11484/stat : 11484 (npSolver-wbo-It) S 11482 11484 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289525286 9367552 275 33554432000 4194304 5064252 140736307918960 140736307917872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11484/statm: 2287 275 233 213 0 72 0

[startup+0.064439 s]
/proc/loadavg: 2.02 2.03 2.00 3/180 11484
/proc/meminfo: memFree=28683372/32873844 swapFree=6856/6856
[pid=11484] ppid=11482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11484/stat : 11484 (npSolver-wbo-It) S 11482 11484 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289525286 9367552 275 33554432000 4194304 5064252 140736307918960 140736307917872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11484/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100336 s]
/proc/loadavg: 2.02 2.03 2.00 3/180 11484
/proc/meminfo: memFree=28683372/32873844 swapFree=6856/6856
[pid=11484] ppid=11482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11484/stat : 11484 (npSolver-wbo-It) S 11482 11484 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289525286 9367552 275 33554432000 4194304 5064252 140736307918960 140736307917872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11484/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300261 s]
/proc/loadavg: 2.02 2.03 2.00 3/180 11484
/proc/meminfo: memFree=28683372/32873844 swapFree=6856/6856
[pid=11484] ppid=11482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11484/stat : 11484 (npSolver-wbo-It) S 11482 11484 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289525286 9367552 275 33554432000 4194304 5064252 140736307918960 140736307917872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11484/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700338 s]
/proc/loadavg: 2.02 2.03 2.00 3/180 11484
/proc/meminfo: memFree=28683372/32873844 swapFree=6856/6856
[pid=11484] ppid=11482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11484/stat : 11484 (npSolver-wbo-It) S 11482 11484 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289525286 9367552 275 33554432000 4194304 5064252 140736307918960 140736307917872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11484/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50045 s]
/proc/loadavg: 2.02 2.03 2.00 3/184 11498
/proc/meminfo: memFree=28622136/32873844 swapFree=6856/6856
[pid=11484] ppid=11482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11484/stat : 11484 (npSolver-wbo-It) S 11482 11484 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289525286 9367552 275 33554432000 4194304 5064252 140736307918960 140736307917872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11484/statm: 2287 275 233 213 0 72 0
[pid=11485] ppid=11484 vsize=11956 CPUtime=1.24 cores=1,3,5,7
/proc/11485/stat : 11485 (npSolver-wbo) S 11484 11484 25271 0 -1 4202496 3229 18545 0 0 11 2 106 5 20 0 1 0 289525286 12242944 2572 33554432000 4194304 5990268 140733447781072 140733447771968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11485/statm: 2989 2572 176 439 0 2546 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 21104

[startup+3.10031 s]
/proc/loadavg: 2.02 2.03 2.00 3/184 11505
/proc/meminfo: memFree=28615996/32873844 swapFree=6856/6856
[pid=11484] ppid=11482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11484/stat : 11484 (npSolver-wbo-It) S 11482 11484 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289525286 9367552 275 33554432000 4194304 5064252 140736307918960 140736307917872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11484/statm: 2287 275 233 213 0 72 0
[pid=11485] ppid=11484 vsize=3764 CPUtime=2.9 cores=1,3,5,7
/proc/11485/stat : 11485 (npSolver-wbo) R 11484 11484 25271 0 -1 4202496 5678 38761 0 0 19 4 234 33 20 0 1 0 289525286 3854336 563 33554432000 4194304 5990268 140733447781072 140733447773056 5042551 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11485/statm: 941 563 177 439 0 498 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 12912

[startup+6.30028 s]
/proc/loadavg: 2.02 2.03 2.00 3/184 11519
/proc/meminfo: memFree=28614432/32873844 swapFree=6856/6856
[pid=11484] ppid=11482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11484/stat : 11484 (npSolver-wbo-It) S 11482 11484 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289525286 9367552 275 33554432000 4194304 5064252 140736307918960 140736307917872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11484/statm: 2287 275 233 213 0 72 0
[pid=11485] ppid=11484 vsize=20020 CPUtime=5.74 cores=1,3,5,7
/proc/11485/stat : 11485 (npSolver-wbo) S 11484 11484 25271 0 -1 4202496 11782 69932 0 0 44 8 461 61 20 0 1 0 289525286 20500480 4429 33554432000 4194304 5990268 140733447781072 140733447772480 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11485/statm: 5005 4429 177 439 0 4562 0
Current children cumulated CPU time (s) 5.74
Current children cumulated vsize (KiB) 29168

[startup+12.7003 s]
/proc/loadavg: 1.94 2.01 1.99 3/184 11554
/proc/meminfo: memFree=28614080/32873844 swapFree=6856/6856
[pid=11484] ppid=11482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11484/stat : 11484 (npSolver-wbo-It) S 11482 11484 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289525286 9367552 275 33554432000 4194304 5064252 140736307918960 140736307917872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11484/statm: 2287 275 233 213 0 72 0
[pid=11485] ppid=11484 vsize=20020 CPUtime=12.25 cores=1,3,5,7
/proc/11485/stat : 11485 (npSolver-wbo) S 11484 11484 25271 0 -1 4202496 20349 145073 0 0 77 14 1010 124 20 0 1 0 289525286 20500480 4429 33554432000 4194304 5990268 140733447781072 140733447771968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11485/statm: 5005 4429 177 439 0 4562 0
Current children cumulated CPU time (s) 12.25
Current children cumulated vsize (KiB) 29168

[startup+25.5005 s]
/proc/loadavg: 1.94 2.01 1.99 3/184 11624
/proc/meminfo: memFree=28610596/32873844 swapFree=6856/6856
[pid=11484] ppid=11482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11484/stat : 11484 (npSolver-wbo-It) S 11482 11484 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289525286 9367552 275 33554432000 4194304 5064252 140736307918960 140736307917872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11484/statm: 2287 275 233 213 0 72 0
[pid=11485] ppid=11484 vsize=20020 CPUtime=25.01 cores=1,3,5,7
/proc/11485/stat : 11485 (npSolver-wbo) S 11484 11484 25271 0 -1 4202496 41742 291324 0 0 160 29 2040 272 20 0 1 0 289525286 20500480 4429 33554432000 4194304 5990268 140733447781072 140733447772480 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11485/statm: 5005 4429 177 439 0 4562 0
[pid=11623] ppid=11485 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11623/stat : 11623 (satsolver.sh) S 11485 11484 25271 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289527804 9367552 267 33554432000 4194304 5064252 140736856917824 140736856916736 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11623/statm: 2287 267 226 213 0 72 0
[pid=11624] ppid=11623 vsize=48880 CPUtime=0.31 cores=1,3,5,7
/proc/11624/stat : 11624 (glucose) R 11623 11484 25271 0 -1 4202496 10759 0 0 0 29 2 0 0 20 0 1 0 289527804 50053120 10882 33554432000 4194304 5208918 140736272490048 140736856916760 4211792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11624/statm: 12220 10882 95 248 0 11969 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 87196

[startup+51.1004 s]
/proc/loadavg: 1.96 2.01 1.99 3/184 11750
/proc/meminfo: memFree=28609440/32873844 swapFree=6856/6856
[pid=11484] ppid=11482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11484/stat : 11484 (npSolver-wbo-It) S 11482 11484 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289525286 9367552 275 33554432000 4194304 5064252 140736307918960 140736307917872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11484/statm: 2287 275 233 213 0 72 0
[pid=11485] ppid=11484 vsize=20020 CPUtime=50.83 cores=1,3,5,7
/proc/11485/stat : 11485 (npSolver-wbo) S 11484 11484 25271 0 -1 4202496 80269 586500 0 0 309 55 4165 554 20 0 1 0 289525286 20500480 4429 33554432000 4194304 5990268 140733447781072 140733447771968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11485/statm: 5005 4429 177 439 0 4562 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 29168

[startup+102.3 s]
/proc/loadavg: 1.98 2.00 1.99 3/181 12014
/proc/meminfo: memFree=28656652/32873844 swapFree=6856/6856
[pid=11484] ppid=11482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11484/stat : 11484 (npSolver-wbo-It) S 11482 11484 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289525286 9367552 275 33554432000 4194304 5064252 140736307918960 140736307917872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11484/statm: 2287 275 233 213 0 72 0
[pid=11485] ppid=11484 vsize=11828 CPUtime=102.15 cores=1,3,5,7
/proc/11485/stat : 11485 (npSolver-wbo) R 11484 11484 25271 0 -1 4202496 160751 1172015 0 0 617 111 8363 1124 20 0 1 0 289525286 12111872 1556 33554432000 4194304 5990268 140733447781072 140733447773056 4612358 0 0 4096 0 0 0 0 17 5 0 0 3 0 0
/proc/11485/statm: 2957 1556 177 439 0 2514 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 20976

[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 12317
/proc/meminfo: memFree=28585924/32873844 swapFree=6856/6856
[pid=11484] ppid=11482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11484/stat : 11484 (npSolver-wbo-It) S 11482 11484 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289525286 9367552 275 33554432000 4194304 5064252 140736307918960 140736307917872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11484/statm: 2287 275 233 213 0 72 0
[pid=11485] ppid=11484 vsize=20020 CPUtime=161.49 cores=1,3,5,7
/proc/11485/stat : 11485 (npSolver-wbo) S 11484 11484 25271 0 -1 4202496 253602 1850933 0 0 980 175 13237 1757 20 0 1 0 289525286 20500480 4429 33554432000 4194304 5990268 140733447781072 140733447772480 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 3 0 0
/proc/11485/statm: 5005 4429 177 439 0 4562 0
[pid=12316] ppid=11485 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12316/stat : 12316 (satsolver.sh) S 11485 11484 25271 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 289541446 9367552 266 33554432000 4194304 5064252 140735930073104 140735930072016 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12316/statm: 2287 266 226 213 0 72 0
[pid=12317] ppid=12316 vsize=48880 CPUtime=0.68 cores=1,3,5,7
/proc/12317/stat : 12317 (glucose) R 12316 11484 25271 0 -1 4202496 10590 0 0 0 66 2 0 0 20 0 1 0 289541447 50053120 11185 33554432000 4194304 5208918 140736222936288 140736222934696 4211656 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12317/statm: 12220 11185 95 248 0 11969 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 87196

[startup+222.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 12622
/proc/meminfo: memFree=28619976/32873844 swapFree=6856/6856
[pid=11484] ppid=11482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11484/stat : 11484 (npSolver-wbo-It) S 11482 11484 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289525286 9367552 275 33554432000 4194304 5064252 140736307918960 140736307917872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11484/statm: 2287 275 233 213 0 72 0
[pid=11485] ppid=11484 vsize=20020 CPUtime=222.08 cores=1,3,5,7
/proc/11485/stat : 11485 (npSolver-wbo) R 11484 11484 25271 0 -1 4202496 347760 2546166 0 0 1342 241 18202 2423 20 0 1 0 289525286 20500480 4429 33554432000 4194304 5990268 140733447781072 140733447773056 4566158 0 0 4096 0 0 0 0 17 5 0 0 3 0 0
/proc/11485/statm: 5005 4429 177 439 0 4562 0
Current children cumulated CPU time (s) 222.08
Current children cumulated vsize (KiB) 29168

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12927
/proc/meminfo: memFree=28617232/32873844 swapFree=6856/6856
[pid=11484] ppid=11482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11484/stat : 11484 (npSolver-wbo-It) S 11482 11484 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289525286 9367552 275 33554432000 4194304 5064252 140736307918960 140736307917872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11484/statm: 2287 275 233 213 0 72 0
[pid=11485] ppid=11484 vsize=20020 CPUtime=281.41 cores=1,3,5,7
/proc/11485/stat : 11485 (npSolver-wbo) S 11484 11484 25271 0 -1 4202496 439782 3224235 0 0 1703 301 23058 3079 20 0 1 0 289525286 20500480 4429 33554432000 4194304 5990268 140733447781072 140733447772480 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 3 0 0
/proc/11485/statm: 5005 4429 177 439 0 4562 0
[pid=12926] ppid=11485 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12926/stat : 12926 (satsolver.sh) S 11485 11484 25271 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 289553445 9367552 267 33554432000 4194304 5064252 140734337914816 140734337913728 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12926/statm: 2287 267 226 213 0 72 0
[pid=12927] ppid=12926 vsize=48884 CPUtime=0.69 cores=1,3,5,7
/proc/12927/stat : 12927 (glucose) R 12926 11484 25271 0 -1 4202496 10615 0 0 0 67 2 0 0 20 0 1 0 289553446 50057216 11196 33554432000 4194304 5208918 140737174754016 140737174752424 4211732 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12927/statm: 12221 11196 95 248 0 11970 0
Current children cumulated CPU time (s) 282.1

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

[startup+1242.3 s]
/proc/loadavg: 1.98 1.97 1.98 3/184 17815
/proc/meminfo: memFree=28572128/32873844 swapFree=6856/6856
[pid=11484] ppid=11482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11484/stat : 11484 (npSolver-wbo-It) S 11482 11484 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289525286 9367552 275 33554432000 4194304 5064252 140736307918960 140736307917872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11484/statm: 2287 275 233 213 0 72 0
[pid=11485] ppid=11484 vsize=20020 CPUtime=1242.43 cores=1,3,5,7
/proc/11485/stat : 11485 (npSolver-wbo) S 11484 11484 25271 0 -1 4202496 1929229 14218256 0 0 7484 1317 101859 13583 20 0 1 0 289525286 20500480 4429 33554432000 4194304 5990268 140733447781072 140733447771968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 3 0 0
/proc/11485/statm: 5005 4429 177 439 0 4562 0
Current children cumulated CPU time (s) 1242.43
Current children cumulated vsize (KiB) 29168

[startup+1302.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/184 18138
/proc/meminfo: memFree=28569052/32873844 swapFree=6856/6856
[pid=11484] ppid=11482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11484/stat : 11484 (npSolver-wbo-It) S 11482 11484 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289525286 9367552 275 33554432000 4194304 5064252 140736307918960 140736307917872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11484/statm: 2287 275 233 213 0 72 0
[pid=11485] ppid=11484 vsize=20020 CPUtime=1302.08 cores=1,3,5,7
/proc/11485/stat : 11485 (npSolver-wbo) S 11484 11484 25271 0 -1 4202496 2023382 14905110 0 0 7847 1384 106732 14245 20 0 1 0 289525286 20500480 4429 33554432000 4194304 5990268 140733447781072 140733447772480 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 3 0 0
/proc/11485/statm: 5005 4429 177 439 0 4562 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 29168

[startup+1362.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/183 18446
/proc/meminfo: memFree=28552412/32873844 swapFree=6856/6856
[pid=11484] ppid=11482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11484/stat : 11484 (npSolver-wbo-It) S 11482 11484 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289525286 9367552 275 33554432000 4194304 5064252 140736307918960 140736307917872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11484/statm: 2287 275 233 213 0 72 0
[pid=11485] ppid=11484 vsize=20020 CPUtime=1362.56 cores=1,3,5,7
/proc/11485/stat : 11485 (npSolver-wbo) S 11484 11484 25271 0 -1 4202496 2115409 15599428 0 0 8204 1446 111709 14897 20 0 1 0 289525286 20500480 4429 33554432000 4194304 5990268 140733447781072 140733447771968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 3 0 0
/proc/11485/statm: 5005 4429 177 439 0 4562 0
Current children cumulated CPU time (s) 1362.56
Current children cumulated vsize (KiB) 29168

[startup+1422.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/183 18755
/proc/meminfo: memFree=28552060/32873844 swapFree=6856/6856
[pid=11484] ppid=11482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11484/stat : 11484 (npSolver-wbo-It) S 11482 11484 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289525286 9367552 275 33554432000 4194304 5064252 140736307918960 140736307917872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11484/statm: 2287 275 233 213 0 72 0
[pid=11485] ppid=11484 vsize=20020 CPUtime=1422.13 cores=1,3,5,7
/proc/11485/stat : 11485 (npSolver-wbo) S 11484 11484 25271 0 -1 4202496 2209562 16282758 0 0 8567 1514 116587 15545 20 0 1 0 289525286 20500480 4429 33554432000 4194304 5990268 140733447781072 140733447772480 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 8 0 0
/proc/11485/statm: 5005 4429 177 439 0 4562 0
[pid=18754] ppid=11485 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18754/stat : 18754 (satsolver.sh) S 11485 11484 25271 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 289667466 9367552 266 33554432000 4194304 5064252 140733648628608 140733648627520 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18754/statm: 2287 266 226 213 0 72 0
[pid=18755] ppid=18754 vsize=48888 CPUtime=0.5 cores=1,3,5,7
/proc/18755/stat : 18755 (glucose) R 18754 11484 25271 0 -1 4202496 9853 0 0 0 48 2 0 0 20 0 1 0 289667466 50061312 11076 33554432000 4194304 5208918 140737414379408 140737413328888 4211668 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18755/statm: 12222 11076 95 248 0 11971 0
Current children cumulated CPU time (s) 1422.63
Current children cumulated vsize (KiB) 87204

[startup+1482.3 s]
/proc/loadavg: 2.06 1.99 1.99 3/183 19056
/proc/meminfo: memFree=28553204/32873844 swapFree=6856/6856
[pid=11484] ppid=11482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11484/stat : 11484 (npSolver-wbo-It) S 11482 11484 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289525286 9367552 275 33554432000 4194304 5064252 140736307918960 140736307917872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11484/statm: 2287 275 233 213 0 72 0
[pid=11485] ppid=11484 vsize=20024 CPUtime=1482.69 cores=1,3,5,7
/proc/11485/stat : 11485 (npSolver-wbo) R 11484 11484 25271 0 -1 4202496 2303721 16974608 0 0 8934 1576 121562 16197 20 0 1 0 289525286 20504576 4429 33554432000 4194304 5990268 140733447781072 140733447773056 5180875 0 0 4096 0 0 0 0 17 5 0 0 8 0 0
/proc/11485/statm: 5006 4429 177 439 0 4563 0
Current children cumulated CPU time (s) 1482.69
Current children cumulated vsize (KiB) 29172

[startup+1542.31 s]
/proc/loadavg: 2.02 1.99 1.99 3/183 19364
/proc/meminfo: memFree=28552672/32873844 swapFree=6856/6856
[pid=11484] ppid=11482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11484/stat : 11484 (npSolver-wbo-It) S 11482 11484 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289525286 9367552 275 33554432000 4194304 5064252 140736307918960 140736307917872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11484/statm: 2287 275 233 213 0 72 0
[pid=11485] ppid=11484 vsize=20020 CPUtime=1542.02 cores=1,3,5,7
/proc/11485/stat : 11485 (npSolver-wbo) S 11484 11484 25271 0 -1 4202496 2395742 17649084 0 0 9290 1640 126437 16835 20 0 1 0 289525286 20500480 4429 33554432000 4194304 5990268 140733447781072 140733447772480 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 8 0 0
/proc/11485/statm: 5005 4429 177 439 0 4562 0
[pid=19363] ppid=11485 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19363/stat : 19363 (satsolver.sh) S 11485 11484 25271 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 289679444 9367552 266 33554432000 4194304 5064252 140734905016768 140734905015680 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19363/statm: 2287 266 226 213 0 72 0
[pid=19364] ppid=19363 vsize=48880 CPUtime=0.7 cores=1,3,5,7
/proc/19364/stat : 19364 (glucose) R 19363 11484 25271 0 -1 4202496 10798 0 0 0 69 1 0 0 20 0 1 0 289679445 50053120 10898 33554432000 4194304 5208918 140736800975136 140736800973544 4211652 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19364/statm: 12220 10898 95 248 0 11969 0
Current children cumulated CPU time (s) 1542.72
Current children cumulated vsize (KiB) 87196

[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/183 19665
/proc/meminfo: memFree=28550468/32873844 swapFree=6856/6856
[pid=11484] ppid=11482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11484/stat : 11484 (npSolver-wbo-It) S 11482 11484 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289525286 9367552 275 33554432000 4194304 5064252 140736307918960 140736307917872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11484/statm: 2287 275 233 213 0 72 0
[pid=11485] ppid=11484 vsize=20020 CPUtime=1602.69 cores=1,3,5,7
/proc/11485/stat : 11485 (npSolver-wbo) S 11484 11484 25271 0 -1 4202496 2489902 18344598 0 0 9654 1704 131411 17500 20 0 1 0 289525286 20500480 4429 33554432000 4194304 5990268 140733447781072 140733447772480 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 8 0 0
/proc/11485/statm: 5005 4429 177 439 0 4562 0
Current children cumulated CPU time (s) 1602.69
Current children cumulated vsize (KiB) 29168

[startup+1662.3 s]
/proc/loadavg: 2.04 2.00 1.99 3/183 19980
/proc/meminfo: memFree=28604876/32873844 swapFree=6856/6856
[pid=11484] ppid=11482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11484/stat : 11484 (npSolver-wbo-It) S 11482 11484 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289525286 9367552 275 33554432000 4194304 5064252 140736307918960 140736307917872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11484/statm: 2287 275 233 213 0 72 0
[pid=11485] ppid=11484 vsize=20020 CPUtime=1662.03 cores=1,3,5,7
/proc/11485/stat : 11485 (npSolver-wbo) S 11484 11484 25271 0 -1 4202496 2581922 19022200 0 0 10012 1766 136273 18152 20 0 1 0 289525286 20500480 4429 33554432000 4194304 5990268 140733447781072 140733447772480 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 8 0 0
/proc/11485/statm: 5005 4429 177 439 0 4562 0
[pid=19979] ppid=11485 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19979/stat : 19979 (satsolver.sh) S 11485 11484 25271 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289691440 9367552 267 33554432000 4194304 5064252 140734677268560 140734677267472 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19979/statm: 2287 267 226 213 0 72 0
[pid=19980] ppid=19979 vsize=48884 CPUtime=0.74 cores=1,3,5,7
/proc/19980/stat : 19980 (glucose) R 19979 11484 25271 0 -1 4202496 10810 0 0 0 72 2 0 0 20 0 1 0 289691440 50057216 10900 33554432000 4194304 5208918 140736389238080 140736389236488 4211656 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19980/statm: 12221 10900 95 248 0 11970 0
Current children cumulated CPU time (s) 1662.77
Current children cumulated vsize (KiB) 87200

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 1.99 3/183 20282
/proc/meminfo: memFree=28599036/32873844 swapFree=6856/6856
[pid=11484] ppid=11482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11484/stat : 11484 (npSolver-wbo-It) S 11482 11484 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289525286 9367552 275 33554432000 4194304 5064252 140736307918960 140736307917872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11484/statm: 2287 275 233 213 0 72 0
[pid=11485] ppid=11484 vsize=20020 CPUtime=1722.57 cores=1,3,5,7
/proc/11485/stat : 11485 (npSolver-wbo) S 11484 11484 25271 0 -1 4202496 2676082 19717163 0 0 10378 1831 141253 18795 20 0 1 0 289525286 20500480 4429 33554432000 4194304 5990268 140733447781072 140733447772480 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 8 0 0
/proc/11485/statm: 5005 4429 177 439 0 4562 0
Current children cumulated CPU time (s) 1722.57
Current children cumulated vsize (KiB) 29168

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 20592
/proc/meminfo: memFree=28582304/32873844 swapFree=6856/6856
[pid=11484] ppid=11482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11484/stat : 11484 (npSolver-wbo-It) S 11482 11484 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289525286 9367552 275 33554432000 4194304 5064252 140736307918960 140736307917872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11484/statm: 2287 275 233 213 0 72 0
[pid=11485] ppid=11484 vsize=20020 CPUtime=1781.69 cores=1,3,5,7
/proc/11485/stat : 11485 (npSolver-wbo) S 11484 11484 25271 0 -1 4202496 2768102 20391762 0 0 10733 1896 146116 19424 20 0 1 0 289525286 20500480 4429 33554432000 4194304 5990268 140733447781072 140733447772480 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 8 0 0
/proc/11485/statm: 5005 4429 177 439 0 4562 0
[pid=20591] ppid=11485 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20591/stat : 20591 (satsolver.sh) S 11485 11484 25271 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 289703416 9367552 266 33554432000 4194304 5064252 140736519352592 140736519351504 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20591/statm: 2287 266 226 213 0 72 0
[pid=20592] ppid=20591 vsize=0 CPUtime=0.99 cores=1,3,5,7
/proc/20592/stat : 20592 (glucose) R 20591 11484 25271 0 -1 4202500 10978 0 0 0 97 2 0 0 20 0 1 0 289703416 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20592/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1782.68
Current children cumulated vsize (KiB) 38316



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1799.71 s]
/proc/loadavg: 2.00 2.00 1.99 3/184 20738
/proc/meminfo: memFree=28604872/32873844 swapFree=6856/6856
[pid=11484] ppid=11482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11484/stat : 11484 (npSolver-wbo-It) S 11482 11484 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289525286 9367552 275 33554432000 4194304 5064252 140736307918960 140736307917872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11484/statm: 2287 275 233 213 0 72 0
[pid=11485] ppid=11484 vsize=20020 CPUtime=1799.59 cores=1,3,5,7
/proc/11485/stat : 11485 (npSolver-wbo) S 11484 11484 25271 0 -1 4202496 2795922 20593827 0 0 10842 1915 147588 19614 20 0 1 0 289525286 20500480 4429 33554432000 4194304 5990268 140733447781072 140733447772480 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 8 0 0
/proc/11485/statm: 5005 4429 177 439 0 4562 0
[pid=20727] ppid=11485 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20727/stat : 20727 (satsolver.sh) S 11485 11484 25271 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 289705205 9367552 267 33554432000 4194304 5064252 140735927068784 140735927067696 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20727/statm: 2287 267 226 213 0 72 0
[pid=20728] ppid=20727 vsize=48880 CPUtime=0.51 cores=1,3,5,7
/proc/20728/stat : 20728 (glucose) R 20727 11484 25271 0 -1 4202496 10819 0 0 0 49 2 0 0 20 0 1 0 289705206 50053120 10890 33554432000 4194304 5208918 140735667806640 140735927067720 4211561 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20728/statm: 12220 10890 95 248 0 11969 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 87196

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 0
Real time (s): 1799.72
CPU time (s): 1800.12
CPU user time (s): 1584.8
CPU system time (s): 215.324
CPU usage (%): 100.022
Max. virtual memory (cumulated for all children) (KiB): 88836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1584.8
system time used= 215.324
maximum resident set size= 46372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23401558
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18888784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 375883
involuntary context switches= 21795

runsolver used 4.55031 second user time and 9.1946 second system time

The end

Launcher Data 

Begin job on node144 at 2012-05-28 21:40:04
IDJOB=3715933
IDBENCH=79301
IDSOLVER=2297
FILE ID=node144/3715933-1338234004
RUNJOBID= node144-1338226780-25288
PBS_JOBID= 14624625
Free space on /tmp= 71460 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900667195--soft-0-100-0.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715933-1338234004/watcher-3715933-1338234004 -o /tmp/evaluation-result-3715933-1338234004/solver-3715933-1338234004 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715933-1338234004.wbo 1442442074 HOME HOME

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

MD5SUM BENCH= a4c39a3f1b80365b8ad34a89f93fc523
RANDOM SEED=1442442074

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28684000 kB
Buffers:          563628 kB
Cached:          2704568 kB
SwapCached:            0 kB
Active:          1150300 kB
Inactive:        2188640 kB
Active(anon):      66044 kB
Inactive(anon):        0 kB
Active(file):    1084256 kB
Inactive(file):  2188640 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             23016 kB
Writeback:             0 kB
AnonPages:        102660 kB
Mapped:            15312 kB
Shmem:               200 kB
Slab:             710904 kB
SReclaimable:     152280 kB
SUnreclaim:       558624 kB
KernelStack:        1528 kB
PageTables:         4172 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     184380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     38912 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71440 MiB
End job on node144 at 2012-05-28 22:10:04