Trace number 1780965

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) 1990.6 129.417

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rpoc_xits_17_SAT.cnf
MD5SUM4607e45ceb8682e35172b7d697608fbf
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.61
Satisfiable
(Un)Satisfiability was proved
Number of variables2718
Number of clauses215000
Sum of the clauses size641260
Maximum clause length18
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 24085
Number of clauses of size 3210892
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data 

0.20/0.25	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1780965-1244979795.cnf 
0.20/0.25	c Using SATTIMEOUT of 10000
0.20/0.25	c Using SATRAM of 2047
0.20/0.25	c Size of subset node = 16
0.20/0.25	c Variables = 2718
0.20/0.25	c Clauses = 215000
0.20/0.25	c Literals = 641260
0.20/0.25	c Reduced size:
0.20/0.25	c Variables = 2718
0.20/0.25	c Clauses = 215000
0.20/0.25	c Literals = 641260
0.20/0.25	c a2
0.60/0.64	c a1
1.38/1.46	c Independent sub-problems = 1
1.38/1.46	c Sub-problem with 2718 variables and 215000 clauses
1.38/1.46	c using permutation method 4
1.38/1.46	c count = 1
1.38/1.46	c Ordering finished 1.390 seconds
1.38/1.46	c mapped 1.460 seconds
1.38/1.46	c permuted 1.460 seconds
1.38/1.46	c about to sort
1.48/1.51	c sorted
2.48/2.55	c clauses now 215000
2.48/2.55	c init finished 1.570 seconds
2.48/2.55	c tree built 2.550 seconds
2.48/2.55	c 
2.48/2.55	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
2.48/2.55	c ---------------------------------|----------------------------------|------------------------------------------------------
2.48/2.55	c ................................ | ..........                       |                        2.5           0.0             
2.48/2.55	c ................................ | ..........                     1 |                        2.5           0.4             
2.48/2.55	c ................................ | ..........                     2 |                        2.5           0.8             
2.48/2.55	c ................................ | ..........                     3 |                        2.5           1.2             
2.48/2.55	c ................................ | ..........                     4 |                        2.5           1.6             
2.48/2.55	c ................................ | ..........                     5 |                        2.5           2.0             
4.66/2.72	c ................................ | ..........                  1000 | 8                      3.8         263.9         3858
235.60/17.49	c ................................ | ..........                217000 | 18092                200.2        1083.6     11525235
446.36/30.74	c ................................ | ..........                336000 | 29152                400.1         839.7     24712665
652.57/43.76	c ................................ | ..........                444000 | 39422                600.9         738.9     37409073
856.18/56.58	c ................................ | ..........                546000 | 46038                801.1         681.6     48990485
1058.55/69.26	c ................................ | *.........                635000 | 49860               1000.1         634.9     60220128
1262.21/82.02	c ................................ | *.........                706000 | 53975               1201.0         587.8     71403879
1464.61/94.74	c ................................ | *.........                774000 | 60322               1402.4         551.9     82009820
1665.53/107.46	c ................................ | *.........                837000 | 66189               1601.6         522.6     92233094
1868.26/121.02	c ................................ | *.........                909000 | 73761               1802.2         504.4    101937938

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-1780965-1244979795/watcher-1780965-1244979795 -o /tmp/evaluation-result-1780965-1244979795/solver-1780965-1244979795 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1780965-1244979795.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.33 15.09 13.33 2/184 29938
/proc/meminfo: memFree=18987008/36427776 swapFree=2992/6912
[pid=29938] ppid=29936 vsize=1540 CPUtime=0
/proc/29938/stat : 29938 (ttsth-5-0) R 29936 29938 15497 0 -1 4202496 276 0 0 0 0 0 0 0 20 0 1 0 657285849 1576960 233 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134732614 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/29938/statm: 385 233 75 177 0 207 0

[startup+0.088198 s]
/proc/loadavg: 15.33 15.09 13.33 2/184 29938
/proc/meminfo: memFree=18987008/36427776 swapFree=2992/6912
[pid=29938] ppid=29936 vsize=6572 CPUtime=0.08
/proc/29938/stat : 29938 (ttsth-5-0) R 29936 29938 15497 0 -1 4202496 1483 0 0 0 6 2 0 0 20 0 1 0 657285849 6729728 1440 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134732614 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/29938/statm: 1643 1441 75 177 0 1465 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6572

[startup+0.104206 s]
/proc/loadavg: 15.33 15.09 13.33 2/184 29938
/proc/meminfo: memFree=18987008/36427776 swapFree=2992/6912
[pid=29938] ppid=29936 vsize=7364 CPUtime=0.1
/proc/29938/stat : 29938 (ttsth-5-0) R 29936 29938 15497 0 -1 4202496 1720 0 0 0 8 2 0 0 20 0 1 0 657285849 7540736 1677 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134884302 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/29938/statm: 1874 1678 75 177 0 1696 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7364

[startup+0.300273 s]
/proc/loadavg: 15.33 15.09 13.33 2/184 29938
/proc/meminfo: memFree=18987008/36427776 swapFree=2992/6912
[pid=29938] ppid=29936 vsize=27284 CPUtime=0.28
/proc/29938/stat : 29938 (ttsth-5-0) R 29936 29938 15497 0 -1 4202496 6542 0 0 0 26 2 0 0 20 0 1 0 657285849 27938816 6499 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134554933 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/29938/statm: 6821 6499 76 177 0 6643 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 27284

[startup+0.700258 s]
/proc/loadavg: 15.33 15.09 13.33 2/184 29938
/proc/meminfo: memFree=18987008/36427776 swapFree=2992/6912
[pid=29938] ppid=29936 vsize=28256 CPUtime=0.7
/proc/29938/stat : 29938 (ttsth-5-0) R 29936 29938 15497 0 -1 4202496 6804 0 0 0 66 4 0 0 20 0 1 0 657285849 28934144 6760 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134540092 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/29938/statm: 7064 6760 76 177 0 6886 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 28256

[startup+1.50035 s]
/proc/loadavg: 15.33 15.09 13.33 2/185 29939
/proc/meminfo: memFree=18959808/36427776 swapFree=3540/36420
[pid=29938] ppid=29936 vsize=30160 CPUtime=1.48
/proc/29938/stat : 29938 (ttsth-5-0) R 29936 29938 15497 0 -1 4202496 8086 0 0 0 144 4 0 0 20 0 1 0 657285849 30883840 7412 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134523928 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/29938/statm: 7540 7412 83 177 0 7362 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 30160

[startup+3.1029 s]
/proc/loadavg: 14.18 14.86 13.27 2/185 29939
/proc/meminfo: memFree=18923496/36427776 swapFree=4664/72412
[pid=29938] ppid=29936 vsize=218696 CPUtime=10.75
/proc/29938/stat : 29938 (ttsth-5-0) S 29936 29938 15497 0 -1 4202496 22669 0 0 0 492 583 0 0 20 0 17 0 657285849 223944704 21679 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/29938/statm: 54674 21679 95 177 0 54496 0
Current children cumulated CPU time (s) 10.75
Current children cumulated vsize (KiB) 218696

[startup+6.30552 s]
/proc/loadavg: 14.18 14.86 13.27 17/201 29955
/proc/meminfo: memFree=18880172/36427776 swapFree=4692/116836
[pid=29938] ppid=29936 vsize=256548 CPUtime=60.91
/proc/29938/stat : 29938 (ttsth-5-0) S 29936 29938 15497 0 -1 4202496 31805 0 0 0 3584 2507 0 0 20 0 17 0 657285849 262705152 30815 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/29938/statm: 64137 30815 95 177 0 63959 0
[pid=29938/tid=29940] ppid=29936 vsize=256548 CPUtime=3.78
/proc/29938/task/29940/stat : 29940 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 1250 0 0 0 350 28 0 0 20 0 17 0 657286104 262705152 30816 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29938/tid=29941] ppid=29936 vsize=256548 CPUtime=3.62
/proc/29938/task/29941/stat : 29941 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 878 0 0 0 214 148 0 0 20 0 17 0 657286104 262705152 30816 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29938/tid=29942] ppid=29936 vsize=256548 CPUtime=3.62
/proc/29938/task/29942/stat : 29942 (ttsth-5-0) S 29936 29938 15497 0 -1 4202560 825 0 0 0 204 158 0 0 20 0 17 0 657286104 262705152 30816 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=29938/tid=29943] ppid=29936 vsize=256548 CPUtime=3.64
/proc/29938/task/29943/stat : 29943 (ttsth-5-0) S 29936 29938 15497 0 -1 4202560 917 0 0 0 212 152 0 0 20 0 17 0 657286104 262705152 30816 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=29938/tid=29944] ppid=29936 vsize=256548 CPUtime=3.64
/proc/29938/task/29944/stat : 29944 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 480 0 0 0 196 168 0 0 20 0 17 0 657286104 262705152 30817 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134680285 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29938/tid=29945] ppid=29936 vsize=256548 CPUtime=3.66
/proc/29938/task/29945/stat : 29945 (ttsth-5-0) S 29936 29938 15497 0 -1 4202560 1008 0 0 0 214 152 0 0 20 0 17 0 657286104 262705152 30817 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=29938/tid=29946] ppid=29936 vsize=256548 CPUtime=3.64
/proc/29938/task/29946/stat : 29946 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 393 0 0 0 192 172 0 0 20 0 17 0 657286104 262705152 30817 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29938/tid=29947] ppid=29936 vsize=256548 CPUtime=3.64
/proc/29938/task/29947/stat : 29947 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 394 0 0 0 190 174 0 0 20 0 17 0 657286104 262705152 30817 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29938/tid=29948] ppid=29936 vsize=256548 CPUtime=3.64
/proc/29938/task/29948/stat : 29948 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 715 0 0 0 200 164 0 0 20 0 17 0 657286104 262705152 30817 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29938/tid=29949] ppid=29936 vsize=256548 CPUtime=3.62
/proc/29938/task/29949/stat : 29949 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 641 0 0 0 200 162 0 0 20 0 17 0 657286104 262705152 30817 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134680502 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29938/tid=29950] ppid=29936 vsize=256548 CPUtime=3.64
/proc/29938/task/29950/stat : 29950 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 812 0 0 0 218 146 0 0 20 0 17 0 657286104 262705152 30817 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134591529 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29938/tid=29951] ppid=29936 vsize=256548 CPUtime=3.64
/proc/29938/task/29951/stat : 29951 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 621 0 0 0 190 174 0 0 20 0 17 0 657286104 262705152 30817 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29938/tid=29952] ppid=29936 vsize=256548 CPUtime=3.62
/proc/29938/task/29952/stat : 29952 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 529 0 0 0 176 186 0 0 20 0 17 0 657286104 262705152 30817 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134591177 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29938/tid=29953] ppid=29936 vsize=256548 CPUtime=3.58
/proc/29938/task/29953/stat : 29953 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 489 0 0 0 178 180 0 0 20 0 17 0 657286104 262705152 30817 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29938/tid=29954] ppid=29936 vsize=256548 CPUtime=3.64
/proc/29938/task/29954/stat : 29954 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 771 0 0 0 200 164 0 0 20 0 17 0 657286105 262705152 30818 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29938/tid=29955] ppid=29936 vsize=256548 CPUtime=3.62
/proc/29938/task/29955/stat : 29955 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 595 0 0 0 196 166 0 0 20 0 17 0 657286105 262705152 30818 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 60.91
Current children cumulated vsize (KiB) 256548

[startup+12.7062 s]
/proc/loadavg: 14.46 14.90 13.30 17/201 29955
/proc/meminfo: memFree=18792252/36427776 swapFree=4692/205328
[pid=29938] ppid=29936 vsize=346184 CPUtime=161.39
/proc/29938/stat : 29938 (ttsth-5-0) S 29936 29938 15497 0 -1 4202496 53202 0 0 0 11013 5126 0 0 20 0 17 0 657285849 354492416 52212 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/29938/statm: 86546 52212 95 177 0 86368 0
[pid=29938/tid=29940] ppid=29936 vsize=346184 CPUtime=10.16
/proc/29938/task/29940/stat : 29940 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 2490 0 0 0 988 28 0 0 20 0 17 0 657286104 354492416 52212 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29938/tid=29941] ppid=29936 vsize=346184 CPUtime=9.9
/proc/29938/task/29941/stat : 29941 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 2684 0 0 0 650 340 0 0 20 0 17 0 657286104 354492416 52212 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134591065 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29938/tid=29942] ppid=29936 vsize=346184 CPUtime=9.9
/proc/29938/task/29942/stat : 29942 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 2229 0 0 0 656 334 0 0 20 0 17 0 657286104 354492416 52212 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29938/tid=29943] ppid=29936 vsize=346184 CPUtime=9.94
/proc/29938/task/29943/stat : 29943 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 2487 0 0 0 684 310 0 0 20 0 17 0 657286104 354492416 52212 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29938/tid=29944] ppid=29936 vsize=346184 CPUtime=9.94
/proc/29938/task/29944/stat : 29944 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 1986 0 0 0 662 332 0 0 20 0 17 0 657286104 354492416 52212 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29938/tid=29945] ppid=29936 vsize=346184 CPUtime=9.96
/proc/29938/task/29945/stat : 29945 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 2449 0 0 0 684 312 0 0 20 0 17 0 657286104 354492416 52212 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29938/tid=29946] ppid=29936 vsize=346184 CPUtime=9.92
/proc/29938/task/29946/stat : 29946 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 1400 0 0 0 654 338 0 0 20 0 17 0 657286104 354492416 52212 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134590248 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29938/tid=29947] ppid=29936 vsize=346184 CPUtime=9.96
/proc/29938/task/29947/stat : 29947 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 1289 0 0 0 672 324 0 0 20 0 17 0 657286104 354492416 52212 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134680290 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29938/tid=29948] ppid=29936 vsize=346184 CPUtime=9.94
/proc/29938/task/29948/stat : 29948 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 2066 0 0 0 654 340 0 0 20 0 17 0 657286104 354492416 52212 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29938/tid=29949] ppid=29936 vsize=346184 CPUtime=9.9
/proc/29938/task/29949/stat : 29949 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 1921 0 0 0 662 328 0 0 20 0 17 0 657286104 354492416 52213 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29938/tid=29950] ppid=29936 vsize=346184 CPUtime=9.96
/proc/29938/task/29950/stat : 29950 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 2243 0 0 0 680 316 0 0 20 0 17 0 657286104 354492416 52213 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134680506 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29938/tid=29951] ppid=29936 vsize=346184 CPUtime=9.9
/proc/29938/task/29951/stat : 29951 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 2131 0 0 0 632 358 0 0 20 0 17 0 657286104 354492416 52213 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29938/tid=29952] ppid=29936 vsize=346184 CPUtime=9.84
/proc/29938/task/29952/stat : 29952 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 1918 0 0 0 596 388 0 0 20 0 17 0 657286104 354492416 52213 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29938/tid=29953] ppid=29936 vsize=346184 CPUtime=9.7
/proc/29938/task/29953/stat : 29953 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 1169 0 0 0 598 372 0 0 20 0 17 0 657286104 354492416 52213 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29938/tid=29954] ppid=29936 vsize=346184 CPUtime=9.9
/proc/29938/task/29954/stat : 29954 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 2321 0 0 0 650 340 0 0 20 0 17 0 657286105 354492416 52214 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29938/tid=29955] ppid=29936 vsize=346184 CPUtime=9.9
/proc/29938/task/29955/stat : 29955 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 1931 0 0 0 640 350 0 0 20 0 17 0 657286105 354492416 52214 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 161.39
Current children cumulated vsize (KiB) 346184

[startup+25.5045 s]
/proc/loadavg: 14.70 14.93 13.32 17/201 29955
/proc/meminfo: memFree=18582248/36427776 swapFree=4692/415096
[pid=29938] ppid=29936 vsize=562432 CPUtime=363.69
/proc/29938/stat : 29938 (ttsth-5-0) S 29936 29938 15497 0 -1 4202496 104145 0 0 0 28979 7390 0 0 20 0 17 0 657285849 575930368 103155 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/29938/statm: 140608 103155 95 177 0 140430 0
[pid=29938/tid=29940] ppid=29936 vsize=562432 CPUtime=22.9
/proc/29938/task/29940/stat : 29940 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 4390 0 0 0 2260 30 0 0 20 0 17 0 657286104 575930368 103155 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134587943 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29938/tid=29941] ppid=29936 vsize=562432 CPUtime=22.56
/proc/29938/task/29941/stat : 29941 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 6541 0 0 0 1772 484 0 0 20 0 17 0 657286104 575930368 103157 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29938/tid=29942] ppid=29936 vsize=562432 CPUtime=22.56
/proc/29938/task/29942/stat : 29942 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 5534 0 0 0 1790 466 0 0 20 0 17 0 657286104 575930368 103157 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29938/tid=29943] ppid=29936 vsize=562432 CPUtime=22.62
/proc/29938/task/29943/stat : 29943 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 6979 0 0 0 1820 442 0 0 20 0 17 0 657286104 575930368 103157 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29938/tid=29944] ppid=29936 vsize=562432 CPUtime=22.58
/proc/29938/task/29944/stat : 29944 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 4070 0 0 0 1766 492 0 0 20 0 17 0 657286104 575930368 103157 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29938/tid=29945] ppid=29936 vsize=562432 CPUtime=22.64
/proc/29938/task/29945/stat : 29945 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 5524 0 0 0 1800 464 0 0 20 0 17 0 657286104 575930368 103157 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29938/tid=29946] ppid=29936 vsize=562432 CPUtime=22.58
/proc/29938/task/29946/stat : 29946 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 3622 0 0 0 1766 492 0 0 20 0 17 0 657286104 575930368 103157 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29938/tid=29947] ppid=29936 vsize=562432 CPUtime=22.64
/proc/29938/task/29947/stat : 29947 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 3325 0 0 0 1796 468 0 0 20 0 17 0 657286104 575930368 103157 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29938/tid=29948] ppid=29936 vsize=562432 CPUtime=22.62
/proc/29938/task/29948/stat : 29948 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 6059 0 0 0 1770 492 0 0 20 0 17 0 657286104 575930368 103157 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29938/tid=29949] ppid=29936 vsize=562432 CPUtime=22.56
/proc/29938/task/29949/stat : 29949 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 4918 0 0 0 1784 472 0 0 20 0 17 0 657286104 575930368 103157 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134562355 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29938/tid=29950] ppid=29936 vsize=562432 CPUtime=22.62
/proc/29938/task/29950/stat : 29950 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 6119 0 0 0 1804 458 0 0 20 0 17 0 657286104 575930368 103157 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29938/tid=29951] ppid=29936 vsize=562432 CPUtime=22.54
/proc/29938/task/29951/stat : 29951 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 6234 0 0 0 1742 512 0 0 20 0 17 0 657286104 575930368 103157 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29938/tid=29952] ppid=29936 vsize=562432 CPUtime=22.44
/proc/29938/task/29952/stat : 29952 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 4577 0 0 0 1684 560 0 0 20 0 17 0 657286104 575930368 103157 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29938/tid=29953] ppid=29936 vsize=562432 CPUtime=22.06
/proc/29938/task/29953/stat : 29953 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 3369 0 0 0 1654 552 0 0 20 0 17 0 657286104 575930368 103157 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29938/tid=29954] ppid=29936 vsize=562432 CPUtime=22.54
/proc/29938/task/29954/stat : 29954 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 6185 0 0 0 1756 498 0 0 20 0 17 0 657286105 575930368 103157 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29938/tid=29955] ppid=29936 vsize=562432 CPUtime=22.52
/proc/29938/task/29955/stat : 29955 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 6213 0 0 0 1760 492 0 0 20 0 17 0 657286105 575930368 103157 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 363.69
Current children cumulated vsize (KiB) 562432

[startup+51.1025 s]
/proc/loadavg: 15.20 15.03 13.40 17/201 29955
/proc/meminfo: memFree=18183188/36427776 swapFree=4692/813652
[pid=29938] ppid=29936 vsize=991200 CPUtime=770.27
/proc/29938/stat : 29938 (ttsth-5-0) S 29936 29938 15497 0 -1 4202496 204651 0 0 0 67278 9749 0 0 20 0 17 0 657285849 1014988800 203661 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/29938/statm: 247800 203661 95 177 0 247622 0
[pid=29938/tid=29940] ppid=29936 vsize=991200 CPUtime=48.49
/proc/29938/task/29940/stat : 29940 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 7055 0 0 0 4815 34 0 0 20 0 17 0 657286104 1014988800 203661 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29938/tid=29941] ppid=29936 vsize=991200 CPUtime=47.98
/proc/29938/task/29941/stat : 29941 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 14140 0 0 0 4148 650 0 0 20 0 17 0 657286104 1014988800 203661 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134590938 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29938/tid=29942] ppid=29936 vsize=991200 CPUtime=47.99
/proc/29938/task/29942/stat : 29942 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 11523 0 0 0 4173 626 0 0 20 0 17 0 657286104 1014988800 203661 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134551002 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29938/tid=29943] ppid=29936 vsize=991200 CPUtime=48.08
/proc/29938/task/29943/stat : 29943 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 13693 0 0 0 4212 596 0 0 20 0 17 0 657286104 1014988800 203661 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29938/tid=29944] ppid=29936 vsize=991200 CPUtime=48.01
/proc/29938/task/29944/stat : 29944 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 8935 0 0 0 4147 654 0 0 20 0 17 0 657286104 1014988800 203661 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134590270 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29938/tid=29945] ppid=29936 vsize=991200 CPUtime=48.11
/proc/29938/task/29945/stat : 29945 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 9962 0 0 0 4203 608 0 0 20 0 17 0 657286104 1014988800 203661 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134591177 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29938/tid=29946] ppid=29936 vsize=991200 CPUtime=48.02
/proc/29938/task/29946/stat : 29946 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 8229 0 0 0 4146 656 0 0 20 0 17 0 657286104 1014988800 203661 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29938/tid=29947] ppid=29936 vsize=991200 CPUtime=48.11
/proc/29938/task/29947/stat : 29947 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 7065 0 0 0 4185 626 0 0 20 0 17 0 657286104 1014988800 203661 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29938/tid=29948] ppid=29936 vsize=991200 CPUtime=48.08
/proc/29938/task/29948/stat : 29948 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 12848 0 0 0 4180 628 0 0 20 0 17 0 657286104 1014988800 203661 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134589550 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29938/tid=29949] ppid=29936 vsize=991200 CPUtime=48.01
/proc/29938/task/29949/stat : 29949 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 10682 0 0 0 4177 624 0 0 20 0 17 0 657286104 1014988800 203661 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134590777 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29938/tid=29950] ppid=29936 vsize=991200 CPUtime=48.1
/proc/29938/task/29950/stat : 29950 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 14364 0 0 0 4228 582 0 0 20 0 17 0 657286104 1014988800 203661 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29938/tid=29951] ppid=29936 vsize=991200 CPUtime=48
/proc/29938/task/29951/stat : 29951 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 16500 0 0 0 4152 648 0 0 20 0 17 0 657286104 1014988800 203661 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134758964 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29938/tid=29952] ppid=29936 vsize=991200 CPUtime=47.8
/proc/29938/task/29952/stat : 29952 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 11913 0 0 0 4024 756 0 0 20 0 17 0 657286104 1014988800 203662 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29938/tid=29953] ppid=29936 vsize=991200 CPUtime=46.92
/proc/29938/task/29953/stat : 29953 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 9592 0 0 0 3934 758 0 0 20 0 17 0 657286104 1014988800 203662 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29938/tid=29954] ppid=29936 vsize=991200 CPUtime=47.99
/proc/29938/task/29954/stat : 29954 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 14940 0 0 0 4141 658 0 0 20 0 17 0 657286105 1014988800 203662 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134680374 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29938/tid=29955] ppid=29936 vsize=991200 CPUtime=47.94
/proc/29938/task/29955/stat : 29955 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 12722 0 0 0 4164 630 0 0 20 0 17 0 657286105 1014988800 203662 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 770.27
Current children cumulated vsize (KiB) 991200

[startup+102.312 s]
/proc/loadavg: 15.64 15.18 13.54 17/201 29955
/proc/meminfo: memFree=17456864/36427776 swapFree=4692/1539596
[pid=29938] ppid=29936 vsize=1757540 CPUtime=1585.9
/proc/29938/stat : 29938 (ttsth-5-0) S 29936 29938 15497 0 -1 4202496 384397 0 0 0 146647 11943 0 0 20 0 17 0 657285849 1799720960 383407 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/29938/statm: 439385 383407 95 177 0 439207 0
[pid=29938/tid=29940] ppid=29936 vsize=1757540 CPUtime=99.7
/proc/29938/task/29940/stat : 29940 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 15465 0 0 0 9920 50 0 0 20 0 17 0 657286104 1799720960 383407 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29938/tid=29941] ppid=29936 vsize=1757540 CPUtime=98.98
/proc/29938/task/29941/stat : 29941 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 27498 0 0 0 9116 782 0 0 20 0 17 0 657286104 1799720960 383407 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29938/tid=29942] ppid=29936 vsize=1757540 CPUtime=99.02
/proc/29938/task/29942/stat : 29942 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 22743 0 0 0 9150 752 0 0 20 0 17 0 657286104 1799720960 383407 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29938/tid=29943] ppid=29936 vsize=1757540 CPUtime=99.11
/proc/29938/task/29943/stat : 29943 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 24299 0 0 0 9159 752 0 0 20 0 17 0 657286104 1799720960 383407 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134519949 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29938/tid=29944] ppid=29936 vsize=1757540 CPUtime=99.01
/proc/29938/task/29944/stat : 29944 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 22012 0 0 0 9085 816 0 0 20 0 17 0 657286104 1799720960 383407 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134680727 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29938/tid=29945] ppid=29936 vsize=1757540 CPUtime=99.18
/proc/29938/task/29945/stat : 29945 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 21014 0 0 0 9178 740 0 0 20 0 17 0 657286104 1799720960 383407 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29938/tid=29946] ppid=29936 vsize=1757540 CPUtime=99.03
/proc/29938/task/29946/stat : 29946 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 16933 0 0 0 9077 826 0 0 20 0 17 0 657286104 1799720960 383407 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29938/tid=29947] ppid=29936 vsize=1757540 CPUtime=99.14
/proc/29938/task/29947/stat : 29947 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 12408 0 0 0 9164 750 0 0 20 0 17 0 657286104 1799720960 383408 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29938/tid=29948] ppid=29936 vsize=1757540 CPUtime=99.14
/proc/29938/task/29948/stat : 29948 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 23299 0 0 0 9162 752 0 0 20 0 17 0 657286104 1799720960 383408 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134591065 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29938/tid=29949] ppid=29936 vsize=1757540 CPUtime=99.04
/proc/29938/task/29949/stat : 29949 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 20376 0 0 0 9142 762 0 0 20 0 17 0 657286104 1799720960 383408 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134561549 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29938/tid=29950] ppid=29936 vsize=1757540 CPUtime=99.2
/proc/29938/task/29950/stat : 29950 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 28787 0 0 0 9234 686 0 0 20 0 17 0 657286104 1799720960 383408 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29938/tid=29951] ppid=29936 vsize=1757540 CPUtime=99.04
/proc/29938/task/29951/stat : 29951 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 31189 0 0 0 9100 804 0 0 20 0 17 0 657286104 1799720960 383408 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29938/tid=29952] ppid=29936 vsize=1757540 CPUtime=98.75
/proc/29938/task/29952/stat : 29952 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 22698 0 0 0 8937 938 0 0 20 0 17 0 657286104 1799720960 383408 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29938/tid=29953] ppid=29936 vsize=1757540 CPUtime=96.89
/proc/29938/task/29953/stat : 29953 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 21282 0 0 0 8773 916 0 0 20 0 17 0 657286104 1799720960 383408 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29938/tid=29954] ppid=29936 vsize=1757540 CPUtime=99.01
/proc/29938/task/29954/stat : 29954 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 28696 0 0 0 9081 820 0 0 20 0 17 0 657286105 1799720960 383408 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134562281 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29938/tid=29955] ppid=29936 vsize=1757540 CPUtime=98.96
/proc/29938/task/29955/stat : 29955 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 25210 0 0 0 9116 780 0 0 20 0 17 0 657286105 1799720960 383408 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134562290 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1585.9
Current children cumulated vsize (KiB) 1757540



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+129.201 s]
/proc/loadavg: 15.76 15.24 13.61 17/201 29960
/proc/meminfo: memFree=17136148/36427776 swapFree=4692/1858952
[pid=29938] ppid=29936 vsize=2096388 CPUtime=1990.21
/proc/29938/stat : 29938 (ttsth-5-0) S 29936 29938 15497 0 -1 4202496 463811 0 0 0 186366 12655 0 0 20 0 17 0 657285849 2146701312 462821 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/29938/statm: 524097 462821 95 177 0 523919 0
[pid=29938/tid=29940] ppid=29936 vsize=2096388 CPUtime=126.54
/proc/29938/task/29940/stat : 29940 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 20261 0 0 0 12594 60 0 0 20 0 17 0 657286104 2146701312 462822 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29938/tid=29941] ppid=29936 vsize=2096388 CPUtime=124.95
/proc/29938/task/29941/stat : 29941 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 33034 0 0 0 11661 834 0 0 20 0 17 0 657286104 2146701312 462822 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29938/tid=29942] ppid=29936 vsize=2096388 CPUtime=125.79
/proc/29938/task/29942/stat : 29942 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 27556 0 0 0 11785 794 0 0 20 0 17 0 657286104 2146701312 462822 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29938/tid=29943] ppid=29936 vsize=2096388 CPUtime=119.28
/proc/29938/task/29943/stat : 29943 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 27751 0 0 0 11134 794 0 0 20 0 17 0 657286104 2146701312 462822 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29938/tid=29944] ppid=29936 vsize=2096388 CPUtime=123.66
/proc/29938/task/29944/stat : 29944 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 27865 0 0 0 11500 866 0 0 20 0 17 0 657286104 2146701312 462822 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29938/tid=29945] ppid=29936 vsize=2096388 CPUtime=125.97
/proc/29938/task/29945/stat : 29945 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 24717 0 0 0 11817 780 0 0 20 0 17 0 657286104 2146701312 462823 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29938/tid=29946] ppid=29936 vsize=2096388 CPUtime=125.73
/proc/29938/task/29946/stat : 29946 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 20510 0 0 0 11683 890 0 0 20 0 17 0 657286104 2146701312 462823 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29938/tid=29947] ppid=29936 vsize=2096388 CPUtime=123.7
/proc/29938/task/29947/stat : 29947 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 15438 0 0 0 11576 794 0 0 20 0 17 0 657286104 2146701312 462823 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29938/tid=29948] ppid=29936 vsize=2096388 CPUtime=125.87
/proc/29938/task/29948/stat : 29948 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 29212 0 0 0 11785 802 0 0 20 0 17 0 657286104 2146701312 462824 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29938/tid=29949] ppid=29936 vsize=2096388 CPUtime=125.77
/proc/29938/task/29949/stat : 29949 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 24264 0 0 0 11781 796 0 0 20 0 17 0 657286104 2146701312 462824 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29938/tid=29950] ppid=29936 vsize=2096388 CPUtime=125.94
/proc/29938/task/29950/stat : 29950 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 34536 0 0 0 11868 726 0 0 20 0 17 0 657286104 2146701312 462824 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29938/tid=29951] ppid=29936 vsize=2096388 CPUtime=124.66
/proc/29938/task/29951/stat : 29951 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 38213 0 0 0 11614 852 0 0 20 0 17 0 657286104 2146701312 462825 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29938/tid=29952] ppid=29936 vsize=2096388 CPUtime=118.76
/proc/29938/task/29952/stat : 29952 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 26316 0 0 0 10890 986 0 0 20 0 17 0 657286104 2146701312 462825 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29938/tid=29953] ppid=29936 vsize=2096388 CPUtime=119.47
/proc/29938/task/29953/stat : 29953 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 26827 0 0 0 10981 966 0 0 20 0 17 0 657286104 2146701312 462825 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29938/tid=29954] ppid=29936 vsize=2096388 CPUtime=125.68
/proc/29938/task/29954/stat : 29954 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 35503 0 0 0 11690 878 0 0 20 0 17 0 657286105 2146701312 462825 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29938/tid=29955] ppid=29936 vsize=2096388 CPUtime=125.73
/proc/29938/task/29955/stat : 29955 (ttsth-5-0) R 29936 29938 15497 0 -1 4202560 31322 0 0 0 11751 822 0 0 20 0 17 0 657286105 2146701312 462825 18446744073709551615 134512640 135237372 4291832800 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1990.21
Current children cumulated vsize (KiB) 2096388

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

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

[startup+129.403 s]
/proc/loadavg: 15.76 15.24 13.61 17/201 29960
/proc/meminfo: memFree=17136148/36427776 swapFree=4692/1858952
[pid=29938] ppid=29936 vsize=0 CPUtime=1990.58
/proc/29938/stat : 29938 (ttsth-5-0) Z 29936 29938 15497 0 -1 4203532 463857 0 0 0 186382 12676 0 0 20 0 2 0 657285849 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/29938/statm: 0 0 0 0 0 0 0
[pid=29938/tid=29947] ppid=29936 vsize=0 CPUtime=123.86
/proc/29938/task/29947/stat : 29947 (ttsth-5-0) R 29936 29938 15497 0 -1 4203588 15438 0 0 0 11576 810 0 0 20 0 2 0 657286104 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1990.58
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 129.417
CPU time (s): 1990.6
CPU user time (s): 1863.83
CPU system time (s): 126.776
CPU usage (%): 1538.13
Max. virtual memory (cumulated for all children) (KiB): 2096388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1863.83
system time used= 126.776
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 463857
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= 125690
involuntary context switches= 4709

runsolver used 0.680042 second user time and 1.83611 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 13:43:15
IDJOB=1780965
IDBENCH=71083
IDSOLVER=634
FILE ID=xenhost3-49/1780965-1244979795
PBS_JOBID=
Free space on /tmp= 7019 MiB

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

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

MD5SUM BENCH= 4607e45ceb8682e35172b7d697608fbf
RANDOM SEED= 1615737296

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:      18987452 kB
Buffers:        524820 kB
Cached:       14121316 kB
SwapCached:          0 kB
Active:        4170040 kB
Inactive:     10483684 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            4020 kB
Writeback:           0 kB
AnonPages:        6912 kB
Mapped:           2992 kB
Slab:           733548 kB
SReclaimable:   706680 kB
SUnreclaim:      26868 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29496 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7019 MiB
End job on xenhost3-49 at 2009-06-14 13:45:26