Trace number 1781400

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) 1221.3 78.5228

General information on the benchmark

Namesimon-s02b-dp11u10.cnf
MD5SUMbd35ccd857138682818061a3fbcb7546
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark134.7
Satisfiable
(Un)Satisfiability was proved
Number of variables8513
Number of clauses25271
Sum of the clauses size59561
Maximum clause length11
Minimum clause length1
Number of clauses of size 122
Number of clauses of size 216216
Number of clauses of size 39032
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51

Solver Data 

0.02/0.04	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781400-1244987080.cnf 
0.02/0.04	c Using SATTIMEOUT of 10000
0.02/0.04	c Using SATRAM of 2047
0.02/0.04	c Size of subset node = 16
0.02/0.04	c Variables = 9197
0.02/0.04	c Clauses = 25271
0.02/0.04	c Literals = 59561
0.02/0.04	c Reduced size:
0.02/0.04	c Variables = 8513
0.02/0.04	c Clauses = 22371
0.02/0.04	c Literals = 52215
0.02/0.04	c a2
0.02/0.07	c a1
0.10/0.14	c Independent sub-problems = 2
0.10/0.14	c Sub-problem with 49 variables and 138 clauses
0.10/0.14	c using permutation method 3
0.10/0.14	c Ordering finished 0.140 seconds
0.10/0.14	c mapped 0.140 seconds
0.10/0.14	c permuted 0.140 seconds
0.10/0.14	c about to sort
0.10/0.14	c sorted
0.10/0.14	c clauses now 138
0.10/0.14	c init finished 0.140 seconds
0.10/0.14	c tree built 0.140 seconds
0.10/0.14	c 
0.10/0.14	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
0.10/0.14	c ---------------------------------|----------------------------------|------------------------------------------------------
0.10/0.14	c ................................ | ..........                       |                        0.1           0.0             
0.10/0.14	c ................................ | ..........                     1 |                        0.1           7.1           18
0.10/0.14	c ................................ | ..........                     2 |                        0.1          14.3           18
0.88/0.98	c Satisfiable sub-problem
0.88/0.98	c Sub-problem with 7766 variables and 22233 clauses
0.88/0.98	c using permutation method 4
0.88/0.98	c count = 1
0.88/0.98	c Ordering finished 0.960 seconds
0.88/0.98	c mapped 0.970 seconds
0.88/0.98	c permuted 0.970 seconds
0.88/0.98	c about to sort
0.88/0.98	c sorted
1.18/1.28	c clauses now 22233
1.18/1.28	c init finished 1.160 seconds
1.18/1.28	c tree built 1.280 seconds
1.18/1.28	c 
1.18/1.28	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
1.18/1.28	c ---------------------------------|----------------------------------|------------------------------------------------------
1.18/1.28	c ................................ | ..........                     3 |                        1.3           2.3           18
1.18/1.28	c ................................ | ..........                     4 |                        1.3           3.1           18
1.18/1.28	c ................................ | ..........                     5 |                        1.3           3.9           19
1.18/1.28	c ................................ | ..........                     6 |                        1.3           4.7           19
1.18/1.28	c ................................ | ..........                     7 |                        1.3           5.5           19
1.18/1.28	c ................................ | ..........                     8 |                        1.3           6.2           52
1.18/1.29	c ................................ | ..........                  1000 | 23                     1.3         763.4          694
260.19/17.87	c ................................ | ..........               1128000 | 71675                200.1        5638.6     17087620
475.18/31.45	c ................................ | ..........               1627000 | 110598               400.6        4061.2     37536401
681.57/44.40	c ................................ | ..........               2045000 | 143794               600.0        3408.1     57098742
885.18/57.29	c ................................ | ..........               2353000 | 166449               800.0        2941.2     76378913
1090.20/70.18	c ................................ | *.........               2585000 | 184970              1000.6        2583.5     94811301

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-1781400-1244987080/watcher-1781400-1244987080 -o /tmp/evaluation-result-1781400-1244987080/solver-1781400-1244987080 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781400-1244987080.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: 1.00 1.47 4.68 2/187 31567
/proc/meminfo: memFree=18980464/36427776 swapFree=5360/10924
[pid=31567] ppid=31565 vsize=1540 CPUtime=0
/proc/31567/stat : 31567 (ttsth-5-0) R 31565 31567 15497 0 -1 4202496 284 0 0 0 0 0 0 0 20 0 1 0 658014383 1576960 241 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134732614 0 0 1 0 0 0 0 17 14 0 0 0 0 0
/proc/31567/statm: 385 242 75 177 0 207 0

[startup+0.030881 s]
/proc/loadavg: 1.00 1.47 4.68 2/187 31567
/proc/meminfo: memFree=18980464/36427776 swapFree=5360/10924
[pid=31567] ppid=31565 vsize=2756 CPUtime=0.02
/proc/31567/stat : 31567 (ttsth-5-0) R 31565 31567 15497 0 -1 4202496 575 0 0 0 2 0 0 0 20 0 1 0 658014383 2822144 532 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134534137 0 0 1 0 0 0 0 17 14 0 0 0 0 0
/proc/31567/statm: 689 532 75 177 0 511 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2756

[startup+0.102889 s]
/proc/loadavg: 1.00 1.47 4.68 2/187 31567
/proc/meminfo: memFree=18980464/36427776 swapFree=5360/10924
[pid=31567] ppid=31565 vsize=4712 CPUtime=0.1
/proc/31567/stat : 31567 (ttsth-5-0) R 31565 31567 15497 0 -1 4202496 1053 0 0 0 10 0 0 0 20 0 1 0 658014383 4825088 1010 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134726799 0 0 1 0 0 0 0 17 14 0 0 0 0 0
/proc/31567/statm: 1178 1010 81 177 0 1000 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 4712

[startup+0.302888 s]
/proc/loadavg: 1.00 1.47 4.68 2/187 31567
/proc/meminfo: memFree=18980464/36427776 swapFree=5360/10924
[pid=31567] ppid=31565 vsize=48744 CPUtime=0.28
/proc/31567/stat : 31567 (ttsth-5-0) R 31565 31567 15497 0 -1 4202496 1752 0 0 0 28 0 0 0 20 0 1 0 658014383 49913856 1681 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134600801 0 0 1 0 0 0 0 17 14 0 0 0 0 0
/proc/31567/statm: 12186 1681 112 177 0 12008 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 48744

[startup+0.702924 s]
/proc/loadavg: 1.00 1.47 4.68 2/187 31567
/proc/meminfo: memFree=18980464/36427776 swapFree=5360/10924
[pid=31567] ppid=31565 vsize=48744 CPUtime=0.68
/proc/31567/stat : 31567 (ttsth-5-0) R 31565 31567 15497 0 -1 4202496 1752 0 0 0 68 0 0 0 20 0 1 0 658014383 49913856 1681 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134555272 0 0 1 0 0 0 0 17 14 0 0 0 0 0
/proc/31567/statm: 12186 1681 112 177 0 12008 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 48744

[startup+1.50333 s]
/proc/loadavg: 1.00 1.47 4.68 2/188 31584
/proc/meminfo: memFree=18967588/36427776 swapFree=6464/23692
[pid=31567] ppid=31565 vsize=230756 CPUtime=4.63
/proc/31567/stat : 31567 (ttsth-5-0) S 31565 31567 15497 0 -1 4202496 24425 0 0 0 170 293 0 0 20 0 17 0 658014383 236294144 24353 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31567/statm: 57689 24353 112 177 0 57511 0
Current children cumulated CPU time (s) 4.63
Current children cumulated vsize (KiB) 230756

[startup+3.10274 s]
/proc/loadavg: 1.00 1.47 4.68 15/204 31600
/proc/meminfo: memFree=18879384/36427776 swapFree=6544/116524
[pid=31567] ppid=31565 vsize=242116 CPUtime=29.57
/proc/31567/stat : 31567 (ttsth-5-0) S 31565 31567 15497 0 -1 4202496 28660 0 0 0 788 2169 0 0 20 0 17 0 658014383 247926784 28588 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31567/statm: 60529 28588 112 177 0 60351 0
[pid=31567/tid=31585] ppid=31565 vsize=242116 CPUtime=1.8
/proc/31567/task/31585/stat : 31585 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 1616 0 0 0 176 4 0 0 20 0 17 0 658014512 247926784 28588 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31567/tid=31586] ppid=31565 vsize=242116 CPUtime=1.76
/proc/31567/task/31586/stat : 31586 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 165 0 0 0 32 144 0 0 20 0 17 0 658014512 247926784 28588 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31567/tid=31587] ppid=31565 vsize=242116 CPUtime=1.74
/proc/31567/task/31587/stat : 31587 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 301 0 0 0 30 144 0 0 20 0 17 0 658014512 247926784 28588 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31567/tid=31588] ppid=31565 vsize=242116 CPUtime=1.76
/proc/31567/task/31588/stat : 31588 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 220 0 0 0 34 142 0 0 20 0 17 0 658014512 247926784 28588 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31567/tid=31589] ppid=31565 vsize=242116 CPUtime=1.76
/proc/31567/task/31589/stat : 31589 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 230 0 0 0 34 142 0 0 20 0 17 0 658014512 247926784 28588 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31567/tid=31590] ppid=31565 vsize=242116 CPUtime=1.78
/proc/31567/task/31590/stat : 31590 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 195 0 0 0 30 148 0 0 20 0 17 0 658014512 247926784 28589 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31567/tid=31591] ppid=31565 vsize=242116 CPUtime=1.76
/proc/31567/task/31591/stat : 31591 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 283 0 0 0 28 148 0 0 20 0 17 0 658014512 247926784 28589 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31567/tid=31592] ppid=31565 vsize=242116 CPUtime=1.76
/proc/31567/task/31592/stat : 31592 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 227 0 0 0 40 136 0 0 20 0 17 0 658014512 247926784 28589 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31567/tid=31593] ppid=31565 vsize=242116 CPUtime=1.76
/proc/31567/task/31593/stat : 31593 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 231 0 0 0 36 140 0 0 20 0 17 0 658014512 247926784 28589 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31567/tid=31594] ppid=31565 vsize=242116 CPUtime=1.76
/proc/31567/task/31594/stat : 31594 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 192 0 0 0 30 146 0 0 20 0 17 0 658014512 247926784 28589 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31567/tid=31595] ppid=31565 vsize=242116 CPUtime=1.76
/proc/31567/task/31595/stat : 31595 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 246 0 0 0 28 148 0 0 20 0 17 0 658014512 247926784 28589 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31567/tid=31596] ppid=31565 vsize=242116 CPUtime=1.76
/proc/31567/task/31596/stat : 31596 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 244 0 0 0 32 144 0 0 20 0 17 0 658014512 247926784 28589 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31567/tid=31597] ppid=31565 vsize=242116 CPUtime=1.76
/proc/31567/task/31597/stat : 31597 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 252 0 0 0 40 136 0 0 20 0 17 0 658014512 247926784 28589 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31567/tid=31598] ppid=31565 vsize=242116 CPUtime=1.74
/proc/31567/task/31598/stat : 31598 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 280 0 0 0 32 142 0 0 20 0 17 0 658014512 247926784 28589 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31567/tid=31599] ppid=31565 vsize=242116 CPUtime=1.76
/proc/31567/task/31599/stat : 31599 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 343 0 0 0 34 142 0 0 20 0 17 0 658014512 247926784 28589 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31567/tid=31600] ppid=31565 vsize=242116 CPUtime=1.76
/proc/31567/task/31600/stat : 31600 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 199 0 0 0 32 144 0 0 20 0 17 0 658014513 247926784 28589 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 29.57
Current children cumulated vsize (KiB) 242116

[startup+6.3019 s]
/proc/loadavg: 2.20 1.71 4.74 17/204 31600
/proc/meminfo: memFree=18843528/36427776 swapFree=6544/150420
[pid=31567] ppid=31565 vsize=277364 CPUtime=79.5
/proc/31567/stat : 31567 (ttsth-5-0) S 31565 31567 15497 0 -1 4202496 38796 0 0 0 2470 5480 0 0 20 0 17 0 658014383 284020736 38725 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31567/statm: 69341 38725 112 177 0 69163 0
[pid=31567/tid=31585] ppid=31565 vsize=277364 CPUtime=5
/proc/31567/task/31585/stat : 31585 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 3745 0 0 0 492 8 0 0 20 0 17 0 658014512 284020736 38726 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31567/tid=31586] ppid=31565 vsize=277364 CPUtime=4.86
/proc/31567/task/31586/stat : 31586 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 639 0 0 0 112 374 0 0 20 0 17 0 658014512 284020736 38726 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31567/tid=31587] ppid=31565 vsize=277364 CPUtime=4.84
/proc/31567/task/31587/stat : 31587 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 764 0 0 0 128 356 0 0 20 0 17 0 658014512 284020736 38726 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31567/tid=31588] ppid=31565 vsize=277364 CPUtime=4.88
/proc/31567/task/31588/stat : 31588 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 702 0 0 0 112 376 0 0 20 0 17 0 658014512 284020736 38726 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31567/tid=31589] ppid=31565 vsize=277364 CPUtime=4.9
/proc/31567/task/31589/stat : 31589 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 683 0 0 0 112 378 0 0 20 0 17 0 658014512 284020736 38726 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31567/tid=31590] ppid=31565 vsize=277364 CPUtime=4.88
/proc/31567/task/31590/stat : 31590 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 799 0 0 0 120 368 0 0 20 0 17 0 658014512 284020736 38726 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31567/tid=31591] ppid=31565 vsize=277364 CPUtime=4.88
/proc/31567/task/31591/stat : 31591 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 793 0 0 0 118 370 0 0 20 0 17 0 658014512 284020736 38726 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31567/tid=31592] ppid=31565 vsize=277364 CPUtime=4.88
/proc/31567/task/31592/stat : 31592 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 759 0 0 0 122 366 0 0 20 0 17 0 658014512 284020736 38726 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31567/tid=31593] ppid=31565 vsize=277364 CPUtime=4.88
/proc/31567/task/31593/stat : 31593 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 1129 0 0 0 146 342 0 0 20 0 17 0 658014512 284020736 38726 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31567/tid=31594] ppid=31565 vsize=277364 CPUtime=4.88
/proc/31567/task/31594/stat : 31594 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 691 0 0 0 136 352 0 0 20 0 17 0 658014512 284020736 38727 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31567/tid=31595] ppid=31565 vsize=277364 CPUtime=4.88
/proc/31567/task/31595/stat : 31595 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 608 0 0 0 102 386 0 0 20 0 17 0 658014512 284020736 38727 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31567/tid=31596] ppid=31565 vsize=277364 CPUtime=4.88
/proc/31567/task/31596/stat : 31596 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 801 0 0 0 120 368 0 0 20 0 17 0 658014512 284020736 38727 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31567/tid=31597] ppid=31565 vsize=277364 CPUtime=4.88
/proc/31567/task/31597/stat : 31597 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 818 0 0 0 124 364 0 0 20 0 17 0 658014512 284020736 38727 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31567/tid=31598] ppid=31565 vsize=277364 CPUtime=4.8
/proc/31567/task/31598/stat : 31598 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 992 0 0 0 140 340 0 0 20 0 17 0 658014512 284020736 38727 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31567/tid=31599] ppid=31565 vsize=277364 CPUtime=4.9
/proc/31567/task/31599/stat : 31599 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 868 0 0 0 140 350 0 0 20 0 17 0 658014512 284020736 38727 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31567/tid=31600] ppid=31565 vsize=277364 CPUtime=4.92
/proc/31567/task/31600/stat : 31600 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 570 0 0 0 126 366 0 0 20 0 17 0 658014513 284020736 38727 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 79.5
Current children cumulated vsize (KiB) 277364

[startup+12.7021 s]
/proc/loadavg: 3.31 1.95 4.80 17/204 31600
/proc/meminfo: memFree=18712944/36427776 swapFree=6544/283008
[pid=31567] ppid=31565 vsize=412596 CPUtime=179.75
/proc/31567/stat : 31567 (ttsth-5-0) S 31565 31567 15497 0 -1 4202496 72762 0 0 0 8726 9249 0 0 20 0 17 0 658014383 422498304 72690 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31567/statm: 103149 72692 112 177 0 102971 0
[pid=31567/tid=31585] ppid=31565 vsize=412596 CPUtime=11.38
/proc/31567/task/31585/stat : 31585 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 10091 0 0 0 1122 16 0 0 20 0 17 0 658014512 422498304 72692 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31567/tid=31586] ppid=31565 vsize=412596 CPUtime=11.1
/proc/31567/task/31586/stat : 31586 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 2592 0 0 0 476 634 0 0 20 0 17 0 658014512 422498304 72692 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134733328 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31567/tid=31587] ppid=31565 vsize=412596 CPUtime=11.1
/proc/31567/task/31587/stat : 31587 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 3190 0 0 0 498 612 0 0 20 0 17 0 658014512 422498304 72692 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31567/tid=31588] ppid=31565 vsize=412596 CPUtime=11.12
/proc/31567/task/31588/stat : 31588 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 2486 0 0 0 502 610 0 0 20 0 17 0 658014512 422498304 72692 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31567/tid=31589] ppid=31565 vsize=412596 CPUtime=11.16
/proc/31567/task/31589/stat : 31589 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 2518 0 0 0 478 638 0 0 20 0 17 0 658014512 422498304 72692 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31567/tid=31590] ppid=31565 vsize=412596 CPUtime=11.14
/proc/31567/task/31590/stat : 31590 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 2505 0 0 0 500 614 0 0 20 0 17 0 658014512 422498304 72693 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31567/tid=31591] ppid=31565 vsize=412756 CPUtime=11.1
/proc/31567/task/31591/stat : 31591 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 2449 0 0 0 448 662 0 0 20 0 17 0 658014512 422662144 72695 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31567/tid=31592] ppid=31565 vsize=412756 CPUtime=11.12
/proc/31567/task/31592/stat : 31592 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 2520 0 0 0 490 622 0 0 20 0 17 0 658014512 422662144 72696 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31567/tid=31593] ppid=31565 vsize=412756 CPUtime=11.14
/proc/31567/task/31593/stat : 31593 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 2936 0 0 0 516 598 0 0 20 0 17 0 658014512 422662144 72697 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31567/tid=31594] ppid=31565 vsize=412756 CPUtime=11.16
/proc/31567/task/31594/stat : 31594 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 2592 0 0 0 542 574 0 0 20 0 17 0 658014512 422662144 72697 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31567/tid=31595] ppid=31565 vsize=412756 CPUtime=11.12
/proc/31567/task/31595/stat : 31595 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 2110 0 0 0 450 662 0 0 20 0 17 0 658014512 422662144 72697 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31567/tid=31596] ppid=31565 vsize=412756 CPUtime=11.14
/proc/31567/task/31596/stat : 31596 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 2232 0 0 0 496 618 0 0 20 0 17 0 658014512 422662144 72697 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31567/tid=31597] ppid=31565 vsize=412756 CPUtime=11.18
/proc/31567/task/31597/stat : 31597 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 2525 0 0 0 518 600 0 0 20 0 17 0 658014512 422662144 72697 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31567/tid=31598] ppid=31565 vsize=412756 CPUtime=10.98
/proc/31567/task/31598/stat : 31598 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 2615 0 0 0 550 548 0 0 20 0 17 0 658014512 422662144 72697 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134562394 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31567/tid=31599] ppid=31565 vsize=412756 CPUtime=11.2
/proc/31567/task/31599/stat : 31599 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 3180 0 0 0 528 592 0 0 20 0 17 0 658014512 422662144 72697 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31567/tid=31600] ppid=31565 vsize=412756 CPUtime=11.18
/proc/31567/task/31600/stat : 31600 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 2789 0 0 0 488 630 0 0 20 0 17 0 658014513 422662144 72698 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134749351 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 179.75
Current children cumulated vsize (KiB) 412596

[startup+25.5045 s]
/proc/loadavg: 6.12 2.64 4.98 17/204 31605
/proc/meminfo: memFree=18354292/36427776 swapFree=6544/641400
[pid=31567] ppid=31565 vsize=760908 CPUtime=381.76
/proc/31567/stat : 31567 (ttsth-5-0) S 31565 31567 15497 0 -1 4202496 159994 0 0 0 26524 11652 0 0 20 0 17 0 658014383 779169792 159922 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31567/statm: 190227 159926 112 177 0 190049 0
[pid=31567/tid=31585] ppid=31565 vsize=760908 CPUtime=24.18
/proc/31567/task/31585/stat : 31585 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 21164 0 0 0 2390 28 0 0 20 0 17 0 658014512 779169792 159928 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31567/tid=31586] ppid=31565 vsize=760908 CPUtime=23.72
/proc/31567/task/31586/stat : 31586 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 6799 0 0 0 1566 806 0 0 20 0 17 0 658014512 779169792 159928 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31567/tid=31587] ppid=31565 vsize=760908 CPUtime=23.68
/proc/31567/task/31587/stat : 31587 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 9221 0 0 0 1580 788 0 0 20 0 17 0 658014512 779169792 159928 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134680217 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31567/tid=31588] ppid=31565 vsize=760908 CPUtime=23.74
/proc/31567/task/31588/stat : 31588 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 6913 0 0 0 1606 768 0 0 20 0 17 0 658014512 779169792 159929 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31567/tid=31589] ppid=31565 vsize=760908 CPUtime=23.8
/proc/31567/task/31589/stat : 31589 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 9051 0 0 0 1584 796 0 0 20 0 17 0 658014512 779169792 159929 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31567/tid=31590] ppid=31565 vsize=760908 CPUtime=23.82
/proc/31567/task/31590/stat : 31590 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 6667 0 0 0 1624 758 0 0 20 0 17 0 658014512 779169792 159929 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31567/tid=31591] ppid=31565 vsize=760908 CPUtime=23.72
/proc/31567/task/31591/stat : 31591 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 8153 0 0 0 1542 830 0 0 20 0 17 0 658014512 779169792 159929 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31567/tid=31592] ppid=31565 vsize=760908 CPUtime=23.76
/proc/31567/task/31592/stat : 31592 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 7822 0 0 0 1604 772 0 0 20 0 17 0 658014512 779169792 159929 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31567/tid=31593] ppid=31565 vsize=760908 CPUtime=23.82
/proc/31567/task/31593/stat : 31593 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 8583 0 0 0 1640 742 0 0 20 0 17 0 658014512 779169792 159929 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31567/tid=31594] ppid=31565 vsize=760908 CPUtime=23.84
/proc/31567/task/31594/stat : 31594 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 7346 0 0 0 1664 720 0 0 20 0 17 0 658014512 779169792 159929 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31567/tid=31595] ppid=31565 vsize=760908 CPUtime=23.54
/proc/31567/task/31595/stat : 31595 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 7631 0 0 0 1526 828 0 0 20 0 17 0 658014512 779169792 159930 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134549899 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31567/tid=31596] ppid=31565 vsize=760908 CPUtime=23.8
/proc/31567/task/31596/stat : 31596 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 6026 0 0 0 1612 768 0 0 20 0 17 0 658014512 779169792 159930 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31567/tid=31597] ppid=31565 vsize=760908 CPUtime=23.84
/proc/31567/task/31597/stat : 31597 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 7786 0 0 0 1628 756 0 0 20 0 17 0 658014512 779169792 159930 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134733328 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31567/tid=31598] ppid=31565 vsize=760908 CPUtime=23.44
/proc/31567/task/31598/stat : 31598 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 7071 0 0 0 1644 700 0 0 20 0 17 0 658014512 779169792 159930 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31567/tid=31599] ppid=31565 vsize=760908 CPUtime=23.84
/proc/31567/task/31599/stat : 31599 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 9279 0 0 0 1612 772 0 0 20 0 17 0 658014512 779169792 159930 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31567/tid=31600] ppid=31565 vsize=760908 CPUtime=23.8
/proc/31567/task/31600/stat : 31600 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 7052 0 0 0 1580 800 0 0 20 0 17 0 658014513 779169792 159930 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 381.76
Current children cumulated vsize (KiB) 760908

[startup+51.1037 s]
/proc/loadavg: 9.49 3.71 5.27 17/204 31605
/proc/meminfo: memFree=17693908/36427776 swapFree=6544/1301112
[pid=31567] ppid=31565 vsize=1428176 CPUtime=788.07
/proc/31567/stat : 31567 (ttsth-5-0) S 31565 31567 15497 0 -1 4202496 326930 0 0 0 64817 13990 0 0 20 0 17 0 658014383 1462452224 326858 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31567/statm: 357044 326858 112 177 0 356866 0
[pid=31567/tid=31585] ppid=31565 vsize=1428176 CPUtime=49.76
/proc/31567/task/31585/stat : 31585 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 37847 0 0 0 4926 50 0 0 20 0 17 0 658014512 1462452224 326858 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134591304 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31567/tid=31586] ppid=31565 vsize=1428176 CPUtime=49.12
/proc/31567/task/31586/stat : 31586 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 16504 0 0 0 3936 976 0 0 20 0 17 0 658014512 1462452224 326858 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31567/tid=31587] ppid=31565 vsize=1428176 CPUtime=49.05
/proc/31567/task/31587/stat : 31587 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 23157 0 0 0 3961 944 0 0 20 0 17 0 658014512 1462452224 326858 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31567/tid=31588] ppid=31565 vsize=1428176 CPUtime=49.17
/proc/31567/task/31588/stat : 31588 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 15688 0 0 0 3997 920 0 0 20 0 17 0 658014512 1462452224 326858 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31567/tid=31589] ppid=31565 vsize=1428176 CPUtime=49.19
/proc/31567/task/31589/stat : 31589 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 20461 0 0 0 3967 952 0 0 20 0 17 0 658014512 1462452224 326858 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31567/tid=31590] ppid=31565 vsize=1428176 CPUtime=49.23
/proc/31567/task/31590/stat : 31590 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 18234 0 0 0 4009 914 0 0 20 0 17 0 658014512 1462452224 326858 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31567/tid=31591] ppid=31565 vsize=1428176 CPUtime=49.09
/proc/31567/task/31591/stat : 31591 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 22525 0 0 0 3915 994 0 0 20 0 17 0 658014512 1462452224 326858 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31567/tid=31592] ppid=31565 vsize=1428176 CPUtime=49.18
/proc/31567/task/31592/stat : 31592 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 16705 0 0 0 4010 908 0 0 20 0 17 0 658014512 1462452224 326859 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31567/tid=31593] ppid=31565 vsize=1428176 CPUtime=49.29
/proc/31567/task/31593/stat : 31593 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 15844 0 0 0 4045 884 0 0 20 0 17 0 658014512 1462452224 326859 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31567/tid=31594] ppid=31565 vsize=1428176 CPUtime=49.28
/proc/31567/task/31594/stat : 31594 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 16783 0 0 0 4064 864 0 0 20 0 17 0 658014512 1462452224 326859 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31567/tid=31595] ppid=31565 vsize=1428176 CPUtime=48.45
/proc/31567/task/31595/stat : 31595 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 18728 0 0 0 3843 1002 0 0 20 0 17 0 658014512 1462452224 326859 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31567/tid=31596] ppid=31565 vsize=1428176 CPUtime=49.21
/proc/31567/task/31596/stat : 31596 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 17596 0 0 0 4005 916 0 0 20 0 17 0 658014512 1462452224 326859 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31567/tid=31597] ppid=31565 vsize=1428176 CPUtime=49.28
/proc/31567/task/31597/stat : 31597 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 15216 0 0 0 4016 912 0 0 20 0 17 0 658014512 1462452224 326860 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31567/tid=31598] ppid=31565 vsize=1428176 CPUtime=48.88
/proc/31567/task/31598/stat : 31598 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 15873 0 0 0 4026 862 0 0 20 0 17 0 658014512 1462452224 326860 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31567/tid=31599] ppid=31565 vsize=1428176 CPUtime=49.26
/proc/31567/task/31599/stat : 31599 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 18997 0 0 0 3980 946 0 0 20 0 17 0 658014512 1462452224 326860 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31567/tid=31600] ppid=31565 vsize=1428176 CPUtime=49.26
/proc/31567/task/31600/stat : 31600 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 13335 0 0 0 4000 926 0 0 20 0 17 0 658014513 1462452224 326860 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 788.07
Current children cumulated vsize (KiB) 1428176



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+78.3018 s]
/proc/loadavg: 12.05 4.88 5.61 17/204 31605
/proc/meminfo: memFree=17004692/36427776 swapFree=6544/1986908
[pid=31567] ppid=31565 vsize=2098556 CPUtime=1220.92
/proc/31567/stat : 31567 (ttsth-5-0) S 31565 31567 15497 0 -1 4202496 494447 0 0 0 106411 15681 0 0 20 0 17 0 658014383 2148921344 494375 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31567/statm: 524639 494375 112 177 0 524461 0
[pid=31567/tid=31585] ppid=31565 vsize=2098556 CPUtime=76.95
/proc/31567/task/31585/stat : 31585 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 52454 0 0 0 7627 68 0 0 20 0 17 0 658014512 2148921344 494375 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134549888 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31567/tid=31586] ppid=31565 vsize=2098556 CPUtime=76.16
/proc/31567/task/31586/stat : 31586 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 29474 0 0 0 6540 1076 0 0 20 0 17 0 658014512 2148921344 494375 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31567/tid=31587] ppid=31565 vsize=2098556 CPUtime=76.09
/proc/31567/task/31587/stat : 31587 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 38629 0 0 0 6541 1068 0 0 20 0 17 0 658014512 2148921344 494377 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31567/tid=31588] ppid=31565 vsize=2098556 CPUtime=76.25
/proc/31567/task/31588/stat : 31588 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 25574 0 0 0 6595 1030 0 0 20 0 17 0 658014512 2148921344 494377 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31567/tid=31589] ppid=31565 vsize=2098556 CPUtime=76.26
/proc/31567/task/31589/stat : 31589 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 30750 0 0 0 6538 1088 0 0 20 0 17 0 658014512 2148921344 494377 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31567/tid=31590] ppid=31565 vsize=2098556 CPUtime=76.31
/proc/31567/task/31590/stat : 31590 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 29793 0 0 0 6605 1026 0 0 20 0 17 0 658014512 2148921344 494377 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31567/tid=31591] ppid=31565 vsize=2098556 CPUtime=76.17
/proc/31567/task/31591/stat : 31591 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 35244 0 0 0 6511 1106 0 0 20 0 17 0 658014512 2148921344 494377 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31567/tid=31592] ppid=31565 vsize=2098556 CPUtime=76.3
/proc/31567/task/31592/stat : 31592 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 24326 0 0 0 6636 994 0 0 20 0 17 0 658014512 2148921344 494377 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31567/tid=31593] ppid=31565 vsize=2098556 CPUtime=76.4
/proc/31567/task/31593/stat : 31593 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 23515 0 0 0 6648 992 0 0 20 0 17 0 658014512 2148921344 494377 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31567/tid=31594] ppid=31565 vsize=2098556 CPUtime=76.36
/proc/31567/task/31594/stat : 31594 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 25105 0 0 0 6646 990 0 0 20 0 17 0 658014512 2148921344 494377 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31567/tid=31595] ppid=31565 vsize=2098556 CPUtime=74.96
/proc/31567/task/31595/stat : 31595 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 28110 0 0 0 6372 1124 0 0 20 0 17 0 658014512 2148921344 494377 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31567/tid=31596] ppid=31565 vsize=2098556 CPUtime=76.3
/proc/31567/task/31596/stat : 31596 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 26182 0 0 0 6612 1018 0 0 20 0 17 0 658014512 2148921344 494377 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31567/tid=31597] ppid=31565 vsize=2098556 CPUtime=76.4
/proc/31567/task/31597/stat : 31597 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 22860 0 0 0 6648 992 0 0 20 0 17 0 658014512 2148921344 494378 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31567/tid=31598] ppid=31565 vsize=2098556 CPUtime=75.96
/proc/31567/task/31598/stat : 31598 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 29348 0 0 0 6608 988 0 0 20 0 17 0 658014512 2148921344 494378 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31567/tid=31599] ppid=31565 vsize=2098556 CPUtime=76.34
/proc/31567/task/31599/stat : 31599 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 28273 0 0 0 6570 1064 0 0 20 0 17 0 658014512 2148921344 494378 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31567/tid=31600] ppid=31565 vsize=2098556 CPUtime=76.36
/proc/31567/task/31600/stat : 31600 (ttsth-5-0) R 31565 31567 15497 0 -1 4202560 21375 0 0 0 6596 1040 0 0 20 0 17 0 658014513 2148921344 494378 18446744073709551615 134512640 135237372 4286893856 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1220.92
Current children cumulated vsize (KiB) 2098556

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

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

[startup+78.4221 s]
/proc/loadavg: 12.05 4.88 5.61 17/204 31605
/proc/meminfo: memFree=17004692/36427776 swapFree=6544/1986908
[pid=31567] ppid=31565 vsize=0 CPUtime=1221.19
/proc/31567/stat : 31567 (ttsth-5-0) Z 31565 31567 15497 0 -1 4203532 494488 0 0 0 106423 15696 0 0 20 0 2 0 658014383 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31567/statm: 0 0 0 0 0 0 0
[pid=31567/tid=31599] ppid=31565 vsize=0 CPUtime=76.46
/proc/31567/task/31599/stat : 31599 (ttsth-5-0) R 31565 31567 15497 0 -1 4203588 28273 0 0 0 6570 1076 0 0 20 0 2 0 658014512 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1221.19
Current children cumulated vsize (KiB) 0

[startup+78.502 s]
/proc/loadavg: 12.05 4.88 5.61 17/204 31605
/proc/meminfo: memFree=17004692/36427776 swapFree=6544/1986908
[pid=31567] ppid=31565 vsize=0 CPUtime=1221.27
/proc/31567/stat : 31567 (ttsth-5-0) Z 31565 31567 15497 0 -1 4203532 494488 0 0 0 106423 15704 0 0 20 0 2 0 658014383 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31567/statm: 0 0 0 0 0 0 0
[pid=31567/tid=31599] ppid=31565 vsize=0 CPUtime=76.54
/proc/31567/task/31599/stat : 31599 (ttsth-5-0) R 31565 31567 15497 0 -1 4203588 28273 0 0 0 6570 1084 0 0 20 0 2 0 658014512 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1221.27
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 78.5228
CPU time (s): 1221.3
CPU user time (s): 1064.24
CPU system time (s): 157.066
CPU usage (%): 1555.35
Max. virtual memory (cumulated for all children) (KiB): 2098556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1064.24
system time used= 157.066
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 494488
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= 102539
involuntary context switches= 2798

runsolver used 0.400025 second user time and 1.15607 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 15:44:40
IDJOB=1781400
IDBENCH=71741
IDSOLVER=634
FILE ID=xenhost3-49/1781400-1244987080
PBS_JOBID=
Free space on /tmp= 7022 MiB

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

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

MD5SUM BENCH= bd35ccd857138682818061a3fbcb7546
RANDOM SEED= 564261054

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:      18980464 kB
Buffers:        528488 kB
Cached:       14118320 kB
SwapCached:          0 kB
Active:        4177580 kB
Inactive:     10480216 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:             488 kB
Writeback:           0 kB
AnonPages:       10924 kB
Mapped:           5360 kB
Slab:           734432 kB
SReclaimable:   707528 kB
SUnreclaim:      26904 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    36632 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7022 MiB
End job on xenhost3-49 at 2009-06-14 15:46:01