Trace number 1577721

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 913? (TO) 1200.05 1200.64

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_L200_coli.sat.cnf
MD5SUM853982f8646333d217e35d938b7eb00b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark542.008
Satisfiable
(Un)Satisfiability was proved
Number of variables670867
Number of clauses3513333
Sum of the clauses size10259569
Maximum clause length11
Minimum clause length1
Number of clauses of size 159077
Number of clauses of size 2795777
Number of clauses of size 32146608
Number of clauses of size 4393835
Number of clauses of size 5117437
Number of clauses of size over 5599

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-1577721-1241004112.cnf
0.00/0.00	c parsed header 'p cnf 670867 3513333'
7.88/7.95	c initialized 670867 variables
7.88/7.95	c found 3513333 non trivial clauses
7.88/7.95	c
7.88/7.95	c random number generator seed 0
7.88/7.95	c 
7.88/7.95	c  seconds     variables   original    learned     agility
7.88/7.95	c         level        used      conflicts    limit          MB
7.88/7.95	c 
7.88/7.95	c s   8.0   0.0 523e3  24.4 183e4  4933     3     0   0.0 118.2 
8.29/8.32	c 
8.29/8.32	c initial reduction limit 1295927 clauses
8.29/8.32	c 
8.29/8.32	c +   8.3  51.1 521e3  27.0 183e4  5033    95 142e4  16.8 119.3 
8.29/8.33	c R   8.3  51.5 521e3  27.0 183e4  5037    99 142e4  20.0 119.3 
9.19/9.22	c s   9.2  39.1 521e3  28.7 181e4  5100   154 142e4   1.6 118.6 
10.19/10.20	c s  10.2 213.7 521e3  28.7 181e4  5141   154 142e4   0.4 118.6 
11.29/11.33	c +  11.3 246.4 521e3  28.7 181e4  5183   196 156e4   1.3 118.6 
11.89/12.00	c R  12.0 276.5 521e3  28.7 181e4  5218   231 156e4   2.1 118.6 
15.19/15.26	c +  15.3 300.4 521e3  28.7 181e4  5408   414 172e4   0.1 118.6 
16.39/16.49	c N  16.5 278.6 521e3  31.3 181e4  5518   522 172e4  24.7 118.6 
16.89/16.97	c s  17.0 278.3 521e3  32.2 181e4  5571   572 172e4  11.0 118.6 
17.09/17.11	c R  17.1 276.7 521e3  32.3 181e4  5672   664 172e4   9.0 118.6 
17.39/17.43	c +  17.4 276.1 521e3  32.3 181e4  5745   730 189e4   4.9 118.7 
18.09/18.17	c s  18.2 275.2 521e3  32.7 181e4  5862   834 189e4   2.6 118.7 
19.08/19.10	c R  19.1 321.0 521e3  32.8 181e4  5973   940 189e4   2.5 118.8 
19.38/19.40	c +  19.4 317.8 521e3  32.9 181e4  6250  1200 208e4   1.2 118.8 
20.18/20.21	c s  20.2 311.8 521e3  32.9 181e4  6416  1361 208e4  11.6 118.8 
20.18/20.26	c R  20.3 311.1 521e3  33.0 181e4  6516  1458 208e4  18.4 118.8 
20.58/20.64	c R  20.6 308.4 521e3  33.1 181e4  6816  1748 208e4  18.0 118.8 
20.58/20.68	c R  20.7 307.5 521e3  33.1 181e4  6948  1871 208e4  12.6 118.8 
20.68/20.71	c +  20.7 307.0 521e3  33.1 181e4  7007  1925 229e4  24.2 118.8 
20.68/20.75	c R  20.7 306.0 521e3  33.2 181e4  7249  2153 229e4  17.0 118.8 
20.68/20.75	c 
20.68/20.75	c  seconds     variables   original    learned     agility
20.68/20.75	c         level        used      conflicts    limit          MB
20.68/20.75	c 
20.98/21.08	c s  21.1 305.8 521e3  33.2 181e4  7259  2163 229e4  13.8 118.8 
21.48/21.52	c N  21.5 299.8 521e3  33.5 181e4  8052  2929 229e4  26.3 118.9 
21.48/21.53	c +  21.5 299.6 521e3  33.5 181e4  8142  3012 252e4  25.9 118.9 
22.18/22.29	c +  22.3 291.3 521e3  34.0 181e4  9844  4675 277e4  11.8 119.0 
22.28/22.35	c R  22.3 290.6 521e3  34.0 181e4 10055  4884 277e4   9.8 119.0 
22.98/23.01	c s  23.0 287.9 521e3  34.3 181e4 10501  5315 277e4  11.4 119.1 
23.18/23.20	c R  23.2 287.5 520e3  34.5 181e4 10603  5414 277e4  17.9 119.1 
23.58/23.63	c R  23.6 285.5 520e3  34.9 181e4 10903  5708 277e4  14.2 119.1 
23.88/23.98	c s  24.0 285.3 520e3  34.9 181e4 10915  5712 277e4  24.0 119.1 
24.68/24.79	c R  24.8 281.3 520e3  35.1 181e4 11707  6483 277e4   5.4 119.1 
26.08/26.15	c s  26.1 278.1 520e3  35.4 181e4 12214  6969 277e4  12.0 119.2 
26.08/26.19	c R  26.2 277.3 520e3  35.4 181e4 12316  7063 277e4  19.9 119.2 
26.18/26.30	c +  26.3 276.4 520e3  35.5 181e4 12397  7141 305e4  10.8 119.2 
26.28/26.31	c R  26.3 276.2 520e3  35.5 181e4 12457  7200 305e4  15.2 119.2 
26.48/26.50	c N  26.5 275.2 520e3  35.6 181e4 12759  7500 305e4  23.1 119.2 
26.57/26.62	c R  26.6 274.6 520e3  35.7 181e4 12984  7719 305e4  10.5 119.2 
26.97/27.09	c s  27.1 274.0 520e3  35.8 180e4 13053  7737 305e4   0.0 119.2 
27.17/27.21	c R  27.2 272.6 519e3  35.8 180e4 13240  7911 305e4  17.9 119.2 
27.48/27.59	c R  27.6 271.1 519e3  35.9 180e4 13541  8205 305e4   9.0 119.2 
27.97/28.04	c s  28.0 269.9 519e3  35.9 180e4 13709  8346 305e4   1.5 119.2 
28.07/28.16	c R  28.1 268.8 518e3  36.2 180e4 13836  8464 305e4  22.3 119.3 
28.97/29.02	c s  29.0 268.4 518e3  36.2 180e4 13941  8508 305e4   0.3 119.2 
28.97/29.02	c 
28.97/29.02	c  seconds     variables   original    learned     agility
28.97/29.02	c         level        used      conflicts    limit          MB
28.97/29.02	c 
30.17/30.22	c R  30.2 267.8 518e3  36.3 180e4 14136  8698 305e4   3.4 119.2 
30.97/31.00	c R  31.0 264.4 518e3  36.6 180e4 14937  9479 305e4  14.6 119.2 
31.27/31.32	c s  31.3 264.4 518e3  36.6 179e4 14941  9473 305e4  19.4 119.1 
31.47/31.59	c R  31.6 264.1 518e3  36.6 179e4 15041  9564 305e4   0.2 119.1 
31.78/31.85	c R  31.8 263.3 518e3  36.7 179e4 15343  9860 305e4   6.2 119.1 
32.47/32.51	c R  32.5 261.4 518e3  37.1 179e4 16143 10649 305e4  17.6 119.1 
32.57/32.63	c +  32.6 261.1 518e3  37.2 179e4 16226 10729 336e4  11.2 119.1 
33.17/33.21	c R  33.2 256.9 518e3  38.3 179e4 18144 12613 336e4  22.1 119.3 
34.77/34.88	c +  34.9 246.3 518e3  39.8 179e4 21969 16361 369e4  12.1 119.7 
35.67/35.77	c R  35.8 244.5 518e3  40.0 179e4 22959 17332 369e4  22.7 119.8 
39.17/39.29	c +  39.3 227.8 518e3  41.7 179e4 30583 24823 406e4  26.6 120.5 
41.47/41.60	c R  41.6 223.9 518e3  42.3 179e4 34186 28389 406e4  13.5 121.0 
44.87/44.95	c s  44.9 215.5 516e3  43.1 179e4 39013 32714 406e4  12.1 121.3 
44.87/44.95	c R  44.9 215.5 516e3  43.1 179e4 39013 32714 406e4  11.7 121.3 
45.07/45.17	c R  45.2 214.6 515e3  43.2 179e4 39245 32927 406e4  12.6 121.3 
45.27/45.35	c N  45.3 213.6 512e3  43.6 179e4 39683 33348 406e4  31.4 121.9 
45.77/45.85	c s  45.8 213.2 511e3  43.7 178e4 39911 33187 406e4  20.0 121.7 
45.77/45.89	c R  45.9 213.1 511e3  43.7 178e4 39946 33221 406e4  21.3 121.7 
46.17/46.25	c R  46.2 212.5 511e3  43.7 178e4 40261 33530 406e4  18.6 121.7 
46.27/46.31	c R  46.3 211.9 511e3  43.8 178e4 40563 33828 406e4  13.5 121.7 
46.66/46.78	c s  46.8 211.7 511e3  43.9 178e4 40689 33937 406e4   9.4 121.7 
48.07/48.19	c R  48.2 211.0 511e3  43.9 178e4 41365 34609 406e4  12.9 121.8 
48.07/48.19	c 
48.07/48.19	c  seconds     variables   original    learned     agility
48.07/48.19	c         level        used      conflicts    limit          MB
48.07/48.19	c 
50.06/50.13	c s  50.1 207.7 504e3  45.1 177e4 43209 35627 406e4  30.8 121.6 
50.16/50.22	c R  50.2 207.6 504e3  45.1 177e4 43234 35649 406e4  11.8 121.6 
50.26/50.35	c R  50.3 207.0 504e3  45.1 177e4 43534 35932 406e4  16.3 121.6 
50.46/50.54	c R  50.5 206.5 504e3  45.2 177e4 43712 36097 406e4   4.9 121.7 
50.46/50.55	c +  50.5 206.3 504e3  45.2 177e4 43763 36139 447e4  24.1 121.7 
50.96/51.06	c s  51.0 205.8 504e3  45.2 176e4 43940 36226 447e4  19.6 121.6 
51.06/51.11	c R  51.1 205.6 504e3  45.3 176e4 44015 36298 447e4   9.1 121.6 
51.46/51.50	c R  51.5 203.7 504e3  45.4 176e4 44816 37056 447e4   7.2 121.7 
51.96/52.01	c s  52.0 203.1 504e3  45.4 176e4 45025 37262 447e4   9.1 121.7 
52.06/52.16	c R  52.1 203.0 504e3  45.5 176e4 45126 37360 447e4   7.2 121.7 
52.26/52.33	c R  52.3 202.5 504e3  45.5 176e4 45333 37556 447e4  20.5 121.8 
52.36/52.48	c R  52.4 201.8 504e3  45.5 176e4 45633 37843 447e4  19.3 121.8 
52.46/52.57	c R  52.5 201.5 503e3  45.6 176e4 45792 37989 447e4  20.0 121.8 
52.56/52.60	c R  52.6 201.3 503e3  45.6 176e4 45895 38089 447e4  14.8 121.8 
52.86/52.95	c s  52.9 201.2 503e3  45.6 176e4 45962 38004 447e4  17.3 121.7 
54.26/54.35	c s  54.3 200.7 502e3  45.8 176e4 46109 37824 447e4   0.7 121.7 
54.56/54.62	c R  54.6 200.6 502e3  45.8 176e4 46151 37866 447e4   7.1 121.7 
54.76/54.83	c N  54.8 200.1 502e3  45.8 176e4 46452 38163 447e4  26.2 121.7 
55.06/55.12	c R  55.1 198.9 502e3  45.9 176e4 47254 38945 447e4  19.6 121.8 
56.35/56.49	c N  56.5 196.1 502e3  46.4 176e4 49256 40923 447e4  23.1 121.9 
57.95/58.04	c R  58.0 190.6 502e3  48.1 176e4 54066 45637 447e4  12.5 122.3 
62.75/62.84	c +  62.8 180.9 502e3  48.8 176e4 63160 54556 492e4   9.4 123.2 
62.75/62.84	c 
62.75/62.84	c  seconds     variables   original    learned     agility
62.75/62.84	c         level        used      conflicts    limit          MB
62.75/62.84	c 
63.85/63.95	c R  63.9 179.0 502e3  48.9 176e4 65300 56656 492e4  19.7 123.4 
77.65/77.74	c N  77.7 161.7 502e3  49.7 176e4 90940 82084 492e4  25.2 126.3 
79.25/79.30	c +  79.3 160.9 502e3  49.7 176e4 92231 83372 541e4  23.5 126.4 
96.44/96.52	c s  96.5 152.7 502e3  50.1 176e4 110e3 101e3 541e4  18.9 128.7 
96.54/96.64	c R  96.6 152.6 502e3  50.1 176e4 111e3 101e3 541e4   7.6 128.7 
96.84/96.98	c R  96.9 152.5 502e3  50.1 176e4 111e3 102e3 541e4  11.0 128.7 
97.64/97.80	c R  97.8 152.0 502e3  50.1 176e4 112e3 103e3 541e4  22.4 128.8 
101.14/101.20	c R 101.2 150.8 502e3  50.1 176e4 114e3 105e3 541e4  11.6 129.0 
106.24/106.38	c R 106.3 148.3 502e3  50.2 176e4 118e3 109e3 541e4  16.7 129.6 
119.33/119.46	c R 119.4 143.1 502e3  50.4 176e4 130e3 120e3 541e4  13.3 130.7 
127.33/127.40	c + 127.3 140.5 502e3  50.4 176e4 135e3 126e3 595e4  22.2 131.3 
158.61/158.77	c R 158.7 132.5 502e3  50.5 176e4 155e3 146e3 595e4  15.9 133.6 
243.67/243.87	c + 243.8 118.6 502e3  51.1 176e4 201e3 191e3 655e4  21.0 142.8 
260.67/260.81	c N 260.7 115.6 502e3  51.2 176e4 213e3 203e3 655e4  27.3 144.5 
369.21/369.47	c s 369.3 104.7 501e3  51.6 175e4 267e3 208e3 655e4  15.6 145.8 
369.42/369.66	c R 369.5 104.7 501e3  51.6 175e4 267e3 208e3 655e4  14.2 145.8 
370.11/370.35	c R 370.2 104.7 501e3  51.6 175e4 267e3 208e3 655e4  12.6 145.8 
372.01/372.26	c R 372.1 104.5 501e3  51.6 175e4 268e3 209e3 655e4   1.2 145.9 
372.91/373.10	c s 372.9 104.5 492e3  52.5 173e4 268e3 207e3 655e4  21.3 145.3 
373.11/373.34	c R 373.2 104.5 492e3  52.5 173e4 268e3 207e3 655e4  18.4 145.4 
373.61/373.88	c N 373.7 104.6 492e3  52.6 173e4 269e3 208e3 655e4  25.8 145.4 
374.01/374.22	c N 374.0 104.4 492e3  52.6 173e4 270e3 209e3 655e4  26.6 145.4 
374.01/374.22	c 
374.01/374.22	c  seconds     variables   original    learned     agility
374.01/374.22	c         level        used      conflicts    limit          MB
374.01/374.22	c 
376.01/376.22	c R 376.0 104.0 492e3  52.7 173e4 272e3 211e3 655e4  21.2 145.6 
379.51/379.74	c s 379.6 103.2 489e3  53.7 173e4 276e3 214e3 655e4  18.6 145.8 
379.51/379.77	c R 379.6 103.2 489e3  53.7 173e4 276e3 214e3 655e4  22.9 145.8 
379.61/379.89	c R 379.7 103.1 489e3  53.7 173e4 276e3 215e3 655e4  19.7 145.9 
380.11/380.35	c N 380.2 103.1 489e3  53.7 173e4 277e3 215e3 655e4  24.8 145.9 
380.61/380.84	c s 380.7 103.0 489e3  53.7 172e4 277e3 215e3 655e4   0.0 145.9 
381.41/381.70	c R 381.5 103.1 489e3  53.8 172e4 277e3 216e3 655e4  17.8 145.9 
382.71/382.93	c N 382.7 102.6 489e3  54.0 172e4 279e3 218e3 655e4  28.7 146.2 
385.71/385.94	c R 385.8 102.0 489e3  54.3 172e4 284e3 222e3 655e4  22.3 146.8 
413.19/413.49	c R 413.3  99.9 489e3  54.5 172e4 295e3 233e3 655e4  13.8 148.2 
414.99/415.29	c s 415.1  99.9 489e3  54.5 172e4 296e3 234e3 655e4   2.3 148.2 
415.19/415.48	c R 415.3  99.9 489e3  54.5 172e4 296e3 234e3 655e4  16.6 148.2 
415.69/415.90	c R 415.7  99.8 489e3  54.5 172e4 296e3 234e3 655e4  18.3 148.3 
417.49/417.70	c R 417.5  99.6 489e3  54.5 172e4 297e3 235e3 655e4  20.4 148.3 
421.29/421.56	c + 421.4  99.3 489e3  54.5 172e4 299e3 237e3 720e4  13.0 148.5 
422.09/422.36	c R 422.2  99.3 489e3  54.5 172e4 299e3 237e3 720e4   4.6 148.5 
428.79/429.05	c R 428.8  98.9 489e3  54.6 172e4 304e3 242e3 720e4  10.9 149.2 
440.38/440.62	c R 440.4  97.4 489e3  54.8 172e4 315e3 253e3 720e4  20.9 150.6 
476.65/476.91	c N 476.7  94.2 489e3  56.0 172e4 341e3 278e3 720e4  28.7 154.2 
638.39/638.74	c R 638.4  89.4 489e3  56.5 172e4 399e3 336e3 720e4  12.9 162.9 
757.32/757.77	c s 757.4  86.5 486e3  57.3 170e4 432e3 316e3 720e4  19.1 161.0 
757.52/757.91	c N 757.5  86.5 486e3  57.3 170e4 432e3 316e3 720e4  24.9 161.0 
757.52/757.91	c 
757.52/757.91	c  seconds     variables   original    learned     agility
757.52/757.91	c         level        used      conflicts    limit          MB
757.52/757.91	c 
758.82/759.30	c R 758.9  86.5 486e3  57.3 170e4 432e3 316e3 720e4   9.7 161.0 
761.42/761.88	c R 761.5  86.4 486e3  57.3 170e4 433e3 317e3 720e4  12.0 161.1 
771.92/772.36	c R 772.0  86.2 486e3  57.3 170e4 435e3 319e3 720e4  21.8 161.4 
789.51/789.98	c R 789.6  85.7 486e3  57.3 170e4 440e3 324e3 720e4  12.5 162.1 
809.70/810.14	c + 809.8  85.1 486e3  57.3 170e4 446e3 330e3 792e4  10.0 163.1 
816.70/817.16	c N 816.8  84.8 486e3  57.3 170e4 451e3 335e3 792e4  29.0 164.0 
904.26/904.72	c N 904.3  82.8 486e3  57.5 170e4 477e3 361e3 792e4  29.6 168.4 
1102.94/1103.58	c R 110e1  78.7 486e3  57.6 170e4 534e3 418e3 792e4  10.5 180.2

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1577721-1241004112/watcher-1577721-1241004112 -o /tmp/evaluation-result-1577721-1241004112/solver-1577721-1241004112 -C 1200 -W 1800 -M 1800 --output-limit 1,128 HOME/picosat HOME/instance-1577721-1241004112.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 134217728 bytes. The first 1048576 bytes and the last 133169152 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 18108
/proc/meminfo: memFree=459704/2055920 swapFree=4191900/4192956
[pid=18108] ppid=18106 vsize=39056 CPUtime=0
/proc/18108/stat : 18108 (picosat) R 18106 18108 17793 0 -1 4194304 635 0 0 0 0 0 0 0 18 0 1 0 128440077 39993344 620 1992294400 134512640 135137933 4294956224 18446744073709551615 134532287 0 0 4096 0 0 0 0 17 0 0 0
/proc/18108/statm: 9764 622 53 152 0 9610 0

[startup+0.0523509 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 18108
/proc/meminfo: memFree=459704/2055920 swapFree=4191900/4192956
[pid=18108] ppid=18106 vsize=40848 CPUtime=0.04
/proc/18108/stat : 18108 (picosat) R 18106 18108 17793 0 -1 4194304 6079 0 0 0 2 2 0 0 18 0 1 0 128440077 41828352 6065 1992294400 134512640 135137933 4294956224 18446744073709551615 134532161 0 0 4096 0 0 0 0 17 0 0 0
/proc/18108/statm: 10212 6070 53 152 0 10058 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 40848

[startup+0.101359 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 18108
/proc/meminfo: memFree=459704/2055920 swapFree=4191900/4192956
[pid=18108] ppid=18106 vsize=43556 CPUtime=0.09
/proc/18108/stat : 18108 (picosat) R 18106 18108 17793 0 -1 4194304 10415 0 0 0 5 4 0 0 18 0 1 0 128440077 44601344 10400 1992294400 134512640 135137933 4294956224 18446744073709551615 134689438 0 0 4096 0 0 0 0 17 0 0 0
/proc/18108/statm: 10889 10400 56 152 0 10735 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43556

[startup+0.301397 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 18108
/proc/meminfo: memFree=459704/2055920 swapFree=4191900/4192956
[pid=18108] ppid=18106 vsize=52768 CPUtime=0.29
/proc/18108/stat : 18108 (picosat) R 18106 18108 17793 0 -1 4194304 12686 0 0 0 23 6 0 0 19 0 1 0 128440077 54034432 12671 1992294400 134512640 135137933 4294956224 18446744073709551615 134689438 0 0 4096 0 0 0 0 17 0 0 0
/proc/18108/statm: 13192 12672 56 152 0 13038 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52768

[startup+0.701473 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 18108
/proc/meminfo: memFree=459704/2055920 swapFree=4191900/4192956
[pid=18108] ppid=18106 vsize=72380 CPUtime=0.69
/proc/18108/stat : 18108 (picosat) R 18106 18108 17793 0 -1 4194304 17192 0 0 0 60 9 0 0 23 0 1 0 128440077 74117120 17177 1992294400 134512640 135137933 4294956224 18446744073709551615 134689438 0 0 4096 0 0 0 0 17 0 0 0
/proc/18108/statm: 18095 17178 56 152 0 17941 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 72380

[startup+1.50162 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18109
/proc/meminfo: memFree=375152/2055920 swapFree=4191900/4192956
[pid=18108] ppid=18106 vsize=110964 CPUtime=1.49
/proc/18108/stat : 18108 (picosat) R 18106 18108 17793 0 -1 4194304 26698 0 0 0 133 16 0 0 25 0 1 0 128440077 113627136 26683 1992294400 134512640 135137933 4294956224 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 0 0 0
/proc/18108/statm: 27741 26683 56 152 0 27587 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 110964

[startup+3.10197 s]
/proc/loadavg: 1.16 1.03 1.01 2/65 18109
/proc/meminfo: memFree=320496/2055920 swapFree=4191900/4192956
[pid=18108] ppid=18106 vsize=164016 CPUtime=3.09
/proc/18108/stat : 18108 (picosat) R 18106 18108 17793 0 -1 4194304 39043 0 0 0 286 23 0 0 25 0 1 0 128440077 167952384 39028 1992294400 134512640 135137933 4294956224 18446744073709551615 134561509 0 0 4096 0 0 0 0 17 0 0 0
/proc/18108/statm: 41004 39028 61 152 0 40850 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 164016

[startup+6.30154 s]
/proc/loadavg: 1.16 1.03 1.01 2/65 18109
/proc/meminfo: memFree=304176/2055920 swapFree=4191900/4192956
[pid=18108] ppid=18106 vsize=164660 CPUtime=6.28
/proc/18108/stat : 18108 (picosat) R 18106 18108 17793 0 -1 4194304 39075 0 0 0 604 24 0 0 25 0 1 0 128440077 168611840 39060 1992294400 134512640 135137933 4294956224 18446744073709551615 134549028 0 0 4096 0 0 0 0 17 0 0 0
/proc/18108/statm: 41165 39060 61 152 0 41011 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 164660

[startup+12.7028 s]
/proc/loadavg: 1.13 1.03 1.01 2/65 18109
/proc/meminfo: memFree=303088/2055920 swapFree=4191900/4192956
[pid=18108] ppid=18106 vsize=166272 CPUtime=12.69
/proc/18108/stat : 18108 (picosat) R 18106 18108 17793 0 -1 4194304 39390 0 0 0 1244 25 0 0 25 0 1 0 128440077 170262528 39375 1992294400 134512640 135137933 4294956224 18446744073709551615 134527739 0 0 4096 0 0 0 0 17 0 0 0
/proc/18108/statm: 41568 39375 69 152 0 41414 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 166272

[startup+25.5012 s]
/proc/loadavg: 1.11 1.03 1.01 2/65 18109
/proc/meminfo: memFree=302768/2055920 swapFree=4191900/4192956
[pid=18108] ppid=18106 vsize=166272 CPUtime=25.48
/proc/18108/stat : 18108 (picosat) R 18106 18108 17793 0 -1 4194304 39548 0 0 0 2523 25 0 0 25 0 1 0 128440077 170262528 39533 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 0 0 0
/proc/18108/statm: 41568 39533 69 152 0 41414 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 166272

[startup+51.1011 s]
/proc/loadavg: 1.07 1.03 1.01 2/65 18109
/proc/meminfo: memFree=302192/2055920 swapFree=4191900/4192956
[pid=18108] ppid=18106 vsize=167180 CPUtime=51.06
/proc/18108/stat : 18108 (picosat) R 18106 18108 17793 0 -1 4194304 39722 0 0 0 5081 25 0 0 25 0 1 0 128440077 171192320 39707 1992294400 134512640 135137933 4294956224 18446744073709551615 134548664 0 0 4096 0 0 0 0 17 0 0 0
/proc/18108/statm: 41795 39707 69 152 0 41641 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 167180

[startup+102.306 s]
/proc/loadavg: 1.03 1.02 1.00 2/65 18109
/proc/meminfo: memFree=300080/2055920 swapFree=4191900/4192956
[pid=18108] ppid=18106 vsize=168896 CPUtime=102.24
/proc/18108/stat : 18108 (picosat) R 18106 18108 17793 0 -1 4194304 40249 0 0 0 10198 26 0 0 25 0 1 0 128440077 172949504 40232 1992294400 134512640 135137933 4294956224 18446744073709551615 134548825 0 0 4096 0 0 0 0 17 0 0 0
/proc/18108/statm: 42224 40232 69 152 0 42070 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 168896

[startup+162.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 18109
/proc/meminfo: memFree=296752/2055920 swapFree=4191900/4192956
[pid=18108] ppid=18106 vsize=171932 CPUtime=162.21
/proc/18108/stat : 18108 (picosat) R 18106 18108 17793 0 -1 4194304 41074 0 0 0 16194 27 0 0 25 0 1 0 128440077 176058368 41057 1992294400 134512640 135137933 4294956224 18446744073709551615 134548930 0 0 4096 0 0 0 0 17 0 0 0
/proc/18108/statm: 42983 41057 69 152 0 42829 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 171932

[startup+222.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 18109
/proc/meminfo: memFree=292208/2055920 swapFree=4191900/4192956
[pid=18108] ppid=18106 vsize=179228 CPUtime=222.19
/proc/18108/stat : 18108 (picosat) R 18106 18108 17793 0 -1 4194304 42174 0 0 0 22191 28 0 0 25 0 1 0 128440077 183529472 42157 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 0 0 0
/proc/18108/statm: 44807 42157 69 152 0 44653 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 179228

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18109
/proc/meminfo: memFree=288560/2055920 swapFree=4191900/4192956
[pid=18108] ppid=18106 vsize=182924 CPUtime=282.15
/proc/18108/stat : 18108 (picosat) R 18106 18108 17793 0 -1 4194304 43139 0 0 0 28185 30 0 0 25 0 1 0 128440077 187314176 43122 1992294400 134512640 135137933 4294956224 18446744073709551615 134527739 0 0 4096 0 0 0 0 17 0 0 0
/proc/18108/statm: 45731 43122 69 152 0 45577 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 182924

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18109
/proc/meminfo: memFree=284336/2055920 swapFree=4191900/4192956
[pid=18108] ppid=18106 vsize=187016 CPUtime=342.12
/proc/18108/stat : 18108 (picosat) R 18106 18108 17793 0 -1 4194304 44201 0 0 0 34181 31 0 0 25 0 1 0 128440077 191504384 44184 1992294400 134512640 135137933 4294956224 18446744073709551615 134527773 0 0 4096 0 0 0 0 17 0 0 0
/proc/18108/statm: 46754 44184 69 152 0 46600 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 187016

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18109
/proc/meminfo: memFree=282160/2055920 swapFree=4191900/4192956
[pid=18108] ppid=18106 vsize=188996 CPUtime=402.1
/proc/18108/stat : 18108 (picosat) R 18106 18108 17793 0 -1 4194304 44712 0 0 0 40178 32 0 0 25 0 1 0 128440077 193531904 44693 1992294400 134512640 135137933 4294956224 18446744073709551615 134548608 0 0 4096 0 0 0 0 17 0 0 0
/proc/18108/statm: 47249 44693 69 152 0 47095 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 188996

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18109
/proc/meminfo: memFree=281904/2055920 swapFree=4191900/4192956
[pid=18108] ppid=18106 vsize=189260 CPUtime=462.06
/proc/18108/stat : 18108 (picosat) R 18106 18108 17793 0 -1 4194304 44779 0 0 0 46174 32 0 0 25 0 1 0 128440077 193802240 44760 1992294400 134512640 135137933 4294956224 18446744073709551615 134548661 0 0 4096 0 0 0 0 17 0 0 0
/proc/18108/statm: 47315 44760 69 152 0 47161 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 189260

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18109
/proc/meminfo: memFree=277424/2055920 swapFree=4191900/4192956
[pid=18108] ppid=18106 vsize=193616 CPUtime=522.04
/proc/18108/stat : 18108 (picosat) R 18106 18108 17793 0 -1 4194304 45913 0 0 0 52170 34 0 0 25 0 1 0 128440077 198262784 45894 1992294400 134512640 135137933 4294956224 18446744073709551615 134527773 0 0 4096 0 0 0 0 17 0 0 0
/proc/18108/statm: 48404 45894 69 152 0 48250 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 193616

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18109
/proc/meminfo: memFree=273904/2055920 swapFree=4191900/4192956
[pid=18108] ppid=18106 vsize=197048 CPUtime=582.01
/proc/18108/stat : 18108 (picosat) R 18106 18108 17793 0 -1 4194304 46778 0 0 0 58166 35 0 0 25 0 1 0 128440077 201777152 46759 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 0 0 0
/proc/18108/statm: 49262 46759 69 152 0 49108 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 197048

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18109
/proc/meminfo: memFree=271408/2055920 swapFree=4191900/4192956
[pid=18108] ppid=18106 vsize=199424 CPUtime=641.99
/proc/18108/stat : 18108 (picosat) R 18106 18108 17793 0 -1 4194304 47415 0 0 0 64162 37 0 0 25 0 1 0 128440077 204210176 47396 1992294400 134512640 135137933 4294956224 18446744073709551615 134549147 0 0 4096 0 0 0 0 17 0 0 0
/proc/18108/statm: 49856 47396 69 152 0 49702 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 199424

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18109
/proc/meminfo: memFree=268912/2055920 swapFree=4191900/4192956
[pid=18108] ppid=18106 vsize=201800 CPUtime=701.95
/proc/18108/stat : 18108 (picosat) R 18106 18108 17793 0 -1 4194304 48029 0 0 0 70157 38 0 0 25 0 1 0 128440077 206643200 48010 1992294400 134512640 135137933 4294956224 18446744073709551615 134548608 0 0 4096 0 0 0 0 17 0 0 0
/proc/18108/statm: 50450 48010 69 152 0 50296 0
Current children cumulated CPU time (s) 701.95
Current children cumulated vsize (KiB) 201800

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18109
/proc/meminfo: memFree=267824/2055920 swapFree=4191900/4192956
[pid=18108] ppid=18106 vsize=202852 CPUtime=761.92
/proc/18108/stat : 18108 (picosat) R 18106 18108 17793 0 -1 4194304 48291 0 0 0 76154 38 0 0 25 0 1 0 128440077 207720448 48272 1992294400 134512640 135137933 4294956224 18446744073709551615 134548661 0 0 4096 0 0 0 0 17 0 0 0
/proc/18108/statm: 50713 48272 69 152 0 50559 0
Current children cumulated CPU time (s) 761.92
Current children cumulated vsize (KiB) 202852

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18109
/proc/meminfo: memFree=267824/2055920 swapFree=4191900/4192956
[pid=18108] ppid=18106 vsize=202852 CPUtime=821.89
/proc/18108/stat : 18108 (picosat) R 18106 18108 17793 0 -1 4194304 48291 0 0 0 82150 39 0 0 25 0 1 0 128440077 207720448 48272 1992294400 134512640 135137933 4294956224 18446744073709551615 134552061 0 0 4096 0 0 0 0 17 0 0 0
/proc/18108/statm: 50713 48272 69 152 0 50559 0
Current children cumulated CPU time (s) 821.89
Current children cumulated vsize (KiB) 202852

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18109
/proc/meminfo: memFree=266864/2055920 swapFree=4191900/4192956
[pid=18108] ppid=18106 vsize=203908 CPUtime=881.86
/proc/18108/stat : 18108 (picosat) R 18106 18108 17793 0 -1 4194304 48544 0 0 0 88147 39 0 0 25 0 1 0 128440077 208801792 48525 1992294400 134512640 135137933 4294956224 18446744073709551615 134548868 0 0 4096 0 0 0 0 17 0 0 0
/proc/18108/statm: 50977 48525 69 152 0 50823 0
Current children cumulated CPU time (s) 881.86
Current children cumulated vsize (KiB) 203908

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18109
/proc/meminfo: memFree=263600/2055920 swapFree=4191900/4192956
[pid=18108] ppid=18106 vsize=207208 CPUtime=941.83
/proc/18108/stat : 18108 (picosat) R 18106 18108 17793 0 -1 4194304 49373 0 0 0 94143 40 0 0 25 0 1 0 128440077 212180992 49354 1992294400 134512640 135137933 4294956224 18446744073709551615 134527931 0 0 4096 0 0 0 0 17 0 0 0
/proc/18108/statm: 51802 49354 69 152 0 51648 0
Current children cumulated CPU time (s) 941.83
Current children cumulated vsize (KiB) 207208

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18109
/proc/meminfo: memFree=261424/2055920 swapFree=4191900/4192956
[pid=18108] ppid=18106 vsize=209320 CPUtime=1001.78
/proc/18108/stat : 18108 (picosat) R 18106 18108 17793 0 -1 4194304 49915 0 0 0 100137 41 0 0 25 0 1 0 128440077 214343680 49896 1992294400 134512640 135137933 4294956224 18446744073709551615 134554570 0 0 4096 0 0 0 0 17 0 0 0
/proc/18108/statm: 52330 49896 69 152 0 52176 0
Current children cumulated CPU time (s) 1001.78
Current children cumulated vsize (KiB) 209320

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18111
/proc/meminfo: memFree=257968/2055920 swapFree=4191900/4192956
[pid=18108] ppid=18106 vsize=214800 CPUtime=1061.76
/proc/18108/stat : 18108 (picosat) R 18106 18108 17793 0 -1 4194304 50776 0 0 0 106133 43 0 0 25 0 1 0 128440077 219955200 50757 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 0 0 0
/proc/18108/statm: 53700 50757 69 152 0 53546 0
Current children cumulated CPU time (s) 1061.76
Current children cumulated vsize (KiB) 214800

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18111
/proc/meminfo: memFree=254896/2055920 swapFree=4191900/4192956
[pid=18108] ppid=18106 vsize=217704 CPUtime=1121.74
/proc/18108/stat : 18108 (picosat) R 18106 18108 17793 0 -1 4194304 51544 0 0 0 112130 44 0 0 25 0 1 0 128440077 222928896 51525 1992294400 134512640 135137933 4294956224 18446744073709551615 134527773 0 0 4096 0 0 0 0 17 0 0 0
/proc/18108/statm: 54426 51525 69 152 0 54272 0
Current children cumulated CPU time (s) 1121.74
Current children cumulated vsize (KiB) 217704

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18111
/proc/meminfo: memFree=253104/2055920 swapFree=4191900/4192956
[pid=18108] ppid=18106 vsize=219420 CPUtime=1181.71
/proc/18108/stat : 18108 (picosat) R 18106 18108 17793 0 -1 4194304 51983 0 0 0 118126 45 0 0 25 0 1 0 128440077 224686080 51964 1992294400 134512640 135137933 4294956224 18446744073709551615 134548608 0 0 4096 0 0 0 0 17 0 0 0
/proc/18108/statm: 54855 51964 69 152 0 54701 0
Current children cumulated CPU time (s) 1181.71
Current children cumulated vsize (KiB) 219420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18111
/proc/meminfo: memFree=252400/2055920 swapFree=4191900/4192956
[pid=18108] ppid=18106 vsize=220212 CPUtime=1200
/proc/18108/stat : 18108 (picosat) R 18106 18108 17793 0 -1 4194304 52164 0 0 0 119955 45 0 0 25 0 1 0 128440077 225497088 52145 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 0 0 0
/proc/18108/statm: 55053 52145 69 152 0 54899 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 220212

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): 1200.64
CPU time (s): 1200.05
CPU user time (s): 1199.56
CPU system time (s): 0.489925
CPU usage (%): 99.9509
Max. virtual memory (cumulated for all children) (KiB): 220212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.56
system time used= 0.489925
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52164
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= 2546

runsolver used 0.988849 second user time and 3.39748 second system time

The end

Launcher Data 

Begin job on node38 at 2009-04-29 13:21:56
IDJOB=1577721
IDBENCH=70965
IDSOLVER=506
FILE ID=node38/1577721-1241004112
PBS_JOBID= 9204829
Free space on /tmp= 66368 MiB

SOLVER NAME= picosat 913
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_L200_coli.sat.cnf
COMMAND LINE= HOME/picosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1577721-1241004112/watcher-1577721-1241004112 -o /tmp/evaluation-result-1577721-1241004112/solver-1577721-1241004112 -C 1200 -W 1800 -M 1800 --output-limit 1,128  HOME/picosat HOME/instance-1577721-1241004112.cnf

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

MD5SUM BENCH= 853982f8646333d217e35d938b7eb00b
RANDOM SEED=485731318

node38.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.265
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.265
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:        460120 kB
Buffers:         79600 kB
Cached:        1418600 kB
SwapCached:        384 kB
Active:         689192 kB
Inactive:       822428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        460120 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:           72144 kB
Writeback:           0 kB
Mapped:          21836 kB
Slab:            70104 kB
Committed_AS:   639660 kB
PageTables:       1456 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= 66368 MiB
End job on node38 at 2009-04-29 13:41:59