Trace number 1728899

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
precosat 236? (TO) 1200.08 1200.41

General information on the benchmark

Namecrafted/Hard/contest02/
ezfact64_3.sat05-450.reshuffled-07.cnf
MD5SUMa4a7c528ede134442a2d3ba0a444cdbb
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark864.685
Satisfiable
(Un)Satisfiability was proved
Number of variables3073
Number of clauses19785
Sum of the clauses size74601
Maximum clause length4
Minimum clause length1
Number of clauses of size 165
Number of clauses of size 20
Number of clauses of size 34344
Number of clauses of size 415376
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.00/0.00	c PicoSATLight Version 236 3e7a3f8825c0b9e241f38a63fee5517540b2feca
0.00/0.00	c Copyright (C) 2009, Armin Biere, JKU, Linz, Austria.  All rights reserved.
0.00/0.00	c Released on Sun Mar 22 10:16:26 CET 2009
0.00/0.00	c Compiled on Tue Mar 24 21:24:39 CET 2009
0.00/0.00	c g++ (GCC) 4.3.2 20081105 (Red Hat 4.3.2-7)
0.00/0.00	c -O3 -m32 -static -Wall -Wextra -DNDEBUG -DNLOGPRECO -DNSTATSPRECO
0.00/0.00	c -finline-limit=10000000 -fomit-frame-pointer -fno-exceptions
0.00/0.00	c Linux baghera 2.6.27.19-170.2.35.fc10.i686.PAE i686
0.00/0.00	c
0.00/0.00	c reading HOME/instance-1728899-1240742647.cnf
0.00/0.00	c found header 'p cnf 3073 19785'
0.00/0.02	c finished parsing
0.00/0.02	c
0.00/0.02	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.00/0.02	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.00/0.02	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.00/0.02	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.00/0.02	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.00/0.02	c --random=1 --spread=2000 --seed=0 --skip=25
0.00/0.02	c
0.00/0.02	c sizeof     vars[0] = 16   alignment = 0       0 MB
0.00/0.02	c sizeof     orgs[0] =  8   alignment = 0       0 MB
0.00/0.02	c sizeof     occs[0] =  8   alignment = 0       0 MB
0.00/0.02	c sizeof iirfs[0..1] =  8   alignment = 0       0 MB
0.00/0.02	c
0.00/0.02	c starting search after 0.0 seconds
0.00/0.02	c no decision limit
0.00/0.02	c
0.00/0.02	c       original/binary      fixed     eliminated      learned       agility
0.00/0.02	c   seconds        variables     equivalent    conflicts       height       MB
0.00/0.02	c
0.00/0.02	c *    0.0    19606    3003     65     5      0       0      0    0.0   0    1
0.09/0.17	c s    0.2    16847    2826     83   112     52       0      0    0.0   0    1
0.09/0.17	c l    0.2    16847    2826     83   112     52       0  16289    0.0   0    1
0.09/0.19	c N    0.2    19152    2549    138   334     52     124    108   35.3  25    2
0.19/0.21	c N    0.2    21851    2539    138   344     52     225    206   34.3  28    2
0.39/0.46	c N    0.5    47962    2532    138   351     52     826    787   30.1  31    3
0.49/0.51	c B    0.5    53236    2532    138   351     52    1000    954   29.7  30    3
0.59/0.69	c s    0.7    17260    2501    144   376     52    1392   1321   27.6  26    2
0.59/0.69	c -    0.7    17260    2501    144   376     52    1392  14986   27.6  26    2
0.79/0.82	c B    0.8    17298    2492    153   376     52    2001   1922   27.1  34    2
1.19/1.22	c s    1.2    17700    2380    174   467     52    2822   2673   25.9  35    2
1.19/1.22	c -    1.2    17700    2380    174   467     52    2822  14387   25.9  35    2
1.79/1.81	c s    1.8    18563    2351    178   492     52    4694   4505   26.1  32    2
1.79/1.81	c -    1.8    18563    2351    178   492     52    4694  14244   26.1  32    2
2.49/2.54	c s    2.5    19982    2323    179   519     52    6964   6733   25.5  29    3
2.49/2.54	c -    2.5    19982    2323    179   519     52    6964  14102   25.5  29    3
2.79/2.82	c N    2.8    19997    2323    179   519     52    7739   7500   25.5  39    3
2.89/2.93	c B    2.9    20000    2323    179   519     52    8003   7762   25.4  43    3
3.39/3.47	c s    3.5    19999    2323    179   519     52    9365   9120   25.0  38    4
4.39/4.46	c
4.39/4.46	c       original/binary      fixed     eliminated      learned       agility
4.39/4.46	c   seconds        variables     equivalent    conflicts       height       MB
4.39/4.46	c
4.39/4.46	c N    4.5    20234    2313    180   528     52   11750  11500   24.9  34    4
4.59/4.65	c s    4.7    19953    2313    180   528     52   12053  11801   24.8  37    4
5.19/5.20	c +    5.2    20018    2312    180   529     52   14102  15512   24.5  40    5
5.89/5.93	c s    5.9    16740    2269    180   529     95   15847  14382   24.3  33    4
5.89/5.93	c -    5.9    16740    2269    180   529     95   15847  15357   24.3  33    4
6.49/6.51	c +    6.5    16909    2269    180   529     95   17449  16892   24.2  36    5
6.98/7.06	c s    7.1    16905    2269    180   529     95   18996  16944   24.2  36    5
7.79/7.83	c N    7.8    16950    2269    180   529     95   21375  16969   23.8  36    6
7.89/7.97	c +    8.0    16950    2269    180   529     95   21811  18581   23.7  31    6
8.29/8.32	c s    8.3    16946    2269    180   529     95   22695  17844   23.7  33    6
8.69/8.80	c B    8.8    16967    2269    180   529     95   24009  18620   23.7  33    6
9.69/9.74	c s    9.7    16972    2269    180   529     95   26510  18612   23.3  35    6
9.99/10.07	c +   10.1    16980    2269    180   529     95   27260  20439   23.2  34    6
11.19/11.26	c s   11.3    16979    2269    180   529     95   29643  20475   22.8  36    6
12.99/13.09	c +   13.1    16979    2269    180   529     95   34076  22482   22.6  37    7
17.18/17.27	c +   17.3    16979    2269    180   529     95   42597  24730   21.6  40    8
17.88/17.92	c N   17.9    16979    2269    180   529     95   43831  23808   21.6  37    8
22.68/22.79	c +   22.8    16979    2269    180   529     95   53245  27203   21.3  37    9
28.98/29.05	c B   29.0    16979    2269    180   529     95   64019  39135   20.8  37   12
30.38/30.48	c
30.38/30.48	c       original/binary      fixed     eliminated      learned       agility
30.38/30.48	c   seconds        variables     equivalent    conflicts       height       MB
30.38/30.48	c
30.38/30.48	c +   30.5    16979    2269    180   529     95   66558  29923   20.7  32    6
30.69/30.74	c s   30.7    16993    2269    180   529     95   67132  21842   20.7  37    6
32.18/32.23	c s   32.2    16994    2269    180   529     95   71121  25830   20.8  34    7
34.18/34.20	c s   34.2    17025    2269    180   529     95   75613  29946   20.8  37    8
37.68/37.75	c +   37.7    17025    2269    180   529     95   83195  32915   20.8  35    9
44.18/44.26	c N   44.3    17025    2269    180   529     95   95114  32967   20.5  35   10
45.98/46.09	c s   46.1    17027    2269    180   529     95   98534  32936   20.4  34    9
48.18/48.27	c s   48.3    17089    2269    180   529     95  103733  32974   20.3  37    9
48.38/48.45	c +   48.4    17104    2269    180   529     95  103990  36206   20.3  41   10
50.87/50.90	c s   50.9    17101    2269    180   529     95  108784  36259   20.3  41   10
53.47/53.58	c s   53.6    17106    2269    180   529     95  114801  36254   20.2  43   10
56.37/56.47	c s   56.5    17108    2269    180   529     95  119868  36234   20.1  35   10
58.87/58.96	c s   58.9    17119    2269    180   529     95  125833  36256   20.3  41   11
61.08/61.16	c +   61.1    17135    2269    180   529     95  129986  39826   20.2  34   13
61.48/61.57	c s   61.6    17134    2269    180   529     95  130569  36838   20.2  35   12
64.37/64.46	c s   64.4    17143    2269    180   529     95  135004  39870   20.2  38   13
67.87/67.99	c s   68.0    17144    2269    180   529     95  141734  39859   20.0  26   13
70.97/71.05	c s   71.0    17144    2269    180   529     95  148464  39879   19.9  41   14
79.27/79.35	c B   79.3    17144    2269    180   529     95  160044  39856   19.7  42   13
80.67/80.74	c
80.67/80.74	c       original/binary      fixed     eliminated      learned       agility
80.67/80.74	c   seconds        variables     equivalent    conflicts       height       MB
80.67/80.74	c
80.67/80.74	c +   80.7    17144    2269    180   529     95  162481  43808   19.7  41   13
90.36/90.48	c s   90.5    17145    2269    180   529     95  177258  43837   19.4  37   11
93.06/93.12	c s   93.1    17145    2269    180   529     95  182587  43831   19.4  34   12
97.56/97.66	c s   97.6    17146    2269    180   529     95  189807  43830   19.7  30   11
100.26/100.39	c s  100.4    17146    2269    180   529     95  194964  43880   19.7  35   12
103.96/104.02	c +  104.0    17146    2269    180   529     95  203100  48188   19.6  38   14
107.67/107.75	c N  107.7    17146    2269    180   529     95  210472  48238   19.4  35   16
117.05/117.17	c s  117.1    17147    2269    180   529     95  227375  48235   19.1  30   17
122.35/122.41	c s  122.4    17154    2269    180   529     95  231251  48218   19.0  37   16
126.15/126.27	c s  126.2    17170    2269    180   529     95  236887  48205   19.0  35   16
129.25/129.34	c s  129.3    17171    2269    180   529     95  241980  48223   19.0  35   16
138.65/138.76	c +  138.7    17171    2269    180   529     95  253875  53006   19.0  40   17
193.34/193.46	c +  193.4    17171    2269    180   529     95  317340  58306   18.3  34   15
240.73/240.87	c B  240.8    17171    2269    180   529     95  384092  58368   17.8  41   19
249.03/249.17	c +  249.1    17171    2269    180   529     95  396676  64136   17.7  37   20
302.51/302.69	c N  302.6    17171    2269    180   529     95  466828  83258   17.3  37   26
326.70/326.84	c +  326.8    17171    2269    180   529     95  495846  70549   17.1  36   25
428.68/428.83	c +  428.7    17171    2269    180   529     95  619807  77603   16.5  39   26
498.66/498.89	c s  498.8    17172    2269    180   529     95  717268  77663   16.2  35   26
505.56/505.77	c
505.56/505.77	c       original/binary      fixed     eliminated      learned       agility
505.56/505.77	c   seconds        variables     equivalent    conflicts       height       MB
505.56/505.77	c
505.56/505.77	c s  505.6    17176    2269    180   529     95  727210  77640   16.2  41   24
511.85/512.09	c s  512.0    17177    2269    180   529     95  739668  77648   16.2  37   25
519.85/520.00	c s  519.9    17178    2269    180   529     95  750955  77654   16.3  41   24
528.75/528.94	c s  528.8    17020    2265    181   529     98  761528  77192   16.3  35   22
535.65/535.82	c s  535.7    16941    2248    187   540     98  772632  77638   16.4  38   21
537.65/537.84	c +  537.7    16943    2248    187   540     98  774755  85363   16.4  32   23
542.64/542.82	c s  542.7    16714    2235    187   540    111  780174  83029   16.4  34   22
548.44/548.69	c s  548.6    16726    2234    187   541    111  789697  85440   16.4  35   23
557.74/558.00	c s  557.8    16742    2234    187   541    111  799957  85418   16.4  37   22
567.14/567.30	c s  567.2    16743    2234    187   541    111  809670  85383   16.5  36   21
573.73/573.94	c s  573.8    16744    2234    187   541    111  821805  85422   16.5  39   21
581.53/581.78	c s  581.6    16744    2234    187   541    111  833809  85409   16.5  36   20
588.73/588.94	c s  588.8    16745    2234    187   541    111  844677  85407   16.5  31   21
595.53/595.78	c s  595.6    16746    2234    187   541    111  855152  85420   16.5  32   21
630.72/630.91	c B  630.7    16746    2234    187   541    111  896174  85440   16.5  35   21
636.32/636.52	c s  636.4    16747    2234    187   541    111  902240  85409   16.5  36   18
643.33/643.59	c s  643.4    16747    2234    187   541    111  913297  85396   16.5  39   18
651.22/651.40	c s  651.2    16749    2234    187   541    111  924650  85400   16.5  38   17
659.32/659.54	c s  659.4    16749    2234    187   541    111  936500  85415   16.5  40   17
681.51/681.72	c
681.51/681.72	c       original/binary      fixed     eliminated      learned       agility
681.51/681.72	c   seconds        variables     equivalent    conflicts       height       MB
681.51/681.72	c
681.51/681.72	c +  681.5    16749    2234    187   541    111  968442  93899   16.5  40   20
730.80/731.07	c s  730.9    16750    2234    187   541    111 1027281  93971   16.4  33   19
733.60/733.86	c N  733.7    16767    2234    187   541    111 1030719  93930   16.5  37   22
739.19/739.42	c s  739.2    16778    2234    187   541    111 1039185  93932   16.5  39   20
748.90/749.12	c s  748.9    16786    2234    187   541    111 1050927  93926   16.5  39   21
759.19/759.42	c s  759.2    16794    2234    187   541    111 1062352  93968   16.5  38   21
768.08/768.38	c s  768.2    16795    2234    187   541    111 1070115  93971   16.5  35   21
778.88/779.20	c s  779.0    16797    2234    187   541    111 1083765  93979   16.5  43   23
789.38/789.63	c s  789.4    16800    2234    187   541    111 1097831  93928   16.5  40   23
801.17/801.46	c s  801.2    16800    2234    187   541    111 1110692  93983   16.5  42   24
834.67/834.99	c s  834.8    16801    2234    187   541    111 1156279  93966   16.5  35   24
844.86/845.11	c s  844.9    16804    2234    187   541    111 1164821  93932   16.5  34   23
853.76/854.02	c s  853.8    16806    2234    187   541    111 1176224  93977   16.5  38   23
865.36/865.68	c s  865.5    16806    2234    187   541    111 1189906  93954   16.5  40   23
885.55/885.88	c +  885.6    16806    2234    187   541    111 1210550 103288   16.5  37   24
924.34/924.65	c s  924.4    16807    2234    187   541    111 1243499 103328   16.5  38   20
935.23/935.54	c s  935.3    16807    2234    187   541    111 1258300 103360   16.5  40   19
955.84/956.10	c s  955.8    16809    2234    187   541    111 1276729 103372   16.5  36   19
966.14/966.47	c s  966.2    16809    2234    187   541    111 1284140 103363   16.5  33   19
976.73/977.04	c
976.73/977.04	c       original/binary      fixed     eliminated      learned       agility
976.73/977.04	c   seconds        variables     equivalent    conflicts       height       MB
976.73/977.04	c
976.73/977.04	c s  976.8    16810    2234    187   541    111 1295265 103345   16.5  36   19
1002.62/1002.99	c s 1002.7    16811    2234    187   541    111 1322762 103376   16.5  38   19
1016.61/1016.91	c s 1016.6    16813    2234    187   541    111 1333538 103330   16.5  39   19
1027.41/1027.72	c s 1027.4    16815    2234    187   541    111 1345875 103384   16.5  39   19
1044.30/1044.60	c s 1044.3    16817    2234    187   541    111 1363358 103333   16.5  37   19
1056.60/1056.97	c s 1056.7    16501    2186    193   551    143 1377081 103290   16.5  37   19
1056.60/1056.97	c - 1056.7    16501    2186    193   551    143 1377081 100190   16.5  37   19
1066.60/1066.98	c s 1066.7    16504    2186    193   551    143 1385341 100273   16.5  35   19
1077.99/1078.36	c s 1078.1    16505    2186    193   551    143 1398402 100270   16.5  39   19
1090.59/1090.92	c s 1090.6    16506    2186    193   551    143 1411446 100241   16.5  41   19
1102.28/1102.64	c s 1102.3    16506    2186    193   551    143 1423342 100233   16.5  31   19
1114.38/1114.73	c s 1114.4    16516    2186    193   551    143 1435904 100268   16.5  36   19
1126.58/1126.98	c s 1126.7    16530    2186    193   551    143 1447241 100226   16.5  38   18
1138.97/1139.31	c s 1139.0    16534    2186    193   551    143 1458707 100264   16.5  31   18
1150.57/1150.93	c + 1150.6    16537    2186    193   551    143 1467790 110209   16.5  38   21
1151.28/1151.63	c s 1151.3    16535    2186    193   551    143 1468294 100756   16.5  36   18
1164.87/1165.28	c s 1165.0    16536    2186    193   551    143 1481240 110272   16.4  35   20
1178.56/1178.99	c s 1178.7    16547    2186    193   551    143 1495974 110321   16.4  37   20
1190.27/1190.66	c s 1190.3    16549    2186    193   551    143 1502839 110286   16.4  36   20
1200.07/1200.40	c
1200.07/1200.40	c *** CAUGHT SIGNAL 15 ***
1200.07/1200.40	c
1200.07/1200.40	c 1510585 conflicts, 1764322 decisions, 1 random
1200.07/1200.40	c 14 iterations, 3 restarts, 2968 skipped
1200.07/1200.40	c 22 enlarged, 2251 shrunken, 14761 rescored, 402 rebiased
1200.07/1200.40	c 84 simplifications, 1 reductions
1200.07/1200.40	c
1200.07/1200.40	c vars: 193 fixed, 551 equiv, 143 elim, 577 merged
1200.07/1200.40	c elim: 460774 resolutions, 6 phases, 6 rounds
1200.07/1200.40	c sbst: 98% substituted, 25.7% nots, 30.7% ands, 43.6% xors, 0.0% ites
1200.07/1200.40	c arty: 2.02 and 2.46 xor average arity
1200.07/1200.40	c prbe: 412329 probed, 83 phases, 91 rounds
1200.07/1200.40	c prbe: 12 failed, 16 lifted, 15 merged
1200.07/1200.40	c sccs: 9 non trivial, 0 fixed, 17 merged
1200.07/1200.40	c hash: 18 units, 545 merged
1200.07/1200.40	c mins: 78023924 learned, 54% deleted, 75 strong, 77 depth
1200.07/1200.40	c subs: 373 forward, 4905 backward, 66192 doms
1200.07/1200.40	c strs: 2649 forward, 2643 backward
1200.07/1200.40	c doms: 66250 dominators, 64977 high, 31 low
1200.07/1200.40	c prps: 627549711 propagations, 0.52 megaprops
1200.07/1200.40	c
1200.07/1200.40	c 1200.1 seconds, 34 MB max, 320 MB recycled
1200.07/1200.40	c
1200.07/1200.40	c *** CAUGHT SIGNAL 15 ***
1200.07/1200.40	c

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-1728899-1240742647/watcher-1728899-1240742647 -o /tmp/evaluation-result-1728899-1240742647/solver-1728899-1240742647 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/precosat HOME/instance-1728899-1240742647.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.92 0.98 0.99 3/67 9710
/proc/meminfo: memFree=1573976/2055920 swapFree=4192812/4192956
[pid=9710] ppid=9708 vsize=1188 CPUtime=0
/proc/9710/stat : 9710 (precosat) R 9708 9710 9427 0 -1 4194304 210 0 0 0 0 0 0 0 18 0 1 0 102290892 1216512 195 1992294400 134512640 135151029 4294956224 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/9710/statm: 297 195 64 155 0 140 0

[startup+0.068524 s]
/proc/loadavg: 0.92 0.98 0.99 3/67 9710
/proc/meminfo: memFree=1573976/2055920 swapFree=4192812/4192956
[pid=9710] ppid=9708 vsize=2736 CPUtime=0.06
/proc/9710/stat : 9710 (precosat) R 9708 9710 9427 0 -1 4194304 700 0 0 0 6 0 0 0 18 0 1 0 102290892 2801664 597 1992294400 134512640 135151029 4294956224 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/9710/statm: 684 598 79 155 0 527 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2736

[startup+0.101527 s]
/proc/loadavg: 0.92 0.98 0.99 3/67 9710
/proc/meminfo: memFree=1573976/2055920 swapFree=4192812/4192956
[pid=9710] ppid=9708 vsize=3264 CPUtime=0.09
/proc/9710/stat : 9710 (precosat) R 9708 9710 9427 0 -1 4194304 818 0 0 0 9 0 0 0 18 0 1 0 102290892 3342336 715 1992294400 134512640 135151029 4294956224 18446744073709551615 134519076 0 0 4096 17442 0 0 0 17 1 0 0
/proc/9710/statm: 816 715 79 155 0 659 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3264

[startup+0.301545 s]
/proc/loadavg: 0.92 0.98 0.99 3/67 9710
/proc/meminfo: memFree=1573976/2055920 swapFree=4192812/4192956
[pid=9710] ppid=9708 vsize=3264 CPUtime=0.29
/proc/9710/stat : 9710 (precosat) R 9708 9710 9427 0 -1 4194304 838 0 0 0 29 0 0 0 19 0 1 0 102290892 3342336 735 1992294400 134512640 135151029 4294956224 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/9710/statm: 816 735 79 155 0 659 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3264

[startup+0.70158 s]
/proc/loadavg: 0.92 0.98 0.99 3/67 9710
/proc/meminfo: memFree=1573976/2055920 swapFree=4192812/4192956
[pid=9710] ppid=9708 vsize=5492 CPUtime=0.69
/proc/9710/stat : 9710 (precosat) R 9708 9710 9427 0 -1 4194304 1380 0 0 0 69 0 0 0 22 0 1 0 102290892 5623808 1277 1992294400 134512640 135151029 4294956224 18446744073709551615 134688971 0 0 4096 17442 0 0 0 17 1 0 0
/proc/9710/statm: 1373 1277 79 155 0 1216 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5492

[startup+1.50165 s]
/proc/loadavg: 0.92 0.98 0.99 2/68 9711
/proc/meminfo: memFree=1569168/2055920 swapFree=4192812/4192956
[pid=9710] ppid=9708 vsize=5496 CPUtime=1.49
/proc/9710/stat : 9710 (precosat) R 9708 9710 9427 0 -1 4194304 1381 0 0 0 149 0 0 0 25 0 1 0 102290892 5627904 1278 1992294400 134512640 135151029 4294956224 18446744073709551615 134554734 0 0 4096 17442 0 0 0 17 1 0 0
/proc/9710/statm: 1374 1278 79 155 0 1217 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5496

[startup+3.1018 s]
/proc/loadavg: 0.92 0.98 0.99 2/68 9711
/proc/meminfo: memFree=1568976/2055920 swapFree=4192812/4192956
[pid=9710] ppid=9708 vsize=5496 CPUtime=3.09
/proc/9710/stat : 9710 (precosat) R 9708 9710 9427 0 -1 4194304 1381 0 0 0 309 0 0 0 25 0 1 0 102290892 5627904 1278 1992294400 134512640 135151029 4294956224 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/9710/statm: 1374 1278 79 155 0 1217 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5496

[startup+6.30109 s]
/proc/loadavg: 0.93 0.98 0.99 2/68 9711
/proc/meminfo: memFree=1567952/2055920 swapFree=4192812/4192956
[pid=9710] ppid=9708 vsize=6832 CPUtime=6.29
/proc/9710/stat : 9710 (precosat) R 9708 9710 9427 0 -1 4194304 1738 0 0 0 629 0 0 0 25 0 1 0 102290892 6995968 1631 1992294400 134512640 135151029 4294956224 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/9710/statm: 1708 1631 79 155 0 1551 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6832

[startup+12.7017 s]
/proc/loadavg: 0.93 0.98 0.99 2/68 9711
/proc/meminfo: memFree=1565584/2055920 swapFree=4192812/4192956
[pid=9710] ppid=9708 vsize=8792 CPUtime=12.69
/proc/9710/stat : 9710 (precosat) R 9708 9710 9427 0 -1 4194304 2210 0 0 0 1268 1 0 0 25 0 1 0 102290892 9003008 2103 1992294400 134512640 135151029 4294956224 18446744073709551615 134554644 0 0 4096 17442 0 0 0 17 1 0 0
/proc/9710/statm: 2198 2103 79 155 0 2041 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8792

[startup+25.5018 s]
/proc/loadavg: 0.95 0.98 0.99 2/68 9711
/proc/meminfo: memFree=1562768/2055920 swapFree=4192812/4192956
[pid=9710] ppid=9708 vsize=11704 CPUtime=25.48
/proc/9710/stat : 9710 (precosat) R 9708 9710 9427 0 -1 4194304 2927 0 0 0 2546 2 0 0 25 0 1 0 102290892 11984896 2820 1992294400 134512640 135151029 4294956224 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/9710/statm: 2926 2821 80 155 0 2769 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 11704

[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.99 2/68 9711
/proc/meminfo: memFree=1560528/2055920 swapFree=4192812/4192956
[pid=9710] ppid=9708 vsize=13820 CPUtime=51.07
/proc/9710/stat : 9710 (precosat) R 9708 9710 9427 0 -1 4194304 3446 0 0 0 5104 3 0 0 25 0 1 0 102290892 14151680 3339 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/9710/statm: 3455 3339 79 155 0 3298 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 13820

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/68 9711
/proc/meminfo: memFree=1557456/2055920 swapFree=4192812/4192956
[pid=9710] ppid=9708 vsize=16632 CPUtime=102.26
/proc/9710/stat : 9710 (precosat) R 9708 9710 9427 0 -1 4194304 4216 0 0 0 10222 4 0 0 25 0 1 0 102290892 17031168 4079 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/9710/statm: 4158 4079 79 155 0 4001 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 16632

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 9711
/proc/meminfo: memFree=1553552/2055920 swapFree=4192812/4192956
[pid=9710] ppid=9708 vsize=20788 CPUtime=162.25
/proc/9710/stat : 9710 (precosat) R 9708 9710 9427 0 -1 4194304 5267 0 0 0 16219 6 0 0 25 0 1 0 102290892 21286912 5075 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/9710/statm: 5197 5075 79 155 0 5040 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 20788

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 9711
/proc/meminfo: memFree=1552080/2055920 swapFree=4192812/4192956
[pid=9710] ppid=9708 vsize=22524 CPUtime=222.23
/proc/9710/stat : 9710 (precosat) R 9708 9710 9427 0 -1 4194304 5618 0 0 0 22217 6 0 0 25 0 1 0 102290892 23064576 5426 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/9710/statm: 5631 5426 79 155 0 5474 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 22524

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 9711
/proc/meminfo: memFree=1547664/2055920 swapFree=4192812/4192956
[pid=9710] ppid=9708 vsize=27364 CPUtime=282.22
/proc/9710/stat : 9710 (precosat) R 9708 9710 9427 0 -1 4194304 6782 0 0 0 28214 8 0 0 25 0 1 0 102290892 28020736 6590 1992294400 134512640 135151029 4294956224 18446744073709551615 134554780 0 0 4096 17442 0 0 0 17 1 0 0
/proc/9710/statm: 6841 6590 79 155 0 6684 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 27364

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 9711
/proc/meminfo: memFree=1544912/2055920 swapFree=4192812/4192956
[pid=9710] ppid=9708 vsize=29948 CPUtime=342.19
/proc/9710/stat : 9710 (precosat) R 9708 9710 9427 0 -1 4194304 7374 0 0 0 34211 8 0 0 25 0 1 0 102290892 30666752 7182 1992294400 134512640 135151029 4294956224 18446744073709551615 134554575 0 0 4096 17442 0 0 0 17 1 0 0
/proc/9710/statm: 7487 7182 79 155 0 7330 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 29948

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 9711
/proc/meminfo: memFree=1544528/2055920 swapFree=4192812/4192956
[pid=9710] ppid=9708 vsize=30532 CPUtime=402.18
/proc/9710/stat : 9710 (precosat) R 9708 9710 9427 0 -1 4194304 7466 0 0 0 40210 8 0 0 25 0 1 0 102290892 31264768 7274 1992294400 134512640 135151029 4294956224 18446744073709551615 134555084 0 0 4096 17442 0 0 0 17 1 0 0
/proc/9710/statm: 7633 7274 79 155 0 7476 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 30532

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 9711
/proc/meminfo: memFree=1539856/2055920 swapFree=4192812/4192956
[pid=9710] ppid=9708 vsize=35292 CPUtime=462.17
/proc/9710/stat : 9710 (precosat) R 9708 9710 9427 0 -1 4194304 8643 0 0 0 46207 10 0 0 25 0 1 0 102290892 36139008 8451 1992294400 134512640 135151029 4294956224 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/9710/statm: 8823 8451 79 155 0 8666 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 35292

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 9711
/proc/meminfo: memFree=1538128/2055920 swapFree=4192812/4192956
[pid=9710] ppid=9708 vsize=36248 CPUtime=522.15
/proc/9710/stat : 9710 (precosat) R 9708 9710 9427 0 -1 4194304 9303 0 0 0 52204 11 0 0 25 0 1 0 102290892 37117952 8852 1992294400 134512640 135151029 4294956224 18446744073709551615 134567860 0 0 4096 17442 0 0 0 17 1 0 0
/proc/9710/statm: 9062 8852 79 155 0 8905 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 36248

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 9711
/proc/meminfo: memFree=1538128/2055920 swapFree=4192812/4192956
[pid=9710] ppid=9708 vsize=36248 CPUtime=582.13
/proc/9710/stat : 9710 (precosat) R 9708 9710 9427 0 -1 4194304 9303 0 0 0 58202 11 0 0 25 0 1 0 102290892 37117952 8852 1992294400 134512640 135151029 4294956224 18446744073709551615 134546391 0 0 4096 17442 0 0 0 17 1 0 0
/proc/9710/statm: 9062 8852 79 155 0 8905 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 36248

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 9711
/proc/meminfo: memFree=1538128/2055920 swapFree=4192812/4192956
[pid=9710] ppid=9708 vsize=36248 CPUtime=642.13
/proc/9710/stat : 9710 (precosat) R 9708 9710 9427 0 -1 4194304 9303 0 0 0 64201 12 0 0 25 0 1 0 102290892 37117952 8852 1992294400 134512640 135151029 4294956224 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/9710/statm: 9062 8852 79 155 0 8905 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 36248

[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 9711
/proc/meminfo: memFree=1538128/2055920 swapFree=4192812/4192956
[pid=9710] ppid=9708 vsize=36248 CPUtime=702.1
/proc/9710/stat : 9710 (precosat) R 9708 9710 9427 0 -1 4194304 9303 0 0 0 70198 12 0 0 25 0 1 0 102290892 37117952 8852 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/9710/statm: 9062 8852 79 155 0 8905 0
Current children cumulated CPU time (s) 702.1
Current children cumulated vsize (KiB) 36248

[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 9711
/proc/meminfo: memFree=1538128/2055920 swapFree=4192812/4192956
[pid=9710] ppid=9708 vsize=36248 CPUtime=762.09
/proc/9710/stat : 9710 (precosat) R 9708 9710 9427 0 -1 4194304 9309 0 0 0 76197 12 0 0 25 0 1 0 102290892 37117952 8858 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/9710/statm: 9062 8858 79 155 0 8905 0
Current children cumulated CPU time (s) 762.09
Current children cumulated vsize (KiB) 36248

[startup+822.301 s]
/proc/loadavg: 1.07 1.00 1.00 2/68 9711
/proc/meminfo: memFree=1538064/2055920 swapFree=4192812/4192956
[pid=9710] ppid=9708 vsize=36248 CPUtime=822.07
/proc/9710/stat : 9710 (precosat) R 9708 9710 9427 0 -1 4194304 9310 0 0 0 82195 12 0 0 25 0 1 0 102290892 37117952 8859 1992294400 134512640 135151029 4294956224 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/9710/statm: 9062 8859 79 155 0 8905 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 36248

[startup+882.302 s]
/proc/loadavg: 1.09 1.02 1.00 2/68 9711
/proc/meminfo: memFree=1538064/2055920 swapFree=4192812/4192956
[pid=9710] ppid=9708 vsize=36248 CPUtime=882.05
/proc/9710/stat : 9710 (precosat) R 9708 9710 9427 0 -1 4194304 9310 0 0 0 88193 12 0 0 25 0 1 0 102290892 37117952 8859 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/9710/statm: 9062 8859 79 155 0 8905 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 36248

[startup+942.302 s]
/proc/loadavg: 1.09 1.03 1.00 2/68 9711
/proc/meminfo: memFree=1538000/2055920 swapFree=4192812/4192956
[pid=9710] ppid=9708 vsize=36248 CPUtime=942.04
/proc/9710/stat : 9710 (precosat) R 9708 9710 9427 0 -1 4194304 9314 0 0 0 94191 13 0 0 25 0 1 0 102290892 37117952 8863 1992294400 134512640 135151029 4294956224 18446744073709551615 134554766 0 0 4096 17442 0 0 0 17 1 0 0
/proc/9710/statm: 9062 8863 79 155 0 8905 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 36248

[startup+1002.3 s]
/proc/loadavg: 1.03 1.02 1.00 2/68 9711
/proc/meminfo: memFree=1538064/2055920 swapFree=4192812/4192956
[pid=9710] ppid=9708 vsize=36248 CPUtime=1002.02
/proc/9710/stat : 9710 (precosat) R 9708 9710 9427 0 -1 4194304 9314 0 0 0 100189 13 0 0 25 0 1 0 102290892 37117952 8863 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/9710/statm: 9062 8863 79 155 0 8905 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 36248

[startup+1062.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/68 9717
/proc/meminfo: memFree=1537872/2055920 swapFree=4192812/4192956
[pid=9710] ppid=9708 vsize=36248 CPUtime=1062
/proc/9710/stat : 9710 (precosat) R 9708 9710 9427 0 -1 4194304 9314 0 0 0 106187 13 0 0 25 0 1 0 102290892 37117952 8863 1992294400 134512640 135151029 4294956224 18446744073709551615 134574638 0 0 4096 17442 0 0 0 17 1 0 0
/proc/9710/statm: 9062 8863 79 155 0 8905 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 36248

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/68 9717
/proc/meminfo: memFree=1537872/2055920 swapFree=4192812/4192956
[pid=9710] ppid=9708 vsize=36248 CPUtime=1121.98
/proc/9710/stat : 9710 (precosat) R 9708 9710 9427 0 -1 4194304 9314 0 0 0 112185 13 0 0 25 0 1 0 102290892 37117952 8863 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/9710/statm: 9062 8863 79 155 0 8905 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 36248

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 9717
/proc/meminfo: memFree=1537936/2055920 swapFree=4192812/4192956
[pid=9710] ppid=9708 vsize=36248 CPUtime=1181.96
/proc/9710/stat : 9710 (precosat) R 9708 9710 9427 0 -1 4194304 9314 0 0 0 118183 13 0 0 25 0 1 0 102290892 37117952 8863 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/9710/statm: 9062 8863 79 155 0 8905 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 36248



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 9717
/proc/meminfo: memFree=1537936/2055920 swapFree=4192812/4192956
[pid=9710] ppid=9708 vsize=36248 CPUtime=1200.07
/proc/9710/stat : 9710 (precosat) R 9708 9710 9427 0 -1 4194304 9314 0 0 0 119993 14 0 0 25 0 1 0 102290892 37117952 8863 1992294400 134512640 135151029 4294956224 18446744073709551615 134580477 0 0 4096 17442 0 0 0 17 1 0 0
/proc/9710/statm: 9062 8863 79 155 0 8905 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 36248

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.41
CPU time (s): 1200.08
CPU user time (s): 1199.94
CPU system time (s): 0.147977
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 37828

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

runsolver used 1.03184 second user time and 3.35649 second system time

The end

Launcher Data

Begin job on node68 at 2009-04-26 12:44:07
IDJOB=1728899
IDBENCH=24688
IDSOLVER=507
FILE ID=node68/1728899-1240742647
PBS_JOBID= 9187007
Free space on /tmp= 66556 MiB

SOLVER NAME= precosat 236
BENCH NAME= SAT07/crafted/Hard/contest02/ezfact64_3.sat05-450.reshuffled-07.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1728899-1240742647/watcher-1728899-1240742647 -o /tmp/evaluation-result-1728899-1240742647/solver-1728899-1240742647 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/precosat HOME/instance-1728899-1240742647.cnf

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

MD5SUM BENCH= a4a7c528ede134442a2d3ba0a444cdbb
RANDOM SEED=1341855144

node68.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.223
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.223
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:       1574456 kB
Buffers:         52976 kB
Cached:         336792 kB
SwapCached:        144 kB
Active:         151488 kB
Inactive:       254736 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1574456 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1140 kB
Writeback:           0 kB
Mapped:          26404 kB
Slab:            60900 kB
Committed_AS:   296684 kB
PageTables:       1560 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= 66556 MiB
End job on node68 at 2009-04-26 13:04:10