Trace number 1781370

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) 2615.85 170.739

General information on the benchmark

Namemanol-pipe-g6bi.cnf
MD5SUM276c05fafaa0b870834db9baaef6afca
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.33
Satisfiable
(Un)Satisfiability was proved
Number of variables23891
Number of clauses69895
Sum of the clauses size163087
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 246596
Number of clauses of size 323298
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.06/0.08	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781370-1244985904.cnf 
0.06/0.08	c Using SATTIMEOUT of 10000
0.06/0.08	c Using SATRAM of 2047
0.06/0.08	c Size of subset node = 16
0.06/0.08	c Variables = 23891
0.06/0.08	c Clauses = 69895
0.06/0.08	c Literals = 163087
0.06/0.08	c Reduced size:
0.06/0.08	c Variables = 23891
0.06/0.08	c Clauses = 69892
0.06/0.08	c Literals = 163081
0.06/0.08	c a2
0.10/0.15	c a1
3.00/3.05	c Independent sub-problems = 1
3.00/3.05	c Sub-problem with 23890 variables and 69892 clauses
3.00/3.05	c using permutation method 4
3.00/3.05	c count = 1
3.00/3.05	c Ordering finished 3.020 seconds
3.00/3.05	c mapped 3.040 seconds
3.00/3.05	c permuted 3.040 seconds
3.00/3.05	c about to sort
3.00/3.07	c sorted
3.70/3.80	c clauses now 69892
3.70/3.80	c init finished 3.520 seconds
3.70/3.80	c tree built 3.790 seconds
3.70/3.80	c 
3.70/3.80	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
3.70/3.80	c ---------------------------------|----------------------------------|------------------------------------------------------
3.70/3.80	c ................................ | ..........                       |                        3.8           0.0             
3.70/3.80	c ................................ | ..........                     1 |                        3.8           0.3             
3.70/3.80	c ................................ | ..........                     2 |                        3.8           0.5             
3.70/3.80	c ................................ | ..........                     3 |                        3.8           0.8             
3.80/3.80	c ................................ | ..........                     4 |                        3.8           1.1             
3.80/3.80	c ................................ | ..........                     5 |                        3.8           1.3             
3.80/3.82	c ................................ | ..........                  1000 | 2                      3.9         256.4           82
315.55/23.79	c ................................ | ..........               1440000 | 38075                200.2        7194.6      5451976
616.60/42.93	c ................................ | ..........               2434000 | 66079                400.4        6078.3     13043452
895.00/60.79	c ................................ | ..........               2992000 | 82433                600.2        4984.6     22625206
1167.65/78.19	c ................................ | ..........               4379000 | 137021               800.2        5472.5     31286331
1422.65/94.49	c ................................ | *.........               5883000 | 204346              1000.3        5881.1     41402348
1664.02/109.86	c ................................ | *.........               7000000 | 262391              1200.2        5832.4     53751256
1908.46/125.48	c ................................ | *.........               8169000 | 319362              1400.5        5833.0     64009304
2157.26/141.33	c ................................ | *.........               9333000 | 379523              1600.0        5833.0     73160623
2396.94/156.68	c ................................ | *.........              10486000 | 439794              1800.5        5824.0     82812745

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-1781370-1244985904/watcher-1781370-1244985904 -o /tmp/evaluation-result-1781370-1244985904/solver-1781370-1244985904 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781370-1244985904.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.94 14.62 11.25 2/187 31458
/proc/meminfo: memFree=18982044/36427776 swapFree=5472/10744
[pid=31458] ppid=31456 vsize=1540 CPUtime=0
/proc/31458/stat : 31458 (ttsth-5-0) R 31456 31458 15497 0 -1 4202496 280 0 0 0 0 0 0 0 20 0 1 0 657896788 1576960 237 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134639534 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/31458/statm: 385 238 74 177 0 207 0

[startup+0.078228 s]
/proc/loadavg: 15.94 14.62 11.25 2/187 31458
/proc/meminfo: memFree=18982044/36427776 swapFree=5472/10744
[pid=31458] ppid=31456 vsize=6040 CPUtime=0.06
/proc/31458/stat : 31458 (ttsth-5-0) R 31456 31458 15497 0 -1 4202496 1345 0 0 0 4 2 0 0 20 0 1 0 657896788 6184960 1302 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134534041 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/31458/statm: 1510 1302 75 177 0 1332 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6040

[startup+0.10222 s]
/proc/loadavg: 15.94 14.62 11.25 2/187 31458
/proc/meminfo: memFree=18982044/36427776 swapFree=5472/10744
[pid=31458] ppid=31456 vsize=10980 CPUtime=0.1
/proc/31458/stat : 31458 (ttsth-5-0) R 31456 31458 15497 0 -1 4202496 2574 0 0 0 6 4 0 0 20 0 1 0 657896788 11243520 2531 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134732614 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/31458/statm: 2745 2534 76 177 0 2567 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10980

[startup+0.302245 s]
/proc/loadavg: 15.94 14.62 11.25 2/187 31458
/proc/meminfo: memFree=18982044/36427776 swapFree=5472/10744
[pid=31458] ppid=31456 vsize=13984 CPUtime=0.3
/proc/31458/stat : 31458 (ttsth-5-0) R 31456 31458 15497 0 -1 4202496 3480 0 0 0 26 4 0 0 20 0 1 0 657896788 14319616 3298 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134600866 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/31458/statm: 3496 3298 77 177 0 3318 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 13984

[startup+0.702273 s]
/proc/loadavg: 15.94 14.62 11.25 2/187 31458
/proc/meminfo: memFree=18982044/36427776 swapFree=5472/10744
[pid=31458] ppid=31456 vsize=14152 CPUtime=0.7
/proc/31458/stat : 31458 (ttsth-5-0) R 31456 31458 15497 0 -1 4202496 3519 0 0 0 66 4 0 0 20 0 1 0 657896788 14491648 3337 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134732614 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/31458/statm: 3538 3337 77 177 0 3360 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 14152

[startup+1.50236 s]
/proc/loadavg: 15.94 14.62 11.25 2/188 31459
/proc/meminfo: memFree=18967976/36427776 swapFree=5448/24952
[pid=31458] ppid=31456 vsize=14600 CPUtime=1.5
/proc/31458/stat : 31458 (ttsth-5-0) R 31456 31458 15497 0 -1 4202496 3607 0 0 0 146 4 0 0 20 0 1 0 657896788 14950400 3425 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134555272 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/31458/statm: 3650 3425 77 177 0 3472 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 14600

[startup+3.10251 s]
/proc/loadavg: 15.94 14.62 11.25 2/188 31459
/proc/meminfo: memFree=18967180/36427776 swapFree=5700/25544
[pid=31458] ppid=31456 vsize=25172 CPUtime=3.1
/proc/31458/stat : 31458 (ttsth-5-0) R 31456 31458 15497 0 -1 4202496 6360 0 0 0 306 4 0 0 20 0 1 0 657896788 25776128 6110 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134732614 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/31458/statm: 6293 6121 85 177 0 6115 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 25172

[startup+6.303 s]
/proc/loadavg: 14.74 14.39 11.20 17/204 31475
/proc/meminfo: memFree=18686244/36427776 swapFree=6476/307900
[pid=31458] ppid=31456 vsize=423032 CPUtime=43.01
/proc/31458/stat : 31458 (ttsth-5-0) S 31456 31458 15497 0 -1 4202496 76038 0 0 0 1163 3138 0 0 20 0 17 0 657896788 433184768 75787 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31458/statm: 105758 75788 95 177 0 105580 0
[pid=31458/tid=31460] ppid=31456 vsize=423032 CPUtime=2.5
/proc/31458/task/31460/stat : 31460 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 1320 0 0 0 246 4 0 0 20 0 17 0 657897168 433184768 75788 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134590129 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31458/tid=31461] ppid=31456 vsize=423032 CPUtime=2.44
/proc/31458/task/31461/stat : 31461 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 315 0 0 0 36 208 0 0 20 0 17 0 657897168 433184768 75788 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31458/tid=31462] ppid=31456 vsize=423032 CPUtime=2.44
/proc/31458/task/31462/stat : 31462 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 449 0 0 0 38 206 0 0 20 0 17 0 657897168 433184768 75788 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134732614 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31458/tid=31463] ppid=31456 vsize=423032 CPUtime=2.44
/proc/31458/task/31463/stat : 31463 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 227 0 0 0 40 204 0 0 20 0 17 0 657897168 433184768 75789 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31458/tid=31464] ppid=31456 vsize=423032 CPUtime=2.44
/proc/31458/task/31464/stat : 31464 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 222 0 0 0 32 212 0 0 20 0 17 0 657897168 433184768 75789 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31458/tid=31465] ppid=31456 vsize=423032 CPUtime=2.46
/proc/31458/task/31465/stat : 31465 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 329 0 0 0 34 212 0 0 20 0 17 0 657897168 433184768 75789 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31458/tid=31466] ppid=31456 vsize=423032 CPUtime=2.44
/proc/31458/task/31466/stat : 31466 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 208 0 0 0 46 198 0 0 20 0 17 0 657897168 433184768 75789 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31458/tid=31467] ppid=31456 vsize=423032 CPUtime=2.46
/proc/31458/task/31467/stat : 31467 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 215 0 0 0 40 206 0 0 20 0 17 0 657897168 433184768 75789 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31458/tid=31468] ppid=31456 vsize=423032 CPUtime=2.44
/proc/31458/task/31468/stat : 31468 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 224 0 0 0 38 206 0 0 20 0 17 0 657897168 433184768 75789 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31458/tid=31469] ppid=31456 vsize=423032 CPUtime=2.44
/proc/31458/task/31469/stat : 31469 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 252 0 0 0 46 198 0 0 20 0 17 0 657897168 433184768 75789 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31458/tid=31470] ppid=31456 vsize=423032 CPUtime=2.44
/proc/31458/task/31470/stat : 31470 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 277 0 0 0 36 208 0 0 20 0 17 0 657897168 433184768 75789 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31458/tid=31471] ppid=31456 vsize=423032 CPUtime=2.44
/proc/31458/task/31471/stat : 31471 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 336 0 0 0 36 208 0 0 20 0 17 0 657897168 433184768 75790 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31458/tid=31472] ppid=31456 vsize=423032 CPUtime=2.44
/proc/31458/task/31472/stat : 31472 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 276 0 0 0 38 206 0 0 20 0 17 0 657897169 433184768 75790 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31458/tid=31473] ppid=31456 vsize=423032 CPUtime=2.4
/proc/31458/task/31473/stat : 31473 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 216 0 0 0 32 208 0 0 20 0 17 0 657897169 433184768 75790 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31458/tid=31474] ppid=31456 vsize=423032 CPUtime=2.42
/proc/31458/task/31474/stat : 31474 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 432 0 0 0 38 204 0 0 20 0 17 0 657897169 433184768 75790 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31458/tid=31475] ppid=31456 vsize=423032 CPUtime=2.44
/proc/31458/task/31475/stat : 31475 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 246 0 0 0 34 210 0 0 20 0 17 0 657897169 433184768 75790 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 43.01
Current children cumulated vsize (KiB) 423032

[startup+12.7015 s]
/proc/loadavg: 14.84 14.42 11.22 15/204 31475
/proc/meminfo: memFree=18632104/36427776 swapFree=6476/361532
[pid=31458] ppid=31456 vsize=477404 CPUtime=142.97
/proc/31458/stat : 31458 (ttsth-5-0) S 31456 31458 15497 0 -1 4202496 89923 0 0 0 4232 10065 0 0 20 0 17 0 657896788 488861696 89672 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31458/statm: 119351 89672 95 177 0 119173 0
[pid=31458/tid=31460] ppid=31456 vsize=477404 CPUtime=8.88
/proc/31458/task/31460/stat : 31460 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 2602 0 0 0 878 10 0 0 20 0 17 0 657897168 488861696 89672 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31458/tid=31461] ppid=31456 vsize=477404 CPUtime=8.7
/proc/31458/task/31461/stat : 31461 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 1346 0 0 0 216 654 0 0 20 0 17 0 657897168 488861696 89672 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31458/tid=31462] ppid=31456 vsize=477404 CPUtime=8.7
/proc/31458/task/31462/stat : 31462 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 999 0 0 0 224 646 0 0 20 0 17 0 657897168 488861696 89673 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31458/tid=31463] ppid=31456 vsize=477404 CPUtime=8.68
/proc/31458/task/31463/stat : 31463 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 1540 0 0 0 206 662 0 0 20 0 17 0 657897168 488861696 89673 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31458/tid=31464] ppid=31456 vsize=477404 CPUtime=8.68
/proc/31458/task/31464/stat : 31464 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 1132 0 0 0 190 678 0 0 20 0 17 0 657897168 488861696 89673 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31458/tid=31465] ppid=31456 vsize=477404 CPUtime=8.68
/proc/31458/task/31465/stat : 31465 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 925 0 0 0 174 694 0 0 20 0 17 0 657897168 488861696 89673 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31458/tid=31466] ppid=31456 vsize=477404 CPUtime=8.7
/proc/31458/task/31466/stat : 31466 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 829 0 0 0 200 670 0 0 20 0 17 0 657897168 488861696 89673 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31458/tid=31467] ppid=31456 vsize=477404 CPUtime=8.66
/proc/31458/task/31467/stat : 31467 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 606 0 0 0 190 676 0 0 20 0 17 0 657897168 488861696 89673 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31458/tid=31468] ppid=31456 vsize=477404 CPUtime=8.7
/proc/31458/task/31468/stat : 31468 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 945 0 0 0 194 676 0 0 20 0 17 0 657897168 488861696 89673 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31458/tid=31469] ppid=31456 vsize=477404 CPUtime=8.68
/proc/31458/task/31469/stat : 31469 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 1083 0 0 0 214 654 0 0 20 0 17 0 657897168 488861696 89673 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31458/tid=31470] ppid=31456 vsize=477404 CPUtime=8.68
/proc/31458/task/31470/stat : 31470 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 1099 0 0 0 194 674 0 0 20 0 17 0 657897168 488861696 89673 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31458/tid=31471] ppid=31456 vsize=477404 CPUtime=8.7
/proc/31458/task/31471/stat : 31471 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 1989 0 0 0 224 646 0 0 20 0 17 0 657897168 488861696 89673 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31458/tid=31472] ppid=31456 vsize=477404 CPUtime=8.7
/proc/31458/task/31472/stat : 31472 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 589 0 0 0 160 710 0 0 20 0 17 0 657897169 488861696 89674 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31458/tid=31473] ppid=31456 vsize=477404 CPUtime=8.52
/proc/31458/task/31473/stat : 31473 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 1339 0 0 0 194 658 0 0 20 0 17 0 657897169 488861696 89674 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31458/tid=31474] ppid=31456 vsize=477404 CPUtime=8.68
/proc/31458/task/31474/stat : 31474 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 1234 0 0 0 204 664 0 0 20 0 17 0 657897169 488861696 89674 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31458/tid=31475] ppid=31456 vsize=477404 CPUtime=8.68
/proc/31458/task/31475/stat : 31475 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 1172 0 0 0 214 654 0 0 20 0 17 0 657897169 488861696 89674 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 142.97
Current children cumulated vsize (KiB) 477404

[startup+25.5049 s]
/proc/loadavg: 15.10 14.49 11.30 17/204 31475
/proc/meminfo: memFree=18546056/36427776 swapFree=6476/448032
[pid=31458] ppid=31456 vsize=560440 CPUtime=343.76
/proc/31458/stat : 31458 (ttsth-5-0) S 31456 31458 15497 0 -1 4202496 110268 0 0 0 11630 22746 0 0 20 0 17 0 657896788 573890560 110017 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31458/statm: 140110 110017 95 177 0 139932 0
[pid=31458/tid=31460] ppid=31456 vsize=560440 CPUtime=21.68
/proc/31458/task/31460/stat : 31460 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 4144 0 0 0 2156 12 0 0 20 0 17 0 657897168 573890560 110017 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31458/tid=31461] ppid=31456 vsize=560440 CPUtime=21.2
/proc/31458/task/31461/stat : 31461 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 2202 0 0 0 590 1530 0 0 20 0 17 0 657897168 573890560 110017 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31458/tid=31462] ppid=31456 vsize=560440 CPUtime=21.26
/proc/31458/task/31462/stat : 31462 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 2848 0 0 0 684 1442 0 0 20 0 17 0 657897168 573890560 110017 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31458/tid=31463] ppid=31456 vsize=560440 CPUtime=21.28
/proc/31458/task/31463/stat : 31463 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 3686 0 0 0 700 1428 0 0 20 0 17 0 657897168 573890560 110017 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31458/tid=31464] ppid=31456 vsize=560440 CPUtime=21.24
/proc/31458/task/31464/stat : 31464 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 3309 0 0 0 662 1462 0 0 20 0 17 0 657897168 573890560 110017 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31458/tid=31465] ppid=31456 vsize=560440 CPUtime=21.22
/proc/31458/task/31465/stat : 31465 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 1932 0 0 0 598 1524 0 0 20 0 17 0 657897168 573890560 110017 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31458/tid=31466] ppid=31456 vsize=560440 CPUtime=21.24
/proc/31458/task/31466/stat : 31466 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 2246 0 0 0 596 1528 0 0 20 0 17 0 657897168 573890560 110017 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31458/tid=31467] ppid=31456 vsize=560440 CPUtime=21.2
/proc/31458/task/31467/stat : 31467 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 1009 0 0 0 568 1552 0 0 20 0 17 0 657897168 573890560 110017 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31458/tid=31468] ppid=31456 vsize=560440 CPUtime=21.24
/proc/31458/task/31468/stat : 31468 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 1794 0 0 0 532 1592 0 0 20 0 17 0 657897168 573890560 110017 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31458/tid=31469] ppid=31456 vsize=560440 CPUtime=21.24
/proc/31458/task/31469/stat : 31469 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 1975 0 0 0 628 1496 0 0 20 0 17 0 657897168 573890560 110017 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31458/tid=31470] ppid=31456 vsize=560440 CPUtime=21.22
/proc/31458/task/31470/stat : 31470 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 1824 0 0 0 566 1556 0 0 20 0 17 0 657897168 573890560 110017 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31458/tid=31471] ppid=31456 vsize=560440 CPUtime=21.28
/proc/31458/task/31471/stat : 31471 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 4157 0 0 0 640 1488 0 0 20 0 17 0 657897168 573890560 110017 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31458/tid=31472] ppid=31456 vsize=560440 CPUtime=21.28
/proc/31458/task/31472/stat : 31472 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 1861 0 0 0 550 1578 0 0 20 0 17 0 657897169 573890560 110017 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31458/tid=31473] ppid=31456 vsize=560440 CPUtime=20.8
/proc/31458/task/31473/stat : 31473 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 2262 0 0 0 576 1504 0 0 20 0 17 0 657897169 573890560 110017 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31458/tid=31474] ppid=31456 vsize=560440 CPUtime=21.2
/proc/31458/task/31474/stat : 31474 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 2180 0 0 0 570 1550 0 0 20 0 17 0 657897169 573890560 110017 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31458/tid=31475] ppid=31456 vsize=560440 CPUtime=21.24
/proc/31458/task/31475/stat : 31475 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 2344 0 0 0 660 1464 0 0 20 0 17 0 657897169 573890560 110017 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 343.76
Current children cumulated vsize (KiB) 560440

[startup+51.1071 s]
/proc/loadavg: 15.40 14.61 11.42 17/204 31475
/proc/meminfo: memFree=18367124/36427776 swapFree=6476/626240
[pid=31458] ppid=31456 vsize=751816 CPUtime=744.88

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

[pid=31458/tid=31469] ppid=31456 vsize=751816 CPUtime=46.26
/proc/31458/task/31469/stat : 31469 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 4163 0 0 0 1638 2988 0 0 20 0 17 0 657897168 769859584 155541 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31458/tid=31470] ppid=31456 vsize=751816 CPUtime=46.26
/proc/31458/task/31470/stat : 31470 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 3676 0 0 0 1402 3224 0 0 20 0 17 0 657897168 769859584 155541 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31458/tid=31471] ppid=31456 vsize=751816 CPUtime=46.42
/proc/31458/task/31471/stat : 31471 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 7545 0 0 0 1576 3066 0 0 20 0 17 0 657897168 769859584 155541 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31458/tid=31472] ppid=31456 vsize=751816 CPUtime=46.42
/proc/31458/task/31472/stat : 31472 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 5503 0 0 0 1556 3086 0 0 20 0 17 0 657897169 769859584 155541 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31458/tid=31473] ppid=31456 vsize=751816 CPUtime=45.46
/proc/31458/task/31473/stat : 31473 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 5759 0 0 0 1644 2902 0 0 20 0 17 0 657897169 769859584 155541 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31458/tid=31474] ppid=31456 vsize=751816 CPUtime=46.26
/proc/31458/task/31474/stat : 31474 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 4389 0 0 0 1576 3050 0 0 20 0 17 0 657897169 769859584 155541 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134680502 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31458/tid=31475] ppid=31456 vsize=751816 CPUtime=46.3
/proc/31458/task/31475/stat : 31475 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 4837 0 0 0 1704 2926 0 0 20 0 17 0 657897169 769859584 155541 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 744.88
Current children cumulated vsize (KiB) 751816

[startup+102.316 s]
/proc/loadavg: 15.63 14.79 11.65 17/204 31475
/proc/meminfo: memFree=17830960/36427776 swapFree=6476/1162736
[pid=31458] ppid=31456 vsize=1311004 CPUtime=1546.81
/proc/31458/stat : 31458 (ttsth-5-0) S 31456 31458 15497 0 -1 4202496 288803 0 0 0 77962 76719 0 0 20 0 17 0 657896788 1342468096 288552 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31458/statm: 327751 288552 95 177 0 327573 0
[pid=31458/tid=31460] ppid=31456 vsize=1311004 CPUtime=98.47
/proc/31458/task/31460/stat : 31460 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 14639 0 0 0 9813 34 0 0 20 0 17 0 657897168 1342468096 288552 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31458/tid=31461] ppid=31456 vsize=1311004 CPUtime=96.3
/proc/31458/task/31461/stat : 31461 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 12336 0 0 0 4710 4920 0 0 20 0 17 0 657897168 1342468096 288552 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134680503 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31458/tid=31462] ppid=31456 vsize=1311004 CPUtime=96.76
/proc/31458/task/31462/stat : 31462 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 22555 0 0 0 5151 4525 0 0 20 0 17 0 657897168 1342468096 288553 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31458/tid=31463] ppid=31456 vsize=1311004 CPUtime=96.7
/proc/31458/task/31463/stat : 31463 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 23284 0 0 0 4887 4783 0 0 20 0 17 0 657897168 1342468096 288553 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31458/tid=31464] ppid=31456 vsize=1311004 CPUtime=96.55
/proc/31458/task/31464/stat : 31464 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 18892 0 0 0 4707 4948 0 0 20 0 17 0 657897168 1342468096 288553 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31458/tid=31465] ppid=31456 vsize=1311160 CPUtime=95.91
/proc/31458/task/31465/stat : 31465 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 8660 0 0 0 4220 5371 0 0 20 0 17 0 657897168 1342627840 288554 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134732535 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31458/tid=31466] ppid=31456 vsize=1311160 CPUtime=96.49
/proc/31458/task/31466/stat : 31466 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 11379 0 0 0 4542 5107 0 0 20 0 17 0 657897168 1342627840 288554 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31458/tid=31467] ppid=31456 vsize=1311160 CPUtime=96.06
/proc/31458/task/31467/stat : 31467 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 10862 0 0 0 4091 5515 0 0 20 0 17 0 657897168 1342627840 288554 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134550994 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31458/tid=31468] ppid=31456 vsize=1311160 CPUtime=95.88
/proc/31458/task/31468/stat : 31468 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 4853 0 0 0 3670 5918 0 0 20 0 17 0 657897168 1342627840 288554 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31458/tid=31469] ppid=31456 vsize=1311160 CPUtime=96.5
/proc/31458/task/31469/stat : 31469 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 13500 0 0 0 4739 4911 0 0 20 0 17 0 657897168 1342627840 288554 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31458/tid=31470] ppid=31456 vsize=1311160 CPUtime=96.35
/proc/31458/task/31470/stat : 31470 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 9272 0 0 0 4161 5474 0 0 20 0 17 0 657897168 1342627840 288554 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31458/tid=31471] ppid=31456 vsize=1311160 CPUtime=96.67
/proc/31458/task/31471/stat : 31471 (ttsth-5-0) S 31456 31458 15497 0 -1 4202560 16605 0 0 0 4284 5383 0 0 20 0 17 0 657897168 1342627840 288554 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=31458/tid=31472] ppid=31456 vsize=1311160 CPUtime=96.6
/proc/31458/task/31472/stat : 31472 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 11099 0 0 0 4512 5148 0 0 20 0 17 0 657897169 1342627840 288554 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31458/tid=31473] ppid=31456 vsize=1311160 CPUtime=94.96
/proc/31458/task/31473/stat : 31473 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 18135 0 0 0 4817 4679 0 0 20 0 17 0 657897169 1342627840 288554 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31458/tid=31474] ppid=31456 vsize=1311160 CPUtime=96.4
/proc/31458/task/31474/stat : 31474 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 10598 0 0 0 4569 5071 0 0 20 0 17 0 657897169 1342627840 288554 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31458/tid=31475] ppid=31456 vsize=1311160 CPUtime=96.36
/proc/31458/task/31475/stat : 31475 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 11641 0 0 0 4739 4897 0 0 20 0 17 0 657897169 1342627840 288554 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1546.81
Current children cumulated vsize (KiB) 1311004

[startup+162.305 s]
/proc/loadavg: 15.74 14.98 11.91 16/204 31475
/proc/meminfo: memFree=17205756/36427776 swapFree=6476/1787176
[pid=31458] ppid=31456 vsize=1982424 CPUtime=2486.39
/proc/31458/stat : 31458 (ttsth-5-0) S 31456 31458 15497 0 -1 4202496 446652 0 0 0 143986 104653 0 0 20 0 17 0 657896788 2030002176 446401 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31458/statm: 495606 446401 95 177 0 495428 0
[pid=31458/tid=31460] ppid=31456 vsize=1982424 CPUtime=158.46
/proc/31458/task/31460/stat : 31460 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 21137 0 0 0 15792 54 0 0 20 0 17 0 657897168 2030002176 446402 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31458/tid=31461] ppid=31456 vsize=1982424 CPUtime=155.2
/proc/31458/task/31461/stat : 31461 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 24467 0 0 0 8927 6593 0 0 20 0 17 0 657897168 2030002176 446402 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31458/tid=31462] ppid=31456 vsize=1982424 CPUtime=155.85
/proc/31458/task/31462/stat : 31462 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 35404 0 0 0 9506 6079 0 0 20 0 17 0 657897168 2030002176 446402 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31458/tid=31463] ppid=31456 vsize=1982424 CPUtime=155.66
/proc/31458/task/31463/stat : 31463 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 32560 0 0 0 9020 6546 0 0 20 0 17 0 657897168 2030002176 446402 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31458/tid=31464] ppid=31456 vsize=1982424 CPUtime=155.5
/proc/31458/task/31464/stat : 31464 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 31274 0 0 0 8786 6764 0 0 20 0 17 0 657897168 2030002176 446402 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31458/tid=31465] ppid=31456 vsize=1982424 CPUtime=154.57
/proc/31458/task/31465/stat : 31465 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 18881 0 0 0 8488 6969 0 0 20 0 17 0 657897168 2030002176 446402 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31458/tid=31466] ppid=31456 vsize=1982424 CPUtime=155.16
/proc/31458/task/31466/stat : 31466 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 17356 0 0 0 8353 7163 0 0 20 0 17 0 657897168 2030002176 446402 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31458/tid=31467] ppid=31456 vsize=1982424 CPUtime=154.35
/proc/31458/task/31467/stat : 31467 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 15825 0 0 0 7679 7756 0 0 20 0 17 0 657897168 2030002176 446402 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31458/tid=31468] ppid=31456 vsize=1982424 CPUtime=152.62
/proc/31458/task/31468/stat : 31468 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 9413 0 0 0 6611 8651 0 0 20 0 17 0 657897168 2030002176 446402 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31458/tid=31469] ppid=31456 vsize=1982424 CPUtime=155.56
/proc/31458/task/31469/stat : 31469 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 27240 0 0 0 8911 6645 0 0 20 0 17 0 657897168 2030002176 446402 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31458/tid=31470] ppid=31456 vsize=1982424 CPUtime=155.11
/proc/31458/task/31470/stat : 31470 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 16872 0 0 0 8133 7378 0 0 20 0 17 0 657897168 2030002176 446404 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31458/tid=31471] ppid=31456 vsize=1982424 CPUtime=155.32
/proc/31458/task/31471/stat : 31471 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 28911 0 0 0 8076 7456 0 0 20 0 17 0 657897168 2030002176 446404 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31458/tid=31472] ppid=31456 vsize=1982424 CPUtime=155.86
/proc/31458/task/31472/stat : 31472 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 28227 0 0 0 8821 6765 0 0 20 0 17 0 657897169 2030002176 446404 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31458/tid=31473] ppid=31456 vsize=1982424 CPUtime=152.98
/proc/31458/task/31473/stat : 31473 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 30171 0 0 0 8992 6306 0 0 20 0 17 0 657897169 2030002176 446404 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31458/tid=31474] ppid=31456 vsize=1982424 CPUtime=155.35
/proc/31458/task/31474/stat : 31474 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 18052 0 0 0 8665 6870 0 0 20 0 17 0 657897169 2030002176 446404 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31458/tid=31475] ppid=31456 vsize=1982424 CPUtime=154.92
/proc/31458/task/31475/stat : 31475 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 20369 0 0 0 8871 6621 0 0 20 0 17 0 657897169 2030002176 446404 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134591304 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2486.39
Current children cumulated vsize (KiB) 1982424



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+170.518 s]
/proc/loadavg: 15.78 15.01 11.95 17/204 31475
/proc/meminfo: memFree=17088480/36427776 swapFree=6476/1902816
[pid=31458] ppid=31456 vsize=2097424 CPUtime=2615.52
/proc/31458/stat : 31458 (ttsth-5-0) S 31456 31458 15497 0 -1 4202496 473416 0 0 0 154931 106621 0 0 20 0 17 0 657896788 2147762176 473165 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31458/statm: 524356 473166 95 177 0 524178 0
[pid=31458/tid=31460] ppid=31456 vsize=2097424 CPUtime=166.67
/proc/31458/task/31460/stat : 31460 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 22130 0 0 0 16609 58 0 0 20 0 17 0 657897168 2147762176 473167 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134680499 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31458/tid=31461] ppid=31456 vsize=2097424 CPUtime=163.29
/proc/31458/task/31461/stat : 31461 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 25619 0 0 0 9607 6722 0 0 20 0 17 0 657897168 2147762176 473167 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31458/tid=31462] ppid=31456 vsize=2097424 CPUtime=163.99
/proc/31458/task/31462/stat : 31462 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 39131 0 0 0 10227 6172 0 0 20 0 17 0 657897168 2147762176 473167 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31458/tid=31463] ppid=31456 vsize=2097424 CPUtime=163.75
/proc/31458/task/31463/stat : 31463 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 33613 0 0 0 9688 6687 0 0 20 0 17 0 657897168 2147762176 473167 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31458/tid=31464] ppid=31456 vsize=2097424 CPUtime=163.6
/proc/31458/task/31464/stat : 31464 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 33395 0 0 0 9500 6860 0 0 20 0 17 0 657897168 2147762176 473167 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31458/tid=31465] ppid=31456 vsize=2097424 CPUtime=162.5
/proc/31458/task/31465/stat : 31465 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 19369 0 0 0 9117 7133 0 0 20 0 17 0 657897168 2147762176 473167 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134549877 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31458/tid=31466] ppid=31456 vsize=2097424 CPUtime=163.17
/proc/31458/task/31466/stat : 31466 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 17802 0 0 0 8960 7357 0 0 20 0 17 0 657897168 2147762176 473168 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31458/tid=31467] ppid=31456 vsize=2097424 CPUtime=162.43
/proc/31458/task/31467/stat : 31467 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 17546 0 0 0 8336 7907 0 0 20 0 17 0 657897168 2147762176 473168 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31458/tid=31468] ppid=31456 vsize=2097424 CPUtime=160.37
/proc/31458/task/31468/stat : 31468 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 9688 0 0 0 7137 8900 0 0 20 0 17 0 657897168 2147762176 473169 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134551756 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31458/tid=31469] ppid=31456 vsize=2097424 CPUtime=163.7
/proc/31458/task/31469/stat : 31469 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 29074 0 0 0 9596 6774 0 0 20 0 17 0 657897168 2147762176 473169 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134590777 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31458/tid=31470] ppid=31456 vsize=2097424 CPUtime=163.23
/proc/31458/task/31470/stat : 31470 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 18750 0 0 0 8856 7467 0 0 20 0 17 0 657897168 2147762176 473169 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31458/tid=31471] ppid=31456 vsize=2097424 CPUtime=163.46
/proc/31458/task/31471/stat : 31471 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 32008 0 0 0 8778 7568 0 0 20 0 17 0 657897168 2147762176 473169 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31458/tid=31472] ppid=31456 vsize=2097424 CPUtime=164.02
/proc/31458/task/31472/stat : 31472 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 31210 0 0 0 9565 6837 0 0 20 0 17 0 657897169 2147762176 473169 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134561428 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31458/tid=31473] ppid=31456 vsize=2097424 CPUtime=160.93
/proc/31458/task/31473/stat : 31473 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 31978 0 0 0 9667 6426 0 0 20 0 17 0 657897169 2147762176 473169 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31458/tid=31474] ppid=31456 vsize=2097424 CPUtime=163.49
/proc/31458/task/31474/stat : 31474 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 19989 0 0 0 9375 6974 0 0 20 0 17 0 657897169 2147762176 473169 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31458/tid=31475] ppid=31456 vsize=2097424 CPUtime=162.98
/proc/31458/task/31475/stat : 31475 (ttsth-5-0) R 31456 31458 15497 0 -1 4202560 21623 0 0 0 9558 6740 0 0 20 0 17 0 657897169 2147762176 473169 18446744073709551615 134512640 135237372 4288506032 18446744073709551615 134590525 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2615.52
Current children cumulated vsize (KiB) 2097424

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

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

[startup+170.626 s]
/proc/loadavg: 15.78 15.01 11.95 17/204 31475
/proc/meminfo: memFree=17088480/36427776 swapFree=6476/1902816
[pid=31458] ppid=31456 vsize=0 CPUtime=2615.72
/proc/31458/stat : 31458 (ttsth-5-0) Z 31456 31458 15497 0 -1 4203532 473436 0 0 0 154942 106630 0 0 20 0 2 0 657896788 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31458/statm: 0 0 0 0 0 0 0
[pid=31458/tid=31475] ppid=31456 vsize=0 CPUtime=163.06
/proc/31458/task/31475/stat : 31475 (ttsth-5-0) R 31456 31458 15497 0 -1 4203588 21623 0 0 0 9558 6748 0 0 20 0 2 0 657897169 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2615.72
Current children cumulated vsize (KiB) 0

[startup+170.702 s]
/proc/loadavg: 15.78 15.01 11.95 17/204 31475
/proc/meminfo: memFree=17088480/36427776 swapFree=6476/1902816
[pid=31458] ppid=31456 vsize=0 CPUtime=2615.8
/proc/31458/stat : 31458 (ttsth-5-0) Z 31456 31458 15497 0 -1 4203532 473436 0 0 0 154942 106638 0 0 20 0 2 0 657896788 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31458/statm: 0 0 0 0 0 0 0
[pid=31458/tid=31475] ppid=31456 vsize=0 CPUtime=163.14
/proc/31458/task/31475/stat : 31475 (ttsth-5-0) R 31456 31458 15497 0 -1 4203588 21623 0 0 0 9558 6756 0 0 20 0 2 0 657897169 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2615.8
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 170.739
CPU time (s): 2615.85
CPU user time (s): 1549.42
CPU system time (s): 1066.43
CPU usage (%): 1532.07
Max. virtual memory (cumulated for all children) (KiB): 2097424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1549.42
system time used= 1066.43
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 473436
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= 346869
involuntary context switches= 6231

runsolver used 0.80405 second user time and 2.66417 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 15:25:04
IDJOB=1781370
IDBENCH=71734
IDSOLVER=634
FILE ID=xenhost3-49/1781370-1244985904
PBS_JOBID=
Free space on /tmp= 7021 MiB

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

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

MD5SUM BENCH= 276c05fafaa0b870834db9baaef6afca
RANDOM SEED= 1317749263

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:      18982488 kB
Buffers:        528464 kB
Cached:       14119468 kB
SwapCached:          0 kB
Active:        4177076 kB
Inactive:     10481540 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            1376 kB
Writeback:           0 kB
AnonPages:       10080 kB
Mapped:           4808 kB
Slab:           734324 kB
SReclaimable:   707492 kB
SUnreclaim:      26832 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    36632 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:27:57