Trace number 1781445

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 (16 threads)? (MO) 1312.29 103.226

General information on the benchmark

Namemizh-sha0-36-2.cnf
MD5SUM82bf685774b76ba263c886940c3aa94d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark978.73
Satisfiable
(Un)Satisfiability was proved
Number of variables50073
Number of clauses210239
Sum of the clauses size628391
Maximum clause length4
Minimum clause length1
Number of clauses of size 1177
Number of clauses of size 286996
Number of clauses of size 338042
Number of clauses of size 485024
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.50/0.56	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781445-1244987892.cnf 
0.50/0.56	c Using SATTIMEOUT of 10000
0.50/0.56	c Using SATRAM of 2047
0.50/0.56	c Size of subset node = 16
0.50/0.56	c Variables = 50073
0.50/0.56	c Clauses = 210239
0.50/0.56	c Literals = 628391
0.50/0.56	c Reduced size:
0.50/0.56	c Variables = 50073
0.50/0.56	c Clauses = 177562
0.50/0.56	c Literals = 514104
0.50/0.56	c a2
0.80/0.85	c a1
19.30/19.34	c Independent sub-problems = 1
19.30/19.34	c Sub-problem with 45473 variables and 177562 clauses
19.30/19.34	c using permutation method 4
19.30/19.34	c count = 1
19.30/19.34	c Ordering finished 19.270 seconds
19.30/19.34	c mapped 19.330 seconds
19.30/19.34	c permuted 19.330 seconds
19.30/19.34	c about to sort
19.30/19.38	c sorted
20.80/20.90	c clauses now 177562
20.80/20.90	c init finished 20.250 seconds
20.80/20.90	c tree built 20.870 seconds
20.80/20.90	c 
20.80/20.90	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
20.80/20.90	c ---------------------------------|----------------------------------|------------------------------------------------------
20.80/20.90	c ................................ | ..........                       |                       21.0           0.0             
20.80/20.90	c ................................ | ..........                     1 |                       21.0           0.0             
20.80/20.90	c ................................ | ..........                     2 |                       21.0           0.1             
20.80/20.90	c ................................ | ..........                     3 |                       21.0           0.1             
20.80/20.90	c ................................ | ..........                     4 |                       21.0           0.2             
20.80/20.90	c ................................ | ..........                     5 |                       21.0           0.2             
21.07/20.91	c ................................ | ..........                  1000 |                       21.0          47.6             
288.63/38.07	c ................................ | ..........               1567000 | 175666               200.0        7833.4     12177409
525.05/53.20	c ................................ | ..........               2525000 | 326283               400.1        6310.1     26094494
743.61/67.02	c ................................ | ..........               3435000 | 482617               600.0        5724.6     40904506
966.21/81.22	c ................................ | ..........               3965000 | 579654               800.0        4956.2     53820615
1172.40/94.28	c ................................ | *.........               4222000 | 625745              1000.8        4218.7     66696849

Verifier Data 

sh: BIN/SAT-verifier: No such file or directory

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1781445-1244987892/watcher-1781445-1244987892 -o /tmp/evaluation-result-1781445-1244987892/solver-1781445-1244987892 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781445-1244987892.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.14 4.82 5.87 2/187 31746
/proc/meminfo: memFree=18972120/36427776 swapFree=6132/11960
[pid=31746] ppid=31744 vsize=1540 CPUtime=0
/proc/31746/stat : 31746 (ttsth-5-0) R 31744 31746 15497 0 -1 4202496 260 0 0 0 0 0 0 0 20 0 1 0 658095559 1576960 217 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134732614 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/31746/statm: 385 218 75 177 0 207 0

[startup+0.094708 s]
/proc/loadavg: 1.14 4.82 5.87 2/187 31746
/proc/meminfo: memFree=18972120/36427776 swapFree=6132/11960
[pid=31746] ppid=31744 vsize=6568 CPUtime=0.08
/proc/31746/stat : 31746 (ttsth-5-0) R 31744 31746 15497 0 -1 4202496 1529 0 0 0 8 0 0 0 20 0 1 0 658095559 6725632 1486 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134732614 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/31746/statm: 1642 1487 75 177 0 1464 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6568

[startup+0.102704 s]
/proc/loadavg: 1.14 4.82 5.87 2/187 31746
/proc/meminfo: memFree=18972120/36427776 swapFree=6132/11960
[pid=31746] ppid=31744 vsize=7144 CPUtime=0.1
/proc/31746/stat : 31746 (ttsth-5-0) R 31744 31746 15497 0 -1 4202496 1645 0 0 0 10 0 0 0 20 0 1 0 658095559 7315456 1602 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134639534 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/31746/statm: 1786 1603 75 177 0 1608 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7144

[startup+0.302771 s]
/proc/loadavg: 1.14 4.82 5.87 2/187 31746
/proc/meminfo: memFree=18972120/36427776 swapFree=6132/11960
[pid=31746] ppid=31744 vsize=16904 CPUtime=0.3
/proc/31746/stat : 31746 (ttsth-5-0) R 31744 31746 15497 0 -1 4202496 3937 0 0 0 30 0 0 0 20 0 1 0 658095559 17309696 3894 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134534276 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/31746/statm: 4226 3894 75 177 0 4048 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 16904

[startup+0.702773 s]
/proc/loadavg: 1.14 4.82 5.87 2/187 31746
/proc/meminfo: memFree=18972120/36427776 swapFree=6132/11960
[pid=31746] ppid=31744 vsize=32264 CPUtime=0.7
/proc/31746/stat : 31746 (ttsth-5-0) R 31744 31746 15497 0 -1 4202496 7770 0 0 0 66 4 0 0 20 0 1 0 658095559 33038336 7727 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134680340 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/31746/statm: 8066 7727 76 177 0 7888 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 32264

[startup+1.50283 s]
/proc/loadavg: 1.14 4.82 5.87 2/188 31747
/proc/meminfo: memFree=18941144/36427776 swapFree=6324/42400
[pid=31746] ppid=31744 vsize=35640 CPUtime=1.5
/proc/31746/stat : 31746 (ttsth-5-0) R 31744 31746 15497 0 -1 4202496 9266 0 0 0 146 4 0 0 20 0 1 0 658095559 36495360 8606 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134555272 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/31746/statm: 8910 8606 77 177 0 8732 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 35640

[startup+3.10296 s]
/proc/loadavg: 1.12 4.75 5.85 2/188 31747
/proc/meminfo: memFree=18937684/36427776 swapFree=6576/46432
[pid=31746] ppid=31744 vsize=36108 CPUtime=3.1
/proc/31746/stat : 31746 (ttsth-5-0) R 31744 31746 15497 0 -1 4202496 9404 0 0 0 304 6 0 0 20 0 1 0 658095559 36974592 8744 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134600972 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/31746/statm: 9027 8744 77 177 0 8849 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 36108

[startup+6.30328 s]
/proc/loadavg: 1.12 4.75 5.85 2/188 31747
/proc/meminfo: memFree=18936560/36427776 swapFree=6404/47672
[pid=31746] ppid=31744 vsize=37412 CPUtime=6.3
/proc/31746/stat : 31746 (ttsth-5-0) R 31744 31746 15497 0 -1 4202496 9665 0 0 0 624 6 0 0 20 0 1 0 658095559 38309888 9005 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134600975 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/31746/statm: 9353 9005 77 177 0 9175 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 37412

[startup+12.7038 s]
/proc/loadavg: 1.10 4.63 5.80 2/188 31747
/proc/meminfo: memFree=18936204/36427776 swapFree=6404/48408
[pid=31746] ppid=31744 vsize=37544 CPUtime=12.7
/proc/31746/stat : 31746 (ttsth-5-0) R 31744 31746 15497 0 -1 4202496 9670 0 0 0 1264 6 0 0 20 0 1 0 658095559 38445056 9010 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134600707 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/31746/statm: 9386 9010 77 177 0 9208 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 37544

[startup+25.5051 s]
/proc/loadavg: 2.29 4.76 5.82 17/204 31763
/proc/meminfo: memFree=18360536/36427776 swapFree=6476/626848
[pid=31746] ppid=31744 vsize=735772 CPUtime=93.15
/proc/31746/stat : 31746 (ttsth-5-0) S 31744 31746 15497 0 -1 4202496 156351 0 0 0 3675 5640 0 0 20 0 17 0 658095559 753430528 154975 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31746/statm: 183943 154975 95 177 0 183765 0
[pid=31746/tid=31748] ppid=31744 vsize=735772 CPUtime=4.6
/proc/31746/task/31748/stat : 31748 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 6657 0 0 0 448 12 0 0 20 0 17 0 658097648 753430528 154975 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31746/tid=31749] ppid=31744 vsize=735772 CPUtime=4.5
/proc/31746/task/31749/stat : 31749 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 963 0 0 0 74 376 0 0 20 0 17 0 658097648 753430528 154975 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31746/tid=31750] ppid=31744 vsize=735772 CPUtime=4.5
/proc/31746/task/31750/stat : 31750 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 651 0 0 0 84 366 0 0 20 0 17 0 658097648 753430528 154976 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31746/tid=31751] ppid=31744 vsize=735772 CPUtime=4.52
/proc/31746/task/31751/stat : 31751 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 753 0 0 0 74 378 0 0 20 0 17 0 658097648 753430528 154976 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31746/tid=31752] ppid=31744 vsize=735772 CPUtime=4.52
/proc/31746/task/31752/stat : 31752 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 883 0 0 0 80 372 0 0 20 0 17 0 658097648 753430528 154976 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31746/tid=31753] ppid=31744 vsize=735772 CPUtime=4.52
/proc/31746/task/31753/stat : 31753 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 769 0 0 0 84 368 0 0 20 0 17 0 658097648 753430528 154976 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31746/tid=31754] ppid=31744 vsize=735772 CPUtime=4.54
/proc/31746/task/31754/stat : 31754 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 861 0 0 0 96 358 0 0 20 0 17 0 658097648 753430528 154976 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31746/tid=31755] ppid=31744 vsize=735772 CPUtime=4.5
/proc/31746/task/31755/stat : 31755 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 1103 0 0 0 80 370 0 0 20 0 17 0 658097648 753430528 154976 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31746/tid=31756] ppid=31744 vsize=735772 CPUtime=4.5
/proc/31746/task/31756/stat : 31756 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 874 0 0 0 76 374 0 0 20 0 17 0 658097648 753430528 154976 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31746/tid=31757] ppid=31744 vsize=735772 CPUtime=4.52
/proc/31746/task/31757/stat : 31757 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 832 0 0 0 80 372 0 0 20 0 17 0 658097649 753430528 154977 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31746/tid=31758] ppid=31744 vsize=735772 CPUtime=4.5
/proc/31746/task/31758/stat : 31758 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 562 0 0 0 76 374 0 0 20 0 17 0 658097649 753430528 154977 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31746/tid=31759] ppid=31744 vsize=735772 CPUtime=4.52
/proc/31746/task/31759/stat : 31759 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 956 0 0 0 80 372 0 0 20 0 17 0 658097649 753430528 154977 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31746/tid=31760] ppid=31744 vsize=735772 CPUtime=4.5
/proc/31746/task/31760/stat : 31760 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 660 0 0 0 64 386 0 0 20 0 17 0 658097649 753430528 154977 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31746/tid=31761] ppid=31744 vsize=735772 CPUtime=4.42
/proc/31746/task/31761/stat : 31761 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 958 0 0 0 84 358 0 0 20 0 17 0 658097649 753430528 154977 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31746/tid=31762] ppid=31744 vsize=735772 CPUtime=4.48
/proc/31746/task/31762/stat : 31762 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 838 0 0 0 86 362 0 0 20 0 17 0 658097650 753430528 154977 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31746/tid=31763] ppid=31744 vsize=735772 CPUtime=4.5
/proc/31746/task/31763/stat : 31763 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 456 0 0 0 66 384 0 0 20 0 17 0 658097650 753430528 154977 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 93.15
Current children cumulated vsize (KiB) 735772

[startup+51.102 s]
/proc/loadavg: 6.97 5.66 6.09 17/204 31763
/proc/meminfo: memFree=17997580/36427776 swapFree=6476/989924
[pid=31746] ppid=31744 vsize=1129252 CPUtime=493.57
/proc/31746/stat : 31746 (ttsth-5-0) S 31744 31746 15497 0 -1 4202496 249062 0 0 0 27166 22191 0 0 20 0 17 0 658095559 1156354048 247686 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31746/statm: 282313 247687 95 177 0 282135 0
[pid=31746/tid=31748] ppid=31744 vsize=1129252 CPUtime=30.18
/proc/31746/task/31748/stat : 31748 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 35783 0 0 0 2972 46 0 0 20 0 17 0 658097648 1156354048 247687 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31746/tid=31749] ppid=31744 vsize=1129252 CPUtime=29.24
/proc/31746/task/31749/stat : 31749 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 7135 0 0 0 1256 1668 0 0 20 0 17 0 658097648 1156354048 247687 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31746/tid=31750] ppid=31744 vsize=1129252 CPUtime=29.32
/proc/31746/task/31750/stat : 31750 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 4391 0 0 0 1426 1506 0 0 20 0 17 0 658097648 1156354048 247687 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31746/tid=31751] ppid=31744 vsize=1129252 CPUtime=29.52
/proc/31746/task/31751/stat : 31751 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 4568 0 0 0 1490 1462 0 0 20 0 17 0 658097648 1156354048 247687 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31746/tid=31752] ppid=31744 vsize=1129252 CPUtime=29.4
/proc/31746/task/31752/stat : 31752 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 5227 0 0 0 1354 1586 0 0 20 0 17 0 658097648 1156354048 247687 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31746/tid=31753] ppid=31744 vsize=1129252 CPUtime=29.48
/proc/31746/task/31753/stat : 31753 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 5468 0 0 0 1366 1582 0 0 20 0 17 0 658097648 1156354048 247687 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31746/tid=31754] ppid=31744 vsize=1129252 CPUtime=29.42
/proc/31746/task/31754/stat : 31754 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 4653 0 0 0 1414 1528 0 0 20 0 17 0 658097648 1156354048 247687 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31746/tid=31755] ppid=31744 vsize=1129252 CPUtime=29.48
/proc/31746/task/31755/stat : 31755 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 5775 0 0 0 1380 1568 0 0 20 0 17 0 658097648 1156354048 247689 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31746/tid=31756] ppid=31744 vsize=1129252 CPUtime=29.64
/proc/31746/task/31756/stat : 31756 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 5179 0 0 0 1542 1422 0 0 20 0 17 0 658097648 1156354048 247689 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31746/tid=31757] ppid=31744 vsize=1129252 CPUtime=29.62
/proc/31746/task/31757/stat : 31757 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 5944 0 0 0 1512 1450 0 0 20 0 17 0 658097649 1156354048 247689 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31746/tid=31758] ppid=31744 vsize=1129252 CPUtime=29.82
/proc/31746/task/31758/stat : 31758 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 4175 0 0 0 1790 1192 0 0 20 0 17 0 658097649 1156354048 247689 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31746/tid=31759] ppid=31744 vsize=1129252 CPUtime=29.5
/proc/31746/task/31759/stat : 31759 (ttsth-5-0) S 31744 31746 15497 0 -1 4202560 5243 0 0 0 1418 1532 0 0 20 0 17 0 658097649 1156354048 247689 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=31746/tid=31760] ppid=31744 vsize=1129252 CPUtime=29.7
/proc/31746/task/31760/stat : 31760 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 5394 0 0 0 1594 1376 0 0 20 0 17 0 658097649 1156354048 247689 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31746/tid=31761] ppid=31744 vsize=1129252 CPUtime=29.04
/proc/31746/task/31761/stat : 31761 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 3922 0 0 0 1444 1460 0 0 20 0 17 0 658097649 1156354048 247689 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31746/tid=31762] ppid=31744 vsize=1129252 CPUtime=29.58
/proc/31746/task/31762/stat : 31762 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 4145 0 0 0 1650 1308 0 0 20 0 17 0 658097650 1156354048 247689 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31746/tid=31763] ppid=31744 vsize=1129252 CPUtime=29.6
/proc/31746/task/31763/stat : 31763 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 4485 0 0 0 1516 1444 0 0 20 0 17 0 658097650 1156354048 247689 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 493.57
Current children cumulated vsize (KiB) 1129252

[startup+102.312 s]
/proc/loadavg: 12.29 7.37 6.65 17/204 31763
/proc/meminfo: memFree=17096988/36427776 swapFree=6476/1889352
[pid=31746] ppid=31744 vsize=2081652 CPUtime=1300.75
/proc/31746/stat : 31746 (ttsth-5-0) S 31744 31746 15497 0 -1 4202496 471421 0 0 0 99515 30560 0 0 20 0 17 0 658095559 2131611648 470045 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31746/statm: 520413 470049 95 177 0 520235 0
[pid=31746/tid=31748] ppid=31744 vsize=2081652 CPUtime=81.35
/proc/31746/task/31748/stat : 31748 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 85035 0 0 0 8015 120 0 0 20 0 17 0 658097648 2131611648 470049 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31746/tid=31749] ppid=31744 vsize=2081652 CPUtime=79.32
/proc/31746/task/31749/stat : 31749 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 20706 0 0 0 5564 2368 0 0 20 0 17 0 658097648 2131611648 470050 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31746/tid=31750] ppid=31744 vsize=2081652 CPUtime=79.53
/proc/31746/task/31750/stat : 31750 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 13819 0 0 0 5825 2128 0 0 20 0 17 0 658097648 2131611648 470050 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31746/tid=31751] ppid=31744 vsize=2081652 CPUtime=79.77
/proc/31746/task/31751/stat : 31751 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 15954 0 0 0 5905 2072 0 0 20 0 17 0 658097648 2131611648 470050 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134562459 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31746/tid=31752] ppid=31744 vsize=2081652 CPUtime=78.99
/proc/31746/task/31752/stat : 31752 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 26772 0 0 0 5375 2524 0 0 20 0 17 0 658097648 2131611648 470050 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31746/tid=31753] ppid=31744 vsize=2081652 CPUtime=80.34
/proc/31746/task/31753/stat : 31753 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 15690 0 0 0 6246 1788 0 0 20 0 17 0 658097648 2131611648 470050 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31746/tid=31754] ppid=31744 vsize=2081652 CPUtime=79.54
/proc/31746/task/31754/stat : 31754 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 19240 0 0 0 5612 2342 0 0 20 0 17 0 658097648 2131611648 470050 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134593369 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31746/tid=31755] ppid=31744 vsize=2081652 CPUtime=79.92
/proc/31746/task/31755/stat : 31755 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 15327 0 0 0 5892 2100 0 0 20 0 17 0 658097648 2131611648 470050 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31746/tid=31756] ppid=31744 vsize=2081652 CPUtime=80.63
/proc/31746/task/31756/stat : 31756 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 15581 0 0 0 6413 1650 0 0 20 0 17 0 658097648 2131611648 470050 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31746/tid=31757] ppid=31744 vsize=2081652 CPUtime=79.97
/proc/31746/task/31757/stat : 31757 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 17368 0 0 0 5813 2184 0 0 20 0 17 0 658097649 2131611648 470050 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134562351 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31746/tid=31758] ppid=31744 vsize=2081652 CPUtime=80.52
/proc/31746/task/31758/stat : 31758 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 10025 0 0 0 6430 1622 0 0 20 0 17 0 658097649 2131611648 470050 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31746/tid=31759] ppid=31744 vsize=2081652 CPUtime=80.24
/proc/31746/task/31759/stat : 31759 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 15248 0 0 0 6120 1904 0 0 20 0 17 0 658097649 2131611648 470050 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31746/tid=31760] ppid=31744 vsize=2081652 CPUtime=80.18
/proc/31746/task/31760/stat : 31760 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 21488 0 0 0 5928 2090 0 0 20 0 17 0 658097649 2131611648 470050 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31746/tid=31761] ppid=31744 vsize=2081652 CPUtime=78.78
/proc/31746/task/31761/stat : 31761 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 12704 0 0 0 5848 2030 0 0 20 0 17 0 658097649 2131611648 470050 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134546001 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31746/tid=31762] ppid=31744 vsize=2081652 CPUtime=80.39
/proc/31746/task/31762/stat : 31762 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 11901 0 0 0 6331 1708 0 0 20 0 17 0 658097650 2131611648 470050 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31746/tid=31763] ppid=31744 vsize=2081652 CPUtime=80.3
/proc/31746/task/31763/stat : 31763 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 16992 0 0 0 6160 1870 0 0 20 0 17 0 658097650 2131611648 470050 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1300.75
Current children cumulated vsize (KiB) 2081652



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+103.004 s]
/proc/loadavg: 12.29 7.37 6.65 17/204 31763
/proc/meminfo: memFree=17080028/36427776 swapFree=6476/1905436
[pid=31746] ppid=31744 vsize=2096996 CPUtime=1311.95
/proc/31746/stat : 31746 (ttsth-5-0) S 31744 31746 15497 0 -1 4202496 475110 0 0 0 100603 30592 0 0 20 0 17 0 658095559 2147323904 473734 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31746/statm: 524249 473735 95 177 0 524071 0
[pid=31746/tid=31748] ppid=31744 vsize=2096996 CPUtime=82.04
/proc/31746/task/31748/stat : 31748 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 85726 0 0 0 8084 120 0 0 20 0 17 0 658097648 2147323904 473736 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31746/tid=31749] ppid=31744 vsize=2096996 CPUtime=80.03
/proc/31746/task/31749/stat : 31749 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 20967 0 0 0 5631 2372 0 0 20 0 17 0 658097648 2147323904 473736 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31746/tid=31750] ppid=31744 vsize=2096996 CPUtime=80.21
/proc/31746/task/31750/stat : 31750 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 13916 0 0 0 5893 2128 0 0 20 0 17 0 658097648 2147323904 473736 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31746/tid=31751] ppid=31744 vsize=2096996 CPUtime=80.51
/proc/31746/task/31751/stat : 31751 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 15979 0 0 0 5979 2072 0 0 20 0 17 0 658097648 2147323904 473736 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31746/tid=31752] ppid=31744 vsize=2096996 CPUtime=79.66
/proc/31746/task/31752/stat : 31752 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 27444 0 0 0 5436 2530 0 0 20 0 17 0 658097648 2147323904 473737 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31746/tid=31753] ppid=31744 vsize=2096996 CPUtime=81.05
/proc/31746/task/31753/stat : 31753 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 15758 0 0 0 6317 1788 0 0 20 0 17 0 658097648 2147323904 473737 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134562341 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31746/tid=31754] ppid=31744 vsize=2096996 CPUtime=80.24
/proc/31746/task/31754/stat : 31754 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 19404 0 0 0 5678 2346 0 0 20 0 17 0 658097648 2147323904 473737 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31746/tid=31755] ppid=31744 vsize=2096996 CPUtime=80.61
/proc/31746/task/31755/stat : 31755 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 15394 0 0 0 5961 2100 0 0 20 0 17 0 658097648 2147323904 473737 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31746/tid=31756] ppid=31744 vsize=2096996 CPUtime=81.32
/proc/31746/task/31756/stat : 31756 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 15675 0 0 0 6482 1650 0 0 20 0 17 0 658097648 2147323904 473738 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31746/tid=31757] ppid=31744 vsize=2096996 CPUtime=80.65
/proc/31746/task/31757/stat : 31757 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 17514 0 0 0 5879 2186 0 0 20 0 17 0 658097649 2147323904 473738 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31746/tid=31758] ppid=31744 vsize=2096996 CPUtime=81.22
/proc/31746/task/31758/stat : 31758 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 10214 0 0 0 6500 1622 0 0 20 0 17 0 658097649 2147323904 473738 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31746/tid=31759] ppid=31744 vsize=2096996 CPUtime=80.94
/proc/31746/task/31759/stat : 31759 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 15356 0 0 0 6190 1904 0 0 20 0 17 0 658097649 2147323904 473738 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31746/tid=31760] ppid=31744 vsize=2096996 CPUtime=80.88
/proc/31746/task/31760/stat : 31760 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 22088 0 0 0 5992 2096 0 0 20 0 17 0 658097649 2147323904 473738 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31746/tid=31761] ppid=31744 vsize=2096996 CPUtime=79.47
/proc/31746/task/31761/stat : 31761 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 12794 0 0 0 5915 2032 0 0 20 0 17 0 658097649 2147323904 473738 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31746/tid=31762] ppid=31744 vsize=2096996 CPUtime=81.09
/proc/31746/task/31762/stat : 31762 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 12029 0 0 0 6401 1708 0 0 20 0 17 0 658097650 2147323904 473738 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31746/tid=31763] ppid=31744 vsize=2096996 CPUtime=81.01
/proc/31746/task/31763/stat : 31763 (ttsth-5-0) R 31744 31746 15497 0 -1 4202560 17279 0 0 0 6225 1876 0 0 20 0 17 0 658097650 2147323904 473739 18446744073709551615 134512640 135237372 4291396464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1311.95
Current children cumulated vsize (KiB) 2096996

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+103.204 s]
/proc/loadavg: 12.29 7.37 6.65 17/204 31763
/proc/meminfo: memFree=17080028/36427776 swapFree=6476/1905436
[pid=31746] ppid=31744 vsize=0 CPUtime=1312.28
/proc/31746/stat : 31746 (ttsth-5-0) Z 31744 31746 15497 0 -1 4203532 475151 0 0 0 100611 30617 0 0 20 0 2 0 658095559 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31746/statm: 0 0 0 0 0 0 0
[pid=31746/tid=31763] ppid=31744 vsize=0 CPUtime=81.19
/proc/31746/task/31763/stat : 31763 (ttsth-5-0) R 31744 31746 15497 0 -1 4203588 17284 0 0 0 6225 1894 0 0 20 0 2 0 658097650 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1312.28
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 103.226
CPU time (s): 1312.29
CPU user time (s): 1006.11
CPU system time (s): 306.175
CPU usage (%): 1271.28
Max. virtual memory (cumulated for all children) (KiB): 2096996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1006.11
system time used= 306.175
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 475151
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= 179835
involuntary context switches= 3054

runsolver used 0.440027 second user time and 1.35608 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 15:58:12
IDJOB=1781445
IDBENCH=71748
IDSOLVER=634
FILE ID=xenhost3-49/1781445-1244987892
PBS_JOBID=
Free space on /tmp= 7018 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT_RACE06/mizh-sha0-36-2.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1781445-1244987892/watcher-1781445-1244987892 -o /tmp/evaluation-result-1781445-1244987892/solver-1781445-1244987892 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781445-1244987892.cnf

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16

MD5SUM BENCH= 82bf685774b76ba263c886940c3aa94d
RANDOM SEED= 1992007787

Linux xenhost3-49 2.6.27.5 #1 SMP Mon Mar 30 10:34:22 CEST 2009 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 8
initial apicid	: 8
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 24
initial apicid	: 24
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 10
initial apicid	: 10
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 26
initial apicid	: 26
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 9
initial apicid	: 9
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 25
initial apicid	: 25
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 11
initial apicid	: 11
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 27
initial apicid	: 27
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:     36427776 kB
MemFree:      18972120 kB
Buffers:        530400 kB
Cached:       14122600 kB
SwapCached:          0 kB
Active:        4180416 kB
Inactive:     10484480 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            5144 kB
Writeback:           0 kB
AnonPages:       11960 kB
Mapped:           6132 kB
Slab:           736600 kB
SReclaimable:   709464 kB
SUnreclaim:      27136 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    36512 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7018 MiB
End job on xenhost3-49 at 2009-06-14 15:59:57