Trace number 1720562

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.96 636.186

General information on the benchmark

Namemizh-md5-47-4.cnf
MD5SUMb0a37265834986ac9165bda379d279fd
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark30.1174
Satisfiable
(Un)Satisfiability was proved
Number of variables65604
Number of clauses273506
Sum of the clauses size814918
Maximum clause length4
Minimum clause length1
Number of clauses of size 1199
Number of clauses of size 2118244
Number of clauses of size 342021
Number of clauses of size 4113042
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

2.10/2.19	c Command: HOME/ttsth-5-0 -num-threads 2 HOME/instance-1720562-1240657777.cnf 
2.10/2.19	c Using SATTIMEOUT of 1200
2.10/2.19	c Using SATRAM of 1800
2.10/2.19	c Size of subset node = 16
2.10/2.19	c Variables = 65604
2.10/2.19	c Clauses = 273506
2.10/2.19	c Literals = 814918
2.10/2.19	c Reduced size:
2.10/2.19	c Variables = 65604
2.10/2.19	c Clauses = 233565
2.10/2.19	c Literals = 673193
2.10/2.19	c a2
2.89/2.93	c a1
68.17/68.20	c Independent sub-problems = 1
68.17/68.20	c Sub-problem with 60286 variables and 233565 clauses
68.17/68.20	c using permutation method 4
68.17/68.20	c count = 1
68.17/68.20	c Ordering finished 68.060 seconds
68.17/68.20	c mapped 68.190 seconds
68.17/68.20	c permuted 68.200 seconds
68.17/68.20	c about to sort
68.17/68.29	c sorted
69.88/69.95	c clauses now 233565
69.88/69.95	c init finished 68.590 seconds
69.88/69.95	c tree built 69.940 seconds
69.88/69.95	c 
69.88/69.95	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
69.88/69.95	c ---------------------------------|----------------------------------|------------------------------------------------------
69.88/69.95	c ................................ | ..........                       |                       69.9           0.0             
69.88/69.95	c ................................ | ..........                     1 |                       69.9           0.0             
69.88/69.95	c ................................ | ..........                     2 |                       69.9           0.0             
69.88/69.95	c ................................ | ..........                     3 |                       69.9           0.0             
69.88/69.95	c ................................ | ..........                     4 |                       69.9           0.1             
69.88/69.95	c ................................ | ..........                     5 |                       69.9           0.1             
69.88/69.95	c ................................ | ..........                  1000 |                       70.0          14.3           11
69.88/69.96	c ................................ | ..........                  2000 |                       70.0          28.6           53
69.88/69.96	c ................................ | ..........                  3000 |                       70.0          42.9          131
71.82/70.99	c ................................ | ..........                114000 | 288                   72.0        1583.1         4700
95.97/83.02	c ................................ | ..........               1303000 | 4887                  96.0       13567.3        21840
119.91/95.07	c ................................ | *.........               2381000 | 9773                 120.1       19828.4        41770
144.07/107.11	c ................................ | *.........               3347000 | 14472                144.1       23223.7        66810
168.01/119.13	c ................................ | *.........               4262000 | 18238                168.1       25352.4        85637
191.96/131.15	c ................................ | *.........               5186000 | 22398                192.1       26996.4       108551
215.91/143.15	c ................................ | *.........               6076000 | 26055                216.1       28123.1       126467
239.86/155.16	c ................................ | **........               7043000 | 31154                240.0       29342.2       151510
263.82/167.17	c ................................ | **........               7971000 | 35612                264.0       30193.2       174197
287.97/179.21	c ................................ | **........               8887000 | 40577                288.0       30854.4       197895
311.91/191.26	c ................................ | **........               9804000 | 44717                312.1       31414.0       216628
335.86/203.24	c ................................ | **........              10768000 | 49862                336.0       32047.6       243497
359.81/215.26	c ................................ | ***.......              11704000 | 56591                360.0       32511.1       283761
383.96/227.32	c ................................ | ***.......              12569000 | 62287                384.1       32725.0       328072
407.91/239.31	c ................................ | ***.......              13462000 | 67130                408.0       32995.1       362288
432.06/251.46	c ................................ | ***.......              14187000 | 70252                432.2       32822.0       395073
455.81/263.36	c ................................ | ***.......              14984000 | 74001                456.0       32858.9       427546
479.75/275.40	c ................................ | ****......              16268000 | 92915                480.0       33890.3       537670
503.91/287.40	c ................................ | ****......              17065000 | 113202               504.0       33859.1       981514
527.85/299.47	c ................................ | ****......              18011000 | 139016               528.1       34105.9      1251451
551.81/311.47	c ................................ | ****......              18542000 | 160869               552.0       33588.1      1984626
575.95/323.53	c ................................ | ****......              19085000 | 184942               576.1       33127.4      2828609
599.91/335.57	c ................................ | *****.....              19628000 | 209176               600.1       32706.2      3675939
623.85/347.52	c ................................ | *****.....              20235000 | 228713               624.0       32427.9      4017585
647.80/359.60	c ................................ | *****.....              20978000 | 250981               648.1       32368.5      4206730
671.95/371.61	c ................................ | *****.....              21662000 | 275466               672.1       32231.8      4706234
695.90/383.60	c ................................ | *****.....              22451000 | 299711               696.0       32256.7      5018305
719.84/395.62	c ................................ | ******....              23141000 | 321712               720.0       32140.3      5383500
743.80/407.65	c ................................ | ******....              23835000 | 343145               744.0       32035.4      5835846
767.94/419.72	c ................................ | ******....              24556000 | 364904               768.1       31969.8      6175035
791.90/431.72	c ................................ | ******....              25219000 | 385937               792.0       31840.2      6415112
815.85/443.78	c ................................ | ******....              25953000 | 410528               816.1       31799.7      6626790
839.79/455.73	c ................................ | *******...              26509000 | 427110               840.0       31558.3      6883394
863.75/467.79	c ................................ | *******...              27162000 | 449131               864.0       31435.7      7284947
887.69/479.80	c ................................ | *******...              27828000 | 467187               888.0       31337.1      7440899
911.84/491.82	c ................................ | *******...              28439000 | 484537               912.0       31182.4      7675098
935.80/503.86	c ................................ | *******...              29025000 | 502141               936.1       31007.3      7889956
959.75/515.87	c ................................ | ********..              29587000 | 519066               960.0       30818.8      8025377
983.90/527.93	c ................................ | ********..              30090000 | 535935               984.1       30576.2      8350283
1007.84/539.93	c ................................ | ********..              30674000 | 552691              1008.0       30429.0      8481401
1031.79/551.95	c ................................ | ********..              31216000 | 568228              1032.1       30246.3      8616338
1055.74/563.96	c ................................ | ********..              31800000 | 585336              1056.0       30113.1      8723844
1079.68/576.00	c ................................ | *********.              32380000 | 602640              1080.0       29980.1      8837729
1103.83/588.01	c ................................ | *********.              33007000 | 621503              1104.0       29897.1      8931868
1127.78/600.05	c ................................ | *********.              33597000 | 639047              1128.1       29782.7      9119635
1151.74/612.05	c ................................ | *********.              34170000 | 657232              1152.0       29660.9      9211832
1175.68/624.07	c ................................ | *********.              34829000 | 675624              1176.0       29616.5      9313000
1199.83/636.13	c CPU limit (1200) reached
1199.83/636.13	c Time = 1200.07 seconds
1199.83/636.13	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-1720562-1240657777/watcher-1720562-1240657777 -o /tmp/evaluation-result-1720562-1240657777/solver-1720562-1240657777 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/ttsth-5-0 -num-threads 2 HOME/instance-1720562-1240657777.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: 1.00 1.00 1.00 3/64 13176
/proc/meminfo: memFree=1820992/2055920 swapFree=4191900/4192956
[pid=13176] ppid=13174 vsize=1064 CPUtime=0
/proc/13176/stat : 13176 (ttsth-5-0) R 13174 13176 12763 0 -1 4194304 141 0 0 0 0 0 0 0 18 0 1 0 93810391 1089536 125 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/13176/statm: 266 125 78 176 0 88 0

[startup+0.081162 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13176
/proc/meminfo: memFree=1820992/2055920 swapFree=4191900/4192956
[pid=13176] ppid=13174 vsize=3780 CPUtime=0.07
/proc/13176/stat : 13176 (ttsth-5-0) R 13174 13176 12763 0 -1 4194304 817 0 0 0 7 0 0 0 18 0 1 0 93810391 3870720 801 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/13176/statm: 945 802 78 176 0 767 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3780

[startup+0.101163 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13176
/proc/meminfo: memFree=1820992/2055920 swapFree=4191900/4192956
[pid=13176] ppid=13174 vsize=4440 CPUtime=0.09
/proc/13176/stat : 13176 (ttsth-5-0) R 13174 13176 12763 0 -1 4194304 987 0 0 0 9 0 0 0 18 0 1 0 93810391 4546560 971 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/13176/statm: 1110 972 78 176 0 932 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4440

[startup+0.301178 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13176
/proc/meminfo: memFree=1820992/2055920 swapFree=4191900/4192956
[pid=13176] ppid=13174 vsize=11344 CPUtime=0.29
/proc/13176/stat : 13176 (ttsth-5-0) R 13174 13176 12763 0 -1 4194304 2689 0 0 0 29 0 0 0 19 0 1 0 93810391 11616256 2673 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/13176/statm: 2836 2673 78 176 0 2658 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11344

[startup+0.701206 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13176
/proc/meminfo: memFree=1820992/2055920 swapFree=4191900/4192956
[pid=13176] ppid=13174 vsize=21344 CPUtime=0.69
/proc/13176/stat : 13176 (ttsth-5-0) R 13174 13176 12763 0 -1 4194304 5076 0 0 0 67 2 0 0 22 0 1 0 93810391 21856256 5060 1992294400 134512640 135237372 4294956192 18446744073709551615 134534093 0 0 4096 0 0 0 0 17 1 0 0
/proc/13176/statm: 5336 5060 78 176 0 5158 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21344

[startup+1.50127 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13177
/proc/meminfo: memFree=1801016/2055920 swapFree=4191900/4192956
[pid=13176] ppid=13174 vsize=21344 CPUtime=1.49
/proc/13176/stat : 13176 (ttsth-5-0) R 13174 13176 12763 0 -1 4194304 5076 0 0 0 147 2 0 0 25 0 1 0 93810391 21856256 5060 1992294400 134512640 135237372 4294956192 18446744073709551615 134534259 0 0 4096 0 0 0 0 17 1 0 0
/proc/13176/statm: 5336 5060 78 176 0 5158 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21344

[startup+3.10138 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13177
/proc/meminfo: memFree=1800888/2055920 swapFree=4191900/4192956
[pid=13176] ppid=13174 vsize=42480 CPUtime=3.09
/proc/13176/stat : 13176 (ttsth-5-0) R 13174 13176 12763 0 -1 4194304 11060 0 0 0 305 4 0 0 25 0 1 0 93810391 43499520 10233 1992294400 134512640 135237372 4294956192 18446744073709551615 134607024 0 0 4096 0 0 0 0 17 1 0 0
/proc/13176/statm: 10620 10233 79 176 0 10442 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42480

[startup+6.30162 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13177
/proc/meminfo: memFree=1775672/2055920 swapFree=4191900/4192956
[pid=13176] ppid=13174 vsize=46700 CPUtime=6.29
/proc/13176/stat : 13176 (ttsth-5-0) R 13174 13176 12763 0 -1 4194304 12167 0 0 0 624 5 0 0 25 0 1 0 93810391 47820800 11340 1992294400 134512640 135237372 4294956192 18446744073709551615 134599547 0 0 4096 0 0 0 0 17 1 0 0
/proc/13176/statm: 11675 11340 80 176 0 11497 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46700

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13177
/proc/meminfo: memFree=1774584/2055920 swapFree=4191900/4192956
[pid=13176] ppid=13174 vsize=47684 CPUtime=12.69
/proc/13176/stat : 13176 (ttsth-5-0) R 13174 13176 12763 0 -1 4194304 12436 0 0 0 1264 5 0 0 25 0 1 0 93810391 48828416 11609 1992294400 134512640 135237372 4294956192 18446744073709551615 134555299 0 0 4096 0 0 0 0 17 1 0 0
/proc/13176/statm: 11921 11609 80 176 0 11743 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47684

[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13177
/proc/meminfo: memFree=1774136/2055920 swapFree=4191900/4192956
[pid=13176] ppid=13174 vsize=48400 CPUtime=25.49
/proc/13176/stat : 13176 (ttsth-5-0) R 13174 13176 12763 0 -1 4194304 12539 0 0 0 2544 5 0 0 25 0 1 0 93810391 49561600 11712 1992294400 134512640 135237372 4294956192 18446744073709551615 134600707 0 0 4096 0 0 0 0 17 1 0 0
/proc/13176/statm: 12100 11712 80 176 0 11922 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 48400

[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13177
/proc/meminfo: memFree=1774200/2055920 swapFree=4191900/4192956
[pid=13176] ppid=13174 vsize=48400 CPUtime=51.08
/proc/13176/stat : 13176 (ttsth-5-0) R 13174 13176 12763 0 -1 4194304 12546 0 0 0 5103 5 0 0 25 0 1 0 93810391 49561600 11719 1992294400 134512640 135237372 4294956192 18446744073709551615 134600718 0 0 4096 0 0 0 0 17 1 0 0
/proc/13176/statm: 12100 11719 80 176 0 11922 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 48400

[startup+102.306 s]
/proc/loadavg: 1.39 1.09 1.03 3/67 13179
/proc/meminfo: memFree=1634152/2055920 swapFree=4191900/4192956
[pid=13176] ppid=13174 vsize=206716 CPUtime=134.5
/proc/13176/stat : 13176 (ttsth-5-0) S 13174 13176 12763 0 -1 4194304 48310 0 0 0 13429 21 0 0 25 0 3 0 93810391 211677184 46667 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13176/statm: 51679 46667 98 176 0 51501 0
[pid=13176/tid=13178] ppid=13174 vsize=206716 CPUtime=32.34
/proc/13176/task/13178/stat : 13178 (ttsth-5-0) R 13174 13176 12763 0 -1 4194368 815 0 0 0 3233 1 0 0 25 0 3 0 93817387 211677184 46667 1992294400 134512640 135237372 4294956192 18446744073709551615 134549908 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13176/tid=13179] ppid=13174 vsize=206716 CPUtime=32.21
/proc/13176/task/13179/stat : 13179 (ttsth-5-0) R 13174 13176 12763 0 -1 4194368 810 0 0 0 3221 0 0 0 25 0 3 0 93817387 211677184 46667 1992294400 134512640 135237372 4294956192 18446744073709551615 134550992 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 134.5
Current children cumulated vsize (KiB) 206716

[startup+162.301 s]
/proc/loadavg: 1.77 1.26 1.09 3/67 13179
/proc/meminfo: memFree=1632360/2055920 swapFree=4191900/4192956
[pid=13176] ppid=13174 vsize=208140 CPUtime=254.23
/proc/13176/stat : 13176 (ttsth-5-0) S 13174 13176 12763 0 -1 4194304 48739 0 0 0 25400 23 0 0 25 0 3 0 93810391 213135360 47096 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13176/statm: 52035 47096 98 176 0 51857 0
[pid=13176/tid=13178] ppid=13174 vsize=208140 CPUtime=92.32
/proc/13176/task/13178/stat : 13178 (ttsth-5-0) R 13174 13176 12763 0 -1 4194368 1018 0 0 0 9229 3 0 0 25 0 3 0 93817387 213135360 47096 1992294400 134512640 135237372 4294956192 18446744073709551615 134680470 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13176/tid=13179] ppid=13174 vsize=208140 CPUtime=91.97
/proc/13176/task/13179/stat : 13179 (ttsth-5-0) R 13174 13176 12763 0 -1 4194368 1036 0 0 0 9197 0 0 0 25 0 3 0 93817387 213135360 47096 1992294400 134512640 135237372 4294956192 18446744073709551615 134590129 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 254.23
Current children cumulated vsize (KiB) 208140

[startup+222.301 s]
/proc/loadavg: 1.96 1.40 1.15 3/67 13179
/proc/meminfo: memFree=1628712/2055920 swapFree=4191900/4192956
[pid=13176] ppid=13174 vsize=212060 CPUtime=373.97
/proc/13176/stat : 13176 (ttsth-5-0) S 13174 13176 12763 0 -1 4194304 49625 0 0 0 37371 26 0 0 25 0 3 0 93810391 217149440 47982 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13176/statm: 53015 47982 98 176 0 52837 0
[pid=13176/tid=13178] ppid=13174 vsize=212060 CPUtime=152.3
/proc/13176/task/13178/stat : 13178 (ttsth-5-0) R 13174 13176 12763 0 -1 4194368 1688 0 0 0 15224 6 0 0 25 0 3 0 93817387 217149440 47982 1992294400 134512640 135237372 4294956192 18446744073709551615 134561481 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13176/tid=13179] ppid=13174 vsize=212060 CPUtime=151.73
/proc/13176/task/13179/stat : 13179 (ttsth-5-0) R 13174 13176 12763 0 -1 4194368 1252 0 0 0 15172 1 0 0 25 0 3 0 93817387 217149440 47982 1992294400 134512640 135237372 4294956192 18446744073709551615 134549896 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 373.97
Current children cumulated vsize (KiB) 212060

[startup+282.302 s]
/proc/loadavg: 1.98 1.51 1.20 3/67 13179
/proc/meminfo: memFree=1615848/2055920 swapFree=4191900/4192956
[pid=13176] ppid=13174 vsize=223160 CPUtime=493.72
/proc/13176/stat : 13176 (ttsth-5-0) S 13174 13176 12763 0 -1 4194304 52886 0 0 0 49341 31 0 0 25 0 3 0 93810391 228515840 51243 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13176/statm: 55790 51243 98 176 0 55612 0
[pid=13176/tid=13178] ppid=13174 vsize=223160 CPUtime=212.29
/proc/13176/task/13178/stat : 13178 (ttsth-5-0) R 13174 13176 12763 0 -1 4194368 4234 0 0 0 21219 10 0 0 25 0 3 0 93817387 228515840 51243 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13176/tid=13179] ppid=13174 vsize=223160 CPUtime=211.5
/proc/13176/task/13179/stat : 13179 (ttsth-5-0) R 13174 13176 12763 0 -1 4194368 1967 0 0 0 21148 2 0 0 25 0 3 0 93817387 228515840 51243 1992294400 134512640 135237372 4294956192 18446744073709551615 134561510 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 493.72
Current children cumulated vsize (KiB) 223160

[startup+342.301 s]
/proc/loadavg: 1.99 1.60 1.24 3/67 13179
/proc/meminfo: memFree=1563688/2055920 swapFree=4191900/4192956
[pid=13176] ppid=13174 vsize=277876 CPUtime=613.47
/proc/13176/stat : 13176 (ttsth-5-0) S 13174 13176 12763 0 -1 4194304 65832 0 0 0 61304 43 0 0 25 0 3 0 93810391 284545024 64189 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13176/statm: 69469 64189 98 176 0 69291 0
[pid=13176/tid=13178] ppid=13174 vsize=277876 CPUtime=272.27
/proc/13176/task/13178/stat : 13178 (ttsth-5-0) R 13174 13176 12763 0 -1 4194368 16555 0 0 0 27206 21 0 0 25 0 3 0 93817387 284545024 64189 1992294400 134512640 135237372 4294956192 18446744073709551615 134551475 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13176/tid=13179] ppid=13174 vsize=277876 CPUtime=271.25
/proc/13176/task/13179/stat : 13179 (ttsth-5-0) R 13174 13176 12763 0 -1 4194368 2592 0 0 0 27123 2 0 0 25 0 3 0 93817387 284545024 64189 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 613.47
Current children cumulated vsize (KiB) 277876

[startup+402.302 s]
/proc/loadavg: 1.99 1.67 1.29 3/67 13179
/proc/meminfo: memFree=1536168/2055920 swapFree=4191900/4192956
[pid=13176] ppid=13174 vsize=306700 CPUtime=733.22
/proc/13176/stat : 13176 (ttsth-5-0) S 13174 13176 12763 0 -1 4194304 72793 0 0 0 73272 50 0 0 25 0 3 0 93810391 314060800 71150 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13176/statm: 76675 71150 98 176 0 76497 0
[pid=13176/tid=13178] ppid=13174 vsize=306700 CPUtime=332.26
/proc/13176/task/13178/stat : 13178 (ttsth-5-0) R 13174 13176 12763 0 -1 4194368 23020 0 0 0 33198 28 0 0 25 0 3 0 93817387 314060800 71150 1992294400 134512640 135237372 4294956192 18446744073709551615 134552795 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13176/tid=13179] ppid=13174 vsize=306700 CPUtime=331.02
/proc/13176/task/13179/stat : 13179 (ttsth-5-0) R 13174 13176 12763 0 -1 4194368 3088 0 0 0 33099 3 0 0 25 0 3 0 93817387 314060800 71150 1992294400 134512640 135237372 4294956192 18446744073709551615 134683103 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 733.22
Current children cumulated vsize (KiB) 306700

[startup+462.302 s]
/proc/loadavg: 1.99 1.72 1.33 3/67 13179
/proc/meminfo: memFree=1511592/2055920 swapFree=4191900/4192956
[pid=13176] ppid=13174 vsize=331252 CPUtime=852.96
/proc/13176/stat : 13176 (ttsth-5-0) S 13174 13176 12763 0 -1 4194304 78837 0 0 0 85239 57 0 0 25 0 3 0 93810391 339202048 77194 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13176/statm: 82813 77194 98 176 0 82635 0
[pid=13176/tid=13178] ppid=13174 vsize=331252 CPUtime=392.24
/proc/13176/task/13178/stat : 13178 (ttsth-5-0) R 13174 13176 12763 0 -1 4194368 28658 0 0 0 39190 34 0 0 25 0 3 0 93817387 339202048 77194 1992294400 134512640 135237372 4294956192 18446744073709551615 134680499 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13176/tid=13179] ppid=13174 vsize=331252 CPUtime=390.78
/proc/13176/task/13179/stat : 13179 (ttsth-5-0) R 13174 13176 12763 0 -1 4194368 3494 0 0 0 39074 4 0 0 25 0 3 0 93817387 339202048 77194 1992294400 134512640 135237372 4294956192 18446744073709551615 134549922 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 852.96
Current children cumulated vsize (KiB) 331252

[startup+522.301 s]
/proc/loadavg: 1.99 1.77 1.37 3/67 13179
/proc/meminfo: memFree=1494568/2055920 swapFree=4191900/4192956
[pid=13176] ppid=13174 vsize=349664 CPUtime=972.71
/proc/13176/stat : 13176 (ttsth-5-0) S 13174 13176 12763 0 -1 4194304 83094 0 0 0 97207 64 0 0 25 0 3 0 93810391 358055936 81451 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13176/statm: 87416 81451 98 176 0 87238 0
[pid=13176/tid=13178] ppid=13174 vsize=349664 CPUtime=452.22
/proc/13176/task/13178/stat : 13178 (ttsth-5-0) R 13174 13176 12763 0 -1 4194368 32368 0 0 0 45182 40 0 0 25 0 3 0 93817387 358055936 81451 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13176/tid=13179] ppid=13174 vsize=349664 CPUtime=450.54
/proc/13176/task/13179/stat : 13179 (ttsth-5-0) R 13174 13176 12763 0 -1 4194368 4041 0 0 0 45050 4 0 0 25 0 3 0 93817387 358055936 81451 1992294400 134512640 135237372 4294956192 18446744073709551615 134680270 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 972.71
Current children cumulated vsize (KiB) 349664

[startup+582.302 s]
/proc/loadavg: 1.99 1.81 1.41 3/67 13179
/proc/meminfo: memFree=1483816/2055920 swapFree=4191900/4192956
[pid=13176] ppid=13174 vsize=360216 CPUtime=1092.46
/proc/13176/stat : 13176 (ttsth-5-0) S 13174 13176 12763 0 -1 4194304 85680 0 0 0 109178 68 0 0 25 0 3 0 93810391 368861184 84037 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13176/statm: 90054 84037 98 176 0 89876 0
[pid=13176/tid=13178] ppid=13174 vsize=360216 CPUtime=512.21
/proc/13176/task/13178/stat : 13178 (ttsth-5-0) R 13174 13176 12763 0 -1 4194368 34432 0 0 0 51177 44 0 0 25 0 3 0 93817387 368861184 84037 1992294400 134512640 135237372 4294956192 18446744073709551615 134680208 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13176/tid=13179] ppid=13174 vsize=360216 CPUtime=510.31
/proc/13176/task/13179/stat : 13179 (ttsth-5-0) R 13174 13176 12763 0 -1 4194368 4563 0 0 0 51026 5 0 0 25 0 3 0 93817387 368861184 84037 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1092.46
Current children cumulated vsize (KiB) 360216

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

[startup+588.701 s]
/proc/loadavg: 1.99 1.81 1.41 3/67 13179
/proc/meminfo: memFree=1483048/2055920 swapFree=4191900/4192956
[pid=13176] ppid=13174 vsize=360684 CPUtime=1105.23
/proc/13176/stat : 13176 (ttsth-5-0) S 13174 13176 12763 0 -1 4194304 85876 0 0 0 110455 68 0 0 25 0 3 0 93810391 369340416 84233 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13176/statm: 90171 84233 98 176 0 89993 0
[pid=13176/tid=13178] ppid=13174 vsize=360684 CPUtime=518.61
/proc/13176/task/13178/stat : 13178 (ttsth-5-0) R 13174 13176 12763 0 -1 4194368 34577 0 0 0 51817 44 0 0 25 0 3 0 93817387 369340416 84233 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13176/tid=13179] ppid=13174 vsize=360684 CPUtime=516.68
/proc/13176/task/13179/stat : 13179 (ttsth-5-0) R 13174 13176 12763 0 -1 4194368 4614 0 0 0 51663 5 0 0 25 0 3 0 93817387 369340416 84233 1992294400 134512640 135237372 4294956192 18446744073709551615 134588219 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1105.23
Current children cumulated vsize (KiB) 360684

[startup+614.301 s]
/proc/loadavg: 1.99 1.83 1.42 3/67 13179
/proc/meminfo: memFree=1478440/2055920 swapFree=4191900/4192956
[pid=13176] ppid=13174 vsize=365700 CPUtime=1156.32
/proc/13176/stat : 13176 (ttsth-5-0) S 13174 13176 12763 0 -1 4194304 87026 0 0 0 115562 70 0 0 25 0 3 0 93810391 374476800 85383 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13176/statm: 91425 85383 98 176 0 91247 0
[pid=13176/tid=13178] ppid=13174 vsize=365700 CPUtime=544.2
/proc/13176/task/13178/stat : 13178 (ttsth-5-0) R 13174 13176 12763 0 -1 4194368 35522 0 0 0 54374 46 0 0 25 0 3 0 93817387 374476800 85383 1992294400 134512640 135237372 4294956192 18446744073709551615 134586873 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13176/tid=13179] ppid=13174 vsize=365700 CPUtime=542.18
/proc/13176/task/13179/stat : 13179 (ttsth-5-0) R 13174 13176 12763 0 -1 4194368 4819 0 0 0 54213 5 0 0 25 0 3 0 93817387 374476800 85383 1992294400 134512640 135237372 4294956192 18446744073709551615 134587921 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1156.32
Current children cumulated vsize (KiB) 365700

[startup+627.101 s]
/proc/loadavg: 1.99 1.83 1.43 3/67 13179
/proc/meminfo: memFree=1475944/2055920 swapFree=4191900/4192956
[pid=13176] ppid=13174 vsize=367888 CPUtime=1181.86
/proc/13176/stat : 13176 (ttsth-5-0) S 13174 13176 12763 0 -1 4194304 87635 0 0 0 118115 71 0 0 25 0 3 0 93810391 376717312 85992 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13176/statm: 91972 85992 98 176 0 91794 0
[pid=13176/tid=13178] ppid=13174 vsize=367888 CPUtime=557
/proc/13176/task/13178/stat : 13178 (ttsth-5-0) R 13174 13176 12763 0 -1 4194368 36036 0 0 0 55653 47 0 0 25 0 3 0 93817387 376717312 85992 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13176/tid=13179] ppid=13174 vsize=367888 CPUtime=554.92
/proc/13176/task/13179/stat : 13179 (ttsth-5-0) R 13174 13176 12763 0 -1 4194368 4914 0 0 0 55487 5 0 0 25 0 3 0 93817387 376717312 85992 1992294400 134512640 135237372 4294956192 18446744073709551615 134587275 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 367888

[startup+630.306 s]
/proc/loadavg: 1.99 1.84 1.43 3/67 13179
/proc/meminfo: memFree=1475432/2055920 swapFree=4191900/4192956
[pid=13176] ppid=13174 vsize=368472 CPUtime=1188.27
/proc/13176/stat : 13176 (ttsth-5-0) S 13174 13176 12763 0 -1 4194304 87760 0 0 0 118755 72 0 0 25 0 3 0 93810391 377315328 86117 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13176/statm: 92118 86117 98 176 0 91940 0
[pid=13176/tid=13178] ppid=13174 vsize=368472 CPUtime=560.2
/proc/13176/task/13178/stat : 13178 (ttsth-5-0) R 13174 13176 12763 0 -1 4194368 36139 0 0 0 55973 47 0 0 25 0 3 0 93817387 377315328 86117 1992294400 134512640 135237372 4294956192 18446744073709551615 134549877 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13176/tid=13179] ppid=13174 vsize=368472 CPUtime=558.11
/proc/13176/task/13179/stat : 13179 (ttsth-5-0) R 13174 13176 12763 0 -1 4194368 4936 0 0 0 55806 5 0 0 25 0 3 0 93817387 377315328 86117 1992294400 134512640 135237372 4294956192 18446744073709551615 134561549 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1188.27
Current children cumulated vsize (KiB) 368472

[startup+633.502 s]
/proc/loadavg: 1.99 1.84 1.43 3/67 13179
/proc/meminfo: memFree=1474856/2055920 swapFree=4191900/4192956
[pid=13176] ppid=13174 vsize=368944 CPUtime=1194.65
/proc/13176/stat : 13176 (ttsth-5-0) S 13174 13176 12763 0 -1 4194304 87904 0 0 0 119393 72 0 0 25 0 3 0 93810391 377798656 86261 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13176/statm: 92236 86261 98 176 0 92058 0
[pid=13176/tid=13178] ppid=13174 vsize=368944 CPUtime=563.4
/proc/13176/task/13178/stat : 13178 (ttsth-5-0) R 13174 13176 12763 0 -1 4194368 36245 0 0 0 56293 47 0 0 25 0 3 0 93817387 377798656 86261 1992294400 134512640 135237372 4294956192 18446744073709551615 134591433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13176/tid=13179] ppid=13174 vsize=368944 CPUtime=561.3
/proc/13176/task/13179/stat : 13179 (ttsth-5-0) R 13174 13176 12763 0 -1 4194368 4974 0 0 0 56125 5 0 0 25 0 3 0 93817387 377798656 86261 1992294400 134512640 135237372 4294956192 18446744073709551615 134549950 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1194.65
Current children cumulated vsize (KiB) 368944

[startup+635.102 s]
/proc/loadavg: 1.99 1.84 1.43 3/67 13179
/proc/meminfo: memFree=1474600/2055920 swapFree=4191900/4192956
[pid=13176] ppid=13174 vsize=369100 CPUtime=1197.83
/proc/13176/stat : 13176 (ttsth-5-0) S 13174 13176 12763 0 -1 4194304 87962 0 0 0 119711 72 0 0 25 0 3 0 93810391 377958400 86319 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13176/statm: 92275 86319 98 176 0 92097 0
[pid=13176/tid=13178] ppid=13174 vsize=369100 CPUtime=565
/proc/13176/task/13178/stat : 13178 (ttsth-5-0) R 13174 13176 12763 0 -1 4194368 36296 0 0 0 56453 47 0 0 25 0 3 0 93817387 377958400 86319 1992294400 134512640 135237372 4294956192 18446744073709551615 134519962 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13176/tid=13179] ppid=13174 vsize=369100 CPUtime=562.89
/proc/13176/task/13179/stat : 13179 (ttsth-5-0) R 13174 13176 12763 0 -1 4194368 4981 0 0 0 56284 5 0 0 25 0 3 0 93817387 377958400 86319 1992294400 134512640 135237372 4294956192 18446744073709551615 134561549 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1197.83
Current children cumulated vsize (KiB) 369100

[startup+635.902 s]
/proc/loadavg: 1.99 1.84 1.44 3/67 13179
/proc/meminfo: memFree=1474536/2055920 swapFree=4191900/4192956
[pid=13176] ppid=13174 vsize=369100 CPUtime=1199.43
/proc/13176/stat : 13176 (ttsth-5-0) S 13174 13176 12763 0 -1 4194304 87982 0 0 0 119871 72 0 0 25 0 3 0 93810391 377958400 86339 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13176/statm: 92275 86339 98 176 0 92097 0
[pid=13176/tid=13178] ppid=13174 vsize=369100 CPUtime=565.8
/proc/13176/task/13178/stat : 13178 (ttsth-5-0) R 13174 13176 12763 0 -1 4194368 36313 0 0 0 56533 47 0 0 25 0 3 0 93817387 377958400 86339 1992294400 134512640 135237372 4294956192 18446744073709551615 134680727 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13176/tid=13179] ppid=13174 vsize=369100 CPUtime=563.69
/proc/13176/task/13179/stat : 13179 (ttsth-5-0) R 13174 13176 12763 0 -1 4194368 4984 0 0 0 56364 5 0 0 25 0 3 0 93817387 377958400 86339 1992294400 134512640 135237372 4294956192 18446744073709551615 134551509 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1199.43
Current children cumulated vsize (KiB) 369100

[startup+636.102 s]
/proc/loadavg: 1.99 1.84 1.44 3/67 13179
/proc/meminfo: memFree=1474536/2055920 swapFree=4191900/4192956
[pid=13176] ppid=13174 vsize=369260 CPUtime=1199.83
/proc/13176/stat : 13176 (ttsth-5-0) S 13174 13176 12763 0 -1 4194304 87989 0 0 0 119911 72 0 0 25 0 3 0 93810391 378122240 86346 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13176/statm: 92315 86346 98 176 0 92137 0
[pid=13176/tid=13178] ppid=13174 vsize=369260 CPUtime=566
/proc/13176/task/13178/stat : 13178 (ttsth-5-0) R 13174 13176 12763 0 -1 4194368 36318 0 0 0 56553 47 0 0 25 0 3 0 93817387 378122240 86346 1992294400 134512640 135237372 4294956192 18446744073709551615 134680504 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13176/tid=13179] ppid=13174 vsize=369260 CPUtime=563.89
/proc/13176/task/13179/stat : 13179 (ttsth-5-0) R 13174 13176 12763 0 -1 4194368 4986 0 0 0 56384 5 0 0 25 0 3 0 93817387 378122240 86346 1992294400 134512640 135237372 4294956192 18446744073709551615 134550374 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1199.83
Current children cumulated vsize (KiB) 369260

Child status: 0
Real time (s): 636.186
CPU time (s): 1199.96
CPU user time (s): 1199.18
CPU system time (s): 0.781881
CPU usage (%): 188.617
Max. virtual memory (cumulated for all children) (KiB): 369260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.18
system time used= 0.781881
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87989
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= 5
involuntary context switches= 8763

runsolver used 0.58791 second user time and 1.69574 second system time

The end

Launcher Data 

Begin job on node34 at 2009-04-25 13:09:37
IDJOB=1720562
IDBENCH=69611
IDSOLVER=549
FILE ID=node34/1720562-1240657777
PBS_JOBID= 9186476
Free space on /tmp= 66364 MiB

SOLVER NAME= ttsth-5-0 2009-03-19
BENCH NAME= SAT_RACE08/cnf/mizh-md5-47-4.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1720562-1240657777/watcher-1720562-1240657777 -o /tmp/evaluation-result-1720562-1240657777/solver-1720562-1240657777 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/ttsth-5-0 -num-threads 2 HOME/instance-1720562-1240657777.cnf

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

MD5SUM BENCH= b0a37265834986ac9165bda379d279fd
RANDOM SEED=1925906230

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1821408 kB
Buffers:          9380 kB
Cached:         158264 kB
SwapCached:        384 kB
Active:          45076 kB
Inactive:       135964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1821408 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            6200 kB
Writeback:           0 kB
Mapped:          21792 kB
Slab:            39484 kB
Committed_AS:   317076 kB
PageTables:       1384 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= 66364 MiB
End job on node34 at 2009-04-25 13:20:14