Trace number 1779525

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) 1865.24 123.497

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-13-s100.cnf
MD5SUM18e29c95dcbfcbcf33a0a6c65b568b2d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark30.55
Satisfiable
(Un)Satisfiability was proved
Number of variables30867
Number of clauses92735
Sum of the clauses size218247
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 259830
Number of clauses of size 332841
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.08/0.13	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779525-1244953882.cnf 
0.08/0.13	c Using SATTIMEOUT of 10000
0.08/0.13	c Using SATRAM of 2047
0.08/0.13	c Size of subset node = 16
0.08/0.13	c Variables = 30867
0.08/0.13	c Clauses = 92735
0.08/0.13	c Literals = 218247
0.08/0.13	c Reduced size:
0.08/0.13	c Variables = 30867
0.08/0.13	c Clauses = 92251
0.08/0.13	c Literals = 216963
0.08/0.13	c a2
0.18/0.24	c a1
3.78/3.89	c Independent sub-problems = 1
3.78/3.89	c Sub-problem with 30719 variables and 92251 clauses
3.78/3.89	c using permutation method 4
3.78/3.89	c count = 1
3.78/3.89	c Ordering finished 3.850 seconds
3.78/3.89	c mapped 3.880 seconds
3.78/3.89	c permuted 3.880 seconds
3.78/3.89	c about to sort
3.88/3.91	c sorted
4.78/4.83	c clauses now 92251
4.78/4.83	c init finished 4.480 seconds
4.78/4.83	c tree built 4.820 seconds
4.78/4.83	c 
4.78/4.83	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
4.78/4.83	c ---------------------------------|----------------------------------|------------------------------------------------------
4.78/4.83	c ................................ | ..........                       |                        4.8           0.0             
4.78/4.83	c ................................ | ..........                     1 |                        4.8           0.2             
4.78/4.83	c ................................ | ..........                     2 |                        4.8           0.4            1
4.78/4.83	c ................................ | ..........                     3 |                        4.8           0.6            1
4.78/4.83	c ................................ | ..........                     4 |                        4.8           0.8            1
4.78/4.84	c ................................ | ..........                     5 |                        4.8           1.0            1
4.78/4.85	c ................................ | ..........                  1000 | 14                     4.9         202.8          163
302.74/23.91	c ................................ | ..........                795000 | 19156                200.1        3973.8     10617014
561.35/40.60	c ................................ | ..........               1055000 | 27564                400.1        2637.0     21914844
794.99/55.42	c ................................ | ..........               1250000 | 33639                601.3        2078.9     34274855
1011.72/69.25	c ................................ | ..........               1420000 | 38807                800.1        1774.8     45434781
1225.43/82.89	c ................................ | *.........               1630000 | 45351               1000.3        1629.4     56703421
1441.15/96.53	c ................................ | *.........               1832000 | 50958               1201.1        1525.3     68372271
1649.79/109.72	c ................................ | *.........               1985000 | 55856               1400.7        1417.2     79587037
1858.57/122.94	c ................................ | *.........               2132000 | 60336               1600.5        1332.0     89660328

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-1779525-1244953882/watcher-1779525-1244953882 -o /tmp/evaluation-result-1779525-1244953882/solver-1779525-1244953882 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779525-1244953882.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.47 14.91 13.84 2/189 24264
/proc/meminfo: memFree=19044368/36427776 swapFree=3792/8276
[pid=24264] ppid=24262 vsize=1540 CPUtime=0
/proc/24264/stat : 24264 (ttsth-5-0) R 24262 24264 15497 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 654694529 1576960 234 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134732614 0 0 1 0 0 0 0 17 4 0 0 0 0 0
/proc/24264/statm: 385 235 75 177 0 207 0

[startup+0.08429 s]
/proc/loadavg: 15.47 14.91 13.84 2/189 24264
/proc/meminfo: memFree=19044368/36427776 swapFree=3792/8276
[pid=24264] ppid=24262 vsize=6392 CPUtime=0.08
/proc/24264/stat : 24264 (ttsth-5-0) R 24262 24264 15497 0 -1 4202496 1477 0 0 0 8 0 0 0 20 0 1 0 654694529 6545408 1434 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134732614 0 0 1 0 0 0 0 17 4 0 0 0 0 0
/proc/24264/statm: 1598 1435 75 177 0 1420 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6392

[startup+0.100311 s]
/proc/loadavg: 15.47 14.91 13.84 2/189 24264
/proc/meminfo: memFree=19044368/36427776 swapFree=3792/8276
[pid=24264] ppid=24262 vsize=7716 CPUtime=0.08
/proc/24264/stat : 24264 (ttsth-5-0) R 24262 24264 15497 0 -1 4202496 1733 0 0 0 8 0 0 0 20 0 1 0 654694529 7901184 1690 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134534150 0 0 1 0 0 0 0 17 4 0 0 0 0 0
/proc/24264/statm: 1929 1690 75 177 0 1751 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7716

[startup+0.300359 s]
/proc/loadavg: 15.47 14.91 13.84 2/189 24264
/proc/meminfo: memFree=19044368/36427776 swapFree=3792/8276
[pid=24264] ppid=24262 vsize=14860 CPUtime=0.28
/proc/24264/stat : 24264 (ttsth-5-0) R 24262 24264 15497 0 -1 4202496 3723 0 0 0 26 2 0 0 20 0 1 0 654694529 15216640 3498 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134732614 0 0 1 0 0 0 0 17 4 0 0 0 0 0
/proc/24264/statm: 3715 3499 77 177 0 3537 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 14860

[startup+0.700346 s]
/proc/loadavg: 15.47 14.91 13.84 2/189 24264
/proc/meminfo: memFree=19044368/36427776 swapFree=3792/8276
[pid=24264] ppid=24262 vsize=18172 CPUtime=0.68
/proc/24264/stat : 24264 (ttsth-5-0) R 24262 24264 15497 0 -1 4202496 4564 0 0 0 66 2 0 0 20 0 1 0 654694529 18608128 4338 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134749343 0 0 1 0 0 0 0 17 4 0 0 0 0 0
/proc/24264/statm: 4543 4338 77 177 0 4365 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 18172

[startup+1.50041 s]
/proc/loadavg: 15.47 14.91 13.84 2/190 24265
/proc/meminfo: memFree=19027916/36427776 swapFree=4908/25644
[pid=24264] ppid=24262 vsize=18384 CPUtime=1.48
/proc/24264/stat : 24264 (ttsth-5-0) R 24262 24264 15497 0 -1 4202496 4633 0 0 0 146 2 0 0 20 0 1 0 654694529 18825216 4407 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134555272 0 0 1 0 0 0 0 17 4 0 0 0 0 0
/proc/24264/statm: 4596 4407 77 177 0 4418 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 18384

[startup+3.10055 s]
/proc/loadavg: 14.31 14.68 13.77 2/190 24265
/proc/meminfo: memFree=19026796/36427776 swapFree=5388/26916
[pid=24264] ppid=24262 vsize=19256 CPUtime=3.08
/proc/24264/stat : 24264 (ttsth-5-0) R 24262 24264 15497 0 -1 4202496 4788 0 0 0 306 2 0 0 20 0 1 0 654694529 19718144 4562 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134600972 0 0 1 0 0 0 0 17 4 0 0 0 0 0
/proc/24264/statm: 4814 4562 77 177 0 4636 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 19256

[startup+6.30481 s]
/proc/loadavg: 14.31 14.68 13.77 17/206 24281
/proc/meminfo: memFree=18671856/36427776 swapFree=4820/383672
[pid=24264] ppid=24262 vsize=513604 CPUtime=27.63
/proc/24264/stat : 24264 (ttsth-5-0) S 24262 24264 15497 0 -1 4202496 97506 0 0 0 907 1856 0 0 20 0 17 0 654694529 525930496 97098 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24264/statm: 128401 97098 95 177 0 128223 0
[pid=24264/tid=24266] ppid=24262 vsize=513604 CPUtime=1.44
/proc/24264/task/24266/stat : 24266 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 1088 0 0 0 138 6 0 0 20 0 17 0 654695012 525930496 97098 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134561510 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24264/tid=24267] ppid=24262 vsize=513604 CPUtime=1.42
/proc/24264/task/24267/stat : 24267 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 349 0 0 0 20 122 0 0 20 0 17 0 654695012 525930496 97098 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=24264/tid=24268] ppid=24262 vsize=513604 CPUtime=1.42
/proc/24264/task/24268/stat : 24268 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 400 0 0 0 16 126 0 0 20 0 17 0 654695012 525930496 97098 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24264/tid=24269] ppid=24262 vsize=513604 CPUtime=1.42
/proc/24264/task/24269/stat : 24269 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 455 0 0 0 28 114 0 0 20 0 17 0 654695012 525930496 97098 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=24264/tid=24270] ppid=24262 vsize=513604 CPUtime=1.44
/proc/24264/task/24270/stat : 24270 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 356 0 0 0 22 122 0 0 20 0 17 0 654695012 525930496 97098 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24264/tid=24271] ppid=24262 vsize=513604 CPUtime=1.42
/proc/24264/task/24271/stat : 24271 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 377 0 0 0 26 116 0 0 20 0 17 0 654695012 525930496 97098 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=24264/tid=24272] ppid=24262 vsize=513604 CPUtime=1.42
/proc/24264/task/24272/stat : 24272 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 306 0 0 0 22 120 0 0 20 0 17 0 654695012 525930496 97098 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=24264/tid=24273] ppid=24262 vsize=513604 CPUtime=1.42
/proc/24264/task/24273/stat : 24273 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 339 0 0 0 20 122 0 0 20 0 17 0 654695012 525930496 97098 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=24264/tid=24274] ppid=24262 vsize=513604 CPUtime=1.42
/proc/24264/task/24274/stat : 24274 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 373 0 0 0 18 124 0 0 20 0 17 0 654695012 525930496 97098 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24264/tid=24275] ppid=24262 vsize=513604 CPUtime=1.42
/proc/24264/task/24275/stat : 24275 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 410 0 0 0 26 116 0 0 20 0 17 0 654695012 525930496 97098 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24264/tid=24276] ppid=24262 vsize=513604 CPUtime=1.42
/proc/24264/task/24276/stat : 24276 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 418 0 0 0 18 124 0 0 20 0 17 0 654695012 525930496 97098 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24264/tid=24277] ppid=24262 vsize=513604 CPUtime=1.4
/proc/24264/task/24277/stat : 24277 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 380 0 0 0 24 116 0 0 20 0 17 0 654695012 525930496 97098 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24264/tid=24278] ppid=24262 vsize=513604 CPUtime=1.4
/proc/24264/task/24278/stat : 24278 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 384 0 0 0 16 124 0 0 20 0 17 0 654695013 525930496 97098 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24264/tid=24279] ppid=24262 vsize=513604 CPUtime=1.38
/proc/24264/task/24279/stat : 24279 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 330 0 0 0 20 118 0 0 20 0 17 0 654695013 525930496 97098 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=24264/tid=24280] ppid=24262 vsize=513604 CPUtime=1.42
/proc/24264/task/24280/stat : 24280 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 302 0 0 0 22 120 0 0 20 0 17 0 654695013 525930496 97098 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24264/tid=24281] ppid=24262 vsize=513604 CPUtime=1.4
/proc/24264/task/24281/stat : 24281 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 422 0 0 0 14 126 0 0 20 0 17 0 654695013 525930496 97098 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 27.63
Current children cumulated vsize (KiB) 513604

[startup+12.704 s]
/proc/loadavg: 14.57 14.72 13.79 17/206 24281
/proc/meminfo: memFree=18590880/36427776 swapFree=4836/462744
[pid=24264] ppid=24262 vsize=583936 CPUtime=127.7
/proc/24264/stat : 24264 (ttsth-5-0) S 24262 24264 15497 0 -1 4202496 115831 0 0 0 3824 8946 0 0 20 0 17 0 654694529 597950464 115423 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24264/statm: 145984 115424 95 177 0 145806 0
[pid=24264/tid=24266] ppid=24262 vsize=583936 CPUtime=7.82
/proc/24264/task/24266/stat : 24266 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 6959 0 0 0 770 12 0 0 20 0 17 0 654695012 597950464 115424 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24264/tid=24267] ppid=24262 vsize=583936 CPUtime=7.68
/proc/24264/task/24267/stat : 24267 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 1427 0 0 0 204 564 0 0 20 0 17 0 654695012 597950464 115424 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=24264/tid=24268] ppid=24262 vsize=583936 CPUtime=7.68
/proc/24264/task/24268/stat : 24268 (ttsth-5-0) S 24262 24264 15497 0 -1 4202560 1042 0 0 0 170 598 0 0 20 0 17 0 654695012 597950464 115424 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=24264/tid=24269] ppid=24262 vsize=583936 CPUtime=7.68
/proc/24264/task/24269/stat : 24269 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 1266 0 0 0 172 596 0 0 20 0 17 0 654695012 597950464 115424 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=24264/tid=24270] ppid=24262 vsize=583936 CPUtime=7.66
/proc/24264/task/24270/stat : 24270 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 1292 0 0 0 182 584 0 0 20 0 17 0 654695012 597950464 115424 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24264/tid=24271] ppid=24262 vsize=583936 CPUtime=7.68
/proc/24264/task/24271/stat : 24271 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 1093 0 0 0 160 608 0 0 20 0 17 0 654695012 597950464 115424 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=24264/tid=24272] ppid=24262 vsize=583936 CPUtime=7.68
/proc/24264/task/24272/stat : 24272 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 1263 0 0 0 188 580 0 0 20 0 17 0 654695012 597950464 115425 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=24264/tid=24273] ppid=24262 vsize=583936 CPUtime=7.66
/proc/24264/task/24273/stat : 24273 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 1211 0 0 0 154 612 0 0 20 0 17 0 654695012 597950464 115425 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=24264/tid=24274] ppid=24262 vsize=583936 CPUtime=7.68
/proc/24264/task/24274/stat : 24274 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 1353 0 0 0 180 588 0 0 20 0 17 0 654695012 597950464 115425 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24264/tid=24275] ppid=24262 vsize=583936 CPUtime=7.7
/proc/24264/task/24275/stat : 24275 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 1231 0 0 0 184 586 0 0 20 0 17 0 654695012 597950464 115425 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24264/tid=24276] ppid=24262 vsize=583936 CPUtime=7.7
/proc/24264/task/24276/stat : 24276 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 1558 0 0 0 200 570 0 0 20 0 17 0 654695012 597950464 115425 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24264/tid=24277] ppid=24262 vsize=583936 CPUtime=7.68
/proc/24264/task/24277/stat : 24277 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 848 0 0 0 170 598 0 0 20 0 17 0 654695012 597950464 115425 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24264/tid=24278] ppid=24262 vsize=583936 CPUtime=7.66
/proc/24264/task/24278/stat : 24278 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 1278 0 0 0 146 620 0 0 20 0 17 0 654695013 597950464 115425 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24264/tid=24279] ppid=24262 vsize=583936 CPUtime=7.5
/proc/24264/task/24279/stat : 24279 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 1265 0 0 0 166 584 0 0 20 0 17 0 654695013 597950464 115425 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=24264/tid=24280] ppid=24262 vsize=583936 CPUtime=7.64
/proc/24264/task/24280/stat : 24280 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 861 0 0 0 160 604 0 0 20 0 17 0 654695013 597950464 115426 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24264/tid=24281] ppid=24262 vsize=583936 CPUtime=7.66
/proc/24264/task/24281/stat : 24281 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 1069 0 0 0 164 602 0 0 20 0 17 0 654695013 597950464 115426 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 127.7
Current children cumulated vsize (KiB) 583936

[startup+25.5081 s]
/proc/loadavg: 14.79 14.76 13.82 17/206 24281
/proc/meminfo: memFree=18443268/36427776 swapFree=4836/610048
[pid=24264] ppid=24262 vsize=734636 CPUtime=327.6
/proc/24264/stat : 24264 (ttsth-5-0) S 24262 24264 15497 0 -1 4202496 151863 0 0 0 13554 19206 0 0 20 0 17 0 654694529 752267264 151455 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24264/statm: 183659 151455 95 177 0 183481 0
[pid=24264/tid=24266] ppid=24262 vsize=734636 CPUtime=20.6
/proc/24264/task/24266/stat : 24266 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 18318 0 0 0 2034 26 0 0 20 0 17 0 654695012 752267264 151456 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24264/tid=24267] ppid=24262 vsize=734636 CPUtime=20.16
/proc/24264/task/24267/stat : 24267 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 2596 0 0 0 746 1270 0 0 20 0 17 0 654695012 752267264 151456 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=24264/tid=24268] ppid=24262 vsize=734636 CPUtime=20.12
/proc/24264/task/24268/stat : 24268 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 2907 0 0 0 728 1284 0 0 20 0 17 0 654695012 752267264 151456 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24264/tid=24269] ppid=24262 vsize=734636 CPUtime=20.12
/proc/24264/task/24269/stat : 24269 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 2232 0 0 0 662 1350 0 0 20 0 17 0 654695012 752267264 151456 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=24264/tid=24270] ppid=24262 vsize=734636 CPUtime=20.18
/proc/24264/task/24270/stat : 24270 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 3465 0 0 0 772 1246 0 0 20 0 17 0 654695012 752267264 151457 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24264/tid=24271] ppid=24262 vsize=734636 CPUtime=20.1
/proc/24264/task/24271/stat : 24271 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 2396 0 0 0 626 1384 0 0 20 0 17 0 654695012 752267264 151457 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=24264/tid=24272] ppid=24262 vsize=734636 CPUtime=20.26
/proc/24264/task/24272/stat : 24272 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 3004 0 0 0 860 1166 0 0 20 0 17 0 654695012 752267264 151457 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=24264/tid=24273] ppid=24262 vsize=734636 CPUtime=20.16
/proc/24264/task/24273/stat : 24273 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 3037 0 0 0 632 1384 0 0 20 0 17 0 654695012 752267264 151457 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=24264/tid=24274] ppid=24262 vsize=734636 CPUtime=20.2
/proc/24264/task/24274/stat : 24274 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 2591 0 0 0 692 1328 0 0 20 0 17 0 654695012 752267264 151457 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24264/tid=24275] ppid=24262 vsize=734636 CPUtime=20.26
/proc/24264/task/24275/stat : 24275 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 2761 0 0 0 834 1192 0 0 20 0 17 0 654695012 752267264 151458 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24264/tid=24276] ppid=24262 vsize=734636 CPUtime=20.3
/proc/24264/task/24276/stat : 24276 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 3409 0 0 0 882 1148 0 0 20 0 17 0 654695012 752267264 151458 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24264/tid=24277] ppid=24262 vsize=734636 CPUtime=20.04
/proc/24264/task/24277/stat : 24277 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 2640 0 0 0 694 1310 0 0 20 0 17 0 654695012 752267264 151458 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24264/tid=24278] ppid=24262 vsize=734636 CPUtime=20.16
/proc/24264/task/24278/stat : 24278 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 3899 0 0 0 750 1266 0 0 20 0 17 0 654695013 752267264 151458 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24264/tid=24279] ppid=24262 vsize=734636 CPUtime=19.74
/proc/24264/task/24279/stat : 24279 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 2564 0 0 0 804 1170 0 0 20 0 17 0 654695013 752267264 151458 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=24264/tid=24280] ppid=24262 vsize=734636 CPUtime=20.08
/proc/24264/task/24280/stat : 24280 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 2428 0 0 0 650 1358 0 0 20 0 17 0 654695013 752267264 151458 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134749343 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24264/tid=24281] ppid=24262 vsize=734636 CPUtime=20.14
/proc/24264/task/24281/stat : 24281 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 2800 0 0 0 730 1284 0 0 20 0 17 0 654695013 752267264 151458 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 327.6
Current children cumulated vsize (KiB) 734636

[startup+51.1061 s]
/proc/loadavg: 15.14 14.84 13.87 16/206 24281
/proc/meminfo: memFree=18130264/36427776 swapFree=4836/923204
[pid=24264] ppid=24262 vsize=1070100 CPUtime=727.39
/proc/24264/stat : 24264 (ttsth-5-0) S 24262 24264 15497 0 -1 4202496 231222 0 0 0 41877 30862 0 0 20 0 17 0 654694529 1095782400 230814 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24264/statm: 267525 230814 95 177 0 267347 0
[pid=24264/tid=24266] ppid=24262 vsize=1070100 CPUtime=46.19
/proc/24264/task/24266/stat : 24266 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 34518 0 0 0 4573 46 0 0 20 0 17 0 654695012 1095782400 230814 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134549925 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24264/tid=24267] ppid=24262 vsize=1070100 CPUtime=45.08
/proc/24264/task/24267/stat : 24267 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 5794 0 0 0 2440 2068 0 0 20 0 17 0 654695012 1095782400 230814 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=24264/tid=24268] ppid=24262 vsize=1070100 CPUtime=45.14
/proc/24264/task/24268/stat : 24268 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 6643 0 0 0 2528 1986 0 0 20 0 17 0 654695012 1095782400 230814 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24264/tid=24269] ppid=24262 vsize=1070100 CPUtime=45.06
/proc/24264/task/24269/stat : 24269 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 6910 0 0 0 2354 2152 0 0 20 0 17 0 654695012 1095782400 230814 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=24264/tid=24270] ppid=24262 vsize=1070100 CPUtime=44.96
/proc/24264/task/24270/stat : 24270 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 7891 0 0 0 2322 2174 0 0 20 0 17 0 654695012 1095782400 230814 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134588414 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24264/tid=24271] ppid=24262 vsize=1070100 CPUtime=45
/proc/24264/task/24271/stat : 24271 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 6327 0 0 0 2266 2234 0 0 20 0 17 0 654695012 1095782400 230814 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=24264/tid=24272] ppid=24262 vsize=1070100 CPUtime=45.32
/proc/24264/task/24272/stat : 24272 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 6413 0 0 0 2630 1902 0 0 20 0 17 0 654695012 1095782400 230814 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=24264/tid=24273] ppid=24262 vsize=1070100 CPUtime=45.22
/proc/24264/task/24273/stat : 24273 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 8908 0 0 0 2398 2124 0 0 20 0 17 0 654695012 1095782400 230814 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134590281 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=24264/tid=24274] ppid=24262 vsize=1070100 CPUtime=45.24
/proc/24264/task/24274/stat : 24274 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 7518 0 0 0 2402 2122 0 0 20 0 17 0 654695012 1095782400 230814 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24264/tid=24275] ppid=24262 vsize=1070100 CPUtime=45.44
/proc/24264/task/24275/stat : 24275 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 5497 0 0 0 2672 1872 0 0 20 0 17 0 654695012 1095782400 230814 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24264/tid=24276] ppid=24262 vsize=1070100 CPUtime=45.48
/proc/24264/task/24276/stat : 24276 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 8339 0 0 0 2714 1834 0 0 20 0 17 0 654695012 1095782400 230814 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134680467 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24264/tid=24277] ppid=24262 vsize=1070100 CPUtime=44.76
/proc/24264/task/24277/stat : 24277 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 6623 0 0 0 2270 2206 0 0 20 0 17 0 654695012 1095782400 230815 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134589080 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24264/tid=24278] ppid=24262 vsize=1070100 CPUtime=45.24
/proc/24264/task/24278/stat : 24278 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 10883 0 0 0 2570 1954 0 0 20 0 17 0 654695013 1095782400 230815 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24264/tid=24279] ppid=24262 vsize=1070100 CPUtime=44.22
/proc/24264/task/24279/stat : 24279 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 4743 0 0 0 2518 1904 0 0 20 0 17 0 654695013 1095782400 230815 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134680326 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=24264/tid=24280] ppid=24262 vsize=1070100 CPUtime=44.92
/proc/24264/task/24280/stat : 24280 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 6489 0 0 0 2232 2260 0 0 20 0 17 0 654695013 1095782400 230815 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24264/tid=24281] ppid=24262 vsize=1070100 CPUtime=45.12
/proc/24264/task/24281/stat : 24281 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 6909 0 0 0 2530 1982 0 0 20 0 17 0 654695013 1095782400 230815 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 727.39
Current children cumulated vsize (KiB) 1070100

[startup+102.316 s]
/proc/loadavg: 15.65 15.04 13.99 17/206 24281
/proc/meminfo: memFree=17423492/36427776 swapFree=4836/1628872
[pid=24264] ppid=24262 vsize=1813124 CPUtime=1533.01
/proc/24264/stat : 24264 (ttsth-5-0) S 24262 24264 15497 0 -1 4202496 406160 0 0 0 115010 38291 0 0 20 0 17 0 654694529 1856638976 405752 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24264/statm: 453281 405753 95 177 0 453103 0
[pid=24264/tid=24266] ppid=24262 vsize=1813124 CPUtime=97.39
/proc/24264/task/24266/stat : 24266 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 60946 0 0 0 9661 78 0 0 20 0 17 0 654695012 1856638976 405754 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24264/tid=24267] ppid=24262 vsize=1813124 CPUtime=95.38
/proc/24264/task/24267/stat : 24267 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 11423 0 0 0 6982 2556 0 0 20 0 17 0 654695012 1856638976 405754 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=24264/tid=24268] ppid=24262 vsize=1813124 CPUtime=95.44
/proc/24264/task/24268/stat : 24268 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 12533 0 0 0 7054 2490 0 0 20 0 17 0 654695012 1856638976 405754 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134591177 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24264/tid=24269] ppid=24262 vsize=1813124 CPUtime=95.44
/proc/24264/task/24269/stat : 24269 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 13847 0 0 0 6940 2604 0 0 20 0 17 0 654695012 1856638976 405754 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=24264/tid=24270] ppid=24262 vsize=1813124 CPUtime=95.4
/proc/24264/task/24270/stat : 24270 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 22646 0 0 0 6974 2566 0 0 20 0 17 0 654695012 1856638976 405754 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24264/tid=24271] ppid=24262 vsize=1813124 CPUtime=95.41
/proc/24264/task/24271/stat : 24271 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 16882 0 0 0 6903 2638 0 0 20 0 17 0 654695012 1856638976 405755 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=24264/tid=24272] ppid=24262 vsize=1813124 CPUtime=95.63
/proc/24264/task/24272/stat : 24272 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 13969 0 0 0 7085 2478 0 0 20 0 17 0 654695012 1856638976 405755 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134680503 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=24264/tid=24273] ppid=24262 vsize=1813124 CPUtime=95.66
/proc/24264/task/24273/stat : 24273 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 18686 0 0 0 6930 2636 0 0 20 0 17 0 654695012 1856638976 405755 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=24264/tid=24274] ppid=24262 vsize=1813124 CPUtime=95.7
/proc/24264/task/24274/stat : 24274 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 17309 0 0 0 6908 2662 0 0 20 0 17 0 654695012 1856638976 405756 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24264/tid=24275] ppid=24262 vsize=1813124 CPUtime=95.96
/proc/24264/task/24275/stat : 24275 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 10175 0 0 0 7188 2408 0 0 20 0 17 0 654695012 1856638976 405757 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24264/tid=24276] ppid=24262 vsize=1813124 CPUtime=96.06
/proc/24264/task/24276/stat : 24276 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 19369 0 0 0 7202 2404 0 0 20 0 17 0 654695012 1856638976 405757 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24264/tid=24277] ppid=24262 vsize=1813124 CPUtime=95.03
/proc/24264/task/24277/stat : 24277 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 19164 0 0 0 6879 2624 0 0 20 0 17 0 654695012 1856638976 405758 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24264/tid=24278] ppid=24262 vsize=1813124 CPUtime=95.69
/proc/24264/task/24278/stat : 24278 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 25626 0 0 0 7097 2472 0 0 20 0 17 0 654695013 1856638976 405758 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24264/tid=24279] ppid=24262 vsize=1813124 CPUtime=93.36
/proc/24264/task/24279/stat : 24279 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 13114 0 0 0 6930 2406 0 0 20 0 17 0 654695013 1856638976 405758 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=24264/tid=24280] ppid=24262 vsize=1813124 CPUtime=95.05
/proc/24264/task/24280/stat : 24280 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 21389 0 0 0 6693 2812 0 0 20 0 17 0 654695013 1856638976 405758 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24264/tid=24281] ppid=24262 vsize=1813124 CPUtime=95.45
/proc/24264/task/24281/stat : 24281 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 18267 0 0 0 7129 2416 0 0 20 0 17 0 654695013 1856638976 405759 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134749345 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1533.01
Current children cumulated vsize (KiB) 1813124



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+123.303 s]
/proc/loadavg: 15.75 15.10 14.03 17/206 24281
/proc/meminfo: memFree=17153772/36427776 swapFree=4836/1897976
[pid=24264] ppid=24262 vsize=2097736 CPUtime=1864.91
/proc/24264/stat : 24264 (ttsth-5-0) S 24262 24264 15497 0 -1 4202496 472822 0 0 0 146121 40370 0 0 20 0 17 0 654694529 2148081664 472414 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24264/statm: 524434 472414 95 177 0 524256 0
[pid=24264/tid=24266] ppid=24262 vsize=2097736 CPUtime=118.39
/proc/24264/task/24266/stat : 24266 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 70878 0 0 0 11747 92 0 0 20 0 17 0 654695012 2148081664 472415 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134562272 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24264/tid=24267] ppid=24262 vsize=2097736 CPUtime=116.1
/proc/24264/task/24267/stat : 24267 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 14831 0 0 0 8908 2702 0 0 20 0 17 0 654695012 2148081664 472415 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=24264/tid=24268] ppid=24262 vsize=2097736 CPUtime=116.13
/proc/24264/task/24268/stat : 24268 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 13403 0 0 0 8981 2632 0 0 20 0 17 0 654695012 2148081664 472415 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24264/tid=24269] ppid=24262 vsize=2097736 CPUtime=116.21
/proc/24264/task/24269/stat : 24269 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 18721 0 0 0 8889 2732 0 0 20 0 17 0 654695012 2148081664 472415 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=24264/tid=24270] ppid=24262 vsize=2097736 CPUtime=116.18
/proc/24264/task/24270/stat : 24270 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 27838 0 0 0 8918 2700 0 0 20 0 17 0 654695012 2148081664 472415 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24264/tid=24271] ppid=24262 vsize=2097736 CPUtime=116.14
/proc/24264/task/24271/stat : 24271 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 19555 0 0 0 8840 2774 0 0 20 0 17 0 654695012 2148081664 472415 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134680290 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=24264/tid=24272] ppid=24262 vsize=2097736 CPUtime=116.41
/proc/24264/task/24272/stat : 24272 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 15714 0 0 0 9017 2624 0 0 20 0 17 0 654695012 2148081664 472415 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=24264/tid=24273] ppid=24262 vsize=2097736 CPUtime=116.44
/proc/24264/task/24273/stat : 24273 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 21727 0 0 0 8876 2768 0 0 20 0 17 0 654695012 2148081664 472415 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=24264/tid=24274] ppid=24262 vsize=2097736 CPUtime=116.45
/proc/24264/task/24274/stat : 24274 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 19971 0 0 0 8823 2822 0 0 20 0 17 0 654695012 2148081664 472415 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24264/tid=24275] ppid=24262 vsize=2097736 CPUtime=116.72
/proc/24264/task/24275/stat : 24275 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 11999 0 0 0 9116 2556 0 0 20 0 17 0 654695012 2148081664 472415 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134680504 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24264/tid=24276] ppid=24262 vsize=2097736 CPUtime=116.82
/proc/24264/task/24276/stat : 24276 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 23107 0 0 0 9124 2558 0 0 20 0 17 0 654695012 2148081664 472415 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24264/tid=24277] ppid=24262 vsize=2097736 CPUtime=115.76
/proc/24264/task/24277/stat : 24277 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 25226 0 0 0 8824 2752 0 0 20 0 17 0 654695012 2148081664 472415 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24264/tid=24278] ppid=24262 vsize=2097736 CPUtime=116.48
/proc/24264/task/24278/stat : 24278 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 32342 0 0 0 9028 2620 0 0 20 0 17 0 654695013 2148081664 472415 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24264/tid=24279] ppid=24262 vsize=2097736 CPUtime=113.64
/proc/24264/task/24279/stat : 24279 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 17016 0 0 0 8834 2530 0 0 20 0 17 0 654695013 2148081664 472415 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134593369 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=24264/tid=24280] ppid=24262 vsize=2097736 CPUtime=115.82
/proc/24264/task/24280/stat : 24280 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 29092 0 0 0 8670 2912 0 0 20 0 17 0 654695013 2148081664 472415 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24264/tid=24281] ppid=24262 vsize=2097736 CPUtime=116.2
/proc/24264/task/24281/stat : 24281 (ttsth-5-0) R 24262 24264 15497 0 -1 4202560 20586 0 0 0 9070 2550 0 0 20 0 17 0 654695013 2148081664 472415 18446744073709551615 134512640 135237372 4289542576 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1864.91
Current children cumulated vsize (KiB) 2097736

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

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

[startup+123.427 s]
/proc/loadavg: 15.75 15.10 14.03 17/206 24281
/proc/meminfo: memFree=17153772/36427776 swapFree=4836/1897976
[pid=24264] ppid=24262 vsize=0 CPUtime=1865.16
/proc/24264/stat : 24264 (ttsth-5-0) Z 24262 24264 15497 0 -1 4203532 472865 0 0 0 146136 40380 0 0 20 0 2 0 654694529 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24264/statm: 0 0 0 0 0 0 0
[pid=24264/tid=24281] ppid=24262 vsize=0 CPUtime=116.3
/proc/24264/task/24281/stat : 24281 (ttsth-5-0) R 24262 24264 15497 0 -1 4203588 20586 0 0 0 9070 2560 0 0 20 0 2 0 654695013 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1865.16
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 123.497
CPU time (s): 1865.24
CPU user time (s): 1461.37
CPU system time (s): 403.873
CPU usage (%): 1510.35
Max. virtual memory (cumulated for all children) (KiB): 2097736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1461.37
system time used= 403.873
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 472865
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= 281335
involuntary context switches= 3972

runsolver used 0.544034 second user time and 1.91212 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 06:31:22
IDJOB=1779525
IDBENCH=70872
IDSOLVER=634
FILE ID=xenhost3-49/1779525-1244953882
PBS_JOBID=
Free space on /tmp= 7023 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-13-s100.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1779525-1244953882/watcher-1779525-1244953882 -o /tmp/evaluation-result-1779525-1244953882/solver-1779525-1244953882 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779525-1244953882.cnf

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

MD5SUM BENCH= 18e29c95dcbfcbcf33a0a6c65b568b2d
RANDOM SEED= 610157417

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:      19044368 kB
Buffers:        482624 kB
Cached:       14118216 kB
SwapCached:          0 kB
Active:        4129464 kB
Inactive:     10480336 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2020 kB
Writeback:           0 kB
AnonPages:        8276 kB
Mapped:           3792 kB
Slab:           721620 kB
SReclaimable:   694804 kB
SUnreclaim:      26816 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    31444 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

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