Trace number 1779795

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) 923.954 68.6005

General information on the benchmark

NameAPPLICATIONS/aprove09/
AProVE09-07.cnf
MD5SUMc5fb730ce517a6a48db8bb4f0db1d85a
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.38
Satisfiable
(Un)Satisfiability was proved
Number of variables8567
Number of clauses28936
Sum of the clauses size74592
Maximum clause length14
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 213207
Number of clauses of size 314832
Number of clauses of size 4883
Number of clauses of size 50
Number of clauses of size over 513

Solver Data 

0.00/0.03	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779795-1244956147.cnf 
0.00/0.03	c Using SATTIMEOUT of 10000
0.00/0.03	c Using SATRAM of 2047
0.00/0.03	c Size of subset node = 16
0.00/0.03	c Variables = 8567
0.00/0.03	c Clauses = 28936
0.00/0.03	c Literals = 74592
0.00/0.03	c Reduced size:
0.00/0.03	c Variables = 8567
0.00/0.03	c Clauses = 28676
0.00/0.03	c Literals = 73832
0.00/0.03	c a2
0.06/0.07	c a1
0.90/1.00	c Independent sub-problems = 1
0.90/1.00	c Sub-problem with 8544 variables and 28676 clauses
0.90/1.00	c using permutation method 4
0.90/1.00	c count = 1
0.90/1.00	c Ordering finished 0.980 seconds
0.90/1.00	c mapped 0.990 seconds
0.90/1.00	c permuted 0.990 seconds
0.90/1.00	c about to sort
0.90/1.00	c sorted
1.20/1.27	c clauses now 28676
1.20/1.27	c init finished 1.160 seconds
1.20/1.27	c tree built 1.260 seconds
1.20/1.27	c 
1.20/1.27	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
1.20/1.27	c ---------------------------------|----------------------------------|------------------------------------------------------
1.20/1.27	c ................................ | ..........                       |                        1.3           0.0            2
1.20/1.27	c ................................ | ..........                     1 |                        1.3           0.8            2
1.20/1.27	c ................................ | ..........                     2 |                        1.3           1.6            2
1.20/1.27	c ................................ | ..........                     3 |                        1.3           2.4            2
1.20/1.27	c ................................ | ..........                     4 |                        1.3           3.2            2
1.20/1.27	c ................................ | ..........                     5 |                        1.3           4.0            3
1.20/1.28	c ................................ | ..........                  1000 | 20                     1.3         757.6          718
227.34/17.58	c ................................ | ..........                684000 | 56340                200.5        3411.0     24996601
434.62/33.05	c ................................ | ..........               1032000 | 91577                400.5        2576.7     50899712
639.57/48.10	c ................................ | ..........               1310000 | 119145               600.1        2182.8     73144343
841.68/62.48	c ................................ | ..........               1505000 | 140763               800.4        1880.4     93234495

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-1779795-1244956147/watcher-1779795-1244956147 -o /tmp/evaluation-result-1779795-1244956147/solver-1779795-1244956147 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779795-1244956147.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: 8.33 13.59 14.35 2/184 25585
/proc/meminfo: memFree=19041208/36427776 swapFree=3052/7812
[pid=25585] ppid=25583 vsize=1540 CPUtime=0
/proc/25585/stat : 25585 (ttsth-5-0) R 25583 25585 15497 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 654921057 1576960 234 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134732614 0 0 1 0 0 0 0 17 14 0 0 0 0 0
/proc/25585/statm: 385 235 75 177 0 207 0

[startup+0.066768 s]
/proc/loadavg: 8.33 13.59 14.35 2/184 25585
/proc/meminfo: memFree=19041208/36427776 swapFree=3052/7812
[pid=25585] ppid=25583 vsize=5008 CPUtime=0.06
/proc/25585/stat : 25585 (ttsth-5-0) R 25583 25585 15497 0 -1 4202496 1137 0 0 0 6 0 0 0 20 0 1 0 654921057 5128192 1093 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134680212 0 0 1 0 0 0 0 17 14 0 0 0 0 0
/proc/25585/statm: 1252 1093 76 177 0 1074 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5008

[startup+0.102765 s]
/proc/loadavg: 8.33 13.59 14.35 2/184 25585
/proc/meminfo: memFree=19041208/36427776 swapFree=3052/7812
[pid=25585] ppid=25583 vsize=6140 CPUtime=0.1
/proc/25585/stat : 25585 (ttsth-5-0) R 25583 25585 15497 0 -1 4202496 1443 0 0 0 10 0 0 0 20 0 1 0 654921057 6287360 1370 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134732614 0 0 1 0 0 0 0 17 14 0 0 0 0 0
/proc/25585/statm: 1535 1372 77 177 0 1357 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 6140

[startup+0.302765 s]
/proc/loadavg: 8.33 13.59 14.35 2/184 25585
/proc/meminfo: memFree=19041208/36427776 swapFree=3052/7812
[pid=25585] ppid=25583 vsize=6272 CPUtime=0.3
/proc/25585/stat : 25585 (ttsth-5-0) R 25583 25585 15497 0 -1 4202496 1489 0 0 0 30 0 0 0 20 0 1 0 654921057 6422528 1416 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134555272 0 0 1 0 0 0 0 17 14 0 0 0 0 0
/proc/25585/statm: 1568 1416 77 177 0 1390 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 6272

[startup+0.702803 s]
/proc/loadavg: 8.33 13.59 14.35 2/184 25585
/proc/meminfo: memFree=19041208/36427776 swapFree=3052/7812
[pid=25585] ppid=25583 vsize=6608 CPUtime=0.7
/proc/25585/stat : 25585 (ttsth-5-0) R 25583 25585 15497 0 -1 4202496 1560 0 0 0 70 0 0 0 20 0 1 0 654921057 6766592 1487 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134732614 0 0 1 0 0 0 0 17 14 0 0 0 0 0
/proc/25585/statm: 1652 1487 77 177 0 1474 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 6608

[startup+1.50206 s]
/proc/loadavg: 8.33 13.59 14.35 2/185 25586
/proc/meminfo: memFree=19035512/36427776 swapFree=3656/14096
[pid=25585] ppid=25583 vsize=238264 CPUtime=4.51
/proc/25585/stat : 25585 (ttsth-5-0) S 25583 25585 15497 0 -1 4202496 26919 0 0 0 179 272 0 0 20 0 17 0 654921057 243982336 26844 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/25585/statm: 59566 26844 95 177 0 59388 0
Current children cumulated CPU time (s) 4.51
Current children cumulated vsize (KiB) 238264

[startup+3.10677 s]
/proc/loadavg: 8.33 13.59 14.35 16/201 25602
/proc/meminfo: memFree=18926692/36427776 swapFree=4676/127228
[pid=25585] ppid=25583 vsize=269640 CPUtime=27.96
/proc/25585/stat : 25585 (ttsth-5-0) S 25583 25585 15497 0 -1 4202496 34364 0 0 0 1056 1740 0 0 20 0 17 0 654921057 276111360 34289 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/25585/statm: 67410 34289 95 177 0 67232 0
[pid=25585/tid=25587] ppid=25583 vsize=269640 CPUtime=0.98
/proc/25585/task/25587/stat : 25587 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 1223 0 0 0 94 4 0 0 20 0 17 0 654921184 276111360 34289 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134590120 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=25585/tid=25588] ppid=25583 vsize=269640 CPUtime=1.76
/proc/25585/task/25588/stat : 25588 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 464 0 0 0 50 126 0 0 20 0 17 0 654921184 276111360 34289 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=25585/tid=25589] ppid=25583 vsize=269640 CPUtime=1.78
/proc/25585/task/25589/stat : 25589 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 646 0 0 0 62 116 0 0 20 0 17 0 654921184 276111360 34289 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=25585/tid=25590] ppid=25583 vsize=269640 CPUtime=1.76
/proc/25585/task/25590/stat : 25590 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 414 0 0 0 54 122 0 0 20 0 17 0 654921184 276111360 34289 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=25585/tid=25591] ppid=25583 vsize=269640 CPUtime=1.76
/proc/25585/task/25591/stat : 25591 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 303 0 0 0 52 124 0 0 20 0 17 0 654921184 276111360 34289 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=25585/tid=25592] ppid=25583 vsize=269640 CPUtime=1.78
/proc/25585/task/25592/stat : 25592 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 563 0 0 0 56 122 0 0 20 0 17 0 654921184 276111360 34290 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=25585/tid=25593] ppid=25583 vsize=269640 CPUtime=1.78
/proc/25585/task/25593/stat : 25593 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 431 0 0 0 64 114 0 0 20 0 17 0 654921184 276111360 34290 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=25585/tid=25594] ppid=25583 vsize=269640 CPUtime=1.78
/proc/25585/task/25594/stat : 25594 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 385 0 0 0 50 128 0 0 20 0 17 0 654921184 276111360 34290 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=25585/tid=25595] ppid=25583 vsize=269640 CPUtime=1.78
/proc/25585/task/25595/stat : 25595 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 414 0 0 0 58 120 0 0 20 0 17 0 654921184 276111360 34290 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=25585/tid=25596] ppid=25583 vsize=269640 CPUtime=1.78
/proc/25585/task/25596/stat : 25596 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 623 0 0 0 62 116 0 0 20 0 17 0 654921184 276111360 34290 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=25585/tid=25597] ppid=25583 vsize=269640 CPUtime=1.76
/proc/25585/task/25597/stat : 25597 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 851 0 0 0 70 106 0 0 20 0 17 0 654921184 276111360 34290 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=25585/tid=25598] ppid=25583 vsize=269640 CPUtime=1.76
/proc/25585/task/25598/stat : 25598 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 678 0 0 0 62 114 0 0 20 0 17 0 654921185 276111360 34290 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=25585/tid=25599] ppid=25583 vsize=269640 CPUtime=1.74
/proc/25585/task/25599/stat : 25599 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 604 0 0 0 58 116 0 0 20 0 17 0 654921185 276111360 34290 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134587921 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=25585/tid=25600] ppid=25583 vsize=269640 CPUtime=1.76
/proc/25585/task/25600/stat : 25600 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 592 0 0 0 54 122 0 0 20 0 17 0 654921185 276111360 34290 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=25585/tid=25601] ppid=25583 vsize=269640 CPUtime=1.78
/proc/25585/task/25601/stat : 25601 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 354 0 0 0 64 114 0 0 20 0 17 0 654921185 276111360 34291 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134593356 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=25585/tid=25602] ppid=25583 vsize=269640 CPUtime=0.84
/proc/25585/task/25602/stat : 25602 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 247 0 0 0 26 58 0 0 20 0 17 0 654921188 276111360 34291 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 27.96
Current children cumulated vsize (KiB) 269640

[startup+6.3033 s]
/proc/loadavg: 8.95 13.63 14.36 17/201 25602
/proc/meminfo: memFree=18853196/36427776 swapFree=4692/198744
[pid=25585] ppid=25583 vsize=352352 CPUtime=74.66
/proc/25585/stat : 25585 (ttsth-5-0) S 25583 25585 15497 0 -1 4202496 53903 0 0 0 3770 3696 0 0 20 0 17 0 654921057 360808448 53828 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/25585/statm: 88088 53828 95 177 0 87910 0
[pid=25585/tid=25587] ppid=25583 vsize=352352 CPUtime=2.56
/proc/25585/task/25587/stat : 25587 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 2842 0 0 0 250 6 0 0 20 0 17 0 654921184 360808448 53828 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134587929 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=25585/tid=25588] ppid=25583 vsize=352352 CPUtime=4.84
/proc/25585/task/25588/stat : 25588 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 1743 0 0 0 218 266 0 0 20 0 17 0 654921184 360808448 53829 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=25585/tid=25589] ppid=25583 vsize=352352 CPUtime=4.88
/proc/25585/task/25589/stat : 25589 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 2519 0 0 0 234 254 0 0 20 0 17 0 654921184 360808448 53829 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=25585/tid=25590] ppid=25583 vsize=352352 CPUtime=4.86
/proc/25585/task/25590/stat : 25590 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 1264 0 0 0 216 270 0 0 20 0 17 0 654921184 360808448 53829 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=25585/tid=25591] ppid=25583 vsize=352352 CPUtime=4.86
/proc/25585/task/25591/stat : 25591 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 1362 0 0 0 222 264 0 0 20 0 17 0 654921184 360808448 53829 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=25585/tid=25592] ppid=25583 vsize=352352 CPUtime=4.88
/proc/25585/task/25592/stat : 25592 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 1738 0 0 0 244 244 0 0 20 0 17 0 654921184 360808448 53830 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=25585/tid=25593] ppid=25583 vsize=352352 CPUtime=4.9
/proc/25585/task/25593/stat : 25593 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 1453 0 0 0 236 254 0 0 20 0 17 0 654921184 360808448 53830 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=25585/tid=25594] ppid=25583 vsize=352352 CPUtime=4.9
/proc/25585/task/25594/stat : 25594 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 1558 0 0 0 236 254 0 0 20 0 17 0 654921184 360808448 53830 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=25585/tid=25595] ppid=25583 vsize=352352 CPUtime=4.86
/proc/25585/task/25595/stat : 25595 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 1594 0 0 0 244 242 0 0 20 0 17 0 654921184 360808448 53830 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=25585/tid=25596] ppid=25583 vsize=352352 CPUtime=4.88
/proc/25585/task/25596/stat : 25596 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 2147 0 0 0 242 246 0 0 20 0 17 0 654921184 360808448 53830 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=25585/tid=25597] ppid=25583 vsize=352352 CPUtime=4.88
/proc/25585/task/25597/stat : 25597 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 2266 0 0 0 242 246 0 0 20 0 17 0 654921184 360808448 53830 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=25585/tid=25598] ppid=25583 vsize=352352 CPUtime=4.88
/proc/25585/task/25598/stat : 25598 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 1591 0 0 0 228 260 0 0 20 0 17 0 654921185 360808448 53831 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=25585/tid=25599] ppid=25583 vsize=352352 CPUtime=4.82
/proc/25585/task/25599/stat : 25599 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 2059 0 0 0 264 218 0 0 20 0 17 0 654921185 360808448 53833 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134749337 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=25585/tid=25600] ppid=25583 vsize=352352 CPUtime=4.9
/proc/25585/task/25600/stat : 25600 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 2167 0 0 0 232 258 0 0 20 0 17 0 654921185 360808448 53833 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=25585/tid=25601] ppid=25583 vsize=352352 CPUtime=4.9
/proc/25585/task/25601/stat : 25601 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 1234 0 0 0 242 248 0 0 20 0 17 0 654921185 360808448 53833 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=25585/tid=25602] ppid=25583 vsize=352352 CPUtime=2.44
/proc/25585/task/25602/stat : 25602 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 798 0 0 0 100 144 0 0 20 0 17 0 654921188 360808448 53833 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 74.66
Current children cumulated vsize (KiB) 352352

[startup+12.7028 s]
/proc/loadavg: 9.43 13.66 14.37 17/201 25602
/proc/meminfo: memFree=18655344/36427776 swapFree=4692/397568
[pid=25585] ppid=25583 vsize=560368 CPUtime=162.84
/proc/25585/stat : 25585 (ttsth-5-0) S 25583 25585 15497 0 -1 4202496 102811 0 0 0 11744 4540 0 0 20 0 17 0 654921057 573816832 102736 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/25585/statm: 140092 102736 95 177 0 139914 0
[pid=25585/tid=25587] ppid=25583 vsize=560368 CPUtime=8.68
/proc/25585/task/25587/stat : 25587 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 8639 0 0 0 852 16 0 0 20 0 17 0 654921184 573816832 102737 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=25585/tid=25588] ppid=25583 vsize=560368 CPUtime=11
/proc/25585/task/25588/stat : 25588 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 6154 0 0 0 778 322 0 0 20 0 17 0 654921184 573816832 102738 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=25585/tid=25589] ppid=25583 vsize=560368 CPUtime=9.22
/proc/25585/task/25589/stat : 25589 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 4685 0 0 0 626 296 0 0 20 0 17 0 654921184 573816832 102738 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=25585/tid=25590] ppid=25583 vsize=560368 CPUtime=9.94
/proc/25585/task/25590/stat : 25590 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 3316 0 0 0 644 350 0 0 20 0 17 0 654921184 573816832 102738 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134593369 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=25585/tid=25591] ppid=25583 vsize=560368 CPUtime=9.34
/proc/25585/task/25591/stat : 25591 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 4193 0 0 0 604 330 0 0 20 0 17 0 654921184 573816832 102738 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134732614 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=25585/tid=25592] ppid=25583 vsize=560368 CPUtime=10.98
/proc/25585/task/25592/stat : 25592 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 4159 0 0 0 806 292 0 0 20 0 17 0 654921184 573816832 102739 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134591065 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=25585/tid=25593] ppid=25583 vsize=560368 CPUtime=11.1
/proc/25585/task/25593/stat : 25593 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 5344 0 0 0 796 314 0 0 20 0 17 0 654921184 573816832 102739 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=25585/tid=25594] ppid=25583 vsize=560368 CPUtime=11.1
/proc/25585/task/25594/stat : 25594 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 4325 0 0 0 808 302 0 0 20 0 17 0 654921184 573816832 102739 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=25585/tid=25595] ppid=25583 vsize=560368 CPUtime=10.28
/proc/25585/task/25595/stat : 25595 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 4663 0 0 0 730 298 0 0 20 0 17 0 654921184 573816832 102740 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=25585/tid=25596] ppid=25583 vsize=560368 CPUtime=11.08
/proc/25585/task/25596/stat : 25596 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 5002 0 0 0 808 300 0 0 20 0 17 0 654921184 573816832 102740 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=25585/tid=25597] ppid=25583 vsize=560368 CPUtime=11.08
/proc/25585/task/25597/stat : 25597 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 6040 0 0 0 800 308 0 0 20 0 17 0 654921184 573816832 102740 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=25585/tid=25598] ppid=25583 vsize=560368 CPUtime=11.14
/proc/25585/task/25598/stat : 25598 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 4031 0 0 0 784 330 0 0 20 0 17 0 654921185 573816832 102741 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=25585/tid=25599] ppid=25583 vsize=560368 CPUtime=10.92
/proc/25585/task/25599/stat : 25599 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 5418 0 0 0 812 280 0 0 20 0 17 0 654921185 573816832 102743 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=25585/tid=25600] ppid=25583 vsize=560368 CPUtime=8.16
/proc/25585/task/25600/stat : 25600 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 4440 0 0 0 518 298 0 0 20 0 17 0 654921185 573816832 102743 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=25585/tid=25601] ppid=25583 vsize=560368 CPUtime=11.1
/proc/25585/task/25601/stat : 25601 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 3839 0 0 0 808 302 0 0 20 0 17 0 654921185 573816832 102743 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=25585/tid=25602] ppid=25583 vsize=560368 CPUtime=6.36
/proc/25585/task/25602/stat : 25602 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 2993 0 0 0 452 184 0 0 20 0 17 0 654921188 573816832 102743 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.84
Current children cumulated vsize (KiB) 560368

[startup+25.5048 s]
/proc/loadavg: 10.88 13.77 14.39 17/201 25602
/proc/meminfo: memFree=18256668/36427776 swapFree=4692/794316
[pid=25585] ppid=25583 vsize=971812 CPUtime=333.73
/proc/25585/stat : 25585 (ttsth-5-0) S 25583 25585 15497 0 -1 4202496 199282 0 0 0 27762 5611 0 0 20 0 17 0 654921057 995135488 199207 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/25585/statm: 242953 199208 95 177 0 242775 0
[pid=25585/tid=25587] ppid=25583 vsize=971812 CPUtime=20.76
/proc/25585/task/25587/stat : 25587 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 19367 0 0 0 2044 32 0 0 20 0 17 0 654921184 995135488 199208 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=25585/tid=25588] ppid=25583 vsize=971812 CPUtime=20.08
/proc/25585/task/25588/stat : 25588 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 11886 0 0 0 1614 394 0 0 20 0 17 0 654921184 995135488 199208 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=25585/tid=25589] ppid=25583 vsize=971812 CPUtime=21.16
/proc/25585/task/25589/stat : 25589 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 10396 0 0 0 1768 348 0 0 20 0 17 0 654921184 995135488 199208 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=25585/tid=25590] ppid=25583 vsize=971812 CPUtime=18.32
/proc/25585/task/25590/stat : 25590 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 7171 0 0 0 1436 396 0 0 20 0 17 0 654921184 995135488 199208 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=25585/tid=25591] ppid=25583 vsize=971812 CPUtime=17.54
/proc/25585/task/25591/stat : 25591 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 8245 0 0 0 1354 400 0 0 20 0 17 0 654921184 995135488 199209 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=25585/tid=25592] ppid=25583 vsize=971812 CPUtime=23.12
/proc/25585/task/25592/stat : 25592 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 10740 0 0 0 1954 358 0 0 20 0 17 0 654921184 995135488 199209 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=25585/tid=25593] ppid=25583 vsize=971812 CPUtime=23.2
/proc/25585/task/25593/stat : 25593 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 12575 0 0 0 1942 378 0 0 20 0 17 0 654921184 995135488 199210 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=25585/tid=25594] ppid=25583 vsize=971812 CPUtime=23.28
/proc/25585/task/25594/stat : 25594 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 9629 0 0 0 1950 378 0 0 20 0 17 0 654921184 995135488 199210 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134561428 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=25585/tid=25595] ppid=25583 vsize=971812 CPUtime=22.42
/proc/25585/task/25595/stat : 25595 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 12563 0 0 0 1860 382 0 0 20 0 17 0 654921184 995135488 199210 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=25585/tid=25596] ppid=25583 vsize=971812 CPUtime=20.78
/proc/25585/task/25596/stat : 25596 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 10275 0 0 0 1710 368 0 0 20 0 17 0 654921184 995135488 199210 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134680737 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=25585/tid=25597] ppid=25583 vsize=971812 CPUtime=21.26
/proc/25585/task/25597/stat : 25597 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 11193 0 0 0 1738 388 0 0 20 0 17 0 654921184 995135488 199210 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=25585/tid=25598] ppid=25583 vsize=971812 CPUtime=23.36
/proc/25585/task/25598/stat : 25598 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 9057 0 0 0 1916 420 0 0 20 0 17 0 654921185 995135488 199210 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=25585/tid=25599] ppid=25583 vsize=971812 CPUtime=20.36
/proc/25585/task/25599/stat : 25599 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 10080 0 0 0 1706 330 0 0 20 0 17 0 654921185 995135488 199210 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=25585/tid=25600] ppid=25583 vsize=971812 CPUtime=18.58
/proc/25585/task/25600/stat : 25600 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 12567 0 0 0 1488 370 0 0 20 0 17 0 654921185 995135488 199210 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=25585/tid=25601] ppid=25583 vsize=971812 CPUtime=22.62
/proc/25585/task/25601/stat : 25601 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 8811 0 0 0 1872 390 0 0 20 0 17 0 654921185 995135488 199210 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134634454 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=25585/tid=25602] ppid=25583 vsize=971812 CPUtime=15.48
/proc/25585/task/25602/stat : 25602 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 9158 0 0 0 1288 260 0 0 20 0 17 0 654921188 995135488 199211 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 333.73
Current children cumulated vsize (KiB) 971812

[startup+51.1032 s]
/proc/loadavg: 12.64 13.95 14.43 17/201 25602
/proc/meminfo: memFree=17600396/36427776 swapFree=4692/1450464
[pid=25585] ppid=25583 vsize=1678540 CPUtime=678.02
/proc/25585/stat : 25585 (ttsth-5-0) S 25583 25585 15497 0 -1 4202496 364216 0 0 0 61302 6500 0 0 20 0 17 0 654921057 1718824960 364141 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/25585/statm: 419635 364143 95 177 0 419457 0
[pid=25585/tid=25587] ppid=25583 vsize=1678540 CPUtime=44.6
/proc/25585/task/25587/stat : 25587 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 35611 0 0 0 4410 50 0 0 20 0 17 0 654921184 1718824960 364143 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=25585/tid=25588] ppid=25583 vsize=1678540 CPUtime=40.37
/proc/25585/task/25588/stat : 25588 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 28152 0 0 0 3555 482 0 0 20 0 17 0 654921184 1718824960 364143 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=25585/tid=25589] ppid=25583 vsize=1678540 CPUtime=45.02
/proc/25585/task/25589/stat : 25589 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 18980 0 0 0 4098 404 0 0 20 0 17 0 654921184 1718824960 364144 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=25585/tid=25590] ppid=25583 vsize=1678540 CPUtime=37.95
/proc/25585/task/25590/stat : 25590 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 15369 0 0 0 3339 456 0 0 20 0 17 0 654921184 1718824960 364144 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=25585/tid=25591] ppid=25583 vsize=1678540 CPUtime=37.03
/proc/25585/task/25591/stat : 25591 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 20245 0 0 0 3229 474 0 0 20 0 17 0 654921184 1718824960 364145 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=25585/tid=25592] ppid=25583 vsize=1678540 CPUtime=46.25
/proc/25585/task/25592/stat : 25592 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 21049 0 0 0 4209 416 0 0 20 0 17 0 654921184 1718824960 364145 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=25585/tid=25593] ppid=25583 vsize=1678540 CPUtime=47.19
/proc/25585/task/25593/stat : 25593 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 27182 0 0 0 4285 434 0 0 20 0 17 0 654921184 1718824960 364145 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=25585/tid=25594] ppid=25583 vsize=1678540 CPUtime=43.42
/proc/25585/task/25594/stat : 25594 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 17589 0 0 0 3910 432 0 0 20 0 17 0 654921184 1718824960 364145 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=25585/tid=25595] ppid=25583 vsize=1678540 CPUtime=46.99
/proc/25585/task/25595/stat : 25595 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 17714 0 0 0 4273 426 0 0 20 0 17 0 654921184 1718824960 364145 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=25585/tid=25596] ppid=25583 vsize=1678540 CPUtime=42.81
/proc/25585/task/25596/stat : 25596 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 19704 0 0 0 3859 422 0 0 20 0 17 0 654921184 1718824960 364145 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=25585/tid=25597] ppid=25583 vsize=1678540 CPUtime=37.54
/proc/25585/task/25597/stat : 25597 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 18459 0 0 0 3322 432 0 0 20 0 17 0 654921184 1718824960 364145 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=25585/tid=25598] ppid=25583 vsize=1678540 CPUtime=45.16
/proc/25585/task/25598/stat : 25598 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 20123 0 0 0 4050 466 0 0 20 0 17 0 654921185 1718824960 364145 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=25585/tid=25599] ppid=25583 vsize=1678540 CPUtime=42.48
/proc/25585/task/25599/stat : 25599 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 16632 0 0 0 3876 372 0 0 20 0 17 0 654921185 1718824960 364145 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=25585/tid=25600] ppid=25583 vsize=1678540 CPUtime=41.82
/proc/25585/task/25600/stat : 25600 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 28331 0 0 0 3716 466 0 0 20 0 17 0 654921185 1718824960 364146 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=25585/tid=25601] ppid=25583 vsize=1678540 CPUtime=45.34
/proc/25585/task/25601/stat : 25601 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 16508 0 0 0 4096 438 0 0 20 0 17 0 654921185 1718824960 364146 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=25585/tid=25602] ppid=25583 vsize=1678540 CPUtime=32.68
/proc/25585/task/25602/stat : 25602 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 17001 0 0 0 2958 310 0 0 20 0 17 0 654921188 1718824960 364146 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 678.02
Current children cumulated vsize (KiB) 1678540



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+68.406 s]
/proc/loadavg: 13.32 14.03 14.45 7/201 25607
/proc/meminfo: memFree=17194668/36427776 swapFree=4692/1855464
[pid=25585] ppid=25583 vsize=2097984 CPUtime=923.65
/proc/25585/stat : 25585 (ttsth-5-0) S 25583 25585 15497 0 -1 4202496 461842 0 0 0 85331 7034 0 0 20 0 17 0 654921057 2148335616 461767 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/25585/statm: 524496 461767 95 177 0 524318 0
[pid=25585/tid=25587] ppid=25583 vsize=2097984 CPUtime=61.4
/proc/25585/task/25587/stat : 25587 (ttsth-5-0) D 25583 25585 15497 0 -1 4202560 46297 0 0 0 6076 64 0 0 20 0 17 0 654921184 2148335616 461767 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=25585/tid=25588] ppid=25583 vsize=2097984 CPUtime=55.93
/proc/25585/task/25588/stat : 25588 (ttsth-5-0) D 25583 25585 15497 0 -1 4202560 37254 0 0 0 5065 528 0 0 20 0 17 0 654921184 2148335616 461767 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134758964 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=25585/tid=25589] ppid=25583 vsize=2097984 CPUtime=60.68
/proc/25585/task/25589/stat : 25589 (ttsth-5-0) D 25583 25585 15497 0 -1 4202560 24189 0 0 0 5638 430 0 0 20 0 17 0 654921184 2148335616 461767 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=25585/tid=25590] ppid=25583 vsize=2097984 CPUtime=54.46
/proc/25585/task/25590/stat : 25590 (ttsth-5-0) D 25583 25585 15497 0 -1 4202560 20232 0 0 0 4940 506 0 0 20 0 17 0 654921184 2148335616 461767 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=25585/tid=25591] ppid=25583 vsize=2097984 CPUtime=45.83
/proc/25585/task/25591/stat : 25591 (ttsth-5-0) D 25583 25585 15497 0 -1 4202560 28217 0 0 0 4049 534 0 0 20 0 17 0 654921184 2148335616 461767 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=25585/tid=25592] ppid=25583 vsize=2097984 CPUtime=63.13
/proc/25585/task/25592/stat : 25592 (ttsth-5-0) D 25583 25585 15497 0 -1 4202560 26553 0 0 0 5871 442 0 0 20 0 17 0 654921184 2148335616 461767 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=25585/tid=25593] ppid=25583 vsize=2097984 CPUtime=63.48
/proc/25585/task/25593/stat : 25593 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 32282 0 0 0 5888 460 0 0 20 0 17 0 654921184 2148335616 461767 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=25585/tid=25594] ppid=25583 vsize=2097984 CPUtime=59.87
/proc/25585/task/25594/stat : 25594 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 23096 0 0 0 5525 462 0 0 20 0 17 0 654921184 2148335616 461767 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=25585/tid=25595] ppid=25583 vsize=2097984 CPUtime=63.89
/proc/25585/task/25595/stat : 25595 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 21332 0 0 0 5933 456 0 0 20 0 17 0 654921184 2148335616 461767 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=25585/tid=25596] ppid=25583 vsize=2097984 CPUtime=59.32
/proc/25585/task/25596/stat : 25596 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 25570 0 0 0 5476 456 0 0 20 0 17 0 654921184 2148335616 461767 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=25585/tid=25597] ppid=25583 vsize=2097984 CPUtime=52.35
/proc/25585/task/25597/stat : 25597 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 24009 0 0 0 4769 466 0 0 20 0 17 0 654921184 2148335616 461767 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=25585/tid=25598] ppid=25583 vsize=2097984 CPUtime=57.97
/proc/25585/task/25598/stat : 25598 (ttsth-5-0) S 25583 25585 15497 0 -1 4202560 25160 0 0 0 5309 488 0 0 20 0 17 0 654921185 2148335616 461767 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134634454 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=25585/tid=25599] ppid=25583 vsize=2097984 CPUtime=59.35
/proc/25585/task/25599/stat : 25599 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 20319 0 0 0 5537 398 0 0 20 0 17 0 654921185 2148335616 461767 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=25585/tid=25600] ppid=25583 vsize=2097984 CPUtime=58.21
/proc/25585/task/25600/stat : 25600 (ttsth-5-0) D 25583 25585 15497 0 -1 4202560 36841 0 0 0 5307 514 0 0 20 0 17 0 654921185 2148335616 461767 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=25585/tid=25601] ppid=25583 vsize=2097984 CPUtime=58.52
/proc/25585/task/25601/stat : 25601 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 20828 0 0 0 5386 466 0 0 20 0 17 0 654921185 2148335616 461767 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=25585/tid=25602] ppid=25583 vsize=2097984 CPUtime=47.88
/proc/25585/task/25602/stat : 25602 (ttsth-5-0) R 25583 25585 15497 0 -1 4202560 24091 0 0 0 4444 344 0 0 20 0 17 0 654921188 2148335616 461767 18446744073709551615 134512640 135237372 4288045120 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 923.65
Current children cumulated vsize (KiB) 2097984

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

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

[startup+68.5247 s]
/proc/loadavg: 13.32 14.03 14.45 7/201 25607
/proc/meminfo: memFree=17194668/36427776 swapFree=4692/1855464
[pid=25585] ppid=25583 vsize=0 CPUtime=923.88
/proc/25585/stat : 25585 (ttsth-5-0) Z 25583 25585 15497 0 -1 4203532 461903 0 0 0 85342 7046 0 0 20 0 2 0 654921057 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/25585/statm: 0 0 0 0 0 0 0
[pid=25585/tid=25591] ppid=25583 vsize=0 CPUtime=45.93
/proc/25585/task/25591/stat : 25591 (ttsth-5-0) R 25583 25585 15497 0 -1 4203588 28218 0 0 0 4049 544 0 0 20 0 2 0 654921184 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 923.88
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 68.6005
CPU time (s): 923.954
CPU user time (s): 853.429
CPU system time (s): 70.5244
CPU usage (%): 1346.86
Max. virtual memory (cumulated for all children) (KiB): 2097984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 853.429
system time used= 70.5244
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 461903
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= 69612
involuntary context switches= 6266

runsolver used 0.32402 second user time and 0.952059 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 07:09:07
IDJOB=1779795
IDBENCH=70899
IDSOLVER=634
FILE ID=xenhost3-49/1779795-1244956147
PBS_JOBID=
Free space on /tmp= 7024 MiB

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

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

MD5SUM BENCH= c5fb730ce517a6a48db8bb4f0db1d85a
RANDOM SEED= 1950627748

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:      19041208 kB
Buffers:        484452 kB
Cached:       14116764 kB
SwapCached:          0 kB
Active:        4130012 kB
Inactive:     10478992 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2404 kB
Writeback:           0 kB
AnonPages:        7812 kB
Mapped:           3052 kB
Slab:           723232 kB
SReclaimable:   696116 kB
SUnreclaim:      27116 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29860 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7023 MiB
End job on xenhost3-49 at 2009-06-14 07:10:17