Trace number 1579424

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.07 632.885

General information on the benchmark

NameAPPLICATIONS/diagnosis/
ACG-10-5p0.cnf
MD5SUMb0f091d476e617a8697e9f8acfd1538f
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark41.6977
Satisfiable
(Un)Satisfiability was proved
Number of variables123925
Number of clauses539763
Sum of the clauses size1252804
Maximum clause length10
Minimum clause length1
Number of clauses of size 15498
Number of clauses of size 2437089
Number of clauses of size 369976
Number of clauses of size 43020
Number of clauses of size 512080
Number of clauses of size over 512100

Solver Data 

19.29/19.36	c Command: HOME/ttsth-5-0 -num-threads 2 HOME/instance-1579424-1238907421.cnf 
19.29/19.36	c Using SATTIMEOUT of 1200
19.29/19.36	c Using SATRAM of 1800
19.29/19.36	c Size of subset node = 16
19.29/19.36	c Variables = 123925
19.29/19.36	c Clauses = 539763
19.29/19.36	c Literals = 1252804
19.29/19.36	c Reduced size:
19.29/19.36	c Variables = 123925
19.29/19.36	c Clauses = 384045
19.29/19.36	c Literals = 901652
19.29/19.36	c a2
20.28/20.37	c a1
59.66/59.72	c Independent sub-problems = 1
59.66/59.72	c Sub-problem with 94199 variables and 384045 clauses
59.66/59.72	c using permutation method 4
59.66/59.72	c count = 1
59.66/59.72	c Ordering finished 59.520 seconds
59.66/59.72	c mapped 59.700 seconds
59.66/59.72	c permuted 59.700 seconds
59.66/59.72	c about to sort
59.76/59.85	c sorted
62.36/62.48	c clauses now 384045
62.36/62.48	c init finished 60.310 seconds
62.36/62.48	c tree built 62.450 seconds
62.36/62.48	c 
62.36/62.48	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
62.36/62.48	c ---------------------------------|----------------------------------|------------------------------------------------------
62.36/62.48	c ................................ | ..........                       |                       62.5           0.0             
62.36/62.48	c ................................ | ..........                     1 |                       62.5           0.0             
62.36/62.48	c ................................ | ..........                     2 |                       62.5           0.0             
62.36/62.48	c ................................ | ..........                     3 |                       62.5           0.0             
62.36/62.48	c ................................ | ..........                     4 |                       62.5           0.1             
62.36/62.48	c ................................ | ..........                     5 |                       62.5           0.1             
62.36/62.48	c ................................ | ..........                  1000 |                       62.5          16.0          118
62.36/62.48	c ................................ | ..........                  2000 | 12                    62.5          32.0         1243
62.36/62.49	c ................................ | ..........                  3000 | 43                    62.5          48.0         2821
71.85/67.28	c ................................ | ..........                716000 | 27906                 72.0        9941.7       124373
95.98/79.35	c ................................ | ..........               2330000 | 112464                96.1       24240.5      1022559
120.12/91.41	c ................................ | *.........               3890000 | 197800               120.2       32373.5      2084161
144.07/103.48	c ................................ | *.........               4849000 | 251333               144.2       33615.3      3043801
167.79/115.40	c ................................ | *.........               5720000 | 300205               168.0       34041.5      3930292
191.94/127.43	c ................................ | *.........               6623000 | 350731               192.0       34489.4      5149928
216.07/139.53	c ................................ | *.........               7428000 | 395903               216.2       34360.3      6374174
239.80/151.48	c ................................ | **........               8087000 | 432831               240.0       33694.4      7117925
263.93/163.53	c ................................ | **........               8771000 | 471288               264.1       33217.2      7836921
288.27/175.74	c ................................ | **........               9443000 | 509148               288.4       32741.6      8853757
312.41/187.88	c ................................ | **........              10108000 | 546530               312.6       32332.1     10251985
335.94/199.61	c ................................ | **........              10687000 | 578944               336.0       31804.7     11354832
359.88/211.67	c ................................ | ***.......              11348000 | 616218               360.1       31515.2     12780893
384.02/223.76	c ................................ | ***.......              11954000 | 650287               384.2       31113.2     13983431
408.35/235.99	c ................................ | ***.......              12420000 | 676423               408.6       30396.5     15028594
431.87/247.79	c ................................ | ***.......              13147000 | 716531               432.1       30425.1     15852890
456.00/259.82	c ................................ | ***.......              13751000 | 749811               456.1       30148.4     16485315
479.93/271.89	c ................................ | ****......              14399000 | 785661               480.2       29986.0     17008857
504.67/284.26	c ................................ | ****......              14988000 | 817931               504.9       29687.4     17438362
528.01/295.96	c ................................ | ****......              15477000 | 844727               528.2       29301.4     17792871
552.15/308.04	c ................................ | ****......              16044000 | 875878               552.3       29049.4     18197023
576.28/320.14	c ................................ | ****......              16612000 | 907268               576.4       28818.3     18445081
599.81/331.94	c ................................ | *****.....              17074000 | 932843               600.0       28456.7     18720037
624.14/344.14	c ................................ | *****.....              17495000 | 956083               624.3       28021.6     18927118
647.89/356.09	c ................................ | *****.....              17935000 | 980669               648.2       27670.2     19167155
672.03/368.14	c ................................ | *****.....              18470000 | 1010452              672.2       27476.1     19450905
695.76/380.07	c ................................ | *****.....              18985000 | 1039196              696.0       27277.3     19862810
720.49/392.41	c ................................ | ******....              19445000 | 1065082              720.6       26983.3     20052637
744.23/404.34	c ................................ | ******....              19813000 | 1085741              744.4       26615.0     20343855
767.96/416.26	c ................................ | ******....              20271000 | 1111233              768.2       26387.7     20619925
792.90/428.71	c ................................ | ******....              20803000 | 1141044              793.0       26232.0     21172730
815.83/440.28	c ................................ | ******....              21169000 | 1161637              816.1       25938.3     21626851
839.97/452.39	c ................................ | *******...              21712000 | 1191753              840.3       25839.0     21998023
863.91/464.34	c ................................ | *******...              22326000 | 1226198              864.1       25836.7     22319843
887.85/476.31	c ................................ | *******...              22872000 | 1256608              888.0       25756.8     22861515
911.79/488.36	c ................................ | *******...              23364000 | 1284085              912.0       25617.3     23164689
936.52/500.75	c ................................ | *******...              23873000 | 1312572              936.8       25484.4     23675883
960.45/512.78	c ................................ | ********..              24312000 | 1337086              960.8       25304.7     23985564
983.79/524.43	c ................................ | ********..              24678000 | 1357521              984.0       25079.3     24206123
1007.92/536.54	c ................................ | ********..              25277000 | 1390944             1008.2       25072.2     24515909
1032.66/548.98	c ................................ | ********..              25468000 | 1401721             1033.0       24655.1     24836238
1055.79/560.52	c ................................ | ********..              25640000 | 1411472             1056.0       24280.3     25127958
1080.13/572.80	c ................................ | *********.              25815000 | 1421366             1080.5       23891.9     25428370
1104.66/585.04	c ................................ | *********.              25998000 | 1431654             1104.9       23529.3     25752883
1127.80/596.70	c ................................ | *********.              26172000 | 1441469             1128.2       23198.6     26044740
1152.14/608.82	c ................................ | *********.              26344000 | 1451239             1152.4       22860.9     26348207
1176.07/620.86	c ................................ | *********.              26517000 | 1461074             1176.4       22541.2     26654499
1199.81/632.77	c CPU limit (1200) reached
1199.81/632.77	c Time = 1200.13 seconds
1199.81/632.77	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-1579424-1238907421/watcher-1579424-1238907421 -o /tmp/evaluation-result-1579424-1238907421/solver-1579424-1238907421 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/ttsth-5-0 -num-threads 2 HOME/instance-1579424-1238907421.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.49 1.24 1.13 3/69 9111
/proc/meminfo: memFree=1523520/2055920 swapFree=4177724/4192956
[pid=9111] ppid=9109 vsize=1064 CPUtime=0
/proc/9111/stat : 9111 (ttsth-5-0) R 9109 9111 8778 0 -1 4194304 149 0 0 0 0 0 0 0 18 0 1 0 1163406844 1089536 133 1992294400 134512640 135237372 4294956192 18446744073709551615 134639534 0 0 4096 0 0 0 0 17 1 0 0
/proc/9111/statm: 266 134 77 176 0 88 0

[startup+0.0915989 s]
/proc/loadavg: 1.49 1.24 1.13 3/69 9111
/proc/meminfo: memFree=1523520/2055920 swapFree=4177724/4192956
[pid=9111] ppid=9109 vsize=4500 CPUtime=0.08
/proc/9111/stat : 9111 (ttsth-5-0) R 9109 9111 8778 0 -1 4194304 1023 0 0 0 8 0 0 0 18 0 1 0 1163406844 4608000 1007 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/9111/statm: 1125 1008 78 176 0 947 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4500

[startup+0.101599 s]
/proc/loadavg: 1.49 1.24 1.13 3/69 9111
/proc/meminfo: memFree=1523520/2055920 swapFree=4177724/4192956
[pid=9111] ppid=9109 vsize=5016 CPUtime=0.09
/proc/9111/stat : 9111 (ttsth-5-0) R 9109 9111 8778 0 -1 4194304 1128 0 0 0 9 0 0 0 18 0 1 0 1163406844 5136384 1112 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/9111/statm: 1254 1112 78 176 0 1076 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5016

[startup+0.301638 s]
/proc/loadavg: 1.49 1.24 1.13 3/69 9111
/proc/meminfo: memFree=1523520/2055920 swapFree=4177724/4192956
[pid=9111] ppid=9109 vsize=12724 CPUtime=0.29
/proc/9111/stat : 9111 (ttsth-5-0) R 9109 9111 8778 0 -1 4194304 3058 0 0 0 28 1 0 0 19 0 1 0 1163406844 13029376 3042 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/9111/statm: 3181 3043 78 176 0 3003 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12724

[startup+0.701717 s]
/proc/loadavg: 1.49 1.24 1.13 3/69 9111
/proc/meminfo: memFree=1523520/2055920 swapFree=4177724/4192956
[pid=9111] ppid=9109 vsize=28388 CPUtime=0.69
/proc/9111/stat : 9111 (ttsth-5-0) R 9109 9111 8778 0 -1 4194304 6961 0 0 0 65 4 0 0 22 0 1 0 1163406844 29069312 6945 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/9111/statm: 7097 6945 78 176 0 6919 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28388

[startup+1.50188 s]
/proc/loadavg: 1.49 1.24 1.13 2/70 9112
/proc/meminfo: memFree=1487096/2055920 swapFree=4177724/4192956
[pid=9111] ppid=9109 vsize=38668 CPUtime=1.49
/proc/9111/stat : 9111 (ttsth-5-0) R 9109 9111 8778 0 -1 4194304 9170 0 0 0 145 4 0 0 25 0 1 0 1163406844 39596032 9154 1992294400 134512640 135237372 4294956192 18446744073709551615 134534331 0 0 4096 0 0 0 0 17 1 0 0
/proc/9111/statm: 9667 9154 78 176 0 9489 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38668

[startup+3.10119 s]
/proc/loadavg: 1.45 1.24 1.12 2/70 9112
/proc/meminfo: memFree=1486648/2055920 swapFree=4177724/4192956
[pid=9111] ppid=9109 vsize=38668 CPUtime=3.09
/proc/9111/stat : 9111 (ttsth-5-0) R 9109 9111 8778 0 -1 4194304 9170 0 0 0 304 5 0 0 25 0 1 0 1163406844 39596032 9154 1992294400 134512640 135237372 4294956192 18446744073709551615 134534331 0 0 4096 0 0 0 0 17 1 0 0
/proc/9111/statm: 9667 9154 78 176 0 9489 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38668

[startup+6.30182 s]
/proc/loadavg: 1.45 1.24 1.12 2/70 9112
/proc/meminfo: memFree=1486648/2055920 swapFree=4177724/4192956
[pid=9111] ppid=9109 vsize=38668 CPUtime=6.29
/proc/9111/stat : 9111 (ttsth-5-0) R 9109 9111 8778 0 -1 4194304 9170 0 0 0 624 5 0 0 25 0 1 0 1163406844 39596032 9154 1992294400 134512640 135237372 4294956192 18446744073709551615 134534213 0 0 4096 0 0 0 0 17 1 0 0
/proc/9111/statm: 9667 9154 78 176 0 9489 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38668

[startup+12.7011 s]
/proc/loadavg: 1.38 1.23 1.12 2/70 9112
/proc/meminfo: memFree=1486712/2055920 swapFree=4177724/4192956
[pid=9111] ppid=9109 vsize=38668 CPUtime=12.69
/proc/9111/stat : 9111 (ttsth-5-0) R 9109 9111 8778 0 -1 4194304 9170 0 0 0 1264 5 0 0 25 0 1 0 1163406844 39596032 9154 1992294400 134512640 135237372 4294956192 18446744073709551615 134534123 0 0 4096 0 0 0 0 17 1 0 0
/proc/9111/statm: 9667 9154 78 176 0 9489 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38668

[startup+25.5016 s]
/proc/loadavg: 1.32 1.22 1.12 2/70 9112
/proc/meminfo: memFree=1445944/2055920 swapFree=4177724/4192956
[pid=9111] ppid=9109 vsize=79388 CPUtime=25.49
/proc/9111/stat : 9111 (ttsth-5-0) R 9109 9111 8778 0 -1 4194304 20861 0 0 0 2539 10 0 0 25 0 1 0 1163406844 81293312 19391 1992294400 134512640 135237372 4294956192 18446744073709551615 134555272 0 0 4096 0 0 0 0 17 1 0 0
/proc/9111/statm: 19847 19391 80 176 0 19669 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 79388

[startup+51.1017 s]
/proc/loadavg: 1.21 1.20 1.12 2/70 9112
/proc/meminfo: memFree=1442104/2055920 swapFree=4177724/4192956
[pid=9111] ppid=9109 vsize=83760 CPUtime=51.06
/proc/9111/stat : 9111 (ttsth-5-0) R 9109 9111 8778 0 -1 4194304 21883 0 0 0 5096 10 0 0 25 0 1 0 1163406844 85770240 20413 1992294400 134512640 135237372 4294956192 18446744073709551615 134600972 0 0 4096 0 0 0 0 17 1 0 0
/proc/9111/statm: 20940 20413 80 176 0 20762 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 83760

[startup+102.307 s]
/proc/loadavg: 1.57 1.29 1.15 3/72 9114
/proc/meminfo: memFree=1150312/2055920 swapFree=4177724/4192956
[pid=9111] ppid=9109 vsize=388548 CPUtime=141.88
/proc/9111/stat : 9111 (ttsth-5-0) S 9109 9111 8778 0 -1 4194304 95837 0 0 0 14141 47 0 0 25 0 3 0 1163406844 397873152 93229 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9111/statm: 97137 93229 98 176 0 96959 0
[pid=9111/tid=9113] ppid=9109 vsize=388548 CPUtime=39.8
/proc/9111/task/9113/stat : 9113 (ttsth-5-0) R 9109 9111 8778 0 -1 4194368 4110 0 0 0 3976 4 0 0 25 0 3 0 1163413092 397873152 93229 1992294400 134512640 135237372 4294956192 18446744073709551615 134551475 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9111/tid=9114] ppid=9109 vsize=388548 CPUtime=39.62
/proc/9111/task/9114/stat : 9114 (ttsth-5-0) R 9109 9111 8778 0 -1 4194368 12382 0 0 0 3953 9 0 0 25 0 3 0 1163413092 397873152 93229 1992294400 134512640 135237372 4294956192 18446744073709551615 134749353 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 141.88
Current children cumulated vsize (KiB) 388548

[startup+162.302 s]
/proc/loadavg: 1.84 1.42 1.20 3/72 9114
/proc/meminfo: memFree=1071144/2055920 swapFree=4177724/4192956
[pid=9111] ppid=9109 vsize=471508 CPUtime=261.54
/proc/9111/stat : 9111 (ttsth-5-0) S 9109 9111 8778 0 -1 4194304 115722 0 0 0 26094 60 0 0 25 0 3 0 1163406844 482824192 113114 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9111/statm: 117877 113114 98 176 0 117699 0
[pid=9111/tid=9113] ppid=9109 vsize=471508 CPUtime=99.78
/proc/9111/task/9113/stat : 9113 (ttsth-5-0) R 9109 9111 8778 0 -1 4194368 6965 0 0 0 9970 8 0 0 25 0 3 0 1163413092 482824192 113114 1992294400 134512640 135237372 4294956192 18446744073709551615 134680212 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9111/tid=9114] ppid=9109 vsize=471508 CPUtime=99.31
/proc/9111/task/9114/stat : 9114 (ttsth-5-0) R 9109 9111 8778 0 -1 4194368 29412 0 0 0 9912 19 0 0 25 0 3 0 1163413092 482824192 113114 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 261.54
Current children cumulated vsize (KiB) 471508

[startup+222.301 s]
/proc/loadavg: 1.94 1.52 1.25 3/72 9114
/proc/meminfo: memFree=973992/2055920 swapFree=4177724/4192956
[pid=9111] ppid=9109 vsize=572824 CPUtime=381.23
/proc/9111/stat : 9111 (ttsth-5-0) S 9109 9111 8778 0 -1 4194304 139852 0 0 0 38048 75 0 0 25 0 3 0 1163406844 586571776 137244 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9111/statm: 143206 137244 98 176 0 143028 0
[pid=9111/tid=9113] ppid=9109 vsize=572824 CPUtime=159.75
/proc/9111/task/9113/stat : 9113 (ttsth-5-0) R 9109 9111 8778 0 -1 4194368 9252 0 0 0 15965 10 0 0 25 0 3 0 1163413092 586571776 137244 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9111/tid=9114] ppid=9109 vsize=572824 CPUtime=159.01
/proc/9111/task/9114/stat : 9114 (ttsth-5-0) R 9109 9111 8778 0 -1 4194368 51255 0 0 0 15871 30 0 0 25 0 3 0 1163413092 586571776 137244 1992294400 134512640 135237372 4294956192 18446744073709551615 134591116 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 381.23
Current children cumulated vsize (KiB) 572824

[startup+282.301 s]
/proc/loadavg: 1.97 1.60 1.29 3/72 9120
/proc/meminfo: memFree=909728/2055920 swapFree=4177724/4192956
[pid=9111] ppid=9109 vsize=640624 CPUtime=500.88
/proc/9111/stat : 9111 (ttsth-5-0) S 9109 9111 8778 0 -1 4194304 156048 0 0 0 50001 87 0 0 25 0 3 0 1163406844 655998976 153440 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9111/statm: 160156 153440 98 176 0 159978 0
[pid=9111/tid=9113] ppid=9109 vsize=640624 CPUtime=219.67
/proc/9111/task/9113/stat : 9113 (ttsth-5-0) R 9109 9111 8778 0 -1 4194368 13529 0 0 0 21952 15 0 0 25 0 3 0 1163413092 655998976 153440 1992294400 134512640 135237372 4294956192 18446744073709551615 134590497 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9111/tid=9114] ppid=9109 vsize=640624 CPUtime=218.76
/proc/9111/task/9114/stat : 9114 (ttsth-5-0) R 9109 9111 8778 0 -1 4194368 63174 0 0 0 21837 39 0 0 25 0 3 0 1163413092 655998976 153440 1992294400 134512640 135237372 4294956192 18446744073709551615 134680348 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 500.88
Current children cumulated vsize (KiB) 640624

[startup+342.302 s]
/proc/loadavg: 1.99 1.67 1.33 3/72 9120
/proc/meminfo: memFree=884128/2055920 swapFree=4177724/4192956
[pid=9111] ppid=9109 vsize=665928 CPUtime=620.55
/proc/9111/stat : 9111 (ttsth-5-0) S 9109 9111 8778 0 -1 4194304 162175 0 0 0 61963 92 0 0 25 0 3 0 1163406844 681910272 159567 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9111/statm: 166482 159567 98 176 0 166304 0
[pid=9111/tid=9113] ppid=9109 vsize=665928 CPUtime=279.36
/proc/9111/task/9113/stat : 9113 (ttsth-5-0) R 9109 9111 8778 0 -1 4194368 16456 0 0 0 27919 17 0 0 25 0 3 0 1163413092 681910272 159567 1992294400 134512640 135237372 4294956192 18446744073709551615 134519944 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9111/tid=9114] ppid=9109 vsize=665928 CPUtime=278.73
/proc/9111/task/9114/stat : 9114 (ttsth-5-0) R 9109 9111 8778 0 -1 4194368 66374 0 0 0 27832 41 0 0 25 0 3 0 1163413092 681910272 159567 1992294400 134512640 135237372 4294956192 18446744073709551615 134550989 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 620.55
Current children cumulated vsize (KiB) 665928

[startup+402.303 s]
/proc/loadavg: 1.99 1.73 1.37 3/72 9120
/proc/meminfo: memFree=856224/2055920 swapFree=4177724/4192956
[pid=9111] ppid=9109 vsize=694424 CPUtime=740.24
/proc/9111/stat : 9111 (ttsth-5-0) S 9109 9111 8778 0 -1 4194304 169201 0 0 0 73926 98 0 0 25 0 3 0 1163406844 711090176 166593 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9111/statm: 173606 166593 98 176 0 173428 0
[pid=9111/tid=9113] ppid=9109 vsize=694424 CPUtime=339.07
/proc/9111/task/9113/stat : 9113 (ttsth-5-0) R 9109 9111 8778 0 -1 4194368 19242 0 0 0 33887 20 0 0 25 0 3 0 1163413092 711090176 166593 1992294400 134512640 135237372 4294956192 18446744073709551615 134749343 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9111/tid=9114] ppid=9109 vsize=694424 CPUtime=338.71
/proc/9111/task/9114/stat : 9114 (ttsth-5-0) R 9109 9111 8778 0 -1 4194368 70614 0 0 0 33827 44 0 0 25 0 3 0 1163413092 711090176 166593 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 740.24
Current children cumulated vsize (KiB) 694424

[startup+462.302 s]
/proc/loadavg: 1.99 1.78 1.41 3/72 9120
/proc/meminfo: memFree=824992/2055920 swapFree=4177724/4192956
[pid=9111] ppid=9109 vsize=726288 CPUtime=859.92
/proc/9111/stat : 9111 (ttsth-5-0) S 9109 9111 8778 0 -1 4194304 176951 0 0 0 85888 104 0 0 25 0 3 0 1163406844 743718912 174343 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9111/statm: 181572 174343 98 176 0 181394 0
[pid=9111/tid=9113] ppid=9109 vsize=726288 CPUtime=398.77
/proc/9111/task/9113/stat : 9113 (ttsth-5-0) R 9109 9111 8778 0 -1 4194368 24172 0 0 0 39853 24 0 0 25 0 3 0 1163413092 743718912 174343 1992294400 134512640 135237372 4294956192 18446744073709551615 134590146 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9111/tid=9114] ppid=9109 vsize=726288 CPUtime=398.69
/proc/9111/task/9114/stat : 9114 (ttsth-5-0) R 9109 9111 8778 0 -1 4194368 73434 0 0 0 39823 46 0 0 25 0 3 0 1163413092 743718912 174343 1992294400 134512640 135237372 4294956192 18446744073709551615 134749343 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 859.92
Current children cumulated vsize (KiB) 726288

[startup+522.302 s]
/proc/loadavg: 1.99 1.81 1.44 3/72 9120
/proc/meminfo: memFree=795360/2055920 swapFree=4177724/4192956
[pid=9111] ppid=9109 vsize=757348 CPUtime=979.6
/proc/9111/stat : 9111 (ttsth-5-0) S 9109 9111 8778 0 -1 4194304 184365 0 0 0 97849 111 0 0 25 0 3 0 1163406844 775524352 181757 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9111/statm: 189337 181757 98 176 0 189159 0
[pid=9111/tid=9113] ppid=9109 vsize=757348 CPUtime=458.47
/proc/9111/task/9113/stat : 9113 (ttsth-5-0) R 9109 9111 8778 0 -1 4194368 28733 0 0 0 45819 28 0 0 25 0 3 0 1163413092 775524352 181757 1992294400 134512640 135237372 4294956192 18446744073709551615 134561398 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9111/tid=9114] ppid=9109 vsize=757348 CPUtime=458.67
/proc/9111/task/9114/stat : 9114 (ttsth-5-0) R 9109 9111 8778 0 -1 4194368 76287 0 0 0 45819 48 0 0 25 0 3 0 1163413092 775524352 181757 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 979.6
Current children cumulated vsize (KiB) 757348

[startup+582.302 s]
/proc/loadavg: 1.99 1.85 1.47 3/72 9120
/proc/meminfo: memFree=771880/2055920 swapFree=4177724/4192956
[pid=9111] ppid=9109 vsize=782336 CPUtime=1099.28
/proc/9111/stat : 9111 (ttsth-5-0) S 9109 9111 8778 0 -1 4194304 190227 0 0 0 109814 114 0 0 25 0 3 0 1163406844 801112064 187619 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9111/statm: 195584 187619 98 176 0 195406 0
[pid=9111/tid=9113] ppid=9109 vsize=782336 CPUtime=518.17
/proc/9111/task/9113/stat : 9113 (ttsth-5-0) R 9109 9111 8778 0 -1 4194368 31774 0 0 0 51787 30 0 0 25 0 3 0 1163413092 801112064 187619 1992294400 134512640 135237372 4294956192 18446744073709551615 134749343 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9111/tid=9114] ppid=9109 vsize=782336 CPUtime=518.65
/proc/9111/task/9114/stat : 9114 (ttsth-5-0) R 9109 9111 8778 0 -1 4194368 79108 0 0 0 51815 50 0 0 25 0 3 0 1163413092 801112064 187619 1992294400 134512640 135237372 4294956192 18446744073709551615 134680367 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1099.28
Current children cumulated vsize (KiB) 782336

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

[startup+588.702 s]
/proc/loadavg: 1.99 1.85 1.48 3/72 9120
/proc/meminfo: memFree=768936/2055920 swapFree=4177724/4192956
[pid=9111] ppid=9109 vsize=784836 CPUtime=1112.05
/proc/9111/stat : 9111 (ttsth-5-0) S 9109 9111 8778 0 -1 4194304 190881 0 0 0 111090 115 0 0 25 0 3 0 1163406844 803672064 188273 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9111/statm: 196209 188273 98 176 0 196031 0
[pid=9111/tid=9113] ppid=9109 vsize=784836 CPUtime=524.54
/proc/9111/task/9113/stat : 9113 (ttsth-5-0) R 9109 9111 8778 0 -1 4194368 32072 0 0 0 52424 30 0 0 25 0 3 0 1163413092 803672064 188273 1992294400 134512640 135237372 4294956192 18446744073709551615 134680727 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9111/tid=9114] ppid=9109 vsize=784836 CPUtime=525.04
/proc/9111/task/9114/stat : 9114 (ttsth-5-0) R 9109 9111 8778 0 -1 4194368 79464 0 0 0 52454 50 0 0 25 0 3 0 1163413092 803672064 188273 1992294400 134512640 135237372 4294956192 18446744073709551615 134680737 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1112.05
Current children cumulated vsize (KiB) 784836

[startup+614.302 s]
/proc/loadavg: 1.99 1.86 1.49 3/72 9120
/proc/meminfo: memFree=758632/2055920 swapFree=4177724/4192956
[pid=9111] ppid=9109 vsize=795184 CPUtime=1163.11
/proc/9111/stat : 9111 (ttsth-5-0) S 9109 9111 8778 0 -1 4194304 193500 0 0 0 116195 116 0 0 25 0 3 0 1163406844 814268416 190892 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9111/statm: 198796 190892 98 176 0 198618 0
[pid=9111/tid=9113] ppid=9109 vsize=795184 CPUtime=550.01
/proc/9111/task/9113/stat : 9113 (ttsth-5-0) R 9109 9111 8778 0 -1 4194368 33515 0 0 0 54970 31 0 0 25 0 3 0 1163413092 814268416 190892 1992294400 134512640 135237372 4294956192 18446744073709551615 134591221 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9111/tid=9114] ppid=9109 vsize=795184 CPUtime=550.64
/proc/9111/task/9114/stat : 9114 (ttsth-5-0) R 9109 9111 8778 0 -1 4194368 80640 0 0 0 55013 51 0 0 25 0 3 0 1163413092 814268416 190892 1992294400 134512640 135237372 4294956192 18446744073709551615 134680282 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1163.11
Current children cumulated vsize (KiB) 795184

[startup+620.702 s]
/proc/loadavg: 1.99 1.86 1.49 3/72 9120
/proc/meminfo: memFree=756200/2055920 swapFree=4177724/4192956
[pid=9111] ppid=9109 vsize=797616 CPUtime=1175.87
/proc/9111/stat : 9111 (ttsth-5-0) S 9109 9111 8778 0 -1 4194304 194096 0 0 0 117471 116 0 0 25 0 3 0 1163406844 816758784 191488 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9111/statm: 199404 191488 98 176 0 199226 0
[pid=9111/tid=9113] ppid=9109 vsize=797616 CPUtime=556.38
/proc/9111/task/9113/stat : 9113 (ttsth-5-0) R 9109 9111 8778 0 -1 4194368 33857 0 0 0 55607 31 0 0 25 0 3 0 1163413092 816758784 191488 1992294400 134512640 135237372 4294956192 18446744073709551615 134680727 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9111/tid=9114] ppid=9109 vsize=797616 CPUtime=557.03
/proc/9111/task/9114/stat : 9114 (ttsth-5-0) R 9109 9111 8778 0 -1 4194368 80894 0 0 0 55652 51 0 0 25 0 3 0 1163413092 816758784 191488 1992294400 134512640 135237372 4294956192 18446744073709551615 134591529 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1175.87
Current children cumulated vsize (KiB) 797616

[startup+627.101 s]
/proc/loadavg: 1.99 1.86 1.50 3/72 9120
/proc/meminfo: memFree=753576/2055920 swapFree=4177724/4192956
[pid=9111] ppid=9109 vsize=800068 CPUtime=1188.64
/proc/9111/stat : 9111 (ttsth-5-0) S 9109 9111 8778 0 -1 4194304 194711 0 0 0 118747 117 0 0 25 0 3 0 1163406844 819269632 192103 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9111/statm: 200017 192103 98 176 0 199839 0
[pid=9111/tid=9113] ppid=9109 vsize=800068 CPUtime=562.75
/proc/9111/task/9113/stat : 9113 (ttsth-5-0) R 9109 9111 8778 0 -1 4194368 34222 0 0 0 56244 31 0 0 25 0 3 0 1163413092 819269632 192103 1992294400 134512640 135237372 4294956192 18446744073709551615 134749345 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9111/tid=9114] ppid=9109 vsize=800068 CPUtime=563.44
/proc/9111/task/9114/stat : 9114 (ttsth-5-0) R 9109 9111 8778 0 -1 4194368 81144 0 0 0 56292 52 0 0 25 0 3 0 1163413092 819269632 192103 1992294400 134512640 135237372 4294956192 18446744073709551615 134590245 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1188.64
Current children cumulated vsize (KiB) 800068

[startup+630.306 s]
/proc/loadavg: 1.99 1.86 1.50 3/72 9120
/proc/meminfo: memFree=752360/2055920 swapFree=4177724/4192956
[pid=9111] ppid=9109 vsize=801716 CPUtime=1195.03
/proc/9111/stat : 9111 (ttsth-5-0) S 9109 9111 8778 0 -1 4194304 195009 0 0 0 119386 117 0 0 25 0 3 0 1163406844 820957184 192401 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9111/statm: 200429 192401 98 176 0 200251 0
[pid=9111/tid=9113] ppid=9109 vsize=801716 CPUtime=565.93
/proc/9111/task/9113/stat : 9113 (ttsth-5-0) R 9109 9111 8778 0 -1 4194368 34386 0 0 0 56562 31 0 0 25 0 3 0 1163413092 820957184 192401 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9111/tid=9114] ppid=9109 vsize=801716 CPUtime=566.64
/proc/9111/task/9114/stat : 9114 (ttsth-5-0) R 9109 9111 8778 0 -1 4194368 81278 0 0 0 56612 52 0 0 25 0 3 0 1163413092 820957184 192401 1992294400 134512640 135237372 4294956192 18446744073709551615 134680237 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1195.03
Current children cumulated vsize (KiB) 801716

[startup+631.902 s]
/proc/loadavg: 1.99 1.86 1.50 3/72 9120
/proc/meminfo: memFree=752040/2055920 swapFree=4177724/4192956
[pid=9111] ppid=9109 vsize=802188 CPUtime=1198.21
/proc/9111/stat : 9111 (ttsth-5-0) S 9109 9111 8778 0 -1 4194304 195187 0 0 0 119704 117 0 0 25 0 3 0 1163406844 821440512 192579 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9111/statm: 200547 192579 98 176 0 200369 0
[pid=9111/tid=9113] ppid=9109 vsize=802188 CPUtime=567.52
/proc/9111/task/9113/stat : 9113 (ttsth-5-0) R 9109 9111 8778 0 -1 4194368 34470 0 0 0 56721 31 0 0 25 0 3 0 1163413092 821440512 192579 1992294400 134512640 135237372 4294956192 18446744073709551615 134519936 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9111/tid=9114] ppid=9109 vsize=802188 CPUtime=568.23
/proc/9111/task/9114/stat : 9114 (ttsth-5-0) R 9109 9111 8778 0 -1 4194368 81372 0 0 0 56771 52 0 0 25 0 3 0 1163413092 821440512 192579 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1198.21
Current children cumulated vsize (KiB) 802188

[startup+632.301 s]
/proc/loadavg: 1.99 1.86 1.50 3/72 9120
/proc/meminfo: memFree=752040/2055920 swapFree=4177724/4192956
[pid=9111] ppid=9109 vsize=802188 CPUtime=1199.01
/proc/9111/stat : 9111 (ttsth-5-0) S 9109 9111 8778 0 -1 4194304 195220 0 0 0 119784 117 0 0 25 0 3 0 1163406844 821440512 192612 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9111/statm: 200547 192612 98 176 0 200369 0
[pid=9111/tid=9113] ppid=9109 vsize=802188 CPUtime=567.92
/proc/9111/task/9113/stat : 9113 (ttsth-5-0) R 9109 9111 8778 0 -1 4194368 34493 0 0 0 56761 31 0 0 25 0 3 0 1163413092 821440512 192612 1992294400 134512640 135237372 4294956192 18446744073709551615 134551787 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9111/tid=9114] ppid=9109 vsize=802188 CPUtime=568.63
/proc/9111/task/9114/stat : 9114 (ttsth-5-0) R 9109 9111 8778 0 -1 4194368 81382 0 0 0 56811 52 0 0 25 0 3 0 1163413092 821440512 192612 1992294400 134512640 135237372 4294956192 18446744073709551615 134680504 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1199.01
Current children cumulated vsize (KiB) 802188

[startup+632.702 s]
/proc/loadavg: 1.99 1.87 1.50 3/72 9120
/proc/meminfo: memFree=751528/2055920 swapFree=4177724/4192956
[pid=9111] ppid=9109 vsize=802188 CPUtime=1199.81
/proc/9111/stat : 9111 (ttsth-5-0) S 9109 9111 8778 0 -1 4194304 195253 0 0 0 119864 117 0 0 25 0 3 0 1163406844 821440512 192645 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9111/statm: 200547 192645 98 176 0 200369 0
[pid=9111/tid=9113] ppid=9109 vsize=802188 CPUtime=568.32
/proc/9111/task/9113/stat : 9113 (ttsth-5-0) R 9109 9111 8778 0 -1 4194368 34502 0 0 0 56801 31 0 0 25 0 3 0 1163413092 821440512 192645 1992294400 134512640 135237372 4294956192 18446744073709551615 134549885 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9111/tid=9114] ppid=9109 vsize=802188 CPUtime=569.03
/proc/9111/task/9114/stat : 9114 (ttsth-5-0) R 9109 9111 8778 0 -1 4194368 81406 0 0 0 56851 52 0 0 25 0 3 0 1163413092 821440512 192645 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1199.81
Current children cumulated vsize (KiB) 802188

[startup+632.802 s]
/proc/loadavg: 1.99 1.87 1.50 3/72 9120
/proc/meminfo: memFree=751528/2055920 swapFree=4177724/4192956
[pid=9111] ppid=9109 vsize=0 CPUtime=1199.98
/proc/9111/stat : 9111 (ttsth-5-0) R 9109 9111 8778 0 -1 4195332 195275 0 0 0 119878 120 0 0 17 0 1 0 1163406844 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/9111/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.98
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 632.885
CPU time (s): 1200.07
CPU user time (s): 1198.78
CPU system time (s): 1.2868
CPU usage (%): 189.619
Max. virtual memory (cumulated for all children) (KiB): 802188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.78
system time used= 1.2868
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195275
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= 227
involuntary context switches= 8993

runsolver used 0.78688 second user time and 2.02769 second system time

The end

Launcher Data 

Begin job on node73 at 2009-04-05 06:57:02
IDJOB=1579424
IDBENCH=70997
IDSOLVER=549
FILE ID=node73/1579424-1238907421
PBS_JOBID= 9101348
Free space on /tmp= 66552 MiB

SOLVER NAME= ttsth-5-0 2009-03-19
BENCH NAME= SAT09/APPLICATIONS/diagnosis/ACG-10-5p0.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1579424-1238907421/watcher-1579424-1238907421 -o /tmp/evaluation-result-1579424-1238907421/solver-1579424-1238907421 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/ttsth-5-0 -num-threads 2 HOME/instance-1579424-1238907421.cnf

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

MD5SUM BENCH= b0f091d476e617a8697e9f8acfd1538f
RANDOM SEED=1820392783

node73.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.277
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.277
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:       1523936 kB
Buffers:         60812 kB
Cached:         393168 kB
SwapCached:       8352 kB
Active:         210784 kB
Inactive:       253084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1523936 kB
SwapTotal:     4192956 kB
SwapFree:      4177724 kB
Dirty:           10012 kB
Writeback:           0 kB
Mapped:          15236 kB
Slab:            53716 kB
Committed_AS:  2996396 kB
PageTables:       1676 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= 66552 MiB
End job on node73 at 2009-04-05 07:07:34