Trace number 1781280

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) 4321.47 392.526

General information on the benchmark

Namegoldb-heqc-i10mul.cnf
MD5SUM80e15f28c8e2d72627ec75fe75757317
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark299.46
Satisfiable
(Un)Satisfiability was proved
Number of variables12998
Number of clauses77941
Sum of the clauses size262272
Maximum clause length448
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 217756
Number of clauses of size 337304
Number of clauses of size 40
Number of clauses of size 522880
Number of clauses of size over 51

Solver Data 

0.10/0.10	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781280-1244984536.cnf 
0.10/0.10	c Using SATTIMEOUT of 10000
0.10/0.10	c Using SATRAM of 2047
0.10/0.10	c Size of subset node = 16
0.10/0.10	c Variables = 12998
0.10/0.10	c Clauses = 77941
0.10/0.10	c Literals = 262272
0.10/0.10	c Reduced size:
0.10/0.10	c Variables = 12998
0.10/0.10	c Clauses = 77941
0.10/0.10	c Literals = 262272
0.10/0.10	c a2
0.30/0.30	c a1
1.50/1.59	c Independent sub-problems = 1
1.50/1.59	c Sub-problem with 12998 variables and 77941 clauses
1.50/1.59	c using permutation method 4
1.50/1.59	c count = 1
1.50/1.59	c Ordering finished 1.550 seconds
1.50/1.59	c mapped 1.580 seconds
1.50/1.59	c permuted 1.580 seconds
1.50/1.59	c about to sort
1.60/1.61	c sorted
2.10/2.19	c clauses now 77941
2.10/2.19	c init finished 1.860 seconds
2.10/2.19	c tree built 2.180 seconds
2.10/2.19	c 
2.10/2.19	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
2.10/2.19	c ---------------------------------|----------------------------------|------------------------------------------------------
2.10/2.19	c ................................ | ..........                       |                        2.2           0.0             
2.10/2.19	c ................................ | ..........                     1 |                        2.2           0.5             
2.10/2.19	c ................................ | ..........                     2 |                        2.2           0.9             
2.10/2.19	c ................................ | ..........                     3 |                        2.2           1.4             
2.10/2.19	c ................................ | ..........                     4 |                        2.2           1.8             
2.10/2.19	c ................................ | ..........                     5 |                        2.2           2.3             
2.10/2.21	c ................................ | ..........                  1000 | 52                     2.2         446.4         1123
257.19/25.18	c ................................ | ..........               1484000 | 62600                200.0        7418.9      5103191
497.88/47.27	c ................................ | ..........               2929000 | 138697               400.0        7321.8      9860528
718.61/68.64	c ................................ | ..........               3806000 | 184329               600.1        6342.5     15611451
931.47/90.05	c ................................ | ..........               4813000 | 234034               800.2        6015.0     20520211
1148.11/108.85	c ................................ | *.........               5571000 | 273428              1000.0        5570.8     25671963
1372.89/127.30	c ................................ | *.........               6333000 | 313427              1200.4        5275.8     30254462
1580.02/146.94	c ................................ | *.........               7083000 | 348875              1400.0        5059.2     36058695
1803.62/164.81	c ................................ | *.........               7814000 | 387049              1600.7        4881.5     41334035
2039.21/182.44	c ................................ | *.........               8501000 | 424912              1800.7        4720.8     45668949
2255.13/200.99	c ................................ | **........               9227000 | 462943              2000.2        4612.9     50433139

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-1781280-1244984536/watcher-1781280-1244984536 -o /tmp/evaluation-result-1781280-1244984536/solver-1781280-1244984536 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781280-1244984536.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: 13.88 7.60 4.84 2/187 31134
/proc/meminfo: memFree=18985992/36427776 swapFree=6096/10344
[pid=31134] ppid=31132 vsize=1560 CPUtime=0
/proc/31134/stat : 31134 (ttsth-5-0) R 31132 31134 15497 0 -1 4202496 265 0 0 0 0 0 0 0 20 0 1 0 657760012 1597440 222 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134639534 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/31134/statm: 390 222 75 177 0 212 0

[startup+0.013692 s]
/proc/loadavg: 13.88 7.60 4.84 2/187 31134
/proc/meminfo: memFree=18985992/36427776 swapFree=6096/10344
[pid=31134] ppid=31132 vsize=1692 CPUtime=0
/proc/31134/stat : 31134 (ttsth-5-0) R 31132 31134 15497 0 -1 4202496 308 0 0 0 0 0 0 0 20 0 1 0 657760012 1732608 265 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134732614 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/31134/statm: 423 266 75 177 0 245 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1692

[startup+0.101719 s]
/proc/loadavg: 13.88 7.60 4.84 2/187 31134
/proc/meminfo: memFree=18985992/36427776 swapFree=6096/10344
[pid=31134] ppid=31132 vsize=6408 CPUtime=0.1
/proc/31134/stat : 31134 (ttsth-5-0) R 31132 31134 15497 0 -1 4202496 1468 0 0 0 10 0 0 0 20 0 1 0 657760012 6561792 1425 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134534520 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/31134/statm: 1602 1425 75 177 0 1424 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 6408

[startup+0.301731 s]
/proc/loadavg: 13.88 7.60 4.84 2/187 31134
/proc/meminfo: memFree=18985992/36427776 swapFree=6096/10344
[pid=31134] ppid=31132 vsize=15292 CPUtime=0.3
/proc/31134/stat : 31134 (ttsth-5-0) R 31132 31134 15497 0 -1 4202496 3655 0 0 0 30 0 0 0 20 0 1 0 657760012 15659008 3611 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134555516 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/31134/statm: 3823 3611 76 177 0 3645 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 15292

[startup+0.701754 s]
/proc/loadavg: 13.88 7.60 4.84 2/187 31134
/proc/meminfo: memFree=18985992/36427776 swapFree=6096/10344
[pid=31134] ppid=31132 vsize=15956 CPUtime=0.7
/proc/31134/stat : 31134 (ttsth-5-0) R 31132 31134 15497 0 -1 4202496 4007 0 0 0 70 0 0 0 20 0 1 0 657760012 16338944 3809 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134555272 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/31134/statm: 3989 3809 77 177 0 3811 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 15956

[startup+1.50188 s]
/proc/loadavg: 13.88 7.60 4.84 2/188 31135
/proc/meminfo: memFree=18970096/36427776 swapFree=6752/26276
[pid=31134] ppid=31132 vsize=16576 CPUtime=1.5
/proc/31134/stat : 31134 (ttsth-5-0) R 31132 31134 15497 0 -1 4202496 4168 0 0 0 150 0 0 0 20 0 1 0 657760012 16973824 3970 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134600744 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/31134/statm: 4144 3970 77 177 0 3966 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 16576

[startup+3.10738 s]
/proc/loadavg: 13.88 7.60 4.84 2/188 31135
/proc/meminfo: memFree=18817620/36427776 swapFree=6780/178460
[pid=31134] ppid=31132 vsize=314244 CPUtime=14.91
/proc/31134/stat : 31134 (ttsth-5-0) S 31132 31134 15497 0 -1 4202496 47053 0 0 0 520 971 0 0 20 0 17 0 657760012 321785856 46777 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31134/statm: 78561 46777 95 177 0 78383 0
Current children cumulated CPU time (s) 14.91
Current children cumulated vsize (KiB) 314244

[startup+6.30764 s]
/proc/loadavg: 14.05 7.74 4.90 17/204 31151
/proc/meminfo: memFree=18791228/36427776 swapFree=6476/206884
[pid=31134] ppid=31132 vsize=324156 CPUtime=57.69
/proc/31134/stat : 31134 (ttsth-5-0) S 31132 31134 15497 0 -1 4202496 49712 0 0 0 2055 3714 0 0 20 0 17 0 657760012 331935744 49436 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31134/statm: 81039 49436 95 177 0 80861 0
[pid=31134/tid=31136] ppid=31132 vsize=324156 CPUtime=4.08
/proc/31134/task/31136/stat : 31136 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 1017 0 0 0 404 4 0 0 20 0 17 0 657760231 331935744 49436 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134590140 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31134/tid=31137] ppid=31132 vsize=324156 CPUtime=3.98
/proc/31134/task/31137/stat : 31137 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 335 0 0 0 110 288 0 0 20 0 17 0 657760231 331935744 49436 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134590458 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31134/tid=31138] ppid=31132 vsize=324156 CPUtime=4
/proc/31134/task/31138/stat : 31138 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 282 0 0 0 102 298 0 0 20 0 17 0 657760231 331935744 49436 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134591056 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31134/tid=31139] ppid=31132 vsize=324156 CPUtime=2.08
/proc/31134/task/31139/stat : 31139 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 248 0 0 0 60 148 0 0 20 0 17 0 657760231 331935744 49436 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31134/tid=31140] ppid=31132 vsize=324156 CPUtime=4
/proc/31134/task/31140/stat : 31140 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 304 0 0 0 122 278 0 0 20 0 17 0 657760231 331935744 49436 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134680265 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31134/tid=31141] ppid=31132 vsize=324156 CPUtime=3.46
/proc/31134/task/31141/stat : 31141 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 270 0 0 0 92 254 0 0 20 0 17 0 657760231 331935744 49436 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31134/tid=31142] ppid=31132 vsize=324156 CPUtime=4
/proc/31134/task/31142/stat : 31142 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 411 0 0 0 104 296 0 0 20 0 17 0 657760231 331935744 49436 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31134/tid=31143] ppid=31132 vsize=324156 CPUtime=3.98
/proc/31134/task/31143/stat : 31143 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 308 0 0 0 116 282 0 0 20 0 17 0 657760231 331935744 49436 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31134/tid=31144] ppid=31132 vsize=324156 CPUtime=3.48
/proc/31134/task/31144/stat : 31144 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 285 0 0 0 98 250 0 0 20 0 17 0 657760231 331935744 49436 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31134/tid=31145] ppid=31132 vsize=324156 CPUtime=2.16
/proc/31134/task/31145/stat : 31145 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 263 0 0 0 60 156 0 0 20 0 17 0 657760231 331935744 49436 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31134/tid=31146] ppid=31132 vsize=324156 CPUtime=2.16
/proc/31134/task/31146/stat : 31146 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 241 0 0 0 62 154 0 0 20 0 17 0 657760231 331935744 49436 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31134/tid=31147] ppid=31132 vsize=324156 CPUtime=4
/proc/31134/task/31147/stat : 31147 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 366 0 0 0 122 278 0 0 20 0 17 0 657760232 331935744 49436 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31134/tid=31148] ppid=31132 vsize=324156 CPUtime=4
/proc/31134/task/31148/stat : 31148 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 390 0 0 0 102 298 0 0 20 0 17 0 657760232 331935744 49436 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31134/tid=31149] ppid=31132 vsize=324156 CPUtime=2.06
/proc/31134/task/31149/stat : 31149 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 263 0 0 0 56 150 0 0 20 0 17 0 657760232 331935744 49436 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31134/tid=31150] ppid=31132 vsize=324156 CPUtime=3.94
/proc/31134/task/31150/stat : 31150 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 335 0 0 0 118 276 0 0 20 0 17 0 657760232 331935744 49436 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31134/tid=31151] ppid=31132 vsize=324156 CPUtime=3.98
/proc/31134/task/31151/stat : 31151 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 344 0 0 0 118 280 0 0 20 0 17 0 657760232 331935744 49436 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 57.69
Current children cumulated vsize (KiB) 324156

[startup+12.7057 s]
/proc/loadavg: 14.21 7.88 4.96 17/204 31151
/proc/meminfo: memFree=18768432/36427776 swapFree=6476/229836
[pid=31134] ppid=31132 vsize=347676 CPUtime=133.64
/proc/31134/stat : 31134 (ttsth-5-0) S 31132 31134 15497 0 -1 4202496 55486 0 0 0 5360 8004 0 0 20 0 17 0 657760012 356020224 55210 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31134/statm: 86919 55210 95 177 0 86741 0
[pid=31134/tid=31136] ppid=31132 vsize=347676 CPUtime=10.48
/proc/31134/task/31136/stat : 31136 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 2281 0 0 0 1040 8 0 0 20 0 17 0 657760231 356020224 55210 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31134/tid=31137] ppid=31132 vsize=347676 CPUtime=10.16
/proc/31134/task/31137/stat : 31137 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 701 0 0 0 364 652 0 0 20 0 17 0 657760231 356020224 55210 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31134/tid=31138] ppid=31132 vsize=347676 CPUtime=7.72
/proc/31134/task/31138/stat : 31138 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 425 0 0 0 252 520 0 0 20 0 17 0 657760231 356020224 55210 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31134/tid=31139] ppid=31132 vsize=347676 CPUtime=5.28
/proc/31134/task/31139/stat : 31139 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 496 0 0 0 200 328 0 0 20 0 17 0 657760231 356020224 55210 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31134/tid=31140] ppid=31132 vsize=347676 CPUtime=9.48
/proc/31134/task/31140/stat : 31140 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 773 0 0 0 346 602 0 0 20 0 17 0 657760231 356020224 55210 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31134/tid=31141] ppid=31132 vsize=347676 CPUtime=6.68
/proc/31134/task/31141/stat : 31141 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 363 0 0 0 232 436 0 0 20 0 17 0 657760231 356020224 55210 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31134/tid=31142] ppid=31132 vsize=347676 CPUtime=7.78
/proc/31134/task/31142/stat : 31142 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 570 0 0 0 230 548 0 0 20 0 17 0 657760231 356020224 55210 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31134/tid=31143] ppid=31132 vsize=347676 CPUtime=10.14
/proc/31134/task/31143/stat : 31143 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 629 0 0 0 350 664 0 0 20 0 17 0 657760231 356020224 55210 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31134/tid=31144] ppid=31132 vsize=347676 CPUtime=7.28
/proc/31134/task/31144/stat : 31144 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 422 0 0 0 246 482 0 0 20 0 17 0 657760231 356020224 55210 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31134/tid=31145] ppid=31132 vsize=347676 CPUtime=5.36
/proc/31134/task/31145/stat : 31145 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 357 0 0 0 176 360 0 0 20 0 17 0 657760231 356020224 55210 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31134/tid=31146] ppid=31132 vsize=347676 CPUtime=5.38
/proc/31134/task/31146/stat : 31146 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 517 0 0 0 176 362 0 0 20 0 17 0 657760231 356020224 55210 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31134/tid=31147] ppid=31132 vsize=347676 CPUtime=10.18
/proc/31134/task/31147/stat : 31147 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 733 0 0 0 356 662 0 0 20 0 17 0 657760232 356020224 55210 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31134/tid=31148] ppid=31132 vsize=347676 CPUtime=10.18
/proc/31134/task/31148/stat : 31148 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 1591 0 0 0 290 728 0 0 20 0 17 0 657760232 356020224 55210 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31134/tid=31149] ppid=31132 vsize=347676 CPUtime=5.24
/proc/31134/task/31149/stat : 31149 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 448 0 0 0 192 332 0 0 20 0 17 0 657760232 356020224 55210 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31134/tid=31150] ppid=31132 vsize=347676 CPUtime=9.84
/proc/31134/task/31150/stat : 31150 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 652 0 0 0 342 642 0 0 20 0 17 0 657760232 356020224 55210 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134590129 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31134/tid=31151] ppid=31132 vsize=347676 CPUtime=10.12
/proc/31134/task/31151/stat : 31151 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 478 0 0 0 358 654 0 0 20 0 17 0 657760232 356020224 55210 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 133.64
Current children cumulated vsize (KiB) 347676

[startup+25.5042 s]
/proc/loadavg: 14.60 8.27 5.14 17/204 31151
/proc/meminfo: memFree=18700488/36427776 swapFree=6476/297884
[pid=31134] ppid=31132 vsize=415220 CPUtime=260.78
/proc/31134/stat : 31134 (ttsth-5-0) S 31132 31134 15497 0 -1 4202496 72109 0 0 0 14181 11897 0 0 20 0 17 0 657760012 425185280 71833 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31134/statm: 103805 71833 95 177 0 103627 0
[pid=31134/tid=31136] ppid=31132 vsize=415220 CPUtime=23.28
/proc/31134/task/31136/stat : 31136 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 4620 0 0 0 2314 14 0 0 20 0 17 0 657760231 425185280 71833 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134751534 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31134/tid=31137] ppid=31132 vsize=415220 CPUtime=18.88
/proc/31134/task/31137/stat : 31137 (ttsth-5-0) S 31132 31134 15497 0 -1 4202560 1712 0 0 0 906 982 0 0 20 0 17 0 657760231 425185280 71833 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=31134/tid=31138] ppid=31132 vsize=415220 CPUtime=14.88
/proc/31134/task/31138/stat : 31138 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 1346 0 0 0 742 746 0 0 20 0 17 0 657760231 425185280 71833 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31134/tid=31139] ppid=31132 vsize=415220 CPUtime=11.66
/proc/31134/task/31139/stat : 31139 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 1116 0 0 0 616 550 0 0 20 0 17 0 657760231 425185280 71833 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31134/tid=31140] ppid=31132 vsize=415220 CPUtime=15.82
/proc/31134/task/31140/stat : 31140 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 1518 0 0 0 754 828 0 0 20 0 17 0 657760231 425185280 71833 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31134/tid=31141] ppid=31132 vsize=415220 CPUtime=13.72
/proc/31134/task/31141/stat : 31141 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 1394 0 0 0 720 652 0 0 20 0 17 0 657760231 425185280 71833 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31134/tid=31142] ppid=31132 vsize=415220 CPUtime=15.54
/proc/31134/task/31142/stat : 31142 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 1587 0 0 0 752 802 0 0 20 0 17 0 657760231 425185280 71833 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31134/tid=31143] ppid=31132 vsize=415220 CPUtime=20.04
/proc/31134/task/31143/stat : 31143 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 1880 0 0 0 990 1014 0 0 20 0 17 0 657760231 425185280 71833 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31134/tid=31144] ppid=31132 vsize=415220 CPUtime=13.96
/proc/31134/task/31144/stat : 31144 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 812 0 0 0 660 736 0 0 20 0 17 0 657760231 425185280 71833 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31134/tid=31145] ppid=31132 vsize=415220 CPUtime=11.76
/proc/31134/task/31145/stat : 31145 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 938 0 0 0 622 554 0 0 20 0 17 0 657760231 425185280 71833 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31134/tid=31146] ppid=31132 vsize=415220 CPUtime=11.8
/proc/31134/task/31146/stat : 31146 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 2130 0 0 0 620 560 0 0 20 0 17 0 657760231 425185280 71833 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31134/tid=31147] ppid=31132 vsize=415220 CPUtime=19.56
/proc/31134/task/31147/stat : 31147 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 1640 0 0 0 972 984 0 0 20 0 17 0 657760232 425185280 71833 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31134/tid=31148] ppid=31132 vsize=415220 CPUtime=18.38
/proc/31134/task/31148/stat : 31148 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 2542 0 0 0 832 1006 0 0 20 0 17 0 657760232 425185280 71833 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134562328 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31134/tid=31149] ppid=31132 vsize=415220 CPUtime=12.44
/proc/31134/task/31149/stat : 31149 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 1045 0 0 0 688 556 0 0 20 0 17 0 657760232 425185280 71833 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31134/tid=31150] ppid=31132 vsize=415220 CPUtime=18.54
/proc/31134/task/31150/stat : 31150 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 2777 0 0 0 916 938 0 0 20 0 17 0 657760232 425185280 71833 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31134/tid=31151] ppid=31132 vsize=415220 CPUtime=18.18
/proc/31134/task/31151/stat : 31151 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 1002 0 0 0 868 950 0 0 20 0 17 0 657760232 425185280 71833 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 260.78
Current children cumulated vsize (KiB) 415220

[startup+51.1063 s]
/proc/loadavg: 15.08 8.89 5.43 17/204 31151
/proc/meminfo: memFree=18591192/36427776 swapFree=6476/406508
[pid=31134] ppid=31132 vsize=528936 CPUtime=539.98

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

[pid=31134/tid=31145] ppid=31132 vsize=1325172 CPUtime=151.25
/proc/31134/task/31145/stat : 31145 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 11844 0 0 0 10924 4201 0 0 20 0 17 0 657760231 1356976128 287279 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31134/tid=31146] ppid=31132 vsize=1325172 CPUtime=146.95
/proc/31134/task/31146/stat : 31146 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 14622 0 0 0 10914 3781 0 0 20 0 17 0 657760231 1356976128 287279 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31134/tid=31147] ppid=31132 vsize=1325172 CPUtime=148.87
/proc/31134/task/31147/stat : 31147 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 17841 0 0 0 11165 3722 0 0 20 0 17 0 657760232 1356976128 287279 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31134/tid=31148] ppid=31132 vsize=1325172 CPUtime=169.26
/proc/31134/task/31148/stat : 31148 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 15731 0 0 0 12929 3997 0 0 20 0 17 0 657760232 1356976128 287279 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31134/tid=31149] ppid=31132 vsize=1325172 CPUtime=144.4
/proc/31134/task/31149/stat : 31149 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 15645 0 0 0 11192 3248 0 0 20 0 17 0 657760232 1356976128 287279 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31134/tid=31150] ppid=31132 vsize=1325172 CPUtime=158.77
/proc/31134/task/31150/stat : 31150 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 15641 0 0 0 12204 3673 0 0 20 0 17 0 657760232 1356976128 287280 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134590281 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31134/tid=31151] ppid=31132 vsize=1325172 CPUtime=155.73
/proc/31134/task/31151/stat : 31151 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 13654 0 0 0 11469 4104 0 0 20 0 17 0 657760232 1356976128 287280 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2475.22
Current children cumulated vsize (KiB) 1325172

[startup+282.304 s]
/proc/loadavg: 16.04 12.71 7.74 17/204 31156
/proc/meminfo: memFree=17557900/36427776 swapFree=6476/1438020
[pid=31134] ppid=31132 vsize=1624692 CPUtime=3185.96
/proc/31134/stat : 31134 (ttsth-5-0) S 31132 31134 15497 0 -1 4202496 357816 0 0 0 252590 66006 0 0 20 0 17 0 657760012 1663684608 357540 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31134/statm: 406173 357540 95 177 0 405995 0
[pid=31134/tid=31136] ppid=31132 vsize=1624692 CPUtime=274.52
/proc/31134/task/31136/stat : 31136 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 28055 0 0 0 27370 82 0 0 20 0 17 0 657760231 1663684608 357540 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134590232 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31134/tid=31137] ppid=31132 vsize=1624692 CPUtime=182.94
/proc/31134/task/31137/stat : 31137 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 15024 0 0 0 14273 4021 0 0 20 0 17 0 657760231 1663684608 357540 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31134/tid=31138] ppid=31132 vsize=1624692 CPUtime=193.89
/proc/31134/task/31138/stat : 31138 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 26701 0 0 0 14817 4572 0 0 20 0 17 0 657760231 1663684608 357540 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31134/tid=31139] ppid=31132 vsize=1624692 CPUtime=188.94
/proc/31134/task/31139/stat : 31139 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 16547 0 0 0 14726 4168 0 0 20 0 17 0 657760231 1663684608 357540 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31134/tid=31140] ppid=31132 vsize=1624692 CPUtime=178.31
/proc/31134/task/31140/stat : 31140 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 15317 0 0 0 13614 4217 0 0 20 0 17 0 657760231 1663684608 357540 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31134/tid=31141] ppid=31132 vsize=1624692 CPUtime=181.57
/proc/31134/task/31141/stat : 31141 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 20305 0 0 0 13700 4457 0 0 20 0 17 0 657760231 1663684608 357540 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134590101 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31134/tid=31142] ppid=31132 vsize=1624692 CPUtime=211.39
/proc/31134/task/31142/stat : 31142 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 22107 0 0 0 17073 4066 0 0 20 0 17 0 657760231 1663684608 357540 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134749343 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31134/tid=31143] ppid=31132 vsize=1624692 CPUtime=197.13
/proc/31134/task/31143/stat : 31143 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 17793 0 0 0 14795 4918 0 0 20 0 17 0 657760231 1663684608 357540 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31134/tid=31144] ppid=31132 vsize=1624692 CPUtime=185.01
/proc/31134/task/31144/stat : 31144 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 11472 0 0 0 14149 4352 0 0 20 0 17 0 657760231 1663684608 357540 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31134/tid=31145] ppid=31132 vsize=1624692 CPUtime=187.35
/proc/31134/task/31145/stat : 31145 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 19237 0 0 0 13946 4789 0 0 20 0 17 0 657760231 1663684608 357540 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31134/tid=31146] ppid=31132 vsize=1624692 CPUtime=185.78
/proc/31134/task/31146/stat : 31146 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 19728 0 0 0 14154 4424 0 0 20 0 17 0 657760231 1663684608 357540 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31134/tid=31147] ppid=31132 vsize=1624692 CPUtime=187.51
/proc/31134/task/31147/stat : 31147 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 22078 0 0 0 14446 4305 0 0 20 0 17 0 657760232 1663684608 357540 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31134/tid=31148] ppid=31132 vsize=1624692 CPUtime=222.27
/proc/31134/task/31148/stat : 31148 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 19687 0 0 0 17603 4624 0 0 20 0 17 0 657760232 1663684608 357540 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134683146 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31134/tid=31149] ppid=31132 vsize=1624692 CPUtime=194.58
/proc/31134/task/31149/stat : 31149 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 19986 0 0 0 15680 3778 0 0 20 0 17 0 657760232 1663684608 357540 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134680223 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31134/tid=31150] ppid=31132 vsize=1624692 CPUtime=211.07
/proc/31134/task/31150/stat : 31150 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 19604 0 0 0 16791 4316 0 0 20 0 17 0 657760232 1663684608 357540 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134550976 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31134/tid=31151] ppid=31132 vsize=1624692 CPUtime=201.36
/proc/31134/task/31151/stat : 31151 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 20125 0 0 0 15239 4897 0 0 20 0 17 0 657760232 1663684608 357540 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3185.96
Current children cumulated vsize (KiB) 1624692

[startup+342.305 s]
/proc/loadavg: 16.01 13.30 8.25 17/204 31156
/proc/meminfo: memFree=17316100/36427776 swapFree=6476/1679820
[pid=31134] ppid=31132 vsize=1879760 CPUtime=3822.92
/proc/31134/stat : 31134 (ttsth-5-0) S 31132 31134 15497 0 -1 4202496 417668 0 0 0 312343 69949 0 0 20 0 17 0 657760012 1924874240 417392 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31134/statm: 469940 417392 95 177 0 469762 0
[pid=31134/tid=31136] ppid=31132 vsize=1879760 CPUtime=333.12
/proc/31134/task/31136/stat : 31136 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 32177 0 0 0 33218 94 0 0 20 0 17 0 657760231 1924874240 417392 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134680229 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31134/tid=31137] ppid=31132 vsize=1879760 CPUtime=220.68
/proc/31134/task/31137/stat : 31137 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 16999 0 0 0 17789 4279 0 0 20 0 17 0 657760231 1924874240 417392 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31134/tid=31138] ppid=31132 vsize=1879760 CPUtime=229.18
/proc/31134/task/31138/stat : 31138 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 32938 0 0 0 18085 4833 0 0 20 0 17 0 657760231 1924874240 417392 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134593356 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31134/tid=31139] ppid=31132 vsize=1879760 CPUtime=229.51
/proc/31134/task/31139/stat : 31139 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 20585 0 0 0 18559 4392 0 0 20 0 17 0 657760231 1924874240 417392 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31134/tid=31140] ppid=31132 vsize=1879760 CPUtime=210.48
/proc/31134/task/31140/stat : 31140 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 18959 0 0 0 16539 4509 0 0 20 0 17 0 657760231 1924874240 417392 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31134/tid=31141] ppid=31132 vsize=1879760 CPUtime=221.62
/proc/31134/task/31141/stat : 31141 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 24422 0 0 0 17357 4805 0 0 20 0 17 0 657760231 1924874240 417392 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31134/tid=31142] ppid=31132 vsize=1879760 CPUtime=256.07
/proc/31134/task/31142/stat : 31142 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 26251 0 0 0 21289 4318 0 0 20 0 17 0 657760231 1924874240 417392 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134551710 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31134/tid=31143] ppid=31132 vsize=1879760 CPUtime=229.11
/proc/31134/task/31143/stat : 31143 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 20909 0 0 0 17749 5162 0 0 20 0 17 0 657760231 1924874240 417392 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31134/tid=31144] ppid=31132 vsize=1879760 CPUtime=223.02
/proc/31134/task/31144/stat : 31144 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 13508 0 0 0 17713 4589 0 0 20 0 17 0 657760231 1924874240 417392 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31134/tid=31145] ppid=31132 vsize=1879760 CPUtime=230.06
/proc/31134/task/31145/stat : 31145 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 22220 0 0 0 17901 5105 0 0 20 0 17 0 657760231 1924874240 417392 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134552720 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31134/tid=31146] ppid=31132 vsize=1879760 CPUtime=224.68
/proc/31134/task/31146/stat : 31146 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 26656 0 0 0 17769 4699 0 0 20 0 17 0 657760231 1924874240 417392 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134565869 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31134/tid=31147] ppid=31132 vsize=1879760 CPUtime=227.53
/proc/31134/task/31147/stat : 31147 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 26841 0 0 0 18219 4534 0 0 20 0 17 0 657760232 1924874240 417392 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31134/tid=31148] ppid=31132 vsize=1879760 CPUtime=263.98
/proc/31134/task/31148/stat : 31148 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 22116 0 0 0 21541 4857 0 0 20 0 17 0 657760232 1924874240 417392 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134590235 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31134/tid=31149] ppid=31132 vsize=1879760 CPUtime=236.38
/proc/31134/task/31149/stat : 31149 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 23579 0 0 0 19602 4036 0 0 20 0 17 0 657760232 1924874240 417392 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31134/tid=31150] ppid=31132 vsize=1879760 CPUtime=249.72
/proc/31134/task/31150/stat : 31150 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 22019 0 0 0 20439 4533 0 0 20 0 17 0 657760232 1924874240 417392 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31134/tid=31151] ppid=31132 vsize=1879760 CPUtime=235.49
/proc/31134/task/31151/stat : 31151 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 23439 0 0 0 18365 5184 0 0 20 0 17 0 657760232 1924874240 417392 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3822.92
Current children cumulated vsize (KiB) 1879760



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+392.303 s]
/proc/loadavg: 16.06 13.73 8.66 17/204 31156
/proc/meminfo: memFree=17111500/36427776 swapFree=6476/1884056
[pid=31134] ppid=31132 vsize=2096964 CPUtime=4321.15
/proc/31134/stat : 31134 (ttsth-5-0) S 31132 31134 15497 0 -1 4202496 468247 0 0 0 360373 71742 0 0 20 0 17 0 657760012 2147291136 467971 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31134/statm: 524241 467971 95 177 0 524063 0
[pid=31134/tid=31136] ppid=31132 vsize=2096964 CPUtime=380.97
/proc/31134/task/31136/stat : 31136 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 35792 0 0 0 37993 104 0 0 20 0 17 0 657760231 2147291136 467972 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134680720 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31134/tid=31137] ppid=31132 vsize=2096964 CPUtime=248.27
/proc/31134/task/31137/stat : 31137 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 19140 0 0 0 20446 4381 0 0 20 0 17 0 657760231 2147291136 467972 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31134/tid=31138] ppid=31132 vsize=2096964 CPUtime=260.89
/proc/31134/task/31138/stat : 31138 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 37576 0 0 0 21119 4970 0 0 20 0 17 0 657760231 2147291136 467972 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31134/tid=31139] ppid=31132 vsize=2096964 CPUtime=261.98
/proc/31134/task/31139/stat : 31139 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 23641 0 0 0 21676 4522 0 0 20 0 17 0 657760231 2147291136 467972 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134588059 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31134/tid=31140] ppid=31132 vsize=2096964 CPUtime=240.03
/proc/31134/task/31140/stat : 31140 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 22415 0 0 0 19341 4662 0 0 20 0 17 0 657760231 2147291136 467972 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31134/tid=31141] ppid=31132 vsize=2096964 CPUtime=248.99
/proc/31134/task/31141/stat : 31141 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 27849 0 0 0 20003 4896 0 0 20 0 17 0 657760231 2147291136 467972 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31134/tid=31142] ppid=31132 vsize=2096964 CPUtime=287.75
/proc/31134/task/31142/stat : 31142 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 29050 0 0 0 24322 4453 0 0 20 0 17 0 657760231 2147291136 467972 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134551808 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31134/tid=31143] ppid=31132 vsize=2096964 CPUtime=261.38
/proc/31134/task/31143/stat : 31143 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 23847 0 0 0 20866 5272 0 0 20 0 17 0 657760231 2147291136 467972 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134591211 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31134/tid=31144] ppid=31132 vsize=2096964 CPUtime=252.3
/proc/31134/task/31144/stat : 31144 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 15513 0 0 0 20534 4696 0 0 20 0 17 0 657760231 2147291136 467972 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134680273 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31134/tid=31145] ppid=31132 vsize=2096964 CPUtime=256.59
/proc/31134/task/31145/stat : 31145 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 26123 0 0 0 20404 5255 0 0 20 0 17 0 657760231 2147291136 467972 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31134/tid=31146] ppid=31132 vsize=2096964 CPUtime=251.58
/proc/31134/task/31146/stat : 31146 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 30130 0 0 0 20323 4835 0 0 20 0 17 0 657760231 2147291136 467972 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134680720 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31134/tid=31147] ppid=31132 vsize=2096964 CPUtime=258.67
/proc/31134/task/31147/stat : 31147 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 31484 0 0 0 21226 4641 0 0 20 0 17 0 657760232 2147291136 467972 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31134/tid=31148] ppid=31132 vsize=2096964 CPUtime=295.41
/proc/31134/task/31148/stat : 31148 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 25086 0 0 0 24578 4963 0 0 20 0 17 0 657760232 2147291136 467972 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31134/tid=31149] ppid=31132 vsize=2096964 CPUtime=265.17
/proc/31134/task/31149/stat : 31149 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 25961 0 0 0 22357 4160 0 0 20 0 17 0 657760232 2147291136 467972 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31134/tid=31150] ppid=31132 vsize=2096964 CPUtime=285.17
/proc/31134/task/31150/stat : 31150 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 24311 0 0 0 23881 4636 0 0 20 0 17 0 657760232 2147291136 467972 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134591221 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31134/tid=31151] ppid=31132 vsize=2096964 CPUtime=263.73
/proc/31134/task/31151/stat : 31151 (ttsth-5-0) R 31132 31134 15497 0 -1 4202560 26280 0 0 0 21098 5275 0 0 20 0 17 0 657760232 2147291136 467972 18446744073709551615 134512640 135237372 4290208336 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4321.15
Current children cumulated vsize (KiB) 2096964

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

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

[startup+392.425 s]
/proc/loadavg: 16.06 13.73 8.66 17/204 31156
/proc/meminfo: memFree=17111500/36427776 swapFree=6476/1884056
[pid=31134] ppid=31132 vsize=0 CPUtime=4321.36
/proc/31134/stat : 31134 (ttsth-5-0) Z 31132 31134 15497 0 -1 4203532 468263 0 0 0 360382 71754 0 0 20 0 2 0 657760012 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31134/statm: 0 0 0 0 0 0 0
[pid=31134/tid=31141] ppid=31132 vsize=0 CPUtime=249.09
/proc/31134/task/31141/stat : 31141 (ttsth-5-0) R 31132 31134 15497 0 -1 4203588 27849 0 0 0 20003 4906 0 0 20 0 2 0 657760231 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4321.36
Current children cumulated vsize (KiB) 0

[startup+392.505 s]
/proc/loadavg: 16.06 13.73 8.66 17/204 31156
/proc/meminfo: memFree=17111500/36427776 swapFree=6476/1884056
[pid=31134] ppid=31132 vsize=0 CPUtime=4321.44
/proc/31134/stat : 31134 (ttsth-5-0) Z 31132 31134 15497 0 -1 4203532 468263 0 0 0 360382 71762 0 0 20 0 2 0 657760012 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31134/statm: 0 0 0 0 0 0 0
[pid=31134/tid=31141] ppid=31132 vsize=0 CPUtime=249.17
/proc/31134/task/31141/stat : 31141 (ttsth-5-0) R 31132 31134 15497 0 -1 4203588 27849 0 0 0 20003 4914 0 0 20 0 2 0 657760231 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4321.44
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 392.526
CPU time (s): 4321.47
CPU user time (s): 3603.84
CPU system time (s): 717.629
CPU usage (%): 1100.94
Max. virtual memory (cumulated for all children) (KiB): 2096964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3603.84
system time used= 717.629
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 468263
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= 970496
involuntary context switches= 122774

runsolver used 1.6721 second user time and 5.63235 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 15:02:16
IDJOB=1781280
IDBENCH=71699
IDSOLVER=634
FILE ID=xenhost3-49/1781280-1244984536
PBS_JOBID=
Free space on /tmp= 7021 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT_RACE06/goldb-heqc-i10mul.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1781280-1244984536/watcher-1781280-1244984536 -o /tmp/evaluation-result-1781280-1244984536/solver-1781280-1244984536 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781280-1244984536.cnf

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

MD5SUM BENCH= 80e15f28c8e2d72627ec75fe75757317
RANDOM SEED= 355248121

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:      18985992 kB
Buffers:        525044 kB
Cached:       14120124 kB
SwapCached:          0 kB
Active:        4174768 kB
Inactive:     10482092 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2020 kB
Writeback:           0 kB
AnonPages:       10344 kB
Mapped:           5432 kB
Slab:           733532 kB
SReclaimable:   706756 kB
SUnreclaim:      26776 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    36512 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 15:08:51