Trace number 1779600

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) 2732.39 179.115

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-19-s100.cnf
MD5SUMe2d18d9d1a45d63e75556fb963e4ae47
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3268.81
Satisfiable
(Un)Satisfiability was proved
Number of variables31435
Number of clauses94548
Sum of the clauses size222806
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 260710
Number of clauses of size 333774
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.10/0.13	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779600-1244954642.cnf 
0.10/0.13	c Using SATTIMEOUT of 10000
0.10/0.13	c Using SATRAM of 2047
0.10/0.13	c Size of subset node = 16
0.10/0.13	c Variables = 31435
0.10/0.13	c Clauses = 94548
0.10/0.13	c Literals = 222806
0.10/0.13	c Reduced size:
0.10/0.13	c Variables = 31435
0.10/0.13	c Clauses = 94064
0.10/0.13	c Literals = 221522
0.10/0.13	c a2
0.20/0.24	c a1
3.60/3.68	c Independent sub-problems = 1
3.60/3.68	c Sub-problem with 31287 variables and 94064 clauses
3.60/3.68	c using permutation method 4
3.60/3.68	c count = 1
3.60/3.68	c Ordering finished 3.640 seconds
3.60/3.68	c mapped 3.670 seconds
3.60/3.68	c permuted 3.670 seconds
3.60/3.68	c about to sort
3.60/3.70	c sorted
4.60/4.64	c clauses now 94064
4.60/4.64	c init finished 4.290 seconds
4.60/4.64	c tree built 4.630 seconds
4.60/4.64	c 
4.60/4.64	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
4.60/4.64	c ---------------------------------|----------------------------------|------------------------------------------------------
4.60/4.64	c ................................ | ..........                       |                        4.7           0.0             
4.60/4.64	c ................................ | ..........                     1 |                        4.7           0.2             
4.60/4.64	c ................................ | ..........                     2 |                        4.7           0.4             
4.60/4.64	c ................................ | ..........                     3 |                        4.7           0.6             
4.60/4.64	c ................................ | ..........                     4 |                        4.7           0.9             
4.60/4.64	c ................................ | ..........                     5 |                        4.7           1.1             
4.60/4.66	c ................................ | ..........                  1000 | 9                      4.8         210.1          502
325.46/25.13	c ................................ | ..........               1319000 | 28852                200.5        6578.9      9219725
637.85/45.05	c ................................ | ..........               2045000 | 46597                400.4        5107.8     16410591
941.40/64.45	c ................................ | ..........               2676000 | 62993                601.4        4449.6     23539743
1235.92/83.26	c ................................ | ..........               3219000 | 76856                801.2        4017.5     31558191
1512.25/100.98	c ................................ | *.........               3693000 | 89231               1000.5        3691.2     38933088
1756.29/116.55	c ................................ | *.........               4089000 | 99433               1200.7        3405.4     48491724
2005.59/132.53	c ................................ | *.........               4477000 | 109307              1400.3        3197.2     58150374
2236.00/147.14	c ................................ | *.........               4809000 | 118033              1601.0        3003.8     67066871
2461.08/161.66	c ................................ | *.........               5119000 | 126301              1800.3        2843.3     76405829
2685.30/175.97	c ................................ | **........               5451000 | 134712              2000.1        2725.4     85835819

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-1779600-1244954642/watcher-1779600-1244954642 -o /tmp/evaluation-result-1779600-1244954642/solver-1779600-1244954642 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779600-1244954642.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.65 15.31 14.65 2/189 24549
/proc/meminfo: memFree=19043056/36427776 swapFree=4876/8524
[pid=24549] ppid=24547 vsize=1540 CPUtime=0
/proc/24549/stat : 24549 (ttsth-5-0) R 24547 24549 15497 0 -1 4202496 282 0 0 0 0 0 0 0 20 0 1 0 654770602 1576960 239 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134732614 0 0 1 0 0 0 0 17 2 0 0 0 0 0
/proc/24549/statm: 385 239 75 177 0 207 0

[startup+0.01863 s]
/proc/loadavg: 15.65 15.31 14.65 2/189 24549
/proc/meminfo: memFree=19043056/36427776 swapFree=4876/8524
[pid=24549] ppid=24547 vsize=2068 CPUtime=0
/proc/24549/stat : 24549 (ttsth-5-0) R 24547 24549 15497 0 -1 4202496 419 0 0 0 0 0 0 0 20 0 1 0 654770602 2117632 376 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134732614 0 0 1 0 0 0 0 17 2 0 0 0 0 0
/proc/24549/statm: 550 378 75 177 0 372 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2068

[startup+0.102708 s]
/proc/loadavg: 15.65 15.31 14.65 2/189 24549
/proc/meminfo: memFree=19043056/36427776 swapFree=4876/8524
[pid=24549] ppid=24547 vsize=7836 CPUtime=0.1
/proc/24549/stat : 24549 (ttsth-5-0) R 24547 24549 15497 0 -1 4202496 1764 0 0 0 10 0 0 0 20 0 1 0 654770602 8024064 1721 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134534210 0 0 1 0 0 0 0 17 2 0 0 0 0 0
/proc/24549/statm: 1959 1721 75 177 0 1781 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7836

[startup+0.30269 s]
/proc/loadavg: 15.65 15.31 14.65 2/189 24549
/proc/meminfo: memFree=19043056/36427776 swapFree=4876/8524
[pid=24549] ppid=24547 vsize=14716 CPUtime=0.3
/proc/24549/stat : 24549 (ttsth-5-0) R 24547 24549 15497 0 -1 4202496 3689 0 0 0 30 0 0 0 20 0 1 0 654770602 15069184 3461 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134732614 0 0 1 0 0 0 0 17 2 0 0 0 0 0
/proc/24549/statm: 3679 3462 77 177 0 3501 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 14716

[startup+0.702682 s]
/proc/loadavg: 15.65 15.31 14.65 2/189 24549
/proc/meminfo: memFree=19043056/36427776 swapFree=4876/8524
[pid=24549] ppid=24547 vsize=18568 CPUtime=0.7
/proc/24549/stat : 24549 (ttsth-5-0) R 24547 24549 15497 0 -1 4202496 4646 0 0 0 70 0 0 0 20 0 1 0 654770602 19013632 4417 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134728870 0 0 1 0 0 0 0 17 2 0 0 0 0 0
/proc/24549/statm: 4642 4417 77 177 0 4464 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 18568

[startup+1.50276 s]
/proc/loadavg: 15.65 15.31 14.65 2/190 24550
/proc/meminfo: memFree=19026396/36427776 swapFree=4920/26116
[pid=24549] ppid=24547 vsize=18732 CPUtime=1.5
/proc/24549/stat : 24549 (ttsth-5-0) R 24547 24549 15497 0 -1 4202496 4708 0 0 0 150 0 0 0 20 0 1 0 654770602 19181568 4479 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134600815 0 0 1 0 0 0 0 17 2 0 0 0 0 0
/proc/24549/statm: 4683 4479 77 177 0 4505 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 18732

[startup+3.10291 s]
/proc/loadavg: 14.47 15.07 14.58 2/190 24550
/proc/meminfo: memFree=19024824/36427776 swapFree=4764/27560
[pid=24549] ppid=24547 vsize=19712 CPUtime=3.1
/proc/24549/stat : 24549 (ttsth-5-0) R 24547 24549 15497 0 -1 4202496 4923 0 0 0 310 0 0 0 20 0 1 0 654770602 20185088 4694 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134600826 0 0 1 0 0 0 0 17 2 0 0 0 0 0
/proc/24549/statm: 4928 4694 77 177 0 4750 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 19712

[startup+6.30338 s]
/proc/loadavg: 14.47 15.07 14.58 17/206 24566
/proc/meminfo: memFree=18659452/36427776 swapFree=4836/396524
[pid=24549] ppid=24547 vsize=520056 CPUtime=30.49
/proc/24549/stat : 24549 (ttsth-5-0) S 24547 24549 15497 0 -1 4202496 99955 0 0 0 922 2127 0 0 20 0 17 0 654770602 532537344 99542 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24549/statm: 130014 99543 95 177 0 129836 0
[pid=24549/tid=24551] ppid=24547 vsize=520056 CPUtime=1.62
/proc/24549/task/24551/stat : 24551 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 1187 0 0 0 156 6 0 0 20 0 17 0 654771066 532537344 99543 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134680208 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24549/tid=24552] ppid=24547 vsize=520056 CPUtime=1.6
/proc/24549/task/24552/stat : 24552 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 458 0 0 0 20 140 0 0 20 0 17 0 654771066 532537344 99543 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=24549/tid=24553] ppid=24547 vsize=520056 CPUtime=1.62
/proc/24549/task/24553/stat : 24553 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 361 0 0 0 20 142 0 0 20 0 17 0 654771066 532537344 99543 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24549/tid=24554] ppid=24547 vsize=520056 CPUtime=1.62
/proc/24549/task/24554/stat : 24554 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 446 0 0 0 20 142 0 0 20 0 17 0 654771066 532537344 99543 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=24549/tid=24555] ppid=24547 vsize=520056 CPUtime=1.6
/proc/24549/task/24555/stat : 24555 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 383 0 0 0 24 136 0 0 20 0 17 0 654771066 532537344 99543 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24549/tid=24556] ppid=24547 vsize=520056 CPUtime=1.62
/proc/24549/task/24556/stat : 24556 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 444 0 0 0 24 138 0 0 20 0 17 0 654771066 532537344 99543 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=24549/tid=24557] ppid=24547 vsize=520056 CPUtime=1.6
/proc/24549/task/24557/stat : 24557 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 471 0 0 0 24 136 0 0 20 0 17 0 654771066 532537344 99543 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24549/tid=24558] ppid=24547 vsize=520056 CPUtime=1.62
/proc/24549/task/24558/stat : 24558 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 424 0 0 0 28 134 0 0 20 0 17 0 654771066 532537344 99543 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=24549/tid=24559] ppid=24547 vsize=520056 CPUtime=1.64
/proc/24549/task/24559/stat : 24559 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 553 0 0 0 28 136 0 0 20 0 17 0 654771066 532537344 99543 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134680326 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=24549/tid=24560] ppid=24547 vsize=520056 CPUtime=1.6
/proc/24549/task/24560/stat : 24560 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 413 0 0 0 14 146 0 0 20 0 17 0 654771066 532537344 99543 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=24549/tid=24561] ppid=24547 vsize=520056 CPUtime=1.6
/proc/24549/task/24561/stat : 24561 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 371 0 0 0 20 140 0 0 20 0 17 0 654771067 532537344 99543 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24549/tid=24562] ppid=24547 vsize=520056 CPUtime=1.62
/proc/24549/task/24562/stat : 24562 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 469 0 0 0 28 134 0 0 20 0 17 0 654771067 532537344 99543 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24549/tid=24563] ppid=24547 vsize=520056 CPUtime=1.62
/proc/24549/task/24563/stat : 24563 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 423 0 0 0 24 138 0 0 20 0 17 0 654771067 532537344 99543 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24549/tid=24564] ppid=24547 vsize=520056 CPUtime=1.58
/proc/24549/task/24564/stat : 24564 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 385 0 0 0 20 138 0 0 20 0 17 0 654771067 532537344 99543 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24549/tid=24565] ppid=24547 vsize=520056 CPUtime=1.6
/proc/24549/task/24565/stat : 24565 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 312 0 0 0 16 144 0 0 20 0 17 0 654771068 532537344 99544 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24549/tid=24566] ppid=24547 vsize=520056 CPUtime=1.6
/proc/24549/task/24566/stat : 24566 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 378 0 0 0 18 142 0 0 20 0 17 0 654771068 532537344 99544 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 30.49
Current children cumulated vsize (KiB) 520056

[startup+12.7022 s]
/proc/loadavg: 14.71 15.10 14.60 17/206 24566
/proc/meminfo: memFree=18582352/36427776 swapFree=4836/471972
[pid=24549] ppid=24547 vsize=589032 CPUtime=130.85
/proc/24549/stat : 24549 (ttsth-5-0) S 24547 24549 15497 0 -1 4202496 117853 0 0 0 3537 9548 0 0 20 0 17 0 654770602 603168768 117440 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24549/statm: 147258 117440 95 177 0 147080 0
[pid=24549/tid=24551] ppid=24547 vsize=589032 CPUtime=8
/proc/24549/task/24551/stat : 24551 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 4278 0 0 0 780 20 0 0 20 0 17 0 654771066 603168768 117440 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134749351 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24549/tid=24552] ppid=24547 vsize=589032 CPUtime=7.9
/proc/24549/task/24552/stat : 24552 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 1836 0 0 0 174 616 0 0 20 0 17 0 654771066 603168768 117440 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=24549/tid=24553] ppid=24547 vsize=589032 CPUtime=7.88
/proc/24549/task/24553/stat : 24553 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 1570 0 0 0 158 630 0 0 20 0 17 0 654771066 603168768 117441 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24549/tid=24554] ppid=24547 vsize=589032 CPUtime=7.9
/proc/24549/task/24554/stat : 24554 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 1064 0 0 0 150 640 0 0 20 0 17 0 654771066 603168768 117441 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=24549/tid=24555] ppid=24547 vsize=589032 CPUtime=7.88
/proc/24549/task/24555/stat : 24555 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 1577 0 0 0 162 626 0 0 20 0 17 0 654771066 603168768 117441 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24549/tid=24556] ppid=24547 vsize=589032 CPUtime=7.9
/proc/24549/task/24556/stat : 24556 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 1060 0 0 0 156 634 0 0 20 0 17 0 654771066 603168768 117441 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134591174 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=24549/tid=24557] ppid=24547 vsize=589032 CPUtime=7.88
/proc/24549/task/24557/stat : 24557 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 1579 0 0 0 160 628 0 0 20 0 17 0 654771066 603168768 117441 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134591079 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24549/tid=24558] ppid=24547 vsize=589032 CPUtime=7.86
/proc/24549/task/24558/stat : 24558 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 1587 0 0 0 168 618 0 0 20 0 17 0 654771066 603168768 117441 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=24549/tid=24559] ppid=24547 vsize=589032 CPUtime=7.9
/proc/24549/task/24559/stat : 24559 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 1432 0 0 0 158 632 0 0 20 0 17 0 654771066 603168768 117441 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134591096 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=24549/tid=24560] ppid=24547 vsize=589032 CPUtime=7.88
/proc/24549/task/24560/stat : 24560 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 1931 0 0 0 164 624 0 0 20 0 17 0 654771066 603168768 117441 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=24549/tid=24561] ppid=24547 vsize=589032 CPUtime=7.86
/proc/24549/task/24561/stat : 24561 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 1000 0 0 0 138 648 0 0 20 0 17 0 654771067 603168768 117441 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24549/tid=24562] ppid=24547 vsize=589032 CPUtime=7.92
/proc/24549/task/24562/stat : 24562 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 1049 0 0 0 158 634 0 0 20 0 17 0 654771067 603168768 117441 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24549/tid=24563] ppid=24547 vsize=589032 CPUtime=7.9
/proc/24549/task/24563/stat : 24563 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 930 0 0 0 136 654 0 0 20 0 17 0 654771067 603168768 117441 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24549/tid=24564] ppid=24547 vsize=589032 CPUtime=7.7
/proc/24549/task/24564/stat : 24564 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 1387 0 0 0 146 624 0 0 20 0 17 0 654771067 603168768 117441 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134549936 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24549/tid=24565] ppid=24547 vsize=589032 CPUtime=7.88
/proc/24549/task/24565/stat : 24565 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 1682 0 0 0 152 636 0 0 20 0 17 0 654771068 603168768 117441 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24549/tid=24566] ppid=24547 vsize=589032 CPUtime=7.86
/proc/24549/task/24566/stat : 24566 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 1414 0 0 0 138 648 0 0 20 0 17 0 654771068 603168768 117441 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134591217 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 130.85
Current children cumulated vsize (KiB) 589032

[startup+25.5041 s]
/proc/loadavg: 14.91 15.13 14.61 17/206 24566
/proc/meminfo: memFree=18469728/36427776 swapFree=4836/583344
[pid=24549] ppid=24547 vsize=696776 CPUtime=331.74
/proc/24549/stat : 24549 (ttsth-5-0) S 24547 24549 15497 0 -1 4202496 144350 0 0 0 9661 23513 0 0 20 0 17 0 654770602 713498624 143937 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24549/statm: 174194 143937 95 177 0 174016 0
[pid=24549/tid=24551] ppid=24547 vsize=696776 CPUtime=20.78
/proc/24549/task/24551/stat : 24551 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 9535 0 0 0 2052 26 0 0 20 0 17 0 654771066 713498624 143937 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134751534 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24549/tid=24552] ppid=24547 vsize=696776 CPUtime=20.48
/proc/24549/task/24552/stat : 24552 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 3343 0 0 0 470 1578 0 0 20 0 17 0 654771066 713498624 143937 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=24549/tid=24553] ppid=24547 vsize=696776 CPUtime=20.42
/proc/24549/task/24553/stat : 24553 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 2844 0 0 0 468 1574 0 0 20 0 17 0 654771066 713498624 143937 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24549/tid=24554] ppid=24547 vsize=696776 CPUtime=20.44
/proc/24549/task/24554/stat : 24554 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 2512 0 0 0 500 1544 0 0 20 0 17 0 654771066 713498624 143937 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=24549/tid=24555] ppid=24547 vsize=696776 CPUtime=20.4
/proc/24549/task/24555/stat : 24555 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 3242 0 0 0 468 1572 0 0 20 0 17 0 654771066 713498624 143937 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24549/tid=24556] ppid=24547 vsize=696776 CPUtime=20.46
/proc/24549/task/24556/stat : 24556 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 2173 0 0 0 520 1526 0 0 20 0 17 0 654771066 713498624 143937 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=24549/tid=24557] ppid=24547 vsize=696776 CPUtime=20.44
/proc/24549/task/24557/stat : 24557 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 3344 0 0 0 466 1578 0 0 20 0 17 0 654771066 713498624 143937 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24549/tid=24558] ppid=24547 vsize=696776 CPUtime=20.42
/proc/24549/task/24558/stat : 24558 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 2859 0 0 0 486 1556 0 0 20 0 17 0 654771066 713498624 143937 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=24549/tid=24559] ppid=24547 vsize=696776 CPUtime=20.42
/proc/24549/task/24559/stat : 24559 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 2600 0 0 0 488 1554 0 0 20 0 17 0 654771066 713498624 143937 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=24549/tid=24560] ppid=24547 vsize=696776 CPUtime=20.46
/proc/24549/task/24560/stat : 24560 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 3868 0 0 0 512 1534 0 0 20 0 17 0 654771066 713498624 143937 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=24549/tid=24561] ppid=24547 vsize=696776 CPUtime=20.46
/proc/24549/task/24561/stat : 24561 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 2396 0 0 0 522 1524 0 0 20 0 17 0 654771067 713498624 143937 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24549/tid=24562] ppid=24547 vsize=696776 CPUtime=20.48
/proc/24549/task/24562/stat : 24562 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 2176 0 0 0 478 1570 0 0 20 0 17 0 654771067 713498624 143937 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24549/tid=24563] ppid=24547 vsize=696776 CPUtime=20.48
/proc/24549/task/24563/stat : 24563 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 2502 0 0 0 452 1596 0 0 20 0 17 0 654771067 713498624 143937 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24549/tid=24564] ppid=24547 vsize=696776 CPUtime=19.94
/proc/24549/task/24564/stat : 24564 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 2734 0 0 0 464 1530 0 0 20 0 17 0 654771067 713498624 143937 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24549/tid=24565] ppid=24547 vsize=696776 CPUtime=20.44
/proc/24549/task/24565/stat : 24565 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 2851 0 0 0 436 1608 0 0 20 0 17 0 654771068 713498624 143937 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24549/tid=24566] ppid=24547 vsize=696776 CPUtime=20.44
/proc/24549/task/24566/stat : 24566 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 2893 0 0 0 438 1606 0 0 20 0 17 0 654771068 713498624 143937 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 331.74
Current children cumulated vsize (KiB) 696776

[startup+51.103 s]
/proc/loadavg: 15.28 15.20 14.65 17/206 24566
/proc/meminfo: memFree=18291748/36427776 swapFree=4836/762344
[pid=24549] ppid=24547 vsize=882196 CPUtime=733.23

################
# More data... #
################

[pid=24549/tid=24560] ppid=24547 vsize=882196 CPUtime=45.59
/proc/24549/task/24560/stat : 24560 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 6793 0 0 0 1272 3287 0 0 20 0 17 0 654771066 903368704 189206 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=24549/tid=24561] ppid=24547 vsize=882196 CPUtime=45.61
/proc/24549/task/24561/stat : 24561 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 4920 0 0 0 1316 3245 0 0 20 0 17 0 654771067 903368704 189206 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24549/tid=24562] ppid=24547 vsize=882196 CPUtime=45.62
/proc/24549/task/24562/stat : 24562 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 4777 0 0 0 1322 3240 0 0 20 0 17 0 654771067 903368704 189206 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24549/tid=24563] ppid=24547 vsize=882196 CPUtime=45.67
/proc/24549/task/24563/stat : 24563 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 4783 0 0 0 1278 3289 0 0 20 0 17 0 654771067 903368704 189206 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24549/tid=24564] ppid=24547 vsize=882196 CPUtime=44.5
/proc/24549/task/24564/stat : 24564 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 4494 0 0 0 1432 3018 0 0 20 0 17 0 654771067 903368704 189206 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134749345 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24549/tid=24565] ppid=24547 vsize=882196 CPUtime=45.5
/proc/24549/task/24565/stat : 24565 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 5993 0 0 0 1178 3372 0 0 20 0 17 0 654771068 903368704 189206 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24549/tid=24566] ppid=24547 vsize=882196 CPUtime=45.45
/proc/24549/task/24566/stat : 24566 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 4495 0 0 0 1154 3391 0 0 20 0 17 0 654771068 903368704 189207 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 733.23
Current children cumulated vsize (KiB) 882196

[startup+102.32 s]
/proc/loadavg: 15.71 15.33 14.72 17/206 24571
/proc/meminfo: memFree=17919996/36427776 swapFree=4836/1132888
[pid=24549] ppid=24547 vsize=1265756 CPUtime=1534.34
/proc/24549/stat : 24549 (ttsth-5-0) S 24547 24549 15497 0 -1 4202496 281499 0 0 0 63835 89599 0 0 20 0 17 0 654770602 1296134144 281086 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24549/statm: 316439 281086 95 177 0 316261 0
[pid=24549/tid=24551] ppid=24547 vsize=1265756 CPUtime=97.58
/proc/24549/task/24551/stat : 24551 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 32780 0 0 0 9700 58 0 0 20 0 17 0 654771066 1296134144 281086 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134751534 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24549/tid=24552] ppid=24547 vsize=1265756 CPUtime=95.45
/proc/24549/task/24552/stat : 24552 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 9065 0 0 0 3270 6275 0 0 20 0 17 0 654771066 1296134144 281086 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=24549/tid=24553] ppid=24547 vsize=1265756 CPUtime=95.49
/proc/24549/task/24553/stat : 24553 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 10936 0 0 0 3551 5998 0 0 20 0 17 0 654771066 1296134144 281086 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24549/tid=24554] ppid=24547 vsize=1265756 CPUtime=95.56
/proc/24549/task/24554/stat : 24554 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 9406 0 0 0 3652 5904 0 0 20 0 17 0 654771066 1296134144 281086 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134519962 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=24549/tid=24555] ppid=24547 vsize=1265756 CPUtime=95.5
/proc/24549/task/24555/stat : 24555 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 12937 0 0 0 3573 5977 0 0 20 0 17 0 654771066 1296134144 281086 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134591454 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24549/tid=24556] ppid=24547 vsize=1265756 CPUtime=94.62
/proc/24549/task/24556/stat : 24556 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 8475 0 0 0 3602 5860 0 0 20 0 17 0 654771066 1296134144 281086 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24549/tid=24557] ppid=24547 vsize=1265756 CPUtime=95.74
/proc/24549/task/24557/stat : 24557 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 13865 0 0 0 3864 5710 0 0 20 0 17 0 654771066 1296134144 281086 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24549/tid=24558] ppid=24547 vsize=1265756 CPUtime=95.55
/proc/24549/task/24558/stat : 24558 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 10749 0 0 0 3508 6047 0 0 20 0 17 0 654771066 1296134144 281086 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=24549/tid=24559] ppid=24547 vsize=1265756 CPUtime=95.59
/proc/24549/task/24559/stat : 24559 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 6873 0 0 0 3564 5995 0 0 20 0 17 0 654771066 1296134144 281086 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=24549/tid=24560] ppid=24547 vsize=1265756 CPUtime=95.7
/proc/24549/task/24560/stat : 24560 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 11676 0 0 0 3498 6072 0 0 20 0 17 0 654771066 1296134144 281086 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=24549/tid=24561] ppid=24547 vsize=1265756 CPUtime=95.85
/proc/24549/task/24561/stat : 24561 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 11413 0 0 0 3669 5916 0 0 20 0 17 0 654771067 1296134144 281086 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24549/tid=24562] ppid=24547 vsize=1265756 CPUtime=95.93
/proc/24549/task/24562/stat : 24562 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 11280 0 0 0 3866 5727 0 0 20 0 17 0 654771067 1296134144 281086 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24549/tid=24563] ppid=24547 vsize=1265756 CPUtime=95.97
/proc/24549/task/24563/stat : 24563 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 12189 0 0 0 3662 5935 0 0 20 0 17 0 654771067 1296134144 281086 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24549/tid=24564] ppid=24547 vsize=1265756 CPUtime=94.43
/proc/24549/task/24564/stat : 24564 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 8173 0 0 0 3801 5642 0 0 20 0 17 0 654771067 1296134144 281086 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134680326 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=24549/tid=24565] ppid=24547 vsize=1265756 CPUtime=95.4
/proc/24549/task/24565/stat : 24565 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 10249 0 0 0 3427 6113 0 0 20 0 17 0 654771068 1296134144 281086 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24549/tid=24566] ppid=24547 vsize=1265756 CPUtime=95.27
/proc/24549/task/24566/stat : 24566 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 8955 0 0 0 3192 6335 0 0 20 0 17 0 654771068 1296134144 281086 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1534.34
Current children cumulated vsize (KiB) 1265756

[startup+162.305 s]
/proc/loadavg: 15.82 15.43 14.79 16/206 24571
/proc/meminfo: memFree=17315912/36427776 swapFree=4836/1736376
[pid=24549] ppid=24547 vsize=1914028 CPUtime=2471.79
/proc/24549/stat : 24549 (ttsth-5-0) S 24547 24549 15497 0 -1 4202496 434319 0 0 0 138889 108290 0 0 20 0 17 0 654770602 1959964672 433906 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24549/statm: 478507 433906 95 177 0 478329 0
[pid=24549/tid=24551] ppid=24547 vsize=1914028 CPUtime=157.55
/proc/24549/task/24551/stat : 24551 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 50769 0 0 0 15677 78 0 0 20 0 17 0 654771066 1959964672 433906 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134590275 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24549/tid=24552] ppid=24547 vsize=1914028 CPUtime=153.69
/proc/24549/task/24552/stat : 24552 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 17553 0 0 0 7625 7744 0 0 20 0 17 0 654771066 1959964672 433906 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134590238 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=24549/tid=24553] ppid=24547 vsize=1914028 CPUtime=153.93
/proc/24549/task/24553/stat : 24553 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 19804 0 0 0 8246 7147 0 0 20 0 17 0 654771066 1959964672 433906 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24549/tid=24554] ppid=24547 vsize=1914028 CPUtime=154.09
/proc/24549/task/24554/stat : 24554 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 16346 0 0 0 8238 7171 0 0 20 0 17 0 654771066 1959964672 433906 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=24549/tid=24555] ppid=24547 vsize=1914028 CPUtime=153.89
/proc/24549/task/24555/stat : 24555 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 20632 0 0 0 8228 7161 0 0 20 0 17 0 654771066 1959964672 433906 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24549/tid=24556] ppid=24547 vsize=1914028 CPUtime=151.96
/proc/24549/task/24556/stat : 24556 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 17653 0 0 0 8385 6811 0 0 20 0 17 0 654771066 1959964672 433906 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24549/tid=24557] ppid=24547 vsize=1914028 CPUtime=154.45
/proc/24549/task/24557/stat : 24557 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 22479 0 0 0 8681 6764 0 0 20 0 17 0 654771066 1959964672 433906 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134593369 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24549/tid=24558] ppid=24547 vsize=1914028 CPUtime=153.93
/proc/24549/task/24558/stat : 24558 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 20659 0 0 0 7746 7647 0 0 20 0 17 0 654771066 1959964672 433906 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=24549/tid=24559] ppid=24547 vsize=1914028 CPUtime=154.15
/proc/24549/task/24559/stat : 24559 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 17715 0 0 0 7878 7537 0 0 20 0 17 0 654771066 1959964672 433906 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=24549/tid=24560] ppid=24547 vsize=1914028 CPUtime=154.66
/proc/24549/task/24560/stat : 24560 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 23682 0 0 0 8362 7104 0 0 20 0 17 0 654771066 1959964672 433906 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=24549/tid=24561] ppid=24547 vsize=1914028 CPUtime=154.87
/proc/24549/task/24561/stat : 24561 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 20543 0 0 0 8604 6883 0 0 20 0 17 0 654771067 1959964672 433906 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24549/tid=24562] ppid=24547 vsize=1914028 CPUtime=154.92
/proc/24549/task/24562/stat : 24562 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 21086 0 0 0 8699 6793 0 0 20 0 17 0 654771067 1959964672 433906 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134592217 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24549/tid=24563] ppid=24547 vsize=1914028 CPUtime=154.82
/proc/24549/task/24563/stat : 24563 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 21023 0 0 0 8251 7231 0 0 20 0 17 0 654771067 1959964672 433906 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134549896 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24549/tid=24564] ppid=24547 vsize=1914028 CPUtime=152.86
/proc/24549/task/24564/stat : 24564 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 14965 0 0 0 8165 7121 0 0 20 0 17 0 654771067 1959964672 433906 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=24549/tid=24565] ppid=24547 vsize=1914028 CPUtime=153.46
/proc/24549/task/24565/stat : 24565 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 17811 0 0 0 7752 7594 0 0 20 0 17 0 654771068 1959964672 433906 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24549/tid=24566] ppid=24547 vsize=1914028 CPUtime=153.79
/proc/24549/task/24566/stat : 24566 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 19121 0 0 0 7911 7468 0 0 20 0 17 0 654771068 1959964672 433906 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2471.79
Current children cumulated vsize (KiB) 1914028



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+178.906 s]
/proc/loadavg: 15.87 15.46 14.81 18/211 24576
/proc/meminfo: memFree=17131428/36427776 swapFree=4836/1919244
[pid=24549] ppid=24547 vsize=2096720 CPUtime=2732
/proc/24549/stat : 24549 (ttsth-5-0) S 24547 24549 15497 0 -1 4202496 477563 0 0 0 161508 111692 0 0 20 0 17 0 654770602 2147041280 477150 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24549/statm: 524180 477150 95 177 0 524002 0
[pid=24549/tid=24551] ppid=24547 vsize=2096720 CPUtime=174.17
/proc/24549/task/24551/stat : 24551 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 54832 0 0 0 17335 82 0 0 20 0 17 0 654771066 2147041280 477152 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134749351 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24549/tid=24552] ppid=24547 vsize=2096720 CPUtime=169.89
/proc/24549/task/24552/stat : 24552 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 20054 0 0 0 8986 8003 0 0 20 0 17 0 654771066 2147041280 477153 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=24549/tid=24553] ppid=24547 vsize=2096720 CPUtime=170.12
/proc/24549/task/24553/stat : 24553 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 21886 0 0 0 9667 7345 0 0 20 0 17 0 654771066 2147041280 477154 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24549/tid=24554] ppid=24547 vsize=2096720 CPUtime=170.34
/proc/24549/task/24554/stat : 24554 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 17657 0 0 0 9645 7389 0 0 20 0 17 0 654771066 2147041280 477154 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=24549/tid=24555] ppid=24547 vsize=2096720 CPUtime=170.16
/proc/24549/task/24555/stat : 24555 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 23250 0 0 0 9672 7344 0 0 20 0 17 0 654771066 2147041280 477154 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134590245 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24549/tid=24556] ppid=24547 vsize=2096720 CPUtime=167.9
/proc/24549/task/24556/stat : 24556 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 20656 0 0 0 9804 6986 0 0 20 0 17 0 654771066 2147041280 477154 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24549/tid=24557] ppid=24547 vsize=2096720 CPUtime=170.74
/proc/24549/task/24557/stat : 24557 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 25454 0 0 0 10097 6977 0 0 20 0 17 0 654771066 2147041280 477154 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24549/tid=24558] ppid=24547 vsize=2096720 CPUtime=170.17
/proc/24549/task/24558/stat : 24558 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 23355 0 0 0 9127 7890 0 0 20 0 17 0 654771066 2147041280 477154 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=24549/tid=24559] ppid=24547 vsize=2096720 CPUtime=170.43
/proc/24549/task/24559/stat : 24559 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 20879 0 0 0 9289 7754 0 0 20 0 17 0 654771066 2147041280 477154 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=24549/tid=24560] ppid=24547 vsize=2096720 CPUtime=170.98
/proc/24549/task/24560/stat : 24560 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 26538 0 0 0 9774 7324 0 0 20 0 17 0 654771066 2147041280 477154 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=24549/tid=24561] ppid=24547 vsize=2096720 CPUtime=171.26
/proc/24549/task/24561/stat : 24561 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 23568 0 0 0 10052 7074 0 0 20 0 17 0 654771067 2147041280 477154 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24549/tid=24562] ppid=24547 vsize=2096720 CPUtime=171.27
/proc/24549/task/24562/stat : 24562 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 23709 0 0 0 10092 7035 0 0 20 0 17 0 654771067 2147041280 477154 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24549/tid=24563] ppid=24547 vsize=2096720 CPUtime=171.12
/proc/24549/task/24563/stat : 24563 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 23529 0 0 0 9590 7522 0 0 20 0 17 0 654771067 2147041280 477154 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24549/tid=24564] ppid=24547 vsize=2096720 CPUtime=169.02
/proc/24549/task/24564/stat : 24564 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 17052 0 0 0 9480 7422 0 0 20 0 17 0 654771067 2147041280 477154 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=24549/tid=24565] ppid=24547 vsize=2096720 CPUtime=169.68
/proc/24549/task/24565/stat : 24565 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 20809 0 0 0 9181 7787 0 0 20 0 17 0 654771068 2147041280 477154 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24549/tid=24566] ppid=24547 vsize=2096720 CPUtime=169.97
/proc/24549/task/24566/stat : 24566 (ttsth-5-0) R 24547 24549 15497 0 -1 4202560 21861 0 0 0 9276 7721 0 0 20 0 17 0 654771068 2147041280 477154 18446744073709551615 134512640 135237372 4292351072 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2732
Current children cumulated vsize (KiB) 2096720

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

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

[startup+179.03 s]
/proc/loadavg: 15.87 15.46 14.81 18/211 24576
/proc/meminfo: memFree=17131428/36427776 swapFree=4836/1919244
[pid=24549] ppid=24547 vsize=0 CPUtime=2732.3
/proc/24549/stat : 24549 (ttsth-5-0) Z 24547 24549 15497 0 -1 4203532 477633 0 0 0 161523 111707 0 0 20 0 2 0 654770602 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24549/statm: 0 0 0 0 0 0 0
[pid=24549/tid=24566] ppid=24547 vsize=0 CPUtime=170.08
/proc/24549/task/24566/stat : 24566 (ttsth-5-0) R 24547 24549 15497 0 -1 4203588 21861 0 0 0 9276 7732 0 0 20 0 2 0 654771068 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2732.3
Current children cumulated vsize (KiB) 0

[startup+179.102 s]
/proc/loadavg: 15.87 15.46 14.81 18/211 24576
/proc/meminfo: memFree=17131428/36427776 swapFree=4836/1919244
[pid=24549] ppid=24547 vsize=0 CPUtime=2732.37
/proc/24549/stat : 24549 (ttsth-5-0) Z 24547 24549 15497 0 -1 4203532 477633 0 0 0 161523 111714 0 0 20 0 2 0 654770602 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24549/statm: 0 0 0 0 0 0 0
[pid=24549/tid=24566] ppid=24547 vsize=0 CPUtime=170.15
/proc/24549/task/24566/stat : 24566 (ttsth-5-0) R 24547 24549 15497 0 -1 4203588 21861 0 0 0 9276 7739 0 0 20 0 2 0 654771068 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2732.37
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 179.115
CPU time (s): 2732.39
CPU user time (s): 1615.23
CPU system time (s): 1117.15
CPU usage (%): 1525.49
Max. virtual memory (cumulated for all children) (KiB): 2096720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1615.23
system time used= 1117.15
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 477633
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= 372952
involuntary context switches= 6153

runsolver used 1.06807 second user time and 2.64817 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 06:44:02
IDJOB=1779600
IDBENCH=70880
IDSOLVER=634
FILE ID=xenhost3-49/1779600-1244954642
PBS_JOBID=
Free space on /tmp= 7022 MiB

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

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

MD5SUM BENCH= e2d18d9d1a45d63e75556fb963e4ae47
RANDOM SEED= 96765212

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:      19043056 kB
Buffers:        482628 kB
Cached:       14118520 kB
SwapCached:          0 kB
Active:        4129716 kB
Inactive:     10480608 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2216 kB
Writeback:           0 kB
AnonPages:        8524 kB
Mapped:           4212 kB
Slab:           721744 kB
SReclaimable:   694884 kB
SUnreclaim:      26860 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    31204 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:47:03