Trace number 1728686

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.11 1200.56

General information on the benchmark

Namecrafted/Hard/contest02/
ezfact256_1.sat05-464.reshuffled-07.cnf
MD5SUM69151394f3e0e8838dc6693844061945
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 variables49153
Number of clauses324873
Sum of the clauses size1232169
Maximum clause length4
Minimum clause length1
Number of clauses of size 1257
Number of clauses of size 20
Number of clauses of size 366552
Number of clauses of size 4258064
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-1728686-1240739909.cnf
0.00/0.00	c parsed header 'p cnf 49153 324873'
0.59/0.64	c initialized 49153 variables
0.59/0.64	c found 324873 non trivial clauses
0.59/0.64	c
0.59/0.64	c random number generator seed 0
0.59/0.64	c 
0.59/0.64	c  seconds     variables   original    learned     agility
0.59/0.64	c         level        used      conflicts    limit          MB
0.59/0.64	c 
0.59/0.64	c s   0.6   0.0 48868   1.6 323e3    53   285     0   0.0  14.6 
0.69/0.76	c 
0.69/0.76	c initial reduction limit 162105 clauses
0.69/0.76	c 
0.69/0.76	c +   0.8 168e1 48862   2.5 323e3   153   355 178e3   4.8  14.7 
0.69/0.76	c R   0.8 168e1 48862   2.5 323e3   158   360 178e3   5.9  14.7 
0.79/0.82	c +   0.8 153e1 48862   3.5 323e3   303   470 196e3   4.8  14.7 
0.89/1.00	c R   1.0 131e1 48862   4.9 323e3   458   609 196e3   3.2  14.7 
1.00/1.08	c +   1.1 125e1 48862   5.5 323e3   528   668 215e3   1.4  14.7 
1.29/1.34	c +   1.3 115e1 48862  13.1 323e3   865   927 237e3  15.7  14.8 
1.49/1.56	c R   1.6 110e1 48862  13.6 323e3  1261  1271 237e3  10.9  14.9 
1.59/1.65	c +   1.6 108e1 48862  13.7 323e3  1370  1367 261e3  13.0  14.9 
2.09/2.11	c +   2.1 944.3 48862  17.5 323e3  2127  2041 287e3  12.0  14.9 
2.39/2.44	c R   2.4 863.7 48861  18.2 323e3  2700  2529 287e3   2.4  15.0 
2.59/2.65	c R   2.7 835.7 48861  18.2 323e3  3000  2809 287e3   3.1  15.0 
2.79/2.88	c +   2.9 812.3 48861  18.9 323e3  3262  3036 315e3  24.1  15.0 
3.09/3.14	c s   3.1 812.0 48859  19.4 322e3  3319  3086 315e3  28.9  15.1 
3.19/3.28	c R   3.3 787.7 48859  19.4 322e3  3800  3524 315e3   6.7  15.1 
3.69/3.77	c +   3.8 732.3 48859  23.8 322e3  4965  4579 347e3   4.9  15.3 
3.79/3.85	c R   3.9 709.5 48859  23.8 322e3  5805  5357 347e3  11.1  15.4 
4.39/4.49	c +   4.5 661.7 48859  24.6 322e3  7518  6957 382e3  24.4  15.6 
7.08/7.12	c R   7.1 567.8 48859  49.7 322e3 10614  9790 382e3  16.0  16.4 
7.28/7.37	c s   7.4 566.2 48833  49.7 321e3 10818  9958 382e3  37.5  16.3 
8.18/8.28	c R   8.3 563.6 48833  52.9 321e3 10918 10053 382e3   3.2  16.5 
8.18/8.28	c 
8.18/8.28	c  seconds     variables   original    learned     agility
8.18/8.28	c         level        used      conflicts    limit          MB
8.18/8.28	c 
8.58/8.69	c R   8.7 556.9 48833  52.9 321e3 11219 10339 382e3  13.9  16.7 
8.69/8.76	c +   8.8 553.4 48833  52.9 321e3 11347 10458 420e3  17.7  16.7 
9.08/9.13	c R   9.1 541.7 48829  53.6 321e3 11742 10804 420e3  15.2  16.7 
9.28/9.35	c R   9.3 534.8 48829  53.6 321e3 12043 11079 420e3  15.8  16.8 
9.58/9.64	c R   9.6 526.5 48829  53.6 321e3 12843 11837 420e3  12.4  16.9 
10.48/10.52	c s  10.5 519.4 48829  53.6 320e3 13176 12142 420e3  29.8  16.9 
31.98/32.08	c R  32.1 509.6 48829  57.8 320e3 14847 13763 420e3  15.9  22.9 
46.36/46.41	c +  46.4 487.0 48829  57.8 320e3 17090 15916 462e3  25.5  26.0 
67.95/68.04	c N  68.0 468.7 48829  60.5 320e3 19659 18380 462e3  29.6  31.7 
87.64/87.73	c s  87.7 444.2 48828  60.5 320e3 23217 21744 462e3  27.4  35.2 
87.95/88.06	c R  88.0 441.3 48828  60.5 320e3 23317 21826 462e3   6.4  35.2 
88.24/88.30	c R  88.3 436.1 48828  60.5 320e3 23617 22094 462e3  10.5  35.2 
88.54/88.65	c R  88.6 433.2 48827  60.5 320e3 24196 22629 462e3  18.5  35.3 
89.24/89.37	c N  89.3 430.2 48827  60.5 320e3 24497 22908 462e3  31.4  35.5 
91.44/91.53	c s  91.5 429.4 48827  60.5 320e3 24750 23161 462e3  32.1  36.1 
92.94/93.07	c R  93.0 424.6 48827  60.5 320e3 25298 23673 462e3  15.1  36.4 
93.44/93.52	c +  93.5 419.6 48827  60.5 320e3 25704 24036 508e3  11.8  36.5 
94.44/94.50	c R  94.5 408.7 48827  60.5 320e3 27301 25527 508e3  17.5  36.7 
98.45/98.53	c N  98.5 379.0 48827  60.5 320e3 32114 29936 508e3  31.7  37.5 
117.43/117.56	c s 117.5 356.6 48826  68.5 320e3 38515 36048 508e3  25.4  42.9 
118.13/118.20	c N 118.1 356.5 48826  68.5 320e3 38617 36149 508e3  24.6  43.0 
118.13/118.25	c + 118.2 356.4 48826  68.5 320e3 38625 36157 559e3  21.8  43.0 
118.13/118.25	c 
118.13/118.25	c  seconds     variables   original    learned     agility
118.13/118.25	c         level        used      conflicts    limit          MB
118.13/118.25	c 
118.23/118.36	c R 118.3 355.4 48826  68.5 320e3 38918 36436 559e3  16.5  43.0 
119.13/119.25	c R 119.2 352.1 48826  68.6 320e3 39718 37182 559e3  17.0  43.4 
131.23/131.35	c N 131.3 347.1 48826  68.6 320e3 41722 39121 559e3  29.3  46.5 
160.52/160.61	c N 160.5 334.7 48826  68.6 320e3 46526 43738 559e3  27.1  53.8 
164.91/165.05	c s 165.0 331.4 48801  68.6 320e3 47494 44606 559e3  11.8  54.8 
165.01/165.12	c N 165.0 331.0 48801  68.6 320e3 47591 44696 559e3  24.2  54.8 
165.61/165.79	c R 165.7 330.3 48801  68.8 320e3 47894 44988 559e3  15.4  55.0 
168.12/168.27	c N 168.2 326.0 48801  76.3 320e3 48698 45701 559e3  26.0  55.3 
174.31/174.48	c N 174.4 320.8 48801  76.3 320e3 50701 47575 559e3  30.9  56.6 
183.10/183.26	c R 183.2 308.6 48801  76.3 320e3 55517 52091 559e3  20.5  58.4 
202.31/202.48	c + 202.4 305.7 48801  76.3 320e3 58010 54538 615e3  31.5  62.5 
265.98/266.13	c N 266.0 297.6 48801  76.3 320e3 66745 63109 615e3  29.5  81.5 
407.33/407.58	c + 407.4 283.5 48801  76.3 320e3 87081 83077 677e3  24.7 118.3 
430.32/430.54	c s 430.4 281.2 48800  76.3 320e3 91042 86986 677e3  30.2 124.8 
430.42/430.68	c R 430.5 281.1 48800  76.3 320e3 91142 87082 677e3  22.9 124.9 
433.42/433.64	c N 433.5 280.9 48800  76.3 320e3 91442 87382 677e3  29.0 125.8 
435.42/435.69	c s 435.5 280.9 48799  76.3 320e3 91648 87584 677e3  26.4 126.3 
435.72/435.98	c N 435.8 280.7 48799  76.3 320e3 91748 87680 677e3  23.9 126.4 
436.71/436.99	c N 436.8 280.3 48799  76.3 320e3 92050 87974 677e3  26.1 126.7 
437.91/438.13	c R 438.0 280.1 48798  76.3 320e3 92243 88161 677e3  22.8 127.1 
438.12/438.36	c R 438.2 279.3 48798  76.3 320e3 92544 88422 677e3  10.8 127.1 
439.72/439.98	c s 439.8 278.8 48798  76.3 320e3 92880 88745 677e3  31.6 127.4 
439.72/439.98	c 
439.72/439.98	c  seconds     variables   original    learned     agility
439.72/439.98	c         level        used      conflicts    limit          MB
439.72/439.98	c 
441.62/441.84	c R 441.7 277.9 48798  76.3 320e3 93344 89174 677e3  13.9 127.9 
446.51/446.74	c R 446.6 276.2 48798  76.3 320e3 95348 91152 677e3  20.8 129.1 
471.30/471.52	c s 471.3 274.9 48797  76.3 320e3 98677 94428 677e3  28.6 134.2 
471.40/471.67	c R 471.5 274.6 48797  76.3 320e3 98777 94523 677e3  18.5 134.3 
472.40/472.66	c N 472.5 274.1 48797  76.3 320e3 99077 94801 677e3  27.3 134.6 
478.30/478.53	c N 478.4 273.2 48797  76.3 320e3 99880 95582 677e3  30.0 135.7 
486.60/486.84	c R 486.7 272.2 48797  76.3 320e3 101e3 97570 677e3  22.9 138.0 
531.28/531.59	c R 531.4 270.5 48797  76.3 320e3 106e3 102e3 677e3  16.0 148.9 
578.86/579.13	c s 578.9 262.4 48786  76.4 320e3 117e3 112e3 677e3  30.0 160.1 
579.56/579.81	c R 579.6 262.2 48784  76.4 320e3 117e3 112e3 677e3  17.1 160.3 
580.66/580.91	c R 580.7 261.8 48784  76.4 320e3 117e3 113e3 677e3  21.0 160.5 
581.36/581.65	c R 581.4 260.9 48782  76.4 320e3 118e3 113e3 677e3  16.6 160.6 
581.57/581.84	c N 581.6 260.5 48782  76.4 320e3 118e3 114e3 677e3  26.1 160.7 
582.06/582.39	c R 582.2 259.7 48782  76.4 320e3 119e3 114e3 677e3  18.2 160.8 
583.07/583.30	c s 583.1 258.9 48782  76.4 320e3 120e3 115e3 677e3  18.2 160.8 
584.97/585.22	c N 585.0 257.9 48776  76.4 320e3 120e3 115e3 677e3  29.9 161.2 
586.47/586.78	c R 586.6 257.8 48776  77.0 320e3 120e3 115e3 677e3  21.9 161.6 
587.67/587.93	c s 587.7 257.5 48776  77.0 319e3 121e3 116e3 677e3  33.7 161.8 
588.37/588.68	c R 588.5 257.3 48776  77.0 319e3 121e3 116e3 677e3  18.4 162.0 
601.96/602.22	c N 602.0 256.3 48776  77.0 319e3 123e3 118e3 677e3  33.6 164.0 
627.15/627.49	c s 627.3 256.4 48775  77.0 319e3 125e3 120e3 677e3  24.5 168.1 
627.55/627.83	c N 627.6 256.4 48775  77.0 319e3 125e3 120e3 677e3  25.0 168.1 
627.55/627.83	c 
627.55/627.83	c  seconds     variables   original    learned     agility
627.55/627.83	c         level        used      conflicts    limit          MB
627.55/627.83	c 
628.25/628.59	c N 628.3 256.2 48775  77.0 319e3 125e3 120e3 677e3  24.6 168.3 
628.95/629.29	c R 629.1 255.3 48775  77.0 319e3 126e3 121e3 677e3   9.4 168.4 
630.44/630.77	c N 630.5 253.1 48775  77.0 319e3 128e3 123e3 677e3  31.3 168.6 
632.65/632.98	c s 632.7 252.9 48765  77.0 319e3 129e3 124e3 677e3  25.4 169.1 
633.45/633.76	c R 633.5 253.1 48765  77.0 319e3 129e3 124e3 677e3  18.4 169.2 
633.95/634.24	c R 634.0 252.4 48765  77.0 319e3 129e3 124e3 677e3  10.5 169.3 
635.25/635.55	c + 635.3 250.7 48765  77.0 319e3 130e3 125e3 744e3   5.3 169.4 
635.55/635.88	c N 635.6 250.7 48765  77.0 319e3 130e3 125e3 744e3  32.9 169.5 
637.35/637.62	c s 637.4 250.2 48757  77.6 319e3 131e3 125e3 744e3   0.4 169.7 
638.15/638.48	c N 638.2 250.2 48757  77.6 319e3 131e3 125e3 744e3  31.4 169.8 
639.54/639.81	c N 639.6 250.0 48756  77.6 319e3 131e3 125e3 744e3  29.1 170.0 
640.54/640.83	c R 640.6 249.5 48756  77.6 319e3 131e3 126e3 744e3   5.5 170.2 
641.84/642.18	c s 641.9 249.3 48756  77.6 319e3 131e3 126e3 744e3  16.7 170.4 
642.54/642.86	c R 642.6 248.8 48756  77.6 319e3 132e3 126e3 744e3  19.7 170.6 
648.84/649.15	c N 648.9 248.4 48756  77.6 319e3 134e3 128e3 744e3  27.6 172.8 
668.93/669.22	c N 669.0 248.2 48756  77.6 319e3 139e3 133e3 744e3  33.2 182.2 
715.82/716.14	c s 715.9 243.3 48749  77.6 319e3 148e3 142e3 744e3   7.5 189.1 
716.01/716.34	c N 716.1 243.2 48749  77.6 319e3 148e3 142e3 744e3  30.5 189.1 
716.31/716.61	c N 716.3 243.1 48749  77.6 319e3 149e3 142e3 744e3  29.2 189.3 
716.92/717.27	c R 717.0 242.3 48749  77.6 319e3 149e3 143e3 744e3   4.8 189.4 
732.61/732.90	c N 732.6 241.8 48749  77.6 319e3 151e3 145e3 744e3  23.8 194.2 
771.90/772.20	c N 771.9 241.1 48749  77.6 319e3 156e3 150e3 744e3  28.4 206.9 
771.90/772.20	c 
771.90/772.20	c  seconds     variables   original    learned     agility
771.90/772.20	c         level        used      conflicts    limit          MB
771.90/772.20	c 
830.48/830.85	c N 830.5 237.6 48749  77.6 319e3 167e3 161e3 744e3  23.9 220.8 
880.66/881.07	c s 880.7 236.7 48748  77.6 319e3 173e3 167e3 744e3  15.7 235.4 
881.16/881.59	c R 881.3 236.7 48748  77.6 319e3 173e3 167e3 744e3  22.4 235.4 
882.86/883.26	c N 882.9 236.7 48748  77.6 319e3 174e3 167e3 744e3  28.9 236.0 
890.36/890.76	c N 890.4 236.7 48748  77.6 319e3 174e3 168e3 744e3  29.8 237.5 
900.25/900.63	c N 900.3 236.5 48748  77.6 319e3 176e3 170e3 744e3  26.5 240.1 
920.34/920.74	c R 920.4 235.4 48748  77.6 319e3 181e3 174e3 744e3  20.4 246.1 
923.24/923.69	c s 923.3 230.1 48747  77.6 319e3 187e3 180e3 744e3  29.0 246.5 
924.44/924.87	c N 924.5 230.0 48747  77.6 319e3 187e3 180e3 744e3  31.1 246.7 
931.04/931.42	c N 931.1 230.0 48747  77.6 319e3 187e3 180e3 744e3  32.4 247.9 
945.43/945.88	c N 945.5 229.9 48747  77.6 319e3 188e3 181e3 744e3  31.2 251.1 
956.73/957.14	c N 956.8 229.5 48747  77.6 319e3 190e3 183e3 744e3  36.5 253.6 
977.92/978.35	c N 978.0 227.3 48747  77.6 319e3 195e3 188e3 744e3  35.0 258.5 
980.33/980.70	c + 980.3 227.1 48747  77.6 319e3 196e3 188e3 819e3  22.5 259.3 
1101.08/1101.55	c N 110e1 227.0 48747  77.6 319e3 206e3 199e3 819e3  30.3 287.1 
1183.86/1184.39	c s 118e1 226.4 48739  77.6 319e3 218e3 211e3 819e3  35.9 311.0 
1184.16/1184.68	c N 118e1 226.5 48739  77.9 319e3 219e3 211e3 819e3  33.2 311.1 
1185.45/1185.94	c N 119e1 226.6 48739  77.9 319e3 219e3 211e3 819e3  23.0 311.3 
1186.65/1187.16	c N 119e1 226.5 48738  77.9 319e3 219e3 212e3 819e3  36.7 311.8 
1189.05/1189.50	c s 119e1 226.5 48738  77.9 319e3 219e3 212e3 819e3  33.0 312.4 
1190.05/1190.54	c N 119e1 226.5 48738  77.9 319e3 219e3 212e3 819e3  33.9 312.4 
1190.95/1191.49	c N 119e1 226.5 48737  77.9 319e3 220e3 212e3 819e3  28.3 312.5 
1190.95/1191.49	c 
1190.95/1191.49	c  seconds     variables   original    learned     agility
1190.95/1191.49	c         level        used      conflicts    limit          MB
1190.95/1191.49	c 
1191.86/1192.39	c N 119e1 226.4 48737  77.9 319e3 220e3 212e3 819e3  35.8 312.8 
1194.25/1194.74	c s 119e1 226.2 48737  77.9 319e3 220e3 213e3 819e3   9.4 313.2 
1195.85/1196.38	c R 120e1 226.0 48737  77.9 319e3 221e3 213e3 819e3  20.9 313.4

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-1728686-1240739909/watcher-1728686-1240739909 -o /tmp/evaluation-result-1728686-1240739909/solver-1728686-1240739909 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/picosat HOME/instance-1728686-1240739909.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: 1.91 1.83 1.45 3/64 21711
/proc/meminfo: memFree=1810840/2055920 swapFree=4191900/4192956
[pid=21711] ppid=21709 vsize=3652 CPUtime=0
/proc/21711/stat : 21711 (picosat) R 21709 21711 21515 0 -1 4194304 551 0 0 0 0 0 0 0 18 0 1 0 102025751 3739648 537 1992294400 134512640 135137933 4294956224 18446744073709551615 134532134 0 0 4096 0 0 0 0 17 1 0 0
/proc/21711/statm: 913 542 53 152 0 759 0

[startup+0.0485159 s]
/proc/loadavg: 1.91 1.83 1.45 3/64 21711
/proc/meminfo: memFree=1810840/2055920 swapFree=4191900/4192956
[pid=21711] ppid=21709 vsize=5432 CPUtime=0.04
/proc/21711/stat : 21711 (picosat) R 21709 21711 21515 0 -1 4194304 1221 0 0 0 4 0 0 0 18 0 1 0 102025751 5562368 1206 1992294400 134512640 135137933 4294956224 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 1 0 0
/proc/21711/statm: 1358 1206 56 152 0 1204 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5432

[startup+0.101526 s]
/proc/loadavg: 1.91 1.83 1.45 3/64 21711
/proc/meminfo: memFree=1810840/2055920 swapFree=4191900/4192956
[pid=21711] ppid=21709 vsize=7536 CPUtime=0.09
/proc/21711/stat : 21711 (picosat) R 21709 21711 21515 0 -1 4194304 1726 0 0 0 9 0 0 0 18 0 1 0 102025751 7716864 1711 1992294400 134512640 135137933 4294956224 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 1 0 0
/proc/21711/statm: 1884 1711 56 152 0 1730 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7536

[startup+0.301564 s]
/proc/loadavg: 1.91 1.83 1.45 3/64 21711
/proc/meminfo: memFree=1810840/2055920 swapFree=4191900/4192956
[pid=21711] ppid=21709 vsize=16068 CPUtime=0.29
/proc/21711/stat : 21711 (picosat) R 21709 21711 21515 0 -1 4194304 3673 0 0 0 28 1 0 0 19 0 1 0 102025751 16453632 3658 1992294400 134512640 135137933 4294956224 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 1 0 0
/proc/21711/statm: 4017 3658 56 152 0 3863 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16068

[startup+0.701645 s]
/proc/loadavg: 1.91 1.83 1.45 3/64 21711
/proc/meminfo: memFree=1810840/2055920 swapFree=4191900/4192956
[pid=21711] ppid=21709 vsize=18048 CPUtime=0.69
/proc/21711/stat : 21711 (picosat) R 21709 21711 21515 0 -1 4194304 4214 0 0 0 67 2 0 0 22 0 1 0 102025751 18481152 4199 1992294400 134512640 135137933 4294956224 18446744073709551615 134548930 0 0 4096 0 0 0 0 17 1 0 0
/proc/21711/statm: 4512 4199 69 152 0 4358 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18048

[startup+1.5018 s]
/proc/loadavg: 1.91 1.83 1.45 2/65 21712
/proc/meminfo: memFree=1794000/2055920 swapFree=4191900/4192956
[pid=21711] ppid=21709 vsize=18316 CPUtime=1.49
/proc/21711/stat : 21711 (picosat) R 21709 21711 21515 0 -1 4194304 4253 0 0 0 147 2 0 0 25 0 1 0 102025751 18755584 4238 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/21711/statm: 4579 4238 69 152 0 4425 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18316

[startup+3.10112 s]
/proc/loadavg: 1.91 1.83 1.45 2/65 21712
/proc/meminfo: memFree=1793744/2055920 swapFree=4191900/4192956
[pid=21711] ppid=21709 vsize=18580 CPUtime=3.09
/proc/21711/stat : 21711 (picosat) R 21709 21711 21515 0 -1 4194304 4331 0 0 0 307 2 0 0 25 0 1 0 102025751 19025920 4316 1992294400 134512640 135137933 4294956224 18446744073709551615 134525607 0 0 4096 0 0 0 0 17 1 0 0
/proc/21711/statm: 4645 4316 69 152 0 4491 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18580

[startup+6.30175 s]
/proc/loadavg: 1.84 1.82 1.45 2/65 21712
/proc/meminfo: memFree=1792784/2055920 swapFree=4191900/4192956
[pid=21711] ppid=21709 vsize=19632 CPUtime=6.29
/proc/21711/stat : 21711 (picosat) R 21709 21711 21515 0 -1 4194304 4587 0 0 0 627 2 0 0 25 0 1 0 102025751 20103168 4572 1992294400 134512640 135137933 4294956224 18446744073709551615 134548866 0 0 4096 0 0 0 0 17 1 0 0
/proc/21711/statm: 4908 4572 69 152 0 4754 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19632

[startup+12.702 s]
/proc/loadavg: 1.77 1.81 1.44 2/65 21712
/proc/meminfo: memFree=1790864/2055920 swapFree=4191900/4192956
[pid=21711] ppid=21709 vsize=21636 CPUtime=12.68
/proc/21711/stat : 21711 (picosat) R 21709 21711 21515 0 -1 4194304 5092 0 0 0 1266 2 0 0 25 0 1 0 102025751 22155264 5077 1992294400 134512640 135137933 4294956224 18446744073709551615 134548608 0 0 4096 0 0 0 0 17 1 0 0
/proc/21711/statm: 5409 5077 69 152 0 5255 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21636

[startup+25.5016 s]
/proc/loadavg: 1.60 1.77 1.44 2/65 21712
/proc/meminfo: memFree=1787280/2055920 swapFree=4191900/4192956
[pid=21711] ppid=21709 vsize=24876 CPUtime=25.47
/proc/21711/stat : 21711 (picosat) R 21709 21711 21515 0 -1 4194304 5907 0 0 0 2544 3 0 0 25 0 1 0 102025751 25473024 5892 1992294400 134512640 135137933 4294956224 18446744073709551615 134552037 0 0 4096 0 0 0 0 17 1 0 0
/proc/21711/statm: 6219 5892 69 152 0 6065 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 24876

[startup+51.1016 s]
/proc/loadavg: 1.40 1.70 1.43 2/65 21712
/proc/meminfo: memFree=1781136/2055920 swapFree=4191900/4192956
[pid=21711] ppid=21709 vsize=31300 CPUtime=51.06
/proc/21711/stat : 21711 (picosat) R 21709 21711 21515 0 -1 4194304 7455 0 0 0 5101 5 0 0 25 0 1 0 102025751 32051200 7440 1992294400 134512640 135137933 4294956224 18446744073709551615 134527773 0 0 4096 0 0 0 0 17 1 0 0
/proc/21711/statm: 7825 7440 69 152 0 7671 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 31300

[startup+102.306 s]
/proc/loadavg: 1.17 1.59 1.40 2/65 21712
/proc/meminfo: memFree=1768912/2055920 swapFree=4191900/4192956
[pid=21711] ppid=21709 vsize=43524 CPUtime=102.25
/proc/21711/stat : 21711 (picosat) R 21709 21711 21515 0 -1 4194304 10498 0 0 0 10217 8 0 0 25 0 1 0 102025751 44568576 10483 1992294400 134512640 135137933 4294956224 18446744073709551615 134548558 0 0 4096 0 0 0 0 17 1 0 0
/proc/21711/statm: 10881 10483 69 152 0 10727 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 43524

[startup+162.302 s]
/proc/loadavg: 1.06 1.48 1.37 2/65 21718
/proc/meminfo: memFree=1753424/2055920 swapFree=4191900/4192956
[pid=21711] ppid=21709 vsize=58892 CPUtime=162.21
/proc/21711/stat : 21711 (picosat) R 21709 21711 21515 0 -1 4194304 14359 0 0 0 16211 10 0 0 25 0 1 0 102025751 60305408 14344 1992294400 134512640 135137933 4294956224 18446744073709551615 134552026 0 0 4096 0 0 0 0 17 1 0 0
/proc/21711/statm: 14723 14344 69 152 0 14569 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 58892

[startup+222.302 s]
/proc/loadavg: 1.02 1.39 1.35 2/65 21718
/proc/meminfo: memFree=1738256/2055920 swapFree=4191900/4192956
[pid=21711] ppid=21709 vsize=73900 CPUtime=222.19
/proc/21711/stat : 21711 (picosat) R 21709 21711 21515 0 -1 4194304 18127 0 0 0 22205 14 0 0 25 0 1 0 102025751 75673600 18112 1992294400 134512640 135137933 4294956224 18446744073709551615 134548801 0 0 4096 0 0 0 0 17 1 0 0
/proc/21711/statm: 18475 18112 69 152 0 18321 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 73900

[startup+282.302 s]
/proc/loadavg: 1.01 1.32 1.32 2/65 21718
/proc/meminfo: memFree=1719824/2055920 swapFree=4191900/4192956
[pid=21711] ppid=21709 vsize=92584 CPUtime=282.17
/proc/21711/stat : 21711 (picosat) R 21709 21711 21515 0 -1 4194304 22753 0 0 0 28199 18 0 0 25 0 1 0 102025751 94806016 22738 1992294400 134512640 135137933 4294956224 18446744073709551615 134552061 0 0 4096 0 0 0 0 17 1 0 0
/proc/21711/statm: 23146 22738 69 152 0 22992 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 92584

[startup+342.301 s]
/proc/loadavg: 1.00 1.26 1.30 2/65 21718
/proc/meminfo: memFree=1707536/2055920 swapFree=4191900/4192956
[pid=21711] ppid=21709 vsize=104556 CPUtime=342.15
/proc/21711/stat : 21711 (picosat) R 21709 21711 21515 0 -1 4194304 25762 0 0 0 34194 21 0 0 25 0 1 0 102025751 107065344 25747 1992294400 134512640 135137933 4294956224 18446744073709551615 134552375 0 0 4096 0 0 0 0 17 1 0 0
/proc/21711/statm: 26139 25747 69 152 0 25985 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 104556

[startup+402.301 s]
/proc/loadavg: 1.00 1.21 1.28 2/65 21718
/proc/meminfo: memFree=1689296/2055920 swapFree=4191900/4192956
[pid=21711] ppid=21709 vsize=123036 CPUtime=402.13
/proc/21711/stat : 21711 (picosat) R 21709 21711 21515 0 -1 4194304 30366 0 0 0 40188 25 0 0 25 0 1 0 102025751 125988864 30351 1992294400 134512640 135137933 4294956224 18446744073709551615 134548772 0 0 4096 0 0 0 0 17 1 0 0
/proc/21711/statm: 30759 30351 69 152 0 30605 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 123036

[startup+462.301 s]
/proc/loadavg: 1.00 1.17 1.26 2/65 21718
/proc/meminfo: memFree=1672272/2055920 swapFree=4191900/4192956
[pid=21711] ppid=21709 vsize=139652 CPUtime=462.11
/proc/21711/stat : 21711 (picosat) R 21709 21711 21515 0 -1 4194304 34549 0 0 0 46181 30 0 0 25 0 1 0 102025751 143003648 34534 1992294400 134512640 135137933 4294956224 18446744073709551615 134553611 0 0 4096 0 0 0 0 17 1 0 0
/proc/21711/statm: 34913 34534 69 152 0 34759 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 139652

[startup+522.301 s]
/proc/loadavg: 1.00 1.13 1.24 2/65 21718
/proc/meminfo: memFree=1657296/2055920 swapFree=4191900/4192956
[pid=21711] ppid=21709 vsize=154668 CPUtime=522.09
/proc/21711/stat : 21711 (picosat) R 21709 21711 21515 0 -1 4194304 38295 0 0 0 52176 33 0 0 25 0 1 0 102025751 158380032 38280 1992294400 134512640 135137933 4294956224 18446744073709551615 134551387 0 0 4096 0 0 0 0 17 1 0 0
/proc/21711/statm: 38667 38280 69 152 0 38513 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 154668

[startup+582.301 s]
/proc/loadavg: 1.00 1.11 1.22 2/65 21718
/proc/meminfo: memFree=1643344/2055920 swapFree=4191900/4192956
[pid=21711] ppid=21709 vsize=168336 CPUtime=582.06
/proc/21711/stat : 21711 (picosat) R 21709 21711 21515 0 -1 4194304 41749 0 0 0 58171 35 0 0 25 0 1 0 102025751 172376064 41734 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/21711/statm: 42084 41734 69 152 0 41930 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 168336

[startup+642.302 s]
/proc/loadavg: 1.00 1.08 1.20 2/65 21718
/proc/meminfo: memFree=1633168/2055920 swapFree=4191900/4192956
[pid=21711] ppid=21709 vsize=178380 CPUtime=642.05
/proc/21711/stat : 21711 (picosat) R 21709 21711 21515 0 -1 4194304 44254 0 0 0 64167 38 0 0 25 0 1 0 102025751 182661120 44239 1992294400 134512640 135137933 4294956224 18446744073709551615 134549147 0 0 4096 0 0 0 0 17 1 0 0
/proc/21711/statm: 44595 44239 69 152 0 44441 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 178380

[startup+702.302 s]
/proc/loadavg: 1.00 1.07 1.19 2/65 21718
/proc/meminfo: memFree=1615504/2055920 swapFree=4191900/4192956
[pid=21711] ppid=21709 vsize=196348 CPUtime=702.03
/proc/21711/stat : 21711 (picosat) R 21709 21711 21515 0 -1 4194304 48646 0 0 0 70160 43 0 0 25 0 1 0 102025751 201060352 48631 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/21711/statm: 49087 48631 69 152 0 48933 0
Current children cumulated CPU time (s) 702.03
Current children cumulated vsize (KiB) 196348

[startup+762.306 s]
/proc/loadavg: 1.00 1.05 1.17 2/65 21718
/proc/meminfo: memFree=1598992/2055920 swapFree=4191900/4192956
[pid=21711] ppid=21709 vsize=212732 CPUtime=762
/proc/21711/stat : 21711 (picosat) R 21709 21711 21515 0 -1 4194304 52747 0 0 0 76155 45 0 0 25 0 1 0 102025751 217837568 52732 1992294400 134512640 135137933 4294956224 18446744073709551615 134548844 0 0 4096 0 0 0 0 17 1 0 0
/proc/21711/statm: 53183 52732 69 152 0 53029 0
Current children cumulated CPU time (s) 762
Current children cumulated vsize (KiB) 212732

[startup+822.302 s]
/proc/loadavg: 1.00 1.04 1.16 2/65 21718
/proc/meminfo: memFree=1584080/2055920 swapFree=4191900/4192956
[pid=21711] ppid=21709 vsize=227748 CPUtime=821.98
/proc/21711/stat : 21711 (picosat) R 21709 21711 21515 0 -1 4194304 56509 0 0 0 82149 49 0 0 25 0 1 0 102025751 233213952 56494 1992294400 134512640 135137933 4294956224 18446744073709551615 134527773 0 0 4096 0 0 0 0 17 1 0 0
/proc/21711/statm: 56937 56494 69 152 0 56783 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 227748

[startup+882.302 s]
/proc/loadavg: 1.00 1.03 1.15 2/65 21718
/proc/meminfo: memFree=1566224/2055920 swapFree=4191900/4192956
[pid=21711] ppid=21709 vsize=245444 CPUtime=881.96
/proc/21711/stat : 21711 (picosat) R 21709 21711 21515 0 -1 4194304 60936 0 0 0 88143 53 0 0 25 0 1 0 102025751 251334656 60921 1992294400 134512640 135137933 4294956224 18446744073709551615 134553611 0 0 4096 0 0 0 0 17 1 0 0
/proc/21711/statm: 61361 60921 69 152 0 61207 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 245444

[startup+942.301 s]
/proc/loadavg: 1.00 1.02 1.14 2/65 21718
/proc/meminfo: memFree=1551120/2055920 swapFree=4191900/4192956
[pid=21711] ppid=21709 vsize=260600 CPUtime=941.93
/proc/21711/stat : 21711 (picosat) R 21709 21711 21515 0 -1 4194304 64726 0 0 0 94137 56 0 0 25 0 1 0 102025751 266854400 64711 1992294400 134512640 135137933 4294956224 18446744073709551615 134551967 0 0 4096 0 0 0 0 17 1 0 0
/proc/21711/statm: 65150 64711 69 152 0 64996 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 260600

[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.13 2/65 21718
/proc/meminfo: memFree=1538576/2055920 swapFree=4191900/4192956
[pid=21711] ppid=21709 vsize=272812 CPUtime=1001.92
/proc/21711/stat : 21711 (picosat) R 21709 21711 21515 0 -1 4194304 67805 0 0 0 100132 60 0 0 25 0 1 0 102025751 279359488 67790 1992294400 134512640 135137933 4294956224 18446744073709551615 134552061 0 0 4096 0 0 0 0 17 1 0 0
/proc/21711/statm: 68203 67790 69 152 0 68049 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 272812

[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.11 2/65 21718
/proc/meminfo: memFree=1526032/2055920 swapFree=4191900/4192956
[pid=21711] ppid=21709 vsize=285712 CPUtime=1061.9
/proc/21711/stat : 21711 (picosat) R 21709 21711 21515 0 -1 4194304 71017 0 0 0 106127 63 0 0 25 0 1 0 102025751 292569088 71002 1992294400 134512640 135137933 4294956224 18446744073709551615 134522698 0 0 4096 0 0 0 0 17 1 0 0
/proc/21711/statm: 71428 71002 69 152 0 71274 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 285712

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.10 2/65 21718
/proc/meminfo: memFree=1506576/2055920 swapFree=4191900/4192956
[pid=21711] ppid=21709 vsize=304744 CPUtime=1121.87
/proc/21711/stat : 21711 (picosat) R 21709 21711 21515 0 -1 4194304 75786 0 0 0 112120 67 0 0 25 0 1 0 102025751 312057856 75771 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/21711/statm: 76186 75771 69 152 0 76032 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 304744

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/65 21718
/proc/meminfo: memFree=1488912/2055920 swapFree=4191900/4192956
[pid=21711] ppid=21709 vsize=322448 CPUtime=1181.86
/proc/21711/stat : 21711 (picosat) R 21709 21711 21515 0 -1 4194304 80217 0 0 0 118114 72 0 0 25 0 1 0 102025751 330186752 80202 1992294400 134512640 135137933 4294956224 18446744073709551615 134552061 0 0 4096 0 0 0 0 17 1 0 0
/proc/21711/statm: 80612 80202 69 152 0 80458 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 322448



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.09 2/65 21718
/proc/meminfo: memFree=1484816/2055920 swapFree=4191900/4192956
[pid=21711] ppid=21709 vsize=326160 CPUtime=1200.05
/proc/21711/stat : 21711 (picosat) R 21709 21711 21515 0 -1 4194304 81176 0 0 0 119932 73 0 0 25 0 1 0 102025751 333987840 81161 1992294400 134512640 135137933 4294956224 18446744073709551615 134553594 0 0 4096 0 0 0 0 17 1 0 0
/proc/21711/statm: 81540 81161 69 152 0 81386 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 326160

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

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

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.09 2/65 21718
/proc/meminfo: memFree=1484816/2055920 swapFree=4191900/4192956
[pid=21711] ppid=21709 vsize=326160 CPUtime=1200.05
/proc/21711/stat : 21711 (picosat) R 21709 21711 21515 0 -1 4194304 81176 0 0 0 119932 73 0 0 25 0 1 0 102025751 333987840 81161 1992294400 134512640 135137933 4294956224 18446744073709551615 134553594 0 0 4096 0 0 0 0 17 1 0 0
/proc/21711/statm: 81540 81161 69 152 0 81386 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 326160

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.56
CPU time (s): 1200.11
CPU user time (s): 1199.33
CPU system time (s): 0.78688
CPU usage (%): 99.963
Max. virtual memory (cumulated for all children) (KiB): 326160

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

runsolver used 0.921859 second user time and 2.49062 second system time

The end

Launcher Data 

Begin job on node1 at 2009-04-26 11:58:31
IDJOB=1728686
IDBENCH=24683
IDSOLVER=506
FILE ID=node1/1728686-1240739909
PBS_JOBID= 9187005
Free space on /tmp= 66328 MiB

SOLVER NAME= picosat 913
BENCH NAME= SAT07/crafted/Hard/contest02/ezfact256_1.sat05-464.reshuffled-07.cnf
COMMAND LINE= HOME/picosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1728686-1240739909/watcher-1728686-1240739909 -o /tmp/evaluation-result-1728686-1240739909/solver-1728686-1240739909 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/picosat HOME/instance-1728686-1240739909.cnf

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

MD5SUM BENCH= 69151394f3e0e8838dc6693844061945
RANDOM SEED=1350980155

node1.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.259
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	: 5931.00
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.259
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:       1811256 kB
Buffers:         14960 kB
Cached:         146088 kB
SwapCached:        384 kB
Active:          44140 kB
Inactive:       130224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1811256 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            8880 kB
Writeback:           0 kB
Mapped:          21820 kB
Slab:            56304 kB
Committed_AS:   364076 kB
PageTables:       1436 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= 66328 MiB
End job on node1 at 2009-04-26 12:18:33