Trace number 1784026

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) 5000.08 5001.57

General information on the benchmark

NameCRAFTED/edgematching/
compact/em_11_3_4_cmp.cnf
MD5SUM3b5e80540ef2fcb09cfe50ac7e3686c1
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables8713
Number of clauses99699
Sum of the clauses size335345
Maximum clause length81
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 210866
Number of clauses of size 367270
Number of clauses of size 410556
Number of clauses of size 510773
Number of clauses of size over 5234

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-1784026-1241910163.cnf
0.00/0.00	c found header 'p cnf 8713 99699'
0.09/0.10	c finished parsing
0.09/0.10	c
0.09/0.10	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.09/0.10	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.09/0.10	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.09/0.10	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.09/0.10	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.09/0.10	c --random=1 --spread=2000 --seed=0 --skip=25
0.09/0.10	c
0.09/0.10	c sizeof     vars[0] = 16   alignment = 0       0 MB
0.09/0.10	c sizeof     orgs[0] =  8   alignment = 0       0 MB
0.09/0.10	c sizeof     occs[0] =  8   alignment = 0       0 MB
0.09/0.10	c sizeof iirfs[0..1] =  8   alignment = 0       0 MB
0.09/0.10	c
0.09/0.10	c starting search after 0.1 seconds
0.09/0.10	c no decision limit
0.09/0.11	c
0.09/0.11	c       original/binary      fixed     eliminated      learned       agility
0.09/0.11	c   seconds        variables     equivalent    conflicts       height       MB
0.09/0.11	c
0.09/0.11	c *    0.1    99699    8713      0     0      0       0      0    0.0   0    7
0.89/0.99	c s    1.0   121731    8685      0    20      8       0      0    0.0   0    8
0.89/0.99	c l    1.0   121731    8685      0    20      8       0  85965    0.0   0    8
1.00/1.02	c R    1.0   121741    8685      0    20      8     100     99 1489.4   1    9
1.00/1.07	c R    1.1   121747    8685      0    20      8     201    199 1339.7   1    9
1.29/1.30	c R    1.3   121829    8685      0    20      8     801    785 1269.2   1    9
1.39/1.40	c B    1.4   121869    8685      0    20      8    1000    978 1234.6   1    9
1.49/1.51	c B    1.5   121878    8685      0    20      8    2002   1978 1210.6  10   10
1.49/1.55	c R    1.6   121880    8685      0    20      8    2411   2387 1206.6   7   11
2.19/2.29	c R    2.3   121992    8685      0    20      8    6424   6392 1172.9  11   14
2.49/2.55	c B    2.6   121992    8685      0    20      8    8012   7980 1163.7   4   16
4.29/4.40	c R    4.4   122422    8685      0    20      8   16049  15978 1135.2   6   23
6.09/6.13	c s    6.1   122476    8685      0    20      8   20963  20878 1127.2   5   24
7.29/7.31	c B    7.3   122735    8685      0    20      8   24019  23903 1146.1   8   29
12.89/12.94	c R   12.9   124059    8685      0    20      8   38492  38287 1160.7   7   43
15.49/15.56	c s   15.6   124844    8685      0    20      8   44661  44449 1153.0   6   42
24.39/24.48	c B   24.5   126359    8685      0    20      8   64032  63745 1108.3   9   67
30.59/30.60	c s   30.6   128225    8685      0    20      8   70793  70446 1112.4   1   62
39.88/39.97	c +   40.0   129970    8685      0    20      8   85967  94561 1107.6   7   84
41.38/41.48	c
41.38/41.48	c       original/binary      fixed     eliminated      learned       agility
41.38/41.48	c   seconds        variables     equivalent    conflicts       height       MB
41.38/41.48	c
41.38/41.48	c R   41.5   129971    8685      0    20      8   89804  89426 1105.7   8   89
50.97/51.07	c +   51.1   130037    8685      0    20      8  107455 104017 1088.8   8   94
55.78/55.88	c s   55.9   130323    8685      0    20      8  112662  99756 1095.8   9   84
74.46/74.53	c +   74.5   132182    8685      0    20      8  134315 114418 1076.6   7  100
88.26/88.38	c s   88.4   133652    8685      0    20      8  152916 114474 1076.5   1   91
94.36/94.49	c B   94.5   135516    8685      0    20      8  160066 114501 1089.4   2  102
100.46/100.57	c +  100.5   136266    8685      0    20      8  167890 125859 1092.6   7  104
122.25/122.33	c s  122.3   139102    8685      0    20      8  196647 125858 1093.7   5   99
129.35/129.45	c R  129.4   139104    8685      0    20      8  205213 125869 1090.7   5  101
133.45/133.52	c +  133.5   139106    8685      0    20      8  209860 138444 1089.4   5  102
169.54/169.63	c s  169.6   140979    8685      0    20      8  250064 138466 1072.7   8  107
178.94/179.03	c +  179.0   143008    8685      0    20      8  262327 152288 1073.2  10  122
216.73/216.87	c s  216.8   147811    8685      0    20      8  304724 152356 1060.8   2  116
242.22/242.30	c +  242.2   148930    8685      0    20      8  327906 167516 1055.2   5  130
271.81/271.93	c s  271.9   151097    8685      0    20      8  359282 167510 1059.3   3  124
292.61/292.76	c B  292.7   154060    8685      0    20      8  384137 167615 1067.9   7  146
313.90/314.03	c +  313.9   157761    8685      0    20      8  409880 184267 1068.6   4  150
320.10/320.27	c s  320.2   158076    8685      0    20      8  416893 174595 1069.7   7  129
364.68/364.86	c R  364.8   160874    8685      0    20      8  461665 184340 1079.9   7  174
382.18/382.38	c
382.18/382.38	c       original/binary      fixed     eliminated      learned       agility
382.18/382.38	c   seconds        variables     equivalent    conflicts       height       MB
382.18/382.38	c
382.18/382.38	c s  382.3   162235    8685      0    20      8  475638 184267 1077.6   6  154
415.17/415.30	c +  415.2   162472    8685      0    20      8  512350 202693 1072.1   7  167
464.05/464.26	c s  464.1   165835    8685      0    20      8  548403 202692 1072.3   5  169
529.04/529.26	c s  529.1   172161    8685      0    20      8  603435 202883 1078.3   1  168
567.22/567.40	c +  567.2   176644    8685      0    20      8  640436 222962 1081.0   6  174
603.91/604.16	c s  604.0   178577    8685      0    20      8  670657 222985 1076.5   8  162
690.88/691.17	c s  691.0   182860    8685      0    20      8  751377 222985 1068.5  10  163
762.46/762.77	c +  762.5   189800    8685      0    20      8  800545 245258 1072.5   2  196
775.06/775.39	c s  775.2   190497    8685      0    20      8  810437 232892 1075.4   1  170
851.84/852.13	c s  851.9   199941    8685      0    20      8  876343 245360 1078.2   2  182
878.83/879.12	c B  878.9   202576    8685      0    20      8  896250 245297 1079.8   7  209
939.92/940.24	c s  940.0   207150    8685      0    20      8  949775 245486 1083.8   2  182
996.10/996.42	c +  996.1   210478    8685      0    20      8 1000681 269783 1089.7   7  227
1015.89/1016.28	c R 1016.0   210545    8685      0    20      8 1025813 269828 1089.1   7  250
1045.98/1046.30	c s 1046.0   211061    8685      0    20      8 1037368 269788 1088.1   4  220
1186.24/1186.64	c s 1186.3   211760    8685      0    20      8 1138870 269784 1081.2   5  207
1289.91/1290.33	c s 1289.9   217247    8685      0    20      8 1221371 269764 1079.1   6  199
1329.50/1329.99	c + 1329.6   218463    8685      0    20      8 1250851 296761 1077.2   8  217
1409.87/1410.37	c s 1410.0   221603    8685      0    20      8 1306349 296771 1074.2   6  200
1539.73/1540.24	c
1539.73/1540.24	c       original/binary      fixed     eliminated      learned       agility
1539.73/1540.24	c   seconds        variables     equivalent    conflicts       height       MB
1539.73/1540.24	c
1539.73/1540.24	c s 1539.8   225046    8685      0    20      8 1397046 296780 1073.2   5  209
1650.11/1650.62	c s 1650.1   232189    8685      0    20      8 1475293 296768 1080.3   3  208
1774.56/1775.16	c s 1774.6   238487    8685      0    20      8 1553953 296760 1078.2   7  208
1791.46/1792.07	c + 1791.5   239320    8685      0    20      8 1563561 326437 1077.6   4  219
1919.82/1920.46	c s 1919.9   240176    8685      0    20      8 1656504 326473 1074.4   4  231
2076.77/2077.47	c s 2076.9   244961    8685      0    20      8 1745349 326630 1070.3   4  229
2217.23/2217.96	c s 2217.3   249965    8685      0    20      8 1823905 326597 1070.0   1  230
2327.60/2328.32	c s 2327.6   255901    8685      0    20      8 1903027 326644 1074.1   3  227
2411.28/2412.09	c + 2411.4   260310    8685      0    20      8 1954452 359080 1077.8   8  262
2439.36/2440.18	c s 2439.5   261602    8685      0    20      8 1976829 348895 1079.0   3  237
2550.53/2551.35	c s 2550.6   269617    8685      0    20      8 2038494 359061 1083.8   7  244
2564.83/2565.68	c B 2564.9   270249    8685      0    20      8 2048498 359127 1083.9   8  271
2699.19/2700.07	c s 2699.3   273093    8685      0    20      8 2147755 359457 1088.4   2  266
2840.95/2841.88	c R 2841.0   276771    8685      0    20      8 2256233 407186 1092.3   5  363
2850.14/2851.08	c s 2850.2   276911    8685      0    20      8 2257904 401225 1092.3   9  320
2999.30/3000.29	c s 2999.4   280424    8685      0    20      8 2379889 359116 1092.6   6  322
3089.67/3090.61	c + 3089.7   282117    8685      0    20      8 2443069 394988 1090.3   5  321
3151.46/3152.40	c s 3151.5   283178    8685      0    20      8 2485811 395185 1089.5   1  320
3314.41/3315.43	c s 3314.4   287410    8685      0    20      8 2581218 395219 1088.2   2  302
3472.56/3473.65	c
3472.56/3473.65	c       original/binary      fixed     eliminated      learned       agility
3472.56/3473.65	c   seconds        variables     equivalent    conflicts       height       MB
3472.56/3473.65	c
3472.56/3473.65	c s 3472.6   292963    8685      0    20      8 2683566 395373 1087.7   9  284
3625.91/3627.07	c s 3626.0   298650    8685      0    20      8 2769219 395312 1090.6   3  271
3785.66/3786.80	c s 3785.7   305936    8685      0    20      8 2846661 395289 1093.1   1  276
3951.81/3953.05	c s 3951.9   311364    8685      0    20      8 2942730 395222 1095.7   8  279
4138.26/4139.53	c s 4138.3   316098    8685      0    20      8 3045073 395345 1095.9   3  289
4156.16/4157.45	c + 4156.2   316491    8685      0    20      8 3053835 434486 1096.2   3  318
4324.60/4325.98	c s 4324.7   320619    8685      0    20      8 3147040 434918 1098.1   2  319
4511.65/4513.00	c s 4511.7   325439    8685      0    20      8 3275064 434912 1101.0   4  326
4719.89/4721.30	c s 4719.9   331368    8685      0    20      8 3378430 434433 1104.7   4  315
4941.42/4942.93	c s 4941.5   332966    8685      0    20      8 3540704 434826 1102.8   5  315
5000.01/5001.50	c
5000.01/5001.50	c *** CAUGHT SIGNAL 15 ***
5000.01/5001.50	c
5000.01/5001.50	c 3568864 conflicts, 55649281 decisions, 27829 random
5000.01/5001.50	c 0 iterations, 6141 restarts, 0 skipped
5000.01/5001.50	c 17 enlarged, 2931 shrunken, 34906 rescored, 854 rebiased
5000.01/5001.50	c 46 simplifications, 0 reductions
5000.01/5001.50	c
5000.01/5001.50	c vars: 0 fixed, 20 equiv, 8 elim, 20 merged
5000.01/5001.50	c elim: 344296 resolutions, 1 phases, 1 rounds
5000.01/5001.50	c sbst: 0% substituted, 0.0% nots, 0.0% ands, 0.0% xors, 0.0% ites
5000.01/5001.50	c arty: 0.00 and 0.00 xor average arity
5000.01/5001.50	c prbe: 2097382 probed, 678 phases, 120 rounds
5000.01/5001.50	c prbe: 0 failed, 0 lifted, 0 merged
5000.01/5001.50	c sccs: 0 non trivial, 0 fixed, 0 merged
5000.01/5001.50	c hash: 0 units, 20 merged
5000.01/5001.50	c mins: 656748738 learned, 24% deleted, 112 strong, 26 depth
5000.01/5001.50	c subs: 3009 forward, 2886 backward, 14687 doms
5000.01/5001.50	c strs: 6 forward, 1 backward
5000.01/5001.50	c doms: 19283 dominators, 15727 high, 4 low
5000.01/5001.50	c prps: 887238888 propagations, 0.18 megaprops
5000.01/5001.50	c
5000.01/5001.50	c 5000.0 seconds, 385 MB max, 2303 MB recycled
5000.01/5001.50	c
5000.01/5001.50	c *** CAUGHT SIGNAL 15 ***
5000.01/5001.50	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-1784026-1241910163/watcher-1784026-1241910163 -o /tmp/evaluation-result-1784026-1241910163/solver-1784026-1241910163 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1784026-1241910163.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 6000 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 25337
/proc/meminfo: memFree=1640824/2055920 swapFree=4114788/4192956
[pid=25337] ppid=25335 vsize=1604 CPUtime=0
/proc/25337/stat : 25337 (precosat) R 25335 25337 25229 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 219049092 1642496 272 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25337/statm: 401 272 63 155 0 244 0

[startup+0.011167 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 25337
/proc/meminfo: memFree=1640824/2055920 swapFree=4114788/4192956
[pid=25337] ppid=25335 vsize=2000 CPUtime=0.01
/proc/25337/stat : 25337 (precosat) R 25335 25337 25229 0 -1 4194304 387 0 0 0 1 0 0 0 18 0 1 0 219049092 2048000 372 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25337/statm: 500 373 63 155 0 343 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2000

[startup+0.101179 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 25337
/proc/meminfo: memFree=1640824/2055920 swapFree=4114788/4192956
[pid=25337] ppid=25335 vsize=7940 CPUtime=0.09
/proc/25337/stat : 25337 (precosat) R 25335 25337 25229 0 -1 4194304 1894 0 0 0 9 0 0 0 18 0 1 0 219049092 8130560 1879 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25337/statm: 1985 1880 63 155 0 1828 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7940

[startup+0.301207 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 25337
/proc/meminfo: memFree=1640824/2055920 swapFree=4114788/4192956
[pid=25337] ppid=25335 vsize=11340 CPUtime=0.29
/proc/25337/stat : 25337 (precosat) R 25335 25337 25229 0 -1 4194304 2827 0 0 0 28 1 0 0 19 0 1 0 219049092 11612160 2584 1992294400 134512640 135151029 4294956240 18446744073709551615 134707553 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25337/statm: 2706 2584 79 155 0 2549 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11340

[startup+0.701265 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 25337
/proc/meminfo: memFree=1640824/2055920 swapFree=4114788/4192956
[pid=25337] ppid=25335 vsize=12412 CPUtime=0.69
/proc/25337/stat : 25337 (precosat) R 25335 25337 25229 0 -1 4194304 3231 0 0 0 68 1 0 0 22 0 1 0 219049092 12709888 2988 1992294400 134512640 135151029 4294956240 18446744073709551615 134548008 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25337/statm: 3103 2988 79 155 0 2946 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12412

[startup+1.50138 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25338
/proc/meminfo: memFree=1629104/2055920 swapFree=4114788/4192956
[pid=25337] ppid=25335 vsize=12412 CPUtime=1.49
/proc/25337/stat : 25337 (precosat) R 25335 25337 25229 0 -1 4194304 3231 0 0 0 148 1 0 0 25 0 1 0 219049092 12709888 2988 1992294400 134512640 135151029 4294956240 18446744073709551615 134554722 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25337/statm: 3103 2988 79 155 0 2946 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12412

[startup+3.10161 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25338
/proc/meminfo: memFree=1626352/2055920 swapFree=4114788/4192956
[pid=25337] ppid=25335 vsize=20068 CPUtime=3.09
/proc/25337/stat : 25337 (precosat) R 25335 25337 25229 0 -1 4194304 5149 0 0 0 307 2 0 0 25 0 1 0 219049092 20549632 4906 1992294400 134512640 135151029 4294956240 18446744073709551615 134567909 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25337/statm: 5017 4906 79 155 0 4860 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20068

[startup+6.30108 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25338
/proc/meminfo: memFree=1612208/2055920 swapFree=4114788/4192956
[pid=25337] ppid=25335 vsize=31248 CPUtime=6.29
/proc/25337/stat : 25337 (precosat) R 25335 25337 25229 0 -1 4194304 7921 0 0 0 626 3 0 0 25 0 1 0 219049092 31997952 7678 1992294400 134512640 135151029 4294956240 18446744073709551615 134555104 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25337/statm: 7812 7678 79 155 0 7655 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31248

[startup+12.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25338
/proc/meminfo: memFree=1597296/2055920 swapFree=4114788/4192956
[pid=25337] ppid=25335 vsize=45824 CPUtime=12.69
/proc/25337/stat : 25337 (precosat) R 25335 25337 25229 0 -1 4194304 11579 0 0 0 1264 5 0 0 25 0 1 0 219049092 46923776 11336 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25337/statm: 11456 11336 79 155 0 11299 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45824

[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25338
/proc/meminfo: memFree=1570608/2055920 swapFree=4114788/4192956
[pid=25337] ppid=25335 vsize=71048 CPUtime=25.49
/proc/25337/stat : 25337 (precosat) R 25335 25337 25229 0 -1 4194304 17931 0 0 0 2540 9 0 0 25 0 1 0 219049092 72753152 17559 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25337/statm: 17762 17559 79 155 0 17605 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 71048

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25338
/proc/meminfo: memFree=1541872/2055920 swapFree=4114788/4192956
[pid=25337] ppid=25335 vsize=100616 CPUtime=51.07
/proc/25337/stat : 25337 (precosat) R 25335 25337 25229 0 -1 4194304 25309 0 0 0 5093 14 0 0 25 0 1 0 219049092 103030784 24808 1992294400 134512640 135151029 4294956240 18446744073709551615 134698015 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25337/statm: 25154 24808 79 155 0 24997 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 100616

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25338
/proc/meminfo: memFree=1526064/2055920 swapFree=4114788/4192956
[pid=25337] ppid=25335 vsize=115312 CPUtime=102.26
/proc/25337/stat : 25337 (precosat) R 25335 25337 25229 0 -1 4194304 29688 0 0 0 10209 17 0 0 25 0 1 0 219049092 118079488 28656 1992294400 134512640 135151029 4294956240 18446744073709551615 134555084 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25337/statm: 28828 28656 79 155 0 28671 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 115312

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25338
/proc/meminfo: memFree=1509232/2055920 swapFree=4114788/4192956
[pid=25337] ppid=25335 vsize=133652 CPUtime=162.24
/proc/25337/stat : 25337 (precosat) R 25335 25337 25229 0 -1 4194304 33965 0 0 0 16203 21 0 0 25 0 1 0 219049092 136859648 32933 1992294400 134512640 135151029 4294956240 18446744073709551615 134554803 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25337/statm: 33413 32933 79 155 0 33256 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 133652

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25338
/proc/meminfo: memFree=1495416/2055920 swapFree=4114788/4192956
[pid=25337] ppid=25335 vsize=146824 CPUtime=222.23
/proc/25337/stat : 25337 (precosat) R 25335 25337 25229 0 -1 4194304 38461 0 0 0 22198 25 0 0 25 0 1 0 219049092 150347776 36243 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25337/statm: 36706 36243 79 155 0 36549 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 146824

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25338
/proc/meminfo: memFree=1486584/2055920 swapFree=4114788/4192956
[pid=25337] ppid=25335 vsize=154440 CPUtime=282.21
/proc/25337/stat : 25337 (precosat) R 25335 25337 25229 0 -1 4194304 41629 0 0 0 28193 28 0 0 25 0 1 0 219049092 158146560 38447 1992294400 134512640 135151029 4294956240 18446744073709551615 134574250 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25337/statm: 38610 38447 79 155 0 38453 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 154440

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25338
/proc/meminfo: memFree=1474616/2055920 swapFree=4114788/4192956
[pid=25337] ppid=25335 vsize=167004 CPUtime=342.19
/proc/25337/stat : 25337 (precosat) R 25335 25337 25229 0 -1 4194304 44892 0 0 0 34188 31 0 0 25 0 1 0 219049092 171012096 41453 1992294400 134512640 135151029 4294956240 18446744073709551615 134554903 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25337/statm: 41751 41453 79 155 0 41594 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 167004

[startup+402.301 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 25338
/proc/meminfo: memFree=1456888/2055920 swapFree=4114788/4192956
[pid=25337] ppid=25335 vsize=184336 CPUtime=402.17
/proc/25337/stat : 25337 (precosat) R 25335 25337 25229 0 -1 4194304 49728 0 0 0 40182 35 0 0 25 0 1 0 219049092 188760064 45843 1992294400 134512640 135151029 4294956240 18446744073709551615 134520405 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25337/statm: 46084 45843 79 155 0 45927 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 184336

[startup+462.301 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 25338
/proc/meminfo: memFree=1435192/2055920 swapFree=4114788/4192956
[pid=25337] ppid=25335 vsize=208776 CPUtime=462.15
/proc/25337/stat : 25337 (precosat) R 25335 25337 25229 0 -1 4194304 55143 0 0 0 46176 39 0 0 25 0 1 0 219049092 213786624 51258 1992294400 134512640 135151029 4294956240 18446744073709551615 134530863 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25337/statm: 52194 51258 79 155 0 52037 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 208776

[startup+522.302 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 25338
/proc/meminfo: memFree=1432760/2055920 swapFree=4114788/4192956
[pid=25337] ppid=25335 vsize=209848 CPUtime=522.14
/proc/25337/stat : 25337 (precosat) R 25335 25337 25229 0 -1 4194304 56547 0 0 0 52173 41 0 0 25 0 1 0 219049092 214884352 51857 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25337/statm: 52462 51857 79 155 0 52305 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 209848

[startup+582.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 25338
/proc/meminfo: memFree=1436472/2055920 swapFree=4114788/4192956
[pid=25337] ppid=25335 vsize=204340 CPUtime=582.12
/proc/25337/stat : 25337 (precosat) R 25335 25337 25229 0 -1 4194304 56633 0 0 0 58171 41 0 0 25 0 1 0 219049092 209244160 50892 1992294400 134512640 135151029 4294956240 18446744073709551615 134554907 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25337/statm: 51085 50892 79 155 0 50928 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 204340

[startup+642.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 25338
/proc/meminfo: memFree=1436280/2055920 swapFree=4114788/4192956
[pid=25337] ppid=25335 vsize=204340 CPUtime=642.1
/proc/25337/stat : 25337 (precosat) R 25335 25337 25229 0 -1 4194304 56686 0 0 0 64169 41 0 0 25 0 1 0 219049092 209244160 50945 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25337/statm: 51085 50945 79 155 0 50928 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 204340

[startup+702.302 s]

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

[startup+4062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25346
/proc/meminfo: memFree=1251320/2055920 swapFree=4114788/4192956
[pid=25337] ppid=25335 vsize=387016 CPUtime=4061.09
/proc/25337/stat : 25337 (precosat) R 25335 25337 25229 0 -1 4194304 122912 0 0 0 405997 112 0 0 25 0 1 0 219049092 396304384 96618 1992294400 134512640 135151029 4294956240 18446744073709551615 134555146 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25337/statm: 96754 96618 79 155 0 96597 0
Current children cumulated CPU time (s) 4061.09
Current children cumulated vsize (KiB) 387016

[startup+4122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25346
/proc/meminfo: memFree=1251256/2055920 swapFree=4114788/4192956
[pid=25337] ppid=25335 vsize=387016 CPUtime=4121.06
/proc/25337/stat : 25337 (precosat) R 25335 25337 25229 0 -1 4194304 122917 0 0 0 411994 112 0 0 25 0 1 0 219049092 396304384 96623 1992294400 134512640 135151029 4294956240 18446744073709551615 134520387 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25337/statm: 96754 96623 79 155 0 96597 0
Current children cumulated CPU time (s) 4121.06
Current children cumulated vsize (KiB) 387016

[startup+4182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25346
/proc/meminfo: memFree=1251192/2055920 swapFree=4114788/4192956
[pid=25337] ppid=25335 vsize=387016 CPUtime=4181.05
/proc/25337/stat : 25337 (precosat) R 25335 25337 25229 0 -1 4194304 123435 0 0 0 417992 113 0 0 25 0 1 0 219049092 396304384 96628 1992294400 134512640 135151029 4294956240 18446744073709551615 134574672 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25337/statm: 96754 96628 79 155 0 96597 0
Current children cumulated CPU time (s) 4181.05
Current children cumulated vsize (KiB) 387016

[startup+4242.3 s]
/proc/loadavg: 1.08 1.02 1.01 2/65 25346
/proc/meminfo: memFree=1251128/2055920 swapFree=4114788/4192956
[pid=25337] ppid=25335 vsize=387016 CPUtime=4241.03
/proc/25337/stat : 25337 (precosat) R 25335 25337 25229 0 -1 4194304 123451 0 0 0 423990 113 0 0 25 0 1 0 219049092 396304384 96644 1992294400 134512640 135151029 4294956240 18446744073709551615 134574638 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25337/statm: 96754 96644 79 155 0 96597 0
Current children cumulated CPU time (s) 4241.03
Current children cumulated vsize (KiB) 387016

[startup+4302.3 s]
/proc/loadavg: 1.29 1.07 1.02 2/65 25346
/proc/meminfo: memFree=1244152/2055920 swapFree=4114788/4192956
[pid=25337] ppid=25335 vsize=395908 CPUtime=4301.01
/proc/25337/stat : 25337 (precosat) R 25335 25337 25229 0 -1 4194304 125187 0 0 0 429986 115 0 0 25 0 1 0 219049092 405409792 98380 1992294400 134512640 135151029 4294956240 18446744073709551615 134554903 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25337/statm: 98977 98380 79 155 0 98820 0
Current children cumulated CPU time (s) 4301.01
Current children cumulated vsize (KiB) 395908

[startup+4362.3 s]
/proc/loadavg: 1.10 1.06 1.02 2/65 25346
/proc/meminfo: memFree=1242296/2055920 swapFree=4114788/4192956
[pid=25337] ppid=25335 vsize=397196 CPUtime=4360.99
/proc/25337/stat : 25337 (precosat) R 25335 25337 25229 0 -1 4194304 126136 0 0 0 435983 116 0 0 25 0 1 0 219049092 406728704 98816 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25337/statm: 99299 98816 79 155 0 99142 0
Current children cumulated CPU time (s) 4360.99
Current children cumulated vsize (KiB) 397196

[startup+4422.3 s]
/proc/loadavg: 1.04 1.05 1.01 2/65 25346
/proc/meminfo: memFree=1242104/2055920 swapFree=4114788/4192956
[pid=25337] ppid=25335 vsize=397196 CPUtime=4420.97
/proc/25337/stat : 25337 (precosat) R 25335 25337 25229 0 -1 4194304 126186 0 0 0 441981 116 0 0 25 0 1 0 219049092 406728704 98866 1992294400 134512640 135151029 4294956240 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25337/statm: 99299 98866 79 155 0 99142 0
Current children cumulated CPU time (s) 4420.97
Current children cumulated vsize (KiB) 397196

[startup+4482.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 25346
/proc/meminfo: memFree=1233656/2055920 swapFree=4114788/4192956
[pid=25337] ppid=25335 vsize=405828 CPUtime=4480.95
/proc/25337/stat : 25337 (precosat) R 25335 25337 25229 0 -1 4194304 128302 0 0 0 447977 118 0 0 25 0 1 0 219049092 415567872 100982 1992294400 134512640 135151029 4294956240 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25337/statm: 101457 100982 79 155 0 101300 0
Current children cumulated CPU time (s) 4480.95
Current children cumulated vsize (KiB) 405828

[startup+4542.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 25346
/proc/meminfo: memFree=1232504/2055920 swapFree=4114788/4192956
[pid=25337] ppid=25335 vsize=406660 CPUtime=4540.93
/proc/25337/stat : 25337 (precosat) R 25335 25337 25229 0 -1 4194304 128857 0 0 0 453974 119 0 0 25 0 1 0 219049092 416419840 101238 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25337/statm: 101665 101238 79 155 0 101508 0
Current children cumulated CPU time (s) 4540.93
Current children cumulated vsize (KiB) 406660

[startup+4602.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 25346
/proc/meminfo: memFree=1232120/2055920 swapFree=4114788/4192956
[pid=25337] ppid=25335 vsize=406660 CPUtime=4600.93
/proc/25337/stat : 25337 (precosat) R 25335 25337 25229 0 -1 4194304 128949 0 0 0 459973 120 0 0 25 0 1 0 219049092 416419840 101330 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25337/statm: 101665 101330 79 155 0 101508 0
Current children cumulated CPU time (s) 4600.93
Current children cumulated vsize (KiB) 406660

[startup+4662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 25346
/proc/meminfo: memFree=1231608/2055920 swapFree=4114788/4192956
[pid=25337] ppid=25335 vsize=406660 CPUtime=4660.9
/proc/25337/stat : 25337 (precosat) R 25335 25337 25229 0 -1 4194304 129074 0 0 0 465970 120 0 0 25 0 1 0 219049092 416419840 101455 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25337/statm: 101665 101455 79 155 0 101508 0
Current children cumulated CPU time (s) 4660.9
Current children cumulated vsize (KiB) 406660

[startup+4722.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 25346
/proc/meminfo: memFree=1231352/2055920 swapFree=4114788/4192956
[pid=25337] ppid=25335 vsize=406660 CPUtime=4720.89
/proc/25337/stat : 25337 (precosat) R 25335 25337 25229 0 -1 4194304 129714 0 0 0 471968 121 0 0 25 0 1 0 219049092 416419840 101469 1992294400 134512640 135151029 4294956240 18446744073709551615 134554766 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25337/statm: 101665 101469 79 155 0 101508 0
Current children cumulated CPU time (s) 4720.89
Current children cumulated vsize (KiB) 406660

[startup+4782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25346
/proc/meminfo: memFree=1231480/2055920 swapFree=4114788/4192956
[pid=25337] ppid=25335 vsize=406660 CPUtime=4780.87
/proc/25337/stat : 25337 (precosat) R 25335 25337 25229 0 -1 4194304 129718 0 0 0 477966 121 0 0 25 0 1 0 219049092 416419840 101473 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25337/statm: 101665 101473 79 155 0 101508 0
Current children cumulated CPU time (s) 4780.87
Current children cumulated vsize (KiB) 406660

[startup+4842.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25346
/proc/meminfo: memFree=1231480/2055920 swapFree=4114788/4192956
[pid=25337] ppid=25335 vsize=406660 CPUtime=4840.85
/proc/25337/stat : 25337 (precosat) R 25335 25337 25229 0 -1 4194304 129718 0 0 0 483964 121 0 0 25 0 1 0 219049092 416419840 101473 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25337/statm: 101665 101473 79 155 0 101508 0
Current children cumulated CPU time (s) 4840.85
Current children cumulated vsize (KiB) 406660

[startup+4902.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25346
/proc/meminfo: memFree=1231480/2055920 swapFree=4114788/4192956
[pid=25337] ppid=25335 vsize=406660 CPUtime=4900.83
/proc/25337/stat : 25337 (precosat) R 25335 25337 25229 0 -1 4194304 129718 0 0 0 489962 121 0 0 25 0 1 0 219049092 416419840 101473 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25337/statm: 101665 101473 79 155 0 101508 0
Current children cumulated CPU time (s) 4900.83
Current children cumulated vsize (KiB) 406660

[startup+4962.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25346
/proc/meminfo: memFree=1231416/2055920 swapFree=4114788/4192956
[pid=25337] ppid=25335 vsize=406660 CPUtime=4960.82
/proc/25337/stat : 25337 (precosat) R 25335 25337 25229 0 -1 4194304 129732 0 0 0 495960 122 0 0 25 0 1 0 219049092 416419840 101487 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25337/statm: 101665 101487 79 155 0 101508 0
Current children cumulated CPU time (s) 4960.82
Current children cumulated vsize (KiB) 406660



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5001.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25346
/proc/meminfo: memFree=1231352/2055920 swapFree=4114788/4192956
[pid=25337] ppid=25335 vsize=406660 CPUtime=5000.01
/proc/25337/stat : 25337 (precosat) R 25335 25337 25229 0 -1 4194304 129732 0 0 0 499879 122 0 0 25 0 1 0 219049092 416419840 101487 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25337/statm: 101665 101487 79 155 0 101508 0
Current children cumulated CPU time (s) 5000.01
Current children cumulated vsize (KiB) 406660

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

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

[startup+5001.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25346
/proc/meminfo: memFree=1231352/2055920 swapFree=4114788/4192956
[pid=25337] ppid=25335 vsize=406660 CPUtime=5000.01
/proc/25337/stat : 25337 (precosat) R 25335 25337 25229 0 -1 4194304 129732 0 0 0 499879 122 0 0 25 0 1 0 219049092 416419840 101487 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25337/statm: 101665 101487 79 155 0 101508 0
Current children cumulated CPU time (s) 5000.01
Current children cumulated vsize (KiB) 406660

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5001.57
CPU time (s): 5000.08
CPU user time (s): 4998.79
CPU system time (s): 1.2928
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 410284

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

runsolver used 3.63845 second user time and 10.7444 second system time

The end

Launcher Data 

Begin job on node30 at 2009-05-10 01:02:43
IDJOB=1784026
IDBENCH=70910
IDSOLVER=607
FILE ID=node30/1784026-1241910163
PBS_JOBID= 9264800
Free space on /tmp= 66260 MiB

SOLVER NAME= precosat 236
BENCH NAME= SAT09/CRAFTED/edgematching/compact/em_11_3_4_cmp.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1784026-1241910163/watcher-1784026-1241910163 -o /tmp/evaluation-result-1784026-1241910163/solver-1784026-1241910163 -C 5000 -W 6000 -M 1800  HOME/precosat HOME/instance-1784026-1241910163.cnf

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

MD5SUM BENCH= 3b5e80540ef2fcb09cfe50ac7e3686c1
RANDOM SEED=1946281602

node30.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.265
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.265
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1641240 kB
Buffers:         50032 kB
Cached:         228168 kB
SwapCached:      72544 kB
Active:         114868 kB
Inactive:       237968 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1641240 kB
SwapTotal:     4192956 kB
SwapFree:      4114788 kB
Dirty:            2696 kB
Writeback:           0 kB
Mapped:          14060 kB
Slab:            47924 kB
Committed_AS:   808760 kB
PageTables:       1356 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= 66256 MiB
End job on node30 at 2009-05-10 02:26:07