Trace number 1773781

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) 10000.2 10002.8

General information on the benchmark

NameAPPLICATIONS/bitverif/
maxxororand/maxxororand128.cnf
MD5SUM3022ff2a7ae31b29e9b784d8e848042f
Bench CategoryAPPLICATION (applications 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 variables365168
Number of clauses1093967
Sum of the clauses size2552587
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2729310
Number of clauses of size 3364655
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c 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-1773781-1241186628.cnf
0.00/0.00	c found header 'p cnf 365168 1093967'
2.29/2.34	c finished parsing
2.29/2.34	c
2.29/2.34	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
2.29/2.34	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
2.29/2.34	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
2.29/2.34	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
2.29/2.34	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
2.29/2.34	c --random=1 --spread=2000 --seed=0 --skip=25
2.29/2.34	c
2.29/2.34	c sizeof     vars[0] = 16   alignment = 0       6 MB
2.29/2.34	c sizeof     orgs[0] =  8   alignment = 0       3 MB
2.29/2.34	c sizeof     occs[0] =  8   alignment = 0       3 MB
2.29/2.34	c sizeof iirfs[0..1] =  8   alignment = 0       3 MB
2.29/2.34	c
2.29/2.34	c starting search after 2.3 seconds
2.29/2.34	c no decision limit
2.39/2.42	c
2.39/2.42	c       original/binary      fixed     eliminated      learned       agility
2.39/2.42	c   seconds        variables     equivalent    conflicts       height       MB
2.39/2.42	c
2.39/2.42	c *    2.4  1093965  365166      2     0      0       0      0    0.0   0   94
74.46/74.53	c s   74.5   540130   73064    396     4 291704       0      0    0.0   0   92
74.46/74.53	c l   74.5   540130   73064    396     4 291704       0 429904    0.0   0   92
74.66/74.79	c R   74.8   548482   73064    396     4 291704     100     86  329.9   5   95
75.66/75.80	c R   75.8   548526   73064    396     4 291704     209    192  300.9   4  103
79.06/79.10	c R   79.1   568969   73016    396    52 291704     813    764  335.2  10  109
81.56/81.63	c B   81.6   590428   73016    396    52 291704    1000    907  307.1  15  111
87.75/87.86	c B   87.8   649189   73010    396    58 291704    2000   1719  299.5   2  115
89.06/89.19	c R   89.2   656539   73010    396    58 291704    2415   2129  305.9   3  116
103.45/103.55	c s  103.5   695243   73009    396    59 291704    4129   3807  324.2   2  107
114.85/114.95	c R  114.9   739712   73009    396    59 291704    6443   6031  335.3   7  114
123.06/123.13	c B  123.1   757984   72967    396   101 291704    8002   7439  328.7  10  116
139.64/139.71	c s  139.7   784835   72951    396   117 291704   10400   9682  355.2   5  114
161.54/161.70	c R  161.6   846546   72936    396   132 291704   16058  15071  371.9   6  124
181.33/181.45	c s  181.4   905085   72932    396   136 291704   19500  18440  361.3   1  124
201.43/201.56	c B  201.5   965868   72924    396   144 291704   24009  22814  354.1   0  137
230.12/230.28	c s  230.2  1016936   72908    396   160 291704   28623  27230  344.2  17  138
275.31/275.45	c R  275.4  1123121   72898    396   170 291704   38568  37006  344.2  22  155
290.61/290.73	c s  290.6  1138813   72897    396   170 291705   40314  38568  346.8   3  151
357.59/357.70	c
357.59/357.70	c       original/binary      fixed     eliminated      learned       agility
357.59/357.70	c   seconds        variables     equivalent    conflicts       height       MB
357.59/357.70	c
357.59/357.70	c s  357.6  1206318   72834    396   211 291727   53343  50286  343.6   6  162
402.88/403.08	c B  403.0  1230009   72829    396   216 291727   64015  60852  362.1  16  175
428.37/428.57	c s  428.5  1235493   72816    396   222 291734   67531  64105  366.6   1  171
509.25/509.45	c s  509.3  1394606   72798    396   240 291734   84719  80790  364.7  17  188
528.85/529.01	c R  528.9  1397082   72786    396   252 291734   89878  85875  368.7  15  195
608.92/609.17	c s  609.0  1407526   72749    396   289 291734  106169 101829  383.1   1  202
714.50/714.72	c s  714.5  1424262   72701    396   337 291734  126255 121412  375.8  17  214
824.97/825.29	c s  825.1  1433547   72682    396   356 291734  147403 142321  402.4   7  233
878.06/878.37	c B  878.1  1440434   72641    396   397 291734  160034 154713  408.7   2  250
932.05/932.30	c s  932.1  1443287   72626    396   412 291734  170110 164510  410.1   1  251
1048.81/1049.17	c s 1048.9  1448054   72510    396   528 291734  199173 192860  412.1   6  271
1072.91/1073.27	c R 1073.0  1448923   72503    396   535 291734  205248 198892  412.7  22  282
1192.38/1192.77	c s 1192.5  1452110   72454    396   584 291734  230951 224239  421.6   6  306
1323.84/1324.27	c s 1323.9  1456399   72333    396   705 291734  251705 244172  432.0  14  328
1455.91/1456.37	c s 1456.0  1460457   72236    396   802 291734  277525 269256  444.4  18  352
1595.08/1595.57	c s 1595.2  1464094   72167    396   871 291734  301786 292903  451.6  10  373
1740.04/1740.55	c s 1740.1  1466254   72077    396   961 291734  329571 319973  451.8   8  394
1878.70/1879.23	c s 1878.8  1464154   71838    396  1071 291863  354615 332221  455.5   9  386
2015.07/2015.68	c s 2015.2  1465389   71689    396  1177 291906  383378 352996  457.6  19  388
2019.17/2019.71	c
2019.17/2019.71	c       original/binary      fixed     eliminated      learned       agility
2019.17/2019.71	c   seconds        variables     equivalent    conflicts       height       MB
2019.17/2019.71	c
2019.17/2019.71	c B 2019.2  1465419   71686    396  1180 291906  384077 353681  457.5  17  392
2151.43/2152.04	c s 2151.5  1465746   71587    396  1279 291906  411197 380143  458.8   4  414
2226.11/2226.75	c + 2226.2  1466363   71551    396  1315 291906  429912 472894  461.0  10  448
2303.50/2304.11	c s 2303.5  1466828   71525    396  1338 291909  442942 411025  463.3   2  458
2393.47/2394.18	c R 2393.6  1467219   71462    396  1401 291909  461615 429524  461.8   1  498
2479.45/2480.11	c s 2479.5  1466912   71399    396  1464 291909  472592 439958  461.4   3  498
2648.81/2649.54	c s 2648.9  1466846   71351    396  1512 291909  496085 463201  464.1  27  531
2823.37/2824.13	c s 2823.4  1470107   71203    396  1660 291909  526147 473602  462.2   9  544
2893.35/2894.17	c + 2893.4  1470762   71185    396  1678 291909  537391 520183  460.6  11  561
3012.12/3012.96	c s 3012.2  1470622   70970    396  1893 291909  554039 489664  458.9  15  564
3210.97/3211.90	c s 3211.1  1470915   70846    396  2017 291909  587086 520908  454.2   1  589
3391.32/3392.29	c s 3391.4  1471144   70707    396  2156 291909  619111 520862  455.3   6  602
3566.58/3567.60	c s 3566.7  1471265   70614    396  2249 291909  642874 522836  457.2   3  611
3762.13/3763.12	c s 3762.2  1471536   70454    396  2409 291909  670330 520492  457.6  30  618
3777.53/3778.51	c + 3777.5  1471578   70454    396  2409 291909  671735 572201  457.5  17  624
3961.98/3963.07	c s 3962.1  1471635   70270    396  2593 291909  697654 546204  454.8   4  642
4150.53/4151.63	c s 4150.6  1471700   70158    396  2705 291909  730198 574385  452.5  15  662
4354.18/4355.35	c s 4354.2  1471145   69932    396  2931 291909  758720 573211  450.3  30  664
4547.53/4548.77	c s 4547.6  1471026   69779    396  3084 291909  784725 573299  450.2  15  669
4724.99/4726.24	c
4724.99/4726.24	c       original/binary      fixed     eliminated      learned       agility
4724.99/4726.24	c   seconds        variables     equivalent    conflicts       height       MB
4724.99/4726.24	c
4724.99/4726.24	c s 4725.0  1470644   69546    396  3317 291909  816014 572627  450.7   3  669
4829.16/4830.44	c + 4829.2  1470921   69473    396  3390 291909  839670 629421  451.3   3  693
4904.44/4905.73	c s 4904.5  1464217   69175    396  3417 292180  850202 539614  452.4   2  576
5073.80/5075.18	c s 5073.9  1463605   68993    396  3576 292203  880292 566854  450.6   2  603
5162.17/5163.54	c B 5162.2  1463793   68955    396  3614 292203  896228 582652  451.5  10  640
5250.85/5252.25	c s 5250.9  1463640   68906    396  3662 292204  909437 595484  450.6  39  637
5430.01/5431.40	c s 5430.0  1463755   68860    396  3708 292204  928773 614610  450.7  11  669
5607.26/5608.79	c s 5607.4  1463867   68847    396  3721 292204  945818 630591  450.8   5  697
5789.82/5791.38	c s 5789.9  1463440   68721    396  3847 292204  963323 630095  451.3  14  710
5986.27/5987.81	c s 5986.3  1463443   68690    396  3878 292204  990573 631388  452.9   0  716
6145.93/6147.55	c R 6146.0  1463683   68658    396  3910 292204 1025660 632761  456.2  17  745
6212.12/6213.76	c s 6212.2  1463409   68606    396  3962 292204 1032409 631290  455.8  20  725
6313.99/6315.64	c + 6314.0  1463750   68526    396  4042 292204 1049587 692363  455.7  20  744
6453.05/6454.73	c s 6453.1  1462674   68371    396  4197 292204 1069331 650222  455.3  21  752
6678.79/6680.54	c s 6678.9  1462086   68127    396  4441 292204 1106159 685954  454.7   2  795
6909.64/6911.47	c s 6909.7  1462070   68026    396  4542 292204 1134515 694133  453.0   8  811
7170.77/7172.61	c s 7170.8  1461564   67813    396  4755 292204 1173506 694125  451.4  11  820
7371.72/7373.65	c s 7371.8  1461285   67703    396  4865 292204 1200190 692981  451.7  23  829
7592.06/7594.02	c s 7592.1  1461040   67584    396  4984 292204 1231005 695084  451.6   3  836
7832.70/7834.71	c
7832.70/7834.71	c       original/binary      fixed     eliminated      learned       agility
7832.70/7834.71	c   seconds        variables     equivalent    conflicts       height       MB
7832.70/7834.71	c
7832.70/7834.71	c s 7832.7  1460718   67412    396  5156 292204 1262438 693542  449.9   2  839
8057.25/8059.37	c s 8057.3  1479155   67333    396  5235 292204 1290998 693890  449.3  14  843
8219.51/8221.61	c + 8219.5  1481834   67252    396  5316 292204 1311980 761599  449.1  23  869
8306.48/8308.68	c s 8306.6  1482850   67213    396  5355 292204 1320287 702198  448.7  12  857
8599.61/8601.89	c s 8599.7  1481834   66945    396  5457 292370 1361248 710825  447.1   3  827
8808.25/8810.53	c s 8808.3  1482270   66741    396  5650 292381 1387638 734986  446.8  10  857
9034.10/9036.47	c s 9034.2  1483598   66656    396  5735 292381 1416704 762637  448.6   4  906
9260.54/9262.94	c s 9260.6  1484133   66386    396  6005 292381 1453795 762138  449.1  15  907
9506.38/9508.82	c s 9506.4  1484325   66282    396  6109 292381 1484425 762401  449.6   6  911
9769.51/9772.01	c s 9769.5  1484096   66068    396  6323 292381 1514882 763338  448.4   5  902
10000.06/10002.60	c
10000.06/10002.60	c *** CAUGHT SIGNAL 15 ***
10000.06/10002.60	c
10000.06/10002.60	c 1546025 conflicts, 19649282 decisions, 6807 random
10000.06/10002.60	c 0 iterations, 2843 restarts, 223 skipped
10000.06/10002.60	c 6 enlarged, 1301 shrunken, 15122 rescored, 412 rebiased
10000.06/10002.60	c 60 simplifications, 0 reductions
10000.06/10002.60	c
10000.06/10002.60	c vars: 396 fixed, 6487 equiv, 292381 elim, 6487 merged
10000.06/10002.60	c elim: 32205963 resolutions, 60 phases, 4 rounds
10000.06/10002.60	c sbst: 83% substituted, 0.4% nots, 96.2% ands, 3.4% xors, 0.0% ites
10000.06/10002.60	c arty: 2.58 and 2.00 xor average arity
10000.06/10002.60	c prbe: 645486 probed, 3825 phases, 4 rounds
10000.06/10002.60	c prbe: 2 failed, 384 lifted, 132 merged
10000.06/10002.60	c sccs: 306 non trivial, 0 fixed, 744 merged
10000.06/10002.60	c hash: 0 units, 5611 merged
10000.06/10002.60	c mins: 434068423 learned, 23% deleted, 387 strong, 1000 depth
10000.06/10002.60	c subs: 5610 forward, 2221 backward, 2642 doms
10000.06/10002.60	c strs: 14865 forward, 2268 backward
10000.06/10002.60	c doms: 255697 dominators, 19115 high, 24 low
10000.06/10002.60	c prps: 4343360822 propagations, 0.43 megaprops
10000.06/10002.60	c
10000.06/10002.60	c 10000.1 seconds, 949 MB max, 1084 MB recycled
10000.06/10002.60	c
10000.06/10002.60	c *** CAUGHT SIGNAL 15 ***
10000.06/10002.60	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-1773781-1241186628/watcher-1773781-1241186628 -o /tmp/evaluation-result-1773781-1241186628/solver-1773781-1241186628 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1773781-1241186628.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20341
/proc/meminfo: memFree=1736376/2055920 swapFree=4165120/4192956
[pid=20341] ppid=20339 vsize=6496 CPUtime=0
/proc/20341/stat : 20341 (precosat) R 20339 20341 20100 0 -1 4194304 920 0 0 0 0 0 0 0 18 0 1 0 146695567 6651904 905 1992294400 134512640 135151029 4294956240 18446744073709551615 134697845 0 0 4096 0 0 0 0 17 1 0 0
/proc/20341/statm: 1624 912 59 155 0 1467 0

[startup+0.040672 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20341
/proc/meminfo: memFree=1736376/2055920 swapFree=4165120/4192956
[pid=20341] ppid=20339 vsize=16092 CPUtime=0.03
/proc/20341/stat : 20341 (precosat) R 20339 20341 20100 0 -1 4194304 3398 0 0 0 2 1 0 0 18 0 1 0 146695567 16478208 3383 1992294400 134512640 135151029 4294956240 18446744073709551615 134534335 0 0 4096 0 0 0 0 17 1 0 0
/proc/20341/statm: 4023 3383 59 155 0 3866 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 16092

[startup+0.101674 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20341
/proc/meminfo: memFree=1736376/2055920 swapFree=4165120/4192956
[pid=20341] ppid=20339 vsize=32108 CPUtime=0.09
/proc/20341/stat : 20341 (precosat) R 20339 20341 20100 0 -1 4194304 7391 0 0 0 6 3 0 0 18 0 1 0 146695567 32878592 7376 1992294400 134512640 135151029 4294956240 18446744073709551615 134515933 0 0 4096 0 0 0 0 17 1 0 0
/proc/20341/statm: 8027 7379 60 155 0 7870 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32108

[startup+0.301688 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20341
/proc/meminfo: memFree=1736376/2055920 swapFree=4165120/4192956
[pid=20341] ppid=20339 vsize=41056 CPUtime=0.29
/proc/20341/stat : 20341 (precosat) R 20339 20341 20100 0 -1 4194304 10227 0 0 0 25 4 0 0 19 0 1 0 146695567 42041344 9985 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20341/statm: 10264 9986 63 155 0 10107 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41056

[startup+0.701718 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20341
/proc/meminfo: memFree=1736376/2055920 swapFree=4165120/4192956
[pid=20341] ppid=20339 vsize=56072 CPUtime=0.69
/proc/20341/stat : 20341 (precosat) R 20339 20341 20100 0 -1 4194304 14238 0 0 0 62 7 0 0 22 0 1 0 146695567 57417728 13739 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20341/statm: 14018 13739 63 155 0 13861 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56072

[startup+1.50178 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20342
/proc/meminfo: memFree=1671408/2055920 swapFree=4165120/4192956
[pid=20341] ppid=20339 vsize=82672 CPUtime=1.49
/proc/20341/stat : 20341 (precosat) R 20339 20341 20100 0 -1 4194304 21403 0 0 0 139 10 0 0 25 0 1 0 146695567 84656128 20391 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20341/statm: 20668 20391 63 155 0 20511 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 82672

[startup+3.10289 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20342
/proc/meminfo: memFree=1636080/2055920 swapFree=4165120/4192956
[pid=20341] ppid=20339 vsize=115900 CPUtime=3.1
/proc/20341/stat : 20341 (precosat) R 20339 20341 20100 0 -1 4194304 30584 0 0 0 295 15 0 0 25 0 1 0 146695567 118681600 28546 1992294400 134512640 135151029 4294956240 18446744073709551615 134573895 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20341/statm: 28975 28547 79 155 0 28818 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 115900

[startup+6.30113 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20342
/proc/meminfo: memFree=1607280/2055920 swapFree=4165120/4192956
[pid=20341] ppid=20339 vsize=152168 CPUtime=6.29
/proc/20341/stat : 20341 (precosat) R 20339 20341 20100 0 -1 4194304 39433 0 0 0 610 19 0 0 25 0 1 0 146695567 155820032 37395 1992294400 134512640 135151029 4294956240 18446744073709551615 134572727 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20341/statm: 38042 37395 79 155 0 37885 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 152168

[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20342
/proc/meminfo: memFree=1575472/2055920 swapFree=4165120/4192956
[pid=20341] ppid=20339 vsize=172296 CPUtime=12.69
/proc/20341/stat : 20341 (precosat) R 20339 20341 20100 0 -1 4194304 55888 0 0 0 1242 27 0 0 25 0 1 0 146695567 176431104 42304 1992294400 134512640 135151029 4294956240 18446744073709551615 134578671 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20341/statm: 43074 42304 79 155 0 42917 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 172296

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20342
/proc/meminfo: memFree=1525168/2055920 swapFree=4165120/4192956
[pid=20341] ppid=20339 vsize=214888 CPUtime=25.48
/proc/20341/stat : 20341 (precosat) R 20339 20341 20100 0 -1 4194304 72577 0 0 0 2512 36 0 0 25 0 1 0 146695567 220045312 52972 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20341/statm: 53722 52972 79 155 0 53565 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 214888

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20342
/proc/meminfo: memFree=1495536/2055920 swapFree=4165120/4192956
[pid=20341] ppid=20339 vsize=249172 CPUtime=51.06
/proc/20341/stat : 20341 (precosat) R 20339 20341 20100 0 -1 4194304 79788 0 0 0 5067 39 0 0 25 0 1 0 146695567 255152128 60183 1992294400 134512640 135151029 4294956240 18446744073709551615 134575451 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20341/statm: 62293 60183 79 155 0 62136 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 249172

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20342
/proc/meminfo: memFree=1510000/2055920 swapFree=4165120/4192956
[pid=20341] ppid=20339 vsize=225076 CPUtime=102.26
/proc/20341/stat : 20341 (precosat) R 20339 20341 20100 0 -1 4194304 87357 0 0 0 10182 44 0 0 25 0 1 0 146695567 230477824 54376 1992294400 134512640 135151029 4294956240 18446744073709551615 134550509 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20341/statm: 56269 54376 79 155 0 56112 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 225076

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20342
/proc/meminfo: memFree=1515632/2055920 swapFree=4165120/4192956
[pid=20341] ppid=20339 vsize=228172 CPUtime=162.24
/proc/20341/stat : 20341 (precosat) R 20339 20341 20100 0 -1 4194304 95690 0 0 0 16175 49 0 0 25 0 1 0 146695567 233648128 55150 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20341/statm: 57043 55150 79 155 0 56886 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 228172

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20342
/proc/meminfo: memFree=1511280/2055920 swapFree=4165120/4192956
[pid=20341] ppid=20339 vsize=232268 CPUtime=222.23
/proc/20341/stat : 20341 (precosat) R 20339 20341 20100 0 -1 4194304 105042 0 0 0 22169 54 0 0 25 0 1 0 146695567 237842432 56175 1992294400 134512640 135151029 4294956240 18446744073709551615 134554974 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20341/statm: 58067 56175 79 155 0 57910 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 232268

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20342
/proc/meminfo: memFree=1511280/2055920 swapFree=4165120/4192956
[pid=20341] ppid=20339 vsize=232268 CPUtime=282.21
/proc/20341/stat : 20341 (precosat) R 20339 20341 20100 0 -1 4194304 116442 0 0 0 28162 59 0 0 25 0 1 0 146695567 237842432 56175 1992294400 134512640 135151029 4294956240 18446744073709551615 134520317 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20341/statm: 58067 56175 79 155 0 57910 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 232268

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20342
/proc/meminfo: memFree=1511216/2055920 swapFree=4165120/4192956
[pid=20341] ppid=20339 vsize=232268 CPUtime=342.19
/proc/20341/stat : 20341 (precosat) R 20339 20341 20100 0 -1 4194304 127843 0 0 0 34154 65 0 0 25 0 1 0 146695567 237842432 56176 1992294400 134512640 135151029 4294956240 18446744073709551615 134554507 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20341/statm: 58067 56176 79 155 0 57910 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 232268

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20342
/proc/meminfo: memFree=1511088/2055920 swapFree=4165120/4192956
[pid=20341] ppid=20339 vsize=232268 CPUtime=402.18
/proc/20341/stat : 20341 (precosat) R 20339 20341 20100 0 -1 4194304 139256 0 0 0 40147 71 0 0 25 0 1 0 146695567 237842432 56189 1992294400 134512640 135151029 4294956240 18446744073709551615 134574262 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20341/statm: 58067 56189 79 155 0 57910 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 232268

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20342
/proc/meminfo: memFree=1511152/2055920 swapFree=4165120/4192956
[pid=20341] ppid=20339 vsize=232268 CPUtime=462.16
/proc/20341/stat : 20341 (precosat) R 20339 20341 20100 0 -1 4194304 150657 0 0 0 46140 76 0 0 25 0 1 0 146695567 237842432 56190 1992294400 134512640 135151029 4294956240 18446744073709551615 134554866 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20341/statm: 58067 56190 79 155 0 57910 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 232268

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20342
/proc/meminfo: memFree=1510640/2055920 swapFree=4165120/4192956
[pid=20341] ppid=20339 vsize=232268 CPUtime=522.15
/proc/20341/stat : 20341 (precosat) R 20339 20341 20100 0 -1 4194304 162173 0 0 0 52133 82 0 0 25 0 1 0 146695567 237842432 56306 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20341/statm: 58067 56306 79 155 0 57910 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 232268

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20342
/proc/meminfo: memFree=1510448/2055920 swapFree=4165120/4192956
[pid=20341] ppid=20339 vsize=232268 CPUtime=582.13
/proc/20341/stat : 20341 (precosat) R 20339 20341 20100 0 -1 4194304 162245 0 0 0 58131 82 0 0 25 0 1 0 146695567 237842432 56378 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20341/statm: 58067 56378 79 155 0 57910 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 232268

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20342
/proc/meminfo: memFree=1505776/2055920 swapFree=4165120/4192956
[pid=20341] ppid=20339 vsize=236932 CPUtime=642.12
/proc/20341/stat : 20341 (precosat) R 20339 20341 20100 0 -1 4194304 179192 0 0 0 64121 91 0 0 25 0 1 0 146695567 242618368 57538 1992294400 134512640 135151029 4294956240 18446744073709551615 134555553 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20341/statm: 59233 57538 79 155 0 59076 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 236932

[startup+702.301 s]

################
# More data... #
################

[startup+9102.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20358
/proc/meminfo: memFree=743344/2055920 swapFree=4165120/4192956
[pid=20341] ppid=20339 vsize=994392 CPUtime=9099.99
/proc/20341/stat : 20341 (precosat) R 20339 20341 20100 0 -1 4194304 1047303 0 0 0 909359 640 0 0 25 0 1 0 146695567 1018257408 246873 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20341/statm: 248598 246873 79 155 0 248441 0
Current children cumulated CPU time (s) 9099.99
Current children cumulated vsize (KiB) 994392

[startup+9162.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 20358
/proc/meminfo: memFree=743408/2055920 swapFree=4165120/4192956
[pid=20341] ppid=20339 vsize=994392 CPUtime=9159.97
/proc/20341/stat : 20341 (precosat) R 20339 20341 20100 0 -1 4194304 1047309 0 0 0 915357 640 0 0 25 0 1 0 146695567 1018257408 246879 1992294400 134512640 135151029 4294956240 18446744073709551615 134551341 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20341/statm: 248598 246879 79 155 0 248441 0
Current children cumulated CPU time (s) 9159.97
Current children cumulated vsize (KiB) 994392

[startup+9222.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 20358
/proc/meminfo: memFree=743408/2055920 swapFree=4165120/4192956
[pid=20341] ppid=20339 vsize=994392 CPUtime=9219.95
/proc/20341/stat : 20341 (precosat) R 20339 20341 20100 0 -1 4194304 1047320 0 0 0 921355 640 0 0 25 0 1 0 146695567 1018257408 246890 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20341/statm: 248598 246890 79 155 0 248441 0
Current children cumulated CPU time (s) 9219.95
Current children cumulated vsize (KiB) 994392

[startup+9282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20360
/proc/meminfo: memFree=743088/2055920 swapFree=4165120/4192956
[pid=20341] ppid=20339 vsize=994392 CPUtime=9279.94
/proc/20341/stat : 20341 (precosat) R 20339 20341 20100 0 -1 4194304 1061379 0 0 0 927346 648 0 0 25 0 1 0 146695567 1018257408 246908 1992294400 134512640 135151029 4294956240 18446744073709551615 134551374 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20341/statm: 248598 246908 79 155 0 248441 0
Current children cumulated CPU time (s) 9279.94
Current children cumulated vsize (KiB) 994392

[startup+9342.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20360
/proc/meminfo: memFree=743152/2055920 swapFree=4165120/4192956
[pid=20341] ppid=20339 vsize=994392 CPUtime=9339.93
/proc/20341/stat : 20341 (precosat) R 20339 20341 20100 0 -1 4194304 1061379 0 0 0 933345 648 0 0 25 0 1 0 146695567 1018257408 246908 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20341/statm: 248598 246908 79 155 0 248441 0
Current children cumulated CPU time (s) 9339.93
Current children cumulated vsize (KiB) 994392

[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20360
/proc/meminfo: memFree=743152/2055920 swapFree=4165120/4192956
[pid=20341] ppid=20339 vsize=994392 CPUtime=9399.91
/proc/20341/stat : 20341 (precosat) R 20339 20341 20100 0 -1 4194304 1061379 0 0 0 939343 648 0 0 25 0 1 0 146695567 1018257408 246908 1992294400 134512640 135151029 4294956240 18446744073709551615 134577848 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20341/statm: 248598 246908 79 155 0 248441 0
Current children cumulated CPU time (s) 9399.91
Current children cumulated vsize (KiB) 994392

[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20360
/proc/meminfo: memFree=743216/2055920 swapFree=4165120/4192956
[pid=20341] ppid=20339 vsize=994392 CPUtime=9459.89
/proc/20341/stat : 20341 (precosat) R 20339 20341 20100 0 -1 4194304 1061383 0 0 0 945341 648 0 0 25 0 1 0 146695567 1018257408 246912 1992294400 134512640 135151029 4294956240 18446744073709551615 134578219 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20341/statm: 248598 246912 79 155 0 248441 0
Current children cumulated CPU time (s) 9459.89
Current children cumulated vsize (KiB) 994392

[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20360
/proc/meminfo: memFree=743024/2055920 swapFree=4165120/4192956
[pid=20341] ppid=20339 vsize=994392 CPUtime=9519.88
/proc/20341/stat : 20341 (precosat) R 20339 20341 20100 0 -1 4194304 1075424 0 0 0 951333 655 0 0 25 0 1 0 146695567 1018257408 246912 1992294400 134512640 135151029 4294956240 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20341/statm: 248598 246912 79 155 0 248441 0
Current children cumulated CPU time (s) 9519.88
Current children cumulated vsize (KiB) 994392

[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20360
/proc/meminfo: memFree=743024/2055920 swapFree=4165120/4192956
[pid=20341] ppid=20339 vsize=994392 CPUtime=9579.86
/proc/20341/stat : 20341 (precosat) R 20339 20341 20100 0 -1 4194304 1075424 0 0 0 957331 655 0 0 25 0 1 0 146695567 1018257408 246912 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20341/statm: 248598 246912 79 155 0 248441 0
Current children cumulated CPU time (s) 9579.86
Current children cumulated vsize (KiB) 994392

[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20360
/proc/meminfo: memFree=743088/2055920 swapFree=4165120/4192956
[pid=20341] ppid=20339 vsize=994392 CPUtime=9639.85
/proc/20341/stat : 20341 (precosat) R 20339 20341 20100 0 -1 4194304 1075424 0 0 0 963330 655 0 0 25 0 1 0 146695567 1018257408 246912 1992294400 134512640 135151029 4294956240 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20341/statm: 248598 246912 79 155 0 248441 0
Current children cumulated CPU time (s) 9639.85
Current children cumulated vsize (KiB) 994392

[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20360
/proc/meminfo: memFree=743088/2055920 swapFree=4165120/4192956
[pid=20341] ppid=20339 vsize=994392 CPUtime=9699.83
/proc/20341/stat : 20341 (precosat) R 20339 20341 20100 0 -1 4194304 1075424 0 0 0 969328 655 0 0 25 0 1 0 146695567 1018257408 246912 1992294400 134512640 135151029 4294956240 18446744073709551615 134554803 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20341/statm: 248598 246912 79 155 0 248441 0
Current children cumulated CPU time (s) 9699.83
Current children cumulated vsize (KiB) 994392

[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20360
/proc/meminfo: memFree=751088/2055920 swapFree=4165120/4192956
[pid=20341] ppid=20339 vsize=986196 CPUtime=9759.81
/proc/20341/stat : 20341 (precosat) R 20339 20341 20100 0 -1 4194304 1085492 0 0 0 975321 660 0 0 25 0 1 0 146695567 1009864704 244863 1992294400 134512640 135151029 4294956240 18446744073709551615 134521885 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20341/statm: 246549 244863 79 155 0 246392 0
Current children cumulated CPU time (s) 9759.81
Current children cumulated vsize (KiB) 986196

[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20360
/proc/meminfo: memFree=742960/2055920 swapFree=4165120/4192956
[pid=20341] ppid=20339 vsize=994392 CPUtime=9819.79
/proc/20341/stat : 20341 (precosat) R 20339 20341 20100 0 -1 4194304 1089465 0 0 0 981317 662 0 0 25 0 1 0 146695567 1018257408 246912 1992294400 134512640 135151029 4294956240 18446744073709551615 134520405 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20341/statm: 248598 246912 79 155 0 248441 0
Current children cumulated CPU time (s) 9819.79
Current children cumulated vsize (KiB) 994392

[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20360
/proc/meminfo: memFree=742960/2055920 swapFree=4165120/4192956
[pid=20341] ppid=20339 vsize=994392 CPUtime=9879.79
/proc/20341/stat : 20341 (precosat) R 20339 20341 20100 0 -1 4194304 1089465 0 0 0 987316 663 0 0 25 0 1 0 146695567 1018257408 246912 1992294400 134512640 135151029 4294956240 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20341/statm: 248598 246912 79 155 0 248441 0
Current children cumulated CPU time (s) 9879.79
Current children cumulated vsize (KiB) 994392

[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20360
/proc/meminfo: memFree=742960/2055920 swapFree=4165120/4192956
[pid=20341] ppid=20339 vsize=994392 CPUtime=9939.77
/proc/20341/stat : 20341 (precosat) R 20339 20341 20100 0 -1 4194304 1089465 0 0 0 993314 663 0 0 25 0 1 0 146695567 1018257408 246912 1992294400 134512640 135151029 4294956240 18446744073709551615 134555012 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20341/statm: 248598 246912 79 155 0 248441 0
Current children cumulated CPU time (s) 9939.77
Current children cumulated vsize (KiB) 994392

[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20360
/proc/meminfo: memFree=732848/2055920 swapFree=4165120/4192956
[pid=20341] ppid=20339 vsize=1004352 CPUtime=9999.76
/proc/20341/stat : 20341 (precosat) R 20339 20341 20100 0 -1 4194304 1099533 0 0 0 999308 668 0 0 25 0 1 0 146695567 1028456448 249402 1992294400 134512640 135151029 4294956240 18446744073709551615 134526377 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20341/statm: 251088 249402 79 155 0 250931 0
Current children cumulated CPU time (s) 9999.76
Current children cumulated vsize (KiB) 1004352



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+10002.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20360
/proc/meminfo: memFree=732848/2055920 swapFree=4165120/4192956
[pid=20341] ppid=20339 vsize=1004352 CPUtime=10000.1
/proc/20341/stat : 20341 (precosat) R 20339 20341 20100 0 -1 4194304 1099533 0 0 0 999338 668 0 0 25 0 1 0 146695567 1028456448 249402 1992294400 134512640 135151029 4294956240 18446744073709551615 134548564 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20341/statm: 251088 249402 79 155 0 250931 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 1004352

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

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

[startup+10002.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20360
/proc/meminfo: memFree=732848/2055920 swapFree=4165120/4192956
[pid=20341] ppid=20339 vsize=0 CPUtime=10000.2
/proc/20341/stat : 20341 (precosat) R 20339 20341 20100 0 -1 4195332 1099533 0 0 0 999338 678 0 0 25 0 1 0 146695567 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/20341/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 10000.2
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 10002.8
CPU time (s): 10000.2
CPU user time (s): 9993.38
CPU system time (s): 6.84396
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 1005408

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

runsolver used 7.62684 second user time and 20.2389 second system time

The end

Launcher Data 

Begin job on node34 at 2009-05-01 16:03:49
IDJOB=1773781
IDBENCH=70794
IDSOLVER=607
FILE ID=node34/1773781-1241186628
PBS_JOBID= 9224580
Free space on /tmp= 66472 MiB

SOLVER NAME= precosat 236
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxororand/maxxororand128.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1773781-1241186628/watcher-1773781-1241186628 -o /tmp/evaluation-result-1773781-1241186628/solver-1773781-1241186628 -C 10000 -W 12000 -M 1800  HOME/precosat HOME/instance-1773781-1241186628.cnf

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

MD5SUM BENCH= 3022ff2a7ae31b29e9b784d8e848042f
RANDOM SEED=1850532447

node34.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.214
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.214
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:       1736792 kB
Buffers:         50464 kB
Cached:         191588 kB
SwapCached:      21584 kB
Active:          32100 kB
Inactive:       233808 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1736792 kB
SwapTotal:     4192956 kB
SwapFree:      4165120 kB
Dirty:           20928 kB
Writeback:           0 kB
Mapped:          13520 kB
Slab:            39176 kB
Committed_AS:   696636 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= 66468 MiB
End job on node34 at 2009-05-01 18:50:34