Trace number 1780815

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) 1957.31 126.519

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
ndhf_xits_12_UNSAT.cnf
MD5SUMecc4810d82e30597ea8451526243ec09
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2522
Number of clauses243459
Sum of the clauses size726523
Maximum clause length13
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 24164
Number of clauses of size 3239264
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 531

Solver Data 

0.20/0.28	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1780815-1244978538.cnf 
0.20/0.28	c Using SATTIMEOUT of 10000
0.20/0.28	c Using SATRAM of 2047
0.20/0.28	c Size of subset node = 16
0.20/0.28	c Variables = 2522
0.20/0.28	c Clauses = 243459
0.20/0.28	c Literals = 726523
0.20/0.28	c Reduced size:
0.20/0.28	c Variables = 2522
0.20/0.28	c Clauses = 243459
0.20/0.28	c Literals = 726523
0.20/0.28	c a2
0.68/0.73	c a1
1.68/1.70	c Independent sub-problems = 1
1.68/1.70	c Sub-problem with 2522 variables and 243459 clauses
1.68/1.70	c using permutation method 4
1.68/1.70	c count = 1
1.68/1.70	c Ordering finished 1.600 seconds
1.68/1.70	c mapped 1.690 seconds
1.68/1.70	c permuted 1.690 seconds
1.68/1.70	c about to sort
1.68/1.76	c sorted
3.20/3.25	c clauses now 243459
3.20/3.25	c init finished 1.810 seconds
3.20/3.25	c tree built 3.250 seconds
3.20/3.25	c 
3.20/3.25	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
3.20/3.25	c ---------------------------------|----------------------------------|------------------------------------------------------
3.20/3.25	c ................................ | ..........                       |                        3.2           0.0             
3.20/3.25	c ................................ | ..........                     1 |                        3.2           0.3             
3.20/3.25	c ................................ | ..........                     2 |                        3.2           0.6             
3.20/3.25	c ................................ | ..........                     3 |                        3.2           0.9             
3.20/3.25	c ................................ | ..........                     4 |                        3.2           1.2             
3.20/3.25	c ................................ | ..........                     5 |                        3.2           1.5             
3.88/3.40	c ................................ | ..........                  1000 | 33                     4.4         227.8         9593
240.55/18.43	c ................................ | ..........                245000 | 25016                200.4        1222.5     14522801
454.30/31.96	c ................................ | ..........                335000 | 41640                400.5         836.4     28501109
662.26/45.06	c ................................ | ..........                413000 | 56113                601.4         686.7     41935108
867.16/57.92	c ................................ | ..........                505000 | 74512                800.1         631.2     54100112
1070.82/70.76	c ................................ | *.........                636000 | 90412               1000.5         635.7     64703993
1274.90/83.59	c ................................ | *.........                736000 | 101101              1201.8         612.4     74556041
1477.11/96.28	c ................................ | *.........                812000 | 114819              1402.0         579.2     85228516
1678.12/108.87	c ................................ | *.........                894000 | 129230              1601.1         558.4     95000309
1880.22/121.52	c ................................ | *.........                988000 | 145044              1801.0         548.6    103725054

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-1780815-1244978538/watcher-1780815-1244978538 -o /tmp/evaluation-result-1780815-1244978538/solver-1780815-1244978538 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1780815-1244978538.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.54 13.70 8.19 2/184 29368
/proc/meminfo: memFree=18987996/36427776 swapFree=3328/7320
[pid=29368] ppid=29366 vsize=1540 CPUtime=0
/proc/29368/stat : 29368 (ttsth-5-0) R 29366 29368 15497 0 -1 4202496 276 0 0 0 0 0 0 0 20 0 1 0 657160202 1576960 232 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134732614 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/29368/statm: 385 232 75 177 0 207 0

[startup+0.016531 s]
/proc/loadavg: 15.54 13.70 8.19 2/184 29368
/proc/meminfo: memFree=18987996/36427776 swapFree=3328/7320
[pid=29368] ppid=29366 vsize=1936 CPUtime=0
/proc/29368/stat : 29368 (ttsth-5-0) R 29366 29368 15497 0 -1 4202496 376 0 0 0 0 0 0 0 20 0 1 0 657160202 1982464 332 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134732614 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/29368/statm: 484 333 75 177 0 306 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1936

[startup+0.100531 s]
/proc/loadavg: 15.54 13.70 8.19 2/184 29368
/proc/meminfo: memFree=18987996/36427776 swapFree=3328/7320
[pid=29368] ppid=29366 vsize=7100 CPUtime=0.1
/proc/29368/stat : 29368 (ttsth-5-0) R 29366 29368 15497 0 -1 4202496 1650 0 0 0 10 0 0 0 20 0 1 0 657160202 7270400 1606 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134732614 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/29368/statm: 1775 1606 75 177 0 1597 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7100

[startup+0.300604 s]
/proc/loadavg: 15.54 13.70 8.19 2/184 29368
/proc/meminfo: memFree=18987996/36427776 swapFree=3328/7320
[pid=29368] ppid=29366 vsize=20072 CPUtime=0.3
/proc/29368/stat : 29368 (ttsth-5-0) R 29366 29368 15497 0 -1 4202496 4840 0 0 0 28 2 0 0 20 0 1 0 657160202 20553728 4796 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134517150 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/29368/statm: 5018 4796 76 177 0 4840 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 20072

[startup+0.700584 s]
/proc/loadavg: 15.54 13.70 8.19 2/184 29368
/proc/meminfo: memFree=18987996/36427776 swapFree=3328/7320
[pid=29368] ppid=29366 vsize=32712 CPUtime=0.68
/proc/29368/stat : 29368 (ttsth-5-0) R 29366 29368 15497 0 -1 4202496 7644 0 0 0 66 2 0 0 20 0 1 0 657160202 33497088 7599 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134680502 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/29368/statm: 8178 7599 76 177 0 8000 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 32712

[startup+1.50066 s]
/proc/loadavg: 15.54 13.70 8.19 2/185 29369
/proc/meminfo: memFree=18961608/36427776 swapFree=4308/33524
[pid=29368] ppid=29366 vsize=34884 CPUtime=1.48
/proc/29368/stat : 29368 (ttsth-5-0) R 29366 29368 15497 0 -1 4202496 11916 0 0 0 144 4 0 0 20 0 1 0 657160202 35721216 8577 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134600466 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/29368/statm: 8721 8577 77 177 0 8543 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 34884

[startup+3.10079 s]
/proc/loadavg: 14.37 13.48 8.15 2/185 29369
/proc/meminfo: memFree=18927516/36427776 swapFree=4864/67992
[pid=29368] ppid=29366 vsize=88496 CPUtime=3.08
/proc/29368/stat : 29368 (ttsth-5-0) R 29366 29368 15497 0 -1 4202496 25790 0 0 0 302 6 0 0 20 0 1 0 657160202 90619904 21877 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134749343 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/29368/statm: 22124 21877 88 177 0 21946 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 88496

[startup+6.30591 s]
/proc/loadavg: 14.37 13.48 8.15 17/201 29385
/proc/meminfo: memFree=18869200/36427776 swapFree=4692/128116
[pid=29368] ppid=29366 vsize=268732 CPUtime=50.46
/proc/29368/stat : 29368 (ttsth-5-0) S 29366 29368 15497 0 -1 4202496 37904 0 0 0 2619 2427 0 0 20 0 17 0 657160202 275181568 33752 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29368/statm: 67183 33752 95 177 0 67005 0
[pid=29368/tid=29370] ppid=29366 vsize=268732 CPUtime=3.04
/proc/29368/task/29370/stat : 29370 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 2156 0 0 0 286 18 0 0 20 0 17 0 657160528 275181568 33752 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134588270 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29368/tid=29371] ppid=29366 vsize=268732 CPUtime=2.94
/proc/29368/task/29371/stat : 29371 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 687 0 0 0 134 160 0 0 20 0 17 0 657160528 275181568 33752 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29368/tid=29372] ppid=29366 vsize=268732 CPUtime=2.94
/proc/29368/task/29372/stat : 29372 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 644 0 0 0 138 156 0 0 20 0 17 0 657160528 275181568 33752 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29368/tid=29373] ppid=29366 vsize=268732 CPUtime=2.92
/proc/29368/task/29373/stat : 29373 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 419 0 0 0 110 182 0 0 20 0 17 0 657160528 275181568 33752 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29368/tid=29374] ppid=29366 vsize=268732 CPUtime=2.94
/proc/29368/task/29374/stat : 29374 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 494 0 0 0 140 154 0 0 20 0 17 0 657160528 275181568 33752 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29368/tid=29375] ppid=29366 vsize=268732 CPUtime=2.94
/proc/29368/task/29375/stat : 29375 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 490 0 0 0 138 156 0 0 20 0 17 0 657160528 275181568 33752 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29368/tid=29376] ppid=29366 vsize=268732 CPUtime=2.94
/proc/29368/task/29376/stat : 29376 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 622 0 0 0 132 162 0 0 20 0 17 0 657160528 275181568 33752 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29368/tid=29377] ppid=29366 vsize=268732 CPUtime=2.96
/proc/29368/task/29377/stat : 29377 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 503 0 0 0 132 164 0 0 20 0 17 0 657160528 275181568 33752 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29368/tid=29378] ppid=29366 vsize=268732 CPUtime=2.96
/proc/29368/task/29378/stat : 29378 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 1382 0 0 0 128 168 0 0 20 0 17 0 657160528 275181568 33752 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29368/tid=29379] ppid=29366 vsize=268732 CPUtime=2.96
/proc/29368/task/29379/stat : 29379 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 580 0 0 0 150 146 0 0 20 0 17 0 657160528 275181568 33752 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29368/tid=29380] ppid=29366 vsize=268732 CPUtime=2.94
/proc/29368/task/29380/stat : 29380 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 337 0 0 0 148 146 0 0 20 0 17 0 657160528 275181568 33752 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29368/tid=29381] ppid=29366 vsize=268732 CPUtime=2.92
/proc/29368/task/29381/stat : 29381 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 644 0 0 0 140 152 0 0 20 0 17 0 657160528 275181568 33752 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29368/tid=29382] ppid=29366 vsize=268732 CPUtime=2.9
/proc/29368/task/29382/stat : 29382 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 422 0 0 0 120 170 0 0 20 0 17 0 657160528 275181568 33752 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29368/tid=29383] ppid=29366 vsize=268732 CPUtime=2.92
/proc/29368/task/29383/stat : 29383 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 596 0 0 0 128 164 0 0 20 0 17 0 657160528 275181568 33752 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29368/tid=29384] ppid=29366 vsize=268732 CPUtime=2.94
/proc/29368/task/29384/stat : 29384 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 475 0 0 0 136 158 0 0 20 0 17 0 657160528 275181568 33752 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29368/tid=29385] ppid=29366 vsize=268732 CPUtime=2.94
/proc/29368/task/29385/stat : 29385 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 392 0 0 0 138 156 0 0 20 0 17 0 657160528 275181568 33752 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 50.46
Current children cumulated vsize (KiB) 268732

[startup+12.7069 s]
/proc/loadavg: 14.62 13.57 8.23 17/201 29385
/proc/meminfo: memFree=18764416/36427776 swapFree=4692/233976
[pid=29368] ppid=29366 vsize=378616 CPUtime=150.87
/proc/29368/stat : 29368 (ttsth-5-0) S 29366 29368 15497 0 -1 4202496 63748 0 0 0 9692 5395 0 0 20 0 17 0 657160202 387702784 59596 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29368/statm: 94654 59596 95 177 0 94476 0
[pid=29368/tid=29370] ppid=29366 vsize=378616 CPUtime=9.4
/proc/29368/task/29370/stat : 29370 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 5678 0 0 0 920 20 0 0 20 0 17 0 657160528 387702784 59596 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29368/tid=29371] ppid=29366 vsize=378616 CPUtime=9.22
/proc/29368/task/29371/stat : 29371 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 3060 0 0 0 560 362 0 0 20 0 17 0 657160528 387702784 59596 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29368/tid=29372] ppid=29366 vsize=378616 CPUtime=9.24
/proc/29368/task/29372/stat : 29372 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 2396 0 0 0 580 344 0 0 20 0 17 0 657160528 387702784 59596 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29368/tid=29373] ppid=29366 vsize=378616 CPUtime=9.14
/proc/29368/task/29373/stat : 29373 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 2242 0 0 0 472 442 0 0 20 0 17 0 657160528 387702784 59596 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29368/tid=29374] ppid=29366 vsize=378616 CPUtime=9.24
/proc/29368/task/29374/stat : 29374 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 1372 0 0 0 592 332 0 0 20 0 17 0 657160528 387702784 59596 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29368/tid=29375] ppid=29366 vsize=378616 CPUtime=9.22
/proc/29368/task/29375/stat : 29375 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 1647 0 0 0 566 356 0 0 20 0 17 0 657160528 387702784 59596 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29368/tid=29376] ppid=29366 vsize=378616 CPUtime=9.22
/proc/29368/task/29376/stat : 29376 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 1857 0 0 0 566 356 0 0 20 0 17 0 657160528 387702784 59596 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29368/tid=29377] ppid=29366 vsize=378616 CPUtime=9.24
/proc/29368/task/29377/stat : 29377 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 2810 0 0 0 574 350 0 0 20 0 17 0 657160528 387702784 59596 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29368/tid=29378] ppid=29366 vsize=378616 CPUtime=9.28
/proc/29368/task/29378/stat : 29378 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 4101 0 0 0 548 380 0 0 20 0 17 0 657160528 387702784 59596 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29368/tid=29379] ppid=29366 vsize=378616 CPUtime=9.26
/proc/29368/task/29379/stat : 29379 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 1828 0 0 0 592 334 0 0 20 0 17 0 657160528 387702784 59596 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29368/tid=29380] ppid=29366 vsize=378616 CPUtime=9.2
/proc/29368/task/29380/stat : 29380 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 1240 0 0 0 578 342 0 0 20 0 17 0 657160528 387702784 59596 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29368/tid=29381] ppid=29366 vsize=378616 CPUtime=9.2
/proc/29368/task/29381/stat : 29381 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 1876 0 0 0 590 330 0 0 20 0 17 0 657160528 387702784 59596 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29368/tid=29382] ppid=29366 vsize=378616 CPUtime=9.04
/proc/29368/task/29382/stat : 29382 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 1596 0 0 0 534 370 0 0 20 0 17 0 657160528 387702784 59596 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29368/tid=29383] ppid=29366 vsize=378616 CPUtime=9.18
/proc/29368/task/29383/stat : 29383 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 2181 0 0 0 530 388 0 0 20 0 17 0 657160528 387702784 59596 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29368/tid=29384] ppid=29366 vsize=378616 CPUtime=9.22
/proc/29368/task/29384/stat : 29384 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 1446 0 0 0 604 318 0 0 20 0 17 0 657160528 387702784 59596 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29368/tid=29385] ppid=29366 vsize=378616 CPUtime=9.2
/proc/29368/task/29385/stat : 29385 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 1357 0 0 0 562 358 0 0 20 0 17 0 657160528 387702784 59596 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 150.87
Current children cumulated vsize (KiB) 378616

[startup+25.5026 s]
/proc/loadavg: 14.84 13.65 8.31 17/201 29385
/proc/meminfo: memFree=18525692/36427776 swapFree=4692/472084
[pid=29368] ppid=29366 vsize=625352 CPUtime=352.85
/proc/29368/stat : 29368 (ttsth-5-0) S 29366 29368 15497 0 -1 4202496 121556 0 0 0 26372 8913 0 0 20 0 17 0 657160202 640360448 117404 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29368/statm: 156338 117404 95 177 0 156160 0
[pid=29368/tid=29370] ppid=29366 vsize=625352 CPUtime=22.18
/proc/29368/task/29370/stat : 29370 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 14930 0 0 0 2186 32 0 0 20 0 17 0 657160528 640360448 117404 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134562444 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29368/tid=29371] ppid=29366 vsize=625352 CPUtime=21.86
/proc/29368/task/29371/stat : 29371 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 7186 0 0 0 1590 596 0 0 20 0 17 0 657160528 640360448 117404 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29368/tid=29372] ppid=29366 vsize=625352 CPUtime=21.9
/proc/29368/task/29372/stat : 29372 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 5092 0 0 0 1640 550 0 0 20 0 17 0 657160528 640360448 117404 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29368/tid=29373] ppid=29366 vsize=625352 CPUtime=21.72
/proc/29368/task/29373/stat : 29373 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 6463 0 0 0 1420 752 0 0 20 0 17 0 657160528 640360448 117404 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29368/tid=29374] ppid=29366 vsize=625352 CPUtime=21.88
/proc/29368/task/29374/stat : 29374 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 3187 0 0 0 1618 570 0 0 20 0 17 0 657160528 640360448 117404 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29368/tid=29375] ppid=29366 vsize=625352 CPUtime=21.86
/proc/29368/task/29375/stat : 29375 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 5846 0 0 0 1598 588 0 0 20 0 17 0 657160528 640360448 117404 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29368/tid=29376] ppid=29366 vsize=625352 CPUtime=21.86
/proc/29368/task/29376/stat : 29376 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 5185 0 0 0 1624 562 0 0 20 0 17 0 657160528 640360448 117404 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29368/tid=29377] ppid=29366 vsize=625352 CPUtime=21.9
/proc/29368/task/29377/stat : 29377 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 6656 0 0 0 1590 600 0 0 20 0 17 0 657160528 640360448 117404 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29368/tid=29378] ppid=29366 vsize=625352 CPUtime=21.94
/proc/29368/task/29378/stat : 29378 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 10316 0 0 0 1574 620 0 0 20 0 17 0 657160528 640360448 117404 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29368/tid=29379] ppid=29366 vsize=625352 CPUtime=21.92
/proc/29368/task/29379/stat : 29379 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 4182 0 0 0 1642 550 0 0 20 0 17 0 657160528 640360448 117404 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134549873 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29368/tid=29380] ppid=29366 vsize=625352 CPUtime=21.78
/proc/29368/task/29380/stat : 29380 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 2835 0 0 0 1584 594 0 0 20 0 17 0 657160528 640360448 117404 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134590235 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29368/tid=29381] ppid=29366 vsize=625352 CPUtime=21.82
/proc/29368/task/29381/stat : 29381 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 3961 0 0 0 1630 552 0 0 20 0 17 0 657160528 640360448 117405 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29368/tid=29382] ppid=29366 vsize=625352 CPUtime=21.4
/proc/29368/task/29382/stat : 29382 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 4536 0 0 0 1564 576 0 0 20 0 17 0 657160528 640360448 117405 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29368/tid=29383] ppid=29366 vsize=625352 CPUtime=21.8
/proc/29368/task/29383/stat : 29383 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 5112 0 0 0 1550 630 0 0 20 0 17 0 657160528 640360448 117405 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29368/tid=29384] ppid=29366 vsize=625352 CPUtime=21.82
/proc/29368/task/29384/stat : 29384 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 4080 0 0 0 1644 538 0 0 20 0 17 0 657160528 640360448 117405 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29368/tid=29385] ppid=29366 vsize=625352 CPUtime=21.84
/proc/29368/task/29385/stat : 29385 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 4929 0 0 0 1596 588 0 0 20 0 17 0 657160528 640360448 117405 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 352.85
Current children cumulated vsize (KiB) 625352

[startup+51.1043 s]
/proc/loadavg: 15.23 13.83 8.52 17/201 29385
/proc/meminfo: memFree=18107540/36427776 swapFree=4692/889592
[pid=29368] ppid=29366 vsize=1073884 CPUtime=759.04
/proc/29368/stat : 29368 (ttsth-5-0) S 29366 29368 15497 0 -1 4202496 226779 0 0 0 63895 12009 0 0 20 0 17 0 657160202 1099657216 222627 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29368/statm: 268471 222629 95 177 0 268293 0
[pid=29368/tid=29370] ppid=29366 vsize=1073884 CPUtime=47.78
/proc/29368/task/29370/stat : 29370 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 23892 0 0 0 4736 42 0 0 20 0 17 0 657160528 1099657216 222629 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134562341 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29368/tid=29371] ppid=29366 vsize=1073884 CPUtime=47.29
/proc/29368/task/29371/stat : 29371 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 16780 0 0 0 3937 792 0 0 20 0 17 0 657160528 1099657216 222629 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29368/tid=29372] ppid=29366 vsize=1073884 CPUtime=47.31
/proc/29368/task/29372/stat : 29372 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 12145 0 0 0 3983 748 0 0 20 0 17 0 657160528 1099657216 222629 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29368/tid=29373] ppid=29366 vsize=1073884 CPUtime=47.03
/proc/29368/task/29373/stat : 29373 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 14651 0 0 0 3671 1032 0 0 20 0 17 0 657160528 1099657216 222629 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29368/tid=29374] ppid=29366 vsize=1073884 CPUtime=47.3
/proc/29368/task/29374/stat : 29374 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 8740 0 0 0 3960 770 0 0 20 0 17 0 657160528 1099657216 222630 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29368/tid=29375] ppid=29366 vsize=1073884 CPUtime=47.26
/proc/29368/task/29375/stat : 29375 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 10038 0 0 0 3926 800 0 0 20 0 17 0 657160528 1099657216 222630 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29368/tid=29376] ppid=29366 vsize=1073884 CPUtime=47.27
/proc/29368/task/29376/stat : 29376 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 12377 0 0 0 3955 772 0 0 20 0 17 0 657160528 1099657216 222630 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29368/tid=29377] ppid=29366 vsize=1073884 CPUtime=47.29
/proc/29368/task/29377/stat : 29377 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 14104 0 0 0 3895 834 0 0 20 0 17 0 657160528 1099657216 222630 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29368/tid=29378] ppid=29366 vsize=1073884 CPUtime=47.41
/proc/29368/task/29378/stat : 29378 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 21530 0 0 0 3923 818 0 0 20 0 17 0 657160528 1099657216 222630 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29368/tid=29379] ppid=29366 vsize=1073884 CPUtime=47.37
/proc/29368/task/29379/stat : 29379 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 8706 0 0 0 3993 744 0 0 20 0 17 0 657160528 1099657216 222630 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29368/tid=29380] ppid=29366 vsize=1073884 CPUtime=47.16
/proc/29368/task/29380/stat : 29380 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 6527 0 0 0 3912 804 0 0 20 0 17 0 657160528 1099657216 222631 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29368/tid=29381] ppid=29366 vsize=1073884 CPUtime=47.21
/proc/29368/task/29381/stat : 29381 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 8860 0 0 0 3965 756 0 0 20 0 17 0 657160528 1099657216 222631 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29368/tid=29382] ppid=29366 vsize=1073884 CPUtime=46.34
/proc/29368/task/29382/stat : 29382 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 8715 0 0 0 3886 748 0 0 20 0 17 0 657160528 1099657216 222631 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29368/tid=29383] ppid=29366 vsize=1073884 CPUtime=47.19
/proc/29368/task/29383/stat : 29383 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 10508 0 0 0 3903 816 0 0 20 0 17 0 657160528 1099657216 222631 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29368/tid=29384] ppid=29366 vsize=1073884 CPUtime=47.24
/proc/29368/task/29384/stat : 29384 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 10448 0 0 0 3996 728 0 0 20 0 17 0 657160528 1099657216 222631 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29368/tid=29385] ppid=29366 vsize=1073884 CPUtime=47.26
/proc/29368/task/29385/stat : 29385 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 11700 0 0 0 3936 790 0 0 20 0 17 0 657160528 1099657216 222631 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 759.04
Current children cumulated vsize (KiB) 1073884

[startup+102.316 s]
/proc/loadavg: 15.66 14.18 8.94 17/201 29385
/proc/meminfo: memFree=17410188/36427776 swapFree=4692/1585036
[pid=29368] ppid=29366 vsize=1808256 CPUtime=1574.52
/proc/29368/stat : 29368 (ttsth-5-0) S 29366 29368 15497 0 -1 4202496 398827 0 0 0 142844 14608 0 0 20 0 17 0 657160202 1851654144 394675 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29368/statm: 452064 394675 95 177 0 451886 0
[pid=29368/tid=29370] ppid=29366 vsize=1808256 CPUtime=98.99
/proc/29368/task/29370/stat : 29370 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 36896 0 0 0 9829 70 0 0 20 0 17 0 657160528 1851654144 394675 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29368/tid=29371] ppid=29366 vsize=1808256 CPUtime=98.35
/proc/29368/task/29371/stat : 29371 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 30307 0 0 0 8871 964 0 0 20 0 17 0 657160528 1851654144 394675 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29368/tid=29372] ppid=29366 vsize=1808256 CPUtime=98.34
/proc/29368/task/29372/stat : 29372 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 22002 0 0 0 8938 896 0 0 20 0 17 0 657160528 1851654144 394675 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29368/tid=29373] ppid=29366 vsize=1808256 CPUtime=98.01
/proc/29368/task/29373/stat : 29373 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 31799 0 0 0 8583 1218 0 0 20 0 17 0 657160528 1851654144 394675 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29368/tid=29374] ppid=29366 vsize=1808256 CPUtime=98.33
/proc/29368/task/29374/stat : 29374 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 16069 0 0 0 8899 934 0 0 20 0 17 0 657160528 1851654144 394676 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29368/tid=29375] ppid=29366 vsize=1808256 CPUtime=98.32
/proc/29368/task/29375/stat : 29375 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 25101 0 0 0 8888 944 0 0 20 0 17 0 657160528 1851654144 394676 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29368/tid=29376] ppid=29366 vsize=1808256 CPUtime=98.23
/proc/29368/task/29376/stat : 29376 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 22878 0 0 0 8845 978 0 0 20 0 17 0 657160528 1851654144 394676 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134591065 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29368/tid=29377] ppid=29366 vsize=1808256 CPUtime=98.27
/proc/29368/task/29377/stat : 29377 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 24250 0 0 0 8801 1026 0 0 20 0 17 0 657160528 1851654144 394676 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29368/tid=29378] ppid=29366 vsize=1808256 CPUtime=98.49
/proc/29368/task/29378/stat : 29378 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 35513 0 0 0 8879 970 0 0 20 0 17 0 657160528 1851654144 394676 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29368/tid=29379] ppid=29366 vsize=1808256 CPUtime=98.38
/proc/29368/task/29379/stat : 29379 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 15871 0 0 0 8910 928 0 0 20 0 17 0 657160528 1851654144 394676 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29368/tid=29380] ppid=29366 vsize=1808256 CPUtime=98.12
/proc/29368/task/29380/stat : 29380 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 13369 0 0 0 8820 992 0 0 20 0 17 0 657160528 1851654144 394677 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29368/tid=29381] ppid=29366 vsize=1808256 CPUtime=98.15
/proc/29368/task/29381/stat : 29381 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 15648 0 0 0 8859 956 0 0 20 0 17 0 657160528 1851654144 394677 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29368/tid=29382] ppid=29366 vsize=1808256 CPUtime=96.36
/proc/29368/task/29382/stat : 29382 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 16914 0 0 0 8722 914 0 0 20 0 17 0 657160528 1851654144 394677 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29368/tid=29383] ppid=29366 vsize=1808256 CPUtime=98.18
/proc/29368/task/29383/stat : 29383 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 18923 0 0 0 8836 982 0 0 20 0 17 0 657160528 1851654144 394677 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29368/tid=29384] ppid=29366 vsize=1808256 CPUtime=98.29
/proc/29368/task/29384/stat : 29384 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 25036 0 0 0 8951 878 0 0 20 0 17 0 657160528 1851654144 394677 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134680273 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29368/tid=29385] ppid=29366 vsize=1808256 CPUtime=98.32
/proc/29368/task/29385/stat : 29385 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 21191 0 0 0 8890 942 0 0 20 0 17 0 657160528 1851654144 394677 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1574.52
Current children cumulated vsize (KiB) 1808256



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+126.302 s]
/proc/loadavg: 15.75 14.30 9.09 17/201 29385
/proc/meminfo: memFree=17135844/36427776 swapFree=4692/1858664
[pid=29368] ppid=29366 vsize=2097364 CPUtime=1956.96
/proc/29368/stat : 29368 (ttsth-5-0) S 29366 29368 15497 0 -1 4202496 466640 0 0 0 180392 15304 0 0 20 0 17 0 657160202 2147700736 462488 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29368/statm: 524341 462488 95 177 0 524163 0
[pid=29368/tid=29370] ppid=29366 vsize=2097364 CPUtime=122.98
/proc/29368/task/29370/stat : 29370 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 42475 0 0 0 12220 78 0 0 20 0 17 0 657160528 2147700736 462488 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29368/tid=29371] ppid=29366 vsize=2097364 CPUtime=122.3
/proc/29368/task/29371/stat : 29371 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 34079 0 0 0 11226 1004 0 0 20 0 17 0 657160528 2147700736 462488 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29368/tid=29372] ppid=29366 vsize=2097364 CPUtime=122.28
/proc/29368/task/29372/stat : 29372 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 25848 0 0 0 11296 932 0 0 20 0 17 0 657160528 2147700736 462488 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134561428 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29368/tid=29373] ppid=29366 vsize=2097364 CPUtime=121.9
/proc/29368/task/29373/stat : 29373 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 40155 0 0 0 10900 1290 0 0 20 0 17 0 657160528 2147700736 462488 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29368/tid=29374] ppid=29366 vsize=2097364 CPUtime=122.29
/proc/29368/task/29374/stat : 29374 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 19182 0 0 0 11247 982 0 0 20 0 17 0 657160528 2147700736 462488 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29368/tid=29375] ppid=29366 vsize=2097364 CPUtime=122.27
/proc/29368/task/29375/stat : 29375 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 30363 0 0 0 11243 984 0 0 20 0 17 0 657160528 2147700736 462488 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29368/tid=29376] ppid=29366 vsize=2097364 CPUtime=122.15
/proc/29368/task/29376/stat : 29376 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 26102 0 0 0 11181 1034 0 0 20 0 17 0 657160528 2147700736 462488 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29368/tid=29377] ppid=29366 vsize=2097364 CPUtime=122.17
/proc/29368/task/29377/stat : 29377 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 28867 0 0 0 11139 1078 0 0 20 0 17 0 657160528 2147700736 462488 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29368/tid=29378] ppid=29366 vsize=2097364 CPUtime=122.45
/proc/29368/task/29378/stat : 29378 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 41024 0 0 0 11241 1004 0 0 20 0 17 0 657160528 2147700736 462488 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29368/tid=29379] ppid=29366 vsize=2097364 CPUtime=122.29
/proc/29368/task/29379/stat : 29379 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 19038 0 0 0 11247 982 0 0 20 0 17 0 657160528 2147700736 462488 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29368/tid=29380] ppid=29366 vsize=2097364 CPUtime=122.03
/proc/29368/task/29380/stat : 29380 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 15689 0 0 0 11163 1040 0 0 20 0 17 0 657160528 2147700736 462489 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29368/tid=29381] ppid=29366 vsize=2097364 CPUtime=122.07
/proc/29368/task/29381/stat : 29381 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 18212 0 0 0 11195 1012 0 0 20 0 17 0 657160528 2147700736 462490 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29368/tid=29382] ppid=29366 vsize=2097364 CPUtime=119.82
/proc/29368/task/29382/stat : 29382 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 21508 0 0 0 11034 948 0 0 20 0 17 0 657160528 2147700736 462490 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29368/tid=29383] ppid=29366 vsize=2097364 CPUtime=122.09
/proc/29368/task/29383/stat : 29383 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 22994 0 0 0 11189 1020 0 0 20 0 17 0 657160528 2147700736 462490 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29368/tid=29384] ppid=29366 vsize=2097364 CPUtime=122.23
/proc/29368/task/29384/stat : 29384 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 29641 0 0 0 11309 914 0 0 20 0 17 0 657160528 2147700736 462490 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134562399 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29368/tid=29385] ppid=29366 vsize=2097364 CPUtime=122.24
/proc/29368/task/29385/stat : 29385 (ttsth-5-0) R 29366 29368 15497 0 -1 4202560 24404 0 0 0 11238 986 0 0 20 0 17 0 657160528 2147700736 462490 18446744073709551615 134512640 135237372 4288780528 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1956.96
Current children cumulated vsize (KiB) 2097364

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

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

[startup+126.423 s]
/proc/loadavg: 15.75 14.30 9.09 2/187 29386
/proc/meminfo: memFree=17703224/36427776 swapFree=4692/1288148
[pid=29368] ppid=29366 vsize=0 CPUtime=1957.21
/proc/29368/stat : 29368 (ttsth-5-0) Z 29366 29368 15497 0 -1 4203532 466656 0 0 0 180404 15317 0 0 20 0 2 0 657160202 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29368/statm: 0 0 0 0 0 0 0
[pid=29368/tid=29385] ppid=29366 vsize=0 CPUtime=122.34
/proc/29368/task/29385/stat : 29385 (ttsth-5-0) R 29366 29368 15497 0 -1 4203588 24404 0 0 0 11238 996 0 0 20 0 2 0 657160528 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1957.21
Current children cumulated vsize (KiB) 0

[startup+126.511 s]
/proc/loadavg: 15.75 14.30 9.09 2/187 29386
/proc/meminfo: memFree=17703224/36427776 swapFree=4692/1288148
[pid=29368] ppid=29366 vsize=0 CPUtime=1957.29
/proc/29368/stat : 29368 (ttsth-5-0) Z 29366 29368 15497 0 -1 4203532 466656 0 0 0 180404 15325 0 0 20 0 2 0 657160202 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29368/statm: 0 0 0 0 0 0 0
[pid=29368/tid=29385] ppid=29366 vsize=0 CPUtime=122.42
/proc/29368/task/29385/stat : 29385 (ttsth-5-0) R 29366 29368 15497 0 -1 4203588 24404 0 0 0 11238 1004 0 0 20 0 2 0 657160528 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1957.29
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 126.519
CPU time (s): 1957.31
CPU user time (s): 1804.06
CPU system time (s): 153.254
CPU usage (%): 1547.05
Max. virtual memory (cumulated for all children) (KiB): 2097364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1804.06
system time used= 153.254
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 466656
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= 126976
involuntary context switches= 4534

runsolver used 0.600037 second user time and 1.87212 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 13:22:18
IDJOB=1780815
IDBENCH=71068
IDSOLVER=634
FILE ID=xenhost3-49/1780815-1244978538
PBS_JOBID=
Free space on /tmp= 7019 MiB

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

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

MD5SUM BENCH= ecc4810d82e30597ea8451526243ec09
RANDOM SEED= 348046640

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:      18987996 kB
Buffers:        524784 kB
Cached:       14121772 kB
SwapCached:          0 kB
Active:        4170400 kB
Inactive:     10484108 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            4672 kB
Writeback:           0 kB
AnonPages:        7320 kB
Mapped:           3328 kB
Slab:           733472 kB
SReclaimable:   706640 kB
SUnreclaim:      26832 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29736 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:24:27