Trace number 1778745

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) 696.343 44.7933

General information on the benchmark

NameAPPLICATIONS/bitverif/
minor/minor032.cnf
MD5SUM93c9f18c75548b864ec69c2789cae658
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.07
Satisfiable
(Un)Satisfiability was proved
Number of variables4210
Number of clauses12053
Sum of the clauses size28121
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 28034
Number of clauses of size 34017
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.01	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1778745-1244944955.cnf 
0.00/0.01	c Using SATTIMEOUT of 10000
0.00/0.01	c Using SATRAM of 2047
0.00/0.01	c Size of subset node = 16
0.00/0.01	c Variables = 4210
0.00/0.01	c Clauses = 12053
0.00/0.01	c Literals = 28121
0.00/0.01	c Reduced size:
0.00/0.01	c Variables = 4210
0.00/0.01	c Clauses = 12009
0.00/0.01	c Literals = 28018
0.00/0.01	c a2
0.00/0.02	c a1
0.30/0.36	c Independent sub-problems = 1
0.30/0.36	c Sub-problem with 4192 variables and 12009 clauses
0.30/0.36	c using permutation method 4
0.30/0.36	c count = 1
0.30/0.36	c Ordering finished 0.350 seconds
0.30/0.36	c mapped 0.350 seconds
0.30/0.36	c permuted 0.350 seconds
0.30/0.36	c about to sort
0.30/0.36	c sorted
0.40/0.48	c clauses now 12009
0.40/0.48	c init finished 0.430 seconds
0.40/0.48	c tree built 0.470 seconds
0.40/0.48	c 
0.40/0.48	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
0.40/0.48	c ---------------------------------|----------------------------------|------------------------------------------------------
0.40/0.48	c ................................ | ..........                       |                        0.5           0.0             
0.40/0.48	c ................................ | ..........                     1 |                        0.5           2.1             
0.40/0.48	c ................................ | ..........                     2 |                        0.5           4.3             
0.40/0.48	c ................................ | ..........                     3 |                        0.5           6.4             
0.40/0.48	c ................................ | ..........                     4 |                        0.5           8.5             
0.40/0.48	c ................................ | ..........                     5 |                        0.5          10.6            2
0.40/0.49	c ................................ | ..........                  1000 |                        0.5        2000.0          224
247.46/16.31	c ................................ | ..........                811000 | 30058                200.4        4046.7     26428871
456.60/29.57	c ................................ | ..........               1071000 | 48621                400.3        2675.6     57362418
664.14/42.69	c ................................ | ..........               1326000 | 68435                600.7        2207.6     88097919

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-1778745-1244944955/watcher-1778745-1244944955 -o /tmp/evaluation-result-1778745-1244944955/solver-1778745-1244944955 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1778745-1244944955.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.97 14.97 11.13 2/184 21356
/proc/meminfo: memFree=19054172/36427776 swapFree=3764/7108
[pid=21356] ppid=21354 vsize=1540 CPUtime=0
/proc/21356/stat : 21356 (ttsth-5-0) R 21354 21356 15497 0 -1 4202496 281 0 0 0 0 0 0 0 20 0 1 0 653801851 1576960 237 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134639534 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/21356/statm: 385 237 75 177 0 207 0

[startup+0.109395 s]
/proc/loadavg: 15.97 14.97 11.13 2/184 21356
/proc/meminfo: memFree=19054172/36427776 swapFree=3764/7108
[pid=21356] ppid=21354 vsize=3280 CPUtime=0.1
/proc/21356/stat : 21356 (ttsth-5-0) R 21354 21356 15497 0 -1 4202496 712 0 0 0 10 0 0 0 20 0 1 0 653801851 3358720 668 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134600853 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/21356/statm: 820 668 77 177 0 642 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3280

[startup+0.201423 s]
/proc/loadavg: 15.97 14.97 11.13 2/184 21356
/proc/meminfo: memFree=19054172/36427776 swapFree=3764/7108
[pid=21356] ppid=21354 vsize=3280 CPUtime=0.2
/proc/21356/stat : 21356 (ttsth-5-0) R 21354 21356 15497 0 -1 4202496 720 0 0 0 20 0 0 0 20 0 1 0 653801851 3358720 676 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134555272 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/21356/statm: 820 676 77 177 0 642 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 3280

[startup+0.301442 s]
/proc/loadavg: 15.97 14.97 11.13 2/184 21356
/proc/meminfo: memFree=19054172/36427776 swapFree=3764/7108
[pid=21356] ppid=21354 vsize=3444 CPUtime=0.3
/proc/21356/stat : 21356 (ttsth-5-0) R 21354 21356 15497 0 -1 4202496 730 0 0 0 30 0 0 0 20 0 1 0 653801851 3526656 686 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134553889 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/21356/statm: 861 686 77 177 0 683 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 3444

[startup+0.703779 s]
/proc/loadavg: 15.97 14.97 11.13 2/184 21356
/proc/meminfo: memFree=19054172/36427776 swapFree=3764/7108
[pid=21356] ppid=21354 vsize=187360 CPUtime=3.88
/proc/21356/stat : 21356 (ttsth-5-0) S 21354 21356 15497 0 -1 4202496 14521 0 0 0 76 312 0 0 20 0 17 0 653801851 191856640 14477 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/21356/statm: 46840 14477 95 177 0 46662 0
Current children cumulated CPU time (s) 3.88
Current children cumulated vsize (KiB) 187360

[startup+1.5039 s]
/proc/loadavg: 15.98 14.99 11.15 17/201 21373
/proc/meminfo: memFree=18993808/36427776 swapFree=4692/70052
[pid=21356] ppid=21354 vsize=196584 CPUtime=15.89
/proc/21356/stat : 21356 (ttsth-5-0) S 21354 21356 15497 0 -1 4202496 17543 0 0 0 401 1188 0 0 20 0 17 0 653801851 201302016 17499 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/21356/statm: 49146 17499 95 177 0 48968 0
[pid=21356/tid=21358] ppid=21354 vsize=196584 CPUtime=1
/proc/21356/task/21358/stat : 21358 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 786 0 0 0 90 10 0 0 20 0 17 0 653801899 201302016 17499 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134728864 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21356/tid=21359] ppid=21354 vsize=196584 CPUtime=0.98
/proc/21356/task/21359/stat : 21359 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 264 0 0 0 16 82 0 0 20 0 17 0 653801899 201302016 17499 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=21356/tid=21360] ppid=21354 vsize=196584 CPUtime=0.96
/proc/21356/task/21360/stat : 21360 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 367 0 0 0 14 82 0 0 20 0 17 0 653801899 201302016 17499 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=21356/tid=21361] ppid=21354 vsize=196584 CPUtime=0.96
/proc/21356/task/21361/stat : 21361 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 313 0 0 0 20 76 0 0 20 0 17 0 653801899 201302016 17499 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21356/tid=21362] ppid=21354 vsize=196584 CPUtime=0.94
/proc/21356/task/21362/stat : 21362 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 369 0 0 0 16 78 0 0 20 0 17 0 653801899 201302016 17499 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21356/tid=21363] ppid=21354 vsize=196584 CPUtime=0.94
/proc/21356/task/21363/stat : 21363 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 199 0 0 0 14 80 0 0 20 0 17 0 653801899 201302016 17499 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21356/tid=21364] ppid=21354 vsize=196584 CPUtime=0.96
/proc/21356/task/21364/stat : 21364 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 189 0 0 0 18 78 0 0 20 0 17 0 653801899 201302016 17499 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21356/tid=21365] ppid=21354 vsize=196584 CPUtime=0.94
/proc/21356/task/21365/stat : 21365 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 370 0 0 0 18 76 0 0 20 0 17 0 653801899 201302016 17499 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21356/tid=21366] ppid=21354 vsize=196584 CPUtime=0.96
/proc/21356/task/21366/stat : 21366 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 305 0 0 0 20 76 0 0 20 0 17 0 653801900 201302016 17499 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21356/tid=21367] ppid=21354 vsize=196584 CPUtime=0.96
/proc/21356/task/21367/stat : 21367 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 268 0 0 0 16 80 0 0 20 0 17 0 653801900 201302016 17499 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21356/tid=21368] ppid=21354 vsize=196584 CPUtime=0.94
/proc/21356/task/21368/stat : 21368 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 302 0 0 0 20 74 0 0 20 0 17 0 653801900 201302016 17499 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21356/tid=21369] ppid=21354 vsize=196584 CPUtime=0.96
/proc/21356/task/21369/stat : 21369 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 243 0 0 0 16 80 0 0 20 0 17 0 653801900 201302016 17499 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134551756 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=21356/tid=21370] ppid=21354 vsize=196584 CPUtime=0.96
/proc/21356/task/21370/stat : 21370 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 239 0 0 0 18 78 0 0 20 0 17 0 653801900 201302016 17499 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=21356/tid=21371] ppid=21354 vsize=196584 CPUtime=0.94
/proc/21356/task/21371/stat : 21371 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 189 0 0 0 16 78 0 0 20 0 17 0 653801900 201302016 17499 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134551461 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21356/tid=21372] ppid=21354 vsize=196584 CPUtime=0.96
/proc/21356/task/21372/stat : 21372 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 360 0 0 0 20 76 0 0 20 0 17 0 653801900 201302016 17499 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=21356/tid=21373] ppid=21354 vsize=196584 CPUtime=0.96
/proc/21356/task/21373/stat : 21373 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 290 0 0 0 20 76 0 0 20 0 17 0 653801900 201302016 17499 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 15.89
Current children cumulated vsize (KiB) 196584

[startup+3.1058 s]
/proc/loadavg: 15.98 14.99 11.15 17/201 21373
/proc/meminfo: memFree=18978732/36427776 swapFree=4692/85348
[pid=21356] ppid=21354 vsize=228012 CPUtime=40.39
/proc/21356/stat : 21356 (ttsth-5-0) S 21354 21356 15497 0 -1 4202496 25315 0 0 0 1355 2684 0 0 20 0 17 0 653801851 233484288 25271 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/21356/statm: 57003 25272 95 177 0 56825 0
[pid=21356/tid=21358] ppid=21354 vsize=228012 CPUtime=2.6
/proc/21356/task/21358/stat : 21358 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 1782 0 0 0 250 10 0 0 20 0 17 0 653801899 233484288 25272 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134591177 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21356/tid=21359] ppid=21354 vsize=228012 CPUtime=2.5
/proc/21356/task/21359/stat : 21359 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 715 0 0 0 72 178 0 0 20 0 17 0 653801899 233484288 25272 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=21356/tid=21360] ppid=21354 vsize=228012 CPUtime=2.48
/proc/21356/task/21360/stat : 21360 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 1090 0 0 0 66 182 0 0 20 0 17 0 653801899 233484288 25272 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=21356/tid=21361] ppid=21354 vsize=228012 CPUtime=2.5
/proc/21356/task/21361/stat : 21361 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 644 0 0 0 84 166 0 0 20 0 17 0 653801899 233484288 25272 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134758787 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21356/tid=21362] ppid=21354 vsize=228172 CPUtime=2.5
/proc/21356/task/21362/stat : 21362 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 634 0 0 0 74 176 0 0 20 0 17 0 653801899 233648128 25273 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21356/tid=21363] ppid=21354 vsize=228172 CPUtime=2.46
/proc/21356/task/21363/stat : 21363 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 907 0 0 0 68 178 0 0 20 0 17 0 653801899 233648128 25274 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21356/tid=21364] ppid=21354 vsize=228172 CPUtime=2.46
/proc/21356/task/21364/stat : 21364 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 804 0 0 0 68 178 0 0 20 0 17 0 653801899 233648128 25274 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21356/tid=21365] ppid=21354 vsize=228172 CPUtime=2.46
/proc/21356/task/21365/stat : 21365 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 707 0 0 0 70 176 0 0 20 0 17 0 653801899 233648128 25274 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21356/tid=21366] ppid=21354 vsize=228172 CPUtime=2.48
/proc/21356/task/21366/stat : 21366 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 545 0 0 0 68 180 0 0 20 0 17 0 653801900 233648128 25274 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21356/tid=21367] ppid=21354 vsize=228172 CPUtime=2.52
/proc/21356/task/21367/stat : 21367 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 828 0 0 0 74 178 0 0 20 0 17 0 653801900 233648128 25274 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21356/tid=21368] ppid=21354 vsize=228172 CPUtime=2.48
/proc/21356/task/21368/stat : 21368 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 684 0 0 0 68 180 0 0 20 0 17 0 653801900 233648128 25274 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21356/tid=21369] ppid=21354 vsize=228172 CPUtime=2.48
/proc/21356/task/21369/stat : 21369 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 606 0 0 0 66 182 0 0 20 0 17 0 653801900 233648128 25274 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=21356/tid=21370] ppid=21354 vsize=228172 CPUtime=2.46
/proc/21356/task/21370/stat : 21370 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 785 0 0 0 70 176 0 0 20 0 17 0 653801900 233648128 25275 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=21356/tid=21371] ppid=21354 vsize=228172 CPUtime=2.44
/proc/21356/task/21371/stat : 21371 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 452 0 0 0 56 188 0 0 20 0 17 0 653801900 233648128 25275 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21356/tid=21372] ppid=21354 vsize=228172 CPUtime=2.52
/proc/21356/task/21372/stat : 21372 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 877 0 0 0 90 162 0 0 20 0 17 0 653801900 233648128 25275 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=21356/tid=21373] ppid=21354 vsize=228172 CPUtime=2.48
/proc/21356/task/21373/stat : 21373 (ttsth-5-0) S 21354 21356 15497 0 -1 4202560 768 0 0 0 64 184 0 0 20 0 17 0 653801900 233648128 25275 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 40.39
Current children cumulated vsize (KiB) 228012

[startup+6.30476 s]
/proc/loadavg: 15.98 14.99 11.15 17/201 21373
/proc/meminfo: memFree=18894936/36427776 swapFree=4692/169012
[pid=21356] ppid=21354 vsize=315196 CPUtime=90.3
/proc/21356/stat : 21356 (ttsth-5-0) S 21354 21356 15497 0 -1 4202496 47124 0 0 0 4126 4904 0 0 20 0 17 0 653801851 322760704 47080 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/21356/statm: 78799 47083 95 177 0 78621 0
[pid=21356/tid=21358] ppid=21354 vsize=315196 CPUtime=5.78
/proc/21356/task/21358/stat : 21358 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 3591 0 0 0 566 12 0 0 20 0 17 0 653801899 322760704 47084 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21356/tid=21359] ppid=21354 vsize=315196 CPUtime=5.62
/proc/21356/task/21359/stat : 21359 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 2299 0 0 0 258 304 0 0 20 0 17 0 653801899 322760704 47084 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=21356/tid=21360] ppid=21354 vsize=315196 CPUtime=5.62
/proc/21356/task/21360/stat : 21360 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 2307 0 0 0 234 328 0 0 20 0 17 0 653801899 322760704 47084 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=21356/tid=21361] ppid=21354 vsize=315196 CPUtime=5.62
/proc/21356/task/21361/stat : 21361 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 1525 0 0 0 244 318 0 0 20 0 17 0 653801899 322760704 47084 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134580209 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21356/tid=21362] ppid=21354 vsize=315196 CPUtime=5.62
/proc/21356/task/21362/stat : 21362 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 1834 0 0 0 242 320 0 0 20 0 17 0 653801899 322760704 47084 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21356/tid=21363] ppid=21354 vsize=315196 CPUtime=5.56
/proc/21356/task/21363/stat : 21363 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 3085 0 0 0 234 322 0 0 20 0 17 0 653801899 322760704 47084 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21356/tid=21364] ppid=21354 vsize=315196 CPUtime=5.54
/proc/21356/task/21364/stat : 21364 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 3011 0 0 0 212 342 0 0 20 0 17 0 653801899 322760704 47085 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134550999 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21356/tid=21365] ppid=21354 vsize=315196 CPUtime=5.56
/proc/21356/task/21365/stat : 21365 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 1321 0 0 0 222 334 0 0 20 0 17 0 653801899 322760704 47086 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21356/tid=21366] ppid=21354 vsize=315196 CPUtime=5.6
/proc/21356/task/21366/stat : 21366 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 1788 0 0 0 228 332 0 0 20 0 17 0 653801900 322760704 47086 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21356/tid=21367] ppid=21354 vsize=315196 CPUtime=5.62
/proc/21356/task/21367/stat : 21367 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 2828 0 0 0 242 320 0 0 20 0 17 0 653801900 322760704 47086 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21356/tid=21368] ppid=21354 vsize=315196 CPUtime=5.6
/proc/21356/task/21368/stat : 21368 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 1531 0 0 0 234 326 0 0 20 0 17 0 653801900 322760704 47086 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21356/tid=21369] ppid=21354 vsize=315196 CPUtime=5.58
/proc/21356/task/21369/stat : 21369 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 1217 0 0 0 218 340 0 0 20 0 17 0 653801900 322760704 47086 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134590241 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=21356/tid=21370] ppid=21354 vsize=315196 CPUtime=5.6
/proc/21356/task/21370/stat : 21370 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 2246 0 0 0 250 310 0 0 20 0 17 0 653801900 322760704 47086 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=21356/tid=21371] ppid=21354 vsize=315196 CPUtime=5.5
/proc/21356/task/21371/stat : 21371 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 2405 0 0 0 218 332 0 0 20 0 17 0 653801900 322760704 47086 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21356/tid=21372] ppid=21354 vsize=315196 CPUtime=5.62
/proc/21356/task/21372/stat : 21372 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 1905 0 0 0 246 316 0 0 20 0 17 0 653801900 322760704 47087 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134590285 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=21356/tid=21373] ppid=21354 vsize=315196 CPUtime=5.62
/proc/21356/task/21373/stat : 21373 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 1746 0 0 0 228 334 0 0 20 0 17 0 653801900 322760704 47087 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 90.3
Current children cumulated vsize (KiB) 315196

[startup+12.705 s]
/proc/loadavg: 15.90 15.01 11.20 17/201 21373
/proc/meminfo: memFree=18667604/36427776 swapFree=4692/397788
[pid=21356] ppid=21354 vsize=542800 CPUtime=190.69
/proc/21356/stat : 21356 (ttsth-5-0) S 21354 21356 15497 0 -1 4202496 103994 0 0 0 11577 7492 0 0 20 0 17 0 653801851 555827200 103950 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/21356/statm: 135700 103951 95 177 0 135522 0
[pid=21356/tid=21358] ppid=21354 vsize=542800 CPUtime=12.2
/proc/21356/task/21358/stat : 21358 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 5471 0 0 0 1204 16 0 0 20 0 17 0 653801899 555827200 103953 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134592199 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21356/tid=21359] ppid=21354 vsize=542800 CPUtime=11.92
/proc/21356/task/21359/stat : 21359 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 6394 0 0 0 724 468 0 0 20 0 17 0 653801899 555827200 103954 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134545992 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=21356/tid=21360] ppid=21354 vsize=542800 CPUtime=11.92
/proc/21356/task/21360/stat : 21360 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 5397 0 0 0 680 512 0 0 20 0 17 0 653801899 555827200 103954 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134565869 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=21356/tid=21361] ppid=21354 vsize=542800 CPUtime=11.92
/proc/21356/task/21361/stat : 21361 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 4047 0 0 0 704 488 0 0 20 0 17 0 653801899 555827200 103955 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21356/tid=21362] ppid=21354 vsize=542800 CPUtime=11.92
/proc/21356/task/21362/stat : 21362 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 5338 0 0 0 726 466 0 0 20 0 17 0 653801899 555827200 103956 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21356/tid=21363] ppid=21354 vsize=542800 CPUtime=11.82
/proc/21356/task/21363/stat : 21363 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 9512 0 0 0 690 492 0 0 20 0 17 0 653801899 555827200 103956 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21356/tid=21364] ppid=21354 vsize=542800 CPUtime=11.82
/proc/21356/task/21364/stat : 21364 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 8369 0 0 0 708 474 0 0 20 0 17 0 653801899 555827200 103956 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21356/tid=21365] ppid=21354 vsize=542800 CPUtime=11.78
/proc/21356/task/21365/stat : 21365 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 3308 0 0 0 646 532 0 0 20 0 17 0 653801899 555827200 103957 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21356/tid=21366] ppid=21354 vsize=542800 CPUtime=11.88
/proc/21356/task/21366/stat : 21366 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 6347 0 0 0 694 494 0 0 20 0 17 0 653801900 555827200 103957 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21356/tid=21367] ppid=21354 vsize=542800 CPUtime=11.86
/proc/21356/task/21367/stat : 21367 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 6483 0 0 0 682 504 0 0 20 0 17 0 653801900 555827200 103957 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21356/tid=21368] ppid=21354 vsize=542800 CPUtime=11.88
/proc/21356/task/21368/stat : 21368 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 4948 0 0 0 702 486 0 0 20 0 17 0 653801900 555827200 103957 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21356/tid=21369] ppid=21354 vsize=542800 CPUtime=11.86
/proc/21356/task/21369/stat : 21369 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 3788 0 0 0 676 510 0 0 20 0 17 0 653801900 555827200 103958 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=21356/tid=21370] ppid=21354 vsize=542800 CPUtime=11.86
/proc/21356/task/21370/stat : 21370 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 5606 0 0 0 692 494 0 0 20 0 17 0 653801900 555827200 103959 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=21356/tid=21371] ppid=21354 vsize=542800 CPUtime=11.64
/proc/21356/task/21371/stat : 21371 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 7414 0 0 0 656 508 0 0 20 0 17 0 653801900 555827200 103959 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21356/tid=21372] ppid=21354 vsize=542800 CPUtime=11.88
/proc/21356/task/21372/stat : 21372 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 4626 0 0 0 668 520 0 0 20 0 17 0 653801900 555827200 103959 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=21356/tid=21373] ppid=21354 vsize=542800 CPUtime=11.92
/proc/21356/task/21373/stat : 21373 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 4464 0 0 0 676 516 0 0 20 0 17 0 653801900 555827200 103960 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 190.69
Current children cumulated vsize (KiB) 542800

[startup+25.5024 s]
/proc/loadavg: 15.91 15.04 11.25 17/201 21373
/proc/meminfo: memFree=18031024/36427776 swapFree=4692/1033612
[pid=21356] ppid=21354 vsize=1161576 CPUtime=393.07
/proc/21356/stat : 21356 (ttsth-5-0) S 21354 21356 15497 0 -1 4202496 258750 0 0 0 30083 9224 0 0 20 0 17 0 653801851 1189453824 258706 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/21356/statm: 290394 258708 95 177 0 290216 0
[pid=21356/tid=21358] ppid=21354 vsize=1161576 CPUtime=24.98
/proc/21356/task/21358/stat : 21358 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 10346 0 0 0 2476 22 0 0 20 0 17 0 653801899 1189453824 258710 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134561428 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21356/tid=21359] ppid=21354 vsize=1161576 CPUtime=24.6
/proc/21356/task/21359/stat : 21359 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 17552 0 0 0 1888 572 0 0 20 0 17 0 653801899 1189453824 258710 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=21356/tid=21360] ppid=21354 vsize=1161576 CPUtime=24.56
/proc/21356/task/21360/stat : 21360 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 13616 0 0 0 1816 640 0 0 20 0 17 0 653801899 1189453824 258710 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=21356/tid=21361] ppid=21354 vsize=1161576 CPUtime=24.58
/proc/21356/task/21361/stat : 21361 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 11985 0 0 0 1858 600 0 0 20 0 17 0 653801899 1189453824 258710 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21356/tid=21362] ppid=21354 vsize=1161576 CPUtime=24.58
/proc/21356/task/21362/stat : 21362 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 12039 0 0 0 1860 598 0 0 20 0 17 0 653801899 1189453824 258710 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21356/tid=21363] ppid=21354 vsize=1161576 CPUtime=24.46
/proc/21356/task/21363/stat : 21363 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 27141 0 0 0 1840 606 0 0 20 0 17 0 653801899 1189453824 258710 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134733328 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21356/tid=21364] ppid=21354 vsize=1161576 CPUtime=24.46
/proc/21356/task/21364/stat : 21364 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 22401 0 0 0 1860 586 0 0 20 0 17 0 653801899 1189453824 258710 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21356/tid=21365] ppid=21354 vsize=1161576 CPUtime=24.44
/proc/21356/task/21365/stat : 21365 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 13854 0 0 0 1802 642 0 0 20 0 17 0 653801899 1189453824 258710 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21356/tid=21366] ppid=21354 vsize=1161576 CPUtime=24.52
/proc/21356/task/21366/stat : 21366 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 16541 0 0 0 1862 590 0 0 20 0 17 0 653801900 1189453824 258711 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21356/tid=21367] ppid=21354 vsize=1161576 CPUtime=24.52
/proc/21356/task/21367/stat : 21367 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 16020 0 0 0 1824 628 0 0 20 0 17 0 653801900 1189453824 258712 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21356/tid=21368] ppid=21354 vsize=1161576 CPUtime=24.52
/proc/21356/task/21368/stat : 21368 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 12726 0 0 0 1854 598 0 0 20 0 17 0 653801900 1189453824 258712 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21356/tid=21369] ppid=21354 vsize=1161576 CPUtime=24.5
/proc/21356/task/21369/stat : 21369 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 10719 0 0 0 1808 642 0 0 20 0 17 0 653801900 1189453824 258712 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=21356/tid=21370] ppid=21354 vsize=1161576 CPUtime=24.52
/proc/21356/task/21370/stat : 21370 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 14733 0 0 0 1840 612 0 0 20 0 17 0 653801900 1189453824 258713 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=21356/tid=21371] ppid=21354 vsize=1161576 CPUtime=24.1
/proc/21356/task/21371/stat : 21371 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 22141 0 0 0 1788 622 0 0 20 0 17 0 653801900 1189453824 258713 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134680505 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21356/tid=21372] ppid=21354 vsize=1161576 CPUtime=24.52
/proc/21356/task/21372/stat : 21372 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 12805 0 0 0 1816 636 0 0 20 0 17 0 653801900 1189453824 258714 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=21356/tid=21373] ppid=21354 vsize=1161576 CPUtime=24.58
/proc/21356/task/21373/stat : 21373 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 11646 0 0 0 1840 618 0 0 20 0 17 0 653801900 1189453824 258714 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 393.07
Current children cumulated vsize (KiB) 1161576



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+44.6039 s]
/proc/loadavg: 15.94 15.10 11.35 17/201 21373
/proc/meminfo: memFree=17078500/36427776 swapFree=4692/1982568
[pid=21356] ppid=21354 vsize=2100996 CPUtime=696.02
/proc/21356/stat : 21356 (ttsth-5-0) S 21354 21356 15497 0 -1 4202496 493706 0 0 0 58275 11327 0 0 20 0 17 0 653801851 2151419904 493662 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/21356/statm: 525249 493662 95 177 0 525071 0
[pid=21356/tid=21358] ppid=21354 vsize=2100996 CPUtime=44.07
/proc/21356/task/21358/stat : 21358 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 17321 0 0 0 4377 30 0 0 20 0 17 0 653801899 2151419904 493664 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21356/tid=21359] ppid=21354 vsize=2100996 CPUtime=43.56
/proc/21356/task/21359/stat : 21359 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 34449 0 0 0 3652 704 0 0 20 0 17 0 653801899 2151419904 493665 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=21356/tid=21360] ppid=21354 vsize=2100996 CPUtime=43.49
/proc/21356/task/21360/stat : 21360 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 27786 0 0 0 3561 788 0 0 20 0 17 0 653801899 2151419904 493665 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=21356/tid=21361] ppid=21354 vsize=2100996 CPUtime=43.55
/proc/21356/task/21361/stat : 21361 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 25225 0 0 0 3621 734 0 0 20 0 17 0 653801899 2151419904 493665 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21356/tid=21362] ppid=21354 vsize=2100996 CPUtime=43.55
/proc/21356/task/21362/stat : 21362 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 22562 0 0 0 3607 748 0 0 20 0 17 0 653801899 2151419904 493665 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21356/tid=21363] ppid=21354 vsize=2100996 CPUtime=43.41
/proc/21356/task/21363/stat : 21363 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 52975 0 0 0 3603 738 0 0 20 0 17 0 653801899 2151419904 493665 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21356/tid=21364] ppid=21354 vsize=2100996 CPUtime=43.38
/proc/21356/task/21364/stat : 21364 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 44685 0 0 0 3618 720 0 0 20 0 17 0 653801899 2151419904 493665 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21356/tid=21365] ppid=21354 vsize=2100996 CPUtime=43.4
/proc/21356/task/21365/stat : 21365 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 28276 0 0 0 3554 786 0 0 20 0 17 0 653801899 2151419904 493665 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21356/tid=21366] ppid=21354 vsize=2100996 CPUtime=43.47
/proc/21356/task/21366/stat : 21366 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 31060 0 0 0 3627 720 0 0 20 0 17 0 653801900 2151419904 493667 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21356/tid=21367] ppid=21354 vsize=2100996 CPUtime=43.43
/proc/21356/task/21367/stat : 21367 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 30407 0 0 0 3581 762 0 0 20 0 17 0 653801900 2151419904 493668 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21356/tid=21368] ppid=21354 vsize=2100996 CPUtime=43.46
/proc/21356/task/21368/stat : 21368 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 23060 0 0 0 3622 724 0 0 20 0 17 0 653801900 2151419904 493668 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21356/tid=21369] ppid=21354 vsize=2101156 CPUtime=43.45
/proc/21356/task/21369/stat : 21369 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 20860 0 0 0 3533 812 0 0 20 0 17 0 653801900 2151583744 493668 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=21356/tid=21370] ppid=21354 vsize=2101156 CPUtime=43.48
/proc/21356/task/21370/stat : 21370 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 29533 0 0 0 3592 756 0 0 20 0 17 0 653801900 2151583744 493669 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=21356/tid=21371] ppid=21354 vsize=2101156 CPUtime=42.68
/proc/21356/task/21371/stat : 21371 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 43591 0 0 0 3498 770 0 0 20 0 17 0 653801900 2151583744 493669 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134749337 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21356/tid=21372] ppid=21354 vsize=2101156 CPUtime=43.48
/proc/21356/task/21372/stat : 21372 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 26237 0 0 0 3568 780 0 0 20 0 17 0 653801900 2151583744 493670 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=21356/tid=21373] ppid=21354 vsize=2101156 CPUtime=43.57
/proc/21356/task/21373/stat : 21373 (ttsth-5-0) R 21354 21356 15497 0 -1 4202560 23193 0 0 0 3617 740 0 0 20 0 17 0 653801900 2151583744 493671 18446744073709551615 134512640 135237372 4294786736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 696.02
Current children cumulated vsize (KiB) 2100996

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

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

[startup+44.725 s]
/proc/loadavg: 15.94 15.10 11.35 17/201 21373
/proc/meminfo: memFree=17078500/36427776 swapFree=4692/1982568
[pid=21356] ppid=21354 vsize=0 CPUtime=696.28
/proc/21356/stat : 21356 (ttsth-5-0) Z 21354 21356 15497 0 -1 4203532 493800 0 0 0 58290 11338 0 0 20 0 2 0 653801851 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/21356/statm: 0 0 0 0 0 0 0
[pid=21356/tid=21373] ppid=21354 vsize=0 CPUtime=43.67
/proc/21356/task/21373/stat : 21373 (ttsth-5-0) R 21354 21356 15497 0 -1 4203588 23201 0 0 0 3617 750 0 0 20 0 2 0 653801900 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 696.28
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 44.7933
CPU time (s): 696.343
CPU user time (s): 582.908
CPU system time (s): 113.435
CPU usage (%): 1554.57
Max. virtual memory (cumulated for all children) (KiB): 2100996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 582.908
system time used= 113.435
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 493800
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= 90682
involuntary context switches= 1636

runsolver used 0.200012 second user time and 0.676042 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 04:02:35
IDJOB=1778745
IDBENCH=70757
IDSOLVER=634
FILE ID=xenhost3-49/1778745-1244944955
PBS_JOBID=
Free space on /tmp= 7025 MiB

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

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

MD5SUM BENCH= 93c9f18c75548b864ec69c2789cae658
RANDOM SEED= 1657314907

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:      19054172 kB
Buffers:        478192 kB
Cached:       14115748 kB
SwapCached:          0 kB
Active:        4123580 kB
Inactive:     10478140 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:             680 kB
Writeback:           0 kB
AnonPages:        7108 kB
Mapped:           3100 kB
Slab:           719100 kB
SReclaimable:   692272 kB
SUnreclaim:      26828 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29616 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7025 MiB
End job on xenhost3-49 at 2009-06-14 04:03:22