Trace number 1781340

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) 637.34 42.8248

General information on the benchmark

Namegoldb-heqc-term1mul.cnf
MD5SUMc356d60706abf7ddd80826e417c8de67
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark155.33
Satisfiable
(Un)Satisfiability was proved
Number of variables3504
Number of clauses22229
Sum of the clauses size75188
Maximum clause length20
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 25116
Number of clauses of size 310312
Number of clauses of size 40
Number of clauses of size 56800
Number of clauses of size over 51

Solver Data 

0.00/0.02	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781340-1244985629.cnf 
0.00/0.02	c Using SATTIMEOUT of 10000
0.00/0.02	c Using SATRAM of 2047
0.00/0.02	c Size of subset node = 16
0.00/0.02	c Variables = 3504
0.00/0.02	c Clauses = 22229
0.00/0.02	c Literals = 75188
0.00/0.02	c Reduced size:
0.00/0.02	c Variables = 3504
0.00/0.02	c Clauses = 22229
0.00/0.02	c Literals = 75188
0.00/0.02	c a2
0.04/0.08	c a1
0.28/0.33	c Independent sub-problems = 1
0.28/0.33	c Sub-problem with 3504 variables and 22229 clauses
0.28/0.33	c using permutation method 4
0.28/0.33	c count = 1
0.28/0.33	c Ordering finished 0.310 seconds
0.28/0.33	c mapped 0.320 seconds
0.28/0.33	c permuted 0.320 seconds
0.28/0.33	c about to sort
0.28/0.34	c sorted
0.40/0.49	c clauses now 22229
0.40/0.49	c init finished 0.400 seconds
0.40/0.49	c tree built 0.480 seconds
0.40/0.49	c 
0.40/0.49	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
0.40/0.49	c ---------------------------------|----------------------------------|------------------------------------------------------
0.40/0.49	c ................................ | ..........                       |                        0.5           0.0             
0.40/0.49	c ................................ | ..........                     1 |                        0.5           2.1             
0.40/0.49	c ................................ | ..........                     2 |                        0.5           4.2             
0.40/0.49	c ................................ | ..........                     3 |                        0.5           6.2             
0.40/0.49	c ................................ | ..........                     4 |                        0.5           8.3             
0.40/0.49	c ................................ | ..........                     5 |                        0.5          10.4             
0.48/0.50	c ................................ | ..........                  1000 | 20                     0.5        1886.8          772
217.03/15.46	c ................................ | ..........                954000 | 121567               200.0        4769.3     30736540
420.20/29.05	c ................................ | ..........               1175000 | 154137               400.2        2936.3     63322201
620.93/41.69	c ................................ | ..........               1355000 | 180470               600.0        2258.2     93290136

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-1781340-1244985629/watcher-1781340-1244985629 -o /tmp/evaluation-result-1781340-1244985629/solver-1781340-1244985629 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781340-1244985629.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.93 13.26 9.83 2/187 31343
/proc/meminfo: memFree=18982388/36427776 swapFree=6096/11344
[pid=31343] ppid=31341 vsize=1576 CPUtime=0
/proc/31343/stat : 31343 (ttsth-5-0) R 31341 31343 15497 0 -1 4202496 268 0 0 0 0 0 0 0 20 0 1 0 657869284 1613824 225 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134639534 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/31343/statm: 394 225 75 177 0 216 0

[startup+0.042008 s]
/proc/loadavg: 15.93 13.26 9.83 2/187 31343
/proc/meminfo: memFree=18982388/36427776 swapFree=6096/11344
[pid=31343] ppid=31341 vsize=4804 CPUtime=0.04
/proc/31343/stat : 31343 (ttsth-5-0) R 31341 31343 15497 0 -1 4202496 1079 0 0 0 4 0 0 0 20 0 1 0 657869284 4919296 1035 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134680320 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/31343/statm: 1201 1036 76 177 0 1023 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4804

[startup+0.102013 s]
/proc/loadavg: 15.93 13.26 9.83 2/187 31343
/proc/meminfo: memFree=18982388/36427776 swapFree=6096/11344
[pid=31343] ppid=31341 vsize=5120 CPUtime=0.1
/proc/31343/stat : 31343 (ttsth-5-0) R 31341 31343 15497 0 -1 4202496 1138 0 0 0 10 0 0 0 20 0 1 0 657869284 5242880 1094 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134555272 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/31343/statm: 1280 1094 77 177 0 1102 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5120

[startup+0.302034 s]
/proc/loadavg: 15.93 13.26 9.83 2/187 31343
/proc/meminfo: memFree=18982388/36427776 swapFree=6096/11344
[pid=31343] ppid=31341 vsize=5120 CPUtime=0.28
/proc/31343/stat : 31343 (ttsth-5-0) R 31341 31343 15497 0 -1 4202496 1184 0 0 0 28 0 0 0 20 0 1 0 657869284 5242880 1140 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134555272 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/31343/statm: 1280 1140 77 177 0 1102 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5120

[startup+0.702241 s]
/proc/loadavg: 15.93 13.26 9.83 2/187 31343
/proc/meminfo: memFree=18982388/36427776 swapFree=6096/11344
[pid=31343] ppid=31341 vsize=185456 CPUtime=3.42
/proc/31343/stat : 31343 (ttsth-5-0) S 31341 31343 15497 0 -1 4202496 13463 0 0 0 98 244 0 0 20 0 17 0 657869284 189906944 13419 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/31343/statm: 46364 13419 95 177 0 46186 0
Current children cumulated CPU time (s) 3.42
Current children cumulated vsize (KiB) 185456

[startup+1.50492 s]
/proc/loadavg: 15.93 13.26 9.83 17/204 31360
/proc/meminfo: memFree=18926256/36427776 swapFree=6440/68912
[pid=31343] ppid=31341 vsize=196604 CPUtime=15.05
/proc/31343/stat : 31343 (ttsth-5-0) S 31341 31343 15497 0 -1 4202496 16896 0 0 0 448 1057 0 0 20 0 17 0 657869284 201322496 16852 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/31343/statm: 49151 16852 95 177 0 48973 0
[pid=31343/tid=31345] ppid=31341 vsize=196604 CPUtime=0.96
/proc/31343/task/31345/stat : 31345 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 530 0 0 0 92 4 0 0 20 0 17 0 657869334 201322496 16852 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31343/tid=31346] ppid=31341 vsize=196604 CPUtime=0.96
/proc/31343/task/31346/stat : 31346 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 265 0 0 0 20 76 0 0 20 0 17 0 657869334 201322496 16852 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31343/tid=31347] ppid=31341 vsize=196604 CPUtime=0.96
/proc/31343/task/31347/stat : 31347 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 350 0 0 0 24 72 0 0 20 0 17 0 657869334 201322496 16852 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31343/tid=31348] ppid=31341 vsize=196604 CPUtime=0.96
/proc/31343/task/31348/stat : 31348 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 296 0 0 0 22 74 0 0 20 0 17 0 657869334 201322496 16852 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31343/tid=31349] ppid=31341 vsize=196604 CPUtime=0.96
/proc/31343/task/31349/stat : 31349 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 367 0 0 0 30 66 0 0 20 0 17 0 657869334 201322496 16852 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31343/tid=31350] ppid=31341 vsize=196604 CPUtime=0.96
/proc/31343/task/31350/stat : 31350 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 251 0 0 0 20 76 0 0 20 0 17 0 657869334 201322496 16852 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134681775 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31343/tid=31351] ppid=31341 vsize=196604 CPUtime=0.96
/proc/31343/task/31351/stat : 31351 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 354 0 0 0 24 72 0 0 20 0 17 0 657869334 201322496 16852 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31343/tid=31352] ppid=31341 vsize=196604 CPUtime=0.96
/proc/31343/task/31352/stat : 31352 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 308 0 0 0 20 76 0 0 20 0 17 0 657869334 201322496 16852 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31343/tid=31353] ppid=31341 vsize=196604 CPUtime=0.72
/proc/31343/task/31353/stat : 31353 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 237 0 0 0 16 56 0 0 20 0 17 0 657869334 201322496 16852 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31343/tid=31354] ppid=31341 vsize=196604 CPUtime=0.96
/proc/31343/task/31354/stat : 31354 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 357 0 0 0 18 78 0 0 20 0 17 0 657869334 201322496 16852 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31343/tid=31355] ppid=31341 vsize=196604 CPUtime=0.96
/proc/31343/task/31355/stat : 31355 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 288 0 0 0 26 70 0 0 20 0 17 0 657869334 201322496 16853 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31343/tid=31356] ppid=31341 vsize=196604 CPUtime=0.96
/proc/31343/task/31356/stat : 31356 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 260 0 0 0 20 76 0 0 20 0 17 0 657869334 201322496 16853 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31343/tid=31357] ppid=31341 vsize=196604 CPUtime=0.7
/proc/31343/task/31357/stat : 31357 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 292 0 0 0 12 58 0 0 20 0 17 0 657869334 201322496 16853 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31343/tid=31358] ppid=31341 vsize=196604 CPUtime=0.96
/proc/31343/task/31358/stat : 31358 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 264 0 0 0 20 76 0 0 20 0 17 0 657869334 201322496 16853 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31343/tid=31359] ppid=31341 vsize=196604 CPUtime=0.96
/proc/31343/task/31359/stat : 31359 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 282 0 0 0 22 74 0 0 20 0 17 0 657869334 201322496 16853 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31343/tid=31360] ppid=31341 vsize=196604 CPUtime=0.52
/proc/31343/task/31360/stat : 31360 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 178 0 0 0 14 38 0 0 20 0 17 0 657869334 201322496 16853 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 15.05
Current children cumulated vsize (KiB) 196604

[startup+3.10475 s]
/proc/loadavg: 15.93 13.26 9.83 17/204 31360
/proc/meminfo: memFree=18905776/36427776 swapFree=6476/88936
[pid=31343] ppid=31341 vsize=231620 CPUtime=38.32
/proc/31343/stat : 31343 (ttsth-5-0) S 31341 31343 15497 0 -1 4202496 25742 0 0 0 1615 2217 0 0 20 0 17 0 657869284 237178880 25698 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/31343/statm: 57905 25699 95 177 0 57727 0
[pid=31343/tid=31345] ppid=31341 vsize=231620 CPUtime=2.58
/proc/31343/task/31345/stat : 31345 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 825 0 0 0 252 6 0 0 20 0 17 0 657869334 237178880 25699 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134587260 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31343/tid=31346] ppid=31341 vsize=231620 CPUtime=1.96
/proc/31343/task/31346/stat : 31346 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 684 0 0 0 60 136 0 0 20 0 17 0 657869334 237178880 25699 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31343/tid=31347] ppid=31341 vsize=231620 CPUtime=2.5
/proc/31343/task/31347/stat : 31347 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 1174 0 0 0 94 156 0 0 20 0 17 0 657869334 237178880 25699 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31343/tid=31348] ppid=31341 vsize=231620 CPUtime=2.5
/proc/31343/task/31348/stat : 31348 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 965 0 0 0 90 160 0 0 20 0 17 0 657869334 237178880 25699 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31343/tid=31349] ppid=31341 vsize=231620 CPUtime=2.5
/proc/31343/task/31349/stat : 31349 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 1514 0 0 0 106 144 0 0 20 0 17 0 657869334 237178880 25700 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31343/tid=31350] ppid=31341 vsize=231620 CPUtime=2.5
/proc/31343/task/31350/stat : 31350 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 517 0 0 0 78 172 0 0 20 0 17 0 657869334 237178880 25700 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31343/tid=31351] ppid=31341 vsize=231620 CPUtime=2.52
/proc/31343/task/31351/stat : 31351 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 1341 0 0 0 114 138 0 0 20 0 17 0 657869334 237178880 25701 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31343/tid=31352] ppid=31341 vsize=231620 CPUtime=2.52
/proc/31343/task/31352/stat : 31352 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 822 0 0 0 90 162 0 0 20 0 17 0 657869334 237178880 25701 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31343/tid=31353] ppid=31341 vsize=231620 CPUtime=1.5
/proc/31343/task/31353/stat : 31353 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 899 0 0 0 64 86 0 0 20 0 17 0 657869334 237178880 25701 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31343/tid=31354] ppid=31341 vsize=231620 CPUtime=2.52
/proc/31343/task/31354/stat : 31354 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 590 0 0 0 86 166 0 0 20 0 17 0 657869334 237178880 25701 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31343/tid=31355] ppid=31341 vsize=231620 CPUtime=2.52
/proc/31343/task/31355/stat : 31355 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 820 0 0 0 94 158 0 0 20 0 17 0 657869334 237178880 25702 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31343/tid=31356] ppid=31341 vsize=231620 CPUtime=2.52
/proc/31343/task/31356/stat : 31356 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 553 0 0 0 86 166 0 0 20 0 17 0 657869334 237178880 25702 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134680474 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31343/tid=31357] ppid=31341 vsize=231620 CPUtime=2.2
/proc/31343/task/31357/stat : 31357 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 635 0 0 0 78 142 0 0 20 0 17 0 657869334 237178880 25702 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31343/tid=31358] ppid=31341 vsize=231620 CPUtime=2.52
/proc/31343/task/31358/stat : 31358 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 533 0 0 0 88 164 0 0 20 0 17 0 657869334 237178880 25702 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31343/tid=31359] ppid=31341 vsize=231620 CPUtime=2.52
/proc/31343/task/31359/stat : 31359 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 1146 0 0 0 110 142 0 0 20 0 17 0 657869334 237178880 25703 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31343/tid=31360] ppid=31341 vsize=231620 CPUtime=1.9
/proc/31343/task/31360/stat : 31360 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 710 0 0 0 78 112 0 0 20 0 17 0 657869334 237178880 25705 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 38.32
Current children cumulated vsize (KiB) 231620

[startup+6.30259 s]
/proc/loadavg: 15.93 13.31 9.87 17/204 31360
/proc/meminfo: memFree=18782344/36427776 swapFree=6476/213324
[pid=31343] ppid=31341 vsize=384140 CPUtime=85.92
/proc/31343/stat : 31343 (ttsth-5-0) S 31341 31343 15497 0 -1 4202496 64053 0 0 0 6196 2396 0 0 20 0 17 0 657869284 393359360 64009 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/31343/statm: 96035 64011 95 177 0 95857 0
[pid=31343/tid=31345] ppid=31341 vsize=384140 CPUtime=5.76
/proc/31343/task/31345/stat : 31345 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 1411 0 0 0 568 8 0 0 20 0 17 0 657869334 393359360 64013 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134561426 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31343/tid=31346] ppid=31341 vsize=384140 CPUtime=3.54
/proc/31343/task/31346/stat : 31346 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 1651 0 0 0 214 140 0 0 20 0 17 0 657869334 393359360 64013 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31343/tid=31347] ppid=31341 vsize=384140 CPUtime=5.68
/proc/31343/task/31347/stat : 31347 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 3650 0 0 0 396 172 0 0 20 0 17 0 657869334 393359360 64013 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31343/tid=31348] ppid=31341 vsize=384140 CPUtime=5.66
/proc/31343/task/31348/stat : 31348 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 3540 0 0 0 398 168 0 0 20 0 17 0 657869334 393359360 64013 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31343/tid=31349] ppid=31341 vsize=384140 CPUtime=5.64
/proc/31343/task/31349/stat : 31349 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 5295 0 0 0 400 164 0 0 20 0 17 0 657869334 393359360 64014 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31343/tid=31350] ppid=31341 vsize=384140 CPUtime=5.7
/proc/31343/task/31350/stat : 31350 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 3072 0 0 0 390 180 0 0 20 0 17 0 657869334 393359360 64014 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31343/tid=31351] ppid=31341 vsize=384140 CPUtime=5.7
/proc/31343/task/31351/stat : 31351 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 4360 0 0 0 422 148 0 0 20 0 17 0 657869334 393359360 64014 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31343/tid=31352] ppid=31341 vsize=384140 CPUtime=5.68
/proc/31343/task/31352/stat : 31352 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 3914 0 0 0 402 166 0 0 20 0 17 0 657869334 393359360 64014 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31343/tid=31353] ppid=31341 vsize=384140 CPUtime=3.82
/proc/31343/task/31353/stat : 31353 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 2651 0 0 0 276 106 0 0 20 0 17 0 657869334 393359360 64016 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31343/tid=31354] ppid=31341 vsize=384140 CPUtime=5.68
/proc/31343/task/31354/stat : 31354 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 3661 0 0 0 392 176 0 0 20 0 17 0 657869334 393359360 64017 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31343/tid=31355] ppid=31341 vsize=384140 CPUtime=5.04
/proc/31343/task/31355/stat : 31355 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 2972 0 0 0 338 166 0 0 20 0 17 0 657869334 393359360 64019 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134636436 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31343/tid=31356] ppid=31341 vsize=384140 CPUtime=5.68
/proc/31343/task/31356/stat : 31356 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 3098 0 0 0 390 178 0 0 20 0 17 0 657869334 393359360 64019 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31343/tid=31357] ppid=31341 vsize=384140 CPUtime=5.28
/proc/31343/task/31357/stat : 31357 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 3083 0 0 0 370 158 0 0 20 0 17 0 657869334 393359360 64019 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134545992 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31343/tid=31358] ppid=31341 vsize=384140 CPUtime=5.72
/proc/31343/task/31358/stat : 31358 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 2749 0 0 0 404 168 0 0 20 0 17 0 657869334 393359360 64021 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31343/tid=31359] ppid=31341 vsize=384140 CPUtime=5.68
/proc/31343/task/31359/stat : 31359 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 4051 0 0 0 406 162 0 0 20 0 17 0 657869334 393359360 64021 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31343/tid=31360] ppid=31341 vsize=384140 CPUtime=5.08
/proc/31343/task/31360/stat : 31360 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 2885 0 0 0 382 126 0 0 20 0 17 0 657869334 393359360 64021 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 85.92
Current children cumulated vsize (KiB) 384140

[startup+12.7032 s]
/proc/loadavg: 15.94 13.35 9.90 17/204 31360
/proc/meminfo: memFree=18429528/36427776 swapFree=6476/566192
[pid=31343] ppid=31341 vsize=715980 CPUtime=178.43
/proc/31343/stat : 31343 (ttsth-5-0) S 31341 31343 15497 0 -1 4202496 146724 0 0 0 15341 2502 0 0 20 0 17 0 657869284 733163520 146680 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/31343/statm: 178995 146680 95 177 0 178817 0
[pid=31343/tid=31345] ppid=31341 vsize=715980 CPUtime=12.06
/proc/31343/task/31345/stat : 31345 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 2483 0 0 0 1194 12 0 0 20 0 17 0 657869334 733163520 146680 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31343/tid=31346] ppid=31341 vsize=715980 CPUtime=6.78
/proc/31343/task/31346/stat : 31346 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 4641 0 0 0 538 140 0 0 20 0 17 0 657869334 733163520 146681 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31343/tid=31347] ppid=31341 vsize=715980 CPUtime=11.82
/proc/31343/task/31347/stat : 31347 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 9581 0 0 0 1002 180 0 0 20 0 17 0 657869334 733163520 146681 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31343/tid=31348] ppid=31341 vsize=715980 CPUtime=11.82
/proc/31343/task/31348/stat : 31348 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 8808 0 0 0 1010 172 0 0 20 0 17 0 657869334 733163520 146681 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134749345 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31343/tid=31349] ppid=31341 vsize=715980 CPUtime=11.8
/proc/31343/task/31349/stat : 31349 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 14024 0 0 0 1002 178 0 0 20 0 17 0 657869334 733163520 146681 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134590267 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31343/tid=31350] ppid=31341 vsize=715980 CPUtime=11.84
/proc/31343/task/31350/stat : 31350 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 7531 0 0 0 1004 180 0 0 20 0 17 0 657869334 733163520 146681 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134680273 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31343/tid=31351] ppid=31341 vsize=715980 CPUtime=11.84
/proc/31343/task/31351/stat : 31351 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 10037 0 0 0 1028 156 0 0 20 0 17 0 657869334 733163520 146682 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134590180 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31343/tid=31352] ppid=31341 vsize=715980 CPUtime=11.88
/proc/31343/task/31352/stat : 31352 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 9453 0 0 0 1012 176 0 0 20 0 17 0 657869334 733163520 146682 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31343/tid=31353] ppid=31341 vsize=715980 CPUtime=9.92
/proc/31343/task/31353/stat : 31353 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 8315 0 0 0 870 122 0 0 20 0 17 0 657869334 733163520 146682 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134590183 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31343/tid=31354] ppid=31341 vsize=715980 CPUtime=11.78
/proc/31343/task/31354/stat : 31354 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 8728 0 0 0 1002 176 0 0 20 0 17 0 657869334 733163520 146682 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31343/tid=31355] ppid=31341 vsize=715980 CPUtime=8.22
/proc/31343/task/31355/stat : 31355 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 5317 0 0 0 656 166 0 0 20 0 17 0 657869334 733163520 146682 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31343/tid=31356] ppid=31341 vsize=715980 CPUtime=11.84
/proc/31343/task/31356/stat : 31356 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 8892 0 0 0 1002 182 0 0 20 0 17 0 657869334 733163520 146683 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31343/tid=31357] ppid=31341 vsize=715980 CPUtime=11.34
/proc/31343/task/31357/stat : 31357 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 10023 0 0 0 958 176 0 0 20 0 17 0 657869334 733163520 146683 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134680502 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31343/tid=31358] ppid=31341 vsize=715980 CPUtime=11.82
/proc/31343/task/31358/stat : 31358 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 8159 0 0 0 1014 168 0 0 20 0 17 0 657869334 733163520 146683 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134749351 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31343/tid=31359] ppid=31341 vsize=715980 CPUtime=11.82
/proc/31343/task/31359/stat : 31359 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 10856 0 0 0 1012 170 0 0 20 0 17 0 657869334 733163520 146683 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134591181 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31343/tid=31360] ppid=31341 vsize=715980 CPUtime=11.26
/proc/31343/task/31360/stat : 31360 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 7860 0 0 0 990 136 0 0 20 0 17 0 657869334 733163520 146685 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134562413 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 178.43
Current children cumulated vsize (KiB) 715980

[startup+25.5059 s]
/proc/loadavg: 15.95 13.48 10.00 17/204 31360
/proc/meminfo: memFree=17806360/36427776 swapFree=6476/1188304
[pid=31343] ppid=31341 vsize=1320268 CPUtime=364.54
/proc/31343/stat : 31343 (ttsth-5-0) S 31341 31343 15497 0 -1 4202496 297856 0 0 0 33358 3096 0 0 20 0 17 0 657869284 1351954432 297812 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/31343/statm: 330067 297812 95 177 0 329889 0
[pid=31343/tid=31345] ppid=31341 vsize=1320268 CPUtime=24.4
/proc/31343/task/31345/stat : 31345 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 12438 0 0 0 2416 24 0 0 20 0 17 0 657869334 1351954432 297813 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134545968 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31343/tid=31346] ppid=31341 vsize=1320268 CPUtime=14
/proc/31343/task/31346/stat : 31346 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 10937 0 0 0 1244 156 0 0 20 0 17 0 657869334 1351954432 297814 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31343/tid=31347] ppid=31341 vsize=1320268 CPUtime=23.68
/proc/31343/task/31347/stat : 31347 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 19339 0 0 0 2142 226 0 0 20 0 17 0 657869334 1351954432 297815 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31343/tid=31348] ppid=31341 vsize=1320268 CPUtime=22.7
/proc/31343/task/31348/stat : 31348 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 17638 0 0 0 2066 204 0 0 20 0 17 0 657869334 1351954432 297817 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134593373 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31343/tid=31349] ppid=31341 vsize=1320268 CPUtime=24.14
/proc/31343/task/31349/stat : 31349 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 28889 0 0 0 2188 226 0 0 20 0 17 0 657869334 1351954432 297817 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31343/tid=31350] ppid=31341 vsize=1320268 CPUtime=23.24
/proc/31343/task/31350/stat : 31350 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 16232 0 0 0 2100 224 0 0 20 0 17 0 657869334 1351954432 297817 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31343/tid=31351] ppid=31341 vsize=1320268 CPUtime=21.56
/proc/31343/task/31351/stat : 31351 (ttsth-5-0) S 31341 31343 15497 0 -1 4202560 17204 0 0 0 1970 186 0 0 20 0 17 0 657869334 1351954432 297817 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31343/tid=31352] ppid=31341 vsize=1320268 CPUtime=24.24
/proc/31343/task/31352/stat : 31352 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 22281 0 0 0 2198 226 0 0 20 0 17 0 657869334 1351954432 297818 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134562459 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31343/tid=31353] ppid=31341 vsize=1320268 CPUtime=22.26
/proc/31343/task/31353/stat : 31353 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 16456 0 0 0 2060 166 0 0 20 0 17 0 657869334 1351954432 297820 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134680502 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31343/tid=31354] ppid=31341 vsize=1320268 CPUtime=24.12
/proc/31343/task/31354/stat : 31354 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 18026 0 0 0 2190 222 0 0 20 0 17 0 657869334 1351954432 297820 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31343/tid=31355] ppid=31341 vsize=1320268 CPUtime=19.98
/proc/31343/task/31355/stat : 31355 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 14169 0 0 0 1798 200 0 0 20 0 17 0 657869334 1351954432 297820 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31343/tid=31356] ppid=31341 vsize=1320268 CPUtime=24.22
/proc/31343/task/31356/stat : 31356 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 16812 0 0 0 2208 214 0 0 20 0 17 0 657869334 1351954432 297820 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31343/tid=31357] ppid=31341 vsize=1320268 CPUtime=23.42
/proc/31343/task/31357/stat : 31357 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 23527 0 0 0 2122 220 0 0 20 0 17 0 657869334 1351954432 297821 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134680727 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31343/tid=31358] ppid=31341 vsize=1320268 CPUtime=24.08
/proc/31343/task/31358/stat : 31358 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 16525 0 0 0 2208 200 0 0 20 0 17 0 657869334 1351954432 297821 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31343/tid=31359] ppid=31341 vsize=1320268 CPUtime=24.22
/proc/31343/task/31359/stat : 31359 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 19395 0 0 0 2208 214 0 0 20 0 17 0 657869334 1351954432 297822 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31343/tid=31360] ppid=31341 vsize=1320268 CPUtime=23.66
/proc/31343/task/31360/stat : 31360 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 15977 0 0 0 2192 174 0 0 20 0 17 0 657869334 1351954432 297822 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 364.54
Current children cumulated vsize (KiB) 1320268



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+42.6019 s]
/proc/loadavg: 15.96 13.64 10.12 17/204 31360
/proc/meminfo: memFree=17014248/36427776 swapFree=6476/1977548
[pid=31343] ppid=31341 vsize=2096328 CPUtime=636.94
/proc/31343/stat : 31343 (ttsth-5-0) S 31341 31343 15497 0 -1 4202496 491942 0 0 0 59995 3699 0 0 20 0 17 0 657869284 2146639872 491898 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/31343/statm: 524082 491898 95 177 0 523904 0
[pid=31343/tid=31345] ppid=31341 vsize=2096328 CPUtime=41.48
/proc/31343/task/31345/stat : 31345 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 23240 0 0 0 4110 38 0 0 20 0 17 0 657869334 2146639872 491898 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31343/tid=31346] ppid=31341 vsize=2096328 CPUtime=31.04
/proc/31343/task/31346/stat : 31346 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 22935 0 0 0 2908 196 0 0 20 0 17 0 657869334 2146639872 491900 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134562351 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31343/tid=31347] ppid=31341 vsize=2096488 CPUtime=40.73
/proc/31343/task/31347/stat : 31347 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 30577 0 0 0 3811 262 0 0 20 0 17 0 657869334 2146803712 491901 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31343/tid=31348] ppid=31341 vsize=2096488 CPUtime=39.73
/proc/31343/task/31348/stat : 31348 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 27977 0 0 0 3733 240 0 0 20 0 17 0 657869334 2146803712 491902 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31343/tid=31349] ppid=31341 vsize=2096488 CPUtime=41.19
/proc/31343/task/31349/stat : 31349 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 43389 0 0 0 3855 264 0 0 20 0 17 0 657869334 2146803712 491902 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31343/tid=31350] ppid=31341 vsize=2096488 CPUtime=40.29
/proc/31343/task/31350/stat : 31350 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 30486 0 0 0 3761 268 0 0 20 0 17 0 657869334 2146803712 491902 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134551475 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31343/tid=31351] ppid=31341 vsize=2096488 CPUtime=38.61
/proc/31343/task/31351/stat : 31351 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 33663 0 0 0 3641 220 0 0 20 0 17 0 657869334 2146803712 491902 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134733328 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31343/tid=31352] ppid=31341 vsize=2096488 CPUtime=41.3
/proc/31343/task/31352/stat : 31352 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 40229 0 0 0 3870 260 0 0 20 0 17 0 657869334 2146803712 491902 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31343/tid=31353] ppid=31341 vsize=2096488 CPUtime=39.31
/proc/31343/task/31353/stat : 31353 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 27254 0 0 0 3721 210 0 0 20 0 17 0 657869334 2146803712 491902 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134552678 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31343/tid=31354] ppid=31341 vsize=2096488 CPUtime=41.17
/proc/31343/task/31354/stat : 31354 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 29639 0 0 0 3849 268 0 0 20 0 17 0 657869334 2146803712 491902 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134749297 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31343/tid=31355] ppid=31341 vsize=2096488 CPUtime=37.01
/proc/31343/task/31355/stat : 31355 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 24470 0 0 0 3459 242 0 0 20 0 17 0 657869334 2146803712 491904 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134562444 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31343/tid=31356] ppid=31341 vsize=2096488 CPUtime=41.25
/proc/31343/task/31356/stat : 31356 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 27222 0 0 0 3875 250 0 0 20 0 17 0 657869334 2146803712 491904 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134591177 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31343/tid=31357] ppid=31341 vsize=2096488 CPUtime=40.13
/proc/31343/task/31357/stat : 31357 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 39030 0 0 0 3747 266 0 0 20 0 17 0 657869334 2146803712 491904 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134680326 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31343/tid=31358] ppid=31341 vsize=2096488 CPUtime=41.13
/proc/31343/task/31358/stat : 31358 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 27010 0 0 0 3869 244 0 0 20 0 17 0 657869334 2146803712 491904 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134561428 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31343/tid=31359] ppid=31341 vsize=2096488 CPUtime=41.3
/proc/31343/task/31359/stat : 31359 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 28861 0 0 0 3876 254 0 0 20 0 17 0 657869334 2146803712 491904 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134749351 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31343/tid=31360] ppid=31341 vsize=2096488 CPUtime=40.7
/proc/31343/task/31360/stat : 31360 (ttsth-5-0) R 31341 31343 15497 0 -1 4202560 23947 0 0 0 3866 204 0 0 20 0 17 0 657869334 2146803712 491904 18446744073709551615 134512640 135237372 4287244160 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 636.94
Current children cumulated vsize (KiB) 2096328

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

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

[startup+42.8019 s]
/proc/loadavg: 15.96 13.64 10.12 2/190 31361
/proc/meminfo: memFree=18808672/36427776 swapFree=6476/180380
[pid=31343] ppid=31341 vsize=0 CPUtime=637.31
/proc/31343/stat : 31343 (ttsth-5-0) Z 31341 31343 15497 0 -1 4203532 492039 0 0 0 60013 3718 0 0 20 0 2 0 657869284 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/31343/statm: 0 0 0 0 0 0 0
[pid=31343/tid=31359] ppid=31341 vsize=0 CPUtime=41.48
/proc/31343/task/31359/stat : 31359 (ttsth-5-0) R 31341 31343 15497 0 -1 4203588 28868 0 0 0 3876 272 0 0 20 0 2 0 657869334 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) 637.31
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 42.8248
CPU time (s): 637.34
CPU user time (s): 600.145
CPU system time (s): 37.1943
CPU usage (%): 1488.25
Max. virtual memory (cumulated for all children) (KiB): 2096328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 600.146
system time used= 37.1943
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 492039
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= 46810
involuntary context switches= 2255

runsolver used 0.192012 second user time and 0.664041 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 15:20:29
IDJOB=1781340
IDBENCH=71729
IDSOLVER=634
FILE ID=xenhost3-49/1781340-1244985629
PBS_JOBID=
Free space on /tmp= 7022 MiB

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

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

MD5SUM BENCH= c356d60706abf7ddd80826e417c8de67
RANDOM SEED= 1112702167

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:      18982388 kB
Buffers:        528460 kB
Cached:       14118880 kB
SwapCached:          0 kB
Active:        4177856 kB
Inactive:     10480848 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:             696 kB
Writeback:           0 kB
AnonPages:       11344 kB
Mapped:           5432 kB
Slab:           734220 kB
SReclaimable:   707448 kB
SUnreclaim:      26772 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    36512 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:21:14