Trace number 1773261

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 10004.3

General information on the benchmark

Nameindustrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.cnf
MD5SUM776da55785376fd8eac6989ca812b102
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 variables371419
Number of clauses7170909
Sum of the clauses size20872419
Maximum clause length205
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 26770451
Number of clauses of size 392326
Number of clauses of size 48862
Number of clauses of size 523554
Number of clauses of size over 5275715

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-1773261-1241182966.cnf
0.00/0.00	c found header 'p cnf 371419 7170909'
19.29/19.37	c finished parsing
19.29/19.37	c
19.29/19.37	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
19.29/19.37	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
19.29/19.37	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
19.29/19.37	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
19.29/19.37	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
19.29/19.37	c --random=1 --spread=2000 --seed=0 --skip=25
19.29/19.37	c
19.29/19.37	c sizeof     vars[0] = 16   alignment = 0       6 MB
19.29/19.37	c sizeof     orgs[0] =  8   alignment = 0       3 MB
19.29/19.37	c sizeof     occs[0] =  8   alignment = 0       3 MB
19.29/19.37	c sizeof iirfs[0..1] =  8   alignment = 0       3 MB
19.29/19.37	c
19.29/19.37	c starting search after 19.4 seconds
19.29/19.37	c no decision limit
19.69/19.79	c
19.69/19.79	c       original/binary      fixed     eliminated      learned       agility
19.69/19.79	c   seconds        variables     equivalent    conflicts       height       MB
19.69/19.79	c
19.69/19.79	c *   19.8  7170908  371418      1     0      0       0      0    0.0   0  493
86.55/86.65	c s   86.6  4888726  202017  91149     7  78246       0      0    0.0   0  396
86.55/86.65	c l   86.6  4888726  202017  91149     7  78246       0 519233    0.0   0  396
87.55/87.61	c R   87.6  4895212  202017  91149     7  78246     100     99 4512.1   0  407
88.35/88.47	c R   88.4  4917418  201951  91215     7  78246     200    199 3811.3   2  409
92.35/92.45	c R   92.4  4919315  201950  91215     8  78246     800    799 5677.6   1  411
93.05/93.13	c B   93.1  4919336  201950  91215     8  78246    1000    999 5433.9   1  412
101.25/101.38	c B  101.3  5017330  196392  96464   317  78246    2001   1999 4839.8   1  419
102.35/102.42	c R  102.4  5022080  196245  96464   464  78246    2411   2403 4999.2   3  420
124.03/124.14	c R  124.1  5094575  196071  96574   528  78246    6422   6393 5663.8   1  428
133.63/133.79	c B  133.7  5126009  195546  97099   528  78246    8007   7964 5718.9   1  430
176.31/176.41	c R  176.3  5292429  195228  97343   602  78246   16033  15937 5093.8   0  441
201.20/201.36	c B  201.3  5387624  195215  97347   611  78246   24011  23903 5228.7   2  449
260.58/260.77	c s  260.7  5012188  194795  97375   621  78628   33383  33235 5081.5   0  410
260.58/260.77	c -  260.7  5012188  194795  97375   621  78628   33383 493272 5081.5   0  410
273.87/274.08	c R  274.0  5020029  194775  97387   629  78628   38467  38317 5075.4   0  421
344.05/344.22	c B  344.1  5032371  194124  97992   675  78628   64022  63792 5086.4   2  437
431.80/432.08	c s  431.9  5040031  193498  98382   786  78753   83373  82915 5082.9   0  426
431.80/432.08	c -  431.9  5040031  193498  98382   786  78753   83373 488340 5082.9   0  426
641.72/642.06	c
641.72/642.06	c       original/binary      fixed     eliminated      learned       agility
641.72/642.06	c   seconds        variables     equivalent    conflicts       height       MB
641.72/642.06	c
641.72/642.06	c s  641.8  5242763  188419 103009  1233  78758  123365 122252 5174.3   0  449
641.72/642.06	c -  641.8  5242763  188419 103009  1233  78758  123365 483457 5174.3   0  449
783.26/783.61	c B  783.3  5628922  186806 104051  1804  78758  160044 158871 5182.4   1  497
867.02/867.45	c s  867.1  5480645  185935 104148  1929  79407  174638 172937 5187.3   1  477
867.02/867.45	c -  867.1  5480645  185935 104148  1929  79407  174638 468954 5187.3   1  477
996.66/997.15	c R  996.7  5589239  185591 104406  2015  79407  208395 206650 5173.5   1  512
1108.13/1108.64	c s 1108.2  5484941  182345 106442  2553  80079  228863 223413 5110.8   2  491
1108.13/1108.64	c - 1108.2  5484941  182345 106442  2553  80079  228863 426749 5110.8   2  491
1360.42/1361.01	c s 1360.4  5692006  181585 106943  2812  80079  289379 283454 5061.3   0  522
1360.42/1361.01	c - 1360.4  5692006  181585 106943  2812  80079  289379 418215 5061.3   0  522
1626.81/1627.58	c s 1626.9  5783298  179520 108233  3585  80081  349387 342177 5015.8   2  550
1626.81/1627.58	c - 1626.9  5783298  179520 108233  3585  80081  349387 409851 5015.8   2  550
1746.06/1746.85	c B 1746.1  5842729  179304 108413  3621  80081  384084 376871 4987.8   1  584
1834.82/1835.61	c + 1834.8  5889938  179071 108621  3646  80081  409851 450836 4983.6   1  601
1883.60/1884.47	c s 1883.7  5841654  179041 108638  3659  80081  415936 396693 4974.8   1  572
1883.60/1884.47	c - 1883.7  5841654  179041 108638  3659  80081  415936 441820 4974.8   1  572
1899.09/1899.94	c R 1899.1  5850363  177773 109905  3660  80081  421338 402094 4970.3   0  585
2174.18/2175.14	c s 2174.2  5888934  175898 111051  4388  80082  482378 435142 4951.8   0  597
2174.18/2175.14	c - 2174.2  5888934  175898 111051  4388  80082  482378 428566 4951.8   0  597
2195.86/2196.86	c
2195.86/2196.86	c       original/binary      fixed     eliminated      learned       agility
2195.86/2196.86	c   seconds        variables     equivalent    conflicts       height       MB
2195.86/2196.86	c
2195.86/2196.86	c + 2195.9  5897766  175841 111108  4388  80082  487003 471422 4946.2   3  611
2472.65/2473.74	c s 2472.7  5974229  175575 111283  4479  80082  549497 470749 4903.4   0  615
2717.85/2719.09	c + 2717.9  6175205  173945 112202  5190  80082  608750 518564 4860.3   1  656
2774.22/2775.44	c s 2774.3  6033033  173894 112240  5203  80082  615472 477805 4850.8   1  623
2774.22/2775.44	c - 2774.3  6033033  173894 112240  5203  80082  615472 508193 4850.8   1  623
3088.60/3089.98	c s 3088.7  6066803  171124 113316  6191  80788  683004 486384 4806.6   1  627
3088.60/3089.98	c - 3088.7  6066803  171124 113316  6191  80788  683004 487866 4806.6   1  627
3213.74/3215.12	c + 3213.8  6121461  170887 113457  6287  80788  715893 536652 4791.1   4  660
3410.56/3412.09	c s 3410.7  6118776  170596 113688  6337  80798  752409 515864 4770.0   1  638
3727.62/3729.25	c s 3727.7  6150516  169881 114326  6414  80798  819324 535829 4752.7   1  645
3727.62/3729.25	c - 3727.7  6150516  169881 114326  6414  80798  819324 531286 4752.7   1  645
3953.84/3955.54	c + 3953.9  6257378  169088 115093  6440  80798  885917 584414 4744.6   2  678
4014.11/4015.82	c s 4014.1  5997751  169035 115134  6452  80798  894990 539763 4741.1   1  637
4019.21/4020.94	c B 4019.3  5998833  169022 115147  6452  80798  896158 540930 4740.1   2  643
4450.63/4452.56	c s 4450.7  6044447  168616 115517  6488  80798  978954 584602 4713.2   0  648
4797.57/4799.65	c s 4797.6  6091205  168204 115887  6530  80798 1049563 584302 4699.6   0  657
5051.66/5053.83	c + 5051.7  6352768  167512 116479  6630  80798 1107395 642855 4674.9   1  706
5130.93/5133.17	c s 5131.0  6116981  167462 116510  6649  80798 1114766 591855 4671.2   0  661
5596.03/5598.45	c s 5596.1  6139052  166864 116821  6936  80798 1190192 643003 4650.1   0  674
5660.19/5662.70	c
5660.19/5662.70	c       original/binary      fixed     eliminated      learned       agility
5660.19/5662.70	c   seconds        variables     equivalent    conflicts       height       MB
5660.19/5662.70	c
5660.19/5662.70	c R 5660.3  6149469  166736 116921  6964  80798 1214842 643231 4650.1   0  700
6078.92/6081.51	c s 6078.9  6180044  166428 117107  7086  80798 1276905 642912 4624.5   1  679
6435.98/6438.75	c s 6436.0  6226335  165867 117504  7250  80798 1346526 642833 4604.4   1  684
6569.92/6572.78	c + 6570.0  6249582  165669 117644  7308  80798 1384240 707140 4594.5   2  720
6765.74/6768.60	c s 6765.8  6099125  158460 117719  7330  87910 1428591 664720 4584.9   1  684
6765.74/6768.60	c - 6765.8  6099125  158460 117719  7330  87910 1428591 692998 4584.9   1  684
7098.61/7101.62	c s 7098.6  6146506  157330 118336  7422  88331 1511993 692823 4560.5   2  696
7440.57/7443.80	c s 7440.7  6066019  153087 119590  7447  91295 1582201 693025 4539.9   1  700
7748.92/7752.26	c s 7749.0  6050640  149818 121701  7458  92442 1653266 692760 4523.7   0  704
7748.92/7752.26	c - 7749.0  6050640  149818 121701  7458  92442 1653266 686069 4523.7   0  704
7852.38/7855.78	c + 7852.5  6060062  149735 121775  7467  92442 1678738 754675 4515.2   2  732
8116.98/8120.41	c s 8117.0  6066496  148889 122000  7528  93002 1745001 750697 4500.0   2  728
8244.73/8248.21	c R 8244.8  6092012  148850 122016  7551  93002 1778797 754941 4491.3   1  765
8517.32/8520.90	c s 8517.3  6019387  147177 122028  7552  94662 1865225 754565 4467.6   2  759
8889.35/8893.20	c s 8889.5  5725408  145873 123007  7618  94921 1981071 754202 4443.0   1  753
9093.28/9097.11	c B 9093.3  5730164  145866 123007  7625  94921 2048342 754776 4432.3   0  788
9237.51/9241.45	c s 9237.6  5729777  145781 123010  7636  94992 2093768 754534 4426.6   1  755
9246.30/9250.25	c + 9246.4  5729868  145780 123010  7637  94992 2098420 830142 4425.8   1  765
9596.46/9600.55	c s 9596.5  5726750  145613 123010  7652  95144 2206345 829855 4416.8   1  796
9966.82/9971.09	c
9966.82/9971.09	c       original/binary      fixed     eliminated      learned       agility
9966.82/9971.09	c   seconds        variables     equivalent    conflicts       height       MB
9966.82/9971.09	c
9966.82/9971.09	c s 9966.9  5715820  145369 123010  7664  95376 2317796 829959 4399.5   0  783
10000.01/10004.20	c
10000.01/10004.20	c *** CAUGHT SIGNAL 15 ***
10000.01/10004.20	c
10000.01/10004.20	c 2327955 conflicts, 173604818 decisions, 85958 random
10000.01/10004.20	c 6 iterations, 5007 restarts, 0 skipped
10000.01/10004.20	c 9 enlarged, 3733 shrunken, 22735 rescored, 524 rebiased
10000.01/10004.20	c 32 simplifications, 0 reductions
10000.01/10004.20	c
10000.01/10004.20	c vars: 123010 fixed, 7666 equiv, 95376 elim, 7945 merged
10000.01/10004.20	c elim: 25548777 resolutions, 32 phases, 1 rounds
10000.01/10004.20	c sbst: 58% substituted, 0.9% nots, 86.3% ands, 0.0% xors, 12.8% ites
10000.01/10004.20	c arty: 18.04 and 0.00 xor average arity
10000.01/10004.20	c prbe: 354894 probed, 5451 phases, 1 rounds
10000.01/10004.20	c prbe: 10393 failed, 95714 lifted, 203 merged
10000.01/10004.20	c sccs: 305 non trivial, 0 fixed, 385 merged
10000.01/10004.20	c hash: 172 units, 7357 merged
10000.01/10004.20	c mins: 215993040 learned, 42% deleted, 23 strong, 185 depth
10000.01/10004.20	c subs: 25407 forward, 23466 backward, 1427275 doms
10000.01/10004.20	c strs: 138446 forward, 9081 backward
10000.01/10004.20	c doms: 1468986 dominators, 1356513 high, 948 low
10000.01/10004.20	c prps: 7889229420 propagations, 0.79 megaprops
10000.01/10004.20	c
10000.01/10004.20	c 10000.0 seconds, 842 MB max, 785 MB recycled
10000.01/10004.20	c
10000.01/10004.20	c *** CAUGHT SIGNAL 15 ***
10000.01/10004.20	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-1773261-1241182966/watcher-1773261-1241182966 -o /tmp/evaluation-result-1773261-1241182966/solver-1773261-1241182966 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1773261-1241182966.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.01 1.00 0.92 3/64 25560
/proc/meminfo: memFree=1080680/2055920 swapFree=4181312/4192956
[pid=25560] ppid=25558 vsize=6592 CPUtime=0
/proc/25560/stat : 25560 (precosat) R 25558 25560 25523 0 -1 4194304 1022 0 0 0 0 0 0 0 18 0 1 0 146330978 6750208 1007 1992294400 134512640 135151029 4294956240 18446744073709551615 134697845 0 0 4096 0 0 0 0 17 0 0 0
/proc/25560/statm: 1648 1014 58 155 0 1491 0

[startup+0.00993996 s]
/proc/loadavg: 1.01 1.00 0.92 3/64 25560
/proc/meminfo: memFree=1080680/2055920 swapFree=4181312/4192956
[pid=25560] ppid=25558 vsize=9496 CPUtime=0
/proc/25560/stat : 25560 (precosat) R 25558 25560 25523 0 -1 4194304 1882 0 0 0 0 0 0 0 18 0 1 0 146330978 9723904 1868 1992294400 134512640 135151029 4294956240 18446744073709551615 134697845 0 0 4096 0 0 0 0 17 0 0 0
/proc/25560/statm: 2374 1876 58 155 0 2217 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9496

[startup+0.102949 s]
/proc/loadavg: 1.01 1.00 0.92 3/64 25560
/proc/meminfo: memFree=1080680/2055920 swapFree=4181312/4192956
[pid=25560] ppid=25558 vsize=32600 CPUtime=0.09
/proc/25560/stat : 25560 (precosat) R 25558 25560 25523 0 -1 4194304 7922 0 0 0 7 2 0 0 18 0 1 0 146330978 33382400 7907 1992294400 134512640 135151029 4294956240 18446744073709551615 134697845 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25560/statm: 8150 7907 63 155 0 7993 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32600

[startup+0.301969 s]
/proc/loadavg: 1.01 1.00 0.92 3/64 25560
/proc/meminfo: memFree=1080680/2055920 swapFree=4181312/4192956
[pid=25560] ppid=25558 vsize=41828 CPUtime=0.29
/proc/25560/stat : 25560 (precosat) R 25558 25560 25523 0 -1 4194304 10455 0 0 0 26 3 0 0 19 0 1 0 146330978 42831872 10213 1992294400 134512640 135151029 4294956240 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25560/statm: 10490 10214 63 155 0 10333 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41828

[startup+0.702009 s]
/proc/loadavg: 1.01 1.00 0.92 3/64 25560
/proc/meminfo: memFree=1080680/2055920 swapFree=4181312/4192956
[pid=25560] ppid=25558 vsize=57456 CPUtime=0.69
/proc/25560/stat : 25560 (precosat) R 25558 25560 25523 0 -1 4194304 14596 0 0 0 64 5 0 0 23 0 1 0 146330978 58834944 14097 1992294400 134512640 135151029 4294956240 18446744073709551615 134579313 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25560/statm: 14364 14097 63 155 0 14207 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 57456

[startup+1.50109 s]
/proc/loadavg: 1.01 1.00 0.92 2/65 25561
/proc/meminfo: memFree=1014432/2055920 swapFree=4181312/4192956
[pid=25560] ppid=25558 vsize=79508 CPUtime=1.49
/proc/25560/stat : 25560 (precosat) R 25558 25560 25523 0 -1 4194304 21611 0 0 0 140 9 0 0 25 0 1 0 146330978 81416192 19574 1992294400 134512640 135151029 4294956240 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25560/statm: 19910 19575 63 155 0 19753 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 79508

[startup+3.10125 s]
/proc/loadavg: 1.01 1.00 0.92 2/65 25561
/proc/meminfo: memFree=982048/2055920 swapFree=4181312/4192956
[pid=25560] ppid=25558 vsize=126852 CPUtime=3.09
/proc/25560/stat : 25560 (precosat) R 25558 25560 25523 0 -1 4194304 35201 0 0 0 292 17 0 0 25 0 1 0 146330978 129896448 31115 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25560/statm: 31713 31115 63 155 0 31556 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 126852

[startup+6.30158 s]
/proc/loadavg: 1.09 1.02 0.93 2/65 25561
/proc/meminfo: memFree=890656/2055920 swapFree=4181312/4192956
[pid=25560] ppid=25558 vsize=214192 CPUtime=6.29
/proc/25560/stat : 25560 (precosat) R 25558 25560 25523 0 -1 4194304 61149 0 0 0 601 28 0 0 25 0 1 0 146330978 219332608 52966 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25560/statm: 53548 52966 63 155 0 53391 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 214192

[startup+12.7012 s]
/proc/loadavg: 1.08 1.02 0.93 2/65 25561
/proc/meminfo: memFree=661280/2055920 swapFree=4181312/4192956
[pid=25560] ppid=25558 vsize=425268 CPUtime=12.69
/proc/25560/stat : 25560 (precosat) R 25558 25560 25523 0 -1 4194304 113179 0 0 0 1216 53 0 0 25 0 1 0 146330978 435474432 104996 1992294400 134512640 135151029 4294956240 18446744073709551615 134579313 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25560/statm: 106317 104996 63 155 0 106160 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 425268

[startup+25.5015 s]
/proc/loadavg: 1.06 1.01 0.93 2/65 25561
/proc/meminfo: memFree=565216/2055920 swapFree=4181312/4192956
[pid=25560] ppid=25558 vsize=556572 CPUtime=25.48
/proc/25560/stat : 25560 (precosat) R 25558 25560 25523 0 -1 4194304 175560 0 0 0 2463 85 0 0 25 0 1 0 146330978 569929728 137213 1992294400 134512640 135151029 4294956240 18446744073709551615 134579313 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25560/statm: 139143 137213 79 155 0 138986 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 556572

[startup+51.1011 s]
/proc/loadavg: 1.04 1.01 0.93 2/65 25561
/proc/meminfo: memFree=493536/2055920 swapFree=4181312/4192956
[pid=25560] ppid=25558 vsize=592420 CPUtime=51.06
/proc/25560/stat : 25560 (precosat) R 25558 25560 25523 0 -1 4194304 229814 0 0 0 4996 110 0 0 25 0 1 0 146330978 606638080 146915 1992294400 134512640 135151029 4294956240 18446744073709551615 134519335 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25560/statm: 148105 146915 79 155 0 147948 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 592420

[startup+102.306 s]
/proc/loadavg: 1.02 1.01 0.93 2/65 25561
/proc/meminfo: memFree=481952/2055920 swapFree=4181312/4192956
[pid=25560] ppid=25558 vsize=607484 CPUtime=102.25
/proc/25560/stat : 25560 (precosat) R 25558 25560 25523 0 -1 4194304 269594 0 0 0 10092 133 0 0 25 0 1 0 146330978 622063616 149822 1992294400 134512640 135151029 4294956240 18446744073709551615 134567933 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25560/statm: 151871 149822 79 155 0 151714 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 607484

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 25561
/proc/meminfo: memFree=481952/2055920 swapFree=4181312/4192956
[pid=25560] ppid=25558 vsize=607488 CPUtime=162.21
/proc/25560/stat : 25560 (precosat) R 25558 25560 25523 0 -1 4194304 269595 0 0 0 16088 133 0 0 25 0 1 0 146330978 622067712 149823 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25560/statm: 151872 149823 79 155 0 151715 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 607488

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 25561
/proc/meminfo: memFree=481952/2055920 swapFree=4181312/4192956
[pid=25560] ppid=25558 vsize=607488 CPUtime=222.19
/proc/25560/stat : 25560 (precosat) R 25558 25560 25523 0 -1 4194304 269595 0 0 0 22086 133 0 0 25 0 1 0 146330978 622067712 149823 1992294400 134512640 135151029 4294956240 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25560/statm: 151872 149823 79 155 0 151715 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 607488

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 25561
/proc/meminfo: memFree=481248/2055920 swapFree=4181312/4192956
[pid=25560] ppid=25558 vsize=607488 CPUtime=282.17
/proc/25560/stat : 25560 (precosat) R 25558 25560 25523 0 -1 4194304 372571 0 0 0 28035 182 0 0 25 0 1 0 146330978 622067712 149951 1992294400 134512640 135151029 4294956240 18446744073709551615 134542634 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25560/statm: 151872 149951 79 155 0 151715 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 607488

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 25561
/proc/meminfo: memFree=481256/2055920 swapFree=4181312/4192956
[pid=25560] ppid=25558 vsize=607488 CPUtime=342.14
/proc/25560/stat : 25560 (precosat) R 25558 25560 25523 0 -1 4194304 372571 0 0 0 34032 182 0 0 25 0 1 0 146330978 622067712 149951 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25560/statm: 151872 149951 79 155 0 151715 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 607488

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 25561
/proc/meminfo: memFree=481256/2055920 swapFree=4181312/4192956
[pid=25560] ppid=25558 vsize=607488 CPUtime=402.11
/proc/25560/stat : 25560 (precosat) R 25558 25560 25523 0 -1 4194304 374023 0 0 0 40029 182 0 0 25 0 1 0 146330978 622067712 149952 1992294400 134512640 135151029 4294956240 18446744073709551615 134550581 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25560/statm: 151872 149952 79 155 0 151715 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 607488

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 25561
/proc/meminfo: memFree=480680/2055920 swapFree=4181312/4192956
[pid=25560] ppid=25558 vsize=607488 CPUtime=462.1
/proc/25560/stat : 25560 (precosat) R 25558 25560 25523 0 -1 4194304 475769 0 0 0 45977 233 0 0 25 0 1 0 146330978 622067712 150044 1992294400 134512640 135151029 4294956240 18446744073709551615 134554582 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25560/statm: 151872 150044 79 155 0 151715 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 607488

[startup+522.302 s]
/proc/loadavg: 1.06 1.01 0.93 2/65 25561
/proc/meminfo: memFree=480680/2055920 swapFree=4181312/4192956
[pid=25560] ppid=25558 vsize=607488 CPUtime=522.07
/proc/25560/stat : 25560 (precosat) R 25558 25560 25523 0 -1 4194304 475769 0 0 0 51974 233 0 0 25 0 1 0 146330978 622067712 150044 1992294400 134512640 135151029 4294956240 18446744073709551615 134542950 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25560/statm: 151872 150044 79 155 0 151715 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 607488

[startup+582.302 s]
/proc/loadavg: 1.02 1.01 0.93 2/65 25561
/proc/meminfo: memFree=480680/2055920 swapFree=4181312/4192956
[pid=25560] ppid=25558 vsize=607488 CPUtime=582.04
/proc/25560/stat : 25560 (precosat) R 25558 25560 25523 0 -1 4194304 475769 0 0 0 57971 233 0 0 25 0 1 0 146330978 622067712 150044 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25560/statm: 151872 150044 79 155 0 151715 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 607488

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 25561
/proc/meminfo: memFree=468840/2055920 swapFree=4181312/4192956
[pid=25560] ppid=25558 vsize=619328 CPUtime=642.03
/proc/25560/stat : 25560 (precosat) R 25558 25560 25523 0 -1 4194304 564272 0 0 0 63925 278 0 0 25 0 1 0 146330978 634191872 152980 1992294400 134512640 135151029 4294956240 18446744073709551615 134567814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25560/statm: 154832 152980 79 155 0 154675 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 619328

[startup+702.301 s]

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

[startup+9102.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25577
/proc/meminfo: memFree=185512/2055920 swapFree=4181312/4192956
[pid=25560] ppid=25558 vsize=898420 CPUtime=9098.48
/proc/25560/stat : 25560 (precosat) R 25558 25560 25523 0 -1 4194304 2727460 0 0 0 908491 1357 0 0 25 0 1 0 146330978 919982080 223203 1992294400 134512640 135151029 4294956240 18446744073709551615 134542664 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25560/statm: 224605 223203 79 155 0 224448 0
Current children cumulated CPU time (s) 9098.48
Current children cumulated vsize (KiB) 898420

[startup+9162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25577
/proc/meminfo: memFree=185000/2055920 swapFree=4181312/4192956
[pid=25560] ppid=25558 vsize=899448 CPUtime=9158.45
/proc/25560/stat : 25560 (precosat) R 25558 25560 25523 0 -1 4194304 2727593 0 0 0 914488 1357 0 0 25 0 1 0 146330978 921034752 223336 1992294400 134512640 135151029 4294956240 18446744073709551615 134581521 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25560/statm: 224862 223336 79 155 0 224705 0
Current children cumulated CPU time (s) 9158.45
Current children cumulated vsize (KiB) 899448

[startup+9222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25577
/proc/meminfo: memFree=201960/2055920 swapFree=4181312/4192956
[pid=25560] ppid=25558 vsize=881016 CPUtime=9218.43
/proc/25560/stat : 25560 (precosat) R 25558 25560 25523 0 -1 4194304 2781542 0 0 0 920460 1383 0 0 25 0 1 0 146330978 902160384 219064 1992294400 134512640 135151029 4294956240 18446744073709551615 134578749 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25560/statm: 220254 219064 79 155 0 220097 0
Current children cumulated CPU time (s) 9218.43
Current children cumulated vsize (KiB) 881016

[startup+9282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25577
/proc/meminfo: memFree=186536/2055920 swapFree=4181312/4192956
[pid=25560] ppid=25558 vsize=896368 CPUtime=9278.39
/proc/25560/stat : 25560 (precosat) R 25558 25560 25523 0 -1 4194304 2813810 0 0 0 926441 1398 0 0 25 0 1 0 146330978 917880832 222908 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25560/statm: 224092 222908 79 155 0 223935 0
Current children cumulated CPU time (s) 9278.39
Current children cumulated vsize (KiB) 896368

[startup+9342.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25577
/proc/meminfo: memFree=186536/2055920 swapFree=4181312/4192956
[pid=25560] ppid=25558 vsize=896368 CPUtime=9338.37
/proc/25560/stat : 25560 (precosat) R 25558 25560 25523 0 -1 4194304 2813810 0 0 0 932439 1398 0 0 25 0 1 0 146330978 917880832 222908 1992294400 134512640 135151029 4294956240 18446744073709551615 134542634 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25560/statm: 224092 222908 79 155 0 223935 0
Current children cumulated CPU time (s) 9338.37
Current children cumulated vsize (KiB) 896368

[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25579
/proc/meminfo: memFree=182824/2055920 swapFree=4181312/4192956
[pid=25560] ppid=25558 vsize=901092 CPUtime=9398.34
/proc/25560/stat : 25560 (precosat) R 25558 25560 25523 0 -1 4194304 2814849 0 0 0 938435 1399 0 0 25 0 1 0 146330978 922718208 223947 1992294400 134512640 135151029 4294956240 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25560/statm: 225273 223947 79 155 0 225116 0
Current children cumulated CPU time (s) 9398.34
Current children cumulated vsize (KiB) 901092

[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25579
/proc/meminfo: memFree=168936/2055920 swapFree=4181312/4192956
[pid=25560] ppid=25558 vsize=915436 CPUtime=9458.32
/proc/25560/stat : 25560 (precosat) R 25558 25560 25523 0 -1 4194304 2818261 0 0 0 944430 1402 0 0 25 0 1 0 146330978 937406464 227359 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25560/statm: 228859 227359 79 155 0 228702 0
Current children cumulated CPU time (s) 9458.32
Current children cumulated vsize (KiB) 915436

[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25579
/proc/meminfo: memFree=163880/2055920 swapFree=4181312/4192956
[pid=25560] ppid=25558 vsize=921008 CPUtime=9518.29
/proc/25560/stat : 25560 (precosat) R 25558 25560 25523 0 -1 4194304 2819532 0 0 0 950426 1403 0 0 25 0 1 0 146330978 943112192 228630 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25560/statm: 230252 228630 79 155 0 230095 0
Current children cumulated CPU time (s) 9518.29
Current children cumulated vsize (KiB) 921008

[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25579
/proc/meminfo: memFree=178408/2055920 swapFree=4181312/4192956
[pid=25560] ppid=25558 vsize=906184 CPUtime=9578.27
/proc/25560/stat : 25560 (precosat) R 25558 25560 25523 0 -1 4194304 2873849 0 0 0 956398 1429 0 0 25 0 1 0 146330978 927932416 224975 1992294400 134512640 135151029 4294956240 18446744073709551615 134572739 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25560/statm: 226546 224975 79 155 0 226389 0
Current children cumulated CPU time (s) 9578.27
Current children cumulated vsize (KiB) 906184

[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25579
/proc/meminfo: memFree=162152/2055920 swapFree=4181312/4192956
[pid=25560] ppid=25558 vsize=921536 CPUtime=9638.24
/proc/25560/stat : 25560 (precosat) R 25558 25560 25523 0 -1 4194304 2906309 0 0 0 962379 1445 0 0 25 0 1 0 146330978 943652864 229011 1992294400 134512640 135151029 4294956240 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25560/statm: 230384 229011 79 155 0 230227 0
Current children cumulated CPU time (s) 9638.24
Current children cumulated vsize (KiB) 921536

[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25579
/proc/meminfo: memFree=161000/2055920 swapFree=4181312/4192956
[pid=25560] ppid=25558 vsize=923588 CPUtime=9698.23
/proc/25560/stat : 25560 (precosat) R 25558 25560 25523 0 -1 4194304 2906602 0 0 0 968377 1446 0 0 25 0 1 0 146330978 945754112 229304 1992294400 134512640 135151029 4294956240 18446744073709551615 134554582 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25560/statm: 230897 229304 79 155 0 230740 0
Current children cumulated CPU time (s) 9698.23
Current children cumulated vsize (KiB) 923588

[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25579
/proc/meminfo: memFree=160936/2055920 swapFree=4181312/4192956
[pid=25560] ppid=25558 vsize=923588 CPUtime=9758.21
/proc/25560/stat : 25560 (precosat) R 25558 25560 25523 0 -1 4194304 2906619 0 0 0 974375 1446 0 0 25 0 1 0 146330978 945754112 229321 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25560/statm: 230897 229321 79 155 0 230740 0
Current children cumulated CPU time (s) 9758.21
Current children cumulated vsize (KiB) 923588

[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25579
/proc/meminfo: memFree=160872/2055920 swapFree=4181312/4192956
[pid=25560] ppid=25558 vsize=923588 CPUtime=9818.18
/proc/25560/stat : 25560 (precosat) R 25558 25560 25523 0 -1 4194304 2906635 0 0 0 980372 1446 0 0 25 0 1 0 146330978 945754112 229337 1992294400 134512640 135151029 4294956240 18446744073709551615 134576002 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25560/statm: 230897 229337 79 155 0 230740 0
Current children cumulated CPU time (s) 9818.18
Current children cumulated vsize (KiB) 923588

[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25579
/proc/meminfo: memFree=160424/2055920 swapFree=4181312/4192956
[pid=25560] ppid=25558 vsize=923920 CPUtime=9878.16
/proc/25560/stat : 25560 (precosat) R 25558 25560 25523 0 -1 4194304 2906748 0 0 0 986370 1446 0 0 25 0 1 0 146330978 946094080 229450 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25560/statm: 230980 229450 79 155 0 230823 0
Current children cumulated CPU time (s) 9878.16
Current children cumulated vsize (KiB) 923920

[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25579
/proc/meminfo: memFree=129128/2055920 swapFree=4181312/4192956
[pid=25560] ppid=25558 vsize=954128 CPUtime=9938.13
/proc/25560/stat : 25560 (precosat) R 25558 25560 25523 0 -1 4194304 2940803 0 0 0 992351 1462 0 0 25 0 1 0 146330978 977027072 237308 1992294400 134512640 135151029 4294956240 18446744073709551615 134579313 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25560/statm: 238532 237308 79 155 0 238375 0
Current children cumulated CPU time (s) 9938.13
Current children cumulated vsize (KiB) 954128

[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25579
/proc/meminfo: memFree=161640/2055920 swapFree=4181312/4192956
[pid=25560] ppid=25558 vsize=921356 CPUtime=9998.11
/proc/25560/stat : 25560 (precosat) R 25558 25560 25523 0 -1 4194304 2993312 0 0 0 998323 1488 0 0 25 0 1 0 146330978 943468544 229131 1992294400 134512640 135151029 4294956240 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25560/statm: 230339 229131 79 155 0 230182 0
Current children cumulated CPU time (s) 9998.11
Current children cumulated vsize (KiB) 921356



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+10004.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25579
/proc/meminfo: memFree=161640/2055920 swapFree=4181312/4192956
[pid=25560] ppid=25558 vsize=921356 CPUtime=10000
/proc/25560/stat : 25560 (precosat) R 25558 25560 25523 0 -1 4194304 2993312 0 0 0 998513 1488 0 0 25 0 1 0 146330978 943468544 229131 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25560/statm: 230339 229131 79 155 0 230182 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 921356

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

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

[startup+10004.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25579
/proc/meminfo: memFree=161640/2055920 swapFree=4181312/4192956
[pid=25560] ppid=25558 vsize=0 CPUtime=10000.1
/proc/25560/stat : 25560 (precosat) R 25558 25560 25523 0 -1 4195332 2993312 0 0 0 998513 1498 0 0 25 0 1 0 146330978 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/25560/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 10004.3
CPU time (s): 10000.2
CPU user time (s): 9985.14
CPU system time (s): 15.0167
CPU usage (%): 99.9582
Max. virtual memory (cumulated for all children) (KiB): 954308

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

runsolver used 8.44072 second user time and 27.9498 second system time

The end

Launcher Data 

Begin job on node17 at 2009-05-01 15:02:56
IDJOB=1773261
IDBENCH=20579
IDSOLVER=607
FILE ID=node17/1773261-1241182966
PBS_JOBID= 9224591
Free space on /tmp= 66204 MiB

SOLVER NAME= precosat 236
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq8.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1773261-1241182966/watcher-1773261-1241182966 -o /tmp/evaluation-result-1773261-1241182966/solver-1773261-1241182966 -C 10000 -W 12000 -M 1800  HOME/precosat HOME/instance-1773261-1241182966.cnf

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

MD5SUM BENCH= 776da55785376fd8eac6989ca812b102
RANDOM SEED=2089822655

node17.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.234
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.234
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:       1081096 kB
Buffers:         76004 kB
Cached:         790756 kB
SwapCached:       5476 kB
Active:         174760 kB
Inactive:       699852 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1081096 kB
SwapTotal:     4192956 kB
SwapFree:      4181312 kB
Dirty:          157412 kB
Writeback:           0 kB
Mapped:          13476 kB
Slab:            86128 kB
Committed_AS:   667428 kB
PageTables:       1452 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= 66204 MiB
End job on node17 at 2009-05-01 17:49:42