Trace number 1779660

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) 997.558 75.9107

General information on the benchmark

NameAPPLICATIONS/aprove09/
AProVE09-24.cnf
MD5SUMadd72395f3e7c6e9e29d4b056a962859
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3.91
Satisfiable
(Un)Satisfiability was proved
Number of variables61164
Number of clauses209228
Sum of the clauses size550828
Maximum clause length415
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 283362
Number of clauses of size 3120430
Number of clauses of size 45204
Number of clauses of size 568
Number of clauses of size over 5163

Solver Data 

0.40/0.43	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779660-1244955003.cnf 
0.40/0.43	c Using SATTIMEOUT of 10000
0.40/0.43	c Using SATRAM of 2047
0.40/0.43	c Size of subset node = 16
0.40/0.43	c Variables = 61164
0.40/0.43	c Clauses = 209228
0.40/0.43	c Literals = 550828
0.40/0.43	c Reduced size:
0.40/0.43	c Variables = 61164
0.40/0.43	c Clauses = 207812
0.40/0.43	c Literals = 547090
0.40/0.43	c a2
0.70/0.72	c a1
10.50/10.58	c Independent sub-problems = 1
10.50/10.58	c Sub-problem with 60679 variables and 207812 clauses
10.50/10.58	c using permutation method 4
10.50/10.58	c count = 1
10.50/10.58	c Ordering finished 10.500 seconds
10.50/10.58	c mapped 10.570 seconds
10.50/10.58	c permuted 10.570 seconds
10.50/10.58	c about to sort
10.58/10.62	c sorted
12.78/12.80	c clauses now 207812
12.78/12.80	c init finished 11.770 seconds
12.78/12.80	c tree built 12.800 seconds
12.78/12.80	c 
12.78/12.80	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
12.78/12.80	c ---------------------------------|----------------------------------|------------------------------------------------------
12.78/12.80	c ................................ | ..........                       |                       12.8           0.0             
12.78/12.80	c ................................ | ..........                     1 |                       12.8           0.1             
12.78/12.80	c ................................ | ..........                     2 |                       12.8           0.2             
12.78/12.80	c ................................ | ..........                     3 |                       12.8           0.2             
12.78/12.80	c ................................ | ..........                     4 |                       12.8           0.3             
12.78/12.80	c ................................ | ..........                     5 |                       12.8           0.4             
12.78/12.81	c **.............................. | ..........                    27 |                       12.8           2.1           40
12.78/12.81	c **.............................. | ..........                    28 |                       12.8           2.2           40
12.78/12.83	c **.............................. | ..........                  1000 | 5                     12.9          77.3          226
300.72/31.23	c **.............................. | ..........               1780000 | 94773                200.0        8898.2     17854821
590.03/49.71	c **.............................. | ..........               3725000 | 217586               400.0        9311.6     39545490
876.32/68.03	c **.............................. | ..........               4993000 | 298397               600.8        8310.7     59638429

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-1779660-1244955003/watcher-1779660-1244955003 -o /tmp/evaluation-result-1779660-1244955003/solver-1779660-1244955003 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779660-1244955003.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: 14.71 14.41 14.45 2/184 24998
/proc/meminfo: memFree=19041636/36427776 swapFree=4976/8236
[pid=24998] ppid=24996 vsize=1540 CPUtime=0
/proc/24998/stat : 24998 (ttsth-5-0) R 24996 24998 15497 0 -1 4202496 273 0 0 0 0 0 0 0 20 0 1 0 654806689 1576960 230 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134732614 0 0 1 0 0 0 0 17 12 0 0 0 0 0
/proc/24998/statm: 385 230 75 177 0 207 0

[startup+0.086059 s]
/proc/loadavg: 14.71 14.41 14.45 2/184 24998
/proc/meminfo: memFree=19041636/36427776 swapFree=4976/8236
[pid=24998] ppid=24996 vsize=6128 CPUtime=0.08
/proc/24998/stat : 24998 (ttsth-5-0) R 24996 24998 15497 0 -1 4202496 1420 0 0 0 8 0 0 0 20 0 1 0 654806689 6275072 1377 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134639534 0 0 1 0 0 0 0 17 12 0 0 0 0 0
/proc/24998/statm: 1532 1379 75 177 0 1354 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6128

[startup+0.101998 s]
/proc/loadavg: 14.71 14.41 14.45 2/184 24998
/proc/meminfo: memFree=19041636/36427776 swapFree=4976/8236
[pid=24998] ppid=24996 vsize=7232 CPUtime=0.1
/proc/24998/stat : 24998 (ttsth-5-0) R 24996 24998 15497 0 -1 4202496 1656 0 0 0 10 0 0 0 20 0 1 0 654806689 7405568 1613 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134732614 0 0 1 0 0 0 0 17 12 0 0 0 0 0
/proc/24998/statm: 1808 1614 75 177 0 1630 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7232

[startup+0.30212 s]
/proc/loadavg: 14.71 14.41 14.45 2/184 24998
/proc/meminfo: memFree=19041636/36427776 swapFree=4976/8236
[pid=24998] ppid=24996 vsize=16112 CPUtime=0.3
/proc/24998/stat : 24998 (ttsth-5-0) R 24996 24998 15497 0 -1 4202496 3701 0 0 0 26 4 0 0 20 0 1 0 654806689 16498688 3658 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134534243 0 0 1 0 0 0 0 17 12 0 0 0 0 0
/proc/24998/statm: 4028 3658 75 177 0 3850 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 16112

[startup+0.702109 s]
/proc/loadavg: 14.71 14.41 14.45 2/184 24998
/proc/meminfo: memFree=19041636/36427776 swapFree=4976/8236
[pid=24998] ppid=24996 vsize=31136 CPUtime=0.7
/proc/24998/stat : 24998 (ttsth-5-0) R 24996 24998 15497 0 -1 4202496 7473 0 0 0 66 4 0 0 20 0 1 0 654806689 31883264 7429 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134555507 0 0 1 0 0 0 0 17 12 0 0 0 0 0
/proc/24998/statm: 7784 7429 76 177 0 7606 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 31136

[startup+1.50217 s]
/proc/loadavg: 14.71 14.41 14.45 2/185 24999
/proc/meminfo: memFree=19002912/36427776 swapFree=5036/45716
[pid=24998] ppid=24996 vsize=38968 CPUtime=1.5
/proc/24998/stat : 24998 (ttsth-5-0) R 24996 24998 15497 0 -1 4202496 10186 0 0 0 144 6 0 0 20 0 1 0 654806689 39903232 9434 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134600960 0 0 1 0 0 0 0 17 12 0 0 0 0 0
/proc/24998/statm: 9742 9434 77 177 0 9564 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 38968

[startup+3.10232 s]
/proc/loadavg: 13.61 14.19 14.38 2/185 24999
/proc/meminfo: memFree=19002852/36427776 swapFree=4544/46496
[pid=24998] ppid=24996 vsize=39656 CPUtime=3.1
/proc/24998/stat : 24998 (ttsth-5-0) R 24996 24998 15497 0 -1 4202496 10358 0 0 0 304 6 0 0 20 0 1 0 654806689 40607744 9606 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134600972 0 0 1 0 0 0 0 17 12 0 0 0 0 0
/proc/24998/statm: 9914 9606 77 177 0 9736 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 39656

[startup+6.30259 s]
/proc/loadavg: 13.61 14.19 14.38 2/185 24999
/proc/meminfo: memFree=19001164/36427776 swapFree=4620/48232
[pid=24998] ppid=24996 vsize=41224 CPUtime=6.3
/proc/24998/stat : 24998 (ttsth-5-0) R 24996 24998 15497 0 -1 4202496 10687 0 0 0 624 6 0 0 20 0 1 0 654806689 42213376 9935 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134600972 0 0 1 0 0 0 0 17 12 0 0 0 0 0
/proc/24998/statm: 10306 9935 77 177 0 10128 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 41224

[startup+12.7032 s]
/proc/loadavg: 11.67 13.75 14.23 2/185 24999
/proc/meminfo: memFree=18406200/36427776 swapFree=4664/642148
[pid=24998] ppid=24996 vsize=718528 CPUtime=12.68
/proc/24998/stat : 24998 (ttsth-5-0) R 24996 24998 15497 0 -1 4202496 180680 0 0 0 1200 68 0 0 20 0 1 0 654806689 735772672 179328 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134732614 0 0 1 0 0 0 0 17 12 0 0 0 0 0
/proc/24998/statm: 179632 179328 91 177 0 179454 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 718528

[startup+25.5046 s]
/proc/loadavg: 12.34 13.83 14.25 17/201 25015
/proc/meminfo: memFree=18120516/36427776 swapFree=4692/929808
[pid=24998] ppid=24996 vsize=1060928 CPUtime=211.63
/proc/24998/stat : 24998 (ttsth-5-0) S 24996 24998 15497 0 -1 4202496 233497 0 0 0 7770 13393 0 0 20 0 17 0 654806689 1086390272 232144 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/24998/statm: 265232 232145 95 177 0 265054 0
[pid=24998/tid=25000] ppid=24996 vsize=1060928 CPUtime=12.64
/proc/24998/task/25000/stat : 25000 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 21912 0 0 0 1234 30 0 0 20 0 17 0 654807969 1086390272 232145 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134751534 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24998/tid=25001] ppid=24996 vsize=1060928 CPUtime=12.44
/proc/24998/task/25001/stat : 25001 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 1535 0 0 0 330 914 0 0 20 0 17 0 654807969 1086390272 232145 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24998/tid=25002] ppid=24996 vsize=1060928 CPUtime=12.44
/proc/24998/task/25002/stat : 25002 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 1287 0 0 0 348 896 0 0 20 0 17 0 654807969 1086390272 232146 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24998/tid=25003] ppid=24996 vsize=1060928 CPUtime=12.4
/proc/24998/task/25003/stat : 25003 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 1238 0 0 0 368 872 0 0 20 0 17 0 654807969 1086390272 232146 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134590140 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24998/tid=25004] ppid=24996 vsize=1060928 CPUtime=12.46
/proc/24998/task/25004/stat : 25004 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 2419 0 0 0 342 904 0 0 20 0 17 0 654807969 1086390272 232146 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24998/tid=25005] ppid=24996 vsize=1060928 CPUtime=12.4
/proc/24998/task/25005/stat : 25005 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 1728 0 0 0 350 890 0 0 20 0 17 0 654807969 1086390272 232146 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=24998/tid=25006] ppid=24996 vsize=1060928 CPUtime=12.4
/proc/24998/task/25006/stat : 25006 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 1475 0 0 0 354 886 0 0 20 0 17 0 654807969 1086390272 232146 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24998/tid=25007] ppid=24996 vsize=1060928 CPUtime=12.38
/proc/24998/task/25007/stat : 25007 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 1473 0 0 0 344 894 0 0 20 0 17 0 654807969 1086390272 232146 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=24998/tid=25008] ppid=24996 vsize=1060928 CPUtime=12.44
/proc/24998/task/25008/stat : 25008 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 3041 0 0 0 360 884 0 0 20 0 17 0 654807969 1086390272 232146 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24998/tid=25009] ppid=24996 vsize=1060928 CPUtime=12.4
/proc/24998/task/25009/stat : 25009 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 1489 0 0 0 372 868 0 0 20 0 17 0 654807969 1086390272 232146 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=24998/tid=25010] ppid=24996 vsize=1060928 CPUtime=12.44
/proc/24998/task/25010/stat : 25010 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 3515 0 0 0 348 896 0 0 20 0 17 0 654807970 1086390272 232146 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24998/tid=25011] ppid=24996 vsize=1060928 CPUtime=12.42
/proc/24998/task/25011/stat : 25011 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 3120 0 0 0 364 878 0 0 20 0 17 0 654807970 1086390272 232146 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=24998/tid=25012] ppid=24996 vsize=1060928 CPUtime=12.46
/proc/24998/task/25012/stat : 25012 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 2602 0 0 0 370 876 0 0 20 0 17 0 654807970 1086390272 232146 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24998/tid=25013] ppid=24996 vsize=1060928 CPUtime=12.16
/proc/24998/task/25013/stat : 25013 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 1164 0 0 0 364 852 0 0 20 0 17 0 654807970 1086390272 232146 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134680270 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=24998/tid=25014] ppid=24996 vsize=1060928 CPUtime=12.42
/proc/24998/task/25014/stat : 25014 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 3173 0 0 0 340 902 0 0 20 0 17 0 654807971 1086390272 232146 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=24998/tid=25015] ppid=24996 vsize=1060928 CPUtime=12.4
/proc/24998/task/25015/stat : 25015 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 1355 0 0 0 364 876 0 0 20 0 17 0 654807971 1086390272 232147 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 211.63
Current children cumulated vsize (KiB) 1060928

[startup+51.1062 s]
/proc/loadavg: 13.51 13.99 14.29 17/201 25015
/proc/meminfo: memFree=17574128/36427776 swapFree=4692/1475252
[pid=24998] ppid=24996 vsize=1634432 CPUtime=611.87
/proc/24998/stat : 24998 (ttsth-5-0) S 24996 24998 15497 0 -1 4202496 371360 0 0 0 25410 35777 0 0 20 0 17 0 654806689 1673658368 370006 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/24998/statm: 408608 370006 95 177 0 408430 0
[pid=24998/tid=25000] ppid=24996 vsize=1634432 CPUtime=38.17
/proc/24998/task/25000/stat : 25000 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 68975 0 0 0 3733 84 0 0 20 0 17 0 654807969 1673658368 370006 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24998/tid=25001] ppid=24996 vsize=1634432 CPUtime=37.38
/proc/24998/task/25001/stat : 25001 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 6205 0 0 0 1258 2480 0 0 20 0 17 0 654807969 1673658368 370006 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24998/tid=25002] ppid=24996 vsize=1634432 CPUtime=37.52
/proc/24998/task/25002/stat : 25002 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 6766 0 0 0 1356 2396 0 0 20 0 17 0 654807969 1673658368 370006 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24998/tid=25003] ppid=24996 vsize=1634432 CPUtime=37.28
/proc/24998/task/25003/stat : 25003 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 5758 0 0 0 1306 2422 0 0 20 0 17 0 654807969 1673658368 370006 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24998/tid=25004] ppid=24996 vsize=1634432 CPUtime=37.7
/proc/24998/task/25004/stat : 25004 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 7235 0 0 0 1628 2142 0 0 20 0 17 0 654807969 1673658368 370006 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24998/tid=25005] ppid=24996 vsize=1634432 CPUtime=37.26
/proc/24998/task/25005/stat : 25005 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 5442 0 0 0 1322 2404 0 0 20 0 17 0 654807969 1673658368 370006 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=24998/tid=25006] ppid=24996 vsize=1634432 CPUtime=37.28
/proc/24998/task/25006/stat : 25006 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 5822 0 0 0 1286 2442 0 0 20 0 17 0 654807969 1673658368 370006 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24998/tid=25007] ppid=24996 vsize=1634432 CPUtime=37.18
/proc/24998/task/25007/stat : 25007 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 5115 0 0 0 1274 2444 0 0 20 0 17 0 654807969 1673658368 370006 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=24998/tid=25008] ppid=24996 vsize=1634432 CPUtime=37.52
/proc/24998/task/25008/stat : 25008 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 7928 0 0 0 1366 2386 0 0 20 0 17 0 654807969 1673658368 370006 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24998/tid=25009] ppid=24996 vsize=1634432 CPUtime=37.26
/proc/24998/task/25009/stat : 25009 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 5647 0 0 0 1290 2436 0 0 20 0 17 0 654807969 1673658368 370006 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=24998/tid=25010] ppid=24996 vsize=1634432 CPUtime=37.64
/proc/24998/task/25010/stat : 25010 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 19435 0 0 0 1432 2332 0 0 20 0 17 0 654807970 1673658368 370006 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24998/tid=25011] ppid=24996 vsize=1634432 CPUtime=37.54
/proc/24998/task/25011/stat : 25011 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 17602 0 0 0 1434 2320 0 0 20 0 17 0 654807970 1673658368 370006 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=24998/tid=25012] ppid=24996 vsize=1634432 CPUtime=37.68
/proc/24998/task/25012/stat : 25012 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 7504 0 0 0 1582 2186 0 0 20 0 17 0 654807970 1673658368 370006 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24998/tid=25013] ppid=24996 vsize=1634432 CPUtime=36.64
/proc/24998/task/25013/stat : 25013 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 6095 0 0 0 1326 2338 0 0 20 0 17 0 654807970 1673658368 370006 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=24998/tid=25014] ppid=24996 vsize=1634432 CPUtime=37.54
/proc/24998/task/25014/stat : 25014 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 9702 0 0 0 1316 2438 0 0 20 0 17 0 654807971 1673658368 370007 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=24998/tid=25015] ppid=24996 vsize=1634432 CPUtime=37.34
/proc/24998/task/25015/stat : 25015 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 5155 0 0 0 1284 2450 0 0 20 0 17 0 654807971 1673658368 370007 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 611.87
Current children cumulated vsize (KiB) 1634432



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+75.7048 s]
/proc/loadavg: 14.20 14.11 14.32 16/201 25015
/proc/meminfo: memFree=17116016/36427776 swapFree=4692/1932840
[pid=24998] ppid=24996 vsize=2098260 CPUtime=997.16
/proc/24998/stat : 24998 (ttsth-5-0) S 24996 24998 15497 0 -1 4202496 482450 0 0 0 42925 56791 0 0 20 0 17 0 654806689 2148618240 481096 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/24998/statm: 524565 481096 95 177 0 524387 0
[pid=24998/tid=25000] ppid=24996 vsize=2098260 CPUtime=62.75
/proc/24998/task/25000/stat : 25000 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 96472 0 0 0 6159 116 0 0 20 0 17 0 654807969 2148618240 481097 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24998/tid=25001] ppid=24996 vsize=2098260 CPUtime=61.46
/proc/24998/task/25001/stat : 25001 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 10891 0 0 0 2170 3976 0 0 20 0 17 0 654807969 2148618240 481097 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24998/tid=25002] ppid=24996 vsize=2098260 CPUtime=61.66
/proc/24998/task/25002/stat : 25002 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 12498 0 0 0 2354 3812 0 0 20 0 17 0 654807969 2148618240 481097 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24998/tid=25003] ppid=24996 vsize=2098260 CPUtime=61.24
/proc/24998/task/25003/stat : 25003 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 11054 0 0 0 2250 3874 0 0 20 0 17 0 654807969 2148618240 481097 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24998/tid=25004] ppid=24996 vsize=2098260 CPUtime=62.04
/proc/24998/task/25004/stat : 25004 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 11282 0 0 0 2926 3278 0 0 20 0 17 0 654807969 2148618240 481097 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24998/tid=25005] ppid=24996 vsize=2098260 CPUtime=61.14
/proc/24998/task/25005/stat : 25005 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 9742 0 0 0 2184 3930 0 0 20 0 17 0 654807969 2148618240 481097 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=24998/tid=25006] ppid=24996 vsize=2098260 CPUtime=61.19
/proc/24998/task/25006/stat : 25006 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 10310 0 0 0 2182 3937 0 0 20 0 17 0 654807969 2148618240 481097 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24998/tid=25007] ppid=24996 vsize=2098260 CPUtime=61.07
/proc/24998/task/25007/stat : 25007 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 7884 0 0 0 2146 3961 0 0 20 0 17 0 654807969 2148618240 481097 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=24998/tid=25008] ppid=24996 vsize=2098260 CPUtime=61.67
/proc/24998/task/25008/stat : 25008 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 13684 0 0 0 2440 3727 0 0 20 0 17 0 654807969 2148618240 481097 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24998/tid=25009] ppid=24996 vsize=2098260 CPUtime=61.25
/proc/24998/task/25009/stat : 25009 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 9563 0 0 0 2200 3925 0 0 20 0 17 0 654807969 2148618240 481097 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=24998/tid=25010] ppid=24996 vsize=2098260 CPUtime=61.89
/proc/24998/task/25010/stat : 25010 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 31800 0 0 0 2568 3621 0 0 20 0 17 0 654807970 2148618240 481097 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24998/tid=25011] ppid=24996 vsize=2098260 CPUtime=61.78
/proc/24998/task/25011/stat : 25011 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 29903 0 0 0 2604 3574 0 0 20 0 17 0 654807970 2148618240 481097 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=24998/tid=25012] ppid=24996 vsize=2098260 CPUtime=61.94
/proc/24998/task/25012/stat : 25012 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 11489 0 0 0 2822 3372 0 0 20 0 17 0 654807970 2148618240 481097 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24998/tid=25013] ppid=24996 vsize=2098260 CPUtime=60.18
/proc/24998/task/25013/stat : 25013 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 10541 0 0 0 2262 3756 0 0 20 0 17 0 654807970 2148618240 481097 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=24998/tid=25014] ppid=24996 vsize=2098260 CPUtime=61.72
/proc/24998/task/25014/stat : 25014 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 14546 0 0 0 2340 3832 0 0 20 0 17 0 654807971 2148618240 481098 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134565949 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=24998/tid=25015] ppid=24996 vsize=2098260 CPUtime=61.29
/proc/24998/task/25015/stat : 25015 (ttsth-5-0) R 24996 24998 15497 0 -1 4202560 9818 0 0 0 2100 4029 0 0 20 0 17 0 654807971 2148618240 481098 18446744073709551615 134512640 135237372 4292777152 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 997.16
Current children cumulated vsize (KiB) 2098260

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

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

[startup+75.8326 s]
/proc/loadavg: 14.20 14.11 14.32 2/187 25016
/proc/meminfo: memFree=17767180/36427776 swapFree=4692/1280160
[pid=24998] ppid=24996 vsize=0 CPUtime=997.48
/proc/24998/stat : 24998 (ttsth-5-0) Z 24996 24998 15497 0 -1 4203532 482516 0 0 0 42933 56815 0 0 20 0 2 0 654806689 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/24998/statm: 0 0 0 0 0 0 0
[pid=24998/tid=25015] ppid=24996 vsize=0 CPUtime=61.41
/proc/24998/task/25015/stat : 25015 (ttsth-5-0) R 24996 24998 15497 0 -1 4203588 9818 0 0 0 2100 4041 0 0 20 0 2 0 654807971 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 997.48
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 75.9107
CPU time (s): 997.558
CPU user time (s): 429.335
CPU system time (s): 568.223
CPU usage (%): 1314.12
Max. virtual memory (cumulated for all children) (KiB): 2098260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 429.335
system time used= 568.224
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 482516
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= 117066
involuntary context switches= 2284

runsolver used 0.404025 second user time and 1.04807 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 06:50:03
IDJOB=1779660
IDBENCH=70886
IDSOLVER=634
FILE ID=xenhost3-49/1779660-1244955003
PBS_JOBID=
Free space on /tmp= 7021 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT09/APPLICATIONS/aprove09/AProVE09-24.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1779660-1244955003/watcher-1779660-1244955003 -o /tmp/evaluation-result-1779660-1244955003/solver-1779660-1244955003 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779660-1244955003.cnf

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

MD5SUM BENCH= add72395f3e7c6e9e29d4b056a962859
RANDOM SEED= 1384918231

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:      19041636 kB
Buffers:        483476 kB
Cached:       14120232 kB
SwapCached:          0 kB
Active:        4129984 kB
Inactive:     10482632 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            4688 kB
Writeback:           0 kB
AnonPages:        8236 kB
Mapped:           4312 kB
Slab:           721716 kB
SReclaimable:   694864 kB
SUnreclaim:      26852 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29616 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7021 MiB
End job on xenhost3-49 at 2009-06-14 06:51:21