Trace number 334483

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, and are wall clock time (not CPU 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
ornithorynque 0.1 alpha? (TO) 1200.21 601.621

General information on the benchmark

Namecrafted/Hard/contest04/others/
Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf
MD5SUM5a3ae9766db0de00fa37fabacaa34827
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables4703
Number of clauses45358
Sum of the clauses size203370
Maximum clause length5
Minimum clause length1
Number of clauses of size 1146
Number of clauses of size 24604
Number of clauses of size 34512
Number of clauses of size 40
Number of clauses of size 536096
Number of clauses of size over 50

Solver Data (download as text)

0.00/0.00	c This is Ornithorynque version 0.1 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using unsigned short
0.00/0.00	c parsing...
0.09/0.16	c ...done
0.09/0.16	c nbVar=4703 nbClause=45358
0.09/0.17	c nbVar=4703 nbClause=45358
0.19/0.20	c complete search running
0.19/0.20	c local search running
0.19/0.21	c flip 0 nbSat=42291 maxSat=0
2.78/1.58	c flip 10000 nbSat=43559 maxSat=43699
5.58/2.91	c flip 20000 nbSat=43777 maxSat=43867
7.97/4.19	c flip 30000 nbSat=43688 maxSat=43943
10.77/5.52	c flip 40000 nbSat=43779 maxSat=43985
13.35/6.84	c flip 50000 nbSat=43967 maxSat=44054
15.95/8.13	c flip 60000 nbSat=43861 maxSat=44097
18.54/9.45	c flip 70000 nbSat=43903 maxSat=44097
21.14/10.75	c flip 80000 nbSat=43957 maxSat=44097
23.74/12.08	c flip 90000 nbSat=43831 maxSat=44097
24.93/12.61	c flip 0 nbSat=42551 maxSat=44097
27.72/14.00	c flip 10000 nbSat=43691 maxSat=44097
30.32/15.36	c flip 20000 nbSat=43741 maxSat=44097
32.91/16.69	c flip 30000 nbSat=43842 maxSat=44097
35.70/18.04	c flip 40000 nbSat=43829 maxSat=44117
38.30/19.36	c flip 50000 nbSat=43982 maxSat=44150
40.89/20.66	c flip 60000 nbSat=43926 maxSat=44174
43.49/21.99	c flip 70000 nbSat=43995 maxSat=44204
46.27/23.34	c flip 80000 nbSat=43999 maxSat=44276
48.87/24.65	c flip 90000 nbSat=44023 maxSat=44276
49.87/25.19	c flip 0 nbSat=42665 maxSat=44276
52.66/26.57	c flip 10000 nbSat=43698 maxSat=44276
55.45/27.92	c flip 20000 nbSat=43933 maxSat=44276
58.05/29.28	c flip 30000 nbSat=43891 maxSat=44276
60.64/30.59	c flip 40000 nbSat=43981 maxSat=44276
63.45/31.93	c flip 50000 nbSat=44085 maxSat=44276
66.04/33.25	c flip 60000 nbSat=44074 maxSat=44276
68.63/34.57	c flip 70000 nbSat=43966 maxSat=44276
71.42/35.90	c flip 80000 nbSat=44042 maxSat=44276
74.01/37.25	c flip 90000 nbSat=43873 maxSat=44276
75.21/37.82	c flip 0 nbSat=42592 maxSat=44276
78.00/39.20	c flip 10000 nbSat=43682 maxSat=44276
80.60/40.56	c flip 20000 nbSat=43674 maxSat=44276
83.20/41.89	c flip 30000 nbSat=43919 maxSat=44276
85.98/43.21	c flip 40000 nbSat=44004 maxSat=44276
88.58/44.52	c flip 50000 nbSat=43825 maxSat=44276
91.18/45.83	c flip 60000 nbSat=43953 maxSat=44276
93.77/47.17	c flip 70000 nbSat=44078 maxSat=44276
96.37/48.45	c flip 80000 nbSat=44068 maxSat=44276
98.95/49.77	c flip 90000 nbSat=43919 maxSat=44276
100.15/50.34	c flip 0 nbSat=42433 maxSat=44276
102.95/51.75	c flip 10000 nbSat=43735 maxSat=44276
105.74/53.13	c flip 20000 nbSat=43870 maxSat=44276
108.34/54.46	c flip 30000 nbSat=43908 maxSat=44276
110.93/55.80	c flip 40000 nbSat=43871 maxSat=44276
113.73/57.13	c flip 50000 nbSat=43906 maxSat=44276
116.32/58.46	c flip 60000 nbSat=44103 maxSat=44276
118.91/59.78	c flip 70000 nbSat=43959 maxSat=44276
121.51/61.06	c flip 80000 nbSat=44012 maxSat=44276
124.11/62.37	c flip 90000 nbSat=43822 maxSat=44276
125.30/62.91	c flip 0 nbSat=42766 maxSat=44276
128.09/64.30	c flip 10000 nbSat=43591 maxSat=44276
130.69/65.64	c flip 20000 nbSat=43734 maxSat=44276
133.28/66.97	c flip 30000 nbSat=43900 maxSat=44276
136.06/68.34	c flip 40000 nbSat=44096 maxSat=44276
138.66/69.67	c flip 50000 nbSat=44091 maxSat=44276
141.46/71.01	c flip 60000 nbSat=44238 maxSat=44366
144.05/72.36	c flip 70000 nbSat=43980 maxSat=44366
146.65/73.68	c flip 80000 nbSat=43932 maxSat=44366
149.43/75.01	c flip 90000 nbSat=44154 maxSat=44366
150.43/75.57	c flip 0 nbSat=42471 maxSat=44366
153.23/76.98	c flip 10000 nbSat=43716 maxSat=44366
156.02/78.32	c flip 20000 nbSat=43731 maxSat=44366
158.62/79.65	c flip 30000 nbSat=43965 maxSat=44366
161.21/81.00	c flip 40000 nbSat=43843 maxSat=44366
164.00/82.32	c flip 50000 nbSat=44069 maxSat=44366
166.60/83.65	c flip 60000 nbSat=43975 maxSat=44366
169.18/84.96	c flip 70000 nbSat=44031 maxSat=44366
171.78/86.27	c flip 80000 nbSat=44024 maxSat=44366
174.38/87.57	c flip 90000 nbSat=44111 maxSat=44366
175.57/88.12	c flip 0 nbSat=42496 maxSat=44366
178.36/89.51	c flip 10000 nbSat=43611 maxSat=44366
180.96/90.88	c flip 20000 nbSat=43901 maxSat=44366
183.75/92.22	c flip 30000 nbSat=43834 maxSat=44366
186.35/93.56	c flip 40000 nbSat=43990 maxSat=44366
189.14/94.90	c flip 50000 nbSat=44074 maxSat=44366
191.74/96.22	c flip 60000 nbSat=43989 maxSat=44366
194.33/97.54	c flip 70000 nbSat=44150 maxSat=44366
196.92/98.89	c flip 80000 nbSat=44016 maxSat=44366
199.71/100.22	c flip 90000 nbSat=44029 maxSat=44366
200.71/100.76	c flip 0 nbSat=42538 maxSat=44366
203.51/102.12	c flip 10000 nbSat=43727 maxSat=44366
206.11/103.47	c flip 20000 nbSat=43770 maxSat=44366
208.90/104.82	c flip 30000 nbSat=43669 maxSat=44366
211.49/106.15	c flip 40000 nbSat=43945 maxSat=44366
214.08/107.50	c flip 50000 nbSat=43900 maxSat=44366
216.89/108.82	c flip 60000 nbSat=43952 maxSat=44366
219.48/110.19	c flip 70000 nbSat=43947 maxSat=44366
222.28/111.56	c flip 80000 nbSat=43833 maxSat=44366
225.06/112.93	c flip 90000 nbSat=43996 maxSat=44366
226.06/113.49	c flip 0 nbSat=42542 maxSat=44366
228.85/114.89	c flip 10000 nbSat=43624 maxSat=44366
231.65/116.24	c flip 20000 nbSat=43919 maxSat=44366
234.24/117.58	c flip 30000 nbSat=44007 maxSat=44366
237.03/118.93	c flip 40000 nbSat=43766 maxSat=44366
239.83/120.31	c flip 50000 nbSat=44086 maxSat=44366
242.43/121.65	c flip 60000 nbSat=43957 maxSat=44366
245.02/122.97	c flip 70000 nbSat=44065 maxSat=44366
247.82/124.31	c flip 80000 nbSat=44044 maxSat=44366
250.40/125.66	c flip 90000 nbSat=43985 maxSat=44366
251.60/126.21	c flip 0 nbSat=42594 maxSat=44366
254.40/127.63	c flip 10000 nbSat=43707 maxSat=44366
257.18/129.04	c flip 20000 nbSat=43849 maxSat=44366
259.98/130.41	c flip 30000 nbSat=44025 maxSat=44366
262.57/131.79	c flip 40000 nbSat=44150 maxSat=44366
265.37/133.15	c flip 50000 nbSat=43957 maxSat=44366
268.15/134.51	c flip 60000 nbSat=43949 maxSat=44366
270.75/135.87	c flip 70000 nbSat=44061 maxSat=44366
273.55/137.24	c flip 80000 nbSat=44093 maxSat=44366
276.15/138.60	c flip 90000 nbSat=44052 maxSat=44366
277.34/139.16	c flip 0 nbSat=42589 maxSat=44366
280.13/140.57	c flip 10000 nbSat=43657 maxSat=44366
282.93/141.96	c flip 20000 nbSat=44004 maxSat=44366
285.72/143.32	c flip 30000 nbSat=44068 maxSat=44366
288.31/144.64	c flip 40000 nbSat=44018 maxSat=44366
291.11/146.01	c flip 50000 nbSat=43932 maxSat=44366
293.71/147.39	c flip 60000 nbSat=44092 maxSat=44366
296.50/148.74	c flip 70000 nbSat=44025 maxSat=44366
299.09/150.09	c flip 80000 nbSat=44145 maxSat=44366
301.88/151.42	c flip 90000 nbSat=44141 maxSat=44366
302.88/151.99	c flip 0 nbSat=42578 maxSat=44366
305.67/153.39	c flip 10000 nbSat=43719 maxSat=44366
308.47/154.79	c flip 20000 nbSat=43924 maxSat=44366
311.47/156.22	c flip 30000 nbSat=44021 maxSat=44366
314.06/157.57	c flip 40000 nbSat=43971 maxSat=44366
316.64/158.89	c flip 50000 nbSat=44019 maxSat=44366
319.44/160.21	c flip 60000 nbSat=44022 maxSat=44366
322.03/161.55	c flip 70000 nbSat=43927 maxSat=44366
324.63/162.90	c flip 80000 nbSat=43961 maxSat=44366
327.42/164.23	c flip 90000 nbSat=44036 maxSat=44366
328.62/164.80	c flip 0 nbSat=42416 maxSat=44366
331.41/166.21	c flip 10000 nbSat=43761 maxSat=44366
334.00/167.58	c flip 20000 nbSat=43997 maxSat=44366
336.80/168.95	c flip 30000 nbSat=44080 maxSat=44366
339.59/170.34	c flip 40000 nbSat=44069 maxSat=44366
342.39/171.71	c flip 50000 nbSat=44112 maxSat=44366
344.98/173.06	c flip 60000 nbSat=44243 maxSat=44366
347.78/174.43	c flip 70000 nbSat=44067 maxSat=44388
350.56/175.83	c flip 80000 nbSat=44107 maxSat=44388
353.16/177.18	c flip 90000 nbSat=44085 maxSat=44388
354.35/177.75	c flip 0 nbSat=42910 maxSat=44388
357.15/179.16	c flip 10000 nbSat=43857 maxSat=44388
359.94/180.51	c flip 20000 nbSat=43988 maxSat=44388
362.54/181.86	c flip 30000 nbSat=44002 maxSat=44388
365.13/183.20	c flip 40000 nbSat=43942 maxSat=44388
367.93/184.54	c flip 50000 nbSat=43981 maxSat=44388
370.52/185.87	c flip 60000 nbSat=44023 maxSat=44388
373.31/187.23	c flip 70000 nbSat=44018 maxSat=44388
375.90/188.59	c flip 80000 nbSat=44062 maxSat=44388
378.70/189.96	c flip 90000 nbSat=43921 maxSat=44388
379.90/190.53	c flip 0 nbSat=42747 maxSat=44388
382.69/191.98	c flip 10000 nbSat=43710 maxSat=44388
385.48/193.37	c flip 20000 nbSat=43796 maxSat=44388
388.28/194.73	c flip 30000 nbSat=44119 maxSat=44388
391.07/196.10	c flip 40000 nbSat=44012 maxSat=44388
393.67/197.41	c flip 50000 nbSat=44082 maxSat=44388
396.26/198.78	c flip 60000 nbSat=44171 maxSat=44388
399.06/200.12	c flip 70000 nbSat=44003 maxSat=44388
401.65/201.49	c flip 80000 nbSat=44214 maxSat=44388
404.43/202.85	c flip 90000 nbSat=43976 maxSat=44388
405.64/203.42	c flip 0 nbSat=42718 maxSat=44388
408.42/204.86	c flip 10000 nbSat=43673 maxSat=44388
411.22/206.24	c flip 20000 nbSat=43966 maxSat=44388
413.82/207.56	c flip 30000 nbSat=44062 maxSat=44388
416.62/208.94	c flip 40000 nbSat=44073 maxSat=44388
419.40/210.32	c flip 50000 nbSat=44097 maxSat=44388
421.99/211.65	c flip 60000 nbSat=44115 maxSat=44388
424.79/213.01	c flip 70000 nbSat=44051 maxSat=44388
427.38/214.36	c flip 80000 nbSat=44266 maxSat=44388
430.18/215.71	c flip 90000 nbSat=44056 maxSat=44388
431.18/216.27	c flip 0 nbSat=42564 maxSat=44388
434.17/217.71	c flip 10000 nbSat=43728 maxSat=44388
436.76/219.08	c flip 20000 nbSat=43771 maxSat=44388
439.55/220.41	c flip 30000 nbSat=43892 maxSat=44388
442.14/221.78	c flip 40000 nbSat=44010 maxSat=44388
444.94/223.13	c flip 50000 nbSat=44144 maxSat=44388
447.73/224.50	c flip 60000 nbSat=44172 maxSat=44388
450.33/225.86	c flip 70000 nbSat=43868 maxSat=44388
453.12/227.21	c flip 80000 nbSat=43904 maxSat=44388
455.71/228.58	c flip 90000 nbSat=44015 maxSat=44388
456.91/229.15	c flip 0 nbSat=42679 maxSat=44388
459.70/230.59	c flip 10000 nbSat=43758 maxSat=44388
462.70/232.03	c flip 20000 nbSat=43921 maxSat=44388
465.49/233.42	c flip 30000 nbSat=43965 maxSat=44388
468.09/234.77	c flip 40000 nbSat=44018 maxSat=44388
470.89/236.16	c flip 50000 nbSat=44070 maxSat=44388
473.69/237.52	c flip 60000 nbSat=44078 maxSat=44388
476.28/238.86	c flip 70000 nbSat=44082 maxSat=44388
478.87/240.18	c flip 80000 nbSat=44005 maxSat=44388
481.67/241.52	c flip 90000 nbSat=44035 maxSat=44388
482.67/242.09	c flip 0 nbSat=42665 maxSat=44388
485.66/243.51	c flip 10000 nbSat=43664 maxSat=44388
488.25/244.89	c flip 20000 nbSat=43769 maxSat=44388
491.05/246.25	c flip 30000 nbSat=44022 maxSat=44388
493.83/247.61	c flip 40000 nbSat=44054 maxSat=44388
496.42/248.99	c flip 50000 nbSat=44094 maxSat=44388
499.22/250.33	c flip 60000 nbSat=44076 maxSat=44388
501.81/251.69	c flip 70000 nbSat=43926 maxSat=44388
504.61/253.05	c flip 80000 nbSat=44033 maxSat=44388
507.39/254.40	c flip 90000 nbSat=44016 maxSat=44388
508.39/254.96	c flip 0 nbSat=42803 maxSat=44388
511.19/256.35	c flip 10000 nbSat=43698 maxSat=44388
513.98/257.72	c flip 20000 nbSat=44024 maxSat=44388
516.58/259.09	c flip 30000 nbSat=43851 maxSat=44388
519.38/260.44	c flip 40000 nbSat=43895 maxSat=44388
521.97/261.80	c flip 50000 nbSat=44074 maxSat=44388
524.76/263.13	c flip 60000 nbSat=44153 maxSat=44388
527.35/264.47	c flip 70000 nbSat=44128 maxSat=44388
530.15/265.83	c flip 80000 nbSat=44195 maxSat=44388
532.94/267.23	c flip 90000 nbSat=44009 maxSat=44388
533.93/267.79	c flip 0 nbSat=42661 maxSat=44388
536.92/269.21	c flip 10000 nbSat=43778 maxSat=44388
539.72/270.62	c flip 20000 nbSat=43995 maxSat=44388
542.31/271.98	c flip 30000 nbSat=44078 maxSat=44388
545.11/273.32	c flip 40000 nbSat=44053 maxSat=44388
547.70/274.68	c flip 50000 nbSat=44135 maxSat=44388
550.30/275.97	c flip 60000 nbSat=44163 maxSat=44388
553.09/277.32	c flip 70000 nbSat=44164 maxSat=44388
555.68/278.67	c flip 80000 nbSat=44052 maxSat=44388
558.47/280.02	c flip 90000 nbSat=43920 maxSat=44388
559.48/280.59	c flip 0 nbSat=42751 maxSat=44388
562.26/281.99	c flip 10000 nbSat=43712 maxSat=44388
565.06/283.38	c flip 20000 nbSat=43860 maxSat=44388
567.86/284.73	c flip 30000 nbSat=44034 maxSat=44388
570.46/286.10	c flip 40000 nbSat=44045 maxSat=44388
573.24/287.42	c flip 50000 nbSat=44084 maxSat=44388
575.84/288.78	c flip 60000 nbSat=44024 maxSat=44388
578.63/290.12	c flip 70000 nbSat=44000 maxSat=44388
581.23/291.49	c flip 80000 nbSat=44079 maxSat=44388
584.01/292.85	c flip 90000 nbSat=44157 maxSat=44402
585.21/293.41	c flip 0 nbSat=42731 maxSat=44404
588.00/294.82	c flip 10000 nbSat=43817 maxSat=44404
590.79/296.23	c flip 20000 nbSat=44035 maxSat=44404
593.59/297.60	c flip 30000 nbSat=43787 maxSat=44404
596.18/298.95	c flip 40000 nbSat=43899 maxSat=44404
598.98/300.31	c flip 50000 nbSat=43914 maxSat=44404
601.57/301.67	c flip 60000 nbSat=43955 maxSat=44404
604.37/303.01	c flip 70000 nbSat=43921 maxSat=44404
606.96/304.33	c flip 80000 nbSat=44160 maxSat=44404
609.55/305.69	c flip 90000 nbSat=43880 maxSat=44404
610.75/306.27	c flip 0 nbSat=42580 maxSat=44404
613.55/307.66	c flip 10000 nbSat=43831 maxSat=44404
616.35/309.03	c flip 20000 nbSat=43977 maxSat=44404
618.94/310.39	c flip 30000 nbSat=44224 maxSat=44404
621.74/311.76	c flip 40000 nbSat=44089 maxSat=44404
624.52/313.11	c flip 50000 nbSat=44008 maxSat=44404
627.11/314.49	c flip 60000 nbSat=44174 maxSat=44404
629.90/315.85	c flip 70000 nbSat=44001 maxSat=44404
632.70/317.21	c flip 80000 nbSat=44072 maxSat=44404
635.30/318.57	c flip 90000 nbSat=44007 maxSat=44404
636.49/319.11	c flip 0 nbSat=42551 maxSat=44404
639.28/320.52	c flip 10000 nbSat=43713 maxSat=44404
641.88/321.89	c flip 20000 nbSat=43925 maxSat=44404
644.68/323.25	c flip 30000 nbSat=43930 maxSat=44404
647.47/324.61	c flip 40000 nbSat=43923 maxSat=44404
650.06/325.97	c flip 50000 nbSat=43844 maxSat=44404
652.86/327.34	c flip 60000 nbSat=43985 maxSat=44404
655.65/328.71	c flip 70000 nbSat=43839 maxSat=44404
658.44/330.10	c flip 80000 nbSat=44055 maxSat=44404
661.24/331.51	c flip 90000 nbSat=44179 maxSat=44404
662.24/332.08	c flip 0 nbSat=42688 maxSat=44404
665.23/333.50	c flip 10000 nbSat=43854 maxSat=44404
668.02/334.90	c flip 20000 nbSat=43967 maxSat=44404
670.82/336.30	c flip 30000 nbSat=43894 maxSat=44404
673.42/337.67	c flip 40000 nbSat=44098 maxSat=44404
676.19/339.01	c flip 50000 nbSat=44169 maxSat=44404
678.79/340.35	c flip 60000 nbSat=44161 maxSat=44404
681.58/341.70	c flip 70000 nbSat=44098 maxSat=44404
684.18/343.02	c flip 80000 nbSat=43954 maxSat=44404
686.78/344.36	c flip 90000 nbSat=44129 maxSat=44404
687.97/344.93	c flip 0 nbSat=42768 maxSat=44404
690.76/346.33	c flip 10000 nbSat=43764 maxSat=44404
693.56/347.72	c flip 20000 nbSat=43909 maxSat=44404
696.35/349.12	c flip 30000 nbSat=43945 maxSat=44404
699.15/350.50	c flip 40000 nbSat=43948 maxSat=44404
701.74/351.87	c flip 50000 nbSat=43909 maxSat=44404
704.53/353.24	c flip 60000 nbSat=44153 maxSat=44404
707.13/354.57	c flip 70000 nbSat=44181 maxSat=44404
709.92/355.93	c flip 80000 nbSat=44130 maxSat=44404
712.52/357.29	c flip 90000 nbSat=44211 maxSat=44404
713.71/357.84	c flip 0 nbSat=42527 maxSat=44404
716.50/359.27	c flip 10000 nbSat=43694 maxSat=44404
719.29/360.65	c flip 20000 nbSat=44024 maxSat=44404
722.09/362.00	c flip 30000 nbSat=44092 maxSat=44404
724.68/363.36	c flip 40000 nbSat=44216 maxSat=44404
727.28/364.67	c flip 50000 nbSat=44085 maxSat=44404
730.07/366.01	c flip 60000 nbSat=44110 maxSat=44404
732.67/367.38	c flip 70000 nbSat=43967 maxSat=44404
735.46/368.76	c flip 80000 nbSat=44204 maxSat=44404
738.25/370.12	c flip 90000 nbSat=44076 maxSat=44404
739.26/370.69	c flip 0 nbSat=42474 maxSat=44404
742.04/372.08	c flip 10000 nbSat=43697 maxSat=44404
744.84/373.45	c flip 20000 nbSat=43974 maxSat=44404
747.63/374.85	c flip 30000 nbSat=43977 maxSat=44404
750.43/376.24	c flip 40000 nbSat=43972 maxSat=44404
753.22/377.61	c flip 50000 nbSat=43942 maxSat=44404
755.82/378.91	c flip 60000 nbSat=44085 maxSat=44404
758.41/380.24	c flip 70000 nbSat=44118 maxSat=44404
761.00/381.56	c flip 80000 nbSat=44198 maxSat=44404
763.78/382.94	c flip 90000 nbSat=43989 maxSat=44404
764.78/383.48	c flip 0 nbSat=42655 maxSat=44404
767.58/384.88	c flip 10000 nbSat=43876 maxSat=44404
770.37/386.22	c flip 20000 nbSat=43964 maxSat=44404
773.17/387.61	c flip 30000 nbSat=44094 maxSat=44404
775.76/388.97	c flip 40000 nbSat=44107 maxSat=44404
778.55/390.35	c flip 50000 nbSat=44026 maxSat=44404
781.35/391.70	c flip 60000 nbSat=44148 maxSat=44404
783.94/393.08	c flip 70000 nbSat=43949 maxSat=44404
786.74/394.42	c flip 80000 nbSat=44106 maxSat=44404
789.34/395.79	c flip 90000 nbSat=44015 maxSat=44404
790.53/396.36	c flip 0 nbSat=42552 maxSat=44404
793.32/397.78	c flip 10000 nbSat=43863 maxSat=44404
796.12/399.15	c flip 20000 nbSat=43791 maxSat=44404
798.91/400.50	c flip 30000 nbSat=44064 maxSat=44404
801.50/401.86	c flip 40000 nbSat=44058 maxSat=44404
804.30/403.23	c flip 50000 nbSat=44165 maxSat=44404
806.90/404.59	c flip 60000 nbSat=44030 maxSat=44404
809.69/405.92	c flip 70000 nbSat=44047 maxSat=44404
812.27/407.24	c flip 80000 nbSat=43994 maxSat=44404
815.07/408.60	c flip 90000 nbSat=44082 maxSat=44404
816.07/409.16	c flip 0 nbSat=42865 maxSat=44404
818.86/410.58	c flip 10000 nbSat=43689 maxSat=44404
821.65/411.95	c flip 20000 nbSat=43852 maxSat=44404
824.45/413.33	c flip 30000 nbSat=43955 maxSat=44404
827.25/414.74	c flip 40000 nbSat=44012 maxSat=44404
829.83/416.09	c flip 50000 nbSat=44082 maxSat=44404
832.63/417.43	c flip 60000 nbSat=44100 maxSat=44404
835.22/418.78	c flip 70000 nbSat=44105 maxSat=44404
838.02/420.14	c flip 80000 nbSat=43980 maxSat=44404
840.81/421.52	c flip 90000 nbSat=44103 maxSat=44404
841.81/422.08	c flip 0 nbSat=42543 maxSat=44404
844.61/423.50	c flip 10000 nbSat=43743 maxSat=44404
847.40/424.86	c flip 20000 nbSat=44031 maxSat=44404
850.19/426.22	c flip 30000 nbSat=44071 maxSat=44404
852.78/427.59	c flip 40000 nbSat=43955 maxSat=44404
855.57/428.98	c flip 50000 nbSat=44137 maxSat=44404
858.36/430.33	c flip 60000 nbSat=44044 maxSat=44404
860.96/431.68	c flip 70000 nbSat=43970 maxSat=44404
863.75/433.04	c flip 80000 nbSat=44120 maxSat=44404
866.55/434.40	c flip 90000 nbSat=44222 maxSat=44404
867.54/434.96	c flip 0 nbSat=42708 maxSat=44404
870.34/436.39	c flip 10000 nbSat=43742 maxSat=44404
873.34/437.82	c flip 20000 nbSat=44014 maxSat=44404
875.92/439.15	c flip 30000 nbSat=43996 maxSat=44404
878.72/440.50	c flip 40000 nbSat=44097 maxSat=44404
881.31/441.86	c flip 50000 nbSat=44001 maxSat=44404
884.12/443.22	c flip 60000 nbSat=44077 maxSat=44404
886.71/444.55	c flip 70000 nbSat=44070 maxSat=44404
889.30/445.89	c flip 80000 nbSat=43997 maxSat=44404
892.10/447.25	c flip 90000 nbSat=44066 maxSat=44404
893.30/447.82	c flip 0 nbSat=42691 maxSat=44404
896.09/449.23	c flip 10000 nbSat=43778 maxSat=44404
898.68/450.59	c flip 20000 nbSat=44003 maxSat=44404
901.47/451.96	c flip 30000 nbSat=44116 maxSat=44404
904.07/453.30	c flip 40000 nbSat=44176 maxSat=44404
906.85/454.65	c flip 50000 nbSat=43883 maxSat=44404
909.65/456.01	c flip 60000 nbSat=44093 maxSat=44404
912.44/457.40	c flip 70000 nbSat=44147 maxSat=44404
915.04/458.76	c flip 80000 nbSat=44092 maxSat=44404
917.63/460.09	c flip 90000 nbSat=44068 maxSat=44404
918.83/460.65	c flip 0 nbSat=42926 maxSat=44404
921.63/462.05	c flip 10000 nbSat=43646 maxSat=44404
924.41/463.43	c flip 20000 nbSat=43862 maxSat=44404
927.21/464.80	c flip 30000 nbSat=43989 maxSat=44404
929.81/466.18	c flip 40000 nbSat=44115 maxSat=44404
932.60/467.54	c flip 50000 nbSat=43824 maxSat=44404
935.39/468.90	c flip 60000 nbSat=44044 maxSat=44404
937.99/470.28	c flip 70000 nbSat=44076 maxSat=44404
940.78/471.64	c flip 80000 nbSat=44033 maxSat=44404
943.57/473.01	c flip 90000 nbSat=44121 maxSat=44404
944.56/473.57	c flip 0 nbSat=42521 maxSat=44404
947.36/474.96	c flip 10000 nbSat=43931 maxSat=44404
950.15/476.32	c flip 20000 nbSat=44013 maxSat=44404
952.74/477.69	c flip 30000 nbSat=44067 maxSat=44404
955.54/479.04	c flip 40000 nbSat=44081 maxSat=44404
958.13/480.37	c flip 50000 nbSat=44122 maxSat=44404
960.93/481.74	c flip 60000 nbSat=44085 maxSat=44404
963.72/483.11	c flip 70000 nbSat=44179 maxSat=44437
966.31/484.43	c flip 80000 nbSat=44185 maxSat=44437
968.91/485.75	c flip 90000 nbSat=44161 maxSat=44437
970.10/486.31	c flip 0 nbSat=42517 maxSat=44437
972.90/487.72	c flip 10000 nbSat=43611 maxSat=44437
975.69/489.11	c flip 20000 nbSat=43893 maxSat=44437
978.29/490.49	c flip 30000 nbSat=44143 maxSat=44437
981.08/491.86	c flip 40000 nbSat=43918 maxSat=44437
983.87/493.20	c flip 50000 nbSat=44119 maxSat=44437
986.47/494.58	c flip 60000 nbSat=44176 maxSat=44437
989.26/495.95	c flip 70000 nbSat=44190 maxSat=44437
992.05/497.32	c flip 80000 nbSat=44086 maxSat=44437
994.64/498.63	c flip 90000 nbSat=44005 maxSat=44437
995.64/499.19	c flip 0 nbSat=42643 maxSat=44437
998.44/500.59	c flip 10000 nbSat=43893 maxSat=44437
1001.23/501.96	c flip 20000 nbSat=44021 maxSat=44437
1004.02/503.34	c flip 30000 nbSat=43968 maxSat=44437
1006.62/504.69	c flip 40000 nbSat=44067 maxSat=44437
1009.42/506.02	c flip 50000 nbSat=44055 maxSat=44437
1012.21/507.41	c flip 60000 nbSat=44076 maxSat=44437
1014.80/508.78	c flip 70000 nbSat=44065 maxSat=44437
1017.59/510.19	c flip 80000 nbSat=44021 maxSat=44437
1020.39/511.54	c flip 90000 nbSat=43978 maxSat=44437
1021.58/512.11	c flip 0 nbSat=42563 maxSat=44437
1024.18/513.50	c flip 10000 nbSat=43818 maxSat=44437
1026.98/514.89	c flip 20000 nbSat=43995 maxSat=44437
1029.77/516.29	c flip 30000 nbSat=44081 maxSat=44437
1032.56/517.67	c flip 40000 nbSat=44046 maxSat=44437
1035.35/519.03	c flip 50000 nbSat=43992 maxSat=44437
1038.14/520.40	c flip 60000 nbSat=44074 maxSat=44437
1040.73/521.74	c flip 70000 nbSat=44137 maxSat=44437
1043.33/523.07	c flip 80000 nbSat=44188 maxSat=44437
1046.13/524.41	c flip 90000 nbSat=44081 maxSat=44437
1047.12/524.98	c flip 0 nbSat=42670 maxSat=44437
1049.91/526.38	c flip 10000 nbSat=43743 maxSat=44437
1052.71/527.74	c flip 20000 nbSat=43937 maxSat=44437
1055.51/529.11	c flip 30000 nbSat=44071 maxSat=44437
1058.10/530.48	c flip 40000 nbSat=43958 maxSat=44437
1060.69/531.80	c flip 50000 nbSat=44045 maxSat=44437
1063.49/533.13	c flip 60000 nbSat=44058 maxSat=44437
1066.08/534.49	c flip 70000 nbSat=44203 maxSat=44437
1068.87/535.86	c flip 80000 nbSat=44163 maxSat=44437
1071.67/537.23	c flip 90000 nbSat=44230 maxSat=44437
1072.67/537.78	c flip 0 nbSat=42675 maxSat=44437
1075.46/539.18	c flip 10000 nbSat=43728 maxSat=44437
1078.25/540.54	c flip 20000 nbSat=43890 maxSat=44437
1081.05/541.90	c flip 30000 nbSat=43931 maxSat=44437
1083.64/543.29	c flip 40000 nbSat=43969 maxSat=44437
1086.43/544.64	c flip 50000 nbSat=44154 maxSat=44437
1089.02/545.99	c flip 60000 nbSat=44101 maxSat=44437
1091.62/547.29	c flip 70000 nbSat=44181 maxSat=44437
1094.42/548.68	c flip 80000 nbSat=44021 maxSat=44437
1097.22/550.05	c flip 90000 nbSat=44205 maxSat=44437
1098.41/550.61	c flip 0 nbSat=42686 maxSat=44437
1101.20/552.02	c flip 10000 nbSat=43694 maxSat=44437
1104.00/553.41	c flip 20000 nbSat=43973 maxSat=44437
1106.59/554.79	c flip 30000 nbSat=43957 maxSat=44437
1109.39/556.14	c flip 40000 nbSat=43995 maxSat=44437
1112.18/557.53	c flip 50000 nbSat=43960 maxSat=44437
1114.78/558.89	c flip 60000 nbSat=44063 maxSat=44437
1117.57/560.23	c flip 70000 nbSat=44145 maxSat=44437
1120.16/561.56	c flip 80000 nbSat=44102 maxSat=44437
1122.95/562.92	c flip 90000 nbSat=44051 maxSat=44437
1123.94/563.49	c flip 0 nbSat=42659 maxSat=44437
1126.74/564.89	c flip 10000 nbSat=43802 maxSat=44437
1129.53/566.27	c flip 20000 nbSat=44074 maxSat=44437
1132.33/567.62	c flip 30000 nbSat=44144 maxSat=44437
1134.92/568.93	c flip 40000 nbSat=44123 maxSat=44437
1137.71/570.30	c flip 50000 nbSat=44083 maxSat=44437
1140.31/571.66	c flip 60000 nbSat=44060 maxSat=44437
1143.11/573.05	c flip 70000 nbSat=44054 maxSat=44437
1145.89/574.42	c flip 80000 nbSat=44199 maxSat=44437
1148.49/575.79	c flip 90000 nbSat=44059 maxSat=44437
1149.69/576.35	c flip 0 nbSat=42689 maxSat=44437
1152.48/577.79	c flip 10000 nbSat=43800 maxSat=44437
1155.27/579.15	c flip 20000 nbSat=43905 maxSat=44437
1158.07/580.51	c flip 30000 nbSat=44091 maxSat=44437
1160.67/581.85	c flip 40000 nbSat=44086 maxSat=44437
1163.45/583.22	c flip 50000 nbSat=44165 maxSat=44437
1166.05/584.55	c flip 60000 nbSat=44271 maxSat=44437
1168.85/585.91	c flip 70000 nbSat=43979 maxSat=44437
1171.44/587.25	c flip 80000 nbSat=44116 maxSat=44437
1174.23/588.65	c flip 90000 nbSat=44127 maxSat=44437
1175.42/589.21	c flip 0 nbSat=42702 maxSat=44437
1178.22/590.64	c flip 10000 nbSat=43899 maxSat=44437
1181.01/592.02	c flip 20000 nbSat=43899 maxSat=44437
1183.61/593.39	c flip 30000 nbSat=44084 maxSat=44437
1186.40/594.72	c flip 40000 nbSat=44054 maxSat=44437
1188.99/596.06	c flip 50000 nbSat=44069 maxSat=44437
1191.78/597.42	c flip 60000 nbSat=44086 maxSat=44437
1194.38/598.75	c flip 70000 nbSat=44110 maxSat=44437
1196.98/600.06	c flip 80000 nbSat=44024 maxSat=44437
1199.77/601.44	c flip 90000 nbSat=43910 maxSat=44437

Verifier Data (download as text)

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer:

Watcher Data (download as text)

runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node1/watcher-334483-1173575053 -o ROOT/results/node1/solver-334483-1173575053 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/334483-1173575053/ornithorynque /tmp/evaluation/334483-1173575053/instance-334483-1173575053.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.99 3/77 21512
/proc/meminfo: memFree=1583664/2055920 swapFree=4159120/4192956
[pid=21512] ppid=21510 vsize=23220 CPUtime=0
/proc/21512/stat : 21512 (ornithorynque) R 21510 21512 21166 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 377460363 23777280 266 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259350629649 0 0 4096 0 0 0 0 17 1 0 0
/proc/21512/statm: 5805 266 219 42 0 45 0

[startup+0.0356451 s]
/proc/loadavg: 1.00 1.00 0.99 3/77 21512
/proc/meminfo: memFree=1583664/2055920 swapFree=4159120/4192956
[pid=21512] ppid=21510 vsize=24112 CPUtime=0.02
/proc/21512/stat : 21512 (ornithorynque) R 21510 21512 21166 0 -1 4194304 683 0 0 0 2 0 0 0 18 0 1 0 377460363 24690688 644 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271465301153 0 0 4096 1088 0 0 0 17 1 0 0
/proc/21512/statm: 6028 644 377 42 0 280 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 24112

[startup+0.101652 s]
/proc/loadavg: 1.00 1.00 0.99 3/77 21512
/proc/meminfo: memFree=1583664/2055920 swapFree=4159120/4192956
[pid=21512] ppid=21510 vsize=25824 CPUtime=0.09
/proc/21512/stat : 21512 (ornithorynque) R 21510 21512 21166 0 -1 4194304 1140 0 0 0 9 0 0 0 18 0 1 0 377460363 26443776 1068 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259353121505 0 0 4096 1088 0 0 0 17 1 0 0
/proc/21512/statm: 6456 1069 377 42 0 708 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25824

[startup+0.301684 s]
/proc/loadavg: 1.00 1.00 0.99 3/77 21512
/proc/meminfo: memFree=1583664/2055920 swapFree=4159120/4192956
[pid=21512] ppid=21510 vsize=51856 CPUtime=0.39
/proc/21512/stat : 21512 (ornithorynque) S 21510 21512 21166 0 -1 4194304 2626 0 0 0 38 1 0 0 19 0 3 0 377460363 53100544 2348 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259362156411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/21512/statm: 12964 2348 387 42 0 7216 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 51856

[startup+0.701732 s]
/proc/loadavg: 1.00 1.00 0.99 3/77 21512
/proc/meminfo: memFree=1583664/2055920 swapFree=4159120/4192956
[pid=21512] ppid=21510 vsize=51856 CPUtime=1.18
/proc/21512/stat : 21512 (ornithorynque) S 21510 21512 21166 0 -1 4194304 2635 0 0 0 117 1 0 0 19 0 3 0 377460363 53100544 2357 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259362156411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/21512/statm: 12964 2357 387 42 0 7216 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 51856

[startup+1.50182 s]
/proc/loadavg: 1.00 1.00 0.99 3/80 21515
/proc/meminfo: memFree=1575576/2055920 swapFree=4159120/4192956
[pid=21512] ppid=21510 vsize=51856 CPUtime=2.78
/proc/21512/stat : 21512 (ornithorynque) S 21510 21512 21166 0 -1 4194304 2635 0 0 0 277 1 0 0 19 0 3 0 377460363 53100544 2357 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259362156411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/21512/statm: 12964 2357 387 42 0 7216 0
[pid=21512/tid=21514] ppid=21510 vsize=51856 CPUtime=1.29
/proc/21512/task/21514/stat : 21514 (ornithorynque) R 21510 21512 21166 0 -1 4194368 101 0 0 0 129 0 0 0 25 0 3 0 377460384 53100544 2357 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242984 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=21512/tid=21515] ppid=21510 vsize=51856 CPUtime=1.28
/proc/21512/task/21515/stat : 21515 (ornithorynque) R 21510 21512 21166 0 -1 4194368 2 0 0 0 128 0 0 0 25 0 3 0 377460384 53100544 2357 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 51856

[startup+3.10301 s]
/proc/loadavg: 1.00 1.00 0.99 3/80 21515
/proc/meminfo: memFree=1575448/2055920 swapFree=4159120/4192956
[pid=21512] ppid=21510 vsize=51856 CPUtime=5.98
/proc/21512/stat : 21512 (ornithorynque) S 21510 21512 21166 0 -1 4194304 2635 0 0 0 597 1 0 0 19 0 3 0 377460363 53100544 2357 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259362156411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/21512/statm: 12964 2357 387 42 0 7216 0
[pid=21512/tid=21514] ppid=21510 vsize=51856 CPUtime=2.89
/proc/21512/task/21514/stat : 21514 (ornithorynque) R 21510 21512 21166 0 -1 4194368 101 0 0 0 289 0 0 0 25 0 3 0 377460384 53100544 2357 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242828 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=21512/tid=21515] ppid=21510 vsize=51856 CPUtime=2.88
/proc/21512/task/21515/stat : 21515 (ornithorynque) R 21510 21512 21166 0 -1 4194368 2 0 0 0 288 0 0 0 25 0 3 0 377460384 53100544 2357 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 51856

[startup+6.30138 s]
/proc/loadavg: 1.08 1.02 1.00 3/80 21515
/proc/meminfo: memFree=1575320/2055920 swapFree=4159120/4192956
[pid=21512] ppid=21510 vsize=51856 CPUtime=12.36
/proc/21512/stat : 21512 (ornithorynque) S 21510 21512 21166 0 -1 4194304 2635 0 0 0 1235 1 0 0 19 0 3 0 377460363 53100544 2357 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259362156411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/21512/statm: 12964 2357 387 42 0 7216 0
[pid=21512/tid=21514] ppid=21510 vsize=51856 CPUtime=6.08
/proc/21512/task/21514/stat : 21514 (ornithorynque) R 21510 21512 21166 0 -1 4194368 101 0 0 0 608 0 0 0 25 0 3 0 377460384 53100544 2357 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242794 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=21512/tid=21515] ppid=21510 vsize=51856 CPUtime=6.07
/proc/21512/task/21515/stat : 21515 (ornithorynque) R 21510 21512 21166 0 -1 4194368 2 0 0 0 607 0 0 0 25 0 3 0 377460384 53100544 2357 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240902 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 51856

[startup+12.7011 s]
/proc/loadavg: 1.15 1.03 1.00 3/80 21515
/proc/meminfo: memFree=1575264/2055920 swapFree=4159120/4192956
[pid=21512] ppid=21510 vsize=52036 CPUtime=25.13
/proc/21512/stat : 21512 (ornithorynque) S 21510 21512 21166 0 -1 4194304 2658 0 0 0 2512 1 0 0 19 0 3 0 377460363 53284864 2380 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259362156411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/21512/statm: 13009 2380 387 42 0 7261 0
[pid=21512/tid=21514] ppid=21510 vsize=52036 CPUtime=12.48
/proc/21512/task/21514/stat : 21514 (ornithorynque) R 21510 21512 21166 0 -1 4194368 101 0 0 0 1248 0 0 0 25 0 3 0 377460384 53284864 2380 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238100 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=21512/tid=21515] ppid=21510 vsize=52036 CPUtime=12.44
/proc/21512/task/21515/stat : 21515 (ornithorynque) R 21510 21512 21166 0 -1 4194368 25 0 0 0 1244 0 0 0 25 0 3 0 377460384 53284864 2380 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 52036

[startup+25.5016 s]
/proc/loadavg: 1.34 1.08 1.02 3/80 21515
/proc/meminfo: memFree=1575200/2055920 swapFree=4159120/4192956
[pid=21512] ppid=21510 vsize=52036 CPUtime=50.66
/proc/21512/stat : 21512 (ornithorynque) S 21510 21512 21166 0 -1 4194304 2658 0 0 0 5065 1 0 0 19 0 3 0 377460363 53284864 2380 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259362156411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/21512/statm: 13009 2380 387 42 0 7261 0
[pid=21512/tid=21514] ppid=21510 vsize=52036 CPUtime=25.27
/proc/21512/task/21514/stat : 21514 (ornithorynque) R 21510 21512 21166 0 -1 4194368 101 0 0 0 2527 0 0 0 25 0 3 0 377460384 53284864 2380 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242815 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=21512/tid=21515] ppid=21510 vsize=52036 CPUtime=25.18
/proc/21512/task/21515/stat : 21515 (ornithorynque) R 21510 21512 21166 0 -1 4194368 25 0 0 0 2518 0 0 0 25 0 3 0 377460384 53284864 2380 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 52036

[startup+51.1016 s]
/proc/loadavg: 1.56 1.15 1.04 3/80 21515
/proc/meminfo: memFree=1575264/2055920 swapFree=4159120/4192956
[pid=21512] ppid=21510 vsize=52036 CPUtime=101.75
/proc/21512/stat : 21512 (ornithorynque) S 21510 21512 21166 0 -1 4194304 2658 0 0 0 10173 2 0 0 19 0 3 0 377460363 53284864 2380 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259362156411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/21512/statm: 13009 2380 387 42 0 7261 0
[pid=21512/tid=21514] ppid=21510 vsize=52036 CPUtime=50.87
/proc/21512/task/21514/stat : 21514 (ornithorynque) R 21510 21512 21166 0 -1 4194368 101 0 0 0 5087 0 0 0 25 0 3 0 377460384 53284864 2380 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238100 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=21512/tid=21515] ppid=21510 vsize=52036 CPUtime=50.66
/proc/21512/task/21515/stat : 21515 (ornithorynque) R 21510 21512 21166 0 -1 4194368 25 0 0 0 5066 0 0 0 25 0 3 0 377460384 53284864 2380 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 52036

[startup+102.306 s]
/proc/loadavg: 1.81 1.28 1.09 3/80 21515
/proc/meminfo: memFree=1575200/2055920 swapFree=4159120/4192956
[pid=21512] ppid=21510 vsize=52036 CPUtime=203.91
/proc/21512/stat : 21512 (ornithorynque) S 21510 21512 21166 0 -1 4194304 2658 0 0 0 20389 2 0 0 19 0 3 0 377460363 53284864 2380 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259362156411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/21512/statm: 13009 2380 387 42 0 7261 0
[pid=21512/tid=21514] ppid=21510 vsize=52036 CPUtime=102.06
/proc/21512/task/21514/stat : 21514 (ornithorynque) R 21510 21512 21166 0 -1 4194368 101 0 0 0 10205 1 0 0 25 0 3 0 377460384 53284864 2380 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238103 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=21512/tid=21515] ppid=21510 vsize=52036 CPUtime=101.64
/proc/21512/task/21515/stat : 21515 (ornithorynque) R 21510 21512 21166 0 -1 4194368 25 0 0 0 10164 0 0 0 25 0 3 0 377460384 53284864 2380 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241393 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.91
Current children cumulated vsize (KiB) 52036

[startup+162.302 s]
/proc/loadavg: 1.93 1.41 1.14 3/80 21515
/proc/meminfo: memFree=1575200/2055920 swapFree=4159120/4192956
[pid=21512] ppid=21510 vsize=52036 CPUtime=323.63
/proc/21512/stat : 21512 (ornithorynque) S 21510 21512 21166 0 -1 4194304 2660 0 0 0 32360 3 0 0 19 0 3 0 377460363 53284864 2382 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259362156411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/21512/statm: 13009 2382 387 42 0 7261 0
[pid=21512/tid=21514] ppid=21510 vsize=52036 CPUtime=162.04
/proc/21512/task/21514/stat : 21514 (ornithorynque) R 21510 21512 21166 0 -1 4194368 102 0 0 0 16203 1 0 0 25 0 3 0 377460384 53284864 2382 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242784 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=21512/tid=21515] ppid=21510 vsize=52036 CPUtime=161.37
/proc/21512/task/21515/stat : 21515 (ornithorynque) R 21510 21512 21166 0 -1 4194368 26 0 0 0 16137 0 0 0 25 0 3 0 377460384 53284864 2382 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.63
Current children cumulated vsize (KiB) 52036

[startup+222.302 s]
/proc/loadavg: 1.97 1.51 1.20 3/80 21515
/proc/meminfo: memFree=1575264/2055920 swapFree=4159120/4192956
[pid=21512] ppid=21510 vsize=52036 CPUtime=443.34
/proc/21512/stat : 21512 (ornithorynque) S 21510 21512 21166 0 -1 4194304 2660 0 0 0 44331 3 0 0 19 0 3 0 377460363 53284864 2382 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259362156411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/21512/statm: 13009 2382 387 42 0 7261 0
[pid=21512/tid=21514] ppid=21510 vsize=52036 CPUtime=222.01
/proc/21512/task/21514/stat : 21514 (ornithorynque) R 21510 21512 21166 0 -1 4194368 102 0 0 0 22200 1 0 0 25 0 3 0 377460384 53284864 2382 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242796 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=21512/tid=21515] ppid=21510 vsize=52036 CPUtime=221.1
/proc/21512/task/21515/stat : 21515 (ornithorynque) R 21510 21512 21166 0 -1 4194368 26 0 0 0 22110 0 0 0 25 0 3 0 377460384 53284864 2382 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241539 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.34
Current children cumulated vsize (KiB) 52036

[startup+282.302 s]
/proc/loadavg: 1.99 1.60 1.24 3/80 21515
/proc/meminfo: memFree=1575200/2055920 swapFree=4159120/4192956
[pid=21512] ppid=21510 vsize=52036 CPUtime=563.06
/proc/21512/stat : 21512 (ornithorynque) S 21510 21512 21166 0 -1 4194304 2660 0 0 0 56302 4 0 0 19 0 3 0 377460363 53284864 2382 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259362156411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/21512/statm: 13009 2382 387 42 0 7261 0
[pid=21512/tid=21514] ppid=21510 vsize=52036 CPUtime=282
/proc/21512/task/21514/stat : 21514 (ornithorynque) R 21510 21512 21166 0 -1 4194368 102 0 0 0 28198 2 0 0 25 0 3 0 377460384 53284864 2382 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4243003 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=21512/tid=21515] ppid=21510 vsize=52036 CPUtime=280.85
/proc/21512/task/21515/stat : 21515 (ornithorynque) R 21510 21512 21166 0 -1 4194368 26 0 0 0 28084 1 0 0 25 0 3 0 377460384 53284864 2382 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241539 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.06
Current children cumulated vsize (KiB) 52036

[startup+342.302 s]
/proc/loadavg: 1.99 1.67 1.29 3/80 21515
/proc/meminfo: memFree=1575200/2055920 swapFree=4159120/4192956
[pid=21512] ppid=21510 vsize=52036 CPUtime=682.78
/proc/21512/stat : 21512 (ornithorynque) S 21510 21512 21166 0 -1 4194304 2660 0 0 0 68273 5 0 0 19 0 3 0 377460363 53284864 2382 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259362156411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/21512/statm: 13009 2382 387 42 0 7261 0
[pid=21512/tid=21514] ppid=21510 vsize=52036 CPUtime=341.98
/proc/21512/task/21514/stat : 21514 (ornithorynque) R 21510 21512 21166 0 -1 4194368 102 0 0 0 34196 2 0 0 25 0 3 0 377460384 53284864 2382 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242879 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=21512/tid=21515] ppid=21510 vsize=52036 CPUtime=340.58
/proc/21512/task/21515/stat : 21515 (ornithorynque) R 21510 21512 21166 0 -1 4194368 26 0 0 0 34057 1 0 0 25 0 3 0 377460384 53284864 2382 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.78
Current children cumulated vsize (KiB) 52036

[startup+402.302 s]
/proc/loadavg: 1.99 1.73 1.33 3/80 21515
/proc/meminfo: memFree=1575200/2055920 swapFree=4159120/4192956
[pid=21512] ppid=21510 vsize=52036 CPUtime=802.5
/proc/21512/stat : 21512 (ornithorynque) S 21510 21512 21166 0 -1 4194304 2660 0 0 0 80245 5 0 0 19 0 3 0 377460363 53284864 2382 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259362156411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/21512/statm: 13009 2382 387 42 0 7261 0
[pid=21512/tid=21514] ppid=21510 vsize=52036 CPUtime=401.96
/proc/21512/task/21514/stat : 21514 (ornithorynque) R 21510 21512 21166 0 -1 4194368 102 0 0 0 40194 2 0 0 25 0 3 0 377460384 53284864 2382 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242995 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=21512/tid=21515] ppid=21510 vsize=52036 CPUtime=400.32
/proc/21512/task/21515/stat : 21515 (ornithorynque) R 21510 21512 21166 0 -1 4194368 26 0 0 0 40031 1 0 0 25 0 3 0 377460384 53284864 2382 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285268 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.5
Current children cumulated vsize (KiB) 52036

[startup+462.302 s]
/proc/loadavg: 1.99 1.77 1.37 3/80 21515
/proc/meminfo: memFree=1575200/2055920 swapFree=4159120/4192956
[pid=21512] ppid=21510 vsize=52036 CPUtime=922.22
/proc/21512/stat : 21512 (ornithorynque) S 21510 21512 21166 0 -1 4194304 2660 0 0 0 92216 6 0 0 19 0 3 0 377460363 53284864 2382 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259362156411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/21512/statm: 13009 2382 387 42 0 7261 0
[pid=21512/tid=21514] ppid=21510 vsize=52036 CPUtime=461.95
/proc/21512/task/21514/stat : 21514 (ornithorynque) R 21510 21512 21166 0 -1 4194368 102 0 0 0 46192 3 0 0 25 0 3 0 377460384 53284864 2382 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4243019 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=21512/tid=21515] ppid=21510 vsize=52036 CPUtime=460.05
/proc/21512/task/21515/stat : 21515 (ornithorynque) R 21510 21512 21166 0 -1 4194368 26 0 0 0 46004 1 0 0 25 0 3 0 377460384 53284864 2382 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241206 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.22
Current children cumulated vsize (KiB) 52036

[startup+522.302 s]
/proc/loadavg: 1.99 1.81 1.40 3/80 21515
/proc/meminfo: memFree=1575200/2055920 swapFree=4159120/4192956
[pid=21512] ppid=21510 vsize=52036 CPUtime=1041.93
/proc/21512/stat : 21512 (ornithorynque) S 21510 21512 21166 0 -1 4194304 2660 0 0 0 104187 6 0 0 19 0 3 0 377460363 53284864 2382 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259362156411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/21512/statm: 13009 2382 387 42 0 7261 0
[pid=21512/tid=21514] ppid=21510 vsize=52036 CPUtime=521.93
/proc/21512/task/21514/stat : 21514 (ornithorynque) R 21510 21512 21166 0 -1 4194368 102 0 0 0 52190 3 0 0 25 0 3 0 377460384 53284864 2382 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242950 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=21512/tid=21515] ppid=21510 vsize=52036 CPUtime=519.79
/proc/21512/task/21515/stat : 21515 (ornithorynque) R 21510 21512 21166 0 -1 4194368 26 0 0 0 51977 2 0 0 25 0 3 0 377460384 53284864 2382 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.93
Current children cumulated vsize (KiB) 52036

[startup+582.302 s]
/proc/loadavg: 1.99 1.84 1.44 3/80 21515
/proc/meminfo: memFree=1575200/2055920 swapFree=4159120/4192956
[pid=21512] ppid=21510 vsize=52036 CPUtime=1161.66
/proc/21512/stat : 21512 (ornithorynque) S 21510 21512 21166 0 -1 4194304 2660 0 0 0 116159 7 0 0 19 0 3 0 377460363 53284864 2382 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259362156411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/21512/statm: 13009 2382 387 42 0 7261 0
[pid=21512/tid=21514] ppid=21510 vsize=52036 CPUtime=581.91
/proc/21512/task/21514/stat : 21514 (ornithorynque) R 21510 21512 21166 0 -1 4194368 102 0 0 0 58188 3 0 0 25 0 3 0 377460384 53284864 2382 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242963 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=21512/tid=21515] ppid=21510 vsize=52036 CPUtime=579.53
/proc/21512/task/21515/stat : 21515 (ornithorynque) R 21510 21512 21166 0 -1 4194368 26 0 0 0 57951 2 0 0 25 0 3 0 377460384 53284864 2382 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240947 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.66
Current children cumulated vsize (KiB) 52036



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.603 s]
/proc/loadavg: 1.99 1.85 1.45 3/80 21515
/proc/meminfo: memFree=1575200/2055920 swapFree=4159120/4192956
[pid=21512] ppid=21510 vsize=52036 CPUtime=1200.18
/proc/21512/stat : 21512 (ornithorynque) S 21510 21512 21166 0 -1 4194304 2660 0 0 0 120011 7 0 0 19 0 3 0 377460363 53284864 2382 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259362156411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/21512/statm: 13009 2382 387 42 0 7261 0
[pid=21512/tid=21514] ppid=21510 vsize=52036 CPUtime=601.21
/proc/21512/task/21514/stat : 21514 (ornithorynque) R 21510 21512 21166 0 -1 4194368 102 0 0 0 60118 3 0 0 25 0 3 0 377460384 53284864 2382 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242963 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=21512/tid=21515] ppid=21510 vsize=52036 CPUtime=598.75
/proc/21512/task/21515/stat : 21515 (ornithorynque) R 21510 21512 21166 0 -1 4194368 26 0 0 0 59873 2 0 0 25 0 3 0 377460384 53284864 2382 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283786 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.18
Current children cumulated vsize (KiB) 52036

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.621
CPU time (s): 1200.21
CPU user time (s): 1200.13
CPU system time (s): 0.077988
CPU usage (%): 199.496
Max. virtual memory (cumulated for all children) (KiB): 52036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1200.13
system time used= 0.077988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2660
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 23167

runsolver used 0.6569 second user time and 1.57376 second system time

The end

Launcher Data (download as text)

Begin job on node1 on Sun Mar 11 01:04:13 UTC 2007

IDJOB= 334483
IDBENCH= 24628
IDSOLVER= 139
FILE ID= node1/334483-1173575053

PBS_JOBID= 4101209

Free space on /tmp= 66389 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/crafted/Hard/contest04/others/Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/334483-1173575053/ornithorynque /tmp/evaluation/334483-1173575053/instance-334483-1173575053.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node1/watcher-334483-1173575053 -o ROOT/results/node1/solver-334483-1173575053 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/334483-1173575053/ornithorynque /tmp/evaluation/334483-1173575053/instance-334483-1173575053.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  5a3ae9766db0de00fa37fabacaa34827

RANDOM SEED= 300997813

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node1.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.230
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.230
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1584072 kB
Buffers:         42508 kB
Cached:         353384 kB
SwapCached:      13740 kB
Active:         239828 kB
Inactive:       178864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1584072 kB
SwapTotal:     4192956 kB
SwapFree:      4159120 kB
Dirty:            1416 kB
Writeback:           0 kB
Mapped:          29620 kB
Slab:            38700 kB
Committed_AS:  1192276 kB
PageTables:       1740 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66389 MiB

End job on node1 on Sun Mar 11 01:14:17 UTC 2007