Trace number 1779945

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) 3472.47 226.3

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_l37_lambda.cnf
MD5SUM6c0fa36b77ee8403468509d27984ddf2
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3.07
Satisfiable
(Un)Satisfiability was proved
Number of variables26241
Number of clauses128361
Sum of the clauses size368903
Maximum clause length9
Minimum clause length1
Number of clauses of size 13566
Number of clauses of size 233367
Number of clauses of size 373230
Number of clauses of size 412521
Number of clauses of size 55566
Number of clauses of size over 5111

Solver Data 

0.18/0.24	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779945-1244957731.cnf 
0.18/0.24	c Using SATTIMEOUT of 10000
0.18/0.24	c Using SATRAM of 2047
0.18/0.24	c Size of subset node = 16
0.18/0.24	c Variables = 26241
0.18/0.24	c Clauses = 128361
0.18/0.24	c Literals = 368903
0.18/0.24	c Reduced size:
0.18/0.24	c Variables = 26241
0.18/0.24	c Clauses = 114462
0.18/0.24	c Literals = 333968
0.18/0.24	c a2
0.38/0.43	c a1
5.52/5.56	c Independent sub-problems = 1
5.52/5.56	c Sub-problem with 21767 variables and 114462 clauses
5.52/5.56	c using permutation method 4
5.52/5.56	c count = 1
5.52/5.56	c Ordering finished 5.510 seconds
5.52/5.56	c mapped 5.550 seconds
5.52/5.56	c permuted 5.550 seconds
5.52/5.56	c about to sort
5.52/5.59	c sorted
6.98/7.01	c clauses now 114462
6.98/7.01	c init finished 6.010 seconds
6.98/7.01	c tree built 7.000 seconds
6.98/7.01	c 
6.98/7.01	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
6.98/7.01	c ---------------------------------|----------------------------------|------------------------------------------------------
6.98/7.01	c ................................ | ..........                       |                        7.0           0.0            1
6.98/7.01	c ................................ | ..........                     1 |                        7.0           0.1            2
6.98/7.01	c ****************................ | ..........                     2 |                        7.0           0.3            3
6.98/7.01	c ****************................ | ..........                     3 |                        7.0           0.4            3
6.98/7.01	c ****************................ | ..........                     4 |                        7.0           0.6            3
6.98/7.01	c ****************................ | ..........                     5 |                        7.0           0.7            3
6.98/7.01	c ****************................ | ..........                     6 |                        7.0           0.9            3
8.24/7.15	c ****************................ | ..........                  1000 | 1                      8.1         123.2          798
235.80/21.61	c ****************................ | ..........                343000 | 27017                200.5        1710.6      9312540
453.24/35.50	c ****************................ | ..........                545000 | 43823                400.7        1360.2     16750303
672.22/49.32	c ****************................ | ..........                693000 | 56139                600.9        1153.3     23163073
885.17/62.82	c ****************................ | ..........                838000 | 68175                800.8        1046.4     28858772
1095.37/76.16	c ****************................ | *.........                978000 | 79920               1001.7         976.4     34573656
1306.91/89.54	c ****************................ | *.........               1225000 | 97324               1200.2        1020.6     41013199
1518.46/102.96	c ****************................ | *.........               1470000 | 113049              1400.2        1049.8     46890568
1734.49/116.69	c ****************................ | *.........               1713000 | 130698              1601.1        1069.9     53138615
1940.39/129.63	c ****************................ | *.........               1838000 | 139791              1800.3        1020.9     58005993
2145.19/142.52	c ****************................ | **........               2066000 | 156502              2000.3        1032.8     63845879

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-1779945-1244957731/watcher-1779945-1244957731 -o /tmp/evaluation-result-1779945-1244957731/solver-1779945-1244957731 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779945-1244957731.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.28 15.05 14.80 2/184 26216
/proc/meminfo: memFree=19041768/36427776 swapFree=4976/8624
[pid=26216] ppid=26214 vsize=1548 CPUtime=0
/proc/26216/stat : 26216 (ttsth-5-0) R 26214 26216 15497 0 -1 4202496 273 0 0 0 0 0 0 0 20 0 1 0 655079494 1585152 230 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134732614 0 0 1 0 0 0 0 17 3 0 0 0 0 0
/proc/26216/statm: 387 231 75 177 0 209 0

[startup+0.036917 s]
/proc/loadavg: 15.28 15.05 14.80 2/184 26216
/proc/meminfo: memFree=19041768/36427776 swapFree=4976/8624
[pid=26216] ppid=26214 vsize=3184 CPUtime=0.02
/proc/26216/stat : 26216 (ttsth-5-0) R 26214 26216 15497 0 -1 4202496 679 0 0 0 2 0 0 0 20 0 1 0 655079494 3260416 636 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134536395 0 0 1 0 0 0 0 17 3 0 0 0 0 0
/proc/26216/statm: 796 638 75 177 0 618 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3184

[startup+0.100914 s]
/proc/loadavg: 15.28 15.05 14.80 2/184 26216
/proc/meminfo: memFree=19041768/36427776 swapFree=4976/8624
[pid=26216] ppid=26214 vsize=6996 CPUtime=0.08
/proc/26216/stat : 26216 (ttsth-5-0) R 26214 26216 15497 0 -1 4202496 1617 0 0 0 8 0 0 0 20 0 1 0 655079494 7163904 1574 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134639534 0 0 1 0 0 0 0 17 3 0 0 0 0 0
/proc/26216/statm: 1749 1575 75 177 0 1571 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6996

[startup+0.300965 s]
/proc/loadavg: 15.28 15.05 14.80 2/184 26216
/proc/meminfo: memFree=19041768/36427776 swapFree=4976/8624
[pid=26216] ppid=26214 vsize=18412 CPUtime=0.28
/proc/26216/stat : 26216 (ttsth-5-0) R 26214 26216 15497 0 -1 4202496 4381 0 0 0 26 2 0 0 20 0 1 0 655079494 18853888 4337 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134732614 0 0 1 0 0 0 0 17 3 0 0 0 0 0
/proc/26216/statm: 4603 4337 76 177 0 4425 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 18412

[startup+0.700984 s]
/proc/loadavg: 15.28 15.05 14.80 2/184 26216
/proc/meminfo: memFree=19041768/36427776 swapFree=4976/8624
[pid=26216] ppid=26214 vsize=21488 CPUtime=0.68
/proc/26216/stat : 26216 (ttsth-5-0) R 26214 26216 15497 0 -1 4202496 5520 0 0 0 64 4 0 0 20 0 1 0 655079494 22003712 5163 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134732614 0 0 1 0 0 0 0 17 3 0 0 0 0 0
/proc/26216/statm: 5372 5163 77 177 0 5194 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 21488

[startup+1.50104 s]
/proc/loadavg: 14.13 14.81 14.73 2/185 26217
/proc/meminfo: memFree=19020620/36427776 swapFree=5128/29732
[pid=26216] ppid=26214 vsize=22016 CPUtime=1.48
/proc/26216/stat : 26216 (ttsth-5-0) R 26214 26216 15497 0 -1 4202496 5666 0 0 0 144 4 0 0 20 0 1 0 655079494 22544384 5309 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134600960 0 0 1 0 0 0 0 17 3 0 0 0 0 0
/proc/26216/statm: 5504 5309 77 177 0 5326 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 22016

[startup+3.1012 s]
/proc/loadavg: 14.13 14.81 14.73 2/185 26217
/proc/meminfo: memFree=19018928/36427776 swapFree=4884/30528
[pid=26216] ppid=26214 vsize=22292 CPUtime=3.08
/proc/26216/stat : 26216 (ttsth-5-0) R 26214 26216 15497 0 -1 4202496 5732 0 0 0 304 4 0 0 20 0 1 0 655079494 22827008 5375 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134600718 0 0 1 0 0 0 0 17 3 0 0 0 0 0
/proc/26216/statm: 5573 5375 77 177 0 5395 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 22292

[startup+6.30148 s]
/proc/loadavg: 14.13 14.81 14.73 3/185 26217
/proc/meminfo: memFree=19018308/36427776 swapFree=4620/30500
[pid=26216] ppid=26214 vsize=231924 CPUtime=6.3
/proc/26216/stat : 26216 (ttsth-5-0) R 26214 26216 15497 0 -1 4202496 58248 0 0 0 608 22 0 0 20 0 1 0 655079494 237490176 57779 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134551480 0 0 1 0 0 0 0 17 3 0 0 0 0 0
/proc/26216/statm: 57981 57779 88 177 0 57803 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 231924

[startup+12.706 s]
/proc/loadavg: 13.32 14.61 14.66 17/201 26233
/proc/meminfo: memFree=18703408/36427776 swapFree=4692/349548
[pid=26216] ppid=26214 vsize=478580 CPUtime=95.82
/proc/26216/stat : 26216 (ttsth-5-0) S 26214 26216 15497 0 -1 4202496 88279 0 0 0 6235 3347 0 0 20 0 17 0 655079494 490065920 87698 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26216/statm: 119645 87699 95 177 0 119467 0
[pid=26216/tid=26218] ppid=26214 vsize=478580 CPUtime=5.64
/proc/26216/task/26218/stat : 26218 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 2700 0 0 0 550 14 0 0 20 0 17 0 655080195 490065920 87699 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=26216/tid=26219] ppid=26214 vsize=478580 CPUtime=5.54
/proc/26216/task/26219/stat : 26219 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 1110 0 0 0 324 230 0 0 20 0 17 0 655080195 490065920 87699 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=26216/tid=26220] ppid=26214 vsize=478580 CPUtime=5.52
/proc/26216/task/26220/stat : 26220 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 1266 0 0 0 332 220 0 0 20 0 17 0 655080195 490065920 87699 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=26216/tid=26221] ppid=26214 vsize=478580 CPUtime=5.54
/proc/26216/task/26221/stat : 26221 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 1325 0 0 0 354 200 0 0 20 0 17 0 655080195 490065920 87699 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=26216/tid=26222] ppid=26214 vsize=478580 CPUtime=5.56
/proc/26216/task/26222/stat : 26222 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 1252 0 0 0 326 230 0 0 20 0 17 0 655080195 490065920 87699 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=26216/tid=26223] ppid=26214 vsize=478580 CPUtime=5.54
/proc/26216/task/26223/stat : 26223 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 1292 0 0 0 336 218 0 0 20 0 17 0 655080195 490065920 87699 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=26216/tid=26224] ppid=26214 vsize=478580 CPUtime=5.58
/proc/26216/task/26224/stat : 26224 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 1304 0 0 0 344 214 0 0 20 0 17 0 655080195 490065920 87699 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=26216/tid=26225] ppid=26214 vsize=478580 CPUtime=5.54
/proc/26216/task/26225/stat : 26225 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 982 0 0 0 336 218 0 0 20 0 17 0 655080195 490065920 87699 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=26216/tid=26226] ppid=26214 vsize=478580 CPUtime=5.56
/proc/26216/task/26226/stat : 26226 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 871 0 0 0 332 224 0 0 20 0 17 0 655080195 490065920 87699 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=26216/tid=26227] ppid=26214 vsize=478580 CPUtime=5.56
/proc/26216/task/26227/stat : 26227 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 1096 0 0 0 336 220 0 0 20 0 17 0 655080195 490065920 87699 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=26216/tid=26228] ppid=26214 vsize=478580 CPUtime=5.56
/proc/26216/task/26228/stat : 26228 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 1295 0 0 0 342 214 0 0 20 0 17 0 655080195 490065920 87699 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=26216/tid=26229] ppid=26214 vsize=478580 CPUtime=5.58
/proc/26216/task/26229/stat : 26229 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 997 0 0 0 356 202 0 0 20 0 17 0 655080196 490065920 87699 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=26216/tid=26230] ppid=26214 vsize=478580 CPUtime=5.52
/proc/26216/task/26230/stat : 26230 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 1224 0 0 0 324 228 0 0 20 0 17 0 655080196 490065920 87699 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=26216/tid=26231] ppid=26214 vsize=478580 CPUtime=5.4
/proc/26216/task/26231/stat : 26231 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 1279 0 0 0 316 224 0 0 20 0 17 0 655080196 490065920 87699 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134749348 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=26216/tid=26232] ppid=26214 vsize=478580 CPUtime=5.5
/proc/26216/task/26232/stat : 26232 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 934 0 0 0 304 246 0 0 20 0 17 0 655080196 490065920 87699 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=26216/tid=26233] ppid=26214 vsize=478580 CPUtime=5.54
/proc/26216/task/26233/stat : 26233 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 1362 0 0 0 340 214 0 0 20 0 17 0 655080196 490065920 87699 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 95.82
Current children cumulated vsize (KiB) 478580

[startup+25.5073 s]
/proc/loadavg: 13.73 14.65 14.67 17/201 26233
/proc/meminfo: memFree=18566776/36427776 swapFree=4692/484812
[pid=26216] ppid=26214 vsize=616304 CPUtime=297.18
/proc/26216/stat : 26216 (ttsth-5-0) S 26214 26216 15497 0 -1 4202496 120330 0 0 0 22017 7701 0 0 20 0 17 0 655079494 631095296 119749 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26216/statm: 154076 119750 95 177 0 153898 0
[pid=26216/tid=26218] ppid=26214 vsize=616304 CPUtime=18.46
/proc/26216/task/26218/stat : 26218 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 5995 0 0 0 1826 20 0 0 20 0 17 0 655080195 631095296 119750 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=26216/tid=26219] ppid=26214 vsize=616304 CPUtime=18.16
/proc/26216/task/26219/stat : 26219 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 3379 0 0 0 1306 510 0 0 20 0 17 0 655080195 631095296 119750 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=26216/tid=26220] ppid=26214 vsize=616304 CPUtime=18.14
/proc/26216/task/26220/stat : 26220 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 3687 0 0 0 1316 498 0 0 20 0 17 0 655080195 631095296 119751 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=26216/tid=26221] ppid=26214 vsize=616304 CPUtime=18.02
/proc/26216/task/26221/stat : 26221 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 2719 0 0 0 1288 514 0 0 20 0 17 0 655080195 631095296 119751 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=26216/tid=26222] ppid=26214 vsize=616304 CPUtime=18.08
/proc/26216/task/26222/stat : 26222 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 2845 0 0 0 1262 546 0 0 20 0 17 0 655080195 631095296 119752 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134680245 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=26216/tid=26223] ppid=26214 vsize=616304 CPUtime=18.14
/proc/26216/task/26223/stat : 26223 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 3479 0 0 0 1292 522 0 0 20 0 17 0 655080195 631095296 119752 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=26216/tid=26224] ppid=26214 vsize=616304 CPUtime=18.26
/proc/26216/task/26224/stat : 26224 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 3678 0 0 0 1352 474 0 0 20 0 17 0 655080195 631095296 119752 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=26216/tid=26225] ppid=26214 vsize=616304 CPUtime=18.12
/proc/26216/task/26225/stat : 26225 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 3546 0 0 0 1264 548 0 0 20 0 17 0 655080195 631095296 119752 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=26216/tid=26226] ppid=26214 vsize=616304 CPUtime=18.2
/proc/26216/task/26226/stat : 26226 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 2057 0 0 0 1336 484 0 0 20 0 17 0 655080195 631095296 119752 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=26216/tid=26227] ppid=26214 vsize=616304 CPUtime=18.22
/proc/26216/task/26227/stat : 26227 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 3122 0 0 0 1340 482 0 0 20 0 17 0 655080195 631095296 119752 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=26216/tid=26228] ppid=26214 vsize=616304 CPUtime=18.04
/proc/26216/task/26228/stat : 26228 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 2400 0 0 0 1242 562 0 0 20 0 17 0 655080195 631095296 119752 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=26216/tid=26229] ppid=26214 vsize=616304 CPUtime=18.26
/proc/26216/task/26229/stat : 26229 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 2497 0 0 0 1398 428 0 0 20 0 17 0 655080196 631095296 119752 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=26216/tid=26230] ppid=26214 vsize=616304 CPUtime=18.12
/proc/26216/task/26230/stat : 26230 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 4073 0 0 0 1272 540 0 0 20 0 17 0 655080196 631095296 119752 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134551012 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=26216/tid=26231] ppid=26214 vsize=616304 CPUtime=17.54
/proc/26216/task/26231/stat : 26231 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 2203 0 0 0 1224 530 0 0 20 0 17 0 655080196 631095296 119753 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134561428 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=26216/tid=26232] ppid=26214 vsize=616304 CPUtime=18.1
/proc/26216/task/26232/stat : 26232 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 2658 0 0 0 1272 538 0 0 20 0 17 0 655080196 631095296 119753 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=26216/tid=26233] ppid=26214 vsize=616304 CPUtime=18.18
/proc/26216/task/26233/stat : 26233 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 4002 0 0 0 1344 474 0 0 20 0 17 0 655080196 631095296 119753 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 297.18
Current children cumulated vsize (KiB) 616304

[startup+51.1054 s]
/proc/loadavg: 14.50 14.76 14.71 17/201 26233
/proc/meminfo: memFree=18362940/36427776 swapFree=4692/688252
[pid=26216] ppid=26214 vsize=835668 CPUtime=700.55
/proc/26216/stat : 26216 (ttsth-5-0) S 26214 26216 15497 0 -1 4202496 171870 0 0 0 56163 13892 0 0 20 0 17 0 655079494 855724032 171289 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26216/statm: 208917 171289 95 177 0 208739 0
[pid=26216/tid=26218] ppid=26214 vsize=835668 CPUtime=44.03
/proc/26216/task/26218/stat : 26218 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 10623 0 0 0 4373 30 0 0 20 0 17 0 655080195 855724032 171289 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134562341 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=26216/tid=26219] ppid=26214 vsize=835668 CPUtime=43.44
/proc/26216/task/26219/stat : 26219 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 7871 0 0 0 3426 918 0 0 20 0 17 0 655080195 855724032 171289 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=26216/tid=26220] ppid=26214 vsize=835668 CPUtime=43.45
/proc/26216/task/26220/stat : 26220 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 8751 0 0 0 3441 904 0 0 20 0 17 0 655080195 855724032 171289 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=26216/tid=26221] ppid=26214 vsize=835668 CPUtime=43.13
/proc/26216/task/26221/stat : 26221 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 5264 0 0 0 3319 994 0 0 20 0 17 0 655080195 855724032 171289 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=26216/tid=26222] ppid=26214 vsize=835668 CPUtime=43.12
/proc/26216/task/26222/stat : 26222 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 4846 0 0 0 3304 1008 0 0 20 0 17 0 655080195 855724032 171289 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134591224 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=26216/tid=26223] ppid=26214 vsize=835668 CPUtime=43.45
/proc/26216/task/26223/stat : 26223 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 6534 0 0 0 3431 914 0 0 20 0 17 0 655080195 855724032 171289 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=26216/tid=26224] ppid=26214 vsize=835668 CPUtime=43.63
/proc/26216/task/26224/stat : 26224 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 7364 0 0 0 3511 852 0 0 20 0 17 0 655080195 855724032 171289 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=26216/tid=26225] ppid=26214 vsize=835668 CPUtime=43.38
/proc/26216/task/26225/stat : 26225 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 6643 0 0 0 3370 968 0 0 20 0 17 0 655080195 855724032 171289 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=26216/tid=26226] ppid=26214 vsize=835668 CPUtime=43.28
/proc/26216/task/26226/stat : 26226 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 3978 0 0 0 3378 950 0 0 20 0 17 0 655080195 855724032 171289 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134593217 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=26216/tid=26227] ppid=26214 vsize=835668 CPUtime=43.54
/proc/26216/task/26227/stat : 26227 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 6884 0 0 0 3442 912 0 0 20 0 17 0 655080195 855724032 171289 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=26216/tid=26228] ppid=26214 vsize=835668 CPUtime=43.04
/proc/26216/task/26228/stat : 26228 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 3986 0 0 0 3262 1042 0 0 20 0 17 0 655080195 855724032 171289 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134591261 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=26216/tid=26229] ppid=26214 vsize=835668 CPUtime=43.6
/proc/26216/task/26229/stat : 26229 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 4947 0 0 0 3578 782 0 0 20 0 17 0 655080196 855724032 171289 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=26216/tid=26230] ppid=26214 vsize=835668 CPUtime=43.51
/proc/26216/task/26230/stat : 26230 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 8702 0 0 0 3493 858 0 0 20 0 17 0 655080196 855724032 171289 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=26216/tid=26231] ppid=26214 vsize=835668 CPUtime=41.88
/proc/26216/task/26231/stat : 26231 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 3930 0 0 0 3166 1022 0 0 20 0 17 0 655080196 855724032 171289 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134680340 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=26216/tid=26232] ppid=26214 vsize=835668 CPUtime=43.42
/proc/26216/task/26232/stat : 26232 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 6176 0 0 0 3392 950 0 0 20 0 17 0 655080196 855724032 171289 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 2 0 0 0 0 0

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

/proc/26216/task/26221/stat : 26221 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 8537 0 0 0 7676 1658 0 0 20 0 17 0 655080195 1260482560 263619 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=26216/tid=26222] ppid=26214 vsize=1230940 CPUtime=93.1
/proc/26216/task/26222/stat : 26222 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 7339 0 0 0 7522 1788 0 0 20 0 17 0 655080195 1260482560 263619 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=26216/tid=26223] ppid=26214 vsize=1230940 CPUtime=94.24
/proc/26216/task/26223/stat : 26223 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 13514 0 0 0 7950 1474 0 0 20 0 17 0 655080195 1260482560 263619 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=26216/tid=26224] ppid=26214 vsize=1230940 CPUtime=94.58
/proc/26216/task/26224/stat : 26224 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 11995 0 0 0 8144 1314 0 0 20 0 17 0 655080195 1260482560 263619 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=26216/tid=26225] ppid=26214 vsize=1230940 CPUtime=94.19
/proc/26216/task/26225/stat : 26225 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 12837 0 0 0 7925 1494 0 0 20 0 17 0 655080195 1260482560 263619 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134591217 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=26216/tid=26226] ppid=26214 vsize=1230940 CPUtime=93.71
/proc/26216/task/26226/stat : 26226 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 9183 0 0 0 7773 1598 0 0 20 0 17 0 655080195 1260482560 263619 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=26216/tid=26227] ppid=26214 vsize=1230940 CPUtime=94.33
/proc/26216/task/26227/stat : 26227 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 14918 0 0 0 7907 1526 0 0 20 0 17 0 655080195 1260482560 263619 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=26216/tid=26228] ppid=26214 vsize=1230940 CPUtime=93.31
/proc/26216/task/26228/stat : 26228 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 6788 0 0 0 7583 1748 0 0 20 0 17 0 655080195 1260482560 263620 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=26216/tid=26229] ppid=26214 vsize=1230940 CPUtime=94.08
/proc/26216/task/26229/stat : 26229 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 8990 0 0 0 7906 1502 0 0 20 0 17 0 655080196 1260482560 263620 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=26216/tid=26230] ppid=26214 vsize=1230940 CPUtime=94.37
/proc/26216/task/26230/stat : 26230 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 16455 0 0 0 8043 1394 0 0 20 0 17 0 655080196 1260482560 263620 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=26216/tid=26231] ppid=26214 vsize=1230940 CPUtime=90.84
/proc/26216/task/26231/stat : 26231 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 7397 0 0 0 7312 1772 0 0 20 0 17 0 655080196 1260482560 263620 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134588339 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=26216/tid=26232] ppid=26214 vsize=1230940 CPUtime=94.27
/proc/26216/task/26232/stat : 26232 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 10189 0 0 0 8035 1392 0 0 20 0 17 0 655080196 1260482560 263621 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=26216/tid=26233] ppid=26214 vsize=1230940 CPUtime=94.41
/proc/26216/task/26233/stat : 26233 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 13442 0 0 0 8175 1266 0 0 20 0 17 0 655080196 1260482560 263621 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1509.21
Current children cumulated vsize (KiB) 1230940

[startup+162.301 s]
/proc/loadavg: 15.71 15.13 14.84 17/201 26233
/proc/meminfo: memFree=17579828/36427776 swapFree=4692/1469824
[pid=26216] ppid=26214 vsize=1670820 CPUtime=2459.35
/proc/26216/stat : 26216 (ttsth-5-0) S 26214 26216 15497 0 -1 4202496 367370 0 0 0 215669 30266 0 0 20 0 17 0 655079494 1710919680 366789 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26216/statm: 417705 366789 95 177 0 417527 0
[pid=26216/tid=26218] ppid=26214 vsize=1670820 CPUtime=155.2
/proc/26216/task/26218/stat : 26218 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 39822 0 0 0 15426 94 0 0 20 0 17 0 655080195 1710919680 366789 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134680364 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=26216/tid=26219] ppid=26214 vsize=1670820 CPUtime=153.74
/proc/26216/task/26219/stat : 26219 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 23749 0 0 0 13412 1962 0 0 20 0 17 0 655080195 1710919680 366789 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134680502 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=26216/tid=26220] ppid=26214 vsize=1670820 CPUtime=153.24
/proc/26216/task/26220/stat : 26220 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 24282 0 0 0 13202 2122 0 0 20 0 17 0 655080195 1710919680 366789 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134562341 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=26216/tid=26221] ppid=26214 vsize=1670820 CPUtime=152.76
/proc/26216/task/26221/stat : 26221 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 14069 0 0 0 13140 2136 0 0 20 0 17 0 655080195 1710919680 366789 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=26216/tid=26222] ppid=26214 vsize=1670820 CPUtime=151.78
/proc/26216/task/26222/stat : 26222 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 12591 0 0 0 12720 2458 0 0 20 0 17 0 655080195 1710919680 366789 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134519936 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=26216/tid=26223] ppid=26214 vsize=1670820 CPUtime=153.9
/proc/26216/task/26223/stat : 26223 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 19128 0 0 0 13520 1870 0 0 20 0 17 0 655080195 1710919680 366789 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134593204 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=26216/tid=26224] ppid=26214 vsize=1670820 CPUtime=153.94
/proc/26216/task/26224/stat : 26224 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 17386 0 0 0 13590 1804 0 0 20 0 17 0 655080195 1710919680 366789 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=26216/tid=26225] ppid=26214 vsize=1670820 CPUtime=153.9
/proc/26216/task/26225/stat : 26225 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 17188 0 0 0 13546 1844 0 0 20 0 17 0 655080195 1710919680 366789 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=26216/tid=26226] ppid=26214 vsize=1670820 CPUtime=153.14
/proc/26216/task/26226/stat : 26226 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 12127 0 0 0 13286 2028 0 0 20 0 17 0 655080195 1710919680 366789 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=26216/tid=26227] ppid=26214 vsize=1670820 CPUtime=153.93
/proc/26216/task/26227/stat : 26227 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 24158 0 0 0 13393 2000 0 0 20 0 17 0 655080195 1710919680 366789 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=26216/tid=26228] ppid=26214 vsize=1670820 CPUtime=152.44
/proc/26216/task/26228/stat : 26228 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 9896 0 0 0 12906 2338 0 0 20 0 17 0 655080195 1710919680 366789 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134592468 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=26216/tid=26229] ppid=26214 vsize=1670820 CPUtime=153.28
/proc/26216/task/26229/stat : 26229 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 15589 0 0 0 13206 2122 0 0 20 0 17 0 655080196 1710919680 366789 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=26216/tid=26230] ppid=26214 vsize=1670820 CPUtime=154.01
/proc/26216/task/26230/stat : 26230 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 25864 0 0 0 13607 1794 0 0 20 0 17 0 655080196 1710919680 366790 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=26216/tid=26231] ppid=26214 vsize=1670820 CPUtime=148.89
/proc/26216/task/26231/stat : 26231 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 9980 0 0 0 12611 2278 0 0 20 0 17 0 655080196 1710919680 366790 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=26216/tid=26232] ppid=26214 vsize=1670820 CPUtime=153.95
/proc/26216/task/26232/stat : 26232 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 14620 0 0 0 13665 1730 0 0 20 0 17 0 655080196 1710919680 366790 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134562341 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=26216/tid=26233] ppid=26214 vsize=1670820 CPUtime=154.05
/proc/26216/task/26233/stat : 26233 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 18930 0 0 0 13751 1654 0 0 20 0 17 0 655080196 1710919680 366790 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134749345 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2459.35
Current children cumulated vsize (KiB) 1670820

[startup+222.303 s]
/proc/loadavg: 15.89 15.28 14.91 17/201 26233
/proc/meminfo: memFree=17198188/36427776 swapFree=4692/1850752
[pid=26216] ppid=26214 vsize=2072952 CPUtime=3411.65
/proc/26216/stat : 26216 (ttsth-5-0) S 26214 26216 15497 0 -1 4202496 461318 0 0 0 306167 34998 0 0 20 0 17 0 655079494 2122702848 460738 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26216/statm: 518238 460738 95 177 0 518060 0
[pid=26216/tid=26218] ppid=26214 vsize=2072952 CPUtime=215.17
/proc/26216/task/26218/stat : 26218 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 57303 0 0 0 21385 132 0 0 20 0 17 0 655080195 2122702848 460738 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=26216/tid=26219] ppid=26214 vsize=2072952 CPUtime=213.41
/proc/26216/task/26219/stat : 26219 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 30897 0 0 0 19069 2272 0 0 20 0 17 0 655080195 2122702848 460738 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=26216/tid=26220] ppid=26214 vsize=2072952 CPUtime=212.71
/proc/26216/task/26220/stat : 26220 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 31268 0 0 0 18763 2508 0 0 20 0 17 0 655080195 2122702848 460738 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134680212 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=26216/tid=26221] ppid=26214 vsize=2072952 CPUtime=212.29
/proc/26216/task/26221/stat : 26221 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 22382 0 0 0 18689 2540 0 0 20 0 17 0 655080195 2122702848 460738 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=26216/tid=26222] ppid=26214 vsize=2072952 CPUtime=210.95
/proc/26216/task/26222/stat : 26222 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 16444 0 0 0 18203 2892 0 0 20 0 17 0 655080195 2122702848 460738 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=26216/tid=26223] ppid=26214 vsize=2072952 CPUtime=213.69
/proc/26216/task/26223/stat : 26223 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 23025 0 0 0 19303 2066 0 0 20 0 17 0 655080195 2122702848 460738 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134549877 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=26216/tid=26224] ppid=26214 vsize=2072952 CPUtime=213.43
/proc/26216/task/26224/stat : 26224 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 21620 0 0 0 19193 2150 0 0 20 0 17 0 655080195 2122702848 460738 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=26216/tid=26225] ppid=26214 vsize=2072952 CPUtime=213.67
/proc/26216/task/26225/stat : 26225 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 21863 0 0 0 19311 2056 0 0 20 0 17 0 655080195 2122702848 460738 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=26216/tid=26226] ppid=26214 vsize=2072952 CPUtime=212.59
/proc/26216/task/26226/stat : 26226 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 15247 0 0 0 18867 2392 0 0 20 0 17 0 655080195 2122702848 460738 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=26216/tid=26227] ppid=26214 vsize=2072952 CPUtime=213.69
/proc/26216/task/26227/stat : 26227 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 32190 0 0 0 19131 2238 0 0 20 0 17 0 655080195 2122702848 460738 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=26216/tid=26228] ppid=26214 vsize=2072952 CPUtime=211.87
/proc/26216/task/26228/stat : 26228 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 13826 0 0 0 18447 2740 0 0 20 0 17 0 655080195 2122702848 460738 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134588547 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=26216/tid=26229] ppid=26214 vsize=2072952 CPUtime=212.85
/proc/26216/task/26229/stat : 26229 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 20938 0 0 0 18777 2508 0 0 20 0 17 0 655080196 2122702848 460738 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=26216/tid=26230] ppid=26214 vsize=2072952 CPUtime=213.74
/proc/26216/task/26230/stat : 26230 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 32925 0 0 0 19328 2046 0 0 20 0 17 0 655080196 2122702848 460738 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=26216/tid=26231] ppid=26214 vsize=2072952 CPUtime=206.91
/proc/26216/task/26231/stat : 26231 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 12651 0 0 0 18069 2622 0 0 20 0 17 0 655080196 2122702848 460738 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=26216/tid=26232] ppid=26214 vsize=2072952 CPUtime=213.74
/proc/26216/task/26232/stat : 26232 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 17763 0 0 0 19452 1922 0 0 20 0 17 0 655080196 2122702848 460738 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=26216/tid=26233] ppid=26214 vsize=2072952 CPUtime=213.8
/proc/26216/task/26233/stat : 26233 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 22986 0 0 0 19500 1880 0 0 20 0 17 0 655080196 2122702848 460738 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3411.65
Current children cumulated vsize (KiB) 2072952



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+226.106 s]
/proc/loadavg: 15.90 15.29 14.92 17/201 26233
/proc/meminfo: memFree=17173832/36427776 swapFree=4692/1875460
[pid=26216] ppid=26214 vsize=2097096 CPUtime=3472.16
/proc/26216/stat : 26216 (ttsth-5-0) S 26214 26216 15497 0 -1 4202496 467075 0 0 0 311897 35319 0 0 20 0 17 0 655079494 2147426304 466494 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26216/statm: 524274 466494 95 177 0 524096 0
[pid=26216/tid=26218] ppid=26214 vsize=2097096 CPUtime=218.98
/proc/26216/task/26218/stat : 26218 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 58688 0 0 0 21762 136 0 0 20 0 17 0 655080195 2147426304 466494 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=26216/tid=26219] ppid=26214 vsize=2097096 CPUtime=217.21
/proc/26216/task/26219/stat : 26219 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 31192 0 0 0 19435 2286 0 0 20 0 17 0 655080195 2147426304 466494 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=26216/tid=26220] ppid=26214 vsize=2097096 CPUtime=216.49
/proc/26216/task/26220/stat : 26220 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 31756 0 0 0 19111 2538 0 0 20 0 17 0 655080195 2147426304 466494 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134680285 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=26216/tid=26221] ppid=26214 vsize=2097096 CPUtime=216.09
/proc/26216/task/26221/stat : 26221 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 22634 0 0 0 19045 2564 0 0 20 0 17 0 655080195 2147426304 466494 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=26216/tid=26222] ppid=26214 vsize=2097096 CPUtime=214.73
/proc/26216/task/26222/stat : 26222 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 16650 0 0 0 18549 2924 0 0 20 0 17 0 655080195 2147426304 466494 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=26216/tid=26223] ppid=26214 vsize=2097096 CPUtime=217.48
/proc/26216/task/26223/stat : 26223 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 23286 0 0 0 19668 2080 0 0 20 0 17 0 655080195 2147426304 466494 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=26216/tid=26224] ppid=26214 vsize=2097096 CPUtime=217.24
/proc/26216/task/26224/stat : 26224 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 21889 0 0 0 19556 2168 0 0 20 0 17 0 655080195 2147426304 466494 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=26216/tid=26225] ppid=26214 vsize=2097096 CPUtime=217.47
/proc/26216/task/26225/stat : 26225 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 22066 0 0 0 19675 2072 0 0 20 0 17 0 655080195 2147426304 466494 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=26216/tid=26226] ppid=26214 vsize=2097096 CPUtime=216.35
/proc/26216/task/26226/stat : 26226 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 15533 0 0 0 19221 2414 0 0 20 0 17 0 655080195 2147426304 466494 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=26216/tid=26227] ppid=26214 vsize=2097096 CPUtime=217.49
/proc/26216/task/26227/stat : 26227 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 32649 0 0 0 19495 2254 0 0 20 0 17 0 655080195 2147426304 466494 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=26216/tid=26228] ppid=26214 vsize=2097096 CPUtime=215.65
/proc/26216/task/26228/stat : 26228 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 14028 0 0 0 18787 2778 0 0 20 0 17 0 655080195 2147426304 466494 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=26216/tid=26229] ppid=26214 vsize=2097096 CPUtime=216.63
/proc/26216/task/26229/stat : 26229 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 21413 0 0 0 19125 2538 0 0 20 0 17 0 655080196 2147426304 466494 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=26216/tid=26230] ppid=26214 vsize=2097096 CPUtime=217.54
/proc/26216/task/26230/stat : 26230 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 33172 0 0 0 19700 2054 0 0 20 0 17 0 655080196 2147426304 466494 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=26216/tid=26231] ppid=26214 vsize=2097096 CPUtime=210.57
/proc/26216/task/26231/stat : 26231 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 12883 0 0 0 18405 2652 0 0 20 0 17 0 655080196 2147426304 466494 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134562363 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=26216/tid=26232] ppid=26214 vsize=2097096 CPUtime=217.53
/proc/26216/task/26232/stat : 26232 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 17931 0 0 0 19817 1936 0 0 20 0 17 0 655080196 2147426304 466494 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=26216/tid=26233] ppid=26214 vsize=2097096 CPUtime=217.6
/proc/26216/task/26233/stat : 26233 (ttsth-5-0) R 26214 26216 15497 0 -1 4202560 23314 0 0 0 19866 1894 0 0 20 0 17 0 655080196 2147426304 466494 18446744073709551615 134512640 135237372 4288420000 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3472.16
Current children cumulated vsize (KiB) 2097096

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

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

[startup+226.225 s]
/proc/loadavg: 15.90 15.29 14.92 17/201 26233
/proc/meminfo: memFree=17173832/36427776 swapFree=4692/1875460
[pid=26216] ppid=26214 vsize=0 CPUtime=3472.39
/proc/26216/stat : 26216 (ttsth-5-0) Z 26214 26216 15497 0 -1 4203532 467084 0 0 0 311904 35335 0 0 20 0 2 0 655079494 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26216/statm: 0 0 0 0 0 0 0
[pid=26216/tid=26233] ppid=26214 vsize=0 CPUtime=217.7
/proc/26216/task/26233/stat : 26233 (ttsth-5-0) R 26214 26216 15497 0 -1 4203588 23315 0 0 0 19866 1904 0 0 20 0 2 0 655080196 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3472.39
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 226.3
CPU time (s): 3472.47
CPU user time (s): 3119.05
CPU system time (s): 353.422
CPU usage (%): 1534.45
Max. virtual memory (cumulated for all children) (KiB): 2097096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3119.05
system time used= 353.422
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 467084
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= 385943
involuntary context switches= 7904

runsolver used 1.14807 second user time and 3.2282 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 07:35:31
IDJOB=1779945
IDBENCH=70942
IDSOLVER=634
FILE ID=xenhost3-49/1779945-1244957731
PBS_JOBID=
Free space on /tmp= 7022 MiB

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

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

MD5SUM BENCH= 6c0fa36b77ee8403468509d27984ddf2
RANDOM SEED= 659041186

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:      19041768 kB
Buffers:        484460 kB
Cached:       14118640 kB
SwapCached:          0 kB
Active:        4131236 kB
Inactive:     10481172 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2688 kB
Writeback:           0 kB
AnonPages:        8624 kB
Mapped:           4312 kB
Slab:           721780 kB
SReclaimable:   694912 kB
SUnreclaim:      26868 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29376 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7021 MiB
End job on xenhost3-49 at 2009-06-14 07:39:19