Trace number 3753112

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh11_wcsp.wbo
MD5SUM540e5098c207f1245411172896d943a2
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark172
Best CPU time to get the best result obtained on this benchmark0.046992
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints950
Number of soft constraints850
Number of constraints which are clauses850
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint11
Top cost 420926
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 420925
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
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.05	o 5892
0.00/0.05	c starting approximation
0.00/0.05	c factor = 2
0.00/0.05	c factor still to low - shrinking to 30.0492
0.00/0.05	c approx number of clauses: 1e+06
0.00/0.05	c current bound: 2946
1.22/1.51	c current bound: 2946
2.69/2.98	c current bound: 2946
4.37/4.44	c current bound: 2946
5.62/5.91	c current bound: 2946
7.07/7.37	c current bound: 2946
8.78/8.84	c current bound: 2946
10.02/10.31	c current bound: 2946
11.49/11.77	c current bound: 2946
13.16/13.25	c current bound: 2946
14.43/14.71	c current bound: 2946
15.89/16.18	c current bound: 2946
17.57/17.65	c current bound: 2946
18.83/19.12	c current bound: 2946
20.60/20.60	c current bound: 2946
21.97/22.08	c current bound: 2946
23.28/23.55	c current bound: 2946
24.74/25.02	c current bound: 2946
26.49/26.50	c current bound: 2946
27.69/27.96	c current bound: 2946
29.15/29.43	c current bound: 2946
30.90/30.90	c current bound: 2946
32.08/32.36	c current bound: 2946
33.53/33.82	c current bound: 2946
35.18/35.29	c current bound: 2946
36.47/36.77	c current bound: 2946
37.94/38.23	c current bound: 2946
39.67/39.71	c current bound: 2946
40.88/41.17	c current bound: 2946
42.35/42.64	c current bound: 2946
44.07/44.10	c current bound: 2946
45.30/45.57	c current bound: 2946
46.77/47.04	c current bound: 2946
48.48/48.54	c current bound: 2946
50.00/50.00	c current bound: 2946
51.19/51.47	c current bound: 2946
52.89/52.95	c current bound: 2946
54.19/54.47	c current bound: 2946
55.72/56.00	c current bound: 2946
57.19/57.46	c current bound: 2946
58.65/58.92	c current bound: 2946
60.11/60.39	c current bound: 2946
61.59/61.85	c current bound: 2946
63.05/63.32	c current bound: 2946
64.51/64.78	c current bound: 2946
65.98/66.24	c current bound: 2946
67.44/67.71	c current bound: 2946
68.93/69.18	c current bound: 2946
70.39/70.65	c current bound: 2946
71.86/72.12	c current bound: 2946
73.32/73.59	c current bound: 2946
74.80/75.05	c current bound: 2946
76.27/76.52	c current bound: 2946
77.74/77.98	c current bound: 2946
79.20/79.45	c current bound: 2946
80.66/80.92	c current bound: 2946
82.15/82.39	c current bound: 2946
83.61/83.88	c current bound: 2946
85.10/85.34	c current bound: 2946
86.84/86.80	c current bound: 2946
88.02/88.27	c current bound: 2946
89.49/89.76	c current bound: 2946
91.23/91.23	c current bound: 2946
92.45/92.69	c current bound: 2946
93.92/94.15	c current bound: 2946
95.63/95.64	c current bound: 2946
96.85/97.10	c current bound: 2946
98.32/98.57	c current bound: 2946
100.02/100.04	c current bound: 2946
101.26/101.51	c current bound: 2946
102.73/102.97	c current bound: 2946
104.41/104.45	c current bound: 2946
105.69/105.91	c current bound: 2946
107.14/107.38	c current bound: 2946
108.83/108.85	c current bound: 2946
110.08/110.31	c current bound: 2946
111.55/111.78	c current bound: 2946
113.24/113.25	c current bound: 2946
114.48/114.71	c current bound: 2946
115.95/116.18	c current bound: 2946
117.62/117.65	c current bound: 2946
118.89/119.11	c current bound: 2946
120.35/120.58	c current bound: 2946
122.04/122.04	c current bound: 2946
123.29/123.51	c current bound: 2946
124.75/124.97	c current bound: 2946
126.45/126.44	c current bound: 2946
127.97/127.90	c current bound: 2946
129.15/129.38	c current bound: 2946
130.84/130.85	c current bound: 2946
132.10/132.33	c current bound: 2946
133.58/133.79	c current bound: 2946
135.25/135.25	c current bound: 2946
136.51/136.72	c current bound: 2946
137.97/138.20	c current bound: 2946
139.64/139.67	c current bound: 2946
140.92/141.14	c current bound: 2946
142.38/142.60	c current bound: 2946
144.04/144.08	c current bound: 2946
145.32/145.54	c current bound: 2946
146.80/147.01	c current bound: 2946
148.44/148.49	c current bound: 2946
149.75/149.96	c current bound: 2946
151.22/151.42	c current bound: 2946
152.86/152.89	c current bound: 2946
154.14/154.36	c current bound: 2946
155.62/155.82	c current bound: 2946
157.25/157.29	c current bound: 2946
158.55/158.76	c current bound: 2946
160.07/160.27	c current bound: 2946
161.76/161.74	c current bound: 2946
163.00/163.20	c current bound: 2946
164.46/164.68	c current bound: 2946
166.16/166.16	c current bound: 2946
167.43/167.62	c current bound: 2946
168.89/169.08	c current bound: 2946
170.57/170.58	c current bound: 2946
171.86/172.05	c current bound: 2946
173.32/173.51	c current bound: 2946
174.96/174.99	c current bound: 2946
176.26/176.45	c current bound: 2946
177.72/177.91	c current bound: 2946
179.37/179.39	c current bound: 2946
180.67/180.86	c current bound: 2946
182.14/182.33	c current bound: 2946
183.86/183.81	c current bound: 2946
185.08/185.27	c current bound: 2946
186.55/186.75	c current bound: 2946
188.26/188.23	c current bound: 2946
189.51/189.70	c current bound: 2946
190.99/191.17	c current bound: 2946
192.68/192.64	c current bound: 2946
194.18/194.10	c current bound: 2946
195.39/195.57	c current bound: 2946
197.08/197.05	c current bound: 2946
198.33/198.53	c current bound: 2946
199.83/200.02	c current bound: 2946
201.30/201.48	c current bound: 2946
202.78/202.95	c current bound: 2946
204.23/204.42	c current bound: 2946
205.70/205.88	c current bound: 2946
207.17/207.34	c current bound: 2946
208.64/208.81	c current bound: 2946
210.11/210.29	c current bound: 2946
211.58/211.75	c current bound: 2946
213.05/213.22	c current bound: 2946
214.51/214.68	c current bound: 2946
215.99/216.14	c current bound: 2946
217.45/217.61	c current bound: 2946
218.93/219.08	c current bound: 2946
220.39/220.54	c current bound: 2946
222.11/222.00	c current bound: 2946
223.30/223.47	c current bound: 2946
224.78/224.99	c current bound: 2946
226.26/226.46	c current bound: 2946
227.73/227.93	c current bound: 2946
229.19/229.39	c current bound: 2946
230.66/230.85	c current bound: 2946
232.12/232.34	c current bound: 2946
233.59/233.80	c current bound: 2946
235.07/235.27	c current bound: 2946
236.53/236.73	c current bound: 2946
237.99/238.20	c current bound: 2946
239.48/239.67	c current bound: 2946
240.94/241.14	c current bound: 2946
242.40/242.60	c current bound: 2946
243.87/244.08	c current bound: 2946
245.34/245.55	c current bound: 2946
246.82/247.02	c current bound: 2946
248.28/248.48	c current bound: 2946
249.74/249.94	c current bound: 2946
251.21/251.41	c current bound: 2946
252.67/252.87	c current bound: 2946
254.14/254.33	c current bound: 2946
255.87/255.80	c current bound: 2946
257.07/257.28	c current bound: 2946
258.55/258.74	c current bound: 2946
260.01/260.21	c current bound: 2946
261.48/261.67	c current bound: 2946
262.95/263.13	c current bound: 2946
264.67/264.60	c current bound: 2946
265.88/266.06	c current bound: 2946
267.34/267.52	c current bound: 2946
268.79/268.98	c current bound: 2946
270.26/270.45	c current bound: 2946
271.73/271.93	c current bound: 2946
273.49/273.40	c current bound: 2946
274.69/274.86	c current bound: 2946
276.16/276.33	c current bound: 2946
277.89/277.80	c current bound: 2946
279.09/279.26	c current bound: 2946
280.56/280.73	c current bound: 2946
282.02/282.19	c current bound: 2946
283.49/283.66	c current bound: 2946
284.95/285.12	c current bound: 2946
286.42/286.59	c current bound: 2946
287.88/288.05	c current bound: 2946
289.35/289.52	c current bound: 2946
290.82/291.00	c current bound: 2946
292.31/292.48	c current bound: 2946
293.79/293.96	c current bound: 2946
295.30/295.47	c current bound: 2946
296.99/296.94	c current bound: 2946
298.24/298.41	c current bound: 2946
299.72/299.89	c current bound: 2946
301.38/301.37	c current bound: 2946
302.66/302.84	c current bound: 2946
304.12/304.31	c current bound: 2946
305.78/305.77	c current bound: 2946
307.08/307.25	c current bound: 2946
308.54/308.71	c current bound: 2946
310.19/310.19	c current bound: 2946
311.48/311.65	c current bound: 2946
312.94/313.11	c current bound: 2946
314.60/314.57	c current bound: 2946
315.88/316.04	c current bound: 2946
317.34/317.50	c current bound: 2946
319.00/318.97	c current bound: 2946
320.27/320.44	c current bound: 2946
321.74/321.91	c current bound: 2946
323.39/323.37	c current bound: 2946
324.67/324.83	c current bound: 2946
326.41/326.30	c current bound: 2946
327.80/327.76	c current bound: 2946
329.06/329.22	c current bound: 2946
330.54/330.69	c current bound: 2946
332.19/332.16	c current bound: 2946
333.46/333.62	c current bound: 2946
334.92/335.08	c current bound: 2946
336.61/336.55	c current bound: 2946
337.85/338.02	c current bound: 2946
339.33/339.49	c current bound: 2946
340.99/340.96	c current bound: 2946
342.26/342.42	c current bound: 2946
343.73/343.88	c current bound: 2946
345.41/345.35	c current bound: 2946
346.67/346.85	c current bound: 2946
348.16/348.33	c current bound: 2946
349.81/349.80	c current bound: 2946
351.09/351.25	c current bound: 2946
352.56/352.71	c current bound: 2946
354.19/354.18	c current bound: 2946
355.49/355.65	c current bound: 2946
356.95/357.12	c current bound: 2946
358.60/358.59	c current bound: 2946
359.90/360.05	c current bound: 2946
361.35/361.52	c current bound: 2946
363.00/362.99	c current bound: 2946
364.29/364.45	c current bound: 2946
365.74/365.91	c current bound: 2946
367.39/367.39	c current bound: 2946
368.69/368.86	c current bound: 2946
370.16/370.33	c current bound: 2946
371.79/371.79	c current bound: 2946
373.08/373.25	c current bound: 2946
374.56/374.72	c current bound: 2946
376.19/376.18	c current bound: 2946
377.47/377.64	c current bound: 2946
378.95/379.10	c current bound: 2946
380.59/380.57	c current bound: 2946
381.88/382.04	c current bound: 2946
383.61/383.50	c current bound: 2946
385.01/384.98	c current bound: 2946
386.30/386.44	c current bound: 2946
387.75/387.91	c current bound: 2946
389.40/389.38	c current bound: 2946
390.69/390.86	c current bound: 2946
392.16/392.32	c current bound: 2946
393.79/393.79	c current bound: 2946
395.09/395.26	c current bound: 2946
396.56/396.73	c current bound: 2946
398.32/398.21	c current bound: 2946
399.50/399.67	c current bound: 2946
400.97/401.13	c current bound: 2946
402.70/402.61	c current bound: 2946
403.92/404.07	c current bound: 2946
405.38/405.54	c current bound: 2946
407.09/407.01	c current bound: 2946
408.31/408.47	c current bound: 2946
409.78/409.93	c current bound: 2946
411.52/411.40	c current bound: 2946
412.70/412.86	c current bound: 2946
414.17/414.33	c current bound: 2946
415.80/415.80	c current bound: 2946
417.10/417.26	c current bound: 2946
418.56/418.73	c current bound: 2946
420.20/420.20	c current bound: 2946
421.51/421.66	c current bound: 2946
422.95/423.12	c current bound: 2946
424.59/424.59	c current bound: 2946
425.88/426.05	c current bound: 2946
427.35/427.51	c current bound: 2946
428.99/428.97	c current bound: 2946
430.26/430.43	c current bound: 2946
431.99/431.90	c current bound: 2946
433.39/433.36	c current bound: 2946
434.66/434.83	c current bound: 2946
436.39/436.30	c current bound: 2946
437.79/437.76	c current bound: 2946
439.05/439.22	c current bound: 2946
440.51/440.68	c current bound: 2946
442.19/442.15	c current bound: 2946
443.46/443.62	c current bound: 2946
444.92/445.08	c current bound: 2946
446.60/446.55	c current bound: 2946
447.85/448.02	c current bound: 2946
449.37/449.53	c current bound: 2946
450.99/451.00	c current bound: 2946
452.29/452.46	c current bound: 2946
453.76/453.92	c current bound: 2946
455.39/455.40	c current bound: 2946
456.70/456.88	c current bound: 2946
458.18/458.35	c current bound: 2946
459.90/459.81	c current bound: 2946
461.11/461.28	c current bound: 2946
462.58/462.75	c current bound: 2946
464.28/464.21	c current bound: 2946
465.50/465.67	c current bound: 2946
466.97/467.13	c current bound: 2946
468.58/468.60	c current bound: 2946
469.90/470.07	c current bound: 2946
471.36/471.54	c current bound: 2946
473.09/473.01	c current bound: 2946
474.30/474.48	c current bound: 2946
475.78/475.95	c current bound: 2946
477.49/477.42	c current bound: 2946
478.71/478.88	c current bound: 2946
480.18/480.34	c current bound: 2946
481.90/481.82	c current bound: 2946
483.13/483.28	c current bound: 2946
484.59/484.75	c current bound: 2946
486.31/486.22	c current bound: 2946
487.52/487.68	c current bound: 2946
489.01/489.15	c current bound: 2946
490.71/490.62	c current bound: 2946
491.94/492.09	c current bound: 2946
493.39/493.55	c current bound: 2946
495.10/495.01	c current bound: 2946
496.33/496.48	c current bound: 2946
497.79/497.94	c current bound: 2946
499.50/499.42	c current bound: 2946
500.74/500.89	c current bound: 2946
502.19/502.35	c current bound: 2946
503.90/503.82	c current bound: 2946
505.12/505.28	c current bound: 2946
506.59/506.74	c current bound: 2946
508.31/508.21	c current bound: 2946
509.52/509.67	c current bound: 2946
510.98/511.13	c current bound: 2946
512.61/512.59	c current bound: 2946
513.90/514.05	c current bound: 2946
515.37/515.52	c current bound: 2946
517.01/516.99	c current bound: 2946
518.31/518.46	c current bound: 2946
519.78/519.92	c current bound: 2946
521.41/521.38	c current bound: 2946
522.70/522.84	c current bound: 2946
524.17/524.32	c current bound: 2946
525.92/525.81	c current bound: 2946
527.12/527.27	c current bound: 2946
528.58/528.74	c current bound: 2946
530.20/530.20	c current bound: 2946
531.51/531.66	c current bound: 2946
532.97/533.12	c current bound: 2946
534.61/534.59	c current bound: 2946
535.88/536.05	c current bound: 2946
537.35/537.51	c current bound: 2946
539.00/538.98	c current bound: 2946
540.28/540.45	c current bound: 2946
541.77/541.92	c current bound: 2946
543.40/543.39	c current bound: 2946
544.69/544.86	c current bound: 2946
546.17/546.34	c current bound: 2946
547.90/547.81	c current bound: 2946
549.12/549.28	c current bound: 2946
550.59/550.75	c current bound: 2946
552.31/552.21	c current bound: 2946
553.53/553.68	c current bound: 2946
555.00/555.14	c current bound: 2946
556.72/556.61	c current bound: 2946
557.93/558.08	c current bound: 2946
559.40/559.54	c current bound: 2946
561.14/561.00	c current bound: 2946
562.34/562.47	c current bound: 2946
563.80/563.93	c current bound: 2946
565.43/565.40	c current bound: 2946
566.73/566.88	c current bound: 2946
568.21/568.34	c current bound: 2946
569.92/569.82	c current bound: 2946
571.16/571.28	c current bound: 2946
572.61/572.75	c current bound: 2946
574.34/574.21	c current bound: 2946
575.54/575.67	c current bound: 2946
577.02/577.14	c current bound: 2946
578.75/578.60	c current bound: 2946
579.95/580.06	c current bound: 2946
581.41/581.53	c current bound: 2946
583.15/583.01	c current bound: 2946
584.36/584.47	c current bound: 2946
585.83/585.94	c current bound: 2946
587.56/587.53	c current bound: 2946
588.78/588.99	c current bound: 2946
590.23/590.46	c current bound: 2946
591.92/591.92	c current bound: 2946
593.15/593.38	c current bound: 2946
594.62/594.84	c current bound: 2946
596.32/596.31	c current bound: 2946
597.55/597.78	c current bound: 2946
599.02/599.23	c current bound: 2946
600.73/600.72	c current bound: 2946
601.96/602.18	c current bound: 2946
603.42/603.65	c current bound: 2946
605.13/605.11	c current bound: 2946
606.35/606.57	c current bound: 2946
607.81/608.03	c current bound: 2946
609.53/609.52	c current bound: 2946
610.77/610.99	c current bound: 2946
612.23/612.45	c current bound: 2946
613.92/613.91	c current bound: 2946
615.14/615.37	c current bound: 2946
616.61/616.84	c current bound: 2946
618.34/618.32	c current bound: 2946
619.57/619.78	c current bound: 2946
621.04/621.25	c current bound: 2946
622.73/622.72	c current bound: 2946
623.98/624.18	c current bound: 2946
625.43/625.64	c current bound: 2946
627.14/627.10	c current bound: 2946
628.34/628.58	c current bound: 2946
629.83/630.05	c current bound: 2946
631.54/631.51	c current bound: 2946
632.76/632.97	c current bound: 2946
634.21/634.43	c current bound: 2946
635.93/635.90	c current bound: 2946
637.13/637.38	c current bound: 2946
638.62/638.85	c current bound: 2946
640.34/640.32	c current bound: 2946
641.85/641.80	c current bound: 2946
643.03/643.27	c current bound: 2946
644.73/644.73	c current bound: 2946
645.97/646.20	c current bound: 2946
647.44/647.68	c current bound: 2946
649.13/649.15	c current bound: 2946
650.36/650.61	c current bound: 2946
651.84/652.09	c current bound: 2946
653.54/653.56	c current bound: 2946
654.80/655.03	c current bound: 2946
656.27/656.51	c current bound: 2946
657.95/657.98	c current bound: 2946
659.22/659.46	c current bound: 2946
660.71/660.93	c current bound: 2946
662.17/662.41	c current bound: 2946
663.64/663.89	c current bound: 2946
665.12/665.36	c current bound: 2946
666.60/666.82	c current bound: 2946
668.36/668.30	c current bound: 2946
669.53/669.77	c current bound: 2946
671.02/671.25	c current bound: 2946
672.49/672.72	c current bound: 2946
673.97/674.20	c current bound: 2946
675.44/675.69	c current bound: 2946
676.92/677.16	c current bound: 2946
678.64/678.64	c current bound: 2946
679.88/680.11	c current bound: 2946
681.35/681.59	c current bound: 2946
683.03/683.06	c current bound: 2946
684.29/684.54	c current bound: 2946
685.76/686.02	c current bound: 2946
687.54/687.51	c current bound: 2946
688.75/688.99	c current bound: 2946
690.22/690.46	c current bound: 2946
691.92/691.94	c current bound: 2946
693.16/693.41	c current bound: 2946
694.64/694.89	c current bound: 2946
696.33/696.36	c current bound: 2946
697.59/697.84	c current bound: 2946
699.07/699.31	c current bound: 2946
700.73/700.79	c current bound: 2946
702.02/702.26	c current bound: 2946
703.49/703.74	c current bound: 2946
705.22/705.21	c current bound: 2946
706.43/706.68	c current bound: 2946
707.91/708.16	c current bound: 2946
709.63/709.62	c current bound: 2946
711.14/711.10	c current bound: 2946
712.33/712.57	c current bound: 2946
714.03/714.05	c current bound: 2946
715.29/715.53	c current bound: 2946
716.77/717.01	c current bound: 2946
718.42/718.48	c current bound: 2946
719.69/719.95	c current bound: 2946
721.18/721.42	c current bound: 2946
722.94/722.90	c current bound: 2946
724.13/724.37	c current bound: 2946
725.61/725.84	c current bound: 2946
727.08/727.32	c current bound: 2946
728.55/728.79	c current bound: 2946
730.01/730.26	c current bound: 2946
731.49/731.73	c current bound: 2946
732.95/733.21	c current bound: 2946
734.43/734.68	c current bound: 2946
735.90/736.15	c current bound: 2946
737.38/737.63	c current bound: 2946
738.86/739.10	c current bound: 2946
740.34/740.57	c current bound: 2946
741.80/742.04	c current bound: 2946
743.54/743.53	c current bound: 2946
744.76/745.01	c current bound: 2946
746.25/746.48	c current bound: 2946
747.94/747.96	c current bound: 2946
749.19/749.44	c current bound: 2946
750.68/750.91	c current bound: 2946
752.35/752.38	c current bound: 2946
753.62/753.86	c current bound: 2946
755.10/755.34	c current bound: 2946
756.84/756.82	c current bound: 2946
758.06/758.30	c current bound: 2946
759.54/759.78	c current bound: 2946
761.24/761.25	c current bound: 2946
762.50/762.73	c current bound: 2946
763.98/764.20	c current bound: 2946
765.63/765.67	c current bound: 2946
766.93/767.17	c current bound: 2946
768.41/768.65	c current bound: 2946
770.14/770.14	c current bound: 2946
771.38/771.61	c current bound: 2946
772.86/773.09	c current bound: 2946
774.54/774.56	c current bound: 2946
775.80/776.04	c current bound: 2946
777.29/777.52	c current bound: 2946
778.76/779.00	c current bound: 2946
780.23/780.48	c current bound: 2946
781.71/781.95	c current bound: 2946
783.19/783.43	c current bound: 2946
784.95/784.90	c current bound: 2946
786.13/786.37	c current bound: 2946
787.60/787.85	c current bound: 2946
789.09/789.32	c current bound: 2946
790.56/790.79	c current bound: 2946
792.04/792.27	c current bound: 2946
793.50/793.75	c current bound: 2946
795.24/795.21	c current bound: 2946
796.44/796.68	c current bound: 2946
797.92/798.16	c current bound: 2946
799.64/799.64	c current bound: 2946
800.89/801.11	c current bound: 2946
802.36/802.59	c current bound: 2946
804.05/804.06	c current bound: 2946
805.30/805.54	c current bound: 2946
806.80/807.04	c current bound: 2946
808.55/808.52	c current bound: 2946
809.76/809.99	c current bound: 2946
811.24/811.46	c current bound: 2946
812.97/812.93	c current bound: 2946
814.19/814.41	c current bound: 2946
815.66/815.86	c current bound: 2946
817.35/817.34	c current bound: 2946
818.60/818.82	c current bound: 2946
820.08/820.27	c current bound: 2946
821.77/821.75	c current bound: 2946
823.01/823.22	c current bound: 2946
824.48/824.69	c current bound: 2946
826.16/826.17	c current bound: 2946
827.42/827.64	c current bound: 2946
828.90/829.11	c current bound: 2946
830.57/830.58	c current bound: 2946
831.85/832.06	c current bound: 2946
833.33/833.53	c current bound: 2946
835.07/835.01	c current bound: 2946
836.28/836.49	c current bound: 2946
837.75/837.96	c current bound: 2946
839.47/839.43	c current bound: 2946
840.71/840.89	c current bound: 2946
842.17/842.36	c current bound: 2946
843.87/843.84	c current bound: 2946
845.11/845.31	c current bound: 2946
846.89/846.80	c current bound: 2946
848.28/848.27	c current bound: 2946
849.54/849.76	c current bound: 2946
851.03/851.22	c current bound: 2946
852.79/852.70	c current bound: 2946
853.98/854.17	c current bound: 2946
855.45/855.65	c current bound: 2946
856.93/857.13	c current bound: 2946
858.41/858.60	c current bound: 2946
859.88/860.07	c current bound: 2946
861.36/861.55	c current bound: 2946
862.83/863.03	c current bound: 2946
864.31/864.50	c current bound: 2946
865.78/865.97	c current bound: 2946
867.32/867.49	c current bound: 2946
868.98/869.00	c current bound: 2946
870.27/870.47	c current bound: 2946
871.75/871.94	c current bound: 2946
873.50/873.41	c current bound: 2946
874.70/874.88	c current bound: 2946
876.15/876.35	c current bound: 2946
877.88/877.82	c current bound: 2946
879.10/879.29	c current bound: 2946
880.57/880.77	c current bound: 2946
882.29/882.25	c current bound: 2946
883.54/883.73	c current bound: 2946
885.02/885.20	c current bound: 2946
886.69/886.68	c current bound: 2946
887.96/888.15	c current bound: 2946
889.44/889.63	c current bound: 2946
891.21/891.10	c current bound: 2946
892.39/892.57	c current bound: 2946
893.87/894.05	c current bound: 2946
895.59/895.52	c current bound: 2946
896.82/897.01	c current bound: 2946
898.30/898.48	c current bound: 2946
900.00/899.94	c current bound: 2946
901.25/901.42	c current bound: 2946
902.73/902.89	c current bound: 2946
904.39/904.35	c current bound: 2946
905.65/905.82	c current bound: 2946
907.12/907.30	c current bound: 2946
908.80/908.76	c current bound: 2946
910.06/910.24	c current bound: 2946
911.55/911.72	c current bound: 2946
913.31/913.20	c current bound: 2946
914.51/914.67	c current bound: 2946
915.98/916.15	c current bound: 2946
917.45/917.62	c current bound: 2946
919.22/919.10	c current bound: 2946
920.41/920.57	c current bound: 2946
921.88/922.05	c current bound: 2946
923.35/923.52	c current bound: 2946
924.82/925.00	c current bound: 2946
926.30/926.48	c current bound: 2946
927.78/927.95	c current bound: 2946
929.52/929.43	c current bound: 2946
930.74/930.90	c current bound: 2946
932.20/932.36	c current bound: 2946
933.91/933.81	c current bound: 2946
935.11/935.29	c current bound: 2946
936.59/936.76	c current bound: 2946
938.31/938.25	c current bound: 2946
939.56/939.75	c current bound: 2946
941.06/941.21	c current bound: 2946
942.72/942.69	c current bound: 2946
944.00/944.18	c current bound: 2946
945.49/945.65	c current bound: 2946
947.22/947.13	c current bound: 2946
948.46/948.62	c current bound: 2946
950.22/950.10	c current bound: 2946
951.72/951.60	c current bound: 2946
952.91/953.07	c current bound: 2946
954.38/954.55	c current bound: 2946
956.10/956.02	c current bound: 2946
957.34/957.50	c current bound: 2946
958.81/958.98	c current bound: 2946
960.52/960.46	c current bound: 2946
961.76/961.93	c current bound: 2946
963.52/963.40	c current bound: 2946
964.90/964.87	c current bound: 2946
966.18/966.35	c current bound: 2946
967.65/967.82	c current bound: 2946
969.12/969.27	c current bound: 2946
970.58/970.74	c current bound: 2946
972.06/972.21	c current bound: 2946
973.53/973.70	c current bound: 2946
975.01/975.18	c current bound: 2946
976.48/976.65	c current bound: 2946
977.95/978.13	c current bound: 2946
979.71/979.60	c current bound: 2946
980.91/981.08	c current bound: 2946
982.39/982.55	c current bound: 2946
983.86/984.03	c current bound: 2946
985.62/985.50	c current bound: 2946
986.81/986.98	c current bound: 2946
988.27/988.46	c current bound: 2946
990.00/989.94	c current bound: 2946
991.25/991.42	c current bound: 2946
992.73/992.87	c current bound: 2946
994.41/994.35	c current bound: 2946
995.67/995.83	c current bound: 2946
997.15/997.31	c current bound: 2946
998.82/998.78	c current bound: 2946
1000.09/1000.25	c current bound: 2946
1001.56/1001.72	c current bound: 2946
1003.21/1003.18	c current bound: 2946
1004.49/1004.65	c current bound: 2946
1005.98/1006.12	c current bound: 2946
1007.62/1007.59	c current bound: 2946
1008.90/1009.07	c current bound: 2946
1010.38/1010.54	c current bound: 2946
1012.12/1012.01	c current bound: 2946
1013.33/1013.47	c current bound: 2946
1014.79/1014.95	c current bound: 2946
1016.53/1016.42	c current bound: 2946
1017.75/1017.89	c current bound: 2946
1019.20/1019.37	c current bound: 2946
1020.92/1020.84	c current bound: 2946
1022.16/1022.31	c current bound: 2946
1023.64/1023.79	c current bound: 2946
1025.30/1025.27	c current bound: 2946
1026.58/1026.74	c current bound: 2946
1028.06/1028.22	c current bound: 2946
1029.72/1029.69	c current bound: 2946
1030.99/1031.17	c current bound: 2946
1032.48/1032.64	c current bound: 2946
1034.21/1034.12	c current bound: 2946
1035.43/1035.59	c current bound: 2946
1036.89/1037.06	c current bound: 2946
1038.60/1038.52	c current bound: 2946
1039.81/1039.99	c current bound: 2946
1041.30/1041.47	c current bound: 2946
1042.99/1042.95	c current bound: 2946
1044.24/1044.42	c current bound: 2946
1045.73/1045.90	c current bound: 2946
1047.25/1047.43	c current bound: 2946
1048.75/1048.90	c current bound: 2946
1050.22/1050.38	c current bound: 2946
1051.67/1051.85	c current bound: 2946
1053.15/1053.30	c current bound: 2946
1054.60/1054.77	c current bound: 2946
1056.08/1056.25	c current bound: 2946
1057.55/1057.72	c current bound: 2946
1059.03/1059.19	c current bound: 2946
1060.51/1060.67	c current bound: 2946
1061.99/1062.14	c current bound: 2946
1063.70/1063.63	c current bound: 2946
1065.22/1065.10	c current bound: 2946
1066.41/1066.57	c current bound: 2946
1068.13/1068.05	c current bound: 2946
1069.35/1069.52	c current bound: 2946
1070.83/1070.99	c current bound: 2946
1072.52/1072.47	c current bound: 2946
1073.79/1073.94	c current bound: 2946
1075.26/1075.42	c current bound: 2946
1076.92/1076.89	c current bound: 2946
1078.19/1078.37	c current bound: 2946
1079.67/1079.84	c current bound: 2946
1081.41/1081.32	c current bound: 2946
1082.62/1082.78	c current bound: 2946
1084.09/1084.26	c current bound: 2946
1085.81/1085.72	c current bound: 2946
1087.01/1087.18	c current bound: 2946
1088.49/1088.66	c current bound: 2946
1090.21/1090.14	c current bound: 2946
1091.45/1091.61	c current bound: 2946
1092.93/1093.09	c current bound: 2946
1094.60/1094.56	c current bound: 2946
1095.86/1096.03	c current bound: 2946
1097.33/1097.50	c current bound: 2946
1099.01/1098.98	c current bound: 2946
1100.28/1100.45	c current bound: 2946
1101.76/1101.93	c current bound: 2946
1103.42/1103.39	c current bound: 2946
1104.70/1104.85	c current bound: 2946
1106.16/1106.32	c current bound: 2946
1107.81/1107.79	c current bound: 2946
1109.10/1109.27	c current bound: 2946
1110.58/1110.75	c current bound: 2946
1112.30/1112.22	c current bound: 2946
1113.52/1113.69	c current bound: 2946
1114.99/1115.16	c current bound: 2946
1116.70/1116.63	c current bound: 2946
1118.21/1118.10	c current bound: 2946
1119.40/1119.57	c current bound: 2946
1121.11/1121.05	c current bound: 2946
1122.36/1122.52	c current bound: 2946
1123.83/1123.99	c current bound: 2946
1125.49/1125.47	c current bound: 2946
1126.77/1126.94	c current bound: 2946
1128.24/1128.41	c current bound: 2946
1129.79/1129.96	c current bound: 2946
1131.26/1131.43	c current bound: 2946
1132.74/1132.90	c current bound: 2946
1134.21/1134.38	c current bound: 2946
1135.67/1135.85	c current bound: 2946
1137.41/1137.33	c current bound: 2946
1138.63/1138.81	c current bound: 2946
1140.12/1140.28	c current bound: 2946
1141.82/1141.75	c current bound: 2946
1143.06/1143.22	c current bound: 2946
1144.52/1144.69	c current bound: 2946
1146.21/1146.17	c current bound: 2946
1147.48/1147.64	c current bound: 2946
1148.95/1149.12	c current bound: 2946
1150.59/1150.60	c current bound: 2946
1151.92/1152.08	c current bound: 2946
1153.40/1153.57	c current bound: 2946
1155.11/1155.06	c current bound: 2946
1156.38/1156.54	c current bound: 2946
1157.85/1158.01	c current bound: 2946
1159.54/1159.56	c current bound: 2946
1160.80/1161.03	c current bound: 2946
1162.27/1162.50	c current bound: 2946
1163.95/1163.97	c current bound: 2946
1165.28/1165.49	c current bound: 2946
1167.06/1167.01	c current bound: 2946
1168.32/1168.54	c current bound: 2946
1169.86/1170.06	c current bound: 2946
1171.57/1171.58	c current bound: 2946
1173.17/1173.10	c current bound: 2946
1174.35/1174.56	c current bound: 2946
1176.06/1176.02	c current bound: 2946
1177.29/1177.48	c current bound: 2946
1178.75/1178.95	c current bound: 2946
1180.45/1180.42	c current bound: 2946
1181.69/1181.91	c current bound: 2946
1183.46/1183.40	c current bound: 2946
1184.86/1184.88	c current bound: 2946
1186.14/1186.35	c current bound: 2946
1187.62/1187.82	c current bound: 2946
1189.08/1189.28	c current bound: 2946
1190.54/1190.76	c current bound: 2946
1192.03/1192.22	c current bound: 2946
1193.48/1193.68	c current bound: 2946
1194.94/1195.14	c current bound: 2946
1196.41/1196.60	c current bound: 2946
1197.89/1198.07	c current bound: 2946
1199.34/1199.53	c current bound: 2946
1200.81/1201.01	c current bound: 2946
1202.47/1202.48	c current bound: 2946
1203.75/1203.94	c current bound: 2946
1205.22/1205.40	c current bound: 2946
1206.74/1206.93	c current bound: 2946
1208.48/1208.40	c current bound: 2946
1209.67/1209.86	c current bound: 2946
1211.13/1211.32	c current bound: 2946
1212.59/1212.78	c current bound: 2946
1214.06/1214.25	c current bound: 2946
1215.53/1215.71	c current bound: 2946
1217.00/1217.18	c current bound: 2946
1218.46/1218.65	c current bound: 2946
1219.92/1220.11	c current bound: 2946
1221.38/1221.58	c current bound: 2946
1222.86/1223.05	c current bound: 2946
1224.33/1224.51	c current bound: 2946
1225.80/1225.97	c current bound: 2946
1227.27/1227.45	c current bound: 2946
1228.74/1228.93	c current bound: 2946
1230.49/1230.40	c current bound: 2946
1231.68/1231.86	c current bound: 2946
1233.14/1233.32	c current bound: 2946
1234.61/1234.80	c current bound: 2946
1236.09/1236.26	c current bound: 2946
1237.55/1237.73	c current bound: 2946
1239.02/1239.19	c current bound: 2946
1240.49/1240.65	c current bound: 2946
1241.95/1242.12	c current bound: 2946
1243.41/1243.58	c current bound: 2946
1244.88/1245.04	c current bound: 2946
1246.36/1246.51	c current bound: 2946
1247.82/1247.97	c current bound: 2946
1249.28/1249.43	c current bound: 2946
1250.74/1250.89	c current bound: 2946
1252.21/1252.36	c current bound: 2946
1253.68/1253.82	c current bound: 2946
1255.14/1255.29	c current bound: 2946
1256.62/1256.76	c current bound: 2946
1258.07/1258.22	c current bound: 2946
1259.54/1259.67	c current bound: 2946
1260.99/1261.14	c current bound: 2946
1262.72/1262.60	c current bound: 2946
1264.11/1264.06	c current bound: 2946
1265.38/1265.52	c current bound: 2946
1266.84/1266.98	c current bound: 2946
1268.50/1268.44	c current bound: 2946
1269.77/1269.91	c current bound: 2946
1271.23/1271.37	c current bound: 2946
1272.91/1272.85	c current bound: 2946
1274.18/1274.31	c current bound: 2946
1275.63/1275.77	c current bound: 2946
1277.32/1277.23	c current bound: 2946
1278.55/1278.71	c current bound: 2946
1280.03/1280.18	c current bound: 2946
1281.72/1281.65	c current bound: 2946
1282.98/1283.11	c current bound: 2946
1284.44/1284.57	c current bound: 2946
1286.13/1286.05	c current bound: 2946
1287.37/1287.51	c current bound: 2946
1288.85/1288.97	c current bound: 2946
1290.52/1290.43	c current bound: 2946
1292.03/1291.90	c current bound: 2946
1293.52/1293.45	c current bound: 2946
1294.70/1294.91	c current bound: 2946
1296.20/1296.41	c current bound: 2946
1297.67/1297.87	c current bound: 2946
1299.13/1299.34	c current bound: 2946
1300.59/1300.79	c current bound: 2946
1302.05/1302.26	c current bound: 2946
1303.52/1303.72	c current bound: 2946
1304.97/1305.21	c current bound: 2946
1306.47/1306.67	c current bound: 2946
1307.92/1308.14	c current bound: 2946
1309.41/1309.61	c current bound: 2946
1310.86/1311.06	c current bound: 2946
1312.32/1312.52	c current bound: 2946
1313.79/1313.98	c current bound: 2946
1315.24/1315.45	c current bound: 2946
1316.70/1316.91	c current bound: 2946
1318.16/1318.36	c current bound: 2946
1319.63/1319.83	c current bound: 2946
1321.38/1321.30	c current bound: 2946
1322.56/1322.77	c current bound: 2946
1324.04/1324.23	c current bound: 2946
1325.49/1325.69	c current bound: 2946
1326.96/1327.15	c current bound: 2946
1328.42/1328.61	c current bound: 2946
1329.88/1330.08	c current bound: 2946
1331.35/1331.54	c current bound: 2946
1332.82/1333.01	c current bound: 2946
1334.29/1334.49	c current bound: 2946
1335.76/1335.95	c current bound: 2946
1337.23/1337.41	c current bound: 2946
1338.69/1338.88	c current bound: 2946
1340.17/1340.36	c current bound: 2946
1341.64/1341.82	c current bound: 2946
1343.11/1343.29	c current bound: 2946
1344.57/1344.77	c current bound: 2946
1346.05/1346.25	c current bound: 2946
1347.52/1347.73	c current bound: 2946
1349.28/1349.20	c current bound: 2946
1350.48/1350.67	c current bound: 2946
1351.95/1352.15	c current bound: 2946
1353.42/1353.62	c current bound: 2946
1354.88/1355.09	c current bound: 2946
1356.37/1356.57	c current bound: 2946
1357.84/1358.04	c current bound: 2946
1359.58/1359.51	c current bound: 2946
1360.80/1360.99	c current bound: 2946
1362.26/1362.46	c current bound: 2946
1363.97/1363.93	c current bound: 2946
1365.18/1365.39	c current bound: 2946
1366.68/1366.87	c current bound: 2946
1368.39/1368.34	c current bound: 2946
1369.63/1369.83	c current bound: 2946
1371.13/1371.31	c current bound: 2946
1372.79/1372.79	c current bound: 2946
1374.07/1374.26	c current bound: 2946
1375.55/1375.73	c current bound: 2946
1377.29/1377.21	c current bound: 2946
1378.49/1378.68	c current bound: 2946
1379.97/1380.16	c current bound: 2946
1381.70/1381.65	c current bound: 2946
1382.94/1383.11	c current bound: 2946
1384.40/1384.58	c current bound: 2946
1386.09/1386.06	c current bound: 2946
1387.34/1387.54	c current bound: 2946
1388.83/1389.01	c current bound: 2946
1390.49/1390.49	c current bound: 2946
1391.77/1391.97	c current bound: 2946
1393.25/1393.44	c current bound: 2946
1394.98/1394.91	c current bound: 2946
1396.19/1396.37	c current bound: 2946
1397.64/1397.84	c current bound: 2946
1399.37/1399.32	c current bound: 2946
1400.60/1400.79	c current bound: 2946
1402.07/1402.26	c current bound: 2946
1403.78/1403.74	c current bound: 2946
1405.01/1405.21	c current bound: 2946
1406.49/1406.68	c current bound: 2946
1408.19/1408.15	c current bound: 2946
1409.43/1409.63	c current bound: 2946
1410.91/1411.10	c current bound: 2946
1412.57/1412.58	c current bound: 2946
1413.87/1414.06	c current bound: 2946
1415.35/1415.54	c current bound: 2946
1416.83/1417.02	c current bound: 2946
1418.30/1418.48	c current bound: 2946
1419.77/1419.95	c current bound: 2946
1421.24/1421.42	c current bound: 2946
1422.71/1422.89	c current bound: 2946
1424.18/1424.37	c current bound: 2946
1425.65/1425.84	c current bound: 2946
1427.13/1427.32	c current bound: 2946
1428.61/1428.79	c current bound: 2946
1430.07/1430.25	c current bound: 2946
1431.58/1431.75	c current bound: 2946
1433.30/1433.23	c current bound: 2946
1434.80/1434.70	c current bound: 2946
1436.00/1436.18	c current bound: 2946
1437.70/1437.64	c current bound: 2946
1438.94/1439.12	c current bound: 2946
1440.42/1440.58	c current bound: 2946
1442.11/1442.05	c current bound: 2946
1443.35/1443.52	c current bound: 2946
1445.10/1445.00	c current bound: 2946
1446.49/1446.47	c current bound: 2946
1447.77/1447.95	c current bound: 2946
1449.26/1449.42	c current bound: 2946
1450.90/1450.90	c current bound: 2946
1452.18/1452.37	c current bound: 2946
1453.66/1453.84	c current bound: 2946
1455.39/1455.31	c current bound: 2946
1456.60/1456.78	c current bound: 2946
1458.08/1458.25	c current bound: 2946
1459.80/1459.72	c current bound: 2946
1461.02/1461.19	c current bound: 2946
1462.50/1462.67	c current bound: 2946
1464.20/1464.14	c current bound: 2946
1465.45/1465.61	c current bound: 2946
1466.91/1467.09	c current bound: 2946
1468.61/1468.57	c current bound: 2946
1469.87/1470.05	c current bound: 2946
1471.35/1471.52	c current bound: 2946
1473.10/1473.00	c current bound: 2946
1474.31/1474.48	c current bound: 2946
1475.79/1475.95	c current bound: 2946
1477.49/1477.43	c current bound: 2946
1479.01/1478.90	c current bound: 2946
1480.19/1480.37	c current bound: 2946
1481.90/1481.85	c current bound: 2946
1483.15/1483.32	c current bound: 2946
1484.65/1484.82	c current bound: 2946
1486.12/1486.28	c current bound: 2946
1487.58/1487.75	c current bound: 2946
1489.06/1489.22	c current bound: 2946
1490.52/1490.67	c current bound: 2946
1491.98/1492.15	c current bound: 2946
1493.46/1493.61	c current bound: 2946
1494.99/1495.15	c current bound: 2946
1496.47/1496.63	c current bound: 2946
1498.22/1498.11	c current bound: 2946
1499.43/1499.58	c current bound: 2946
1500.89/1501.05	c current bound: 2946
1502.62/1502.52	c current bound: 2946
1503.84/1503.99	c current bound: 2946
1505.31/1505.47	c current bound: 2946
1507.03/1506.94	c current bound: 2946
1508.25/1508.42	c current bound: 2946
1509.73/1509.89	c current bound: 2946
1511.42/1511.37	c current bound: 2946
1512.68/1512.84	c current bound: 2946
1514.16/1514.31	c current bound: 2946
1515.82/1515.78	c current bound: 2946
1517.09/1517.26	c current bound: 2946
1518.57/1518.73	c current bound: 2946
1520.33/1520.20	c current bound: 2946
1521.51/1521.68	c current bound: 2946
1522.99/1523.15	c current bound: 2946
1524.73/1524.62	c current bound: 2946
1526.21/1526.10	c current bound: 2946
1527.40/1527.57	c current bound: 2946
1529.10/1529.05	c current bound: 2946
1530.35/1530.52	c current bound: 2946
1532.12/1532.00	c current bound: 2946
1533.50/1533.47	c current bound: 2946
1534.76/1534.95	c current bound: 2946
1536.25/1536.42	c current bound: 2946
1538.00/1537.90	c current bound: 2946
1539.21/1539.38	c current bound: 2946
1540.70/1540.85	c current bound: 2946
1542.40/1542.32	c current bound: 2946
1543.91/1543.80	c current bound: 2946
1545.10/1545.27	c current bound: 2946
1546.79/1546.75	c current bound: 2946
1548.05/1548.22	c current bound: 2946
1549.52/1549.69	c current bound: 2946
1551.21/1551.17	c current bound: 2946
1552.48/1552.64	c current bound: 2946
1553.95/1554.12	c current bound: 2946
1555.70/1555.60	c current bound: 2946
1556.89/1557.08	c current bound: 2946
1558.39/1558.55	c current bound: 2946
1559.86/1560.04	c current bound: 2946
1561.34/1561.51	c current bound: 2946
1562.81/1562.98	c current bound: 2946
1564.29/1564.46	c current bound: 2946
1565.76/1565.92	c current bound: 2946
1567.23/1567.39	c current bound: 2946
1568.70/1568.87	c current bound: 2946
1570.18/1570.34	c current bound: 2946
1571.90/1571.82	c current bound: 2946
1573.12/1573.29	c current bound: 2946
1574.60/1574.76	c current bound: 2946
1576.31/1576.24	c current bound: 2946
1577.54/1577.71	c current bound: 2946
1579.01/1579.18	c current bound: 2946
1580.70/1580.66	c current bound: 2946
1581.97/1582.13	c current bound: 2946
1583.44/1583.59	c current bound: 2946
1585.12/1585.07	c current bound: 2946
1586.38/1586.55	c current bound: 2946
1587.87/1588.03	c current bound: 2946
1589.52/1589.49	c current bound: 2946
1590.80/1590.97	c current bound: 2946
1592.35/1592.49	c current bound: 2946
1594.11/1594.01	c current bound: 2946
1595.41/1595.55	c current bound: 2946
1596.93/1597.07	c current bound: 2946
1598.39/1598.53	c current bound: 2946
1599.85/1599.99	c current bound: 2946
1601.31/1601.45	c current bound: 2946
1602.78/1602.92	c current bound: 2946
1604.24/1604.38	c current bound: 2946
1605.74/1605.88	c current bound: 2946
1607.20/1607.35	c current bound: 2946
1608.67/1608.81	c current bound: 2946
1610.14/1610.27	c current bound: 2946
1611.60/1611.73	c current bound: 2946
1613.33/1613.20	c current bound: 2946
1614.53/1614.66	c current bound: 2946
1615.98/1616.12	c current bound: 2946
1617.44/1617.58	c current bound: 2946
1618.91/1619.04	c current bound: 2946
1620.37/1620.50	c current bound: 2946
1621.81/1621.96	c current bound: 2946
1623.28/1623.42	c current bound: 2946
1624.75/1624.89	c current bound: 2946
1626.22/1626.35	c current bound: 2946
1627.69/1627.82	c current bound: 2946
1629.15/1629.29	c current bound: 2946
1630.61/1630.75	c current bound: 2946
1632.08/1632.21	c current bound: 2946
1633.55/1633.69	c current bound: 2946
1635.01/1635.15	c current bound: 2946
1636.48/1636.62	c current bound: 2946
1637.94/1638.08	c current bound: 2946
1639.40/1639.54	c current bound: 2946
1640.86/1641.00	c current bound: 2946
1642.39/1642.53	c current bound: 2946
1643.85/1643.99	c current bound: 2946
1645.32/1645.46	c current bound: 2946
1646.79/1647.03	c current bound: 2946
1648.25/1648.49	c current bound: 2946
1649.93/1649.96	c current bound: 2946
1651.19/1651.42	c current bound: 2946
1652.66/1652.89	c current bound: 2946
1654.32/1654.35	c current bound: 2946
1655.58/1655.81	c current bound: 2946
1657.04/1657.28	c current bound: 2946
1658.73/1658.74	c current bound: 2946
1659.97/1660.20	c current bound: 2946
1661.44/1661.67	c current bound: 2946
1663.12/1663.15	c current bound: 2946
1664.37/1664.61	c current bound: 2946
1665.83/1666.07	c current bound: 2946
1667.52/1667.54	c current bound: 2946
1668.75/1668.99	c current bound: 2946
1670.21/1670.45	c current bound: 2946
1671.91/1671.92	c current bound: 2946
1673.13/1673.38	c current bound: 2946
1674.60/1674.84	c current bound: 2946
1676.31/1676.30	c current bound: 2946
1677.51/1677.76	c current bound: 2946
1678.97/1679.22	c current bound: 2946
1680.44/1680.68	c current bound: 2946
1681.90/1682.14	c current bound: 2946
1683.35/1683.60	c current bound: 2946
1684.82/1685.06	c current bound: 2946
1686.27/1686.52	c current bound: 2946
1687.75/1687.98	c current bound: 2946
1689.21/1689.45	c current bound: 2946
1690.68/1690.92	c current bound: 2946
1692.14/1692.38	c current bound: 2946
1693.60/1693.84	c current bound: 2946
1695.07/1695.31	c current bound: 2946
1696.53/1696.77	c current bound: 2946
1698.00/1698.23	c current bound: 2946
1699.73/1699.70	c current bound: 2946
1700.93/1701.16	c current bound: 2946
1702.40/1702.63	c current bound: 2946
1703.86/1704.09	c current bound: 2946
1705.32/1705.55	c current bound: 2946
1706.78/1707.02	c current bound: 2946
1708.24/1708.47	c current bound: 2946
1709.70/1709.94	c current bound: 2946
1711.43/1711.40	c current bound: 2946
1712.80/1712.87	c current bound: 2946
1714.09/1714.34	c current bound: 2946
1715.55/1715.80	c current bound: 2946
1717.20/1717.26	c current bound: 2946
1718.47/1718.73	c current bound: 2946
1719.93/1720.19	c current bound: 2946
1721.62/1721.66	c current bound: 2946
1722.88/1723.13	c current bound: 2946
1724.36/1724.61	c current bound: 2946
1725.84/1726.08	c current bound: 2946
1727.30/1727.65	c current bound: 2946
1729.00/1729.11	c current bound: 2946
1730.23/1730.57	c current bound: 2946
1731.69/1732.03	c current bound: 2946
1733.44/1733.50	c current bound: 2946
1734.61/1734.97	c current bound: 2946
1736.09/1736.43	c current bound: 2946
1737.56/1737.90	c current bound: 2946
1739.03/1739.36	c current bound: 2946
1740.50/1740.82	c current bound: 2946
1741.96/1742.29	c current bound: 2946
1743.41/1743.75	c current bound: 2946
1744.88/1745.21	c current bound: 2946
1746.35/1746.67	c current bound: 2946
1747.82/1748.14	c current bound: 2946
1749.28/1749.60	c current bound: 2946
1750.74/1751.08	c current bound: 2946
1752.22/1752.54	c current bound: 2946
1753.68/1754.02	c current bound: 2946
1755.17/1755.49	c current bound: 2946
1756.62/1756.95	c current bound: 2946
1758.10/1758.41	c current bound: 2946
1759.54/1759.87	c current bound: 2946
1761.01/1761.33	c current bound: 2946
1762.49/1762.81	c current bound: 2946
1763.95/1764.27	c current bound: 2946
1765.42/1765.75	c current bound: 2946
1766.90/1767.22	c current bound: 2946
1768.36/1768.69	c current bound: 2946
1769.83/1770.15	c current bound: 2946
1771.30/1771.61	c current bound: 2946
1772.77/1773.07	c current bound: 2946
1774.23/1774.54	c current bound: 2946
1775.70/1776.00	c current bound: 2946
1777.15/1777.47	c current bound: 2946
1778.64/1778.94	c current bound: 2946
1780.37/1780.40	c current bound: 2946
1781.56/1781.86	c current bound: 2946
1783.02/1783.32	c current bound: 2946
1784.48/1784.78	c current bound: 2946
1785.95/1786.25	c current bound: 2946
1787.41/1787.71	c current bound: 2946
1788.88/1789.17	c current bound: 2946
1790.33/1790.64	c current bound: 2946
1791.80/1792.11	c current bound: 2946
1793.26/1793.58	c current bound: 2946
1794.76/1795.06	c current bound: 2946
1796.23/1796.52	c current bound: 2946
1797.69/1797.98	c current bound: 2946
1799.07/1799.11	./satsolver.sh: line 5: 22498 Terminated              ./glucose $1 > $2 2> /dev/null
1799.07/1799.11	c error: unexpected solver exit code
1799.07/1799.11	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-3753112-1339210092/watcher-3753112-1339210092 -o /tmp/evaluation-result-3753112-1339210092/solver-3753112-1339210092 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753112-1339210092.wbo 554458536 HOME HOME 

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

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


[startup+0 s]
/proc/loadavg: 2.12 2.04 2.01 3/179 13523
/proc/meminfo: memFree=31339448/32873844 swapFree=6904/6904
[pid=13523] ppid=13521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13523/stat : 13523 (npSolver-wbo-It) S 13521 13523 9784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387133672 9367552 274 33554432000 4194304 5064252 140734848454016 140734848452928 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13523/statm: 2287 274 233 213 0 72 0

[startup+0.059086 s]
/proc/loadavg: 2.12 2.04 2.01 3/179 13523
/proc/meminfo: memFree=31339448/32873844 swapFree=6904/6904
[pid=13523] ppid=13521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13523/stat : 13523 (npSolver-wbo-It) S 13521 13523 9784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387133672 9367552 274 33554432000 4194304 5064252 140734848454016 140734848452928 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13523/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100228 s]
/proc/loadavg: 2.12 2.04 2.01 3/179 13523
/proc/meminfo: memFree=31339448/32873844 swapFree=6904/6904
[pid=13523] ppid=13521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13523/stat : 13523 (npSolver-wbo-It) S 13521 13523 9784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387133672 9367552 274 33554432000 4194304 5064252 140734848454016 140734848452928 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13523/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300269 s]
/proc/loadavg: 2.12 2.04 2.01 3/179 13523
/proc/meminfo: memFree=31339448/32873844 swapFree=6904/6904
[pid=13523] ppid=13521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13523/stat : 13523 (npSolver-wbo-It) S 13521 13523 9784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387133672 9367552 274 33554432000 4194304 5064252 140734848454016 140734848452928 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13523/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700239 s]
/proc/loadavg: 2.12 2.04 2.01 3/179 13523
/proc/meminfo: memFree=31339448/32873844 swapFree=6904/6904
[pid=13523] ppid=13521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13523/stat : 13523 (npSolver-wbo-It) S 13521 13523 9784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387133672 9367552 274 33554432000 4194304 5064252 140734848454016 140734848452928 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13523/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50015 s]
/proc/loadavg: 2.12 2.04 2.01 3/183 13537
/proc/meminfo: memFree=31271320/32873844 swapFree=6904/6904
[pid=13523] ppid=13521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13523/stat : 13523 (npSolver-wbo-It) S 13521 13523 9784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387133672 9367552 274 33554432000 4194304 5064252 140734848454016 140734848452928 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13523/statm: 2287 274 233 213 0 72 0
[pid=13524] ppid=13523 vsize=19864 CPUtime=1.22 cores=0,2,4,6
/proc/13524/stat : 13524 (npSolver-wbo) S 13523 13523 9784 0 -1 4202496 4171 16606 0 0 9 2 108 3 20 0 1 0 387133672 20340736 4028 33554432000 4194304 6006132 140734191709936 140734191700784 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13524/statm: 4966 4028 176 443 0 4519 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 29012

[startup+3.10029 s]
/proc/loadavg: 2.12 2.04 2.01 3/183 13544
/proc/meminfo: memFree=31269644/32873844 swapFree=6904/6904
[pid=13523] ppid=13521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13523/stat : 13523 (npSolver-wbo-It) S 13521 13523 9784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387133672 9367552 274 33554432000 4194304 5064252 140734848454016 140734848452928 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13523/statm: 2287 274 233 213 0 72 0
[pid=13524] ppid=13523 vsize=19864 CPUtime=3.06 cores=0,2,4,6
/proc/13524/stat : 13524 (npSolver-wbo) S 13523 13523 9784 0 -1 4202496 8610 35618 0 0 26 4 246 30 20 0 1 0 387133672 20340736 4028 33554432000 4194304 6006132 140734191709936 140734191701296 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13524/statm: 4966 4028 176 443 0 4519 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 29012

[startup+6.30035 s]
/proc/loadavg: 2.11 2.04 2.01 3/183 13558
/proc/meminfo: memFree=31268444/32873844 swapFree=6904/6904
[pid=13523] ppid=13521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13523/stat : 13523 (npSolver-wbo-It) S 13521 13523 9784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387133672 9367552 274 33554432000 4194304 5064252 140734848454016 140734848452928 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13523/statm: 2287 274 233 213 0 72 0
[pid=13524] ppid=13523 vsize=19864 CPUtime=5.98 cores=0,2,4,6
/proc/13524/stat : 13524 (npSolver-wbo) S 13523 13523 9784 0 -1 4202496 13056 65242 0 0 43 6 489 60 20 0 1 0 387133672 20340736 4028 33554432000 4194304 6006132 140734191709936 140734191701296 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13524/statm: 4966 4028 176 443 0 4519 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 29012

[startup+12.7004 s]
/proc/loadavg: 2.10 2.04 2.01 3/183 13593
/proc/meminfo: memFree=31270064/32873844 swapFree=6904/6904
[pid=13523] ppid=13521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13523/stat : 13523 (npSolver-wbo-It) S 13521 13523 9784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387133672 9367552 274 33554432000 4194304 5064252 140734848454016 140734848452928 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13523/statm: 2287 274 233 213 0 72 0
[pid=13524] ppid=13523 vsize=19864 CPUtime=11.85 cores=0,2,4,6
/proc/13524/stat : 13524 (npSolver-wbo) S 13523 13523 9784 0 -1 4202496 21948 125354 0 0 77 10 981 117 20 0 1 0 387133672 20340736 4028 33554432000 4194304 6006132 140734191709936 140734191701296 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13524/statm: 4966 4028 176 443 0 4519 0
[pid=13592] ppid=13524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13592/stat : 13592 (satsolver.sh) S 13524 13523 9784 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387134859 9367552 267 33554432000 4194304 5064252 140735702798864 140735702797776 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13592/statm: 2287 267 226 213 0 72 0
[pid=13593] ppid=13592 vsize=48088 CPUtime=0.82 cores=0,2,4,6
/proc/13593/stat : 13593 (glucose) R 13592 13523 9784 0 -1 4202496 10404 0 0 0 81 1 0 0 20 0 1 0 387134859 49242112 10541 33554432000 4194304 5208918 140733243683728 140733243682136 4211584 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13593/statm: 12022 10541 95 248 0 11771 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 86248

[startup+25.5004 s]
/proc/loadavg: 2.08 2.03 2.01 3/183 13663
/proc/meminfo: memFree=31276616/32873844 swapFree=6904/6904
[pid=13523] ppid=13521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13523/stat : 13523 (npSolver-wbo-It) S 13521 13523 9784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387133672 9367552 274 33554432000 4194304 5064252 140734848454016 140734848452928 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13523/statm: 2287 274 233 213 0 72 0
[pid=13524] ppid=13523 vsize=19864 CPUtime=25.12 cores=0,2,4,6
/proc/13524/stat : 13524 (npSolver-wbo) S 13523 13523 9784 0 -1 4202496 41955 259750 0 0 154 19 2093 246 20 0 1 0 387133672 20340736 4028 33554432000 4194304 6006132 140734191709936 140734191701296 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13524/statm: 4966 4028 176 443 0 4519 0
[pid=13662] ppid=13524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13662/stat : 13662 (satsolver.sh) S 13524 13523 9784 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387136184 9367552 267 33554432000 4194304 5064252 140734846375840 140734846374752 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13662/statm: 2287 267 226 213 0 72 0
[pid=13663] ppid=13662 vsize=48088 CPUtime=0.37 cores=0,2,4,6
/proc/13663/stat : 13663 (glucose) R 13662 13523 9784 0 -1 4202496 10046 0 0 0 35 2 0 0 20 0 1 0 387136184 49242112 10752 33554432000 4194304 5208918 140735311884208 140734846374776 4211652 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13663/statm: 12022 10752 95 248 0 11771 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 86248

[startup+51.1004 s]
/proc/loadavg: 2.11 2.05 2.01 3/183 13789
/proc/meminfo: memFree=31274896/32873844 swapFree=6904/6904
[pid=13523] ppid=13521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13523/stat : 13523 (npSolver-wbo-It) S 13521 13523 9784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387133672 9367552 274 33554432000 4194304 5064252 140734848454016 140734848452928 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13523/statm: 2287 274 233 213 0 72 0
[pid=13524] ppid=13523 vsize=19864 CPUtime=50.09 cores=0,2,4,6
/proc/13524/stat : 13524 (npSolver-wbo) S 13523 13523 9784 0 -1 4202496 79746 511346 0 0 299 36 4184 490 20 0 1 0 387133672 20340736 4028 33554432000 4194304 6006132 140734191709936 140734191701296 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13524/statm: 4966 4028 176 443 0 4519 0
[pid=13788] ppid=13524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13788/stat : 13788 (satsolver.sh) S 13524 13523 9784 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387138682 9367552 267 33554432000 4194304 5064252 140734494210224 140734494209136 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13788/statm: 2287 267 226 213 0 72 0
[pid=13789] ppid=13788 vsize=48084 CPUtime=0.99 cores=0,2,4,6
/proc/13789/stat : 13789 (glucose) R 13788 13523 9784 0 -1 4202496 9847 0 0 0 98 1 0 0 20 0 1 0 387138682 49238016 10550 33554432000 4194304 5208918 140736570141760 140736570140168 4205139 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13789/statm: 12021 10550 95 248 0 11770 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 86244

[startup+102.307 s]
/proc/loadavg: 2.05 2.04 2.00 3/183 14049
/proc/meminfo: memFree=31274940/32873844 swapFree=6904/6904
[pid=13523] ppid=13521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13523/stat : 13523 (npSolver-wbo-It) S 13521 13523 9784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387133672 9367552 274 33554432000 4194304 5064252 140734848454016 140734848452928 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13523/statm: 2287 274 233 213 0 72 0
[pid=13524] ppid=13523 vsize=19864 CPUtime=101.64 cores=0,2,4,6
/proc/13524/stat : 13524 (npSolver-wbo) S 13523 13523 9784 0 -1 4202496 157551 1036373 0 0 597 70 8522 975 20 0 1 0 387133672 20340736 4028 33554432000 4194304 6006132 140734191709936 140734191701296 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13524/statm: 4966 4028 176 443 0 4519 0
[pid=14048] ppid=13524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14048/stat : 14048 (satsolver.sh) S 13524 13523 9784 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387143832 9367552 267 33554432000 4194304 5064252 140735515617024 140735515615936 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14048/statm: 2287 267 226 213 0 72 0
[pid=14049] ppid=14048 vsize=48084 CPUtime=0.69 cores=0,2,4,6
/proc/14049/stat : 14049 (glucose) R 14048 13523 9784 0 -1 4202496 10358 0 0 0 67 2 0 0 20 0 1 0 387143833 49238016 10533 33554432000 4194304 5208918 140737137076880 140737137075288 4211732 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14049/statm: 12021 10533 95 248 0 11770 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 86244

[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/184 14349
/proc/meminfo: memFree=31302540/32873844 swapFree=6904/6904
[pid=13523] ppid=13521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13523/stat : 13523 (npSolver-wbo-It) S 13521 13523 9784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387133672 9367552 274 33554432000 4194304 5064252 140734848454016 140734848452928 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13523/statm: 2287 274 233 213 0 72 0
[pid=13524] ppid=13523 vsize=19864 CPUtime=161.91 cores=0,2,4,6
/proc/13524/stat : 13524 (npSolver-wbo) S 13523 13523 9784 0 -1 4202496 248694 1649477 0 0 948 111 13571 1561 20 0 1 0 387133672 20340736 4028 33554432000 4194304 6006132 140734191709936 140734191701296 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13524/statm: 4966 4028 176 443 0 4519 0
Current children cumulated CPU time (s) 161.91
Current children cumulated vsize (KiB) 29012

[startup+222.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/182 14705
/proc/meminfo: memFree=31280232/32873844 swapFree=6904/6904
[pid=13523] ppid=13521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13523/stat : 13523 (npSolver-wbo-It) S 13521 13523 9784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387133672 9367552 274 33554432000 4194304 5064252 140734848454016 140734848452928 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13523/statm: 2287 274 233 213 0 72 0
[pid=13524] ppid=13523 vsize=19864 CPUtime=222.21 cores=0,2,4,6
/proc/13524/stat : 13524 (npSolver-wbo) S 13523 13523 9784 0 -1 4202496 339837 2262154 0 0 1298 152 18617 2154 20 0 1 0 387133672 20340736 4028 33554432000 4194304 6006132 140734191709936 140734191701296 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13524/statm: 4966 4028 176 443 0 4519 0
[pid=14705] ppid=13524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14705/stat : 14705 (satsolver.sh) S 13524 13523 9784 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387155882 9367552 267 33554432000 4194304 5064252 140734931842704 140734931841616 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14705/statm: 2287 267 226 213 0 72 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 38160

[startup+282.3 s]

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

/proc/13524/statm: 4966 4028 176 443 0 4519 0
Current children cumulated CPU time (s) 1302.37
Current children cumulated vsize (KiB) 29012

[startup+1362.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/184 20340
/proc/meminfo: memFree=31213364/32873844 swapFree=6904/6904
[pid=13523] ppid=13521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13523/stat : 13523 (npSolver-wbo-It) S 13521 13523 9784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387133672 9367552 274 33554432000 4194304 5064252 140734848454016 140734848452928 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13523/statm: 2287 274 233 213 0 72 0
[pid=13524] ppid=13523 vsize=19864 CPUtime=1362.26 cores=0,2,4,6
/proc/13524/stat : 13524 (npSolver-wbo) S 13523 13523 9784 0 -1 4202496 807986 13845310 0 0 7665 793 114499 13269 20 0 1 0 387133672 20340736 4028 33554432000 4194304 6006132 140734191709936 140734191700784 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13524/statm: 4966 4028 176 443 0 4519 0
Current children cumulated CPU time (s) 1362.26
Current children cumulated vsize (KiB) 29012

[startup+1422.31 s]
/proc/loadavg: 1.99 1.97 1.99 3/183 20641
/proc/meminfo: memFree=31229416/32873844 swapFree=6904/6904
[pid=13523] ppid=13521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13523/stat : 13523 (npSolver-wbo-It) S 13521 13523 9784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387133672 9367552 274 33554432000 4194304 5064252 140734848454016 140734848452928 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13523/statm: 2287 274 233 213 0 72 0
[pid=13524] ppid=13523 vsize=19864 CPUtime=1421.61 cores=0,2,4,6
/proc/13524/stat : 13524 (npSolver-wbo) S 13523 13523 9784 0 -1 4202496 815318 14446060 0 0 7987 825 119484 13865 20 0 1 0 387133672 20340736 4028 33554432000 4194304 6006132 140734191709936 140734191701296 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13524/statm: 4966 4028 176 443 0 4519 0
[pid=20640] ppid=13524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20640/stat : 20640 (satsolver.sh) S 13524 13523 9784 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387275823 9367552 267 33554432000 4194304 5064252 140735013263552 140735013262464 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20640/statm: 2287 267 226 213 0 72 0
[pid=20641] ppid=20640 vsize=48084 CPUtime=0.78 cores=0,2,4,6
/proc/20641/stat : 20641 (glucose) R 20640 13523 9784 0 -1 4202496 10401 0 0 0 77 1 0 0 20 0 1 0 387275823 49238016 10538 33554432000 4194304 5208918 140735584106624 140735584105032 4211599 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20641/statm: 12021 10538 95 248 0 11770 0
Current children cumulated CPU time (s) 1422.39
Current children cumulated vsize (KiB) 86244

[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/184 20931
/proc/meminfo: memFree=31250480/32873844 swapFree=6904/6904
[pid=13523] ppid=13521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13523/stat : 13523 (npSolver-wbo-It) S 13521 13523 9784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387133672 9367552 274 33554432000 4194304 5064252 140734848454016 140734848452928 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13523/statm: 2287 274 233 213 0 72 0
[pid=13524] ppid=13523 vsize=19864 CPUtime=1482.05 cores=0,2,4,6
/proc/13524/stat : 13524 (npSolver-wbo) S 13523 13523 9784 0 -1 4202496 822657 15061389 0 0 8309 857 124590 14449 20 0 1 0 387133672 20340736 4028 33554432000 4194304 6006132 140734191709936 140734191701296 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13524/statm: 4966 4028 176 443 0 4519 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 29012

[startup+1542.3 s]
/proc/loadavg: 2.07 1.99 1.99 3/183 21232
/proc/meminfo: memFree=31265848/32873844 swapFree=6904/6904
[pid=13523] ppid=13521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13523/stat : 13523 (npSolver-wbo-It) S 13521 13523 9784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387133672 9367552 274 33554432000 4194304 5064252 140734848454016 140734848452928 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13523/statm: 2287 274 233 213 0 72 0
[pid=13524] ppid=13523 vsize=19864 CPUtime=1542.16 cores=0,2,4,6
/proc/13524/stat : 13524 (npSolver-wbo) S 13523 13523 9784 0 -1 4202496 829824 15668269 0 0 8624 888 129682 15022 20 0 1 0 387133672 20340736 4028 33554432000 4194304 6006132 140734191709936 140734191700784 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13524/statm: 4966 4028 176 443 0 4519 0
[pid=21230] ppid=13524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21230/stat : 21230 (cp2_post.sh) S 13524 13523 9784 0 -1 4202496 610 225 0 0 0 0 0 0 20 0 1 0 387287876 9367552 265 33554432000 4194304 5064252 140736476746048 140736476744336 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21230/statm: 2287 265 225 213 0 72 0
[pid=21232] ppid=21230 vsize=10132 CPUtime=0.24 cores=0,2,4,6
/proc/21232/stat : 21232 (coprocessor) R 21230 13523 9784 0 -1 4202496 2058 0 0 0 15 9 0 0 20 0 1 0 387287876 10375168 1710 33554432000 4194304 6586260 140733593139152 140736476744360 5732496 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/21232/statm: 2533 1710 148 584 0 1945 0
Current children cumulated CPU time (s) 1542.4
Current children cumulated vsize (KiB) 48292

[startup+1602.3 s]
/proc/loadavg: 1.92 1.96 1.98 3/181 21521
/proc/meminfo: memFree=31266056/32873844 swapFree=6904/6904
[pid=13523] ppid=13521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13523/stat : 13523 (npSolver-wbo-It) S 13521 13523 9784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387133672 9367552 274 33554432000 4194304 5064252 140734848454016 140734848452928 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13523/statm: 2287 274 233 213 0 72 0
[pid=13524] ppid=13523 vsize=19864 CPUtime=1601.68 cores=0,2,4,6
/proc/13524/stat : 13524 (npSolver-wbo) S 13523 13523 9784 0 -1 4202496 837156 16268987 0 0 8949 920 134674 15625 20 0 1 0 387133672 20340736 4028 33554432000 4194304 6006132 140734191709936 140734191701296 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13524/statm: 4966 4028 176 443 0 4519 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 29012

[startup+1662.3 s]
/proc/loadavg: 1.97 1.96 1.98 3/183 21818
/proc/meminfo: memFree=31211504/32873844 swapFree=6904/6904
[pid=13523] ppid=13521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13523/stat : 13523 (npSolver-wbo-It) S 13521 13523 9784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387133672 9367552 274 33554432000 4194304 5064252 140734848454016 140734848452928 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13523/statm: 2287 274 233 213 0 72 0
[pid=13524] ppid=13523 vsize=19864 CPUtime=1661.8 cores=0,2,4,6
/proc/13524/stat : 13524 (npSolver-wbo) S 13523 13523 9784 0 -1 4202496 844495 16883658 0 0 9300 954 139730 16196 20 0 1 0 387133672 20340736 4028 33554432000 4194304 6006132 140734191709936 140734191701296 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13524/statm: 4966 4028 176 443 0 4519 0
[pid=21817] ppid=13524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21817/stat : 21817 (satsolver.sh) S 13524 13523 9784 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387299849 9367552 266 33554432000 4194304 5064252 140737075571776 140737075570688 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21817/statm: 2287 266 226 213 0 72 0
[pid=21818] ppid=21817 vsize=48084 CPUtime=0.53 cores=0,2,4,6
/proc/21818/stat : 21818 (glucose) R 21817 13523 9784 0 -1 4202496 10128 0 0 0 51 2 0 0 20 0 1 0 387299849 49238016 10834 33554432000 4194304 5208918 140733772056736 140733772055144 4211871 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21818/statm: 12021 10834 95 248 0 11770 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 86244

[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/184 22115
/proc/meminfo: memFree=31267164/32873844 swapFree=6904/6904
[pid=13523] ppid=13521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13523/stat : 13523 (npSolver-wbo-It) S 13521 13523 9784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387133672 9367552 274 33554432000 4194304 5064252 140734848454016 140734848452928 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13523/statm: 2287 274 233 213 0 72 0
[pid=13524] ppid=13523 vsize=19864 CPUtime=1721.78 cores=0,2,4,6
/proc/13524/stat : 13524 (npSolver-wbo) S 13523 13523 9784 0 -1 4202496 851834 17498918 0 0 9650 988 144772 16768 20 0 1 0 387133672 20340736 4028 33554432000 4194304 6006132 140734191709936 140734191701296 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13524/statm: 4966 4028 176 443 0 4519 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 29012

[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/181 22411
/proc/meminfo: memFree=31263356/32873844 swapFree=6904/6904
[pid=13523] ppid=13521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13523/stat : 13523 (npSolver-wbo-It) S 13521 13523 9784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387133672 9367552 274 33554432000 4194304 5064252 140734848454016 140734848452928 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13523/statm: 2287 274 233 213 0 72 0
[pid=13524] ppid=13523 vsize=19864 CPUtime=1781.92 cores=0,2,4,6
/proc/13524/stat : 13524 (npSolver-wbo) S 13523 13523 9784 0 -1 4202496 859173 18111287 0 0 10002 1021 149809 17360 20 0 1 0 387133672 20340736 4028 33554432000 4194304 6006132 140734191709936 140734191701296 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13524/statm: 4966 4028 176 443 0 4519 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 29012



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1799.1 s]
/proc/loadavg: 1.99 1.97 1.98 3/184 22498
/proc/meminfo: memFree=31230940/32873844 swapFree=6904/6904
[pid=13523] ppid=13521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13523/stat : 13523 (npSolver-wbo-It) S 13521 13523 9784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387133672 9367552 274 33554432000 4194304 5064252 140734848454016 140734848452928 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13523/statm: 2287 274 233 213 0 72 0
[pid=13524] ppid=13523 vsize=19864 CPUtime=1798.05 cores=0,2,4,6
/proc/13524/stat : 13524 (npSolver-wbo) S 13523 13523 9784 0 -1 4202496 861142 18275535 0 0 10096 1030 151162 17517 20 0 1 0 387133672 20340736 4028 33554432000 4194304 6006132 140734191709936 140734191701296 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13524/statm: 4966 4028 176 443 0 4519 0
[pid=22497] ppid=13524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22497/stat : 22497 (satsolver.sh) S 13524 13523 9784 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387313480 9367552 267 33554432000 4194304 5064252 140734004480608 140734004479520 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22497/statm: 2287 267 226 213 0 72 0
[pid=22498] ppid=22497 vsize=48084 CPUtime=1.02 cores=0,2,4,6
/proc/22498/stat : 22498 (glucose) R 22497 13523 9784 0 -1 4202496 10362 0 0 0 101 1 0 0 20 0 1 0 387313480 49238016 10551 33554432000 4194304 5208918 140737465577072 140737465575480 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22498/statm: 12021 10551 95 248 0 11770 0
Current children cumulated CPU time (s) 1799.07
Current children cumulated vsize (KiB) 86244

Sending SIGTERM to process tree (bottom up)

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

[startup+1799.1 s]
/proc/loadavg: 1.99 1.97 1.98 3/184 22498
/proc/meminfo: memFree=31230940/32873844 swapFree=6904/6904
[pid=13523] ppid=13521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13523/stat : 13523 (npSolver-wbo-It) S 13521 13523 9784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387133672 9367552 274 33554432000 4194304 5064252 140734848454016 140734848452928 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13523/statm: 2287 274 233 213 0 72 0
[pid=13524] ppid=13523 vsize=19864 CPUtime=1798.05 cores=0,2,4,6
/proc/13524/stat : 13524 (npSolver-wbo) S 13523 13523 9784 0 -1 4202496 861142 18275535 0 0 10096 1030 151162 17517 20 0 1 0 387133672 20340736 4028 33554432000 4194304 6006132 140734191709936 140734191701296 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13524/statm: 4966 4028 176 443 0 4519 0
[pid=22497] ppid=13524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22497/stat : 22497 (satsolver.sh) S 13524 13523 9784 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387313480 9367552 267 33554432000 4194304 5064252 140734004480608 140734004479520 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22497/statm: 2287 267 226 213 0 72 0
[pid=22498] ppid=22497 vsize=48084 CPUtime=1.02 cores=0,2,4,6
/proc/22498/stat : 22498 (glucose) R 22497 13523 9784 0 -1 4202496 10362 0 0 0 101 1 0 0 20 0 1 0 387313480 49238016 10551 33554432000 4194304 5208918 140737465577072 140737465575480 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22498/statm: 12021 10551 95 248 0 11770 0
Current children cumulated CPU time (s) 1799.07
Current children cumulated vsize (KiB) 86244

Child status: 0

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.980133
#  lost CPU user time (s): 0.970123
#  lost CPU system time (s): 0.00999451

Real time (s): 1799.11
CPU time (s): 1800.09
CPU user time (s): 1614.57
CPU system time (s): 185.514
CPU usage (%): 100.054
Max. virtual memory (cumulated for all children) (KiB): 86972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1613.6
system time used= 185.504
maximum resident set size= 43728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19148029
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16797048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 353525
involuntary context switches= 16567

runsolver used 6.40003 second user time and 14.7758 second system time

The end

Launcher Data 

Begin job on node140 at 2012-06-09 04:48:12
IDJOB=3753112
IDBENCH=79406
IDSOLVER=2336
FILE ID=node140/3753112-1339210092
RUNJOBID= node140-1339204810-9800
PBS_JOBID= 14643869
Free space on /tmp= 70624 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh11_wcsp.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3753112-1339210092/watcher-3753112-1339210092 -o /tmp/evaluation-result-3753112-1339210092/solver-3753112-1339210092 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753112-1339210092.wbo 554458536 HOME HOME

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

MD5SUM BENCH= 540e5098c207f1245411172896d943a2
RANDOM SEED=554458536

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31339340 kB
Buffers:          329692 kB
Cached:           292304 kB
SwapCached:         2156 kB
Active:           596420 kB
Inactive:          67280 kB
Active(anon):      36352 kB
Inactive(anon):     4260 kB
Active(file):     560068 kB
Inactive(file):    63020 kB
Unevictable:        6904 kB
Mlocked:            6904 kB
SwapTotal:      67108856 kB
SwapFree:       67100256 kB
Dirty:              9928 kB
Writeback:             0 kB
AnonPages:         43360 kB
Mapped:             9900 kB
Shmem:                 0 kB
Slab:             732196 kB
SReclaimable:     173344 kB
SUnreclaim:       558852 kB
KernelStack:        1464 kB
PageTables:         4136 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     161956 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 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= 70608 MiB
End job on node140 at 2012-06-09 05:18:12