Trace number 1737604

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
ttsth-5-0 2009-03-19? 1199.97 605.708

General information on the benchmark

NameCRAFTED/sgen/sat/
sgen1-sat-270-100.cnf
MD5SUMe197a9710494056838206e38a7541851
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark4.05538
Satisfiable
(Un)Satisfiability was proved
Number of variables270
Number of clauses648
Sum of the clauses size1620
Maximum clause length5
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2540
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 5108
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Command: HOME/ttsth-5-0 -num-threads 2 HOME/instance-1737604-1240822668.cnf 
0.00/0.00	c Using SATTIMEOUT of 1200
0.00/0.00	c Using SATRAM of 1800
0.00/0.00	c Size of subset node = 16
0.00/0.00	c Variables = 270
0.00/0.00	c Clauses = 648
0.00/0.00	c Literals = 1620
0.00/0.00	c Reduced size:
0.00/0.00	c Variables = 270
0.00/0.00	c Clauses = 648
0.00/0.00	c Literals = 1620
0.00/0.00	c a2
0.00/0.00	c a1
8.69/8.77	c Independent sub-problems = 1
8.69/8.77	c Sub-problem with 270 variables and 648 clauses
8.69/8.77	c using permutation method 3
8.69/8.77	c Ordering finished 8.770 seconds
8.69/8.77	c mapped 8.770 seconds
8.69/8.77	c permuted 8.770 seconds
8.69/8.77	c about to sort
8.69/8.77	c sorted
8.69/8.78	c clauses now 648
8.69/8.78	c init finished 8.770 seconds
8.69/8.78	c tree built 8.770 seconds
8.69/8.78	c 
8.69/8.78	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
8.69/8.78	c ---------------------------------|----------------------------------|------------------------------------------------------
8.69/8.78	c ................................ | ..........                       |                        8.8           0.0             
8.69/8.78	c ................................ | ..........                     1 |                        8.8           0.1             
8.69/8.78	c ................................ | ..........                     2 |                        8.8           0.2             
8.69/8.78	c ................................ | ..........                     3 |                        8.8           0.3             
8.69/8.78	c ................................ | ..........                     4 |                        8.8           0.5             
8.69/8.78	c ................................ | ..........                     5 |                        8.8           0.6             
8.69/8.79	c ................................ | ..........                  1000 | 111                    8.8         113.9         3373
23.98/16.42	c ................................ | ..........                164000 | 35897                 24.0        6830.5      2828709
47.93/28.46	c ................................ | ..........                314000 | 69906                 48.0        6534.9      5264554
72.27/40.66	c ................................ | ..........                402000 | 91364                 72.4        5552.5      6935767
96.62/52.81	c ................................ | ..........                460000 | 105613                96.7        4758.9      8198064
120.17/64.61	c ................................ | *.........                515000 | 119086               120.2        4283.8      9477620
144.12/76.60	c ................................ | *.........                581000 | 135122               144.2        4030.5     10633284
168.26/88.74	c ................................ | *.........                630000 | 147443               168.4        3741.8     11764737
192.01/100.63	c ................................ | *.........                666000 | 155915               192.1        3466.8     12606236
216.55/112.97	c ................................ | *.........                704000 | 165038               216.7        3248.1     13613161
240.31/124.80	c ................................ | **........                736000 | 172885               240.3        3062.2     14457848
264.26/136.87	c ................................ | **........                784000 | 184466               264.4        2964.6     15271691
288.21/148.89	c ................................ | **........                835000 | 197246               288.4        2894.9     16179976
312.55/161.07	c ................................ | **........                881000 | 209198               312.7        2817.0     16997463
336.30/172.90	c ................................ | **........                913000 | 217221               336.4        2714.4     17720530
360.65/185.18	c ................................ | ***.......                949000 | 225770               360.9        2629.8     18462613
383.78/196.79	c ................................ | ***.......                981000 | 233149               384.0        2554.5     19057863
408.53/209.13	c ................................ | ***.......               1012000 | 240378               408.6        2476.4     19768818
432.68/221.22	c ................................ | ***.......               1042000 | 247659               432.8        2407.6     20394601
456.03/232.92	c ................................ | ***.......               1066000 | 253708               456.1        2337.0     21105988
481.17/245.58	c ................................ | ****......               1104000 | 264182               481.4        2293.3     21899519
504.12/257.03	c ................................ | ****......               1138000 | 271876               504.3        2256.8     22557695
528.48/269.28	c ................................ | ****......               1169000 | 279498               528.7        2211.0     23209750
552.22/281.12	c ................................ | ****......               1194000 | 286179               552.4        2161.7     23921691
576.57/293.32	c ................................ | ****......               1220000 | 293320               576.7        2115.4     24464599
600.72/305.48	c ................................ | *****.....               1240000 | 298809               601.0        2063.3     24915598
624.87/317.57	c ................................ | *****.....               1262000 | 304567               625.1        2018.8     25541181
648.62/329.42	c ................................ | *****.....               1279000 | 309090               648.8        1971.4     25991148
671.96/341.13	c ................................ | *****.....               1297000 | 313337               672.1        1929.7     26524173
695.93/353.18	c ................................ | *****.....               1316000 | 318261               696.2        1890.3     26949689
720.26/365.32	c ................................ | ******....               1333000 | 322568               720.4        1850.3     27332669
744.81/377.67	c ................................ | ******....               1357000 | 329082               745.1        1821.3     27850742
768.37/389.46	c ................................ | ******....               1377000 | 333974               768.6        1791.6     28284122
792.31/401.48	c ................................ | ******....               1396000 | 338951               792.6        1761.3     28689269
818.05/414.33	c ................................ | ******....               1415000 | 343925               818.2        1729.3     29365030
840.41/425.59	c ................................ | *******...               1436000 | 349539               840.7        1708.0     29810249
864.16/437.41	c ................................ | *******...               1456000 | 354845               864.3        1684.6     30200253
888.70/449.76	c ................................ | *******...               1475000 | 359435               889.0        1659.2     30542056
912.45/461.62	c ................................ | *******...               1495000 | 364289               912.6        1638.1     30916470
936.00/473.46	c ................................ | *******...               1518000 | 369820               936.3        1621.3     31370612
960.75/485.80	c ................................ | ********..               1538000 | 374519               960.9        1600.6     31705900
986.50/498.80	c ................................ | ********..               1550000 | 377270               986.8        1570.7     32035165
1008.85/509.94	c ................................ | ********..               1565000 | 380983              1009.1        1550.9     32545097
1033.19/522.10	c ................................ | ********..               1581000 | 384377              1033.4        1530.0     32935049
1055.96/533.56	c ................................ | ********..               1598000 | 388304              1056.2        1512.9     33293023
1080.10/545.60	c ................................ | *********.               1617000 | 392712              1080.3        1496.8     33779538
1105.44/558.30	c ................................ | *********.               1628000 | 395229              1105.6        1472.5     34079379
1128.40/569.84	c ................................ | *********.               1639000 | 397696              1128.7        1452.2     34390456
1152.34/581.88	c ................................ | *********.               1659000 | 402585              1152.7        1439.2     34903262
1176.09/593.71	c ................................ | *********.               1675000 | 406580              1176.3        1424.0     35240540
1199.84/605.61	c CPU limit (1200) reached
1199.84/605.61	c Time = 1200.06 seconds
1199.84/605.61	s UNKNOWN

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: UNKNOWN

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1737604-1240822668/watcher-1737604-1240822668 -o /tmp/evaluation-result-1737604-1240822668/solver-1737604-1240822668 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/ttsth-5-0 -num-threads 2 HOME/instance-1737604-1240822668.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 4777
/proc/meminfo: memFree=1643856/2055920 swapFree=4191900/4192956
[pid=4777] ppid=4775 vsize=932 CPUtime=0
/proc/4777/stat : 4777 (ttsth-5-0) R 4775 4777 4374 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 110300844 954368 94 1992294400 134512640 135237372 4294956192 18446744073709551615 134639534 0 0 4096 0 0 0 0 17 1 0 0
/proc/4777/statm: 233 94 77 176 0 55 0

[startup+0.0802491 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 4777
/proc/meminfo: memFree=1643856/2055920 swapFree=4191900/4192956
[pid=4777] ppid=4775 vsize=1064 CPUtime=0.07
/proc/4777/stat : 4777 (ttsth-5-0) R 4775 4777 4374 0 -1 4194304 175 0 0 0 7 0 0 0 20 0 1 0 110300844 1089536 159 1992294400 134512640 135237372 4294956192 18446744073709551615 134594417 0 0 4096 0 0 0 0 17 1 0 0
/proc/4777/statm: 266 159 83 176 0 88 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1064

[startup+0.10125 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 4777
/proc/meminfo: memFree=1643856/2055920 swapFree=4191900/4192956
[pid=4777] ppid=4775 vsize=1064 CPUtime=0.09
/proc/4777/stat : 4777 (ttsth-5-0) R 4775 4777 4374 0 -1 4194304 175 0 0 0 9 0 0 0 20 0 1 0 110300844 1089536 159 1992294400 134512640 135237372 4294956192 18446744073709551615 134613131 0 0 4096 0 0 0 0 17 1 0 0
/proc/4777/statm: 266 159 83 176 0 88 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1064

[startup+0.30127 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 4777
/proc/meminfo: memFree=1643856/2055920 swapFree=4191900/4192956
[pid=4777] ppid=4775 vsize=1064 CPUtime=0.29
/proc/4777/stat : 4777 (ttsth-5-0) R 4775 4777 4374 0 -1 4194304 175 0 0 0 29 0 0 0 21 0 1 0 110300844 1089536 159 1992294400 134512640 135237372 4294956192 18446744073709551615 134594456 0 0 4096 0 0 0 0 17 1 0 0
/proc/4777/statm: 266 159 83 176 0 88 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1064

[startup+0.701309 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 4777
/proc/meminfo: memFree=1643856/2055920 swapFree=4191900/4192956
[pid=4777] ppid=4775 vsize=1064 CPUtime=0.69
/proc/4777/stat : 4777 (ttsth-5-0) R 4775 4777 4374 0 -1 4194304 175 0 0 0 69 0 0 0 25 0 1 0 110300844 1089536 159 1992294400 134512640 135237372 4294956192 18446744073709551615 134594475 0 0 4096 0 0 0 0 17 1 0 0
/proc/4777/statm: 266 159 83 176 0 88 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1064

[startup+1.50139 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4778
/proc/meminfo: memFree=1643528/2055920 swapFree=4191900/4192956
[pid=4777] ppid=4775 vsize=1064 CPUtime=1.49
/proc/4777/stat : 4777 (ttsth-5-0) R 4775 4777 4374 0 -1 4194304 175 0 0 0 149 0 0 0 25 0 1 0 110300844 1089536 159 1992294400 134512640 135237372 4294956192 18446744073709551615 134738881 0 0 4096 0 0 0 0 17 1 0 0
/proc/4777/statm: 266 159 83 176 0 88 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1064

[startup+3.10155 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4778
/proc/meminfo: memFree=1643400/2055920 swapFree=4191900/4192956
[pid=4777] ppid=4775 vsize=1064 CPUtime=3.09
/proc/4777/stat : 4777 (ttsth-5-0) R 4775 4777 4374 0 -1 4194304 175 0 0 0 309 0 0 0 25 0 1 0 110300844 1089536 159 1992294400 134512640 135237372 4294956192 18446744073709551615 134728926 0 0 4096 0 0 0 0 17 1 0 0
/proc/4777/statm: 266 159 83 176 0 88 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1064

[startup+6.30187 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4778
/proc/meminfo: memFree=1643336/2055920 swapFree=4191900/4192956
[pid=4777] ppid=4775 vsize=1064 CPUtime=6.29
/proc/4777/stat : 4777 (ttsth-5-0) R 4775 4777 4374 0 -1 4194304 176 0 0 0 629 0 0 0 25 0 1 0 110300844 1089536 160 1992294400 134512640 135237372 4294956192 18446744073709551615 134594536 0 0 4096 0 0 0 0 17 1 0 0
/proc/4777/statm: 266 160 84 176 0 88 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1064

[startup+12.7025 s]
/proc/loadavg: 0.99 0.98 0.99 3/67 4780
/proc/meminfo: memFree=1617656/2055920 swapFree=4191900/4192956
[pid=4777] ppid=4775 vsize=52560 CPUtime=16.59
/proc/4777/stat : 4777 (ttsth-5-0) S 4775 4777 4374 0 -1 4194304 7650 0 0 0 1655 4 0 0 25 0 3 0 110300844 53821440 7634 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4777/statm: 13140 7634 101 176 0 12962 0
[pid=4777/tid=4779] ppid=4775 vsize=52560 CPUtime=3.91
/proc/4777/task/4779/stat : 4779 (ttsth-5-0) R 4775 4777 4374 0 -1 4194368 3109 0 0 0 390 1 0 0 24 0 3 0 110301722 53821440 7634 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4777/tid=4780] ppid=4775 vsize=52560 CPUtime=3.89
/proc/4777/task/4780/stat : 4780 (ttsth-5-0) R 4775 4777 4374 0 -1 4194368 4244 0 0 0 387 2 0 0 20 0 3 0 110301722 53821440 7634 1992294400 134512640 135237372 4294956192 18446744073709551615 134680285 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 16.59
Current children cumulated vsize (KiB) 52560

[startup+25.5018 s]
/proc/loadavg: 1.22 1.03 1.01 3/67 4780
/proc/meminfo: memFree=1568056/2055920 swapFree=4191900/4192956
[pid=4777] ppid=4775 vsize=98640 CPUtime=42.14
/proc/4777/stat : 4777 (ttsth-5-0) S 4775 4777 4374 0 -1 4194304 19180 0 0 0 4203 11 0 0 25 0 3 0 110300844 101007360 19164 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4777/statm: 24660 19164 101 176 0 24482 0
[pid=4777/tid=4779] ppid=4775 vsize=98640 CPUtime=16.7
/proc/4777/task/4779/stat : 4779 (ttsth-5-0) R 4775 4777 4374 0 -1 4194368 9144 0 0 0 1666 4 0 0 25 0 3 0 110301722 101007360 19164 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4777/tid=4780] ppid=4775 vsize=98640 CPUtime=16.64
/proc/4777/task/4780/stat : 4780 (ttsth-5-0) R 4775 4777 4374 0 -1 4194368 9739 0 0 0 1658 6 0 0 25 0 3 0 110301722 101007360 19164 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 42.14
Current children cumulated vsize (KiB) 98640

[startup+51.1013 s]
/proc/loadavg: 1.48 1.11 1.03 3/67 4780
/proc/meminfo: memFree=1515128/2055920 swapFree=4191900/4192956
[pid=4777] ppid=4775 vsize=151760 CPUtime=93.23
/proc/4777/stat : 4777 (ttsth-5-0) S 4775 4777 4374 0 -1 4194304 32466 0 0 0 9301 22 0 0 25 0 3 0 110300844 155402240 32450 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4777/statm: 37940 32450 101 176 0 37762 0
[pid=4777/tid=4779] ppid=4775 vsize=151760 CPUtime=42.29
/proc/4777/task/4779/stat : 4779 (ttsth-5-0) R 4775 4777 4374 0 -1 4194368 15673 0 0 0 4219 10 0 0 25 0 3 0 110301722 155402240 32450 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4777/tid=4780] ppid=4775 vsize=151760 CPUtime=42.14
/proc/4777/task/4780/stat : 4780 (ttsth-5-0) R 4775 4777 4374 0 -1 4194368 16496 0 0 0 4203 11 0 0 25 0 3 0 110301722 155402240 32450 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 93.23
Current children cumulated vsize (KiB) 151760

[startup+102.305 s]
/proc/loadavg: 1.79 1.26 1.09 3/67 4780
/proc/meminfo: memFree=1437944/2055920 swapFree=4191900/4192956
[pid=4777] ppid=4775 vsize=228080 CPUtime=195.4
/proc/4777/stat : 4777 (ttsth-5-0) S 4775 4777 4374 0 -1 4194304 51533 0 0 0 19503 37 0 0 25 0 3 0 110300844 233553920 51517 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4777/statm: 57020 51517 101 176 0 56842 0
[pid=4777/tid=4779] ppid=4775 vsize=228080 CPUtime=93.48
/proc/4777/task/4779/stat : 4779 (ttsth-5-0) R 4775 4777 4374 0 -1 4194368 23586 0 0 0 9331 17 0 0 25 0 3 0 110301722 233553920 51517 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4777/tid=4780] ppid=4775 vsize=228080 CPUtime=93.13
/proc/4777/task/4780/stat : 4780 (ttsth-5-0) R 4775 4777 4374 0 -1 4194368 27650 0 0 0 9294 19 0 0 25 0 3 0 110301722 233553920 51517 1992294400 134512640 135237372 4294956192 18446744073709551615 134562401 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 195.4
Current children cumulated vsize (KiB) 228080

[startup+162.301 s]
/proc/loadavg: 1.91 1.38 1.14 3/67 4780
/proc/meminfo: memFree=1369720/2055920 swapFree=4191900/4192956
[pid=4777] ppid=4775 vsize=296240 CPUtime=315.15
/proc/4777/stat : 4777 (ttsth-5-0) S 4775 4777 4374 0 -1 4194304 68613 0 0 0 31462 53 0 0 25 0 3 0 110300844 303349760 68597 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4777/statm: 74060 68597 101 176 0 73882 0
[pid=4777/tid=4779] ppid=4775 vsize=296240 CPUtime=153.46
/proc/4777/task/4779/stat : 4779 (ttsth-5-0) R 4775 4777 4374 0 -1 4194368 30339 0 0 0 15324 22 0 0 25 0 3 0 110301722 303349760 68597 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4777/tid=4780] ppid=4775 vsize=296240 CPUtime=152.89
/proc/4777/task/4780/stat : 4780 (ttsth-5-0) R 4775 4777 4374 0 -1 4194368 37977 0 0 0 15260 29 0 0 25 0 3 0 110301722 303349760 68597 1992294400 134512640 135237372 4294956192 18446744073709551615 134562363 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 315.15
Current children cumulated vsize (KiB) 296240

[startup+222.301 s]
/proc/loadavg: 1.97 1.50 1.19 3/67 4786
/proc/meminfo: memFree=1315064/2055920 swapFree=4191900/4192956
[pid=4777] ppid=4775 vsize=350480 CPUtime=434.88
/proc/4777/stat : 4777 (ttsth-5-0) S 4775 4777 4374 0 -1 4194304 82152 0 0 0 43423 65 0 0 25 0 3 0 110300844 358891520 82136 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4777/statm: 87620 82136 101 176 0 87442 0
[pid=4777/tid=4779] ppid=4775 vsize=350480 CPUtime=213.43
/proc/4777/task/4779/stat : 4779 (ttsth-5-0) R 4775 4777 4374 0 -1 4194368 35854 0 0 0 21315 28 0 0 25 0 3 0 110301722 358891520 82136 1992294400 134512640 135237372 4294956192 18446744073709551615 134588267 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4777/tid=4780] ppid=4775 vsize=350480 CPUtime=212.65
/proc/4777/task/4780/stat : 4780 (ttsth-5-0) R 4775 4777 4374 0 -1 4194368 46001 0 0 0 21229 36 0 0 25 0 3 0 110301722 358891520 82136 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 434.88
Current children cumulated vsize (KiB) 350480

[startup+282.301 s]
/proc/loadavg: 1.99 1.58 1.24 3/67 4786
/proc/meminfo: memFree=1258872/2055920 swapFree=4191900/4192956
[pid=4777] ppid=4775 vsize=406960 CPUtime=554.62
/proc/4777/stat : 4777 (ttsth-5-0) S 4775 4777 4374 0 -1 4194304 96246 0 0 0 55385 77 0 0 25 0 3 0 110300844 416727040 96230 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4777/statm: 101740 96230 101 176 0 101562 0
[pid=4777/tid=4779] ppid=4775 vsize=406960 CPUtime=273.41
/proc/4777/task/4779/stat : 4779 (ttsth-5-0) R 4775 4777 4374 0 -1 4194368 41194 0 0 0 27309 32 0 0 25 0 3 0 110301722 416727040 96230 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4777/tid=4780] ppid=4775 vsize=406960 CPUtime=272.41
/proc/4777/task/4780/stat : 4780 (ttsth-5-0) R 4775 4777 4374 0 -1 4194368 54755 0 0 0 27198 43 0 0 25 0 3 0 110301722 416727040 96230 1992294400 134512640 135237372 4294956192 18446744073709551615 134562351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 554.62
Current children cumulated vsize (KiB) 406960

[startup+342.301 s]
/proc/loadavg: 1.99 1.65 1.28 3/67 4786
/proc/meminfo: memFree=1216888/2055920 swapFree=4191900/4192956
[pid=4777] ppid=4775 vsize=448560 CPUtime=674.36
/proc/4777/stat : 4777 (ttsth-5-0) S 4775 4777 4374 0 -1 4194304 106664 0 0 0 67349 87 0 0 25 0 3 0 110300844 459325440 106648 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4777/statm: 112140 106648 101 176 0 111962 0
[pid=4777/tid=4779] ppid=4775 vsize=448560 CPUtime=333.4
/proc/4777/task/4779/stat : 4779 (ttsth-5-0) R 4775 4777 4374 0 -1 4194368 44892 0 0 0 33303 37 0 0 25 0 3 0 110301722 459325440 106648 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4777/tid=4780] ppid=4775 vsize=448560 CPUtime=332.17
/proc/4777/task/4780/stat : 4780 (ttsth-5-0) R 4775 4777 4374 0 -1 4194368 61475 0 0 0 33168 49 0 0 25 0 3 0 110301722 459325440 106648 1992294400 134512640 135237372 4294956192 18446744073709551615 134562357 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 674.36
Current children cumulated vsize (KiB) 448560

[startup+402.301 s]
/proc/loadavg: 1.99 1.71 1.32 3/67 4786
/proc/meminfo: memFree=1182712/2055920 swapFree=4191900/4192956
[pid=4777] ppid=4775 vsize=483280 CPUtime=794.11
/proc/4777/stat : 4777 (ttsth-5-0) S 4775 4777 4374 0 -1 4194304 115336 0 0 0 79315 96 0 0 25 0 3 0 110300844 494878720 115320 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4777/statm: 120820 115320 101 176 0 120642 0
[pid=4777/tid=4779] ppid=4775 vsize=483280 CPUtime=393.38
/proc/4777/task/4779/stat : 4779 (ttsth-5-0) R 4775 4777 4374 0 -1 4194368 48837 0 0 0 39297 41 0 0 25 0 3 0 110301722 494878720 115320 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4777/tid=4780] ppid=4775 vsize=483280 CPUtime=391.94
/proc/4777/task/4780/stat : 4780 (ttsth-5-0) R 4775 4777 4374 0 -1 4194368 66202 0 0 0 39140 54 0 0 25 0 3 0 110301722 494878720 115320 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 794.11
Current children cumulated vsize (KiB) 483280

[startup+462.301 s]
/proc/loadavg: 1.99 1.76 1.36 3/67 4786
/proc/meminfo: memFree=1146680/2055920 swapFree=4191900/4192956
[pid=4777] ppid=4775 vsize=518640 CPUtime=913.85
/proc/4777/stat : 4777 (ttsth-5-0) S 4775 4777 4374 0 -1 4194304 124170 0 0 0 91281 104 0 0 25 0 3 0 110300844 531087360 124154 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4777/statm: 129660 124154 101 176 0 129482 0
[pid=4777/tid=4779] ppid=4775 vsize=518640 CPUtime=453.37
/proc/4777/task/4779/stat : 4779 (ttsth-5-0) R 4775 4777 4374 0 -1 4194368 52553 0 0 0 45292 45 0 0 25 0 3 0 110301722 531087360 124154 1992294400 134512640 135237372 4294956192 18446744073709551615 134562360 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4777/tid=4780] ppid=4775 vsize=518640 CPUtime=451.69
/proc/4777/task/4780/stat : 4780 (ttsth-5-0) R 4775 4777 4374 0 -1 4194368 71320 0 0 0 45111 58 0 0 25 0 3 0 110301722 531087360 124154 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 913.85
Current children cumulated vsize (KiB) 518640

[startup+522.301 s]
/proc/loadavg: 1.99 1.80 1.40 3/67 4786
/proc/meminfo: memFree=1115256/2055920 swapFree=4191900/4192956
[pid=4777] ppid=4775 vsize=550480 CPUtime=1033.59
/proc/4777/stat : 4777 (ttsth-5-0) S 4775 4777 4374 0 -1 4194304 132148 0 0 0 103248 111 0 0 25 0 3 0 110300844 563691520 132132 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4777/statm: 137620 132132 101 176 0 137442 0
[pid=4777/tid=4779] ppid=4775 vsize=550480 CPUtime=513.35
/proc/4777/task/4779/stat : 4779 (ttsth-5-0) R 4775 4777 4374 0 -1 4194368 55426 0 0 0 51288 47 0 0 25 0 3 0 110301722 563691520 132132 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4777/tid=4780] ppid=4775 vsize=550480 CPUtime=511.45
/proc/4777/task/4780/stat : 4780 (ttsth-5-0) R 4775 4777 4374 0 -1 4194368 76425 0 0 0 51082 63 0 0 25 0 3 0 110301722 563691520 132132 1992294400 134512640 135237372 4294956192 18446744073709551615 134562294 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1033.59
Current children cumulated vsize (KiB) 550480

[startup+582.302 s]
/proc/loadavg: 1.99 1.84 1.43 3/67 4786
/proc/meminfo: memFree=1083064/2055920 swapFree=4191900/4192956
[pid=4777] ppid=4775 vsize=582000 CPUtime=1153.33
/proc/4777/stat : 4777 (ttsth-5-0) S 4775 4777 4374 0 -1 4194304 140037 0 0 0 115214 119 0 0 25 0 3 0 110300844 595968000 140021 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4777/statm: 145500 140021 101 176 0 145322 0
[pid=4777/tid=4779] ppid=4775 vsize=582000 CPUtime=573.34
/proc/4777/task/4779/stat : 4779 (ttsth-5-0) R 4775 4777 4374 0 -1 4194368 58540 0 0 0 57284 50 0 0 25 0 3 0 110301722 595968000 140021 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4777/tid=4780] ppid=4775 vsize=582000 CPUtime=571.22
/proc/4777/task/4780/stat : 4780 (ttsth-5-0) R 4775 4777 4374 0 -1 4194368 81200 0 0 0 57053 69 0 0 25 0 3 0 110301722 595968000 140021 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1153.33
Current children cumulated vsize (KiB) 582000

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

[startup+588.702 s]
/proc/loadavg: 1.99 1.84 1.44 3/67 4786
/proc/meminfo: memFree=1079992/2055920 swapFree=4191900/4192956
[pid=4777] ppid=4775 vsize=584880 CPUtime=1166.11
/proc/4777/stat : 4777 (ttsth-5-0) S 4775 4777 4374 0 -1 4194304 140771 0 0 0 116491 120 0 0 25 0 3 0 110300844 598917120 140755 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4777/statm: 146220 140755 101 176 0 146042 0
[pid=4777/tid=4779] ppid=4775 vsize=584880 CPUtime=579.73
/proc/4777/task/4779/stat : 4779 (ttsth-5-0) R 4775 4777 4374 0 -1 4194368 58968 0 0 0 57923 50 0 0 25 0 3 0 110301722 598917120 140755 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4777/tid=4780] ppid=4775 vsize=584880 CPUtime=577.59
/proc/4777/task/4780/stat : 4780 (ttsth-5-0) R 4775 4777 4374 0 -1 4194368 81506 0 0 0 57690 69 0 0 25 0 3 0 110301722 598917120 140755 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1166.11
Current children cumulated vsize (KiB) 584880

[startup+595.105 s]
/proc/loadavg: 1.99 1.84 1.44 3/67 4786
/proc/meminfo: memFree=1076536/2055920 swapFree=4191900/4192956
[pid=4777] ppid=4775 vsize=588560 CPUtime=1178.89
/proc/4777/stat : 4777 (ttsth-5-0) S 4775 4777 4374 0 -1 4194304 141647 0 0 0 117768 121 0 0 25 0 3 0 110300844 602685440 141631 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4777/statm: 147140 141631 101 176 0 146962 0
[pid=4777/tid=4779] ppid=4775 vsize=588560 CPUtime=586.14
/proc/4777/task/4779/stat : 4779 (ttsth-5-0) R 4775 4777 4374 0 -1 4194368 59272 0 0 0 58563 51 0 0 25 0 3 0 110301722 602685440 141631 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4777/tid=4780] ppid=4775 vsize=588560 CPUtime=583.97
/proc/4777/task/4780/stat : 4780 (ttsth-5-0) R 4775 4777 4374 0 -1 4194368 82078 0 0 0 58327 70 0 0 25 0 3 0 110301722 602685440 141631 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1178.89
Current children cumulated vsize (KiB) 588560

[startup+601.503 s]
/proc/loadavg: 1.99 1.85 1.45 3/67 4786
/proc/meminfo: memFree=1072760/2055920 swapFree=4191900/4192956
[pid=4777] ppid=4775 vsize=592720 CPUtime=1191.66
/proc/4777/stat : 4777 (ttsth-5-0) S 4775 4777 4374 0 -1 4194304 142697 0 0 0 119044 122 0 0 25 0 3 0 110300844 606945280 142681 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4777/statm: 148180 142681 101 176 0 148002 0
[pid=4777/tid=4779] ppid=4775 vsize=592720 CPUtime=592.53
/proc/4777/task/4779/stat : 4779 (ttsth-5-0) R 4775 4777 4374 0 -1 4194368 59746 0 0 0 59202 51 0 0 25 0 3 0 110301722 606945280 142681 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4777/tid=4780] ppid=4775 vsize=592720 CPUtime=590.33
/proc/4777/task/4780/stat : 4780 (ttsth-5-0) R 4775 4777 4374 0 -1 4194368 82654 0 0 0 58963 70 0 0 25 0 3 0 110301722 606945280 142681 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1191.66
Current children cumulated vsize (KiB) 592720

[startup+603.102 s]
/proc/loadavg: 1.99 1.85 1.45 3/67 4786
/proc/meminfo: memFree=1071544/2055920 swapFree=4191900/4192956
[pid=4777] ppid=4775 vsize=593360 CPUtime=1194.85
/proc/4777/stat : 4777 (ttsth-5-0) S 4775 4777 4374 0 -1 4194304 142881 0 0 0 119363 122 0 0 25 0 3 0 110300844 607600640 142865 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4777/statm: 148340 142865 101 176 0 148162 0
[pid=4777/tid=4779] ppid=4775 vsize=593360 CPUtime=594.13
/proc/4777/task/4779/stat : 4779 (ttsth-5-0) R 4775 4777 4374 0 -1 4194368 59815 0 0 0 59362 51 0 0 25 0 3 0 110301722 607600640 142865 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4777/tid=4780] ppid=4775 vsize=593360 CPUtime=591.93
/proc/4777/task/4780/stat : 4780 (ttsth-5-0) R 4775 4777 4374 0 -1 4194368 82769 0 0 0 59123 70 0 0 25 0 3 0 110301722 607600640 142865 1992294400 134512640 135237372 4294956192 18446744073709551615 134562380 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1194.85
Current children cumulated vsize (KiB) 593360

[startup+604.701 s]
/proc/loadavg: 1.99 1.85 1.45 3/67 4786
/proc/meminfo: memFree=1071096/2055920 swapFree=4191900/4192956
[pid=4777] ppid=4775 vsize=594160 CPUtime=1198.04
/proc/4777/stat : 4777 (ttsth-5-0) S 4775 4777 4374 0 -1 4194304 143083 0 0 0 119682 122 0 0 25 0 3 0 110300844 608419840 143067 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4777/statm: 148540 143067 101 176 0 148362 0
[pid=4777/tid=4779] ppid=4775 vsize=594160 CPUtime=595.73
/proc/4777/task/4779/stat : 4779 (ttsth-5-0) R 4775 4777 4374 0 -1 4194368 59879 0 0 0 59522 51 0 0 25 0 3 0 110301722 608419840 143067 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4777/tid=4780] ppid=4775 vsize=594160 CPUtime=593.53
/proc/4777/task/4780/stat : 4780 (ttsth-5-0) R 4775 4777 4374 0 -1 4194368 82907 0 0 0 59282 71 0 0 25 0 3 0 110301722 608419840 143067 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1198.04
Current children cumulated vsize (KiB) 594160

[startup+605.501 s]
/proc/loadavg: 1.99 1.85 1.45 3/67 4786
/proc/meminfo: memFree=1070520/2055920 swapFree=4191900/4192956
[pid=4777] ppid=4775 vsize=594480 CPUtime=1199.64
/proc/4777/stat : 4777 (ttsth-5-0) S 4775 4777 4374 0 -1 4194304 143183 0 0 0 119841 123 0 0 25 0 3 0 110300844 608747520 143167 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4777/statm: 148620 143167 101 176 0 148442 0
[pid=4777/tid=4779] ppid=4775 vsize=594480 CPUtime=596.53
/proc/4777/task/4779/stat : 4779 (ttsth-5-0) R 4775 4777 4374 0 -1 4194368 59942 0 0 0 59602 51 0 0 25 0 3 0 110301722 608747520 143167 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4777/tid=4780] ppid=4775 vsize=594480 CPUtime=594.32
/proc/4777/task/4780/stat : 4780 (ttsth-5-0) R 4775 4777 4374 0 -1 4194368 82944 0 0 0 59361 71 0 0 25 0 3 0 110301722 608747520 143167 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1199.64
Current children cumulated vsize (KiB) 594480

[startup+605.701 s]
/proc/loadavg: 1.99 1.85 1.45 3/67 4786
/proc/meminfo: memFree=1070520/2055920 swapFree=4191900/4192956
[pid=4777] ppid=4775 vsize=0 CPUtime=1199.95
/proc/4777/stat : 4777 (ttsth-5-0) R 4775 4777 4374 0 -1 4195332 143201 0 0 0 119864 131 0 0 17 0 1 0 110300844 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/4777/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.95
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 605.708
CPU time (s): 1199.97
CPU user time (s): 1198.65
CPU system time (s): 1.3218
CPU usage (%): 198.111
Max. virtual memory (cumulated for all children) (KiB): 594640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.65
system time used= 1.3218
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143201
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= 64
involuntary context switches= 9160

runsolver used 0.605907 second user time and 1.60176 second system time

The end

Launcher Data 

Begin job on node12 at 2009-04-27 10:57:48
IDJOB=1737604
IDBENCH=71791
IDSOLVER=549
FILE ID=node12/1737604-1240822668
PBS_JOBID= 9187466
Free space on /tmp= 66380 MiB

SOLVER NAME= ttsth-5-0 2009-03-19
BENCH NAME= SAT09/CRAFTED/sgen/sat/sgen1-sat-270-100.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1737604-1240822668/watcher-1737604-1240822668 -o /tmp/evaluation-result-1737604-1240822668/solver-1737604-1240822668 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/ttsth-5-0 -num-threads 2 HOME/instance-1737604-1240822668.cnf

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

MD5SUM BENCH= e197a9710494056838206e38a7541851
RANDOM SEED=1571614880

node12.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.213
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.213
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:       1644336 kB
Buffers:         60160 kB
Cached:         276940 kB
SwapCached:        384 kB
Active:         147936 kB
Inactive:       202524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1644336 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:             924 kB
Writeback:           0 kB
Mapped:          21804 kB
Slab:            47208 kB
Committed_AS:   564360 kB
PageTables:       1376 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= 66380 MiB
End job on node12 at 2009-04-27 11:07:54