Trace number 1721134

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.02 635.684

General information on the benchmark

Namemizh-md5-48-5.cnf
MD5SUM8ab50418497c0326ed1ff5d73a4e24a3
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark155.035
Satisfiable
(Un)Satisfiability was proved
Number of variables66892
Number of clauses279256
Sum of the clauses size832648
Maximum clause length4
Minimum clause length1
Number of clauses of size 1201
Number of clauses of size 2120496
Number of clauses of size 342781
Number of clauses of size 4115778
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

2.19/2.21	c Command: HOME/ttsth-5-0 -num-threads 2 HOME/instance-1721134-1240663227.cnf 
2.19/2.21	c Using SATTIMEOUT of 1200
2.19/2.21	c Using SATRAM of 1800
2.19/2.21	c Size of subset node = 16
2.19/2.21	c Variables = 66892
2.19/2.21	c Clauses = 279256
2.19/2.21	c Literals = 832648
2.19/2.21	c Reduced size:
2.19/2.21	c Variables = 66892
2.19/2.21	c Clauses = 238959
2.19/2.21	c Literals = 689357
2.19/2.21	c a2
2.89/2.96	c a1
66.98/67.07	c Independent sub-problems = 1
66.98/67.07	c Sub-problem with 61584 variables and 238959 clauses
66.98/67.07	c using permutation method 4
66.98/67.07	c count = 1
66.98/67.07	c Ordering finished 66.920 seconds
66.98/67.07	c mapped 67.060 seconds
66.98/67.07	c permuted 67.060 seconds
66.98/67.07	c about to sort
67.08/67.16	c sorted
68.77/68.84	c clauses now 238959
68.77/68.84	c init finished 67.460 seconds
68.77/68.84	c tree built 68.830 seconds
68.77/68.84	c 
68.77/68.84	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
68.77/68.84	c ---------------------------------|----------------------------------|------------------------------------------------------
68.77/68.84	c ................................ | ..........                       |                       68.8           0.0             
68.77/68.84	c ................................ | ..........                     1 |                       68.8           0.0             
68.77/68.84	c ................................ | ..........                     2 |                       68.8           0.0             
68.77/68.84	c ................................ | ..........                     3 |                       68.8           0.0             
68.77/68.84	c ................................ | ..........                     4 |                       68.8           0.1             
68.77/68.84	c ................................ | ..........                     5 |                       68.8           0.1             
68.77/68.84	c ................................ | ..........                  1000 |                       68.8          14.5           27
68.77/68.85	c ................................ | ..........                  2000 |                       68.8          29.1          205
68.77/68.85	c ................................ | ..........                  3000 |                       68.8          43.6          307
71.94/70.46	c ................................ | ..........                164000 | 2050                  72.1        2275.9        92456
95.87/82.47	c ................................ | ..........               1087000 | 16035                 96.0       11318.2       816799
119.83/94.48	c ................................ | *.........               1972000 | 31440                120.0       16430.6      1569904
143.98/106.59	c ................................ | *.........               3129000 | 42334                144.2       21702.0      2183077
167.92/118.54	c ................................ | *.........               4423000 | 49474                168.0       26321.1      2608260
192.07/130.60	c ................................ | *.........               5541000 | 55880                192.1       28842.9      2883195
215.82/142.57	c ................................ | *.........               6651000 | 62457                216.0       30791.7      3152840
239.77/154.59	c ................................ | **........               7685000 | 68431                240.0       32020.8      3835199
263.92/166.66	c ................................ | **........               8721000 | 74400                264.1       33022.8      4262438
288.06/178.75	c ................................ | **........               9679000 | 79827                288.2       33582.0      4582544
311.82/190.66	c ................................ | **........              10638000 | 85358                312.0       34096.2      4914811
335.77/202.69	c ................................ | **........              11628000 | 90981                336.0       34607.1      5251764
359.91/214.72	c ................................ | ***.......              12536000 | 96064                360.0       34822.2      5467527
383.87/226.74	c ................................ | ***.......              13513000 | 101953               384.0       35190.1      5724047
407.82/238.76	c ................................ | ***.......              14773000 | 109652               408.0       36208.3      6000638
431.76/250.78	c ................................ | ***.......              15958000 | 116593               432.0       36939.8      6410005
456.11/262.91	c ................................ | ***.......              17092000 | 124285               456.2       37466.0      6763827
479.86/274.87	c ................................ | ****......              18132000 | 130835               480.1       37768.7      6988019
504.00/286.97	c ................................ | ****......              19223000 | 138035               504.2       38124.2      7290409
527.95/298.99	c ................................ | ****......              20145000 | 144216               528.2       38137.5      7619914
551.90/310.95	c ................................ | ****......              21130000 | 150622               552.1       38272.7      7861813
575.85/322.93	c ................................ | ****......              22093000 | 156468               576.0       38355.9      8082245
600.00/335.02	c ................................ | *****.....              23010000 | 162025               600.1       38341.7      8295209
623.75/346.98	c ................................ | *****.....              23857000 | 166946               624.0       38231.8      8631473
647.89/359.05	c ................................ | *****.....              24735000 | 171970               648.1       38165.4      8925597
671.84/371.02	c ................................ | *****.....              25647000 | 177536               672.0       38165.2      9306974
695.79/383.05	c ................................ | *****.....              26499000 | 182875               696.0       38073.3      9474227
719.95/395.11	c ................................ | ******....              27399000 | 188566               720.1       38049.9      9690165
743.90/407.11	c ................................ | ******....              28317000 | 194460               744.0       38058.4      9924233
767.85/419.12	c ................................ | ******....              29256000 | 200267               768.0       38093.3     10132048
792.00/431.30	c ................................ | ******....              30176000 | 206364               792.3       38086.1     10410261
815.74/443.16	c ................................ | ******....              31037000 | 211867               816.0       38035.5     10572343
839.89/455.29	c ................................ | *******...              31909000 | 217535               840.2       37978.3     10740317
863.83/467.24	c ................................ | *******...              33054000 | 225494               864.0       38254.7     11059573
887.78/479.28	c ................................ | *******...              33457000 | 233638               888.1       37673.0     11427732
911.93/491.32	c ................................ | *******...              33796000 | 240797               912.1       37052.5     11768731
935.88/503.33	c ................................ | *******...              34495000 | 257518               936.1       36850.1     12033674
960.03/515.43	c ................................ | ********..              35021000 | 271591               960.2       36471.5     12330450
983.78/527.34	c ................................ | ********..              35512000 | 283047               984.0       36089.1     12901912
1007.72/539.37	c ................................ | ********..              35988000 | 294227              1008.0       35701.3     13355360
1031.67/551.39	c ................................ | ********..              36513000 | 305613              1032.0       35380.1     13748722
1055.82/563.48	c ................................ | ********..              37016000 | 316757              1056.2       35048.1     14091243
1079.97/575.51	c ................................ | *********.              37548000 | 328455              1080.2       34761.5     14305634
1103.72/587.50	c ................................ | *********.              38069000 | 340360              1104.1       34480.0     14776141
1127.88/599.58	c ................................ | *********.              38618000 | 352451              1128.2       34229.1     15144739
1151.82/611.54	c ................................ | *********.              39135000 | 364128              1152.1       33968.7     15544649
1175.77/623.59	c ................................ | *********.              39608000 | 375274              1176.1       33676.5     15930292
1199.92/635.61	c CPU limit (1200) reached
1199.92/635.61	c Time = 1200.12 seconds
1199.92/635.61	s UNKNOWN

Verifier Data 

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

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1721134-1240663227/watcher-1721134-1240663227 -o /tmp/evaluation-result-1721134-1240663227/solver-1721134-1240663227 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/ttsth-5-0 -num-threads 2 HOME/instance-1721134-1240663227.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.05 3/64 24485
/proc/meminfo: memFree=1262832/2055920 swapFree=4192956/4192956
[pid=24485] ppid=24483 vsize=1064 CPUtime=0
/proc/24485/stat : 24485 (ttsth-5-0) R 24483 24485 24392 0 -1 4194304 141 0 0 0 0 0 0 0 18 0 1 0 94351282 1089536 125 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/24485/statm: 266 125 78 176 0 88 0

[startup+0.106587 s]
/proc/loadavg: 1.00 1.00 1.05 3/64 24485
/proc/meminfo: memFree=1262832/2055920 swapFree=4192956/4192956
[pid=24485] ppid=24483 vsize=4572 CPUtime=0.1
/proc/24485/stat : 24485 (ttsth-5-0) R 24483 24485 24392 0 -1 4194304 1033 0 0 0 10 0 0 0 18 0 1 0 94351282 4681728 1017 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/24485/statm: 1143 1018 78 176 0 965 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 4572

[startup+0.201595 s]
/proc/loadavg: 1.00 1.00 1.05 3/64 24485
/proc/meminfo: memFree=1262832/2055920 swapFree=4192956/4192956
[pid=24485] ppid=24483 vsize=7908 CPUtime=0.19
/proc/24485/stat : 24485 (ttsth-5-0) R 24483 24485 24392 0 -1 4194304 1839 0 0 0 19 0 0 0 18 0 1 0 94351282 8097792 1823 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/24485/statm: 1977 1823 78 176 0 1799 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 7908

[startup+0.301606 s]
/proc/loadavg: 1.00 1.00 1.05 3/64 24485
/proc/meminfo: memFree=1262832/2055920 swapFree=4192956/4192956
[pid=24485] ppid=24483 vsize=11344 CPUtime=0.29
/proc/24485/stat : 24485 (ttsth-5-0) R 24483 24485 24392 0 -1 4194304 2690 0 0 0 28 1 0 0 19 0 1 0 94351282 11616256 2674 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/24485/statm: 2836 2674 78 176 0 2658 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11344

[startup+0.701645 s]
/proc/loadavg: 1.00 1.00 1.05 3/64 24485
/proc/meminfo: memFree=1262832/2055920 swapFree=4192956/4192956
[pid=24485] ppid=24483 vsize=21780 CPUtime=0.69
/proc/24485/stat : 24485 (ttsth-5-0) R 24483 24485 24392 0 -1 4194304 5179 0 0 0 67 2 0 0 22 0 1 0 94351282 22302720 5163 1992294400 134512640 135237372 4294956192 18446744073709551615 134534276 0 0 4096 0 0 0 0 17 1 0 0
/proc/24485/statm: 5445 5163 78 176 0 5267 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21780

[startup+1.50172 s]
/proc/loadavg: 1.08 1.02 1.05 2/65 24486
/proc/meminfo: memFree=1242216/2055920 swapFree=4192956/4192956
[pid=24485] ppid=24483 vsize=21780 CPUtime=1.49
/proc/24485/stat : 24485 (ttsth-5-0) R 24483 24485 24392 0 -1 4194304 5179 0 0 0 147 2 0 0 25 0 1 0 94351282 22302720 5163 1992294400 134512640 135237372 4294956192 18446744073709551615 134534125 0 0 4096 0 0 0 0 17 1 0 0
/proc/24485/statm: 5445 5163 78 176 0 5267 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21780

[startup+3.10189 s]
/proc/loadavg: 1.08 1.02 1.05 2/65 24486
/proc/meminfo: memFree=1242152/2055920 swapFree=4192956/4192956
[pid=24485] ppid=24483 vsize=45124 CPUtime=3.09
/proc/24485/stat : 24485 (ttsth-5-0) R 24483 24485 24392 0 -1 4194304 10996 0 0 0 305 4 0 0 25 0 1 0 94351282 46206976 10979 1992294400 134512640 135237372 4294956192 18446744073709551615 134540092 0 0 4096 0 0 0 0 17 1 0 0
/proc/24485/statm: 11281 10979 79 176 0 11103 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45124

[startup+6.3012 s]
/proc/loadavg: 1.07 1.02 1.05 2/65 24486
/proc/meminfo: memFree=1216616/2055920 swapFree=4192956/4192956
[pid=24485] ppid=24483 vsize=47704 CPUtime=6.29
/proc/24485/stat : 24485 (ttsth-5-0) R 24483 24485 24392 0 -1 4194304 12426 0 0 0 624 5 0 0 25 0 1 0 94351282 48848896 11582 1992294400 134512640 135237372 4294956192 18446744073709551615 134600972 0 0 4096 0 0 0 0 17 1 0 0
/proc/24485/statm: 11926 11582 80 176 0 11748 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47704

[startup+12.7018 s]
/proc/loadavg: 1.07 1.02 1.05 2/65 24486
/proc/meminfo: memFree=1215408/2055920 swapFree=4192956/4192956
[pid=24485] ppid=24483 vsize=49008 CPUtime=12.69
/proc/24485/stat : 24485 (ttsth-5-0) R 24483 24485 24392 0 -1 4194304 12715 0 0 0 1264 5 0 0 25 0 1 0 94351282 50184192 11871 1992294400 134512640 135237372 4294956192 18446744073709551615 134600978 0 0 4096 0 0 0 0 17 1 0 0
/proc/24485/statm: 12252 11871 80 176 0 12074 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49008

[startup+25.5011 s]
/proc/loadavg: 1.06 1.01 1.05 2/65 24486
/proc/meminfo: memFree=1214768/2055920 swapFree=4192956/4192956
[pid=24485] ppid=24483 vsize=49536 CPUtime=25.48
/proc/24485/stat : 24485 (ttsth-5-0) R 24483 24485 24392 0 -1 4194304 12848 0 0 0 2543 5 0 0 25 0 1 0 94351282 50724864 12004 1992294400 134512640 135237372 4294956192 18446744073709551615 134600718 0 0 4096 0 0 0 0 17 1 0 0
/proc/24485/statm: 12384 12004 80 176 0 12206 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49536

[startup+51.1017 s]
/proc/loadavg: 1.03 1.01 1.05 2/65 24486
/proc/meminfo: memFree=1214896/2055920 swapFree=4192956/4192956
[pid=24485] ppid=24483 vsize=49536 CPUtime=51.07
/proc/24485/stat : 24485 (ttsth-5-0) R 24483 24485 24392 0 -1 4194304 12853 0 0 0 5102 5 0 0 25 0 1 0 94351282 50724864 12009 1992294400 134512640 135237372 4294956192 18446744073709551615 134600707 0 0 4096 0 0 0 0 17 1 0 0
/proc/24485/statm: 12384 12009 80 176 0 12206 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49536

[startup+102.302 s]
/proc/loadavg: 1.45 1.12 1.08 3/67 24488
/proc/meminfo: memFree=1039776/2055920 swapFree=4192956/4192956
[pid=24485] ppid=24483 vsize=240928 CPUtime=135.59
/proc/24485/stat : 24485 (ttsth-5-0) S 24483 24485 24392 0 -1 4194304 57406 0 0 0 13532 27 0 0 25 0 3 0 94351282 246710272 55731 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24485/statm: 60232 55731 98 176 0 60054 0
[pid=24485/tid=24487] ppid=24483 vsize=240928 CPUtime=33.45
/proc/24485/task/24487/stat : 24487 (ttsth-5-0) R 24483 24485 24392 0 -1 4194368 2314 0 0 0 3343 2 0 0 25 0 3 0 94358167 246710272 55731 1992294400 134512640 135237372 4294956192 18446744073709551615 134549885 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24485/tid=24488] ppid=24483 vsize=240928 CPUtime=33.32
/proc/24485/task/24488/stat : 24488 (ttsth-5-0) R 24483 24485 24392 0 -1 4194368 7374 0 0 0 3327 5 0 0 25 0 3 0 94358167 246710272 55731 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 135.59
Current children cumulated vsize (KiB) 240928

[startup+162.302 s]
/proc/loadavg: 1.80 1.28 1.13 3/67 24488
/proc/meminfo: memFree=1004896/2055920 swapFree=4192956/4192956
[pid=24485] ppid=24483 vsize=277384 CPUtime=255.34
/proc/24485/stat : 24485 (ttsth-5-0) S 24483 24485 24392 0 -1 4194304 66094 0 0 0 25496 38 0 0 25 0 3 0 94351282 284041216 64419 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24485/statm: 69346 64419 98 176 0 69168 0
[pid=24485/tid=24487] ppid=24483 vsize=277384 CPUtime=93.42
/proc/24485/task/24487/stat : 24487 (ttsth-5-0) R 24483 24485 24392 0 -1 4194368 2811 0 0 0 9338 4 0 0 25 0 3 0 94358167 284041216 64419 1992294400 134512640 135237372 4294956192 18446744073709551615 134550989 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24485/tid=24488] ppid=24483 vsize=277384 CPUtime=93.07
/proc/24485/task/24488/stat : 24488 (ttsth-5-0) R 24483 24485 24392 0 -1 4194368 15565 0 0 0 9295 12 0 0 25 0 3 0 94358167 284041216 64419 1992294400 134512640 135237372 4294956192 18446744073709551615 134590368 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 255.34
Current children cumulated vsize (KiB) 277384

[startup+222.307 s]
/proc/loadavg: 1.92 1.41 1.19 3/67 24488
/proc/meminfo: memFree=980192/2055920 swapFree=4192956/4192956
[pid=24485] ppid=24483 vsize=301676 CPUtime=375.08
/proc/24485/stat : 24485 (ttsth-5-0) S 24483 24485 24392 0 -1 4194304 72217 0 0 0 37462 46 0 0 25 0 3 0 94351282 308916224 70542 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24485/statm: 75419 70542 98 176 0 75241 0
[pid=24485/tid=24487] ppid=24483 vsize=301676 CPUtime=153.42
/proc/24485/task/24487/stat : 24487 (ttsth-5-0) R 24483 24485 24392 0 -1 4194368 2848 0 0 0 15335 7 0 0 25 0 3 0 94358167 308916224 70542 1992294400 134512640 135237372 4294956192 18446744073709551615 134519949 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24485/tid=24488] ppid=24483 vsize=301676 CPUtime=152.84
/proc/24485/task/24488/stat : 24488 (ttsth-5-0) R 24483 24485 24392 0 -1 4194368 21651 0 0 0 15265 19 0 0 25 0 3 0 94358167 308916224 70542 1992294400 134512640 135237372 4294956192 18446744073709551615 134591177 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 375.08
Current children cumulated vsize (KiB) 301676

[startup+282.302 s]
/proc/loadavg: 1.97 1.51 1.23 3/67 24488
/proc/meminfo: memFree=956384/2055920 swapFree=4192956/4192956
[pid=24485] ppid=24483 vsize=327256 CPUtime=494.82
/proc/24485/stat : 24485 (ttsth-5-0) S 24483 24485 24392 0 -1 4194304 78254 0 0 0 49428 54 0 0 25 0 3 0 94351282 335110144 76579 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24485/statm: 81814 76579 98 176 0 81636 0
[pid=24485/tid=24487] ppid=24483 vsize=327256 CPUtime=213.39
/proc/24485/task/24487/stat : 24487 (ttsth-5-0) R 24483 24485 24392 0 -1 4194368 2998 0 0 0 21330 9 0 0 25 0 3 0 94358167 335110144 76579 1992294400 134512640 135237372 4294956192 18446744073709551615 134549888 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24485/tid=24488] ppid=24483 vsize=327256 CPUtime=212.6
/proc/24485/task/24488/stat : 24488 (ttsth-5-0) R 24483 24485 24392 0 -1 4194368 27538 0 0 0 21235 25 0 0 25 0 3 0 94358167 335110144 76579 1992294400 134512640 135237372 4294956192 18446744073709551615 134749345 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 494.82
Current children cumulated vsize (KiB) 327256

[startup+342.302 s]
/proc/loadavg: 1.99 1.60 1.28 3/67 24488
/proc/meminfo: memFree=934880/2055920 swapFree=4192956/4192956
[pid=24485] ppid=24483 vsize=349884 CPUtime=614.57
/proc/24485/stat : 24485 (ttsth-5-0) S 24483 24485 24392 0 -1 4194304 83563 0 0 0 61396 61 0 0 25 0 3 0 94351282 358281216 81888 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24485/statm: 87471 81888 98 176 0 87293 0
[pid=24485/tid=24487] ppid=24483 vsize=349884 CPUtime=273.38
/proc/24485/task/24487/stat : 24487 (ttsth-5-0) R 24483 24485 24392 0 -1 4194368 3106 0 0 0 27328 10 0 0 25 0 3 0 94358167 358281216 81888 1992294400 134512640 135237372 4294956192 18446744073709551615 134561059 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24485/tid=24488] ppid=24483 vsize=349884 CPUtime=272.35
/proc/24485/task/24488/stat : 24488 (ttsth-5-0) R 24483 24485 24392 0 -1 4194368 32739 0 0 0 27206 29 0 0 25 0 3 0 94358167 358281216 81888 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 614.57
Current children cumulated vsize (KiB) 349884

[startup+402.302 s]
/proc/loadavg: 1.99 1.67 1.32 3/67 24488
/proc/meminfo: memFree=914208/2055920 swapFree=4192956/4192956
[pid=24485] ppid=24483 vsize=370768 CPUtime=734.32
/proc/24485/stat : 24485 (ttsth-5-0) S 24483 24485 24392 0 -1 4194304 88749 0 0 0 73365 67 0 0 25 0 3 0 94351282 379666432 87074 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24485/statm: 92692 87074 98 176 0 92514 0
[pid=24485/tid=24487] ppid=24483 vsize=370768 CPUtime=333.36
/proc/24485/task/24487/stat : 24487 (ttsth-5-0) R 24483 24485 24392 0 -1 4194368 3327 0 0 0 33325 11 0 0 25 0 3 0 94358167 379666432 87074 1992294400 134512640 135237372 4294956192 18446744073709551615 134550989 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24485/tid=24488] ppid=24483 vsize=370768 CPUtime=332.11
/proc/24485/task/24488/stat : 24488 (ttsth-5-0) R 24483 24485 24392 0 -1 4194368 37704 0 0 0 33177 34 0 0 25 0 3 0 94358167 379666432 87074 1992294400 134512640 135237372 4294956192 18446744073709551615 134587921 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 734.32
Current children cumulated vsize (KiB) 370768

[startup+462.302 s]
/proc/loadavg: 1.99 1.73 1.36 3/67 24488
/proc/meminfo: memFree=895776/2055920 swapFree=4192956/4192956
[pid=24485] ppid=24483 vsize=389532 CPUtime=854.06
/proc/24485/stat : 24485 (ttsth-5-0) S 24483 24485 24392 0 -1 4194304 93338 0 0 0 85333 73 0 0 25 0 3 0 94351282 398880768 91663 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24485/statm: 97383 91663 98 176 0 97205 0
[pid=24485/tid=24487] ppid=24483 vsize=389532 CPUtime=393.35
/proc/24485/task/24487/stat : 24487 (ttsth-5-0) R 24483 24485 24392 0 -1 4194368 3617 0 0 0 39322 13 0 0 25 0 3 0 94358167 398880768 91663 1992294400 134512640 135237372 4294956192 18446744073709551615 134549888 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24485/tid=24488] ppid=24483 vsize=389532 CPUtime=391.87
/proc/24485/task/24488/stat : 24488 (ttsth-5-0) R 24483 24485 24392 0 -1 4194368 42003 0 0 0 39148 39 0 0 25 0 3 0 94358167 398880768 91663 1992294400 134512640 135237372 4294956192 18446744073709551615 134749353 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 854.06
Current children cumulated vsize (KiB) 389532

[startup+522.302 s]
/proc/loadavg: 1.99 1.77 1.40 3/67 24488
/proc/meminfo: memFree=863840/2055920 swapFree=4192956/4192956
[pid=24485] ppid=24483 vsize=423184 CPUtime=973.8
/proc/24485/stat : 24485 (ttsth-5-0) S 24483 24485 24392 0 -1 4194304 101525 0 0 0 97300 80 0 0 25 0 3 0 94351282 433340416 99850 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24485/statm: 105796 99850 98 176 0 105618 0
[pid=24485/tid=24487] ppid=24483 vsize=423184 CPUtime=453.33
/proc/24485/task/24487/stat : 24487 (ttsth-5-0) R 24483 24485 24392 0 -1 4194368 7530 0 0 0 45317 16 0 0 25 0 3 0 94358167 433340416 99850 1992294400 134512640 135237372 4294956192 18446744073709551615 134550408 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24485/tid=24488] ppid=24483 vsize=423184 CPUtime=451.63
/proc/24485/task/24488/stat : 24488 (ttsth-5-0) R 24483 24485 24392 0 -1 4194368 46277 0 0 0 45121 42 0 0 25 0 3 0 94358167 433340416 99850 1992294400 134512640 135237372 4294956192 18446744073709551615 134587929 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 973.8
Current children cumulated vsize (KiB) 423184

[startup+582.302 s]
/proc/loadavg: 1.99 1.81 1.43 3/67 24488
/proc/meminfo: memFree=833632/2055920 swapFree=4192956/4192956
[pid=24485] ppid=24483 vsize=453176 CPUtime=1093.54
/proc/24485/stat : 24485 (ttsth-5-0) S 24483 24485 24392 0 -1 4194304 108880 0 0 0 109266 88 0 0 25 0 3 0 94351282 464052224 107205 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24485/statm: 113294 107205 98 176 0 113116 0
[pid=24485/tid=24487] ppid=24483 vsize=453176 CPUtime=513.31
/proc/24485/task/24487/stat : 24487 (ttsth-5-0) R 24483 24485 24392 0 -1 4194368 9167 0 0 0 51312 19 0 0 25 0 3 0 94358167 464052224 107205 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24485/tid=24488] ppid=24483 vsize=453176 CPUtime=511.39
/proc/24485/task/24488/stat : 24488 (ttsth-5-0) R 24483 24485 24392 0 -1 4194368 51995 0 0 0 51091 48 0 0 25 0 3 0 94358167 464052224 107205 1992294400 134512640 135237372 4294956192 18446744073709551615 134561510 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1093.54
Current children cumulated vsize (KiB) 453176

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

[startup+588.801 s]
/proc/loadavg: 1.99 1.81 1.43 3/67 24488
/proc/meminfo: memFree=830048/2055920 swapFree=4192956/4192956
[pid=24485] ppid=24483 vsize=455832 CPUtime=1106.52
/proc/24485/stat : 24485 (ttsth-5-0) S 24483 24485 24392 0 -1 4194304 109712 0 0 0 110562 90 0 0 25 0 3 0 94351282 466771968 108037 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24485/statm: 113958 108037 98 176 0 113780 0
[pid=24485/tid=24487] ppid=24483 vsize=455832 CPUtime=519.82
/proc/24485/task/24487/stat : 24487 (ttsth-5-0) R 24483 24485 24392 0 -1 4194368 9341 0 0 0 51962 20 0 0 25 0 3 0 94358167 466771968 108037 1992294400 134512640 135237372 4294956192 18446744073709551615 134519962 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24485/tid=24488] ppid=24483 vsize=455832 CPUtime=517.87
/proc/24485/task/24488/stat : 24488 (ttsth-5-0) R 24483 24485 24392 0 -1 4194368 52653 0 0 0 51738 49 0 0 25 0 3 0 94358167 466771968 108037 1992294400 134512640 135237372 4294956192 18446744073709551615 134550399 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1106.52
Current children cumulated vsize (KiB) 455832

[startup+614.402 s]
/proc/loadavg: 1.99 1.83 1.45 3/67 24488
/proc/meminfo: memFree=817248/2055920 swapFree=4192956/4192956
[pid=24485] ppid=24483 vsize=469772 CPUtime=1157.6
/proc/24485/stat : 24485 (ttsth-5-0) S 24483 24485 24392 0 -1 4194304 112932 0 0 0 115666 94 0 0 25 0 3 0 94351282 481046528 111257 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24485/statm: 117443 111257 98 176 0 117265 0
[pid=24485/tid=24487] ppid=24483 vsize=469772 CPUtime=545.4
/proc/24485/task/24487/stat : 24487 (ttsth-5-0) R 24483 24485 24392 0 -1 4194368 10092 0 0 0 54519 21 0 0 25 0 3 0 94358167 481046528 111257 1992294400 134512640 135237372 4294956192 18446744073709551615 134680467 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24485/tid=24488] ppid=24483 vsize=469772 CPUtime=543.36
/proc/24485/task/24488/stat : 24488 (ttsth-5-0) R 24483 24485 24392 0 -1 4194368 55122 0 0 0 54284 52 0 0 25 0 3 0 94358167 481046528 111257 1992294400 134512640 135237372 4294956192 18446744073709551615 134680209 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1157.6
Current children cumulated vsize (KiB) 469772

[startup+627.202 s]
/proc/loadavg: 1.99 1.84 1.46 3/67 24488
/proc/meminfo: memFree=810720/2055920 swapFree=4192956/4192956
[pid=24485] ppid=24483 vsize=475484 CPUtime=1183.14
/proc/24485/stat : 24485 (ttsth-5-0) S 24483 24485 24392 0 -1 4194304 114535 0 0 0 118218 96 0 0 25 0 3 0 94351282 486895616 112860 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24485/statm: 118871 112860 98 176 0 118693 0
[pid=24485/tid=24487] ppid=24483 vsize=475484 CPUtime=558.21
/proc/24485/task/24487/stat : 24487 (ttsth-5-0) R 24483 24485 24392 0 -1 4194368 10532 0 0 0 55798 23 0 0 25 0 3 0 94358167 486895616 112860 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24485/tid=24488] ppid=24483 vsize=475484 CPUtime=556.11
/proc/24485/task/24488/stat : 24488 (ttsth-5-0) R 24483 24485 24392 0 -1 4194368 56285 0 0 0 55558 53 0 0 25 0 3 0 94358167 486895616 112860 1992294400 134512640 135237372 4294956192 18446744073709551615 134680296 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1183.14
Current children cumulated vsize (KiB) 475484

[startup+630.405 s]
/proc/loadavg: 1.99 1.84 1.46 3/67 24488
/proc/meminfo: memFree=809184/2055920 swapFree=4192956/4192956
[pid=24485] ppid=24483 vsize=477448 CPUtime=1189.54
/proc/24485/stat : 24485 (ttsth-5-0) S 24483 24485 24392 0 -1 4194304 114900 0 0 0 118857 97 0 0 25 0 3 0 94351282 488906752 113225 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24485/statm: 119362 113225 98 176 0 119184 0
[pid=24485/tid=24487] ppid=24483 vsize=477448 CPUtime=561.41
/proc/24485/task/24487/stat : 24487 (ttsth-5-0) R 24483 24485 24392 0 -1 4194368 10660 0 0 0 56118 23 0 0 25 0 3 0 94358167 488906752 113225 1992294400 134512640 135237372 4294956192 18446744073709551615 134749343 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24485/tid=24488] ppid=24483 vsize=477448 CPUtime=559.3
/proc/24485/task/24488/stat : 24488 (ttsth-5-0) R 24483 24485 24392 0 -1 4194368 56522 0 0 0 55877 53 0 0 25 0 3 0 94358167 488906752 113225 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1189.54
Current children cumulated vsize (KiB) 477448

[startup+633.602 s]
/proc/loadavg: 1.99 1.84 1.46 3/67 24488
/proc/meminfo: memFree=808160/2055920 swapFree=4192956/4192956
[pid=24485] ppid=24483 vsize=478228 CPUtime=1195.93
/proc/24485/stat : 24485 (ttsth-5-0) S 24483 24485 24392 0 -1 4194304 115151 0 0 0 119496 97 0 0 25 0 3 0 94351282 489705472 113476 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24485/statm: 119557 113476 98 176 0 119379 0
[pid=24485/tid=24487] ppid=24483 vsize=478228 CPUtime=564.6
/proc/24485/task/24487/stat : 24487 (ttsth-5-0) R 24483 24485 24392 0 -1 4194368 10733 0 0 0 56437 23 0 0 25 0 3 0 94358167 489705472 113476 1992294400 134512640 135237372 4294956192 18446744073709551615 134749327 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24485/tid=24488] ppid=24483 vsize=478228 CPUtime=562.49
/proc/24485/task/24488/stat : 24488 (ttsth-5-0) R 24483 24485 24392 0 -1 4194368 56700 0 0 0 56196 53 0 0 25 0 3 0 94358167 489705472 113476 1992294400 134512640 135237372 4294956192 18446744073709551615 134589014 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1195.93
Current children cumulated vsize (KiB) 478228

[startup+634.403 s]
/proc/loadavg: 1.99 1.84 1.46 3/67 24488
/proc/meminfo: memFree=808160/2055920 swapFree=4192956/4192956
[pid=24485] ppid=24483 vsize=478696 CPUtime=1197.52
/proc/24485/stat : 24485 (ttsth-5-0) S 24483 24485 24392 0 -1 4194304 115299 0 0 0 119655 97 0 0 25 0 3 0 94351282 490184704 113624 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24485/statm: 119674 113624 98 176 0 119496 0
[pid=24485/tid=24487] ppid=24483 vsize=478696 CPUtime=565.4
/proc/24485/task/24487/stat : 24487 (ttsth-5-0) R 24483 24485 24392 0 -1 4194368 10764 0 0 0 56517 23 0 0 25 0 3 0 94358167 490184704 113624 1992294400 134512640 135237372 4294956192 18446744073709551615 134549950 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24485/tid=24488] ppid=24483 vsize=478696 CPUtime=563.28
/proc/24485/task/24488/stat : 24488 (ttsth-5-0) R 24483 24485 24392 0 -1 4194368 56817 0 0 0 56275 53 0 0 25 0 3 0 94358167 490184704 113624 1992294400 134512640 135237372 4294956192 18446744073709551615 134590638 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1197.52
Current children cumulated vsize (KiB) 478696

[startup+635.203 s]
/proc/loadavg: 1.99 1.84 1.46 3/67 24488
/proc/meminfo: memFree=807264/2055920 swapFree=4192956/4192956
[pid=24485] ppid=24483 vsize=480188 CPUtime=1199.12
/proc/24485/stat : 24485 (ttsth-5-0) S 24483 24485 24392 0 -1 4194304 115454 0 0 0 119814 98 0 0 25 0 3 0 94351282 491712512 113779 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24485/statm: 120047 113779 98 176 0 119869 0
[pid=24485/tid=24487] ppid=24483 vsize=480188 CPUtime=566.2
/proc/24485/task/24487/stat : 24487 (ttsth-5-0) R 24483 24485 24392 0 -1 4194368 10783 0 0 0 56597 23 0 0 25 0 3 0 94358167 491712512 113779 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24485/tid=24488] ppid=24483 vsize=480188 CPUtime=564.08
/proc/24485/task/24488/stat : 24488 (ttsth-5-0) R 24483 24485 24392 0 -1 4194368 56953 0 0 0 56355 53 0 0 25 0 3 0 94358167 491712512 113779 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1199.12
Current children cumulated vsize (KiB) 480188

[startup+635.603 s]
/proc/loadavg: 1.99 1.84 1.46 3/67 24488
/proc/meminfo: memFree=807264/2055920 swapFree=4192956/4192956
[pid=24485] ppid=24483 vsize=480504 CPUtime=1199.92
/proc/24485/stat : 24485 (ttsth-5-0) S 24483 24485 24392 0 -1 4194304 115512 0 0 0 119894 98 0 0 25 0 3 0 94351282 492036096 113837 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24485/statm: 120126 113837 98 176 0 119948 0
[pid=24485/tid=24487] ppid=24483 vsize=480504 CPUtime=566.6
/proc/24485/task/24487/stat : 24487 (ttsth-5-0) R 24483 24485 24392 0 -1 4194368 10793 0 0 0 56637 23 0 0 25 0 3 0 94358167 492036096 113837 1992294400 134512640 135237372 4294956192 18446744073709551615 134680367 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24485/tid=24488] ppid=24483 vsize=480504 CPUtime=564.48
/proc/24485/task/24488/stat : 24488 (ttsth-5-0) R 24483 24485 24392 0 -1 4194368 57001 0 0 0 56395 53 0 0 25 0 3 0 94358167 492036096 113837 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1199.92
Current children cumulated vsize (KiB) 480504

Child status: 0
Real time (s): 635.684
CPU time (s): 1200.02
CPU user time (s): 1198.96
CPU system time (s): 1.05484
CPU usage (%): 188.776
Max. virtual memory (cumulated for all children) (KiB): 480504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.96
system time used= 1.05484
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115515
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= 11
involuntary context switches= 8836

runsolver used 0.594909 second user time and 1.68074 second system time

The end

Launcher Data 

Begin job on node36 at 2009-04-25 14:40:27
IDJOB=1721134
IDBENCH=69651
IDSOLVER=549
FILE ID=node36/1721134-1240663227
PBS_JOBID= 9186564
Free space on /tmp= 66372 MiB

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

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

MD5SUM BENCH= 8ab50418497c0326ed1ff5d73a4e24a3
RANDOM SEED=2075751697

node36.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.232
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.232
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:       1263248 kB
Buffers:         71920 kB
Cached:         627392 kB
SwapCached:          0 kB
Active:         117732 kB
Inactive:       595476 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1263248 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            6344 kB
Writeback:           0 kB
Mapped:          23636 kB
Slab:            65480 kB
Committed_AS:   313856 kB
PageTables:       1356 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66372 MiB
End job on node36 at 2009-04-25 14:51:03