Trace number 1729520

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? 1200.01 604.387

General information on the benchmark

Namecrafted/Hard/contest03/looksrandom/
hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf
MD5SUM6a0d1029e840b2624bac287c335e4e2c
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 variables260
Number of clauses492
Sum of the clauses size1114
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2427
Number of clauses of size 30
Number of clauses of size 465
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Command: HOME/ttsth-5-0 -num-threads 2 HOME/instance-1729520-1240750533.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 = 320
0.00/0.00	c Clauses = 492
0.00/0.00	c Literals = 1114
0.00/0.00	c Reduced size:
0.00/0.00	c Variables = 260
0.00/0.00	c Clauses = 469
0.00/0.00	c Literals = 1064
0.00/0.00	c a2
0.00/0.00	c a1
5.99/6.05	c Independent sub-problems = 1
5.99/6.05	c Sub-problem with 252 variables and 469 clauses
5.99/6.05	c using permutation method 3
5.99/6.05	c Ordering finished 6.050 seconds
5.99/6.05	c mapped 6.050 seconds
5.99/6.05	c permuted 6.050 seconds
5.99/6.05	c about to sort
5.99/6.05	c sorted
5.99/6.06	c clauses now 469
5.99/6.06	c init finished 6.050 seconds
5.99/6.06	c tree built 6.060 seconds
5.99/6.06	c 
5.99/6.06	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
5.99/6.06	c ---------------------------------|----------------------------------|------------------------------------------------------
5.99/6.06	c ................................ | ..........                       |                        6.1           0.0             
5.99/6.06	c ................................ | ..........                     1 |                        6.1           0.2             
5.99/6.06	c ................................ | ..........                     2 |                        6.1           0.3             
5.99/6.06	c ................................ | ..........                     3 |                        6.1           0.5             
5.99/6.06	c ................................ | ..........                     4 |                        6.1           0.7             
5.99/6.06	c ................................ | ..........                     5 |                        6.1           0.8             
5.99/6.08	c ................................ | ..........                  1000 | 50                     6.1         164.7         3854
23.89/15.05	c ................................ | ..........                498000 | 53856                 24.0       20741.4      2758551
48.04/27.12	c ................................ | ..........               1028000 | 110416                48.1       21376.6      5927103
71.98/39.12	c ................................ | ..........               1358000 | 144817                72.0       18850.6      7355797
95.94/51.20	c ................................ | ..........               1637000 | 173398                96.2       17025.5      9291128
120.08/63.21	c ................................ | *.........               1851000 | 194523               120.1       15409.6     10965854
143.83/75.19	c ................................ | *.........               2191000 | 236932               144.0       15211.1     12114759
167.78/87.19	c ................................ | *.........               2507000 | 274531               168.0       14922.6     13794587
191.93/99.23	c ................................ | *.........               2892000 | 316473               192.0       15060.9     15446257
215.88/111.28	c ................................ | *.........               3187000 | 347847               216.1       14749.2     16841121
240.23/123.48	c ................................ | **........               3394000 | 370413               240.4       14116.4     17764805
263.99/135.39	c ................................ | **........               3537000 | 387665               264.2       13387.6     18356990
287.93/147.34	c ................................ | **........               3684000 | 403260               288.1       12789.0     19195052
311.88/159.33	c ................................ | **........               3893000 | 427426               312.0       12477.6     20129642
336.03/171.43	c ................................ | **........               4128000 | 454084               336.1       12280.2     20924346
359.77/183.38	c ................................ | ***.......               4526000 | 497196               360.0       12572.2     22725357
383.93/195.43	c ................................ | ***.......               4842000 | 532932               384.1       12607.4     24406344
407.88/207.44	c ................................ | ***.......               5129000 | 566823               408.0       12570.5     25439303
431.82/219.47	c ................................ | ***.......               5523000 | 612294               432.0       12783.5     27880756
455.77/231.50	c ................................ | ***.......               5749000 | 641836               456.0       12606.4     29211289
479.92/243.50	c ................................ | ****......               6001000 | 674001               480.0       12501.8     30852687
503.87/255.53	c ................................ | ****......               6260000 | 709779               504.0       12420.4     32311787
527.82/267.58	c ................................ | ****......               6523000 | 744784               528.1       12352.8     33435595
552.17/279.71	c ................................ | ****......               6660000 | 759484               552.3       12059.1     34241511
575.92/291.64	c ................................ | ****......               6826000 | 777685               576.1       11848.8     35296078
599.88/303.63	c ................................ | *****.....               6992000 | 798354               600.0       11652.8     36179452
624.03/315.70	c ................................ | *****.....               7174000 | 820699               624.1       11494.4     37781119
647.78/327.68	c ................................ | *****.....               7340000 | 841775               648.0       11326.3     38660026
671.89/339.77	c ................................ | *****.....               7464000 | 857690               672.1       11104.8     39313944
695.84/351.73	c ................................ | *****.....               7650000 | 882407               696.0       10991.2     40177903
719.79/363.76	c ................................ | ******....               7940000 | 922624               720.0       11027.3     41312806
743.73/375.79	c ................................ | ******....               8140000 | 954881               744.0       10940.4     42032380
767.89/387.87	c ................................ | ******....               8475000 | 1005773              768.1       11033.1     43118379
791.84/399.89	c ................................ | ******....               8624000 | 1025668              792.1       10887.0     43671032
815.99/411.95	c ................................ | ******....               8817000 | 1050510              816.2       10802.4     44487491
839.93/423.91	c ................................ | *******...               9039000 | 1077811              840.1       10759.6     45228936
863.89/435.90	c ................................ | *******...               9138000 | 1091408              864.0       10576.0     45769275
887.83/447.92	c ................................ | *******...               9283000 | 1109996              888.0       10453.6     46566336
911.78/459.97	c ................................ | *******...               9434000 | 1132458              912.1       10343.5     47252817
936.13/472.11	c ................................ | *******...               9542000 | 1149552              936.3       10191.3     48081141
959.69/483.98	c ................................ | ********..               9764000 | 1176922              960.0       10170.8     49307291
983.83/496.03	c ................................ | ********..               9917000 | 1194168              984.0       10077.7     50412859
1007.79/508.04	c ................................ | ********..              10128000 | 1217617             1008.0       10047.3     51306120
1031.93/520.17	c ................................ | ********..              10229000 | 1227928             1032.2        9909.5     51841537
1056.08/532.24	c ................................ | ********..              10370000 | 1246179             1056.3        9817.0     52336243
1079.82/544.10	c ................................ | *********.              10493000 | 1262614             1080.0        9715.7     52953867
1103.78/556.16	c ................................ | *********.              10619000 | 1280248             1104.1        9618.0     53430836
1127.73/568.19	c ................................ | *********.              10878000 | 1318076             1128.1        9642.9     54237368
1151.67/580.17	c ................................ | *********.              11044000 | 1341304             1152.0        9586.8     54876147
1175.82/592.22	c ................................ | *********.              11236000 | 1365314             1176.1        9553.9     55578058
1199.77/604.24	c CPU limit (1200) reached
1199.77/604.24	c Time = 1200.04 seconds
1199.77/604.24	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-1729520-1240750533/watcher-1729520-1240750533 -o /tmp/evaluation-result-1729520-1240750533/solver-1729520-1240750533 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/ttsth-5-0 -num-threads 2 HOME/instance-1729520-1240750533.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.18 2/64 21938
/proc/meminfo: memFree=1833848/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=932 CPUtime=0
/proc/21938/stat : 21938 (ttsth-5-0) R 21936 21938 21708 0 -1 4194304 142 0 0 0 0 0 0 0 18 0 1 0 103085933 954368 126 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/21938/statm: 233 126 83 176 0 55 0

[startup+0.095629 s]
/proc/loadavg: 1.00 1.00 1.18 2/64 21938
/proc/meminfo: memFree=1833848/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=932 CPUtime=0.09
/proc/21938/stat : 21938 (ttsth-5-0) R 21936 21938 21708 0 -1 4194304 142 0 0 0 9 0 0 0 18 0 1 0 103085933 954368 126 1992294400 134512640 135237372 4294956192 18446744073709551615 134604614 0 0 4096 0 0 0 0 17 1 0 0
/proc/21938/statm: 233 126 83 176 0 55 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 932

[startup+0.10163 s]
/proc/loadavg: 1.00 1.00 1.18 2/64 21938
/proc/meminfo: memFree=1833848/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=932 CPUtime=0.09
/proc/21938/stat : 21938 (ttsth-5-0) R 21936 21938 21708 0 -1 4194304 142 0 0 0 9 0 0 0 18 0 1 0 103085933 954368 126 1992294400 134512640 135237372 4294956192 18446744073709551615 134728982 0 0 4096 0 0 0 0 17 1 0 0
/proc/21938/statm: 233 126 83 176 0 55 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 932

[startup+0.301643 s]
/proc/loadavg: 1.00 1.00 1.18 2/64 21938
/proc/meminfo: memFree=1833848/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=932 CPUtime=0.29
/proc/21938/stat : 21938 (ttsth-5-0) R 21936 21938 21708 0 -1 4194304 142 0 0 0 29 0 0 0 19 0 1 0 103085933 954368 126 1992294400 134512640 135237372 4294956192 18446744073709551615 134555977 0 0 4096 0 0 0 0 17 1 0 0
/proc/21938/statm: 233 126 83 176 0 55 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 932

[startup+0.701674 s]
/proc/loadavg: 1.00 1.00 1.18 2/64 21938
/proc/meminfo: memFree=1833848/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=932 CPUtime=0.69
/proc/21938/stat : 21938 (ttsth-5-0) R 21936 21938 21708 0 -1 4194304 142 0 0 0 69 0 0 0 23 0 1 0 103085933 954368 126 1992294400 134512640 135237372 4294956192 18446744073709551615 134604954 0 0 4096 0 0 0 0 17 1 0 0
/proc/21938/statm: 233 126 83 176 0 55 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 932

[startup+1.50173 s]
/proc/loadavg: 1.00 1.00 1.18 2/65 21939
/proc/meminfo: memFree=1833648/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=932 CPUtime=1.49
/proc/21938/stat : 21938 (ttsth-5-0) R 21936 21938 21708 0 -1 4194304 142 0 0 0 149 0 0 0 25 0 1 0 103085933 954368 126 1992294400 134512640 135237372 4294956192 18446744073709551615 134594613 0 0 4096 0 0 0 0 17 1 0 0
/proc/21938/statm: 233 126 83 176 0 55 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 932

[startup+3.10285 s]
/proc/loadavg: 1.00 1.00 1.18 2/65 21939
/proc/meminfo: memFree=1833520/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=932 CPUtime=3.1
/proc/21938/stat : 21938 (ttsth-5-0) R 21936 21938 21708 0 -1 4194304 142 0 0 0 310 0 0 0 25 0 1 0 103085933 954368 126 1992294400 134512640 135237372 4294956192 18446744073709551615 134555965 0 0 4096 0 0 0 0 17 1 0 0
/proc/21938/statm: 233 126 83 176 0 55 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 932

[startup+6.30109 s]
/proc/loadavg: 1.00 1.00 1.18 2/65 21939
/proc/meminfo: memFree=1833456/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=25068 CPUtime=6.53
/proc/21938/stat : 21938 (ttsth-5-0) S 21936 21938 21708 0 -1 4194304 818 0 0 0 653 0 0 0 25 0 3 0 103085933 25669632 802 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21938/statm: 6267 802 101 176 0 6089 0
Current children cumulated CPU time (s) 6.53
Current children cumulated vsize (KiB) 25068

[startup+12.7016 s]
/proc/loadavg: 1.15 1.04 1.19 3/67 21941
/proc/meminfo: memFree=1801376/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=57388 CPUtime=19.3
/proc/21938/stat : 21938 (ttsth-5-0) S 21936 21938 21708 0 -1 4194304 8865 0 0 0 1925 5 0 0 25 0 3 0 103085933 58765312 8849 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21938/statm: 14347 8849 101 176 0 14169 0
[pid=21938/tid=21940] ppid=21936 vsize=57388 CPUtime=6.62
/proc/21938/task/21940/stat : 21940 (ttsth-5-0) R 21936 21938 21708 0 -1 4194368 4186 0 0 0 660 2 0 0 19 0 3 0 103086539 58765312 8849 1992294400 134512640 135237372 4294956192 18446744073709551615 134587772 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21938/tid=21941] ppid=21936 vsize=57388 CPUtime=6.6
/proc/21938/task/21941/stat : 21941 (ttsth-5-0) R 21936 21938 21708 0 -1 4194368 4408 0 0 0 658 2 0 0 21 0 3 0 103086539 58765312 8849 1992294400 134512640 135237372 4294956192 18446744073709551615 134680208 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 19.3
Current children cumulated vsize (KiB) 57388

[startup+25.5015 s]
/proc/loadavg: 1.28 1.07 1.20 3/67 21941
/proc/meminfo: memFree=1745696/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=111308 CPUtime=44.84
/proc/21938/stat : 21938 (ttsth-5-0) S 21936 21938 21708 0 -1 4194304 22346 0 0 0 4471 13 0 0 25 0 3 0 103085933 113979392 22330 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21938/statm: 27827 22330 101 176 0 27649 0
[pid=21938/tid=21940] ppid=21936 vsize=111308 CPUtime=19.42
/proc/21938/task/21940/stat : 21940 (ttsth-5-0) R 21936 21938 21708 0 -1 4194368 10095 0 0 0 1937 5 0 0 25 0 3 0 103086539 113979392 22330 1992294400 134512640 135237372 4294956192 18446744073709551615 134586856 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21938/tid=21941] ppid=21936 vsize=111308 CPUtime=19.34
/proc/21938/task/21941/stat : 21941 (ttsth-5-0) R 21936 21938 21708 0 -1 4194368 11980 0 0 0 1927 7 0 0 19 0 3 0 103086539 113979392 22330 1992294400 134512640 135237372 4294956192 18446744073709551615 134749353 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 44.84
Current children cumulated vsize (KiB) 111308

[startup+51.1014 s]
/proc/loadavg: 1.56 1.16 1.22 3/67 21941
/proc/meminfo: memFree=1685344/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=171628 CPUtime=95.94
/proc/21938/stat : 21938 (ttsth-5-0) S 21936 21938 21708 0 -1 4194304 37442 0 0 0 9570 24 0 0 25 0 3 0 103085933 175747072 37426 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21938/statm: 42907 37426 101 176 0 42729 0
[pid=21938/tid=21940] ppid=21936 vsize=171628 CPUtime=45.02
/proc/21938/task/21940/stat : 21940 (ttsth-5-0) R 21936 21938 21708 0 -1 4194368 16811 0 0 0 4491 11 0 0 25 0 3 0 103086539 175747072 37426 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21938/tid=21941] ppid=21936 vsize=171628 CPUtime=44.85
/proc/21938/task/21941/stat : 21941 (ttsth-5-0) R 21936 21938 21708 0 -1 4194368 20360 0 0 0 4472 13 0 0 25 0 3 0 103086539 175747072 37426 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 95.94
Current children cumulated vsize (KiB) 171628

[startup+102.305 s]
/proc/loadavg: 1.85 1.30 1.26 3/67 21941
/proc/meminfo: memFree=1578528/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=276908 CPUtime=198.13
/proc/21938/stat : 21938 (ttsth-5-0) S 21936 21938 21708 0 -1 4194304 63755 0 0 0 19767 46 0 0 25 0 3 0 103085933 283553792 63739 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21938/statm: 69227 63739 101 176 0 69049 0
[pid=21938/tid=21940] ppid=21936 vsize=276908 CPUtime=96.06
/proc/21938/task/21940/stat : 21940 (ttsth-5-0) R 21936 21938 21708 0 -1 4194368 29994 0 0 0 9584 22 0 0 25 0 3 0 103086539 283553792 63739 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21938/tid=21941] ppid=21936 vsize=276908 CPUtime=96
/proc/21938/task/21941/stat : 21941 (ttsth-5-0) R 21936 21938 21708 0 -1 4194368 33490 0 0 0 9577 23 0 0 25 0 3 0 103086539 283553792 63739 1992294400 134512640 135237372 4294956192 18446744073709551615 134562413 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 198.13
Current children cumulated vsize (KiB) 276908

[startup+162.302 s]
/proc/loadavg: 1.94 1.42 1.31 3/67 21941
/proc/meminfo: memFree=1507552/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=348428 CPUtime=317.87
/proc/21938/stat : 21938 (ttsth-5-0) S 21936 21938 21708 0 -1 4194304 81617 0 0 0 31725 62 0 0 25 0 3 0 103085933 356790272 81601 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21938/statm: 87107 81601 101 176 0 86929 0
[pid=21938/tid=21940] ppid=21936 vsize=348428 CPUtime=155.82
/proc/21938/task/21940/stat : 21940 (ttsth-5-0) R 21936 21938 21708 0 -1 4194368 37469 0 0 0 15553 29 0 0 18 0 3 0 103086539 356790272 81601 1992294400 134512640 135237372 4294956192 18446744073709551615 134562300 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21938/tid=21941] ppid=21936 vsize=348428 CPUtime=155.98
/proc/21938/task/21941/stat : 21941 (ttsth-5-0) R 21936 21938 21708 0 -1 4194368 43877 0 0 0 15566 32 0 0 25 0 3 0 103086539 356790272 81601 1992294400 134512640 135237372 4294956192 18446744073709551615 134562399 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 317.87
Current children cumulated vsize (KiB) 348428

[startup+222.302 s]
/proc/loadavg: 1.98 1.52 1.35 3/67 21941
/proc/meminfo: memFree=1379488/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=475628 CPUtime=437.61
/proc/21938/stat : 21938 (ttsth-5-0) S 21936 21938 21708 0 -1 4194304 113448 0 0 0 43680 81 0 0 25 0 3 0 103085933 487043072 113432 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21938/statm: 118907 113432 101 176 0 118729 0
[pid=21938/tid=21940] ppid=21936 vsize=475628 CPUtime=215.57
/proc/21938/task/21940/stat : 21940 (ttsth-5-0) R 21936 21938 21708 0 -1 4194368 52850 0 0 0 21519 38 0 0 25 0 3 0 103086539 487043072 113432 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21938/tid=21941] ppid=21936 vsize=475628 CPUtime=215.97
/proc/21938/task/21941/stat : 21941 (ttsth-5-0) R 21936 21938 21708 0 -1 4194368 60327 0 0 0 21554 43 0 0 25 0 3 0 103086539 487043072 113432 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 437.61
Current children cumulated vsize (KiB) 475628

[startup+282.301 s]
/proc/loadavg: 1.99 1.61 1.38 3/67 21941
/proc/meminfo: memFree=1282144/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=573548 CPUtime=557.36
/proc/21938/stat : 21938 (ttsth-5-0) S 21936 21938 21708 0 -1 4194304 137893 0 0 0 55636 100 0 0 25 0 3 0 103085933 587313152 137877 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21938/statm: 143387 137877 101 176 0 143209 0
[pid=21938/tid=21940] ppid=21936 vsize=573548 CPUtime=275.33
/proc/21938/task/21940/stat : 21940 (ttsth-5-0) R 21936 21938 21708 0 -1 4194368 62714 0 0 0 27487 46 0 0 25 0 3 0 103086539 587313152 137877 1992294400 134512640 135237372 4294956192 18446744073709551615 134562336 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21938/tid=21941] ppid=21936 vsize=573548 CPUtime=275.96
/proc/21938/task/21941/stat : 21941 (ttsth-5-0) R 21936 21938 21708 0 -1 4194368 74908 0 0 0 27543 53 0 0 25 0 3 0 103086539 587313152 137877 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 557.36
Current children cumulated vsize (KiB) 573548

[startup+342.302 s]
/proc/loadavg: 1.99 1.68 1.42 3/67 21947
/proc/meminfo: memFree=1200032/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=654188 CPUtime=677.07
/proc/21938/stat : 21938 (ttsth-5-0) S 21936 21938 21708 0 -1 4194304 158079 0 0 0 67590 117 0 0 25 0 3 0 103085933 669888512 158063 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21938/statm: 163547 158063 101 176 0 163369 0
[pid=21938/tid=21940] ppid=21936 vsize=654188 CPUtime=335.09
/proc/21938/task/21940/stat : 21940 (ttsth-5-0) R 21936 21938 21708 0 -1 4194368 69987 0 0 0 33455 54 0 0 25 0 3 0 103086539 669888512 158063 1992294400 134512640 135237372 4294956192 18446744073709551615 134680474 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21938/tid=21941] ppid=21936 vsize=654188 CPUtime=335.92
/proc/21938/task/21941/stat : 21941 (ttsth-5-0) R 21936 21938 21708 0 -1 4194368 87821 0 0 0 33529 63 0 0 25 0 3 0 103086539 669888512 158063 1992294400 134512640 135237372 4294956192 18446744073709551615 134591217 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 677.07
Current children cumulated vsize (KiB) 654188

[startup+402.301 s]
/proc/loadavg: 1.99 1.73 1.45 3/67 21947
/proc/meminfo: memFree=1129504/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=724908 CPUtime=796.83
/proc/21938/stat : 21938 (ttsth-5-0) S 21936 21938 21708 0 -1 4194304 175742 0 0 0 79551 132 0 0 25 0 3 0 103085933 742305792 175726 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21938/statm: 181227 175726 101 176 0 181049 0
[pid=21938/tid=21940] ppid=21936 vsize=724908 CPUtime=394.86
/proc/21938/task/21940/stat : 21940 (ttsth-5-0) R 21936 21938 21708 0 -1 4194368 81356 0 0 0 39423 63 0 0 25 0 3 0 103086539 742305792 175726 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21938/tid=21941] ppid=21936 vsize=724908 CPUtime=395.9
/proc/21938/task/21941/stat : 21941 (ttsth-5-0) R 21936 21938 21708 0 -1 4194368 94115 0 0 0 39522 68 0 0 25 0 3 0 103086539 742305792 175726 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 796.83
Current children cumulated vsize (KiB) 724908

[startup+462.301 s]
/proc/loadavg: 1.99 1.78 1.48 3/67 21947
/proc/meminfo: memFree=1072352/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=781388 CPUtime=916.58
/proc/21938/stat : 21938 (ttsth-5-0) S 21936 21938 21708 0 -1 4194304 189875 0 0 0 91513 145 0 0 25 0 3 0 103085933 800141312 189859 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21938/statm: 195347 189859 101 176 0 195169 0
[pid=21938/tid=21940] ppid=21936 vsize=781388 CPUtime=454.62
/proc/21938/task/21940/stat : 21940 (ttsth-5-0) R 21936 21938 21708 0 -1 4194368 88785 0 0 0 45393 69 0 0 25 0 3 0 103086539 800141312 189859 1992294400 134512640 135237372 4294956192 18446744073709551615 134634598 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21938/tid=21941] ppid=21936 vsize=781388 CPUtime=455.88
/proc/21938/task/21941/stat : 21941 (ttsth-5-0) R 21936 21938 21708 0 -1 4194368 100819 0 0 0 45513 75 0 0 25 0 3 0 103086539 800141312 189859 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 916.58
Current children cumulated vsize (KiB) 781388

[startup+522.302 s]
/proc/loadavg: 1.99 1.82 1.51 3/67 21947
/proc/meminfo: memFree=999584/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=854336 CPUtime=1036.32
/proc/21938/stat : 21938 (ttsth-5-0) S 21936 21938 21708 0 -1 4194304 208081 0 0 0 103470 162 0 0 25 0 3 0 103085933 874840064 208065 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21938/statm: 213584 208065 101 176 0 213406 0
[pid=21938/tid=21940] ppid=21936 vsize=854336 CPUtime=514.38
/proc/21938/task/21940/stat : 21940 (ttsth-5-0) R 21936 21938 21708 0 -1 4194368 96899 0 0 0 51361 77 0 0 25 0 3 0 103086539 874840064 208065 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21938/tid=21941] ppid=21936 vsize=854336 CPUtime=515.87
/proc/21938/task/21941/stat : 21941 (ttsth-5-0) R 21936 21938 21708 0 -1 4194368 110911 0 0 0 51502 85 0 0 25 0 3 0 103086539 874840064 208065 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1036.32
Current children cumulated vsize (KiB) 854336

[startup+582.301 s]
/proc/loadavg: 1.99 1.85 1.54 3/67 21947
/proc/meminfo: memFree=950048/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=903456 CPUtime=1156.06
/proc/21938/stat : 21938 (ttsth-5-0) S 21936 21938 21708 0 -1 4194304 220358 0 0 0 115433 173 0 0 25 0 3 0 103085933 925138944 220342 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21938/statm: 225864 220342 101 176 0 225686 0
[pid=21938/tid=21940] ppid=21936 vsize=903456 CPUtime=574.3
/proc/21938/task/21940/stat : 21940 (ttsth-5-0) R 21936 21938 21708 0 -1 4194368 103713 0 0 0 57347 83 0 0 25 0 3 0 103086539 925138944 220342 1992294400 134512640 135237372 4294956192 18446744073709551615 134562351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21938/tid=21941] ppid=21936 vsize=903456 CPUtime=575.7
/proc/21938/task/21941/stat : 21941 (ttsth-5-0) R 21936 21938 21708 0 -1 4194368 116374 0 0 0 57480 90 0 0 25 0 3 0 103086539 925138944 220342 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1156.06
Current children cumulated vsize (KiB) 903456

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

[startup+588.702 s]
/proc/loadavg: 1.99 1.85 1.55 3/67 21947
/proc/meminfo: memFree=943328/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=910016 CPUtime=1168.84
/proc/21938/stat : 21938 (ttsth-5-0) S 21936 21938 21708 0 -1 4194304 222031 0 0 0 116709 175 0 0 25 0 3 0 103085933 931856384 222015 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21938/statm: 227504 222015 101 176 0 227326 0
[pid=21938/tid=21940] ppid=21936 vsize=910016 CPUtime=580.69
/proc/21938/task/21940/stat : 21940 (ttsth-5-0) R 21936 21938 21708 0 -1 4194368 104704 0 0 0 57986 83 0 0 25 0 3 0 103086539 931856384 222015 1992294400 134512640 135237372 4294956192 18446744073709551615 134562459 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21938/tid=21941] ppid=21936 vsize=910016 CPUtime=582.08
/proc/21938/task/21941/stat : 21941 (ttsth-5-0) R 21936 21938 21708 0 -1 4194368 117056 0 0 0 58117 91 0 0 25 0 3 0 103086539 931856384 222015 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1168.84
Current children cumulated vsize (KiB) 910016

[startup+595.105 s]
/proc/loadavg: 1.99 1.85 1.55 3/67 21947
/proc/meminfo: memFree=937184/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=916096 CPUtime=1181.62
/proc/21938/stat : 21938 (ttsth-5-0) S 21936 21938 21708 0 -1 4194304 223508 0 0 0 117985 177 0 0 25 0 3 0 103085933 938082304 223492 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21938/statm: 229024 223492 101 176 0 228846 0
[pid=21938/tid=21940] ppid=21936 vsize=916096 CPUtime=587.1
/proc/21938/task/21940/stat : 21940 (ttsth-5-0) R 21936 21938 21708 0 -1 4194368 105644 0 0 0 58625 85 0 0 25 0 3 0 103086539 938082304 223492 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21938/tid=21941] ppid=21936 vsize=916096 CPUtime=588.45
/proc/21938/task/21941/stat : 21941 (ttsth-5-0) R 21936 21938 21708 0 -1 4194368 117593 0 0 0 58754 91 0 0 25 0 3 0 103086539 938082304 223492 1992294400 134512640 135237372 4294956192 18446744073709551615 134562287 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1181.62
Current children cumulated vsize (KiB) 916096

[startup+598.301 s]
/proc/loadavg: 1.99 1.85 1.55 3/67 21947
/proc/meminfo: memFree=935328/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=917856 CPUtime=1188
/proc/21938/stat : 21938 (ttsth-5-0) S 21936 21938 21708 0 -1 4194304 223952 0 0 0 118623 177 0 0 25 0 3 0 103085933 939884544 223936 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21938/statm: 229464 223936 101 176 0 229286 0
[pid=21938/tid=21940] ppid=21936 vsize=917856 CPUtime=590.3
/proc/21938/task/21940/stat : 21940 (ttsth-5-0) R 21936 21938 21708 0 -1 4194368 105809 0 0 0 58945 85 0 0 25 0 3 0 103086539 939884544 223936 1992294400 134512640 135237372 4294956192 18446744073709551615 134634491 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21938/tid=21941] ppid=21936 vsize=917856 CPUtime=591.63
/proc/21938/task/21941/stat : 21941 (ttsth-5-0) R 21936 21938 21708 0 -1 4194368 117872 0 0 0 59072 91 0 0 17 0 3 0 103086539 939884544 223936 1992294400 134512640 135237372 4294956192 18446744073709551615 134749343 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1188
Current children cumulated vsize (KiB) 917856

[startup+601.503 s]
/proc/loadavg: 1.99 1.86 1.55 3/67 21947
/proc/meminfo: memFree=933728/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=920736 CPUtime=1194.38
/proc/21938/stat : 21938 (ttsth-5-0) S 21936 21938 21708 0 -1 4194304 224690 0 0 0 119260 178 0 0 25 0 3 0 103085933 942833664 224674 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21938/statm: 230184 224674 101 176 0 230006 0
[pid=21938/tid=21940] ppid=21936 vsize=920736 CPUtime=593.49
/proc/21938/task/21940/stat : 21940 (ttsth-5-0) R 21936 21938 21708 0 -1 4194368 106021 0 0 0 59264 85 0 0 23 0 3 0 103086539 942833664 224674 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21938/tid=21941] ppid=21936 vsize=920736 CPUtime=594.83
/proc/21938/task/21941/stat : 21941 (ttsth-5-0) R 21936 21938 21708 0 -1 4194368 118398 0 0 0 59390 93 0 0 25 0 3 0 103086539 942833664 224674 1992294400 134512640 135237372 4294956192 18446744073709551615 134562355 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1194.38
Current children cumulated vsize (KiB) 920736

[startup+603.102 s]
/proc/loadavg: 1.99 1.86 1.55 3/67 21947
/proc/meminfo: memFree=931424/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=922176 CPUtime=1197.58
/proc/21938/stat : 21938 (ttsth-5-0) S 21936 21938 21708 0 -1 4194304 225018 0 0 0 119579 179 0 0 25 0 3 0 103085933 944308224 225002 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21938/statm: 230544 225002 101 176 0 230366 0
[pid=21938/tid=21940] ppid=21936 vsize=922176 CPUtime=595.09
/proc/21938/task/21940/stat : 21940 (ttsth-5-0) R 21936 21938 21708 0 -1 4194368 106197 0 0 0 59424 85 0 0 25 0 3 0 103086539 944308224 225002 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21938/tid=21941] ppid=21936 vsize=922176 CPUtime=596.42
/proc/21938/task/21941/stat : 21941 (ttsth-5-0) R 21936 21938 21708 0 -1 4194368 118550 0 0 0 59549 93 0 0 25 0 3 0 103086539 944308224 225002 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1197.58
Current children cumulated vsize (KiB) 922176

[startup+603.906 s]
/proc/loadavg: 1.99 1.86 1.55 3/67 21947
/proc/meminfo: memFree=930400/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=922816 CPUtime=1199.18
/proc/21938/stat : 21938 (ttsth-5-0) S 21936 21938 21708 0 -1 4194304 225195 0 0 0 119739 179 0 0 25 0 3 0 103085933 944963584 225179 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21938/statm: 230704 225179 101 176 0 230526 0
[pid=21938/tid=21940] ppid=21936 vsize=922816 CPUtime=595.9
/proc/21938/task/21940/stat : 21940 (ttsth-5-0) R 21936 21938 21708 0 -1 4194368 106334 0 0 0 59504 86 0 0 25 0 3 0 103086539 944963584 225179 1992294400 134512640 135237372 4294956192 18446744073709551615 134562323 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21938/tid=21941] ppid=21936 vsize=922816 CPUtime=597.22
/proc/21938/task/21941/stat : 21941 (ttsth-5-0) R 21936 21938 21708 0 -1 4194368 118590 0 0 0 59629 93 0 0 25 0 3 0 103086539 944963584 225179 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1199.18
Current children cumulated vsize (KiB) 922816

[startup+604.302 s]
/proc/loadavg: 1.99 1.86 1.55 3/67 21947
/proc/meminfo: memFree=930400/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=0 CPUtime=1199.92
/proc/21938/stat : 21938 (ttsth-5-0) R 21936 21938 21708 0 -1 4195332 225305 0 0 0 119807 185 0 0 17 0 1 0 103085933 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/21938/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.92
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 604.387
CPU time (s): 1200.01
CPU user time (s): 1198.07
CPU system time (s): 1.9377
CPU usage (%): 198.55
Max. virtual memory (cumulated for all children) (KiB): 923136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.07
system time used= 1.93771
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 225305
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= 338
involuntary context switches= 9243

runsolver used 0.6569 second user time and 1.55276 second system time

The end

Launcher Data 

Begin job on node34 at 2009-04-26 14:55:33
IDJOB=1729520
IDBENCH=24704
IDSOLVER=549
FILE ID=node34/1729520-1240750533
PBS_JOBID= 9187054
Free space on /tmp= 66404 MiB

SOLVER NAME= ttsth-5-0 2009-03-19
BENCH NAME= SAT07/crafted/Hard/contest03/looksrandom/hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1729520-1240750533/watcher-1729520-1240750533 -o /tmp/evaluation-result-1729520-1240750533/solver-1729520-1240750533 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/ttsth-5-0 -num-threads 2 HOME/instance-1729520-1240750533.cnf

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

MD5SUM BENCH= 6a0d1029e840b2624bac287c335e4e2c
RANDOM SEED=41218764

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:       1834264 kB
Buffers:         20076 kB
Cached:         116684 kB
SwapCached:        260 kB
Active:          16304 kB
Inactive:       133700 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1834264 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:             824 kB
Writeback:           0 kB
Mapped:          21732 kB
Slab:            57648 kB
Committed_AS:   400036 kB
PageTables:       1380 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= 66400 MiB
End job on node34 at 2009-04-26 15:05:37