Trace number 1517182

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
picosat 913UNSAT 953.703 953.95

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S104085281-076.cnf
MD5SUM5ab9251cccb4c72968393b6f409a56b6
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark57.2563
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of clauses1700
Sum of the clauses size5100
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31700
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c PicoSAT SAT Solver Version 913
0.00/0.00	c Copyright (c) 2006 - 2009 Armin Biere JKU Linz
0.00/0.00	c gcc -Wall -Wextra -m32 -static -DNDEBUG -O3 -fomit-frame-pointer -finline-limit=1000000
0.00/0.00	c
0.00/0.00	c parsing HOME/instance-1517182-1238281556.cnf
0.00/0.00	c parsed header 'p cnf 400 1700'
0.00/0.00	c initialized 400 variables
0.00/0.00	c found 1700 non trivial clauses
0.00/0.00	c
0.00/0.00	c random number generator seed 0
0.00/0.00	c 
0.00/0.00	c  seconds     variables   original    learned     agility
0.00/0.00	c         level        used      conflicts    limit          MB
0.00/0.00	c 
0.00/0.00	c s   0.0   0.0   400   0.0  1700     0     0     0   0.0   0.1 
0.00/0.00	c 
0.00/0.00	c initial reduction limit 850 clauses
0.00/0.00	c 
0.00/0.00	c +   0.0  33.2   400  84.8  1700   100   100   935  15.8   0.1 
0.00/0.00	c R   0.0  33.2   400  84.8  1700   100   100   935  15.8   0.1 
0.00/0.00	c +   0.0  28.9   400  95.8  1700   250   250  1028  24.1   0.1 
0.00/0.01	c N   0.0  26.5   400  97.3  1700   401   401  1028  26.7   0.1 
0.00/0.01	c +   0.0  25.8   400  98.0  1700   475   475  1130  26.1   0.1 
0.00/0.02	c +   0.0  24.0   400  99.0  1700   812   812  1243  26.4   0.2 
0.00/0.03	c N   0.0  23.7   400  99.0  1700  1204  1204  1243  27.7   0.2 
0.00/0.04	c +   0.0  23.8   400  99.3  1700  1317   691  1367  27.9   0.2 
0.05/0.06	c +   0.1  23.1   400  99.3  1700  2074   760  1503  29.1   0.2 
0.05/0.09	c N   0.1  22.4   400  99.5  1700  3208  1136  1503  30.2   0.2 
0.05/0.09	c +   0.1  22.4   400  99.5  1700  3209  1137  1653  30.0   0.2 
0.10/0.15	c +   0.2  22.0   400  99.5  1700  4911  1178  1818  27.2   0.2 
0.20/0.23	c +   0.2  21.3   400  99.5  1700  7464   990  1999  29.3   0.2 
0.20/0.25	c N   0.3  21.1   400  99.5  1700  8016  1542  1999  28.7   0.2 
0.30/0.36	c +   0.4  20.7   400  99.5  1700 11293  1807  2198  30.2   0.2 
0.49/0.55	c +   0.6  20.1   400  99.5  1700 17036  2029  2417  26.5   0.3 
0.59/0.63	c N   0.6  20.0   400  99.5  1700 19245  1803  2417  29.3   0.3 
0.79/0.85	c +   0.9  19.6   400  99.5  1700 25650  2129  2658  25.9   0.3 
1.29/1.31	c +   1.3  19.6   400  99.5  1700 38571  1692  2923  25.7   0.3 
1.49/1.54	c N   1.5  19.5   400  99.5  1700 44894  2143  2923  28.6   0.3 
1.49/1.54	c 
1.49/1.54	c  seconds     variables   original    learned     agility
1.49/1.54	c         level        used      conflicts    limit          MB
1.49/1.54	c 
1.99/2.03	c +   2.0  19.4   400  99.5  1700 57952  1994  3215  28.4   0.3 
3.09/3.14	c +   3.1  19.3   400  99.5  1700 87023  2007  3536  28.1   0.3 
3.69/3.75	c N   3.8  19.5   400  99.5  1700 102e3  3390  3536  28.6   0.4 
4.79/4.84	c +   4.8  19.7   400  99.5  1700 130e3  3006  3889  27.5   0.4 
7.39/7.47	c +   7.5  20.2   400  99.5  1700 196e3  2054  4277  28.5   0.3 
8.89/8.92	c N   8.9  20.1   400  99.5  1700 230e3  2513  4277  27.2   0.4 
11.49/11.50	c +  11.5  19.7   400  99.5  1700 294e3  3579  4704  27.8   0.5 
17.69/17.74	c +  17.7  19.2   400  99.5  1700 441e3  4454  5174  29.6   0.5 
20.79/20.83	c N  20.8  19.0   400  99.5  1700 512e3  3325  5174  28.3   0.4 
27.19/27.22	c +  27.2  18.5   400  99.5  1700 662e3  4656  5691  27.1   0.6 
41.98/42.08	c +  42.1  18.3   400  99.8  1700 993e3  4776  6260  28.0   0.6 
48.18/48.22	c N  48.2  18.1   400  99.8  1700 112e4  4658  6260  28.5   0.6 
64.58/64.68	c +  64.7  17.8   400  99.8  1700 148e4  5644  6886  28.3   0.6 
100.17/100.24	c + 100.2  17.5   400  99.8  1700 223e4  5126  7574  28.6   0.6 
111.16/111.22	c N 111.2  17.3   400  99.8  1700 246e4  7053  7574  30.0   0.8 
154.45/154.52	c + 154.5  17.1   400  99.8  1700 335e4  6922  8331  27.8   0.7 
238.53/238.69	c + 238.6  16.7   400  99.8  1700 502e4  5387  9164  26.2   0.7 
254.43/254.58	c N 254.5  16.6   400  99.8  1700 533e4  4778  9164  26.8   0.6 
369.99/370.10	c + 370.0  16.1   400  99.8  1700 754e4  8433 10080  26.1   0.9 
575.44/575.63	c + 575.5  15.7   400  99.8  1700 113e5  9332 11088  30.5   0.9 
584.94/585.14	c N 585.0  15.7   400  99.8  1700 114e5  9418 11088  28.8   1.0 
633.22/633.43	c s 633.3  15.5   399  99.8  1689 123e5  3854 11088  27.8   0.5 
633.22/633.43	c 
633.22/633.43	c  seconds     variables   original    learned     agility
633.22/633.43	c         level        used      conflicts    limit          MB
633.22/633.43	c 
633.22/633.43	c N 633.3  15.5   399  99.8  1689 123e5  3955 11088  27.9   0.5 
633.22/633.44	c N 633.3  15.5   399  99.8  1689 123e5  4256 11088  28.0   0.5 
633.22/633.48	c N 633.3  15.5   399  99.8  1689 123e5  5057 11088  27.0   0.6 
633.33/633.58	c N 633.4  15.5   399  99.8  1689 123e5  7063 11088  27.5   0.8 
633.62/633.88	c N 633.7  15.5   399  99.8  1689 123e5  6325 11088  27.5   0.8 
634.32/634.56	c N 634.4  15.5   399  99.8  1689 123e5  6445 11088  27.7   0.8 
635.82/636.08	c N 635.9  15.5   399  99.8  1689 123e5  9892 11088  27.5   1.1 
639.22/639.47	c N 639.3  15.5   399  99.8  1689 124e5  6554 11088  28.7   0.8 
646.52/646.80	c N 646.6  15.5   399  99.8  1689 125e5  7061 11088  28.5   0.8 
662.92/663.19	c N 663.0  15.6   399  99.8  1689 128e5  5964 11088  27.9   0.7 
697.70/697.96	c N 697.8  15.5   399  99.8  1689 134e5 10420 11088  26.3   1.1 
773.39/773.62	c N 773.4  15.4   399  99.8  1689 148e5 10857 11088  28.4   1.1 
789.59/789.84	c s 789.6  15.3   398  99.8  1678 150e5  3590 11088  27.7   0.5 
789.59/789.84	c N 789.6  15.3   398  99.8  1678 150e5  3691 11088  28.0   0.5 
789.59/789.85	c N 789.7  15.3   398  99.8  1678 150e5  3995 11088  28.6   0.5 
789.59/789.89	c N 789.7  15.3   398  99.8  1678 150e5  4802 11088  29.5   0.6 
789.69/789.98	c N 789.8  15.3   398  99.8  1678 150e5  6809 11088  31.5   0.7 
789.99/790.26	c N 790.1  15.3   398  99.8  1678 151e5  6072 11088  29.9   0.7 
790.69/790.91	c N 790.7  15.3   398  99.8  1678 151e5  6192 11088  28.1   0.7 
792.09/792.35	c N 792.2  15.3   398  99.8  1678 151e5  9629 11088  28.0   1.0 
795.39/795.60	c N 795.4  15.3   398  99.8  1678 151e5  6281 11088  27.7   0.8 
802.79/803.05	c N 802.8  15.3   398  99.8  1678 153e5  6768 11088  30.1   0.7 
802.79/803.05	c 
802.79/803.05	c  seconds     variables   original    learned     agility
802.79/803.05	c         level        used      conflicts    limit          MB
802.79/803.05	c 
818.78/819.06	c N 818.9  15.3   398  99.8  1678 156e5  5625 11088  29.7   0.6 
853.67/853.94	c N 853.7  15.3   398  99.8  1678 162e5 10135 11088  28.3   1.0 
880.77/881.09	c s 880.9  15.2   397  99.8  1672 166e5  4010 11088  29.8   0.5 
880.77/881.10	c N 880.9  15.2   397  99.8  1672 166e5  4111 11088  30.1   0.5 
880.87/881.11	c N 880.9  15.2   397  99.8  1672 166e5  4411 11088  27.8   0.6 
880.87/881.14	c N 880.9  15.2   397  99.8  1672 166e5  5214 11088  28.8   0.6 
880.97/881.24	c N 881.0  15.2   397  99.8  1672 166e5  7223 11088  29.2   0.8 
881.27/881.51	c N 881.3  15.2   397  99.8  1672 167e5  6487 11088  29.3   0.7 
881.87/882.13	c N 881.9  15.2   397  99.8  1672 167e5  6614 11088  30.2   0.7 
883.17/883.47	c N 883.2  15.2   397  99.8  1672 167e5 10049 11088  28.4   1.0 
886.37/886.62	c N 886.4  15.2   397  99.8  1672 167e5  6677 11088  28.2   0.7 
893.36/893.66	c N 893.4  15.2   397  99.8  1672 169e5  7218 11088  28.5   0.7 
895.96/896.22	c + 896.0  15.2   397  99.8  1672 169e5  8522 12196  30.3   0.8 
902.86/903.19	c s 903.0  15.1   396  99.8  1664 170e5  3352 12196  27.3   0.4 
902.86/903.19	c N 903.0  15.1   396  99.8  1664 170e5  3452 12196  28.6   0.4 
902.96/903.20	c N 903.0  15.1   396  99.8  1664 170e5  3753 12196  29.0   0.5 
902.96/903.24	c N 903.0  15.1   396  99.8  1664 170e5  4560 12196  27.8   0.5 
903.06/903.33	c N 903.1  15.1   396  99.8  1664 170e5  6568 12196  28.6   0.7 
903.26/903.59	c N 903.4  15.1   396  99.8  1664 171e5 11378 12196  27.7   1.1 
903.96/904.24	c N 904.0  15.1   396  99.8  1664 171e5 10392 12196  25.7   1.0 
905.36/905.69	c N 905.5  15.1   396  99.8  1664 171e5 11621 12196  30.4   1.1 
908.66/908.99	c N 908.8  15.1   396  99.8  1664 171e5  8275 12196  29.6   0.8 
908.66/908.99	c 
908.66/908.99	c  seconds     variables   original    learned     agility
908.66/908.99	c         level        used      conflicts    limit          MB
908.66/908.99	c 
916.15/916.41	c N 916.2  15.1   396  99.8  1664 173e5  8306 12196  27.9   0.8 
918.55/918.85	c s 918.6  15.1   395  99.8  1652 173e5  2878 12196  27.5   0.4 
918.55/918.85	c N 918.6  15.1   395  99.8  1652 173e5  2979 12196  26.7   0.4 
918.55/918.86	c N 918.6  15.1   395  99.8  1652 173e5  3282 12196  29.1   0.4 
918.55/918.90	c N 918.7  15.1   395  99.8  1652 173e5  4082 12196  26.6   0.5 
918.65/918.99	c N 918.8  15.1   395  99.8  1652 173e5  6091 12196  29.3   0.6 
918.95/919.25	c N 919.0  15.1   395  99.8  1652 173e5 10907 12196  27.9   1.1 
919.65/919.92	c N 919.7  15.1   395  99.8  1652 173e5  9913 12196  30.0   1.0 
921.15/921.41	c N 921.2  15.1   395  99.8  1652 174e5 11163 12196  25.5   1.1 
924.45/924.70	c N 924.5  15.1   395  99.8  1652 174e5  7815 12196  27.8   0.8 
931.95/932.22	c N 932.0  15.1   395  99.8  1652 176e5  7812 12196  28.6   0.8 
944.75/945.00	c s 944.8  15.0   394  99.8  1644 178e5  4097 12196  27.6   0.5 
944.75/945.01	c N 944.8  15.0   394  99.8  1644 178e5  4197 12196  27.1   0.5 
944.75/945.02	c N 944.8  15.0   394  99.8  1644 178e5  4497 12196  27.2   0.5 
944.75/945.06	c N 944.8  15.0   394  99.8  1644 178e5  5300 12196  27.0   0.6 
944.85/945.15	c N 944.9  15.0   394  99.8  1644 178e5  7310 12196  28.2   0.8 
945.15/945.45	c N 945.2  15.0   394  99.8  1644 178e5 12119 12196  29.5   1.1 
945.85/946.11	c N 945.9  15.0   394  99.8  1644 178e5 11126 12196  27.8   1.0 
947.25/947.56	c N 947.3  15.0   394  99.8  1644 178e5  6259 12196  25.9   0.7 
949.85/950.19	c s 949.9  15.0   390  99.8  1607 179e5  2982 12196  29.5   0.4 
949.85/950.19	c N 950.0  15.0   390  99.8  1607 179e5  3082 12196  28.9   0.4 
949.95/950.20	c N 950.0  15.0   390  99.8  1607 179e5  3383 12196  29.3   0.4 
949.95/950.20	c 
949.95/950.20	c  seconds     variables   original    learned     agility
949.95/950.20	c         level        used      conflicts    limit          MB
949.95/950.20	c 
949.95/950.24	c N 950.0  15.0   390  99.8  1607 179e5  4188 12196  29.6   0.5 
950.05/950.32	c N 950.1  15.0   390  99.8  1607 179e5  6190 12196  27.5   0.6 
950.25/950.59	c N 950.4  15.0   390  99.8  1607 179e5 11006 12196  28.4   0.9 
950.95/951.22	c N 951.0  15.0   390  99.8  1607 179e5 10027 12196  26.4   0.9 
951.45/951.76	c s 951.5  15.0   388  99.8  1587 179e5  3103 12196  29.9   0.4 
951.45/951.76	c N 951.5  15.0   388  99.8  1587 179e5  3203 12196  29.4   0.4 
951.45/951.78	c N 951.5  15.0   388  99.8  1587 179e5  3504 12196  27.6   0.4 
951.55/951.81	c N 951.6  15.0   388  99.8  1587 179e5  4308 12196  28.2   0.5 
951.65/951.90	c N 951.7  15.0   388  99.8  1587 179e5  6312 12196  26.1   0.6 
951.85/952.19	c N 951.9  15.0   388  99.8  1587 179e5 11127 12196  27.6   0.9 
952.55/952.82	c N 952.6  15.0   388  99.8  1587 179e5 10137 12196  29.3   0.9 
953.05/953.39	c s 953.1  15.0   387  99.8  1580 179e5  3480 12196  28.6   0.4 
953.05/953.39	c N 953.2  15.0   387  99.8  1580 179e5  3580 12196  28.0   0.4 
953.15/953.41	c N 953.2  15.0   387  99.8  1580 179e5  3880 12196  30.1   0.4 
953.15/953.44	c N 953.2  15.0   387  99.8  1580 179e5  4682 12196  29.7   0.5 
953.25/953.54	c N 953.3  15.0   387  99.8  1580 179e5  6686 12196  29.0   0.6 
953.45/953.78	c s 953.5  15.0   383  99.8  1550 179e5  4061 12196  28.6   0.4 
953.45/953.78	c N 953.5  15.0   383  99.8  1550 179e5  4068 12196  28.6   0.4 
953.45/953.79	c N 953.5  15.0   383  99.8  1550 179e5  4368 12196  29.2   0.5 
953.55/953.81	c N 953.6  15.0   382  99.8  1550 179e5  4888 12196  27.7   0.5 
953.55/953.83	c N 953.6  15.0   382  99.8  1550 179e5  5190 12196  28.6   0.5 
953.55/953.87	c N 953.6  15.0   381  99.8  1550 179e5  5957 12196  28.8   0.5 
953.55/953.87	c 
953.55/953.87	c  seconds     variables   original    learned     agility
953.55/953.87	c         level        used      conflicts    limit          MB
953.55/953.87	c 
953.55/953.89	c N 953.6  15.0   381  99.8  1550 179e5  6258 12196  28.7   0.6 
953.65/953.92	c N 953.7  15.0   379  99.8  1550 179e5  6855 12196  26.8   0.6 
953.65/953.94	c N 953.7  15.0   375  99.8  1550 179e5  7192 12196  27.7   0.6 
953.65/953.94	c 0 953.7  15.0   262  99.8  1550 179e5  7319 12196  29.9   0.6 
953.65/953.95	c 
953.65/953.95	c  seconds     variables   original    learned     agility
953.65/953.95	c         level        used      conflicts    limit          MB
953.65/953.95	c 
953.65/953.95	s UNSATISFIABLE
953.65/953.95	c
953.65/953.95	c 18 iterations
953.65/953.95	c 2 restarts
953.65/953.95	c 0 failed literals
953.65/953.95	c 17982862 conflicts
953.65/953.95	c 21189351 decisions
953.65/953.95	c 138 fixed variables
953.65/953.95	c 322190457 learned literals
953.65/953.95	c 29.1% deleted literals
953.65/953.95	c 1382622640 propagations
953.65/953.95	c 99.8% variables used
953.65/953.95	c 953.7 seconds in library
953.65/953.95	c 1.4 megaprops/second
953.65/953.95	c 11 simplifications
953.65/953.95	c 3969 reductions
953.65/953.95	c 1571.6 MB recycled
953.65/953.95	c 1.3 MB maximally allocated
953.65/953.95	c 953.7 seconds total run time

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver version 3.2.9 (svn:489) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1517182-1238281556/watcher-1517182-1238281556 -o /tmp/evaluation-result-1517182-1238281556/solver-1517182-1238281556 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/picosat HOME/instance-1517182-1238281556.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): 1800 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: 0.99 0.98 0.99 3/73 12518
/proc/meminfo: memFree=1635728/2055920 swapFree=4164824/4192956
[pid=12518] ppid=12516 vsize=780 CPUtime=0
/proc/12518/stat : 12518 (picosat) R 12516 12518 12125 0 -1 4194304 118 0 0 0 0 0 0 0 20 0 1 0 1100820404 798720 103 1992294400 134512640 135137933 4294956240 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 195 103 69 152 0 41 0

[startup+0.05599 s]
/proc/loadavg: 0.99 0.98 0.99 3/73 12518
/proc/meminfo: memFree=1635728/2055920 swapFree=4164824/4192956
[pid=12518] ppid=12516 vsize=912 CPUtime=0.05
/proc/12518/stat : 12518 (picosat) R 12516 12518 12125 0 -1 4194304 152 0 0 0 5 0 0 0 20 0 1 0 1100820404 933888 137 1992294400 134512640 135137933 4294956240 18446744073709551615 134548903 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 228 137 69 152 0 74 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 912

[startup+0.101994 s]
/proc/loadavg: 0.99 0.98 0.99 3/73 12518
/proc/meminfo: memFree=1635728/2055920 swapFree=4164824/4192956
[pid=12518] ppid=12516 vsize=912 CPUtime=0.1
/proc/12518/stat : 12518 (picosat) R 12516 12518 12125 0 -1 4194304 156 0 0 0 10 0 0 0 20 0 1 0 1100820404 933888 141 1992294400 134512640 135137933 4294956240 18446744073709551615 134548844 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 228 141 69 152 0 74 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 912

[startup+0.302016 s]
/proc/loadavg: 0.99 0.98 0.99 3/73 12518
/proc/meminfo: memFree=1635728/2055920 swapFree=4164824/4192956
[pid=12518] ppid=12516 vsize=1044 CPUtime=0.3
/proc/12518/stat : 12518 (picosat) R 12516 12518 12125 0 -1 4194304 168 0 0 0 30 0 0 0 22 0 1 0 1100820404 1069056 153 1992294400 134512640 135137933 4294956240 18446744073709551615 134522826 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 261 153 69 152 0 107 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 1044

[startup+0.701059 s]
/proc/loadavg: 0.99 0.98 0.99 3/73 12518
/proc/meminfo: memFree=1635728/2055920 swapFree=4164824/4192956
[pid=12518] ppid=12516 vsize=1044 CPUtime=0.69
/proc/12518/stat : 12518 (picosat) R 12516 12518 12125 0 -1 4194304 181 0 0 0 69 0 0 0 25 0 1 0 1100820404 1069056 166 1992294400 134512640 135137933 4294956240 18446744073709551615 134568681 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 261 166 69 152 0 107 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1044

[startup+1.50114 s]
/proc/loadavg: 0.99 0.98 0.99 2/74 12519
/proc/meminfo: memFree=1635272/2055920 swapFree=4164824/4192956
[pid=12518] ppid=12516 vsize=1176 CPUtime=1.49
/proc/12518/stat : 12518 (picosat) R 12516 12518 12125 0 -1 4194304 196 0 0 0 149 0 0 0 25 0 1 0 1100820404 1204224 181 1992294400 134512640 135137933 4294956240 18446744073709551615 134551611 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 294 181 69 152 0 140 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1176

[startup+3.10132 s]
/proc/loadavg: 0.99 0.98 0.99 2/74 12519
/proc/meminfo: memFree=1635080/2055920 swapFree=4164824/4192956
[pid=12518] ppid=12516 vsize=1176 CPUtime=3.09
/proc/12518/stat : 12518 (picosat) R 12516 12518 12125 0 -1 4194304 211 0 0 0 309 0 0 0 25 0 1 0 1100820404 1204224 196 1992294400 134512640 135137933 4294956240 18446744073709551615 134548910 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 294 196 69 152 0 140 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1176

[startup+6.30166 s]
/proc/loadavg: 0.99 0.98 0.99 2/74 12519
/proc/meminfo: memFree=1634888/2055920 swapFree=4164824/4192956
[pid=12518] ppid=12516 vsize=1308 CPUtime=6.29
/proc/12518/stat : 12518 (picosat) R 12516 12518 12125 0 -1 4194304 230 0 0 0 629 0 0 0 25 0 1 0 1100820404 1339392 215 1992294400 134512640 135137933 4294956240 18446744073709551615 134525403 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 327 215 69 152 0 173 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308

[startup+12.7023 s]
/proc/loadavg: 0.99 0.98 0.99 2/74 12519
/proc/meminfo: memFree=1634760/2055920 swapFree=4164824/4192956
[pid=12518] ppid=12516 vsize=1440 CPUtime=12.69
/proc/12518/stat : 12518 (picosat) R 12516 12518 12125 0 -1 4194304 254 0 0 0 1269 0 0 0 25 0 1 0 1100820404 1474560 239 1992294400 134512640 135137933 4294956240 18446744073709551615 134521324 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 360 239 69 152 0 206 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1440

[startup+25.5017 s]
/proc/loadavg: 0.99 0.98 0.99 2/74 12519
/proc/meminfo: memFree=1634696/2055920 swapFree=4164824/4192956
[pid=12518] ppid=12516 vsize=1432 CPUtime=25.49
/proc/12518/stat : 12518 (picosat) R 12516 12518 12125 0 -1 4194304 269 0 0 0 2549 0 0 0 25 0 1 0 1100820404 1466368 254 1992294400 134512640 135137933 4294956240 18446744073709551615 134549081 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 358 254 69 152 0 204 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1432

[startup+51.1014 s]
/proc/loadavg: 0.99 0.98 0.99 2/74 12519
/proc/meminfo: memFree=1634504/2055920 swapFree=4164824/4192956
[pid=12518] ppid=12516 vsize=1536 CPUtime=51.08
/proc/12518/stat : 12518 (picosat) R 12516 12518 12125 0 -1 4194304 307 0 0 0 5108 0 0 0 25 0 1 0 1100820404 1572864 292 1992294400 134512640 135137933 4294956240 18446744073709551615 134522698 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 384 292 69 152 0 230 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1536

[startup+102.307 s]
/proc/loadavg: 0.99 0.98 0.99 2/74 12519
/proc/meminfo: memFree=1634312/2055920 swapFree=4164824/4192956
[pid=12518] ppid=12516 vsize=1668 CPUtime=102.27
/proc/12518/stat : 12518 (picosat) R 12516 12518 12125 0 -1 4194304 337 0 0 0 10227 0 0 0 25 0 1 0 1100820404 1708032 322 1992294400 134512640 135137933 4294956240 18446744073709551615 134522821 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 417 322 69 152 0 263 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1668

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/74 12519
/proc/meminfo: memFree=1634184/2055920 swapFree=4164824/4192956
[pid=12518] ppid=12516 vsize=1820 CPUtime=162.25
/proc/12518/stat : 12518 (picosat) R 12516 12518 12125 0 -1 4194304 364 0 0 0 16225 0 0 0 25 0 1 0 1100820404 1863680 349 1992294400 134512640 135137933 4294956240 18446744073709551615 134543696 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 455 349 69 152 0 301 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1820

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/74 12519
/proc/meminfo: memFree=1634120/2055920 swapFree=4164824/4192956
[pid=12518] ppid=12516 vsize=1820 CPUtime=222.23
/proc/12518/stat : 12518 (picosat) R 12516 12518 12125 0 -1 4194304 371 0 0 0 22223 0 0 0 25 0 1 0 1100820404 1863680 356 1992294400 134512640 135137933 4294956240 18446744073709551615 134522698 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 455 356 69 152 0 301 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1820

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/74 12519
/proc/meminfo: memFree=1633928/2055920 swapFree=4164824/4192956
[pid=12518] ppid=12516 vsize=1952 CPUtime=282.22
/proc/12518/stat : 12518 (picosat) R 12516 12518 12125 0 -1 4194304 406 0 0 0 28222 0 0 0 25 0 1 0 1100820404 1998848 391 1992294400 134512640 135137933 4294956240 18446744073709551615 134542919 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 488 391 69 152 0 334 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1952

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/74 12519
/proc/meminfo: memFree=1633864/2055920 swapFree=4164824/4192956
[pid=12518] ppid=12516 vsize=1952 CPUtime=342.2
/proc/12518/stat : 12518 (picosat) R 12516 12518 12125 0 -1 4194304 406 0 0 0 34220 0 0 0 25 0 1 0 1100820404 1998848 391 1992294400 134512640 135137933 4294956240 18446744073709551615 134548844 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 488 391 69 152 0 334 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1952

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/74 12519
/proc/meminfo: memFree=1633864/2055920 swapFree=4164824/4192956
[pid=12518] ppid=12516 vsize=1952 CPUtime=402.19
/proc/12518/stat : 12518 (picosat) R 12516 12518 12125 0 -1 4194304 408 0 0 0 40219 0 0 0 25 0 1 0 1100820404 1998848 393 1992294400 134512640 135137933 4294956240 18446744073709551615 134551430 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 488 393 69 152 0 334 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1952

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/74 12519
/proc/meminfo: memFree=1633800/2055920 swapFree=4164824/4192956
[pid=12518] ppid=12516 vsize=1952 CPUtime=462.17
/proc/12518/stat : 12518 (picosat) R 12516 12518 12125 0 -1 4194304 408 0 0 0 46217 0 0 0 25 0 1 0 1100820404 1998848 393 1992294400 134512640 135137933 4294956240 18446744073709551615 134548913 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 488 393 69 152 0 334 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1952

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/74 12519
/proc/meminfo: memFree=1633736/2055920 swapFree=4164824/4192956
[pid=12518] ppid=12516 vsize=2084 CPUtime=522.15
/proc/12518/stat : 12518 (picosat) R 12516 12518 12125 0 -1 4194304 422 0 0 0 52215 0 0 0 25 0 1 0 1100820404 2134016 407 1992294400 134512640 135137933 4294956240 18446744073709551615 134522821 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 521 407 69 152 0 367 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 2084

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/74 12519
/proc/meminfo: memFree=1633672/2055920 swapFree=4164824/4192956
[pid=12518] ppid=12516 vsize=2084 CPUtime=582.14
/proc/12518/stat : 12518 (picosat) R 12516 12518 12125 0 -1 4194304 436 0 0 0 58214 0 0 0 25 0 1 0 1100820404 2134016 421 1992294400 134512640 135137933 4294956240 18446744073709551615 134551413 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 521 421 69 152 0 367 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 2084

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/74 12519
/proc/meminfo: memFree=1633672/2055920 swapFree=4164824/4192956
[pid=12518] ppid=12516 vsize=2084 CPUtime=642.13
/proc/12518/stat : 12518 (picosat) R 12516 12518 12125 0 -1 4194304 443 0 0 0 64213 0 0 0 25 0 1 0 1100820404 2134016 428 1992294400 134512640 135137933 4294956240 18446744073709551615 134548844 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 521 428 69 152 0 367 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 2084

[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/74 12519
/proc/meminfo: memFree=1633608/2055920 swapFree=4164824/4192956
[pid=12518] ppid=12516 vsize=2084 CPUtime=702.1
/proc/12518/stat : 12518 (picosat) R 12516 12518 12125 0 -1 4194304 443 0 0 0 70210 0 0 0 25 0 1 0 1100820404 2134016 428 1992294400 134512640 135137933 4294956240 18446744073709551615 134666147 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 521 428 69 152 0 367 0
Current children cumulated CPU time (s) 702.1
Current children cumulated vsize (KiB) 2084

[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/74 12519
/proc/meminfo: memFree=1633608/2055920 swapFree=4164824/4192956
[pid=12518] ppid=12516 vsize=2084 CPUtime=762.09
/proc/12518/stat : 12518 (picosat) R 12516 12518 12125 0 -1 4194304 443 0 0 0 76209 0 0 0 25 0 1 0 1100820404 2134016 428 1992294400 134512640 135137933 4294956240 18446744073709551615 134552515 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 521 428 69 152 0 367 0
Current children cumulated CPU time (s) 762.09
Current children cumulated vsize (KiB) 2084

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/74 12519
/proc/meminfo: memFree=1633544/2055920 swapFree=4164824/4192956
[pid=12518] ppid=12516 vsize=2084 CPUtime=822.08
/proc/12518/stat : 12518 (picosat) R 12516 12518 12125 0 -1 4194304 443 0 0 0 82207 1 0 0 25 0 1 0 1100820404 2134016 428 1992294400 134512640 135137933 4294956240 18446744073709551615 134552847 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 521 428 69 152 0 367 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 2084

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/74 12519
/proc/meminfo: memFree=1633544/2055920 swapFree=4164824/4192956
[pid=12518] ppid=12516 vsize=2084 CPUtime=882.07
/proc/12518/stat : 12518 (picosat) R 12516 12518 12125 0 -1 4194304 443 0 0 0 88206 1 0 0 25 0 1 0 1100820404 2134016 428 1992294400 134512640 135137933 4294956240 18446744073709551615 134548890 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 521 428 69 152 0 367 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 2084

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/74 12519
/proc/meminfo: memFree=1633480/2055920 swapFree=4164824/4192956
[pid=12518] ppid=12516 vsize=2084 CPUtime=942.05
/proc/12518/stat : 12518 (picosat) R 12516 12518 12125 0 -1 4194304 445 0 0 0 94204 1 0 0 25 0 1 0 1100820404 2134016 430 1992294400 134512640 135137933 4294956240 18446744073709551615 134542894 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 521 430 69 152 0 367 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 2084

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

[startup+947.105 s]
/proc/loadavg: 0.99 0.98 0.99 2/74 12519
/proc/meminfo: memFree=1633480/2055920 swapFree=4164824/4192956
[pid=12518] ppid=12516 vsize=2084 CPUtime=946.85
/proc/12518/stat : 12518 (picosat) R 12516 12518 12125 0 -1 4194304 445 0 0 0 94684 1 0 0 25 0 1 0 1100820404 2134016 430 1992294400 134512640 135137933 4294956240 18446744073709551615 134548868 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 521 430 69 152 0 367 0
Current children cumulated CPU time (s) 946.85
Current children cumulated vsize (KiB) 2084

[startup+950.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/74 12519
/proc/meminfo: memFree=1633480/2055920 swapFree=4164824/4192956
[pid=12518] ppid=12516 vsize=2084 CPUtime=950.05
/proc/12518/stat : 12518 (picosat) R 12516 12518 12125 0 -1 4194304 445 0 0 0 95004 1 0 0 25 0 1 0 1100820404 2134016 430 1992294400 134512640 135137933 4294956240 18446744073709551615 134548908 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 521 430 69 152 0 367 0
Current children cumulated CPU time (s) 950.05
Current children cumulated vsize (KiB) 2084

[startup+951.902 s]
/proc/loadavg: 0.99 0.98 0.99 2/74 12519
/proc/meminfo: memFree=1633480/2055920 swapFree=4164824/4192956
[pid=12518] ppid=12516 vsize=2084 CPUtime=951.65
/proc/12518/stat : 12518 (picosat) R 12516 12518 12125 0 -1 4194304 445 0 0 0 95164 1 0 0 25 0 1 0 1100820404 2134016 430 1992294400 134512640 135137933 4294956240 18446744073709551615 134554063 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 521 430 69 152 0 367 0
Current children cumulated CPU time (s) 951.65
Current children cumulated vsize (KiB) 2084

[startup+952.702 s]
/proc/loadavg: 0.99 0.98 0.99 2/74 12519
/proc/meminfo: memFree=1633480/2055920 swapFree=4164824/4192956
[pid=12518] ppid=12516 vsize=2084 CPUtime=952.45
/proc/12518/stat : 12518 (picosat) R 12516 12518 12125 0 -1 4194304 445 0 0 0 95244 1 0 0 25 0 1 0 1100820404 2134016 430 1992294400 134512640 135137933 4294956240 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 521 430 69 152 0 367 0
Current children cumulated CPU time (s) 952.45
Current children cumulated vsize (KiB) 2084

[startup+953.502 s]
/proc/loadavg: 0.99 0.98 0.99 2/74 12519
/proc/meminfo: memFree=1633480/2055920 swapFree=4164824/4192956
[pid=12518] ppid=12516 vsize=2084 CPUtime=953.25
/proc/12518/stat : 12518 (picosat) R 12516 12518 12125 0 -1 4194304 445 0 0 0 95324 1 0 0 25 0 1 0 1100820404 2134016 430 1992294400 134512640 135137933 4294956240 18446744073709551615 134548866 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 521 430 69 152 0 367 0
Current children cumulated CPU time (s) 953.25
Current children cumulated vsize (KiB) 2084

[startup+953.903 s]
/proc/loadavg: 0.99 0.98 0.99 2/74 12519
/proc/meminfo: memFree=1633480/2055920 swapFree=4164824/4192956
[pid=12518] ppid=12516 vsize=2084 CPUtime=953.65
/proc/12518/stat : 12518 (picosat) R 12516 12518 12125 0 -1 4194304 445 0 0 0 95364 1 0 0 25 0 1 0 1100820404 2134016 430 1992294400 134512640 135137933 4294956240 18446744073709551615 134551374 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 521 430 69 152 0 367 0
Current children cumulated CPU time (s) 953.65
Current children cumulated vsize (KiB) 2084

Child status: 20
Real time (s): 953.95
CPU time (s): 953.703
CPU user time (s): 953.688
CPU system time (s): 0.014997
CPU usage (%): 99.9741
Max. virtual memory (cumulated for all children) (KiB): 2084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 953.688
system time used= 0.014997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 447
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= 2
involuntary context switches= 837

runsolver used 0.894863 second user time and 2.58461 second system time

The end

Launcher Data 

Begin job on node81 at 2009-03-29 00:05:56
IDJOB=1517182
IDBENCH=70575
IDSOLVER=506
FILE ID=node81/1517182-1238281556
PBS_JOBID= 9060912
Free space on /tmp= 126236 MiB

SOLVER NAME= picosat 913
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/UNKNOWN/400/unif-k3-r4.25-v400-c1700-S104085281-076.cnf
COMMAND LINE= HOME/picosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1517182-1238281556/watcher-1517182-1238281556 -o /tmp/evaluation-result-1517182-1238281556/solver-1517182-1238281556 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/picosat HOME/instance-1517182-1238281556.cnf

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 5ab9251cccb4c72968393b6f409a56b6
RANDOM SEED=2112074398

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

/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.220
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.220
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1636208 kB
Buffers:         58372 kB
Cached:         265976 kB
SwapCached:      18984 kB
Active:         107704 kB
Inactive:       237460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1636208 kB
SwapTotal:     4192956 kB
SwapFree:      4164824 kB
Dirty:             728 kB
Writeback:           0 kB
Mapped:          26592 kB
Slab:            59396 kB
Committed_AS:  2807972 kB
PageTables:       2084 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 126236 MiB
End job on node81 at 2009-03-29 00:21:50