Trace number 1724330

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.93 617.596

General information on the benchmark

Namemanol-pipe-g7nidw.cnf
MD5SUMa0303c742e981cc0d4711ad3ac66f146
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark6.89895
Satisfiable
(Un)Satisfiability was proved
Number of variables75496
Number of clauses222379
Sum of the clauses size518883
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2148252
Number of clauses of size 374126
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.39/0.42	c Command: HOME/ttsth-5-0 -num-threads 2 HOME/instance-1724330-1240694487.cnf 
0.39/0.42	c Using SATTIMEOUT of 1200
0.39/0.42	c Using SATRAM of 1800
0.39/0.42	c Size of subset node = 16
0.39/0.42	c Variables = 75496
0.39/0.42	c Clauses = 222379
0.39/0.42	c Literals = 518883
0.39/0.42	c Reduced size:
0.39/0.42	c Variables = 75496
0.39/0.42	c Clauses = 222376
0.39/0.42	c Literals = 518877
0.39/0.42	c a2
0.79/0.82	c a1
30.69/30.74	c Independent sub-problems = 1
30.69/30.74	c Sub-problem with 75495 variables and 222376 clauses
30.69/30.74	c using permutation method 4
30.69/30.74	c count = 1
30.69/30.74	c Ordering finished 30.640 seconds
30.69/30.74	c mapped 30.730 seconds
30.69/30.74	c permuted 30.740 seconds
30.69/30.74	c about to sort
30.79/30.81	c sorted
32.48/32.54	c clauses now 222376
32.48/32.54	c init finished 31.150 seconds
32.48/32.54	c tree built 32.530 seconds
32.48/32.54	c 
32.48/32.54	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
32.48/32.54	c ---------------------------------|----------------------------------|------------------------------------------------------
32.48/32.54	c ................................ | ..........                       |                       32.5           0.0             
32.48/32.54	c ................................ | ..........                     1 |                       32.5           0.0             
32.48/32.54	c ................................ | ..........                     2 |                       32.5           0.1             
32.48/32.54	c ................................ | ..........                     3 |                       32.5           0.1             
32.48/32.54	c ................................ | ..........                     4 |                       32.5           0.1             
32.48/32.54	c ................................ | ..........                     5 |                       32.5           0.2             
32.48/32.54	c ................................ | ..........                  1000 |                       32.5          30.7            5
32.48/32.55	c ................................ | ..........                  2000 |                       32.5          61.4          165
48.01/40.33	c ................................ | ..........                864000 | 15572                 48.1       17966.3       318157
71.95/52.31	c ................................ | ..........               2632000 | 53749                 72.0       36555.6       915889
95.89/64.35	c ................................ | ..........               3862000 | 82518                 96.0       40220.8      2014526
119.84/76.36	c ................................ | *.........               4677000 | 103644               120.0       38975.0      2735438
143.79/88.39	c ................................ | *.........               5983000 | 132925               144.0       41548.6      3282024
167.93/100.42	c ................................ | *.........               6672000 | 149792               168.0       39711.9      3952272
192.08/112.51	c ................................ | *.........               7663000 | 172997               192.2       39880.3      4524794
215.83/124.47	c ................................ | *.........               9364000 | 213471               216.0       43351.9      5150358
239.98/136.50	c ................................ | **........              10844000 | 254524               240.0       45177.7      5633433
263.93/148.51	c ................................ | **........              12367000 | 294417               264.0       46844.7      6032161
287.87/160.59	c ................................ | **........              13937000 | 341665               288.1       48375.6      6531490
311.81/172.57	c ................................ | **........              15223000 | 379849               312.0       48791.7      7133392
336.17/184.72	c ................................ | **........              15849000 | 398382               336.2       47134.6      7771538
359.91/196.65	c ................................ | ***.......              16294000 | 410301               360.1       45253.6      8581106
383.86/208.67	c ................................ | ***.......              16659000 | 421330               384.1       43374.9      9198814
407.80/220.69	c ................................ | ***.......              17069000 | 433860               408.1       41830.7      9740418
431.95/232.71	c ................................ | ***.......              17342000 | 442307               432.1       40138.9     10360293
455.90/244.74	c ................................ | ***.......              17622000 | 450845               456.1       38638.8     11046986
479.85/256.74	c ................................ | ****......              17889000 | 459212               480.0       37268.8     11556040
503.99/268.89	c ................................ | ****......              18124000 | 466356               504.2       35942.5     12187777
527.94/280.81	c ................................ | ****......              19269000 | 498500               528.0       36492.2     12568530
551.88/292.84	c ................................ | ****......              19537000 | 506767               552.1       35389.3     13150030
575.83/304.90	c ................................ | ****......              19807000 | 515145               576.1       34380.0     13792848
599.78/316.88	c ................................ | *****.....              20068000 | 523658               600.0       33445.6     14329839
623.93/328.91	c ................................ | *****.....              20328000 | 531742               624.0       32574.8     14832097
647.88/340.96	c ................................ | *****.....              20644000 | 541285               648.1       31853.1     15278780
671.82/352.96	c ................................ | *****.....              20863000 | 547873               672.0       31044.3     15846851
695.76/364.98	c ................................ | *****.....              21100000 | 555657               696.0       30314.3     16423907
719.92/377.03	c ................................ | ******....              21314000 | 562078               720.1       29599.1     17015030
743.86/389.02	c ................................ | ******....              21663000 | 572879               744.0       29116.5     17550277
768.00/401.16	c ................................ | ******....              21861000 | 578840               768.2       28455.6     17987364
791.75/413.06	c ................................ | ******....              22078000 | 585854               792.0       27876.3     18470581
815.89/425.12	c ................................ | ******....              22273000 | 591718               816.1       27292.7     18924084
839.84/437.12	c ................................ | *******...              22672000 | 605064               840.0       26989.8     19581051
863.99/449.25	c ................................ | *******...              22893000 | 611772               864.2       26489.5     20233561
887.74/461.20	c ................................ | *******...              23118000 | 619168               888.1       26031.4     20916137
911.88/473.23	c ................................ | *******...              23331000 | 625673               912.1       25580.0     21486666
935.83/485.25	c ................................ | *******...              23585000 | 633804               936.1       25195.5     22321782
959.97/497.35	c ................................ | ********..              23791000 | 640072               960.2       24776.4     23243238
983.73/509.28	c ................................ | ********..              24004000 | 646952               984.0       24393.6     24167184
1007.87/521.35	c ................................ | ********..              24206000 | 653122              1008.1       24010.8     25015082
1031.82/533.33	c ................................ | ********..              24531000 | 662893              1032.0       23769.4     25930850
1055.76/545.35	c ................................ | ********..              24743000 | 669345              1056.0       23430.2     27026441
1079.71/557.39	c ................................ | *********.              25042000 | 677855              1080.1       23185.7     27594506
1103.86/569.41	c ................................ | *********.              25292000 | 685718              1104.0       22908.4     28185293
1127.80/581.42	c ................................ | *********.              25497000 | 691886              1128.0       22603.3     28740900
1151.75/593.46	c ................................ | *********.              25716000 | 698777              1152.1       22321.8     29205490
1175.90/605.53	c ................................ | *********.              25916000 | 704912              1176.1       22034.8     29718757
1199.65/617.48	c CPU limit (1200) reached
1199.65/617.48	c Time = 1200.00 seconds
1199.65/617.48	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-1724330-1240694487/watcher-1724330-1240694487 -o /tmp/evaluation-result-1724330-1240694487/solver-1724330-1240694487 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/ttsth-5-0 -num-threads 2 HOME/instance-1724330-1240694487.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.97 1.00 3/65 6472
/proc/meminfo: memFree=1746040/2055920 swapFree=4192952/4192956
[pid=6472] ppid=6470 vsize=1064 CPUtime=0
/proc/6472/stat : 6472 (ttsth-5-0) R 6470 6472 6357 0 -1 4194304 137 0 0 0 0 0 0 0 18 0 1 0 97478081 1089536 121 1992294400 134512640 135237372 4294956192 18446744073709551615 134732535 0 0 4096 0 0 0 0 17 1 0 0
/proc/6472/statm: 266 121 77 176 0 88 0

[startup+0.0752659 s]
/proc/loadavg: 0.99 0.97 1.00 3/65 6472
/proc/meminfo: memFree=1746040/2055920 swapFree=4192952/4192956
[pid=6472] ppid=6470 vsize=3948 CPUtime=0.07
/proc/6472/stat : 6472 (ttsth-5-0) R 6470 6472 6357 0 -1 4194304 860 0 0 0 7 0 0 0 18 0 1 0 97478081 4042752 844 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/6472/statm: 987 844 78 176 0 809 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3948

[startup+0.101269 s]
/proc/loadavg: 0.99 0.97 1.00 3/65 6472
/proc/meminfo: memFree=1746040/2055920 swapFree=4192952/4192956
[pid=6472] ppid=6470 vsize=4992 CPUtime=0.09
/proc/6472/stat : 6472 (ttsth-5-0) R 6470 6472 6357 0 -1 4194304 1119 0 0 0 9 0 0 0 18 0 1 0 97478081 5111808 1103 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/6472/statm: 1248 1103 78 176 0 1070 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4992

[startup+0.301306 s]
/proc/loadavg: 0.99 0.97 1.00 3/65 6472
/proc/meminfo: memFree=1746040/2055920 swapFree=4192952/4192956
[pid=6472] ppid=6470 vsize=12964 CPUtime=0.29
/proc/6472/stat : 6472 (ttsth-5-0) R 6470 6472 6357 0 -1 4194304 3119 0 0 0 28 1 0 0 19 0 1 0 97478081 13275136 3103 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/6472/statm: 3241 3104 78 176 0 3063 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12964

[startup+0.70138 s]
/proc/loadavg: 0.99 0.97 1.00 3/65 6472
/proc/meminfo: memFree=1746040/2055920 swapFree=4192952/4192956
[pid=6472] ppid=6470 vsize=32736 CPUtime=0.69
/proc/6472/stat : 6472 (ttsth-5-0) R 6470 6472 6357 0 -1 4194304 7843 0 0 0 66 3 0 0 23 0 1 0 97478081 33521664 7826 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 17 1 0 0
/proc/6472/statm: 8184 7826 79 176 0 8006 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32736

[startup+1.50254 s]
/proc/loadavg: 0.99 0.97 1.00 2/66 6473
/proc/meminfo: memFree=1714672/2055920 swapFree=4192952/4192956
[pid=6472] ppid=6470 vsize=42020 CPUtime=1.49
/proc/6472/stat : 6472 (ttsth-5-0) R 6470 6472 6357 0 -1 4194304 10999 0 0 0 145 4 0 0 25 0 1 0 97478081 43028480 10176 1992294400 134512640 135237372 4294956192 18446744073709551615 134600972 0 0 4096 0 0 0 0 17 1 0 0
/proc/6472/statm: 10505 10176 80 176 0 10327 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42020

[startup+3.10183 s]
/proc/loadavg: 0.99 0.97 1.00 2/66 6473
/proc/meminfo: memFree=1705328/2055920 swapFree=4192952/4192956
[pid=6472] ppid=6470 vsize=42284 CPUtime=3.09
/proc/6472/stat : 6472 (ttsth-5-0) R 6470 6472 6357 0 -1 4194304 11056 0 0 0 305 4 0 0 25 0 1 0 97478081 43298816 10233 1992294400 134512640 135237372 4294956192 18446744073709551615 134555272 0 0 4096 0 0 0 0 17 1 0 0
/proc/6472/statm: 10571 10233 80 176 0 10393 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42284

[startup+6.30142 s]
/proc/loadavg: 0.99 0.97 1.00 2/66 6473
/proc/meminfo: memFree=1704752/2055920 swapFree=4192952/4192956
[pid=6472] ppid=6470 vsize=42708 CPUtime=6.29
/proc/6472/stat : 6472 (ttsth-5-0) R 6470 6472 6357 0 -1 4194304 11165 0 0 0 625 4 0 0 25 0 1 0 97478081 43732992 10342 1992294400 134512640 135237372 4294956192 18446744073709551615 134555279 0 0 4096 0 0 0 0 17 1 0 0
/proc/6472/statm: 10677 10342 80 176 0 10499 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42708

[startup+12.7016 s]
/proc/loadavg: 0.99 0.97 1.00 2/66 6473
/proc/meminfo: memFree=1703928/2055920 swapFree=4192952/4192956
[pid=6472] ppid=6470 vsize=43428 CPUtime=12.68
/proc/6472/stat : 6472 (ttsth-5-0) R 6470 6472 6357 0 -1 4194304 11336 0 0 0 1264 4 0 0 25 0 1 0 97478081 44470272 10513 1992294400 134512640 135237372 4294956192 18446744073709551615 134555279 0 0 4096 0 0 0 0 17 1 0 0
/proc/6472/statm: 10857 10513 80 176 0 10679 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 43428

[startup+25.502 s]
/proc/loadavg: 0.99 0.97 1.00 2/66 6473
/proc/meminfo: memFree=1702840/2055920 swapFree=4192952/4192956
[pid=6472] ppid=6470 vsize=44672 CPUtime=25.48
/proc/6472/stat : 6472 (ttsth-5-0) R 6470 6472 6357 0 -1 4194304 11600 0 0 0 2544 4 0 0 25 0 1 0 97478081 45744128 10777 1992294400 134512640 135237372 4294956192 18446744073709551615 134600718 0 0 4096 0 0 0 0 17 1 0 0
/proc/6472/statm: 11168 10777 80 176 0 10990 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 44672

[startup+51.1027 s]
/proc/loadavg: 1.28 1.04 1.02 3/68 6475
/proc/meminfo: memFree=1504424/2055920 swapFree=4192952/4192956
[pid=6472] ppid=6470 vsize=258288 CPUtime=69.55
/proc/6472/stat : 6472 (ttsth-5-0) S 6470 6472 6357 0 -1 4194304 62267 0 0 0 6928 27 0 0 25 0 3 0 97478081 264486912 60622 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6472/statm: 64572 60622 98 176 0 64394 0
[pid=6472/tid=6474] ppid=6470 vsize=258288 CPUtime=18.55
/proc/6472/task/6474/stat : 6474 (ttsth-5-0) R 6470 6472 6357 0 -1 4194368 3160 0 0 0 1852 3 0 0 25 0 3 0 97481335 264486912 60622 1992294400 134512640 135237372 4294956192 18446744073709551615 134681641 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6472/tid=6475] ppid=6470 vsize=258288 CPUtime=18.47
/proc/6472/task/6475/stat : 6475 (ttsth-5-0) R 6470 6472 6357 0 -1 4194368 3484 0 0 0 1845 2 0 0 25 0 3 0 97481335 264486912 60622 1992294400 134512640 135237372 4294956192 18446744073709551615 134590245 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 69.55
Current children cumulated vsize (KiB) 258288

[startup+102.306 s]
/proc/loadavg: 1.68 1.18 1.07 3/68 6475
/proc/meminfo: memFree=1438568/2055920 swapFree=4192952/4192956
[pid=6472] ppid=6470 vsize=324632 CPUtime=171.74
/proc/6472/stat : 6472 (ttsth-5-0) S 6470 6472 6357 0 -1 4194304 78405 0 0 0 17133 41 0 0 25 0 3 0 97478081 332423168 76760 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6472/statm: 81158 76760 98 176 0 80980 0
[pid=6472/tid=6474] ppid=6470 vsize=324632 CPUtime=69.74
/proc/6472/task/6474/stat : 6474 (ttsth-5-0) R 6470 6472 6357 0 -1 4194368 8881 0 0 0 6965 9 0 0 25 0 3 0 97481335 332423168 76760 1992294400 134512640 135237372 4294956192 18446744073709551615 134519936 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6472/tid=6475] ppid=6470 vsize=324632 CPUtime=69.47
/proc/6472/task/6475/stat : 6475 (ttsth-5-0) R 6470 6472 6357 0 -1 4194368 13901 0 0 0 6937 10 0 0 25 0 3 0 97481335 332423168 76760 1992294400 134512640 135237372 4294956192 18446744073709551615 134592781 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 171.74
Current children cumulated vsize (KiB) 324632

[startup+162.301 s]
/proc/loadavg: 1.92 1.34 1.13 3/68 6475
/proc/meminfo: memFree=1396648/2055920 swapFree=4192952/4192956
[pid=6472] ppid=6470 vsize=369076 CPUtime=291.46
/proc/6472/stat : 6472 (ttsth-5-0) S 6470 6472 6357 0 -1 4194304 89231 0 0 0 29094 52 0 0 25 0 3 0 97478081 377933824 87586 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6472/statm: 92269 87586 98 176 0 92091 0
[pid=6472/tid=6474] ppid=6470 vsize=369076 CPUtime=129.71
/proc/6472/task/6474/stat : 6474 (ttsth-5-0) R 6470 6472 6357 0 -1 4194368 11410 0 0 0 12957 14 0 0 25 0 3 0 97481335 377933824 87586 1992294400 134512640 135237372 4294956192 18446744073709551615 134562284 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6472/tid=6475] ppid=6470 vsize=369076 CPUtime=129.22
/proc/6472/task/6475/stat : 6475 (ttsth-5-0) R 6470 6472 6357 0 -1 4194368 22198 0 0 0 12906 16 0 0 25 0 3 0 97481335 377933824 87586 1992294400 134512640 135237372 4294956192 18446744073709551615 134749343 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 291.46
Current children cumulated vsize (KiB) 369076

[startup+222.302 s]
/proc/loadavg: 1.97 1.46 1.18 3/68 6475
/proc/meminfo: memFree=1340712/2055920 swapFree=4192952/4192956
[pid=6472] ppid=6470 vsize=424804 CPUtime=411.19
/proc/6472/stat : 6472 (ttsth-5-0) S 6470 6472 6357 0 -1 4194304 102812 0 0 0 41056 63 0 0 25 0 3 0 97478081 434999296 101167 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6472/statm: 106201 101167 98 176 0 106023 0
[pid=6472/tid=6474] ppid=6470 vsize=424804 CPUtime=189.68
/proc/6472/task/6474/stat : 6474 (ttsth-5-0) R 6470 6472 6357 0 -1 4194368 16604 0 0 0 18949 19 0 0 25 0 3 0 97481335 434999296 101167 1992294400 134512640 135237372 4294956192 18446744073709551615 134591177 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6472/tid=6475] ppid=6470 vsize=424804 CPUtime=188.97
/proc/6472/task/6475/stat : 6475 (ttsth-5-0) R 6470 6472 6357 0 -1 4194368 30585 0 0 0 18875 22 0 0 25 0 3 0 97481335 434999296 101167 1992294400 134512640 135237372 4294956192 18446744073709551615 134590267 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 411.19
Current children cumulated vsize (KiB) 424804

[startup+282.302 s]
/proc/loadavg: 1.99 1.56 1.23 3/68 6475
/proc/meminfo: memFree=1292264/2055920 swapFree=4192952/4192956
[pid=6472] ppid=6470 vsize=474192 CPUtime=530.93
/proc/6472/stat : 6472 (ttsth-5-0) S 6470 6472 6357 0 -1 4194304 114991 0 0 0 53020 73 0 0 25 0 3 0 97478081 485572608 113346 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6472/statm: 118548 113346 98 176 0 118370 0
[pid=6472/tid=6474] ppid=6470 vsize=474192 CPUtime=249.66
/proc/6472/task/6474/stat : 6474 (ttsth-5-0) R 6470 6472 6357 0 -1 4194368 20437 0 0 0 24943 23 0 0 25 0 3 0 97481335 485572608 113346 1992294400 134512640 135237372 4294956192 18446744073709551615 134749343 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6472/tid=6475] ppid=6470 vsize=474192 CPUtime=248.73
/proc/6472/task/6475/stat : 6475 (ttsth-5-0) R 6470 6472 6357 0 -1 4194368 38931 0 0 0 24845 28 0 0 25 0 3 0 97481335 485572608 113346 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 530.93
Current children cumulated vsize (KiB) 474192

[startup+342.302 s]
/proc/loadavg: 1.99 1.63 1.28 3/68 6475
/proc/meminfo: memFree=1249192/2055920 swapFree=4192952/4192956
[pid=6472] ppid=6470 vsize=517948 CPUtime=650.66
/proc/6472/stat : 6472 (ttsth-5-0) S 6470 6472 6357 0 -1 4194304 125652 0 0 0 64984 82 0 0 25 0 3 0 97478081 530378752 124007 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6472/statm: 129487 124007 98 176 0 129309 0
[pid=6472/tid=6474] ppid=6470 vsize=517948 CPUtime=309.64
/proc/6472/task/6474/stat : 6474 (ttsth-5-0) R 6470 6472 6357 0 -1 4194368 24256 0 0 0 30938 26 0 0 25 0 3 0 97481335 530378752 124007 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6472/tid=6475] ppid=6470 vsize=517948 CPUtime=308.48
/proc/6472/task/6475/stat : 6475 (ttsth-5-0) R 6470 6472 6357 0 -1 4194368 45773 0 0 0 30815 33 0 0 25 0 3 0 97481335 530378752 124007 1992294400 134512640 135237372 4294956192 18446744073709551615 134591217 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 650.66
Current children cumulated vsize (KiB) 517948

[startup+402.303 s]
/proc/loadavg: 1.99 1.70 1.32 3/68 6475
/proc/meminfo: memFree=1205288/2055920 swapFree=4192952/4192956
[pid=6472] ppid=6470 vsize=563752 CPUtime=770.4
/proc/6472/stat : 6472 (ttsth-5-0) S 6470 6472 6357 0 -1 4194304 136789 0 0 0 76950 90 0 0 25 0 3 0 97478081 577282048 135144 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6472/statm: 140938 135144 98 176 0 140760 0
[pid=6472/tid=6474] ppid=6470 vsize=563752 CPUtime=369.62
/proc/6472/task/6474/stat : 6474 (ttsth-5-0) R 6470 6472 6357 0 -1 4194368 28414 0 0 0 36931 31 0 0 25 0 3 0 97481335 577282048 135144 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6472/tid=6475] ppid=6470 vsize=563752 CPUtime=368.24
/proc/6472/task/6475/stat : 6475 (ttsth-5-0) R 6470 6472 6357 0 -1 4194368 52752 0 0 0 36787 37 0 0 25 0 3 0 97481335 577282048 135144 1992294400 134512640 135237372 4294956192 18446744073709551615 134590497 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 770.4
Current children cumulated vsize (KiB) 563752

[startup+462.301 s]
/proc/loadavg: 1.99 1.75 1.36 3/68 6475
/proc/meminfo: memFree=1158504/2055920 swapFree=4192952/4192956
[pid=6472] ppid=6470 vsize=610892 CPUtime=890.14
/proc/6472/stat : 6472 (ttsth-5-0) S 6470 6472 6357 0 -1 4194304 148245 0 0 0 88913 101 0 0 25 0 3 0 97478081 625553408 146600 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6472/statm: 152723 146600 98 176 0 152545 0
[pid=6472/tid=6474] ppid=6470 vsize=610892 CPUtime=429.6
/proc/6472/task/6474/stat : 6474 (ttsth-5-0) R 6470 6472 6357 0 -1 4194368 32537 0 0 0 42924 36 0 0 25 0 3 0 97481335 625553408 146600 1992294400 134512640 135237372 4294956192 18446744073709551615 134680504 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6472/tid=6475] ppid=6470 vsize=610892 CPUtime=427.99
/proc/6472/task/6475/stat : 6475 (ttsth-5-0) R 6470 6472 6357 0 -1 4194368 60085 0 0 0 42757 42 0 0 25 0 3 0 97481335 625553408 146600 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 890.14
Current children cumulated vsize (KiB) 610892

[startup+522.301 s]
/proc/loadavg: 1.99 1.79 1.39 3/68 6475
/proc/meminfo: memFree=1094760/2055920 swapFree=4192952/4192956
[pid=6472] ppid=6470 vsize=677772 CPUtime=1009.87
/proc/6472/stat : 6472 (ttsth-5-0) S 6470 6472 6357 0 -1 4194304 164701 0 0 0 100874 113 0 0 25 0 3 0 97478081 694038528 163056 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6472/statm: 169443 163056 98 176 0 169265 0
[pid=6472/tid=6474] ppid=6470 vsize=677772 CPUtime=489.58
/proc/6472/task/6474/stat : 6474 (ttsth-5-0) R 6470 6472 6357 0 -1 4194368 36627 0 0 0 48917 41 0 0 25 0 3 0 97481335 694038528 163056 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6472/tid=6475] ppid=6470 vsize=677772 CPUtime=487.75
/proc/6472/task/6475/stat : 6475 (ttsth-5-0) R 6470 6472 6357 0 -1 4194368 72451 0 0 0 48726 49 0 0 25 0 3 0 97481335 694038528 163056 1992294400 134512640 135237372 4294956192 18446744073709551615 134549879 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1009.87
Current children cumulated vsize (KiB) 677772

[startup+582.301 s]
/proc/loadavg: 1.99 1.83 1.43 3/68 6475
/proc/meminfo: memFree=1035560/2055920 swapFree=4192952/4192956
[pid=6472] ppid=6470 vsize=736920 CPUtime=1129.6
/proc/6472/stat : 6472 (ttsth-5-0) S 6470 6472 6357 0 -1 4194304 178960 0 0 0 112837 123 0 0 25 0 3 0 97478081 754606080 177315 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6472/statm: 184230 177315 98 176 0 184052 0
[pid=6472/tid=6474] ppid=6470 vsize=736920 CPUtime=549.55
/proc/6472/task/6474/stat : 6474 (ttsth-5-0) R 6470 6472 6357 0 -1 4194368 40769 0 0 0 54910 45 0 0 25 0 3 0 97481335 754606080 177315 1992294400 134512640 135237372 4294956192 18446744073709551615 134549942 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6472/tid=6475] ppid=6470 vsize=736920 CPUtime=547.5
/proc/6472/task/6475/stat : 6475 (ttsth-5-0) R 6470 6472 6357 0 -1 4194368 82568 0 0 0 54695 55 0 0 25 0 3 0 97481335 754606080 177315 1992294400 134512640 135237372 4294956192 18446744073709551615 134519936 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1129.6
Current children cumulated vsize (KiB) 736920

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

[startup+588.702 s]
/proc/loadavg: 1.99 1.83 1.43 3/68 6475
/proc/meminfo: memFree=1031976/2055920 swapFree=4192952/4192956
[pid=6472] ppid=6470 vsize=739664 CPUtime=1142.36
/proc/6472/stat : 6472 (ttsth-5-0) S 6470 6472 6357 0 -1 4194304 179769 0 0 0 114113 123 0 0 25 0 3 0 97478081 757415936 178124 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6472/statm: 184916 178124 98 176 0 184738 0
[pid=6472/tid=6474] ppid=6470 vsize=739664 CPUtime=555.95
/proc/6472/task/6474/stat : 6474 (ttsth-5-0) R 6470 6472 6357 0 -1 4194368 41116 0 0 0 55550 45 0 0 25 0 3 0 97481335 757415936 178124 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6472/tid=6475] ppid=6470 vsize=739664 CPUtime=553.88
/proc/6472/task/6475/stat : 6475 (ttsth-5-0) R 6470 6472 6357 0 -1 4194368 83030 0 0 0 55332 56 0 0 25 0 3 0 97481335 757415936 178124 1992294400 134512640 135237372 4294956192 18446744073709551615 134680491 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1142.36
Current children cumulated vsize (KiB) 739664

[startup+601.502 s]
/proc/loadavg: 1.99 1.84 1.44 3/68 6475
/proc/meminfo: memFree=1025320/2055920 swapFree=4192952/4192956
[pid=6472] ppid=6470 vsize=747264 CPUtime=1167.91
/proc/6472/stat : 6472 (ttsth-5-0) S 6470 6472 6357 0 -1 4194304 181605 0 0 0 116666 125 0 0 25 0 3 0 97478081 765198336 179960 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6472/statm: 186816 179960 98 176 0 186638 0
[pid=6472/tid=6474] ppid=6470 vsize=747264 CPUtime=568.75
/proc/6472/task/6474/stat : 6474 (ttsth-5-0) R 6470 6472 6357 0 -1 4194368 41853 0 0 0 56829 46 0 0 25 0 3 0 97481335 765198336 179960 1992294400 134512640 135237372 4294956192 18446744073709551615 134562351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6472/tid=6475] ppid=6470 vsize=747264 CPUtime=566.63
/proc/6472/task/6475/stat : 6475 (ttsth-5-0) R 6470 6472 6357 0 -1 4194368 84129 0 0 0 56606 57 0 0 25 0 3 0 97481335 765198336 179960 1992294400 134512640 135237372 4294956192 18446744073709551615 134749365 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1167.91
Current children cumulated vsize (KiB) 747264

[startup+607.901 s]
/proc/loadavg: 1.99 1.84 1.44 3/68 6475
/proc/meminfo: memFree=1019432/2055920 swapFree=4192952/4192956
[pid=6472] ppid=6470 vsize=753220 CPUtime=1180.69
/proc/6472/stat : 6472 (ttsth-5-0) S 6470 6472 6357 0 -1 4194304 182948 0 0 0 117943 126 0 0 25 0 3 0 97478081 771297280 181303 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6472/statm: 188305 181303 98 176 0 188127 0
[pid=6472/tid=6474] ppid=6470 vsize=753220 CPUtime=575.15
/proc/6472/task/6474/stat : 6474 (ttsth-5-0) R 6470 6472 6357 0 -1 4194368 42190 0 0 0 57469 46 0 0 25 0 3 0 97481335 771297280 181303 1992294400 134512640 135237372 4294956192 18446744073709551615 134593120 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6472/tid=6475] ppid=6470 vsize=753220 CPUtime=573
/proc/6472/task/6475/stat : 6475 (ttsth-5-0) R 6470 6472 6357 0 -1 4194368 85135 0 0 0 57243 57 0 0 25 0 3 0 97481335 771297280 181303 1992294400 134512640 135237372 4294956192 18446744073709551615 134549969 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1180.69
Current children cumulated vsize (KiB) 753220

[startup+614.301 s]
/proc/loadavg: 1.99 1.84 1.45 3/68 6475
/proc/meminfo: memFree=1014760/2055920 swapFree=4192952/4192956
[pid=6472] ppid=6470 vsize=757448 CPUtime=1193.46
/proc/6472/stat : 6472 (ttsth-5-0) S 6470 6472 6357 0 -1 4194304 184123 0 0 0 119219 127 0 0 25 0 3 0 97478081 775626752 182478 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6472/statm: 189362 182478 98 176 0 189184 0
[pid=6472/tid=6474] ppid=6470 vsize=757448 CPUtime=581.54
/proc/6472/task/6474/stat : 6474 (ttsth-5-0) R 6470 6472 6357 0 -1 4194368 42610 0 0 0 58108 46 0 0 25 0 3 0 97481335 775626752 182478 1992294400 134512640 135237372 4294956192 18446744073709551615 134549950 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6472/tid=6475] ppid=6470 vsize=757448 CPUtime=579.38
/proc/6472/task/6475/stat : 6475 (ttsth-5-0) R 6470 6472 6357 0 -1 4194368 85890 0 0 0 57880 58 0 0 25 0 3 0 97481335 775626752 182478 1992294400 134512640 135237372 4294956192 18446744073709551615 134591106 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1193.46
Current children cumulated vsize (KiB) 757448

[startup+615.903 s]
/proc/loadavg: 1.99 1.84 1.45 3/68 6475
/proc/meminfo: memFree=1013224/2055920 swapFree=4192952/4192956
[pid=6472] ppid=6470 vsize=758784 CPUtime=1196.66
/proc/6472/stat : 6472 (ttsth-5-0) S 6470 6472 6357 0 -1 4194304 184400 0 0 0 119539 127 0 0 25 0 3 0 97478081 776994816 182755 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6472/statm: 189696 182755 98 176 0 189518 0
[pid=6472/tid=6474] ppid=6470 vsize=758784 CPUtime=583.16
/proc/6472/task/6474/stat : 6474 (ttsth-5-0) R 6470 6472 6357 0 -1 4194368 42712 0 0 0 58269 47 0 0 25 0 3 0 97481335 776994816 182755 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6472/tid=6475] ppid=6470 vsize=758784 CPUtime=580.97
/proc/6472/task/6475/stat : 6475 (ttsth-5-0) R 6470 6472 6357 0 -1 4194368 86065 0 0 0 58039 58 0 0 25 0 3 0 97481335 776994816 182755 1992294400 134512640 135237372 4294956192 18446744073709551615 134549901 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1196.66
Current children cumulated vsize (KiB) 758784

[startup+616.702 s]
/proc/loadavg: 1.99 1.84 1.45 3/68 6475
/proc/meminfo: memFree=1013224/2055920 swapFree=4192952/4192956
[pid=6472] ppid=6470 vsize=759096 CPUtime=1198.25
/proc/6472/stat : 6472 (ttsth-5-0) S 6470 6472 6357 0 -1 4194304 184563 0 0 0 119698 127 0 0 25 0 3 0 97478081 777314304 182918 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6472/statm: 189774 182918 98 176 0 189596 0
[pid=6472/tid=6474] ppid=6470 vsize=759096 CPUtime=583.95
/proc/6472/task/6474/stat : 6474 (ttsth-5-0) R 6470 6472 6357 0 -1 4194368 42782 0 0 0 58348 47 0 0 25 0 3 0 97481335 777314304 182918 1992294400 134512640 135237372 4294956192 18446744073709551615 134590180 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6472/tid=6475] ppid=6470 vsize=759096 CPUtime=581.76
/proc/6472/task/6475/stat : 6475 (ttsth-5-0) R 6470 6472 6357 0 -1 4194368 86158 0 0 0 58118 58 0 0 25 0 3 0 97481335 777314304 182918 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1198.25
Current children cumulated vsize (KiB) 759096

[startup+617.106 s]
/proc/loadavg: 1.99 1.84 1.45 3/68 6475
/proc/meminfo: memFree=1012264/2055920 swapFree=4192952/4192956
[pid=6472] ppid=6470 vsize=760280 CPUtime=1199.05
/proc/6472/stat : 6472 (ttsth-5-0) S 6470 6472 6357 0 -1 4194304 184660 0 0 0 119778 127 0 0 25 0 3 0 97478081 778526720 183015 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6472/statm: 190070 183015 98 176 0 189892 0
[pid=6472/tid=6474] ppid=6470 vsize=760280 CPUtime=584.35
/proc/6472/task/6474/stat : 6474 (ttsth-5-0) R 6470 6472 6357 0 -1 4194368 42802 0 0 0 58388 47 0 0 25 0 3 0 97481335 778526720 183015 1992294400 134512640 135237372 4294956192 18446744073709551615 134590101 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6472/tid=6475] ppid=6470 vsize=760280 CPUtime=582.16
/proc/6472/task/6475/stat : 6475 (ttsth-5-0) R 6470 6472 6357 0 -1 4194368 86235 0 0 0 58158 58 0 0 25 0 3 0 97481335 778526720 183015 1992294400 134512640 135237372 4294956192 18446744073709551615 134519937 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1199.05
Current children cumulated vsize (KiB) 760280

[startup+617.502 s]
/proc/loadavg: 1.99 1.84 1.45 3/68 6475
/proc/meminfo: memFree=1012264/2055920 swapFree=4192952/4192956
[pid=6472] ppid=6470 vsize=0 CPUtime=1199.82
/proc/6472/stat : 6472 (ttsth-5-0) R 6470 6472 6357 0 -1 4195332 184854 0 0 0 119853 129 0 0 16 0 1 0 97478081 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/6472/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.82
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 617.596
CPU time (s): 1199.93
CPU user time (s): 1198.54
CPU system time (s): 1.39279
CPU usage (%): 194.291
Max. virtual memory (cumulated for all children) (KiB): 760280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.54
system time used= 1.39279
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184854
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= 88
involuntary context switches= 9041

runsolver used 0.613906 second user time and 1.64275 second system time

The end

Launcher Data 

Begin job on node82 at 2009-04-25 23:21:28
IDJOB=1724330
IDBENCH=71767
IDSOLVER=549
FILE ID=node82/1724330-1240694487
PBS_JOBID= 9186767
Free space on /tmp= 66276 MiB

SOLVER NAME= ttsth-5-0 2009-03-19
BENCH NAME= SAT_RACE06/manol-pipe-g7nidw.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1724330-1240694487/watcher-1724330-1240694487 -o /tmp/evaluation-result-1724330-1240694487/solver-1724330-1240694487 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/ttsth-5-0 -num-threads 2 HOME/instance-1724330-1240694487.cnf

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

MD5SUM BENCH= a0303c742e981cc0d4711ad3ac66f146
RANDOM SEED=1702989552

node82.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.259
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.259
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1746520 kB
Buffers:         34116 kB
Cached:         202792 kB
SwapCached:          4 kB
Active:          90060 kB
Inactive:       161384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1746520 kB
SwapTotal:     4192956 kB
SwapFree:      4192952 kB
Dirty:            4444 kB
Writeback:           0 kB
Mapped:          24324 kB
Slab:            43908 kB
Committed_AS:   251756 kB
PageTables:       1384 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66272 MiB
End job on node82 at 2009-04-25 23:31:45