Trace number 1776315

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) 2540.59 161.49

General information on the benchmark

Nameindustrial/grieu/
vmpc_30.cnf
MD5SUM8df6cfaff4435ad2a04367a34fb047c1
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark56.41
Satisfiable
(Un)Satisfiability was proved
Number of variables900
Number of clauses133080
Sum of the clauses size348570
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 252290
Number of clauses of size 380730
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 560

Solver Data 

0.10/0.14	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776315-1244929880.cnf 
0.10/0.14	c Using SATTIMEOUT of 10000
0.10/0.14	c Using SATRAM of 2047
0.10/0.14	c Size of subset node = 16
0.10/0.14	c Variables = 900
0.10/0.14	c Clauses = 133080
0.10/0.14	c Literals = 348570
0.10/0.14	c Reduced size:
0.10/0.14	c Variables = 900
0.10/0.14	c Clauses = 133080
0.10/0.14	c Literals = 348570
0.10/0.14	c a2
0.30/0.34	c a1
0.70/0.76	c Independent sub-problems = 1
0.70/0.76	c Sub-problem with 900 variables and 133080 clauses
0.70/0.76	c using permutation method 4
0.70/0.76	c count = 1
0.70/0.76	c Ordering finished 0.720 seconds
0.70/0.76	c mapped 0.750 seconds
0.70/0.76	c permuted 0.750 seconds
0.70/0.76	c about to sort
0.70/0.79	c sorted
1.40/1.40	c clauses now 133080
1.40/1.40	c init finished 0.810 seconds
1.40/1.40	c tree built 1.390 seconds
1.40/1.40	c 
1.40/1.40	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
1.40/1.40	c ---------------------------------|----------------------------------|------------------------------------------------------
1.40/1.40	c ................................ | ..........                       |                        1.4           0.0             
1.40/1.40	c ................................ | ..........                     1 |                        1.4           0.7             
1.40/1.40	c ................................ | ..........                     2 |                        1.4           1.4             
1.40/1.40	c ................................ | ..........                     3 |                        1.4           2.1             
1.40/1.40	c ................................ | ..........                     4 |                        1.4           2.9             
1.40/1.40	c ................................ | ..........                     5 |                        1.4           3.6             
6.95/1.82	c ................................ | ..........                  1000 | 12                     4.9         204.1        80366
206.34/15.28	c ................................ | ..........                 48000 | 2271                 204.1         235.2     15367302
402.70/27.59	c ................................ | ..........                 83000 | 3908                 400.4         207.3     28102923
608.53/40.47	c ................................ | ..........                112000 | 5670                 606.3         184.7     39870410
808.11/52.99	c ................................ | ..........                135000 | 6966                 806.4         167.4     50012179
1009.50/65.58	c ................................ | *.........                156000 | 8202                1007.6         154.8     59351380
1209.28/78.08	c ................................ | *.........                175000 | 9370                1207.4         144.9     67595880
1408.80/90.56	c ................................ | *.........                191000 | 10534               1406.7         135.8     75694409
1602.10/102.66	c ................................ | *.........                207000 | 11479               1600.1         129.4     83166826
1816.23/116.00	c ................................ | *.........                223000 | 12565               1813.4         123.0     91138241
2014.43/128.47	c ................................ | **........                236000 | 13576               2012.7         117.3     98030654

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-1776315-1244929880/watcher-1776315-1244929880 -o /tmp/evaluation-result-1776315-1244929880/solver-1776315-1244929880 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776315-1244929880.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: 15.95 13.74 8.27 2/184 18764
/proc/meminfo: memFree=19060136/36427776 swapFree=4352/8400
[pid=18764] ppid=18762 vsize=1548 CPUtime=0
/proc/18764/stat : 18764 (ttsth-5-0) R 18762 18764 15497 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 652294389 1585152 234 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134639534 0 0 1 0 0 0 0 17 8 0 0 0 0 0
/proc/18764/statm: 387 235 75 177 0 209 0

[startup+0.082862 s]
/proc/loadavg: 15.95 13.74 8.27 2/184 18764
/proc/meminfo: memFree=19060136/36427776 swapFree=4352/8400
[pid=18764] ppid=18762 vsize=6400 CPUtime=0.08
/proc/18764/stat : 18764 (ttsth-5-0) R 18762 18764 15497 0 -1 4202496 1481 0 0 0 6 2 0 0 20 0 1 0 652294389 6553600 1438 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134732614 0 0 1 0 0 0 0 17 8 0 0 0 0 0
/proc/18764/statm: 1600 1439 75 177 0 1422 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6400

[startup+0.102858 s]
/proc/loadavg: 15.95 13.74 8.27 2/184 18764
/proc/meminfo: memFree=19060136/36427776 swapFree=4352/8400
[pid=18764] ppid=18762 vsize=7768 CPUtime=0.1
/proc/18764/stat : 18764 (ttsth-5-0) R 18762 18764 15497 0 -1 4202496 1809 0 0 0 6 4 0 0 20 0 1 0 652294389 7954432 1766 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134732614 0 0 1 0 0 0 0 17 8 0 0 0 0 0
/proc/18764/statm: 1942 1767 75 177 0 1764 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7768

[startup+0.302872 s]
/proc/loadavg: 15.95 13.74 8.27 2/184 18764
/proc/meminfo: memFree=19060136/36427776 swapFree=4352/8400
[pid=18764] ppid=18762 vsize=16604 CPUtime=0.3
/proc/18764/stat : 18764 (ttsth-5-0) R 18762 18764 15497 0 -1 4202496 4039 0 0 0 24 6 0 0 20 0 1 0 652294389 17002496 3995 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134519988 0 0 1 0 0 0 0 17 8 0 0 0 0 0
/proc/18764/statm: 4151 3995 76 177 0 3973 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 16604

[startup+0.702907 s]
/proc/loadavg: 15.95 13.74 8.27 2/184 18764
/proc/meminfo: memFree=19060136/36427776 swapFree=4352/8400
[pid=18764] ppid=18762 vsize=18688 CPUtime=0.7
/proc/18764/stat : 18764 (ttsth-5-0) R 18762 18764 15497 0 -1 4202496 5892 0 0 0 64 6 0 0 20 0 1 0 652294389 19136512 4512 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134732614 0 0 1 0 0 0 0 17 8 0 0 0 0 0
/proc/18764/statm: 4672 4512 77 177 0 4494 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 18688

[startup+1.50397 s]
/proc/loadavg: 15.95 13.74 8.27 2/185 18765
/proc/meminfo: memFree=19033136/36427776 swapFree=4292/35328
[pid=18764] ppid=18762 vsize=178968 CPUtime=2.61
/proc/18764/stat : 18764 (ttsth-5-0) S 18762 18764 15497 0 -1 4202496 12857 0 0 0 136 125 0 0 20 0 17 0 652294389 183263232 11176 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18764/statm: 44742 11178 94 177 0 44564 0
Current children cumulated CPU time (s) 2.61
Current children cumulated vsize (KiB) 178968

[startup+3.10246 s]
/proc/loadavg: 15.95 13.74 8.27 17/201 18781
/proc/meminfo: memFree=19011088/36427776 swapFree=4676/61100
[pid=18764] ppid=18762 vsize=206892 CPUtime=27.66
/proc/18764/stat : 18764 (ttsth-5-0) S 18762 18764 15497 0 -1 4202496 19885 0 0 0 2327 439 0 0 20 0 17 0 652294389 211857408 18204 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18764/statm: 51723 18204 95 177 0 51545 0
[pid=18764/tid=18766] ppid=18762 vsize=206892 CPUtime=1.24
/proc/18764/task/18766/stat : 18766 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 378 0 0 0 98 26 0 0 20 0 17 0 652294529 211857408 18204 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134590160 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18764/tid=18767] ppid=18762 vsize=206892 CPUtime=1.74
/proc/18764/task/18767/stat : 18767 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 499 0 0 0 148 26 0 0 20 0 17 0 652294529 211857408 18204 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18764/tid=18768] ppid=18762 vsize=206892 CPUtime=1.76
/proc/18764/task/18768/stat : 18768 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 445 0 0 0 146 30 0 0 20 0 17 0 652294529 211857408 18204 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134591139 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18764/tid=18769] ppid=18762 vsize=206892 CPUtime=1.74
/proc/18764/task/18769/stat : 18769 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 494 0 0 0 148 26 0 0 20 0 17 0 652294529 211857408 18204 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18764/tid=18770] ppid=18762 vsize=206892 CPUtime=1.74
/proc/18764/task/18770/stat : 18770 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 355 0 0 0 148 26 0 0 20 0 17 0 652294529 211857408 18204 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18764/tid=18771] ppid=18762 vsize=206892 CPUtime=1.76
/proc/18764/task/18771/stat : 18771 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 473 0 0 0 144 32 0 0 20 0 17 0 652294529 211857408 18204 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18764/tid=18772] ppid=18762 vsize=206892 CPUtime=1.74
/proc/18764/task/18772/stat : 18772 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 549 0 0 0 144 30 0 0 20 0 17 0 652294529 211857408 18204 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134588795 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18764/tid=18773] ppid=18762 vsize=206892 CPUtime=1.74
/proc/18764/task/18773/stat : 18773 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 574 0 0 0 148 26 0 0 20 0 17 0 652294529 211857408 18204 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134590133 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18764/tid=18774] ppid=18762 vsize=206892 CPUtime=1.72
/proc/18764/task/18774/stat : 18774 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 568 0 0 0 150 22 0 0 20 0 17 0 652294529 211857408 18204 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18764/tid=18775] ppid=18762 vsize=206892 CPUtime=1.76
/proc/18764/task/18775/stat : 18775 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 532 0 0 0 146 30 0 0 20 0 17 0 652294529 211857408 18204 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134592217 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18764/tid=18776] ppid=18762 vsize=206892 CPUtime=1.72
/proc/18764/task/18776/stat : 18776 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 513 0 0 0 146 26 0 0 20 0 17 0 652294530 211857408 18205 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18764/tid=18777] ppid=18762 vsize=206892 CPUtime=1.74
/proc/18764/task/18777/stat : 18777 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 513 0 0 0 146 28 0 0 20 0 17 0 652294530 211857408 18205 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18764/tid=18778] ppid=18762 vsize=206892 CPUtime=1.34
/proc/18764/task/18778/stat : 18778 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 335 0 0 0 120 14 0 0 20 0 17 0 652294530 211857408 18205 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134590166 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18764/tid=18779] ppid=18762 vsize=206892 CPUtime=1.74
/proc/18764/task/18779/stat : 18779 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 396 0 0 0 142 32 0 0 20 0 17 0 652294530 211857408 18205 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18764/tid=18780] ppid=18762 vsize=206892 CPUtime=0.94
/proc/18764/task/18780/stat : 18780 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 268 0 0 0 74 20 0 0 20 0 17 0 652294530 211857408 18205 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18764/tid=18781] ppid=18762 vsize=206892 CPUtime=1.74
/proc/18764/task/18781/stat : 18781 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 445 0 0 0 144 30 0 0 20 0 17 0 652294530 211857408 18205 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 27.66
Current children cumulated vsize (KiB) 206892

[startup+6.30145 s]
/proc/loadavg: 15.96 13.77 8.31 17/201 18781
/proc/meminfo: memFree=18944712/36427776 swapFree=4692/127556
[pid=18764] ppid=18762 vsize=272636 CPUtime=75.33
/proc/18764/stat : 18764 (ttsth-5-0) S 18762 18764 15497 0 -1 4202496 36497 0 0 0 7094 439 0 0 20 0 17 0 652294389 279179264 34816 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18764/statm: 68159 34816 95 177 0 67981 0
[pid=18764/tid=18766] ppid=18762 vsize=272636 CPUtime=4.38
/proc/18764/task/18766/stat : 18766 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 1496 0 0 0 412 26 0 0 20 0 17 0 652294529 279179264 34816 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18764/tid=18767] ppid=18762 vsize=272636 CPUtime=4.92
/proc/18764/task/18767/stat : 18767 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 1719 0 0 0 466 26 0 0 20 0 17 0 652294529 279179264 34816 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18764/tid=18768] ppid=18762 vsize=272636 CPUtime=4.96
/proc/18764/task/18768/stat : 18768 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 1610 0 0 0 466 30 0 0 20 0 17 0 652294529 279179264 34816 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134550999 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18764/tid=18769] ppid=18762 vsize=272636 CPUtime=4.9
/proc/18764/task/18769/stat : 18769 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 1508 0 0 0 464 26 0 0 20 0 17 0 652294529 279179264 34817 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18764/tid=18770] ppid=18762 vsize=272636 CPUtime=4.92
/proc/18764/task/18770/stat : 18770 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 1484 0 0 0 466 26 0 0 20 0 17 0 652294529 279179264 34817 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18764/tid=18771] ppid=18762 vsize=272636 CPUtime=4.96
/proc/18764/task/18771/stat : 18771 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 1543 0 0 0 464 32 0 0 20 0 17 0 652294529 279179264 34818 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134591076 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18764/tid=18772] ppid=18762 vsize=272636 CPUtime=4.92
/proc/18764/task/18772/stat : 18772 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 1758 0 0 0 462 30 0 0 20 0 17 0 652294529 279179264 34818 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18764/tid=18773] ppid=18762 vsize=272636 CPUtime=4.92
/proc/18764/task/18773/stat : 18773 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 1471 0 0 0 466 26 0 0 20 0 17 0 652294529 279179264 34818 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18764/tid=18774] ppid=18762 vsize=272636 CPUtime=4.9
/proc/18764/task/18774/stat : 18774 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 1624 0 0 0 468 22 0 0 20 0 17 0 652294529 279179264 34818 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134592435 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18764/tid=18775] ppid=18762 vsize=272636 CPUtime=4.92
/proc/18764/task/18775/stat : 18775 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 1707 0 0 0 462 30 0 0 20 0 17 0 652294529 279179264 34818 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18764/tid=18776] ppid=18762 vsize=272636 CPUtime=3.36
/proc/18764/task/18776/stat : 18776 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 1025 0 0 0 310 26 0 0 20 0 17 0 652294530 279179264 34820 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134590180 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18764/tid=18777] ppid=18762 vsize=272636 CPUtime=4.92
/proc/18764/task/18777/stat : 18777 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 1745 0 0 0 464 28 0 0 20 0 17 0 652294530 279179264 34820 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134591082 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18764/tid=18778] ppid=18762 vsize=272636 CPUtime=4.42
/proc/18764/task/18778/stat : 18778 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 1496 0 0 0 428 14 0 0 20 0 17 0 652294530 279179264 34820 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562351 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18764/tid=18779] ppid=18762 vsize=272636 CPUtime=4.94
/proc/18764/task/18779/stat : 18779 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 1274 0 0 0 462 32 0 0 20 0 17 0 652294530 279179264 34820 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134591096 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18764/tid=18780] ppid=18762 vsize=272636 CPUtime=2.52
/proc/18764/task/18780/stat : 18780 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 765 0 0 0 232 20 0 0 20 0 17 0 652294530 279179264 34820 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562320 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18764/tid=18781] ppid=18762 vsize=272636 CPUtime=4.94
/proc/18764/task/18781/stat : 18781 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 1724 0 0 0 464 30 0 0 20 0 17 0 652294530 279179264 34821 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 75.33
Current children cumulated vsize (KiB) 272636

[startup+12.7033 s]
/proc/loadavg: 15.96 13.81 8.35 17/201 18781
/proc/meminfo: memFree=18809952/36427776 swapFree=4692/261620
[pid=18764] ppid=18762 vsize=400996 CPUtime=169.3
/proc/18764/stat : 18764 (ttsth-5-0) S 18762 18764 15497 0 -1 4202496 68577 0 0 0 16476 454 0 0 20 0 17 0 652294389 410619904 66896 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18764/statm: 100249 66897 95 177 0 100071 0
[pid=18764/tid=18766] ppid=18762 vsize=400996 CPUtime=10.66
/proc/18764/task/18766/stat : 18766 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 3873 0 0 0 1040 26 0 0 20 0 17 0 652294529 410619904 66897 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18764/tid=18767] ppid=18762 vsize=400996 CPUtime=11.2
/proc/18764/task/18767/stat : 18767 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 4257 0 0 0 1094 26 0 0 20 0 17 0 652294529 410619904 66897 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18764/tid=18768] ppid=18762 vsize=400996 CPUtime=9.28
/proc/18764/task/18768/stat : 18768 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 3051 0 0 0 898 30 0 0 20 0 17 0 652294529 410619904 66897 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18764/tid=18769] ppid=18762 vsize=400996 CPUtime=11.18
/proc/18764/task/18769/stat : 18769 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 3927 0 0 0 1088 30 0 0 20 0 17 0 652294529 410619904 66897 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134590190 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18764/tid=18770] ppid=18762 vsize=400996 CPUtime=11.16
/proc/18764/task/18770/stat : 18770 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 3419 0 0 0 1090 26 0 0 20 0 17 0 652294529 410619904 66897 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18764/tid=18771] ppid=18762 vsize=400996 CPUtime=11.24
/proc/18764/task/18771/stat : 18771 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 3596 0 0 0 1092 32 0 0 20 0 17 0 652294529 410619904 66897 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18764/tid=18772] ppid=18762 vsize=400996 CPUtime=11.18
/proc/18764/task/18772/stat : 18772 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 3866 0 0 0 1088 30 0 0 20 0 17 0 652294529 410619904 66897 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18764/tid=18773] ppid=18762 vsize=400996 CPUtime=11.18
/proc/18764/task/18773/stat : 18773 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 3612 0 0 0 1090 28 0 0 20 0 17 0 652294529 410619904 66897 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18764/tid=18774] ppid=18762 vsize=400996 CPUtime=11.16
/proc/18764/task/18774/stat : 18774 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 3468 0 0 0 1088 28 0 0 20 0 17 0 652294529 410619904 66898 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134590638 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18764/tid=18775] ppid=18762 vsize=400996 CPUtime=11.16
/proc/18764/task/18775/stat : 18775 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 4315 0 0 0 1086 30 0 0 20 0 17 0 652294529 410619904 66898 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18764/tid=18776] ppid=18762 vsize=400996 CPUtime=8.46
/proc/18764/task/18776/stat : 18776 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 2505 0 0 0 820 26 0 0 20 0 17 0 652294530 410619904 66898 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18764/tid=18777] ppid=18762 vsize=400996 CPUtime=11.18
/proc/18764/task/18777/stat : 18777 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 3612 0 0 0 1090 28 0 0 20 0 17 0 652294530 410619904 66898 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18764/tid=18778] ppid=18762 vsize=400996 CPUtime=10.58
/proc/18764/task/18778/stat : 18778 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 3523 0 0 0 1040 18 0 0 20 0 17 0 652294530 410619904 66898 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562341 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18764/tid=18779] ppid=18762 vsize=400996 CPUtime=11.2
/proc/18764/task/18779/stat : 18779 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 3275 0 0 0 1088 32 0 0 20 0 17 0 652294530 410619904 66898 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134561510 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18764/tid=18780] ppid=18762 vsize=400996 CPUtime=7.68
/proc/18764/task/18780/stat : 18780 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 2568 0 0 0 748 20 0 0 20 0 17 0 652294530 410619904 66898 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18764/tid=18781] ppid=18762 vsize=400996 CPUtime=9.28
/proc/18764/task/18781/stat : 18781 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 3162 0 0 0 898 30 0 0 20 0 17 0 652294530 410619904 66898 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 169.3
Current children cumulated vsize (KiB) 400996

[startup+25.5064 s]
/proc/loadavg: 15.97 13.92 8.48 17/201 18781
/proc/meminfo: memFree=18569660/36427776 swapFree=4692/500748
[pid=18764] ppid=18762 vsize=633892 CPUtime=370.68
/proc/18764/stat : 18764 (ttsth-5-0) S 18762 18764 15497 0 -1 4202496 126808 0 0 0 36508 560 0 0 20 0 17 0 652294389 649105408 125127 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18764/statm: 158473 125128 95 177 0 158295 0
[pid=18764/tid=18766] ppid=18762 vsize=633892 CPUtime=23.38
/proc/18764/task/18766/stat : 18766 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 8280 0 0 0 2310 28 0 0 20 0 17 0 652294529 649105408 125128 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562328 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18764/tid=18767] ppid=18762 vsize=633892 CPUtime=23.94
/proc/18764/task/18767/stat : 18767 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 8768 0 0 0 2360 34 0 0 20 0 17 0 652294529 649105408 125128 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18764/tid=18768] ppid=18762 vsize=633892 CPUtime=20.86
/proc/18764/task/18768/stat : 18768 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 6514 0 0 0 2056 30 0 0 20 0 17 0 652294529 649105408 125128 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18764/tid=18769] ppid=18762 vsize=633892 CPUtime=23.94
/proc/18764/task/18769/stat : 18769 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 8457 0 0 0 2358 36 0 0 20 0 17 0 652294529 649105408 125128 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134587833 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18764/tid=18770] ppid=18762 vsize=633892 CPUtime=23.88
/proc/18764/task/18770/stat : 18770 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 7310 0 0 0 2356 32 0 0 20 0 17 0 652294529 649105408 125128 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18764/tid=18771] ppid=18762 vsize=633892 CPUtime=23.94
/proc/18764/task/18771/stat : 18771 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 7334 0 0 0 2358 36 0 0 20 0 17 0 652294529 649105408 125128 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18764/tid=18772] ppid=18762 vsize=633892 CPUtime=23.94
/proc/18764/task/18772/stat : 18772 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 6859 0 0 0 2356 38 0 0 20 0 17 0 652294529 649105408 125128 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18764/tid=18773] ppid=18762 vsize=633892 CPUtime=23.92
/proc/18764/task/18773/stat : 18773 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 6805 0 0 0 2354 38 0 0 20 0 17 0 652294529 649105408 125128 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18764/tid=18774] ppid=18762 vsize=633892 CPUtime=23.92
/proc/18764/task/18774/stat : 18774 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 7055 0 0 0 2350 42 0 0 20 0 17 0 652294529 649105408 125128 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134589550 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18764/tid=18775] ppid=18762 vsize=633892 CPUtime=23.96
/proc/18764/task/18775/stat : 18775 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 7988 0 0 0 2358 38 0 0 20 0 17 0 652294529 649105408 125128 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134590245 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18764/tid=18776] ppid=18762 vsize=633892 CPUtime=21.22
/proc/18764/task/18776/stat : 18776 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 5736 0 0 0 2088 34 0 0 20 0 17 0 652294530 649105408 125128 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562272 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18764/tid=18777] ppid=18762 vsize=633892 CPUtime=23.92
/proc/18764/task/18777/stat : 18777 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 7165 0 0 0 2354 38 0 0 20 0 17 0 652294530 649105408 125129 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18764/tid=18778] ppid=18762 vsize=633892 CPUtime=23.1
/proc/18764/task/18778/stat : 18778 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 6788 0 0 0 2286 24 0 0 20 0 17 0 652294530 649105408 125129 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18764/tid=18779] ppid=18762 vsize=633892 CPUtime=23.94
/proc/18764/task/18779/stat : 18779 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 6464 0 0 0 2354 40 0 0 20 0 17 0 652294530 649105408 125129 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18764/tid=18780] ppid=18762 vsize=633892 CPUtime=20.42
/proc/18764/task/18780/stat : 18780 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 6164 0 0 0 2018 24 0 0 20 0 17 0 652294530 649105408 125130 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18764/tid=18781] ppid=18762 vsize=633892 CPUtime=20.86
/proc/18764/task/18781/stat : 18781 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 6573 0 0 0 2052 34 0 0 20 0 17 0 652294530 649105408 125130 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134591106 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 370.68
Current children cumulated vsize (KiB) 633892

[startup+51.1048 s]
/proc/loadavg: 16.06 14.10 8.68 17/201 18781
/proc/meminfo: memFree=18191900/36427776 swapFree=4692/877720
[pid=18764] ppid=18762 vsize=1010628 CPUtime=779.41
/proc/18764/stat : 18764 (ttsth-5-0) S 18762 18764 15497 0 -1 4202496 220961 0 0 0 77195 746 0 0 20 0 17 0 652294389 1034883072 219280 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18764/statm: 252657 219280 95 177 0 252479 0
[pid=18764/tid=18766] ppid=18762 vsize=1010628 CPUtime=48.96
/proc/18764/task/18766/stat : 18766 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 14606 0 0 0 4856 40 0 0 20 0 17 0 652294529 1034883072 219281 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18764/tid=18767] ppid=18762 vsize=1010628 CPUtime=49.53
/proc/18764/task/18767/stat : 18767 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 15066 0 0 0 4913 40 0 0 20 0 17 0 652294529 1034883072 219281 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18764/tid=18768] ppid=18762 vsize=1010628 CPUtime=46.41
/proc/18764/task/18768/stat : 18768 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 12147 0 0 0 4605 36 0 0 20 0 17 0 652294529 1034883072 219281 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18764/tid=18769] ppid=18762 vsize=1010628 CPUtime=49.53
/proc/18764/task/18769/stat : 18769 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 14148 0 0 0 4903 50 0 0 20 0 17 0 652294529 1034883072 219281 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18764/tid=18770] ppid=18762 vsize=1010628 CPUtime=49.46
/proc/18764/task/18770/stat : 18770 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 13309 0 0 0 4902 44 0 0 20 0 17 0 652294529 1034883072 219281 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134561428 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18764/tid=18771] ppid=18762 vsize=1010628 CPUtime=49.53
/proc/18764/task/18771/stat : 18771 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 13518 0 0 0 4907 46 0 0 20 0 17 0 652294529 1034883072 219282 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18764/tid=18772] ppid=18762 vsize=1010628 CPUtime=49.53
/proc/18764/task/18772/stat : 18772 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 12304 0 0 0 4903 50 0 0 20 0 17 0 652294529 1034883072 219282 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18764/tid=18773] ppid=18762 vsize=1010628 CPUtime=49.49
/proc/18764/task/18773/stat : 18773 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 13355 0 0 0 4901 48 0 0 20 0 17 0 652294529 1034883072 219282 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18764/tid=18774] ppid=18762 vsize=1010628 CPUtime=49.51
/proc/18764/task/18774/stat : 18774 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 12652 0 0 0 4895 56 0 0 20 0 17 0 652294529 1034883072 219282 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18764/tid=18775] ppid=18762 vsize=1010628 CPUtime=49.53
/proc/18764/task/18775/stat : 18775 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 14931 0 0 0 4897 56 0 0 20 0 17 0 652294529 1034883072 219282 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18764/tid=18776] ppid=18762 vsize=1010628 CPUtime=46.79
/proc/18764/task/18776/stat : 18776 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 11510 0 0 0 4633 46 0 0 20 0 17 0 652294530 1034883072 219283 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18764/tid=18777] ppid=18762 vsize=1010628 CPUtime=49.51
/proc/18764/task/18777/stat : 18777 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 12841 0 0 0 4901 50 0 0 20 0 17 0 652294530 1034883072 219283 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18764/tid=18778] ppid=18762 vsize=1010628 CPUtime=48.17
/proc/18764/task/18778/stat : 18778 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 12580 0 0 0 4779 38 0 0 20 0 17 0 652294530 1034883072 219283 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562351 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18764/tid=18779] ppid=18762 vsize=1010628 CPUtime=49.51
/proc/18764/task/18779/stat : 18779 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 11722 0 0 0 4901 50 0 0 20 0 17 0 652294530 1034883072 219283 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18764/tid=18780] ppid=18762 vsize=1010628 CPUtime=46.01
/proc/18764/task/18780/stat : 18780 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 11387 0 0 0 4569 32 0 0 20 0 17 0 652294530 1034883072 219283 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562328 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18764/tid=18781] ppid=18762 vsize=1010628 CPUtime=46.44
/proc/18764/task/18781/stat : 18781 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 12338 0 0 0 4596 48 0 0 20 0 17 0 652294530 1034883072 219283 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 779.41
Current children cumulated vsize (KiB) 1010628

[startup+102.315 s]
/proc/loadavg: 16.02 14.39 9.06 17/201 18781
/proc/meminfo: memFree=17619332/36427776 swapFree=4692/1450964
[pid=18764] ppid=18762 vsize=1575656 CPUtime=1597.51
/proc/18764/stat : 18764 (ttsth-5-0) S 18762 18764 15497 0 -1 4202496 362246 0 0 0 158721 1030 0 0 20 0 17 0 652294389 1613471744 360566 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18764/statm: 393914 360567 95 177 0 393736 0
[pid=18764/tid=18766] ppid=18762 vsize=1575656 CPUtime=100.18
/proc/18764/task/18766/stat : 18766 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 23448 0 0 0 9964 54 0 0 20 0 17 0 652294529 1613471744 360567 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18764/tid=18767] ppid=18762 vsize=1575656 CPUtime=100.73
/proc/18764/task/18767/stat : 18767 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 23973 0 0 0 10013 60 0 0 20 0 17 0 652294529 1613471744 360567 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18764/tid=18768] ppid=18762 vsize=1575656 CPUtime=97.6
/proc/18764/task/18768/stat : 18768 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 21758 0 0 0 9704 56 0 0 20 0 17 0 652294529 1613471744 360567 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18764/tid=18769] ppid=18762 vsize=1575656 CPUtime=100.71
/proc/18764/task/18769/stat : 18769 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 23032 0 0 0 10005 66 0 0 20 0 17 0 652294529 1613471744 360567 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18764/tid=18770] ppid=18762 vsize=1575656 CPUtime=100.64
/proc/18764/task/18770/stat : 18770 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 22006 0 0 0 10002 62 0 0 20 0 17 0 652294529 1613471744 360567 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18764/tid=18771] ppid=18762 vsize=1575656 CPUtime=100.72
/proc/18764/task/18771/stat : 18771 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 23005 0 0 0 10006 66 0 0 20 0 17 0 652294529 1613471744 360567 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18764/tid=18772] ppid=18762 vsize=1575656 CPUtime=100.7
/proc/18764/task/18772/stat : 18772 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 21065 0 0 0 10002 68 0 0 20 0 17 0 652294529 1613471744 360568 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18764/tid=18773] ppid=18762 vsize=1575656 CPUtime=100.68
/proc/18764/task/18773/stat : 18773 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 22602 0 0 0 10004 64 0 0 20 0 17 0 652294529 1613471744 360568 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18764/tid=18774] ppid=18762 vsize=1575656 CPUtime=100.71
/proc/18764/task/18774/stat : 18774 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 21250 0 0 0 9999 72 0 0 20 0 17 0 652294529 1613471744 360568 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18764/tid=18775] ppid=18762 vsize=1575656 CPUtime=100.72
/proc/18764/task/18775/stat : 18775 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 23962 0 0 0 9996 76 0 0 20 0 17 0 652294529 1613471744 360568 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18764/tid=18776] ppid=18762 vsize=1575656 CPUtime=97.99
/proc/18764/task/18776/stat : 18776 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 19909 0 0 0 9737 62 0 0 20 0 17 0 652294530 1613471744 360568 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18764/tid=18777] ppid=18762 vsize=1575656 CPUtime=100.69
/proc/18764/task/18777/stat : 18777 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 21065 0 0 0 10003 66 0 0 20 0 17 0 652294530 1613471744 360568 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18764/tid=18778] ppid=18762 vsize=1575656 CPUtime=98.34
/proc/18764/task/18778/stat : 18778 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 21909 0 0 0 9776 58 0 0 20 0 17 0 652294530 1613471744 360568 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18764/tid=18779] ppid=18762 vsize=1575656 CPUtime=100.71
/proc/18764/task/18779/stat : 18779 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 19321 0 0 0 10005 66 0 0 20 0 17 0 652294530 1613471744 360568 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18764/tid=18780] ppid=18762 vsize=1575656 CPUtime=97.19
/proc/18764/task/18780/stat : 18780 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 19929 0 0 0 9669 50 0 0 20 0 17 0 652294530 1613471744 360568 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18764/tid=18781] ppid=18762 vsize=1575656 CPUtime=97.63
/proc/18764/task/18781/stat : 18781 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 21466 0 0 0 9695 68 0 0 20 0 17 0 652294530 1613471744 360568 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 1597.51
Current children cumulated vsize (KiB) 1575656



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+161.304 s]
/proc/loadavg: 16.01 14.68 9.49 17/201 18781
/proc/meminfo: memFree=17097384/36427776 swapFree=4692/1972148
[pid=18764] ppid=18762 vsize=2096936 CPUtime=2540.25
/proc/18764/stat : 18764 (ttsth-5-0) S 18762 18764 15497 0 -1 4202496 492566 0 0 0 252739 1286 0 0 20 0 17 0 652294389 2147262464 490885 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18764/statm: 524234 490885 95 177 0 524056 0
[pid=18764/tid=18766] ppid=18762 vsize=2096936 CPUtime=159.16
/proc/18764/task/18766/stat : 18766 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 31653 0 0 0 15846 70 0 0 20 0 17 0 652294529 2147262464 490885 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18764/tid=18767] ppid=18762 vsize=2096936 CPUtime=159.72
/proc/18764/task/18767/stat : 18767 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 31738 0 0 0 15900 72 0 0 20 0 17 0 652294529 2147262464 490885 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18764/tid=18768] ppid=18762 vsize=2096936 CPUtime=156.61
/proc/18764/task/18768/stat : 18768 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 29630 0 0 0 15591 70 0 0 20 0 17 0 652294529 2147262464 490885 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562351 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18764/tid=18769] ppid=18762 vsize=2096936 CPUtime=159.72
/proc/18764/task/18769/stat : 18769 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 31987 0 0 0 15892 80 0 0 20 0 17 0 652294529 2147262464 490885 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562351 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18764/tid=18770] ppid=18762 vsize=2096936 CPUtime=159.65
/proc/18764/task/18770/stat : 18770 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 30767 0 0 0 15885 80 0 0 20 0 17 0 652294529 2147262464 490885 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18764/tid=18771] ppid=18762 vsize=2096936 CPUtime=159.72
/proc/18764/task/18771/stat : 18771 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 31541 0 0 0 15882 90 0 0 20 0 17 0 652294529 2147262464 490885 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18764/tid=18772] ppid=18762 vsize=2096936 CPUtime=159.7
/proc/18764/task/18772/stat : 18772 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 29824 0 0 0 15888 82 0 0 20 0 17 0 652294529 2147262464 490885 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18764/tid=18773] ppid=18762 vsize=2096936 CPUtime=159.68
/proc/18764/task/18773/stat : 18773 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 31362 0 0 0 15888 80 0 0 20 0 17 0 652294529 2147262464 490885 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134561428 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18764/tid=18774] ppid=18762 vsize=2096936 CPUtime=159.71
/proc/18764/task/18774/stat : 18774 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 28910 0 0 0 15879 92 0 0 20 0 17 0 652294529 2147262464 490885 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18764/tid=18775] ppid=18762 vsize=2096936 CPUtime=159.71
/proc/18764/task/18775/stat : 18775 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 32379 0 0 0 15881 90 0 0 20 0 17 0 652294529 2147262464 490885 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18764/tid=18776] ppid=18762 vsize=2096936 CPUtime=156.99
/proc/18764/task/18776/stat : 18776 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 26962 0 0 0 15625 74 0 0 20 0 17 0 652294530 2147262464 490885 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18764/tid=18777] ppid=18762 vsize=2096936 CPUtime=159.69
/proc/18764/task/18777/stat : 18777 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 28566 0 0 0 15883 86 0 0 20 0 17 0 652294530 2147262464 490885 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18764/tid=18778] ppid=18762 vsize=2096936 CPUtime=156.14
/proc/18764/task/18778/stat : 18778 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 29955 0 0 0 15536 78 0 0 20 0 17 0 652294530 2147262464 490885 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18764/tid=18779] ppid=18762 vsize=2096936 CPUtime=159.7
/proc/18764/task/18779/stat : 18779 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 26763 0 0 0 15888 82 0 0 20 0 17 0 652294530 2147262464 490885 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562363 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18764/tid=18780] ppid=18762 vsize=2096936 CPUtime=156.18
/proc/18764/task/18780/stat : 18780 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 27411 0 0 0 15554 64 0 0 20 0 17 0 652294530 2147262464 490885 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18764/tid=18781] ppid=18762 vsize=2096936 CPUtime=156.63
/proc/18764/task/18781/stat : 18781 (ttsth-5-0) R 18762 18764 15497 0 -1 4202560 30569 0 0 0 15579 84 0 0 20 0 17 0 652294530 2147262464 490885 18446744073709551615 134512640 135237372 4292086816 18446744073709551615 134561428 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 2540.25
Current children cumulated vsize (KiB) 2096936

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

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

[startup+161.425 s]
/proc/loadavg: 16.01 14.68 9.49 17/201 18781
/proc/meminfo: memFree=17097384/36427776 swapFree=4692/1972148
[pid=18764] ppid=18762 vsize=0 CPUtime=2540.52
/proc/18764/stat : 18764 (ttsth-5-0) Z 18762 18764 15497 0 -1 4203532 492574 0 0 0 252756 1296 0 0 20 0 2 0 652294389 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18764/statm: 0 0 0 0 0 0 0
[pid=18764/tid=18776] ppid=18762 vsize=0 CPUtime=157.09
/proc/18764/task/18776/stat : 18776 (ttsth-5-0) R 18762 18764 15497 0 -1 4203588 26962 0 0 0 15625 84 0 0 20 0 2 0 652294530 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 2540.52
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 161.49
CPU time (s): 2540.59
CPU user time (s): 2527.57
CPU system time (s): 13.0168
CPU usage (%): 1573.22
Max. virtual memory (cumulated for all children) (KiB): 2096936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2527.57
system time used= 13.0168
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 492574
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= 11482
involuntary context switches= 6220

runsolver used 0.748046 second user time and 2.50816 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-13 23:51:20
IDJOB=1776315
IDBENCH=20487
IDSOLVER=634
FILE ID=xenhost3-49/1776315-1244929880
PBS_JOBID=
Free space on /tmp= 7024 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT07/industrial/grieu/vmpc_30.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776315-1244929880/watcher-1776315-1244929880 -o /tmp/evaluation-result-1776315-1244929880/solver-1776315-1244929880 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776315-1244929880.cnf

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

MD5SUM BENCH= 8df6cfaff4435ad2a04367a34fb047c1
RANDOM SEED= 1102966596

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:      19060580 kB
Buffers:        472604 kB
Cached:       14116656 kB
SwapCached:          0 kB
Active:        4118984 kB
Inactive:     10479312 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2680 kB
Writeback:           0 kB
AnonPages:        8400 kB
Mapped:           3688 kB
Slab:           717284 kB
SReclaimable:   690508 kB
SUnreclaim:      26776 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29736 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7024 MiB
End job on xenhost3-49 at 2009-06-13 23:54:04