Trace number 1775910

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) 1971.83 126.593

General information on the benchmark

Nameindustrial/fuhs/hard/
AProVE07-25.cnf
MD5SUM0acd143a4e60b38309663b5993b5ded9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables8920
Number of clauses31884
Sum of the clauses size83706
Maximum clause length229
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 215331
Number of clauses of size 314327
Number of clauses of size 41469
Number of clauses of size 5588
Number of clauses of size over 5168

Solver Data 

0.00/0.04	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1775910-1244922485.cnf 
0.00/0.04	c Using SATTIMEOUT of 10000
0.00/0.04	c Using SATRAM of 2047
0.00/0.04	c Size of subset node = 16
0.00/0.04	c Variables = 8920
0.00/0.04	c Clauses = 31884
0.00/0.04	c Literals = 83706
0.00/0.04	c Reduced size:
0.00/0.04	c Variables = 8920
0.00/0.04	c Clauses = 30972
0.00/0.04	c Literals = 81428
0.00/0.04	c a2
0.04/0.08	c a1
0.70/0.79	c Independent sub-problems = 1
0.70/0.79	c Sub-problem with 8690 variables and 30972 clauses
0.70/0.79	c using permutation method 4
0.70/0.79	c count = 1
0.70/0.79	c Ordering finished 0.770 seconds
0.70/0.79	c mapped 0.780 seconds
0.70/0.79	c permuted 0.780 seconds
0.70/0.79	c about to sort
0.70/0.79	c sorted
1.00/1.07	c clauses now 30972
1.00/1.07	c init finished 0.960 seconds
1.00/1.07	c tree built 1.070 seconds
1.00/1.07	c 
1.00/1.07	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
1.00/1.07	c ---------------------------------|----------------------------------|------------------------------------------------------
1.00/1.07	c ................................ | ..........                       |                        1.1           0.0             
1.00/1.07	c ................................ | ..........                     1 |                        1.1           0.9             
1.00/1.07	c ................................ | ..........                     2 |                        1.1           1.9             
1.00/1.07	c ................................ | ..........                     3 |                        1.1           2.8             
1.00/1.07	c ................................ | ..........                     4 |                        1.1           3.7             
1.00/1.07	c ................................ | ..........                     5 |                        1.1           4.7             
1.00/1.07	c ................................ | ..........                  1000 | 20                     1.1         925.9          238
298.72/20.15	c ................................ | ..........                807000 | 56071                200.1        4033.4     11319132
576.30/37.90	c ................................ | ..........               1320000 | 89872                400.0        3299.7     23402807
847.80/55.16	c ................................ | ..........               1661000 | 112384               600.0        2768.2     35396192
1103.73/71.46	c ................................ | ..........               2076000 | 142564               800.3        2594.2     48850669
1328.77/85.79	c ................................ | *.........               2474000 | 171760              1000.3        2473.3     63763921
1550.97/99.87	c ................................ | *.........               2803000 | 197451              1200.5        2334.9     77702558
1770.51/113.76	c ................................ | *.........               3096000 | 220281              1401.3        2209.3     90973591

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-1775910-1244922485/watcher-1775910-1244922485 -o /tmp/evaluation-result-1775910-1244922485/solver-1775910-1244922485 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1775910-1244922485.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.57 13.60 8.21 2/184 16886
/proc/meminfo: memFree=19081016/36427776 swapFree=4348/7672
[pid=16886] ppid=16884 vsize=1548 CPUtime=0
/proc/16886/stat : 16886 (ttsth-5-0) R 16884 16886 15497 0 -1 4202496 260 0 0 0 0 0 0 0 20 0 1 0 651554895 1585152 216 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134639534 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/16886/statm: 387 216 74 177 0 209 0

[startup+0.053348 s]
/proc/loadavg: 15.57 13.60 8.21 2/184 16886
/proc/meminfo: memFree=19081016/36427776 swapFree=4348/7672
[pid=16886] ppid=16884 vsize=5456 CPUtime=0.04
/proc/16886/stat : 16886 (ttsth-5-0) R 16884 16886 15497 0 -1 4202496 1227 0 0 0 4 0 0 0 20 0 1 0 651554895 5586944 1182 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134680464 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/16886/statm: 1364 1182 76 177 0 1186 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5456

[startup+0.101359 s]
/proc/loadavg: 15.57 13.60 8.21 2/184 16886
/proc/meminfo: memFree=19081016/36427776 swapFree=4348/7672
[pid=16886] ppid=16884 vsize=5696 CPUtime=0.1
/proc/16886/stat : 16886 (ttsth-5-0) R 16884 16886 15497 0 -1 4202496 1322 0 0 0 10 0 0 0 20 0 1 0 651554895 5832704 1245 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134600088 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/16886/statm: 1424 1245 77 177 0 1246 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5696

[startup+0.301363 s]
/proc/loadavg: 15.57 13.60 8.21 2/184 16886
/proc/meminfo: memFree=19081016/36427776 swapFree=4348/7672
[pid=16886] ppid=16884 vsize=6752 CPUtime=0.3
/proc/16886/stat : 16886 (ttsth-5-0) R 16884 16886 15497 0 -1 4202496 1599 0 0 0 30 0 0 0 20 0 1 0 651554895 6914048 1522 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134553966 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/16886/statm: 1688 1522 77 177 0 1510 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 6752

[startup+0.701387 s]
/proc/loadavg: 15.57 13.60 8.21 2/184 16886
/proc/meminfo: memFree=19081016/36427776 swapFree=4348/7672
[pid=16886] ppid=16884 vsize=7016 CPUtime=0.7
/proc/16886/stat : 16886 (ttsth-5-0) R 16884 16886 15497 0 -1 4202496 1651 0 0 0 70 0 0 0 20 0 1 0 651554895 7184384 1574 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134550999 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/16886/statm: 1754 1574 77 177 0 1576 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 7016

[startup+1.50375 s]
/proc/loadavg: 14.41 13.39 8.17 2/185 16887
/proc/meminfo: memFree=18984748/36427776 swapFree=4848/103580
[pid=16886] ppid=16884 vsize=243864 CPUtime=7.51
/proc/16886/stat : 16886 (ttsth-5-0) S 16884 16886 15497 0 -1 4202496 28352 0 0 0 223 528 0 0 20 0 17 0 651554895 249716736 28273 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16886/statm: 60966 28274 95 177 0 60788 0
Current children cumulated CPU time (s) 7.51
Current children cumulated vsize (KiB) 243864

[startup+3.10615 s]
/proc/loadavg: 14.41 13.39 8.17 17/201 16903
/proc/meminfo: memFree=18960972/36427776 swapFree=4692/129140
[pid=16886] ppid=16884 vsize=267476 CPUtime=32.12
/proc/16886/stat : 16886 (ttsth-5-0) S 16884 16886 15497 0 -1 4202496 34613 0 0 0 1041 2171 0 0 20 0 17 0 651554895 273895424 34534 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16886/statm: 66869 34534 95 177 0 66691 0
[pid=16886/tid=16888] ppid=16884 vsize=267476 CPUtime=1.9
/proc/16886/task/16888/stat : 16888 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 1861 0 0 0 154 36 0 0 20 0 17 0 651555003 273895424 34534 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=16886/tid=16889] ppid=16884 vsize=267476 CPUtime=1.94
/proc/16886/task/16889/stat : 16889 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 437 0 0 0 56 138 0 0 20 0 17 0 651555003 273895424 34534 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=16886/tid=16890] ppid=16884 vsize=267476 CPUtime=1.94
/proc/16886/task/16890/stat : 16890 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 562 0 0 0 54 140 0 0 20 0 17 0 651555003 273895424 34534 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=16886/tid=16891] ppid=16884 vsize=267476 CPUtime=1.96
/proc/16886/task/16891/stat : 16891 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 394 0 0 0 56 140 0 0 20 0 17 0 651555003 273895424 34535 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134732614 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=16886/tid=16892] ppid=16884 vsize=267476 CPUtime=1.94
/proc/16886/task/16892/stat : 16892 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 552 0 0 0 56 138 0 0 20 0 17 0 651555003 273895424 34535 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=16886/tid=16893] ppid=16884 vsize=267476 CPUtime=1.96
/proc/16886/task/16893/stat : 16893 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 485 0 0 0 50 146 0 0 20 0 17 0 651555003 273895424 34535 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134590235 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=16886/tid=16894] ppid=16884 vsize=267476 CPUtime=1.92
/proc/16886/task/16894/stat : 16894 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 595 0 0 0 44 148 0 0 20 0 17 0 651555003 273895424 34535 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=16886/tid=16895] ppid=16884 vsize=267476 CPUtime=1.9
/proc/16886/task/16895/stat : 16895 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 495 0 0 0 52 138 0 0 20 0 17 0 651555003 273895424 34536 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=16886/tid=16896] ppid=16884 vsize=267476 CPUtime=1.96
/proc/16886/task/16896/stat : 16896 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 285 0 0 0 58 138 0 0 20 0 17 0 651555003 273895424 34536 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=16886/tid=16897] ppid=16884 vsize=267476 CPUtime=1.92
/proc/16886/task/16897/stat : 16897 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 444 0 0 0 46 146 0 0 20 0 17 0 651555003 273895424 34536 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=16886/tid=16898] ppid=16884 vsize=267476 CPUtime=1.96
/proc/16886/task/16898/stat : 16898 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 332 0 0 0 60 136 0 0 20 0 17 0 651555003 273895424 34536 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=16886/tid=16899] ppid=16884 vsize=267476 CPUtime=1.92
/proc/16886/task/16899/stat : 16899 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 363 0 0 0 30 162 0 0 20 0 17 0 651555003 273895424 34536 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=16886/tid=16900] ppid=16884 vsize=267476 CPUtime=1.96
/proc/16886/task/16900/stat : 16900 (ttsth-5-0) S 16884 16886 15497 0 -1 4202560 335 0 0 0 70 126 0 0 20 0 17 0 651555003 273895424 34537 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=16886/tid=16901] ppid=16884 vsize=267476 CPUtime=1.88
/proc/16886/task/16901/stat : 16901 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 458 0 0 0 50 138 0 0 20 0 17 0 651555003 273895424 34537 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=16886/tid=16902] ppid=16884 vsize=267476 CPUtime=1.94
/proc/16886/task/16902/stat : 16902 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 495 0 0 0 48 146 0 0 20 0 17 0 651555003 273895424 34538 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=16886/tid=16903] ppid=16884 vsize=267476 CPUtime=1.94
/proc/16886/task/16903/stat : 16903 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 287 0 0 0 52 142 0 0 20 0 17 0 651555003 273895424 34538 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 32.12
Current children cumulated vsize (KiB) 267476

[startup+6.30551 s]
/proc/loadavg: 14.41 13.39 8.17 17/201 16903
/proc/meminfo: memFree=18921716/36427776 swapFree=4692/169024
[pid=16886] ppid=16884 vsize=303300 CPUtime=82.24
/proc/16886/stat : 16886 (ttsth-5-0) S 16884 16886 15497 0 -1 4202496 43516 0 0 0 2948 5276 0 0 20 0 17 0 651554895 310579200 43437 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16886/statm: 75825 43437 95 177 0 75647 0
[pid=16886/tid=16888] ppid=16884 vsize=303300 CPUtime=5.1
/proc/16886/task/16888/stat : 16888 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 4040 0 0 0 474 36 0 0 20 0 17 0 651555003 310579200 43437 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=16886/tid=16889] ppid=16884 vsize=303300 CPUtime=5.08
/proc/16886/task/16889/stat : 16889 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 895 0 0 0 160 348 0 0 20 0 17 0 651555003 310579200 43437 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=16886/tid=16890] ppid=16884 vsize=303300 CPUtime=5.08
/proc/16886/task/16890/stat : 16890 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 1089 0 0 0 180 328 0 0 20 0 17 0 651555003 310579200 43437 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=16886/tid=16891] ppid=16884 vsize=303300 CPUtime=5.1
/proc/16886/task/16891/stat : 16891 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 732 0 0 0 164 346 0 0 20 0 17 0 651555003 310579200 43437 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=16886/tid=16892] ppid=16884 vsize=303300 CPUtime=5.06
/proc/16886/task/16892/stat : 16892 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 825 0 0 0 144 362 0 0 20 0 17 0 651555003 310579200 43437 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=16886/tid=16893] ppid=16884 vsize=303300 CPUtime=5.08
/proc/16886/task/16893/stat : 16893 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 1113 0 0 0 144 364 0 0 20 0 17 0 651555003 310579200 43437 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134591687 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=16886/tid=16894] ppid=16884 vsize=303300 CPUtime=5.06
/proc/16886/task/16894/stat : 16894 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 1516 0 0 0 182 324 0 0 20 0 17 0 651555003 310579200 43437 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=16886/tid=16895] ppid=16884 vsize=303300 CPUtime=5.04
/proc/16886/task/16895/stat : 16895 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 1226 0 0 0 166 338 0 0 20 0 17 0 651555003 310579200 43437 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=16886/tid=16896] ppid=16884 vsize=303300 CPUtime=5.1
/proc/16886/task/16896/stat : 16896 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 964 0 0 0 166 344 0 0 20 0 17 0 651555003 310579200 43438 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=16886/tid=16897] ppid=16884 vsize=303300 CPUtime=5.06
/proc/16886/task/16897/stat : 16897 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 795 0 0 0 144 362 0 0 20 0 17 0 651555003 310579200 43438 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=16886/tid=16898] ppid=16884 vsize=303300 CPUtime=5.1
/proc/16886/task/16898/stat : 16898 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 578 0 0 0 170 340 0 0 20 0 17 0 651555003 310579200 43438 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=16886/tid=16899] ppid=16884 vsize=303300 CPUtime=5.04
/proc/16886/task/16899/stat : 16899 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 646 0 0 0 122 382 0 0 20 0 17 0 651555003 310579200 43438 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=16886/tid=16900] ppid=16884 vsize=303300 CPUtime=5.1
/proc/16886/task/16900/stat : 16900 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 654 0 0 0 182 328 0 0 20 0 17 0 651555003 310579200 43438 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=16886/tid=16901] ppid=16884 vsize=303300 CPUtime=4.96
/proc/16886/task/16901/stat : 16901 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 641 0 0 0 152 344 0 0 20 0 17 0 651555003 310579200 43438 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=16886/tid=16902] ppid=16884 vsize=303300 CPUtime=5.06
/proc/16886/task/16902/stat : 16902 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 808 0 0 0 148 358 0 0 20 0 17 0 651555003 310579200 43438 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=16886/tid=16903] ppid=16884 vsize=303300 CPUtime=5.08
/proc/16886/task/16903/stat : 16903 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 760 0 0 0 148 360 0 0 20 0 17 0 651555003 310579200 43438 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 82.24
Current children cumulated vsize (KiB) 303300

[startup+12.708 s]
/proc/loadavg: 14.65 13.48 8.25 17/201 16903
/proc/meminfo: memFree=18847844/36427776 swapFree=4692/243844
[pid=16886] ppid=16884 vsize=376444 CPUtime=182.74
/proc/16886/stat : 16886 (ttsth-5-0) S 16884 16886 15497 0 -1 4202496 61204 0 0 0 7100 11174 0 0 20 0 17 0 651554895 385478656 61125 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16886/statm: 94111 61125 95 177 0 93933 0
[pid=16886/tid=16888] ppid=16884 vsize=376444 CPUtime=11.48
/proc/16886/task/16888/stat : 16888 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 8280 0 0 0 1108 40 0 0 20 0 17 0 651555003 385478656 61126 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134732535 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=16886/tid=16889] ppid=16884 vsize=376444 CPUtime=11.38
/proc/16886/task/16889/stat : 16889 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 1430 0 0 0 410 728 0 0 20 0 17 0 651555003 385478656 61126 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=16886/tid=16890] ppid=16884 vsize=376444 CPUtime=11.38
/proc/16886/task/16890/stat : 16890 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 1939 0 0 0 450 688 0 0 20 0 17 0 651555003 385478656 61126 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=16886/tid=16891] ppid=16884 vsize=376444 CPUtime=11.38
/proc/16886/task/16891/stat : 16891 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 1324 0 0 0 406 732 0 0 20 0 17 0 651555003 385478656 61127 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=16886/tid=16892] ppid=16884 vsize=376444 CPUtime=11.3
/proc/16886/task/16892/stat : 16892 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 1223 0 0 0 350 780 0 0 20 0 17 0 651555003 385478656 61127 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=16886/tid=16893] ppid=16884 vsize=376444 CPUtime=11.34
/proc/16886/task/16893/stat : 16893 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 1746 0 0 0 364 770 0 0 20 0 17 0 651555003 385478656 61127 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=16886/tid=16894] ppid=16884 vsize=376444 CPUtime=11.36
/proc/16886/task/16894/stat : 16894 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 3498 0 0 0 492 644 0 0 20 0 17 0 651555003 385478656 61127 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=16886/tid=16895] ppid=16884 vsize=376444 CPUtime=11.34
/proc/16886/task/16895/stat : 16895 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 2723 0 0 0 430 704 0 0 20 0 17 0 651555003 385478656 61127 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=16886/tid=16896] ppid=16884 vsize=376444 CPUtime=11.4
/proc/16886/task/16896/stat : 16896 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 1867 0 0 0 404 736 0 0 20 0 17 0 651555003 385478656 61127 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=16886/tid=16897] ppid=16884 vsize=376444 CPUtime=11.32
/proc/16886/task/16897/stat : 16897 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 1542 0 0 0 354 778 0 0 20 0 17 0 651555003 385478656 61127 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=16886/tid=16898] ppid=16884 vsize=376444 CPUtime=11.36
/proc/16886/task/16898/stat : 16898 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 1388 0 0 0 372 764 0 0 20 0 17 0 651555003 385478656 61127 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=16886/tid=16899] ppid=16884 vsize=376444 CPUtime=11.3
/proc/16886/task/16899/stat : 16899 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 1150 0 0 0 336 794 0 0 20 0 17 0 651555003 385478656 61127 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=16886/tid=16900] ppid=16884 vsize=376444 CPUtime=11.36
/proc/16886/task/16900/stat : 16900 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 1543 0 0 0 392 744 0 0 20 0 17 0 651555003 385478656 61127 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=16886/tid=16901] ppid=16884 vsize=376444 CPUtime=11.12
/proc/16886/task/16901/stat : 16901 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 944 0 0 0 366 746 0 0 20 0 17 0 651555003 385478656 61127 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=16886/tid=16902] ppid=16884 vsize=376444 CPUtime=11.34
/proc/16886/task/16902/stat : 16902 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 1716 0 0 0 354 780 0 0 20 0 17 0 651555003 385478656 61127 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=16886/tid=16903] ppid=16884 vsize=376444 CPUtime=11.36
/proc/16886/task/16903/stat : 16903 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 2658 0 0 0 408 728 0 0 20 0 17 0 651555003 385478656 61128 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 182.74
Current children cumulated vsize (KiB) 376444

[startup+25.5032 s]
/proc/loadavg: 14.86 13.56 8.34 17/201 16903
/proc/meminfo: memFree=18695424/36427776 swapFree=4692/394012
[pid=16886] ppid=16884 vsize=529180 CPUtime=383.35
/proc/16886/stat : 16886 (ttsth-5-0) S 16884 16886 15497 0 -1 4202496 97476 0 0 0 16211 22124 0 0 20 0 17 0 651554895 541880320 97397 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16886/statm: 132295 97397 95 177 0 132117 0
[pid=16886/tid=16888] ppid=16884 vsize=529180 CPUtime=24.28
/proc/16886/task/16888/stat : 16888 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 15174 0 0 0 2378 50 0 0 20 0 17 0 651555003 541880320 97397 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134562290 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=16886/tid=16889] ppid=16884 vsize=529180 CPUtime=23.94
/proc/16886/task/16889/stat : 16889 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 2656 0 0 0 936 1458 0 0 20 0 17 0 651555003 541880320 97397 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134591214 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=16886/tid=16890] ppid=16884 vsize=529180 CPUtime=23.94
/proc/16886/task/16890/stat : 16890 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 3320 0 0 0 998 1396 0 0 20 0 17 0 651555003 541880320 97397 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=16886/tid=16891] ppid=16884 vsize=529180 CPUtime=23.94
/proc/16886/task/16891/stat : 16891 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 4503 0 0 0 956 1438 0 0 20 0 17 0 651555003 541880320 97397 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=16886/tid=16892] ppid=16884 vsize=529180 CPUtime=23.8
/proc/16886/task/16892/stat : 16892 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 1758 0 0 0 792 1588 0 0 20 0 17 0 651555003 541880320 97397 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134549888 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=16886/tid=16893] ppid=16884 vsize=529180 CPUtime=23.86
/proc/16886/task/16893/stat : 16893 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 3526 0 0 0 840 1546 0 0 20 0 17 0 651555003 541880320 97397 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=16886/tid=16894] ppid=16884 vsize=529180 CPUtime=24
/proc/16886/task/16894/stat : 16894 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 7086 0 0 0 1184 1216 0 0 20 0 17 0 651555003 541880320 97397 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=16886/tid=16895] ppid=16884 vsize=529180 CPUtime=23.94
/proc/16886/task/16895/stat : 16895 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 5937 0 0 0 1046 1348 0 0 20 0 17 0 651555003 541880320 97398 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=16886/tid=16896] ppid=16884 vsize=529180 CPUtime=23.98
/proc/16886/task/16896/stat : 16896 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 4275 0 0 0 922 1476 0 0 20 0 17 0 651555003 541880320 97398 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=16886/tid=16897] ppid=16884 vsize=529180 CPUtime=23.86
/proc/16886/task/16897/stat : 16897 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 3339 0 0 0 834 1552 0 0 20 0 17 0 651555003 541880320 97398 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=16886/tid=16898] ppid=16884 vsize=529180 CPUtime=23.88
/proc/16886/task/16898/stat : 16898 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 3139 0 0 0 908 1480 0 0 20 0 17 0 651555003 541880320 97398 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=16886/tid=16899] ppid=16884 vsize=529180 CPUtime=23.76
/proc/16886/task/16899/stat : 16899 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 2504 0 0 0 786 1590 0 0 20 0 17 0 651555003 541880320 97398 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=16886/tid=16900] ppid=16884 vsize=529180 CPUtime=23.86
/proc/16886/task/16900/stat : 16900 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 2822 0 0 0 880 1506 0 0 20 0 17 0 651555003 541880320 97398 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=16886/tid=16901] ppid=16884 vsize=529180 CPUtime=23.38
/proc/16886/task/16901/stat : 16901 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 1722 0 0 0 844 1494 0 0 20 0 17 0 651555003 541880320 97398 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134680270 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=16886/tid=16902] ppid=16884 vsize=529180 CPUtime=23.9
/proc/16886/task/16902/stat : 16902 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 4556 0 0 0 852 1538 0 0 20 0 17 0 651555003 541880320 97398 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=16886/tid=16903] ppid=16884 vsize=529180 CPUtime=23.9
/proc/16886/task/16903/stat : 16903 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 4926 0 0 0 956 1434 0 0 20 0 17 0 651555003 541880320 97398 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 383.35
Current children cumulated vsize (KiB) 529180

[startup+51.1067 s]
/proc/loadavg: 15.32 13.77 8.54 17/201 16903
/proc/meminfo: memFree=18407464/36427776 swapFree=4692/683612
[pid=16886] ppid=16884 vsize=838732 CPUtime=784.99
/proc/16886/stat : 16886 (ttsth-5-0) S 16884 16886 15497 0 -1 4202496 170439 0 0 0 37909 40590 0 0 20 0 17 0 651554895 858861568 170360 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16886/statm: 209683 170360 95 177 0 209505 0
[pid=16886/tid=16888] ppid=16884 vsize=838732 CPUtime=49.87
/proc/16886/task/16888/stat : 16888 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 30048 0 0 0 4911 76 0 0 20 0 17 0 651555003 858861568 170360 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=16886/tid=16889] ppid=16884 vsize=838732 CPUtime=48.92
/proc/16886/task/16889/stat : 16889 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 5033 0 0 0 2070 2822 0 0 20 0 17 0 651555003 858861568 170360 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=16886/tid=16890] ppid=16884 vsize=838732 CPUtime=49.08
/proc/16886/task/16890/stat : 16890 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 5392 0 0 0 2328 2580 0 0 20 0 17 0 651555003 858861568 170360 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=16886/tid=16891] ppid=16884 vsize=838732 CPUtime=49.12
/proc/16886/task/16891/stat : 16891 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 8270 0 0 0 2302 2610 0 0 20 0 17 0 651555003 858861568 170360 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=16886/tid=16892] ppid=16884 vsize=838732 CPUtime=48.9
/proc/16886/task/16892/stat : 16892 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 5365 0 0 0 2100 2790 0 0 20 0 17 0 651555003 858861568 170360 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=16886/tid=16893] ppid=16884 vsize=838732 CPUtime=48.88
/proc/16886/task/16893/stat : 16893 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 6139 0 0 0 1992 2896 0 0 20 0 17 0 651555003 858861568 170360 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=16886/tid=16894] ppid=16884 vsize=838732 CPUtime=49.2
/proc/16886/task/16894/stat : 16894 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 12866 0 0 0 2602 2318 0 0 20 0 17 0 651555003 858861568 170360 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=16886/tid=16895] ppid=16884 vsize=838732 CPUtime=49.12
/proc/16886/task/16895/stat : 16895 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 11556 0 0 0 2386 2526 0 0 20 0 17 0 651555003 858861568 170360 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=16886/tid=16896] ppid=16884 vsize=838732 CPUtime=49.12
/proc/16886/task/16896/stat : 16896 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 6958 0 0 0 2118 2794 0 0 20 0 17 0 651555003 858861568 170360 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=16886/tid=16897] ppid=16884 vsize=838732 CPUtime=49.08
/proc/16886/task/16897/stat : 16897 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 10611 0 0 0 2302 2606 0 0 20 0 17 0 651555003 858861568 170360 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=16886/tid=16898] ppid=16884 vsize=838732 CPUtime=49.02
/proc/16886/task/16898/stat : 16898 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 7419 0 0 0 2264 2638 0 0 20 0 17 0 651555003 858861568 170360 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=16886/tid=16899] ppid=16884 vsize=838732 CPUtime=48.62
/proc/16886/task/16899/stat : 16899 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 5968 0 0 0 1870 2992 0 0 20 0 17 0 651555003 858861568 170360 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=16886/tid=16900] ppid=16884 vsize=838732 CPUtime=48.96
/proc/16886/task/16900/stat : 16900 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 5978 0 0 0 2170 2726 0 0 20 0 17 0 651555003 858861568 170360 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=16886/tid=16901] ppid=16884 vsize=838732 CPUtime=47.92
/proc/16886/task/16901/stat : 16901 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 4674 0 0 0 2008 2784 0 0 20 0 17 0 651555003 858861568 170360 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=16886/tid=16902] ppid=16884 vsize=838732 CPUtime=48.96
/proc/16886/task/16902/stat : 16902 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 8698 0 0 0 2076 2820 0 0 20 0 17 0 651555003 858861568 170360 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=16886/tid=16903] ppid=16884 vsize=838732 CPUtime=49.04
/proc/16886/task/16903/stat : 16903 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 9230 0 0 0 2308 2596 0 0 20 0 17 0 651555003 858861568 170361 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 784.99
Current children cumulated vsize (KiB) 838732

[startup+102.315 s]
/proc/loadavg: 15.69 14.13 8.96 17/201 16903
/proc/meminfo: memFree=17621344/36427776 swapFree=4692/1466812
[pid=16886] ppid=16884 vsize=1673248 CPUtime=1590.55
/proc/16886/stat : 16886 (ttsth-5-0) S 16884 16886 15497 0 -1 4202496 365228 0 0 0 98796 60259 0 0 20 0 17 0 651554895 1713405952 365149 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16886/statm: 418312 365149 95 177 0 418134 0
[pid=16886/tid=16888] ppid=16884 vsize=1673248 CPUtime=101.07
/proc/16886/task/16888/stat : 16888 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 55971 0 0 0 9997 110 0 0 20 0 17 0 651555003 1713405952 365149 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134593369 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=16886/tid=16889] ppid=16884 vsize=1673248 CPUtime=98.89
/proc/16886/task/16889/stat : 16889 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 11626 0 0 0 5497 4392 0 0 20 0 17 0 651555003 1713405952 365149 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=16886/tid=16890] ppid=16884 vsize=1673248 CPUtime=99.47
/proc/16886/task/16890/stat : 16890 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 9996 0 0 0 6015 3932 0 0 20 0 17 0 651555003 1713405952 365149 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=16886/tid=16891] ppid=16884 vsize=1673248 CPUtime=99.62
/proc/16886/task/16891/stat : 16891 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 23910 0 0 0 6105 3857 0 0 20 0 17 0 651555003 1713405952 365149 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=16886/tid=16892] ppid=16884 vsize=1673248 CPUtime=99.58
/proc/16886/task/16892/stat : 16892 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 17370 0 0 0 6215 3743 0 0 20 0 17 0 651555003 1713405952 365149 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=16886/tid=16893] ppid=16884 vsize=1673248 CPUtime=99.39
/proc/16886/task/16893/stat : 16893 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 17566 0 0 0 5875 4064 0 0 20 0 17 0 651555003 1713405952 365149 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=16886/tid=16894] ppid=16884 vsize=1673248 CPUtime=99.37
/proc/16886/task/16894/stat : 16894 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 23821 0 0 0 6101 3836 0 0 20 0 17 0 651555003 1713405952 365149 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=16886/tid=16895] ppid=16884 vsize=1673248 CPUtime=99.5
/proc/16886/task/16895/stat : 16895 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 23278 0 0 0 6037 3913 0 0 20 0 17 0 651555003 1713405952 365149 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134550989 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=16886/tid=16896] ppid=16884 vsize=1673248 CPUtime=99.54
/proc/16886/task/16896/stat : 16896 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 15638 0 0 0 5774 4180 0 0 20 0 17 0 651555003 1713405952 365149 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=16886/tid=16897] ppid=16884 vsize=1673248 CPUtime=99.42
/proc/16886/task/16897/stat : 16897 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 20423 0 0 0 5910 4032 0 0 20 0 17 0 651555003 1713405952 365149 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=16886/tid=16898] ppid=16884 vsize=1673248 CPUtime=99.3
/proc/16886/task/16898/stat : 16898 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 16642 0 0 0 5884 4046 0 0 20 0 17 0 651555003 1713405952 365149 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=16886/tid=16899] ppid=16884 vsize=1673248 CPUtime=99.05
/proc/16886/task/16899/stat : 16899 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 27544 0 0 0 5798 4107 0 0 20 0 17 0 651555003 1713405952 365150 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134590241 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=16886/tid=16900] ppid=16884 vsize=1673248 CPUtime=99.46
/proc/16886/task/16900/stat : 16900 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 16034 0 0 0 6108 3838 0 0 20 0 17 0 651555003 1713405952 365150 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=16886/tid=16901] ppid=16884 vsize=1673248 CPUtime=97.3
/proc/16886/task/16901/stat : 16901 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 17511 0 0 0 5687 4043 0 0 20 0 17 0 651555003 1713405952 365150 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=16886/tid=16902] ppid=16884 vsize=1673248 CPUtime=99.07
/proc/16886/task/16902/stat : 16902 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 20119 0 0 0 5621 4286 0 0 20 0 17 0 651555003 1713405952 365150 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=16886/tid=16903] ppid=16884 vsize=1673248 CPUtime=99.41
/proc/16886/task/16903/stat : 16903 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 21546 0 0 0 6072 3869 0 0 20 0 17 0 651555003 1713405952 365150 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1590.55
Current children cumulated vsize (KiB) 1673248



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+126.403 s]
/proc/loadavg: 15.79 14.28 9.15 16/201 16908
/proc/meminfo: memFree=17224320/36427776 swapFree=4692/1863048
[pid=16886] ppid=16884 vsize=2097300 CPUtime=1971.47
/proc/16886/stat : 16886 (ttsth-5-0) S 16884 16886 15497 0 -1 4202496 464025 0 0 0 133099 64048 0 0 20 0 17 0 651554895 2147635200 463946 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16886/statm: 524325 463946 95 177 0 524147 0
[pid=16886/tid=16888] ppid=16884 vsize=2097300 CPUtime=125.16
/proc/16886/task/16888/stat : 16888 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 67931 0 0 0 12390 126 0 0 20 0 17 0 651555003 2147635200 463948 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134552748 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=16886/tid=16889] ppid=16884 vsize=2097300 CPUtime=122.65
/proc/16886/task/16889/stat : 16889 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 21050 0 0 0 7658 4607 0 0 20 0 17 0 651555003 2147635200 463948 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=16886/tid=16890] ppid=16884 vsize=2097300 CPUtime=123.21
/proc/16886/task/16890/stat : 16890 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 12138 0 0 0 8086 4235 0 0 20 0 17 0 651555003 2147635200 463948 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=16886/tid=16891] ppid=16884 vsize=2097300 CPUtime=123.42
/proc/16886/task/16891/stat : 16891 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 29502 0 0 0 8195 4147 0 0 20 0 17 0 651555003 2147635200 463948 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=16886/tid=16892] ppid=16884 vsize=2097300 CPUtime=123.58
/proc/16886/task/16892/stat : 16892 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 22358 0 0 0 8524 3834 0 0 20 0 17 0 651555003 2147635200 463948 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=16886/tid=16893] ppid=16884 vsize=2097300 CPUtime=123.21
/proc/16886/task/16893/stat : 16893 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 24504 0 0 0 8000 4321 0 0 20 0 17 0 651555003 2147635200 463948 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=16886/tid=16894] ppid=16884 vsize=2097300 CPUtime=123.21
/proc/16886/task/16894/stat : 16894 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 32241 0 0 0 8224 4097 0 0 20 0 17 0 651555003 2147635200 463948 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=16886/tid=16895] ppid=16884 vsize=2097300 CPUtime=123.15
/proc/16886/task/16895/stat : 16895 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 27444 0 0 0 8021 4294 0 0 20 0 17 0 651555003 2147635200 463948 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=16886/tid=16896] ppid=16884 vsize=2097300 CPUtime=123.32
/proc/16886/task/16896/stat : 16896 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 19714 0 0 0 7838 4494 0 0 20 0 17 0 651555003 2147635200 463948 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=16886/tid=16897] ppid=16884 vsize=2097300 CPUtime=123.28
/proc/16886/task/16897/stat : 16897 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 25786 0 0 0 8034 4294 0 0 20 0 17 0 651555003 2147635200 463948 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=16886/tid=16898] ppid=16884 vsize=2097300 CPUtime=123.14
/proc/16886/task/16898/stat : 16898 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 21573 0 0 0 8017 4297 0 0 20 0 17 0 651555003 2147635200 463948 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=16886/tid=16899] ppid=16884 vsize=2097300 CPUtime=122.94
/proc/16886/task/16899/stat : 16899 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 35394 0 0 0 7963 4331 0 0 20 0 17 0 651555003 2147635200 463948 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=16886/tid=16900] ppid=16884 vsize=2097300 CPUtime=123.32
/proc/16886/task/16900/stat : 16900 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 19962 0 0 0 8241 4091 0 0 20 0 17 0 651555003 2147635200 463948 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=16886/tid=16901] ppid=16884 vsize=2097300 CPUtime=120.71
/proc/16886/task/16901/stat : 16901 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 22490 0 0 0 7853 4218 0 0 20 0 17 0 651555003 2147635200 463949 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134680326 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=16886/tid=16902] ppid=16884 vsize=2097300 CPUtime=122.76
/proc/16886/task/16902/stat : 16902 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 25359 0 0 0 7725 4551 0 0 20 0 17 0 651555003 2147635200 463949 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=16886/tid=16903] ppid=16884 vsize=2097300 CPUtime=123.26
/proc/16886/task/16903/stat : 16903 (ttsth-5-0) R 16884 16886 15497 0 -1 4202560 30347 0 0 0 8226 4100 0 0 20 0 17 0 651555003 2147635200 463949 18446744073709551615 134512640 135237372 4292639904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1971.47
Current children cumulated vsize (KiB) 2097300

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

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

[startup+126.539 s]
/proc/loadavg: 15.79 14.28 9.15 16/201 16908
/proc/meminfo: memFree=17224320/36427776 swapFree=4692/1863048
[pid=16886] ppid=16884 vsize=0 CPUtime=1971.75
/proc/16886/stat : 16886 (ttsth-5-0) Z 16884 16886 15497 0 -1 4203532 464044 0 0 0 133109 64066 0 0 20 0 2 0 651554895 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16886/statm: 0 0 0 0 0 0 0
[pid=16886/tid=16903] ppid=16884 vsize=0 CPUtime=123.37
/proc/16886/task/16903/stat : 16903 (ttsth-5-0) R 16884 16886 15497 0 -1 4203588 30347 0 0 0 8226 4111 0 0 20 0 2 0 651555003 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1971.75
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 126.593
CPU time (s): 1971.83
CPU user time (s): 1331.1
CPU system time (s): 640.732
CPU usage (%): 1557.62
Max. virtual memory (cumulated for all children) (KiB): 2097300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1331.1
system time used= 640.732
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 464044
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= 240608
involuntary context switches= 4580

runsolver used 0.712044 second user time and 1.83211 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-13 21:48:05
IDJOB=1775910
IDBENCH=20402
IDSOLVER=634
FILE ID=xenhost3-49/1775910-1244922485
PBS_JOBID=
Free space on /tmp= 7026 MiB

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

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

MD5SUM BENCH= 0acd143a4e60b38309663b5993b5ded9
RANDOM SEED= 574052862

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:      19081016 kB
Buffers:        460100 kB
Cached:       14115360 kB
SwapCached:          0 kB
Active:        4106320 kB
Inactive:     10477480 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            1348 kB
Writeback:           0 kB
AnonPages:        7672 kB
Mapped:           3684 kB
Slab:           711604 kB
SReclaimable:   684736 kB
SUnreclaim:      26868 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29616 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

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