Trace number 1778880

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) 925.946 59.5074

General information on the benchmark

NameAPPLICATIONS/bitverif/countbitsrotate/
countbitsrotate032.cnf
MD5SUM8d76aa747359ea8ccf15726792949452
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 variables8527
Number of clauses25484
Sum of the clauses size59460
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 216988
Number of clauses of size 38494
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.02	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1778880-1244946923.cnf 
0.00/0.02	c Using SATTIMEOUT of 10000
0.00/0.02	c Using SATRAM of 2047
0.00/0.02	c Size of subset node = 16
0.00/0.02	c Variables = 8527
0.00/0.02	c Clauses = 25484
0.00/0.02	c Literals = 59460
0.00/0.02	c Reduced size:
0.00/0.02	c Variables = 8527
0.00/0.02	c Clauses = 25480
0.00/0.02	c Literals = 59453
0.00/0.02	c a2
0.00/0.05	c a1
0.88/0.91	c Independent sub-problems = 1
0.88/0.91	c Sub-problem with 8525 variables and 25480 clauses
0.88/0.91	c using permutation method 4
0.88/0.91	c count = 1
0.88/0.91	c Ordering finished 0.910 seconds
0.88/0.91	c mapped 0.910 seconds
0.88/0.91	c permuted 0.910 seconds
0.88/0.91	c about to sort
0.88/0.92	c sorted
1.10/1.17	c clauses now 25480
1.10/1.17	c init finished 1.080 seconds
1.10/1.17	c tree built 1.170 seconds
1.10/1.17	c 
1.10/1.17	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
1.10/1.17	c ---------------------------------|----------------------------------|------------------------------------------------------
1.10/1.17	c ................................ | ..........                       |                        1.2           0.0             
1.10/1.17	c ................................ | ..........                     1 |                        1.2           0.9            1
1.10/1.17	c ................................ | ..........                     2 |                        1.2           1.7            1
1.10/1.17	c ................................ | ..........                     3 |                        1.2           2.6            1
1.10/1.17	c ................................ | ..........                     4 |                        1.2           3.4            1
1.10/1.17	c ................................ | ..........                     5 |                        1.2           4.3            1
1.10/1.19	c ................................ | ..........                  1000 | 4                      1.2         806.5         1794
224.70/15.33	c ................................ | ..........                249000 | 13444                200.6        1241.6     25826719
428.01/28.19	c ................................ | ..........                331000 | 18273                401.5         824.3     49058316
631.91/40.91	c ................................ | ..........                397000 | 22312                602.2         659.2     70133760
831.19/53.40	c ................................ | ..........                465000 | 26387                800.0         581.2     89178876

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-1778880-1244946923/watcher-1778880-1244946923 -o /tmp/evaluation-result-1778880-1244946923/solver-1778880-1244946923 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1778880-1244946923.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: 7.73 3.16 5.06 2/184 21839
/proc/meminfo: memFree=19050044/36427776 swapFree=4428/7772
[pid=21839] ppid=21837 vsize=1540 CPUtime=0
/proc/21839/stat : 21839 (ttsth-5-0) R 21837 21839 15497 0 -1 4202496 278 0 0 0 0 0 0 0 20 0 1 0 653998691 1576960 235 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134639534 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/21839/statm: 385 236 74 177 0 207 0

[startup+0.012582 s]
/proc/loadavg: 7.73 3.16 5.06 2/184 21839
/proc/meminfo: memFree=19050044/36427776 swapFree=4428/7772
[pid=21839] ppid=21837 vsize=1804 CPUtime=0
/proc/21839/stat : 21839 (ttsth-5-0) R 21837 21839 15497 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 653998691 1847296 281 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134732614 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/21839/statm: 451 283 74 177 0 273 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1804

[startup+0.100579 s]
/proc/loadavg: 7.73 3.16 5.06 2/184 21839
/proc/meminfo: memFree=19050044/36427776 swapFree=4428/7772
[pid=21839] ppid=21837 vsize=5608 CPUtime=0.1
/proc/21839/stat : 21839 (ttsth-5-0) R 21837 21839 15497 0 -1 4202496 1301 0 0 0 10 0 0 0 20 0 1 0 653998691 5742592 1257 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134555272 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/21839/statm: 1402 1257 77 177 0 1224 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5608

[startup+0.300562 s]
/proc/loadavg: 7.73 3.16 5.06 2/184 21839
/proc/meminfo: memFree=19050044/36427776 swapFree=4428/7772
[pid=21839] ppid=21837 vsize=5740 CPUtime=0.28
/proc/21839/stat : 21839 (ttsth-5-0) R 21837 21839 15497 0 -1 4202496 1318 0 0 0 28 0 0 0 20 0 1 0 653998691 5877760 1274 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134555272 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/21839/statm: 1435 1274 77 177 0 1257 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5740

[startup+0.700606 s]
/proc/loadavg: 7.73 3.16 5.06 2/184 21839
/proc/meminfo: memFree=19050044/36427776 swapFree=4428/7772
[pid=21839] ppid=21837 vsize=6040 CPUtime=0.68
/proc/21839/stat : 21839 (ttsth-5-0) R 21837 21839 15497 0 -1 4202496 1369 0 0 0 68 0 0 0 20 0 1 0 653998691 6184960 1325 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134555272 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/21839/statm: 1510 1325 77 177 0 1332 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6040

[startup+1.50472 s]
/proc/loadavg: 7.73 3.16 5.06 2/185 21840
/proc/meminfo: memFree=19007120/36427776 swapFree=4744/50924
[pid=21839] ppid=21837 vsize=239276 CPUtime=6.19
/proc/21839/stat : 21839 (ttsth-5-0) S 21837 21839 15497 0 -1 4202496 27160 0 0 0 174 445 0 0 20 0 17 0 653998691 245018624 27091 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21839/statm: 59819 27092 95 177 0 59641 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 239276

[startup+3.10467 s]
/proc/loadavg: 7.73 3.16 5.06 17/201 21856
/proc/meminfo: memFree=18933628/36427776 swapFree=4676/126924
[pid=21839] ppid=21837 vsize=276560 CPUtime=31.25
/proc/21839/stat : 21839 (ttsth-5-0) S 21837 21839 15497 0 -1 4202496 36554 0 0 0 1078 2047 0 0 20 0 17 0 653998691 283197440 36485 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21839/statm: 69140 36485 95 177 0 68962 0
[pid=21839/tid=21841] ppid=21837 vsize=276560 CPUtime=1.9
/proc/21839/task/21841/stat : 21841 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 2571 0 0 0 186 4 0 0 20 0 17 0 653998809 283197440 36485 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=21839/tid=21842] ppid=21837 vsize=276560 CPUtime=1.88
/proc/21839/task/21842/stat : 21842 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 408 0 0 0 58 130 0 0 20 0 17 0 653998809 283197440 36485 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21839/tid=21843] ppid=21837 vsize=276560 CPUtime=1.88
/proc/21839/task/21843/stat : 21843 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 936 0 0 0 56 132 0 0 20 0 17 0 653998809 283197440 36487 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=21839/tid=21844] ppid=21837 vsize=276560 CPUtime=1.86
/proc/21839/task/21844/stat : 21844 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 569 0 0 0 54 132 0 0 20 0 17 0 653998809 283197440 36487 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=21839/tid=21845] ppid=21837 vsize=276560 CPUtime=1.88
/proc/21839/task/21845/stat : 21845 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 608 0 0 0 54 134 0 0 20 0 17 0 653998809 283197440 36487 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21839/tid=21846] ppid=21837 vsize=276560 CPUtime=1.88
/proc/21839/task/21846/stat : 21846 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 561 0 0 0 50 138 0 0 20 0 17 0 653998809 283197440 36487 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=21839/tid=21847] ppid=21837 vsize=276560 CPUtime=1.88
/proc/21839/task/21847/stat : 21847 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 321 0 0 0 58 130 0 0 20 0 17 0 653998809 283197440 36488 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=21839/tid=21848] ppid=21837 vsize=276560 CPUtime=1.88
/proc/21839/task/21848/stat : 21848 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 719 0 0 0 48 140 0 0 20 0 17 0 653998809 283197440 36488 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21839/tid=21849] ppid=21837 vsize=276560 CPUtime=1.88
/proc/21839/task/21849/stat : 21849 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 942 0 0 0 56 132 0 0 20 0 17 0 653998809 283197440 36488 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21839/tid=21850] ppid=21837 vsize=276560 CPUtime=1.86
/proc/21839/task/21850/stat : 21850 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 601 0 0 0 44 142 0 0 20 0 17 0 653998809 283197440 36489 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21839/tid=21851] ppid=21837 vsize=276560 CPUtime=1.88
/proc/21839/task/21851/stat : 21851 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 665 0 0 0 46 142 0 0 20 0 17 0 653998810 283197440 36489 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21839/tid=21852] ppid=21837 vsize=276560 CPUtime=1.86
/proc/21839/task/21852/stat : 21852 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 499 0 0 0 54 132 0 0 20 0 17 0 653998810 283197440 36489 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21839/tid=21853] ppid=21837 vsize=276560 CPUtime=1.86
/proc/21839/task/21853/stat : 21853 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 548 0 0 0 44 142 0 0 20 0 17 0 653998810 283197440 36489 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21839/tid=21854] ppid=21837 vsize=276560 CPUtime=1.84
/proc/21839/task/21854/stat : 21854 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 400 0 0 0 48 136 0 0 20 0 17 0 653998810 283197440 36489 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134551743 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21839/tid=21855] ppid=21837 vsize=276560 CPUtime=1.86
/proc/21839/task/21855/stat : 21855 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 644 0 0 0 64 122 0 0 20 0 17 0 653998810 283197440 36490 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21839/tid=21856] ppid=21837 vsize=276560 CPUtime=1.86
/proc/21839/task/21856/stat : 21856 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 419 0 0 0 48 138 0 0 20 0 17 0 653998811 283197440 36490 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 31.25
Current children cumulated vsize (KiB) 276560

[startup+6.30504 s]
/proc/loadavg: 8.31 3.36 5.11 17/201 21856
/proc/meminfo: memFree=18821124/36427776 swapFree=4692/238432
[pid=21839] ppid=21837 vsize=400000 CPUtime=81.67
/proc/21839/stat : 21839 (ttsth-5-0) S 21837 21839 15497 0 -1 4202496 65890 0 0 0 4928 3239 0 0 20 0 17 0 653998691 409600000 65822 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21839/statm: 100000 65823 95 177 0 99822 0
[pid=21839/tid=21841] ppid=21837 vsize=400000 CPUtime=5.1
/proc/21839/task/21841/stat : 21841 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 4045 0 0 0 504 6 0 0 20 0 17 0 653998809 409600000 65823 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=21839/tid=21842] ppid=21837 vsize=400000 CPUtime=5.04
/proc/21839/task/21842/stat : 21842 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 1789 0 0 0 296 208 0 0 20 0 17 0 653998809 409600000 65824 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21839/tid=21843] ppid=21837 vsize=400000 CPUtime=5.02
/proc/21839/task/21843/stat : 21843 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 3052 0 0 0 280 222 0 0 20 0 17 0 653998809 409600000 65826 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=21839/tid=21844] ppid=21837 vsize=400000 CPUtime=5.02
/proc/21839/task/21844/stat : 21844 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 3061 0 0 0 302 200 0 0 20 0 17 0 653998809 409600000 65826 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=21839/tid=21845] ppid=21837 vsize=400000 CPUtime=5.02
/proc/21839/task/21845/stat : 21845 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 1901 0 0 0 284 218 0 0 20 0 17 0 653998809 409600000 65826 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21839/tid=21846] ppid=21837 vsize=400000 CPUtime=5.02
/proc/21839/task/21846/stat : 21846 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 1989 0 0 0 280 222 0 0 20 0 17 0 653998809 409600000 65826 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=21839/tid=21847] ppid=21837 vsize=400000 CPUtime=5.04
/proc/21839/task/21847/stat : 21847 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 961 0 0 0 288 216 0 0 20 0 17 0 653998809 409600000 65826 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=21839/tid=21848] ppid=21837 vsize=400000 CPUtime=5.02
/proc/21839/task/21848/stat : 21848 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 4067 0 0 0 286 216 0 0 20 0 17 0 653998809 409600000 65826 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21839/tid=21849] ppid=21837 vsize=400000 CPUtime=5.02
/proc/21839/task/21849/stat : 21849 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 4465 0 0 0 298 204 0 0 20 0 17 0 653998809 409600000 65826 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21839/tid=21850] ppid=21837 vsize=400000 CPUtime=5.02
/proc/21839/task/21850/stat : 21850 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 2863 0 0 0 280 222 0 0 20 0 17 0 653998809 409600000 65826 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21839/tid=21851] ppid=21837 vsize=400000 CPUtime=5.02
/proc/21839/task/21851/stat : 21851 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 2987 0 0 0 280 222 0 0 20 0 17 0 653998810 409600000 65826 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21839/tid=21852] ppid=21837 vsize=400000 CPUtime=5.02
/proc/21839/task/21852/stat : 21852 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 1717 0 0 0 288 214 0 0 20 0 17 0 653998810 409600000 65829 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21839/tid=21853] ppid=21837 vsize=400000 CPUtime=5.02
/proc/21839/task/21853/stat : 21853 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 2618 0 0 0 284 218 0 0 20 0 17 0 653998810 409600000 65829 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21839/tid=21854] ppid=21837 vsize=400000 CPUtime=4.92
/proc/21839/task/21854/stat : 21854 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 1793 0 0 0 278 214 0 0 20 0 17 0 653998810 409600000 65829 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21839/tid=21855] ppid=21837 vsize=400000 CPUtime=5.02
/proc/21839/task/21855/stat : 21855 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 2072 0 0 0 292 210 0 0 20 0 17 0 653998810 409600000 65830 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21839/tid=21856] ppid=21837 vsize=400000 CPUtime=5.02
/proc/21839/task/21856/stat : 21856 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 1370 0 0 0 294 208 0 0 20 0 17 0 653998811 409600000 65830 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134593467 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 81.67
Current children cumulated vsize (KiB) 400000

[startup+12.7056 s]
/proc/loadavg: 8.93 3.57 5.17 17/201 21856
/proc/meminfo: memFree=18563940/36427776 swapFree=4692/496628
[pid=21839] ppid=21837 vsize=664796 CPUtime=183.16
/proc/21839/stat : 21839 (ttsth-5-0) S 21837 21839 15497 0 -1 4202496 128519 0 0 0 14319 3997 0 0 20 0 17 0 653998691 680751104 128450 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21839/statm: 166199 128451 95 177 0 166021 0
[pid=21839/tid=21841] ppid=21837 vsize=664796 CPUtime=11.5
/proc/21839/task/21841/stat : 21841 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 5882 0 0 0 1140 10 0 0 20 0 17 0 653998809 680751104 128451 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=21839/tid=21842] ppid=21837 vsize=664796 CPUtime=11.38
/proc/21839/task/21842/stat : 21842 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 5807 0 0 0 886 252 0 0 20 0 17 0 653998809 680751104 128451 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21839/tid=21843] ppid=21837 vsize=664796 CPUtime=11.38
/proc/21839/task/21843/stat : 21843 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 8414 0 0 0 852 286 0 0 20 0 17 0 653998809 680751104 128451 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=21839/tid=21844] ppid=21837 vsize=664796 CPUtime=11.38
/proc/21839/task/21844/stat : 21844 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 7948 0 0 0 890 248 0 0 20 0 17 0 653998809 680751104 128451 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=21839/tid=21845] ppid=21837 vsize=664796 CPUtime=11.38
/proc/21839/task/21845/stat : 21845 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 5074 0 0 0 872 266 0 0 20 0 17 0 653998809 680751104 128452 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21839/tid=21846] ppid=21837 vsize=664796 CPUtime=11.38
/proc/21839/task/21846/stat : 21846 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 5664 0 0 0 858 280 0 0 20 0 17 0 653998809 680751104 128453 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=21839/tid=21847] ppid=21837 vsize=664796 CPUtime=11.4
/proc/21839/task/21847/stat : 21847 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 2969 0 0 0 888 252 0 0 20 0 17 0 653998809 680751104 128453 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=21839/tid=21848] ppid=21837 vsize=664796 CPUtime=11.36
/proc/21839/task/21848/stat : 21848 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 9239 0 0 0 854 282 0 0 20 0 17 0 653998809 680751104 128453 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21839/tid=21849] ppid=21837 vsize=664796 CPUtime=11.38
/proc/21839/task/21849/stat : 21849 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 10054 0 0 0 870 268 0 0 20 0 17 0 653998809 680751104 128454 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21839/tid=21850] ppid=21837 vsize=664796 CPUtime=11.34
/proc/21839/task/21850/stat : 21850 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 7686 0 0 0 862 272 0 0 20 0 17 0 653998809 680751104 128454 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21839/tid=21851] ppid=21837 vsize=664796 CPUtime=11.36
/proc/21839/task/21851/stat : 21851 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 7331 0 0 0 860 276 0 0 20 0 17 0 653998810 680751104 128454 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21839/tid=21852] ppid=21837 vsize=664796 CPUtime=11.36
/proc/21839/task/21852/stat : 21852 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 4526 0 0 0 884 252 0 0 20 0 17 0 653998810 680751104 128455 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21839/tid=21853] ppid=21837 vsize=664796 CPUtime=11.36
/proc/21839/task/21853/stat : 21853 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 6544 0 0 0 874 262 0 0 20 0 17 0 653998810 680751104 128455 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21839/tid=21854] ppid=21837 vsize=664796 CPUtime=11.14
/proc/21839/task/21854/stat : 21854 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 6889 0 0 0 850 264 0 0 20 0 17 0 653998810 680751104 128456 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21839/tid=21855] ppid=21837 vsize=664796 CPUtime=11.36
/proc/21839/task/21855/stat : 21855 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 5406 0 0 0 886 250 0 0 20 0 17 0 653998810 680751104 128457 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21839/tid=21856] ppid=21837 vsize=664796 CPUtime=11.38
/proc/21839/task/21856/stat : 21856 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 3944 0 0 0 884 254 0 0 20 0 17 0 653998811 680751104 128457 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 183.16
Current children cumulated vsize (KiB) 664796

[startup+25.5037 s]
/proc/loadavg: 10.43 4.16 5.34 17/201 21856
/proc/meminfo: memFree=18117044/36427776 swapFree=4692/940760
[pid=21839] ppid=21837 vsize=1119544 CPUtime=386.78
/proc/21839/stat : 21839 (ttsth-5-0) S 21837 21839 15497 0 -1 4202496 235389 0 0 0 33818 4860 0 0 20 0 17 0 653998691 1146413056 235320 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21839/statm: 279886 235322 95 177 0 279708 0
[pid=21839/tid=21841] ppid=21837 vsize=1119544 CPUtime=24.28
/proc/21839/task/21841/stat : 21841 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 8518 0 0 0 2414 14 0 0 20 0 17 0 653998809 1146413056 235322 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=21839/tid=21842] ppid=21837 vsize=1119544 CPUtime=24.12
/proc/21839/task/21842/stat : 21842 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 12784 0 0 0 2098 314 0 0 20 0 17 0 653998809 1146413056 235323 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21839/tid=21843] ppid=21837 vsize=1119544 CPUtime=24.1
/proc/21839/task/21843/stat : 21843 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 18073 0 0 0 2080 330 0 0 20 0 17 0 653998809 1146413056 235323 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=21839/tid=21844] ppid=21837 vsize=1119544 CPUtime=24.1
/proc/21839/task/21844/stat : 21844 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 14142 0 0 0 2102 308 0 0 20 0 17 0 653998809 1146413056 235323 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=21839/tid=21845] ppid=21837 vsize=1119544 CPUtime=24.14
/proc/21839/task/21845/stat : 21845 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 10447 0 0 0 2096 318 0 0 20 0 17 0 653998809 1146413056 235325 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134562363 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21839/tid=21846] ppid=21837 vsize=1119544 CPUtime=24.1
/proc/21839/task/21846/stat : 21846 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 12679 0 0 0 2072 338 0 0 20 0 17 0 653998809 1146413056 235325 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=21839/tid=21847] ppid=21837 vsize=1119544 CPUtime=24.16
/proc/21839/task/21847/stat : 21847 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 7499 0 0 0 2118 298 0 0 20 0 17 0 653998809 1146413056 235325 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=21839/tid=21848] ppid=21837 vsize=1119544 CPUtime=24.1
/proc/21839/task/21848/stat : 21848 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 18219 0 0 0 2056 354 0 0 20 0 17 0 653998809 1146413056 235326 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21839/tid=21849] ppid=21837 vsize=1119544 CPUtime=24.12
/proc/21839/task/21849/stat : 21849 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 18812 0 0 0 2076 336 0 0 20 0 17 0 653998809 1146413056 235326 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21839/tid=21850] ppid=21837 vsize=1119544 CPUtime=24.08
/proc/21839/task/21850/stat : 21850 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 15923 0 0 0 2066 342 0 0 20 0 17 0 653998809 1146413056 235326 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21839/tid=21851] ppid=21837 vsize=1119544 CPUtime=24.1
/proc/21839/task/21851/stat : 21851 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 15691 0 0 0 2066 344 0 0 20 0 17 0 653998810 1146413056 235326 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21839/tid=21852] ppid=21837 vsize=1119544 CPUtime=24.12
/proc/21839/task/21852/stat : 21852 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 9252 0 0 0 2112 300 0 0 20 0 17 0 653998810 1146413056 235326 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21839/tid=21853] ppid=21837 vsize=1119544 CPUtime=24.08
/proc/21839/task/21853/stat : 21853 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 15056 0 0 0 2088 320 0 0 20 0 17 0 653998810 1146413056 235327 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21839/tid=21854] ppid=21837 vsize=1119544 CPUtime=23.64
/proc/21839/task/21854/stat : 21854 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 11736 0 0 0 2048 316 0 0 20 0 17 0 653998810 1146413056 235327 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21839/tid=21855] ppid=21837 vsize=1119544 CPUtime=24.08
/proc/21839/task/21855/stat : 21855 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 12312 0 0 0 2098 310 0 0 20 0 17 0 653998810 1146413056 235327 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21839/tid=21856] ppid=21837 vsize=1119544 CPUtime=24.12
/proc/21839/task/21856/stat : 21856 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 9105 0 0 0 2114 298 0 0 20 0 17 0 653998811 1146413056 235327 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 386.78
Current children cumulated vsize (KiB) 1119544

[startup+51.1047 s]
/proc/loadavg: 12.33 5.11 5.62 17/201 21856
/proc/meminfo: memFree=17413356/36427776 swapFree=4692/1645052
[pid=21839] ppid=21837 vsize=1874204 CPUtime=794.53
/proc/21839/stat : 21839 (ttsth-5-0) S 21837 21839 15497 0 -1 4202496 412744 0 0 0 73706 5747 0 0 20 0 17 0 653998691 1919184896 412675 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21839/statm: 468551 412676 95 177 0 468373 0
[pid=21839/tid=21841] ppid=21837 vsize=1874204 CPUtime=49.87
/proc/21839/task/21841/stat : 21841 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 13767 0 0 0 4963 24 0 0 20 0 17 0 653998809 1919184896 412676 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134562403 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=21839/tid=21842] ppid=21837 vsize=1874204 CPUtime=49.64
/proc/21839/task/21842/stat : 21842 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 22689 0 0 0 4592 372 0 0 20 0 17 0 653998809 1919184896 412676 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21839/tid=21843] ppid=21837 vsize=1874204 CPUtime=49.6
/proc/21839/task/21843/stat : 21843 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 32900 0 0 0 4570 390 0 0 20 0 17 0 653998809 1919184896 412676 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=21839/tid=21844] ppid=21837 vsize=1874204 CPUtime=49.6
/proc/21839/task/21844/stat : 21844 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 28552 0 0 0 4588 372 0 0 20 0 17 0 653998809 1919184896 412676 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=21839/tid=21845] ppid=21837 vsize=1874204 CPUtime=49.65
/proc/21839/task/21845/stat : 21845 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 19461 0 0 0 4593 372 0 0 20 0 17 0 653998809 1919184896 412676 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21839/tid=21846] ppid=21837 vsize=1874204 CPUtime=49.63
/proc/21839/task/21846/stat : 21846 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 21837 0 0 0 4569 394 0 0 20 0 17 0 653998809 1919184896 412676 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=21839/tid=21847] ppid=21837 vsize=1874204 CPUtime=49.7
/proc/21839/task/21847/stat : 21847 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 14030 0 0 0 4630 340 0 0 20 0 17 0 653998809 1919184896 412676 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=21839/tid=21848] ppid=21837 vsize=1874204 CPUtime=49.6
/proc/21839/task/21848/stat : 21848 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 31776 0 0 0 4534 426 0 0 20 0 17 0 653998809 1919184896 412676 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21839/tid=21849] ppid=21837 vsize=1874204 CPUtime=49.63
/proc/21839/task/21849/stat : 21849 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 33269 0 0 0 4567 396 0 0 20 0 17 0 653998809 1919184896 412676 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21839/tid=21850] ppid=21837 vsize=1874204 CPUtime=49.58
/proc/21839/task/21850/stat : 21850 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 31739 0 0 0 4546 412 0 0 20 0 17 0 653998809 1919184896 412676 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134562351 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21839/tid=21851] ppid=21837 vsize=1874204 CPUtime=49.59
/proc/21839/task/21851/stat : 21851 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 29365 0 0 0 4553 406 0 0 20 0 17 0 653998810 1919184896 412677 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21839/tid=21852] ppid=21837 vsize=1874204 CPUtime=49.63
/proc/21839/task/21852/stat : 21852 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 16131 0 0 0 4615 348 0 0 20 0 17 0 653998810 1919184896 412677 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21839/tid=21853] ppid=21837 vsize=1874204 CPUtime=49.58
/proc/21839/task/21853/stat : 21853 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 27925 0 0 0 4574 384 0 0 20 0 17 0 653998810 1919184896 412677 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21839/tid=21854] ppid=21837 vsize=1874204 CPUtime=48.68
/proc/21839/task/21854/stat : 21854 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 22347 0 0 0 4500 368 0 0 20 0 17 0 653998810 1919184896 412677 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21839/tid=21855] ppid=21837 vsize=1874204 CPUtime=49.6
/proc/21839/task/21855/stat : 21855 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 23194 0 0 0 4590 370 0 0 20 0 17 0 653998810 1919184896 412677 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21839/tid=21856] ppid=21837 vsize=1874204 CPUtime=49.64
/proc/21839/task/21856/stat : 21856 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 18617 0 0 0 4614 350 0 0 20 0 17 0 653998811 1919184896 412677 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 794.53
Current children cumulated vsize (KiB) 1874204



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+59.3043 s]
/proc/loadavg: 12.89 5.47 5.73 17/201 21856
/proc/meminfo: memFree=17187436/36427776 swapFree=4692/1868912
[pid=21839] ppid=21837 vsize=2098380 CPUtime=925.55
/proc/21839/stat : 21839 (ttsth-5-0) S 21837 21839 15497 0 -1 4202496 465736 0 0 0 86559 5996 0 0 20 0 17 0 653998691 2148741120 465667 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21839/statm: 524595 465667 95 177 0 524417 0
[pid=21839/tid=21841] ppid=21837 vsize=2098380 CPUtime=58.09
/proc/21839/task/21841/stat : 21841 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 15111 0 0 0 5785 24 0 0 20 0 17 0 653998809 2148741120 465669 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=21839/tid=21842] ppid=21837 vsize=2098380 CPUtime=57.85
/proc/21839/task/21842/stat : 21842 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 25435 0 0 0 5391 394 0 0 20 0 17 0 653998809 2148741120 465670 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21839/tid=21843] ppid=21837 vsize=2098380 CPUtime=57.79
/proc/21839/task/21843/stat : 21843 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 37538 0 0 0 5367 412 0 0 20 0 17 0 653998809 2148741120 465670 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=21839/tid=21844] ppid=21837 vsize=2098380 CPUtime=57.81
/proc/21839/task/21844/stat : 21844 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 30697 0 0 0 5393 388 0 0 20 0 17 0 653998809 2148741120 465670 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=21839/tid=21845] ppid=21837 vsize=2098380 CPUtime=57.85
/proc/21839/task/21845/stat : 21845 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 22521 0 0 0 5397 388 0 0 20 0 17 0 653998809 2148741120 465670 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21839/tid=21846] ppid=21837 vsize=2098380 CPUtime=57.82
/proc/21839/task/21846/stat : 21846 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 24709 0 0 0 5364 418 0 0 20 0 17 0 653998809 2148741120 465670 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=21839/tid=21847] ppid=21837 vsize=2098380 CPUtime=57.91
/proc/21839/task/21847/stat : 21847 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 16522 0 0 0 5441 350 0 0 20 0 17 0 653998809 2148741120 465670 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=21839/tid=21848] ppid=21837 vsize=2098380 CPUtime=57.81
/proc/21839/task/21848/stat : 21848 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 35385 0 0 0 5341 440 0 0 20 0 17 0 653998809 2148741120 465670 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21839/tid=21849] ppid=21837 vsize=2098380 CPUtime=57.83
/proc/21839/task/21849/stat : 21849 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 37767 0 0 0 5371 412 0 0 20 0 17 0 653998809 2148741120 465671 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21839/tid=21850] ppid=21837 vsize=2098380 CPUtime=57.78
/proc/21839/task/21850/stat : 21850 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 36885 0 0 0 5350 428 0 0 20 0 17 0 653998809 2148741120 465671 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21839/tid=21851] ppid=21837 vsize=2098380 CPUtime=57.78
/proc/21839/task/21851/stat : 21851 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 34296 0 0 0 5350 428 0 0 20 0 17 0 653998810 2148741120 465671 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21839/tid=21852] ppid=21837 vsize=2098380 CPUtime=57.85
/proc/21839/task/21852/stat : 21852 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 18975 0 0 0 5423 362 0 0 20 0 17 0 653998810 2148741120 465671 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21839/tid=21853] ppid=21837 vsize=2098380 CPUtime=57.79
/proc/21839/task/21853/stat : 21853 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 31320 0 0 0 5377 402 0 0 20 0 17 0 653998810 2148741120 465671 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21839/tid=21854] ppid=21837 vsize=2098380 CPUtime=56.69
/proc/21839/task/21854/stat : 21854 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 25390 0 0 0 5285 384 0 0 20 0 17 0 653998810 2148741120 465671 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21839/tid=21855] ppid=21837 vsize=2098380 CPUtime=57.79
/proc/21839/task/21855/stat : 21855 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 27751 0 0 0 5393 386 0 0 20 0 17 0 653998810 2148741120 465671 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21839/tid=21856] ppid=21837 vsize=2098380 CPUtime=57.84
/proc/21839/task/21856/stat : 21856 (ttsth-5-0) R 21837 21839 15497 0 -1 4202560 20291 0 0 0 5424 360 0 0 20 0 17 0 653998811 2148741120 465671 18446744073709551615 134512640 135237372 4287506368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 925.55
Current children cumulated vsize (KiB) 2098380

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

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

[startup+59.4374 s]
/proc/loadavg: 12.89 5.47 5.73 17/201 21856
/proc/meminfo: memFree=17187436/36427776 swapFree=4692/1868912
[pid=21839] ppid=21837 vsize=0 CPUtime=925.85
/proc/21839/stat : 21839 (ttsth-5-0) Z 21837 21839 15497 0 -1 4203532 465807 0 0 0 86579 6006 0 0 20 0 2 0 653998691 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21839/statm: 0 0 0 0 0 0 0
[pid=21839/tid=21856] ppid=21837 vsize=0 CPUtime=57.95
/proc/21839/task/21856/stat : 21856 (ttsth-5-0) R 21837 21839 15497 0 -1 4203588 20291 0 0 0 5425 370 0 0 20 0 2 0 653998811 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 925.85
Current children cumulated vsize (KiB) 0

[startup+59.5014 s]
/proc/loadavg: 12.89 5.47 5.73 17/201 21856
/proc/meminfo: memFree=17187436/36427776 swapFree=4692/1868912
[pid=21839] ppid=21837 vsize=0 CPUtime=925.92
/proc/21839/stat : 21839 (ttsth-5-0) Z 21837 21839 15497 0 -1 4203532 465807 0 0 0 86579 6013 0 0 20 0 2 0 653998691 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21839/statm: 0 0 0 0 0 0 0
[pid=21839/tid=21856] ppid=21837 vsize=0 CPUtime=58.03
/proc/21839/task/21856/stat : 21856 (ttsth-5-0) R 21837 21839 15497 0 -1 4203588 20291 0 0 0 5425 378 0 0 20 0 2 0 653998811 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 925.92
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 59.5074
CPU time (s): 925.946
CPU user time (s): 865.814
CPU system time (s): 60.1318
CPU usage (%): 1556.02
Max. virtual memory (cumulated for all children) (KiB): 2098380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 865.814
system time used= 60.1318
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 465807
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= 45988
involuntary context switches= 2239

runsolver used 0.268016 second user time and 0.916057 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 04:35:23
IDJOB=1778880
IDBENCH=70775
IDSOLVER=634
FILE ID=xenhost3-49/1778880-1244946923
PBS_JOBID=
Free space on /tmp= 7024 MiB

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

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

MD5SUM BENCH= 8d76aa747359ea8ccf15726792949452
RANDOM SEED= 87688614

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:      19050044 kB
Buffers:        480628 kB
Cached:       14116032 kB
SwapCached:          0 kB
Active:        4126800 kB
Inactive:     10477640 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:             696 kB
Writeback:           0 kB
AnonPages:        7772 kB
Mapped:           4428 kB
Slab:           720440 kB
SReclaimable:   693692 kB
SUnreclaim:      26748 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= 7024 MiB
End job on xenhost3-49 at 2009-06-14 04:36:25