Trace number 1781355

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) 3380.8 228.232

General information on the benchmark

Namevelev-live-uns-2.0-ebuf.cnf
MD5SUM67de5cf23f11aa400b48f4451ee5f362
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark37.17
Satisfiable
(Un)Satisfiability was proved
Number of variables14628
Number of clauses161477
Sum of the clauses size460215
Maximum clause length88
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2133719
Number of clauses of size 316973
Number of clauses of size 4833
Number of clauses of size 5676
Number of clauses of size over 59275

Solver Data 

0.20/0.23	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781355-1244985674.cnf 
0.20/0.23	c Using SATTIMEOUT of 10000
0.20/0.23	c Using SATRAM of 2047
0.20/0.23	c Size of subset node = 16
0.20/0.23	c Variables = 14628
0.20/0.23	c Clauses = 161477
0.20/0.23	c Literals = 460215
0.20/0.23	c Reduced size:
0.20/0.23	c Variables = 14628
0.20/0.23	c Clauses = 161427
0.20/0.23	c Literals = 460105
0.20/0.23	c a2
0.80/0.85	c a1
3.40/3.48	c Independent sub-problems = 1
3.40/3.48	c Sub-problem with 14621 variables and 161427 clauses
3.40/3.48	c using permutation method 4
3.40/3.48	c count = 1
3.40/3.48	c Ordering finished 3.420 seconds
3.40/3.48	c mapped 3.470 seconds
3.40/3.48	c permuted 3.470 seconds
3.40/3.48	c about to sort
3.50/3.52	c sorted
9.10/9.16	c clauses now 161427
9.10/9.16	c init finished 3.800 seconds
9.10/9.16	c tree built 9.140 seconds
9.10/9.16	c 
9.10/9.16	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
9.10/9.16	c ---------------------------------|----------------------------------|------------------------------------------------------
9.10/9.16	c ................................ | ..........                       |                        9.1           0.0             
9.10/9.16	c ................................ | ..........                     1 |                        9.1           0.1             
9.10/9.16	c ................................ | ..........                     2 |                        9.1           0.2             
9.10/9.16	c ................................ | ..........                     3 |                        9.1           0.3             
9.10/9.16	c ................................ | ..........                     4 |                        9.1           0.4             
9.10/9.16	c ................................ | ..........                     5 |                        9.1           0.5             
9.53/9.25	c ................................ | ..........                  1000 | 2                      9.8         102.4          391
217.64/25.49	c ................................ | ..........                485000 | 7803                 200.7        2416.3      6312315
426.01/40.23	c ................................ | ..........                825000 | 13932                400.8        2058.6     12565746
632.61/54.11	c ................................ | ..........               1055000 | 18807                600.2        1757.6     18496952
838.04/67.93	c ................................ | ..........               1280000 | 24220                800.4        1599.2     23417163
1042.39/81.28	c ................................ | *.........               1475000 | 30202               1001.1        1473.3     28761352
1247.62/94.10	c ................................ | *.........               1631000 | 35678               1200.5        1358.6     35297487
1451.24/106.95	c ................................ | *.........               1776000 | 40188               1400.7        1268.0     42579436
1656.56/119.86	c ................................ | *.........               1904000 | 44825               1602.1        1188.4     48535272
1858.43/132.50	c ................................ | *.........               2020000 | 48755               1800.0        1122.2     54606175
2060.95/145.25	c ................................ | **........               2124000 | 52710               2000.7        1061.6     60098013

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-1781355-1244985674/watcher-1781355-1244985674 -o /tmp/evaluation-result-1781355-1244985674/solver-1781355-1244985674 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781355-1244985674.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.96 13.64 10.12 2/187 31398
/proc/meminfo: memFree=18979292/36427776 swapFree=5528/11424
[pid=31398] ppid=31396 vsize=1580 CPUtime=0
/proc/31398/stat : 31398 (ttsth-5-0) R 31396 31398 15497 0 -1 4202496 283 0 0 0 0 0 0 0 20 0 1 0 657873768 1617920 240 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134732614 0 0 1 0 0 0 0 17 8 0 0 0 0 0
/proc/31398/statm: 395 241 75 177 0 217 0

[startup+0.07966 s]
/proc/loadavg: 15.96 13.64 10.12 2/187 31398
/proc/meminfo: memFree=18979292/36427776 swapFree=5528/11424
[pid=31398] ppid=31396 vsize=6088 CPUtime=0.06
/proc/31398/stat : 31398 (ttsth-5-0) R 31396 31398 15497 0 -1 4202496 1415 0 0 0 6 0 0 0 20 0 1 0 657873768 6234112 1372 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134639534 0 0 1 0 0 0 0 17 8 0 0 0 0 0
/proc/31398/statm: 1522 1374 75 177 0 1344 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6088

[startup+0.103643 s]
/proc/loadavg: 15.96 13.64 10.12 2/187 31398
/proc/meminfo: memFree=18979292/36427776 swapFree=5528/11424
[pid=31398] ppid=31396 vsize=7720 CPUtime=0.1
/proc/31398/stat : 31398 (ttsth-5-0) R 31396 31398 15497 0 -1 4202496 1802 0 0 0 10 0 0 0 20 0 1 0 657873768 7905280 1759 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134732614 0 0 1 0 0 0 0 17 8 0 0 0 0 0
/proc/31398/statm: 1930 1759 75 177 0 1752 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7720

[startup+0.303715 s]
/proc/loadavg: 15.96 13.64 10.12 2/187 31398
/proc/meminfo: memFree=18979292/36427776 swapFree=5528/11424
[pid=31398] ppid=31396 vsize=31116 CPUtime=0.3
/proc/31398/stat : 31398 (ttsth-5-0) R 31396 31398 15497 0 -1 4202496 6997 0 0 0 26 4 0 0 20 0 1 0 657873768 31862784 6954 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134554919 0 0 1 0 0 0 0 17 8 0 0 0 0 0
/proc/31398/statm: 7779 6955 76 177 0 7601 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 31116

[startup+0.703705 s]
/proc/loadavg: 15.96 13.64 10.12 2/187 31398
/proc/meminfo: memFree=18979292/36427776 swapFree=5528/11424
[pid=31398] ppid=31396 vsize=35776 CPUtime=0.7
/proc/31398/stat : 31398 (ttsth-5-0) R 31396 31398 15497 0 -1 4202496 7979 0 0 0 66 4 0 0 20 0 1 0 657873768 36634624 7900 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134680364 0 0 1 0 0 0 0 17 8 0 0 0 0 0
/proc/31398/statm: 8944 7900 76 177 0 8766 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 35776

[startup+1.5038 s]
/proc/loadavg: 15.96 13.64 10.12 2/188 31399
/proc/meminfo: memFree=18949960/36427776 swapFree=6100/40092
[pid=31398] ppid=31396 vsize=30116 CPUtime=1.5
/proc/31398/stat : 31398 (ttsth-5-0) R 31396 31398 15497 0 -1 4202496 8534 0 0 0 146 4 0 0 20 0 1 0 657873768 30838784 7275 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134731728 0 0 1 0 0 0 0 17 8 0 0 0 0 0
/proc/31398/statm: 7529 7275 77 177 0 7351 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 30116

[startup+3.10397 s]
/proc/loadavg: 15.96 13.64 10.12 2/188 31399
/proc/meminfo: memFree=18948712/36427776 swapFree=6404/41284
[pid=31398] ppid=31396 vsize=30116 CPUtime=3.1
/proc/31398/stat : 31398 (ttsth-5-0) R 31396 31398 15497 0 -1 4202496 8583 0 0 0 306 4 0 0 20 0 1 0 657873768 30838784 7324 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134600738 0 0 1 0 0 0 0 17 8 0 0 0 0 0
/proc/31398/statm: 7529 7324 77 177 0 7351 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 30116

[startup+6.30423 s]
/proc/loadavg: 14.77 13.43 10.07 2/188 31399
/proc/meminfo: memFree=18807112/36427776 swapFree=6448/182448
[pid=31398] ppid=31396 vsize=172272 CPUtime=6.3
/proc/31398/stat : 31398 (ttsth-5-0) R 31396 31398 15497 0 -1 4202496 44364 0 0 0 610 20 0 0 20 0 1 0 657873768 176406528 42947 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134551487 0 0 1 0 0 0 0 17 8 0 0 0 0 0
/proc/31398/statm: 43068 42947 88 177 0 42890 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 172272

[startup+12.7066 s]
/proc/loadavg: 13.66 13.23 10.02 17/204 31415
/proc/meminfo: memFree=18712216/36427776 swapFree=6476/280752
[pid=31398] ppid=31396 vsize=399844 CPUtime=55.51
/proc/31398/stat : 31398 (ttsth-5-0) S 31396 31398 15497 0 -1 4202496 70679 0 0 0 3695 1856 0 0 20 0 17 0 657873768 409440256 68975 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/31398/statm: 99961 68975 95 177 0 99783 0
[pid=31398/tid=31400] ppid=31396 vsize=399844 CPUtime=2.66
/proc/31398/task/31400/stat : 31400 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 1016 0 0 0 258 8 0 0 20 0 17 0 657874684 409440256 68975 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31398/tid=31401] ppid=31396 vsize=399844 CPUtime=2.92
/proc/31398/task/31401/stat : 31401 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 603 0 0 0 168 124 0 0 20 0 17 0 657874684 409440256 68975 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134591059 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31398/tid=31402] ppid=31396 vsize=399844 CPUtime=2.58
/proc/31398/task/31402/stat : 31402 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 432 0 0 0 138 120 0 0 20 0 17 0 657874684 409440256 68975 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31398/tid=31403] ppid=31396 vsize=399844 CPUtime=3.42
/proc/31398/task/31403/stat : 31403 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 545 0 0 0 204 138 0 0 20 0 17 0 657874684 409440256 68975 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134749351 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31398/tid=31404] ppid=31396 vsize=399844 CPUtime=3.4
/proc/31398/task/31404/stat : 31404 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 474 0 0 0 198 142 0 0 20 0 17 0 657874684 409440256 68975 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134550976 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31398/tid=31405] ppid=31396 vsize=399844 CPUtime=3.4
/proc/31398/task/31405/stat : 31405 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 711 0 0 0 210 130 0 0 20 0 17 0 657874684 409440256 68975 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134591099 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31398/tid=31406] ppid=31396 vsize=399844 CPUtime=1.76
/proc/31398/task/31406/stat : 31406 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 394 0 0 0 102 74 0 0 20 0 17 0 657874684 409440256 68975 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134591089 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31398/tid=31407] ppid=31396 vsize=399844 CPUtime=3.04
/proc/31398/task/31407/stat : 31407 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 450 0 0 0 166 138 0 0 20 0 17 0 657874685 409440256 68975 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31398/tid=31408] ppid=31396 vsize=399844 CPUtime=2.62
/proc/31398/task/31408/stat : 31408 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 600 0 0 0 140 122 0 0 20 0 17 0 657874685 409440256 68975 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31398/tid=31409] ppid=31396 vsize=399844 CPUtime=3.4
/proc/31398/task/31409/stat : 31409 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 730 0 0 0 208 132 0 0 20 0 17 0 657874685 409440256 68975 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134680502 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31398/tid=31410] ppid=31396 vsize=399844 CPUtime=3.3
/proc/31398/task/31410/stat : 31410 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 649 0 0 0 190 140 0 0 20 0 17 0 657874685 409440256 68975 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134590275 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31398/tid=31411] ppid=31396 vsize=399844 CPUtime=3.4
/proc/31398/task/31411/stat : 31411 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 643 0 0 0 200 140 0 0 20 0 17 0 657874685 409440256 68976 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31398/tid=31412] ppid=31396 vsize=399844 CPUtime=1.8
/proc/31398/task/31412/stat : 31412 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 451 0 0 0 110 70 0 0 20 0 17 0 657874685 409440256 68976 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134590129 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31398/tid=31413] ppid=31396 vsize=399844 CPUtime=3.38
/proc/31398/task/31413/stat : 31413 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 471 0 0 0 200 138 0 0 20 0 17 0 657874687 409440256 68976 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31398/tid=31414] ppid=31396 vsize=399844 CPUtime=1.74
/proc/31398/task/31414/stat : 31414 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 463 0 0 0 104 70 0 0 20 0 17 0 657874688 409440256 68976 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31398/tid=31415] ppid=31396 vsize=399844 CPUtime=3.38
/proc/31398/task/31415/stat : 31415 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 579 0 0 0 206 132 0 0 20 0 17 0 657874688 409440256 68976 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134592044 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 55.51
Current children cumulated vsize (KiB) 399844

[startup+25.5045 s]
/proc/loadavg: 14.18 13.36 10.12 17/204 31415
/proc/meminfo: memFree=18605160/36427776 swapFree=6476/387292
[pid=31398] ppid=31396 vsize=505544 CPUtime=219.02
/proc/31398/stat : 31398 (ttsth-5-0) S 31396 31398 15497 0 -1 4202496 96327 0 0 0 18414 3488 0 0 20 0 17 0 657873768 517677056 94623 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/31398/statm: 126386 94623 95 177 0 126208 0
[pid=31398/tid=31400] ppid=31396 vsize=505544 CPUtime=15.42
/proc/31398/task/31400/stat : 31400 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 2552 0 0 0 1530 12 0 0 20 0 17 0 657874684 517677056 94623 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31398/tid=31401] ppid=31396 vsize=505544 CPUtime=11.2
/proc/31398/task/31401/stat : 31401 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 2648 0 0 0 910 210 0 0 20 0 17 0 657874684 517677056 94623 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31398/tid=31402] ppid=31396 vsize=505544 CPUtime=9.2
/proc/31398/task/31402/stat : 31402 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 1402 0 0 0 738 182 0 0 20 0 17 0 657874684 517677056 94623 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31398/tid=31403] ppid=31396 vsize=505544 CPUtime=15.74
/proc/31398/task/31403/stat : 31403 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 1824 0 0 0 1292 282 0 0 20 0 17 0 657874684 517677056 94623 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134591126 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31398/tid=31404] ppid=31396 vsize=505544 CPUtime=15.98
/proc/31398/task/31404/stat : 31404 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 2692 0 0 0 1312 286 0 0 20 0 17 0 657874684 517677056 94623 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134549950 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31398/tid=31405] ppid=31396 vsize=505544 CPUtime=14.04
/proc/31398/task/31405/stat : 31405 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 2696 0 0 0 1154 250 0 0 20 0 17 0 657874684 517677056 94623 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31398/tid=31406] ppid=31396 vsize=505544 CPUtime=10.3
/proc/31398/task/31406/stat : 31406 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 1726 0 0 0 858 172 0 0 20 0 17 0 657874684 517677056 94623 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134590133 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31398/tid=31407] ppid=31396 vsize=505544 CPUtime=10.1
/proc/31398/task/31407/stat : 31407 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 1270 0 0 0 792 218 0 0 20 0 17 0 657874685 517677056 94623 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31398/tid=31408] ppid=31396 vsize=505544 CPUtime=15.02
/proc/31398/task/31408/stat : 31408 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 2315 0 0 0 1264 238 0 0 20 0 17 0 657874685 517677056 94623 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31398/tid=31409] ppid=31396 vsize=505544 CPUtime=15.98
/proc/31398/task/31409/stat : 31409 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 2801 0 0 0 1324 274 0 0 20 0 17 0 657874685 517677056 94623 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31398/tid=31410] ppid=31396 vsize=505544 CPUtime=15.18
/proc/31398/task/31410/stat : 31410 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 2116 0 0 0 1246 272 0 0 20 0 17 0 657874685 517677056 94623 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31398/tid=31411] ppid=31396 vsize=505544 CPUtime=15.28
/proc/31398/task/31411/stat : 31411 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 2706 0 0 0 1266 262 0 0 20 0 17 0 657874685 517677056 94623 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31398/tid=31412] ppid=31396 vsize=505544 CPUtime=11.34
/proc/31398/task/31412/stat : 31412 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 2121 0 0 0 970 164 0 0 20 0 17 0 657874685 517677056 94623 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31398/tid=31413] ppid=31396 vsize=505544 CPUtime=14.08
/proc/31398/task/31413/stat : 31413 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 1941 0 0 0 1150 258 0 0 20 0 17 0 657874687 517677056 94624 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31398/tid=31414] ppid=31396 vsize=505544 CPUtime=8.16
/proc/31398/task/31414/stat : 31414 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 1907 0 0 0 678 138 0 0 20 0 17 0 657874688 517677056 94624 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31398/tid=31415] ppid=31396 vsize=505544 CPUtime=12.72
/proc/31398/task/31415/stat : 31415 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 2141 0 0 0 1036 236 0 0 20 0 17 0 657874688 517677056 94625 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 219.02
Current children cumulated vsize (KiB) 505544

[startup+51.1053 s]
/proc/loadavg: 14.72 13.56 10.27 17/204 31415
/proc/meminfo: memFree=18418044/36427776 swapFree=6476/574564
[pid=31398] ppid=31396 vsize=702572 CPUtime=588.06
/proc/31398/stat : 31398 (ttsth-5-0) S 31396 31398 15497 0 -1 4202496 143911 0 0 0 52528 6278 0 0 20 0 17 0 657873768 719433728 142207 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/31398/statm: 175643 142207 95 177 0 175465 0
[pid=31398/tid=31400] ppid=31396 vsize=702572 CPUtime=40.99
/proc/31398/task/31400/stat : 31400 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 7132 0 0 0 4083 16 0 0 20 0 17 0 657874684 719433728 142207 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31398/tid=31401] ppid=31396 vsize=702572 CPUtime=36.58
/proc/31398/task/31401/stat : 31401 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 6081 0 0 0 3244 414 0 0 20 0 17 0 657874684 719433728 142207 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31398/tid=31402] ppid=31396 vsize=702572 CPUtime=30.96
/proc/31398/task/31402/stat : 31402 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 3301 0 0 0 2738 358 0 0 20 0 17 0 657874684 719433728 142207 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31398/tid=31403] ppid=31396 vsize=702572 CPUtime=35.96
/proc/31398/task/31403/stat : 31403 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 3327 0 0 0 3150 446 0 0 20 0 17 0 657874684 719433728 142207 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31398/tid=31404] ppid=31396 vsize=702572 CPUtime=41.23
/proc/31398/task/31404/stat : 31404 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 5527 0 0 0 3643 480 0 0 20 0 17 0 657874684 719433728 142207 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134592217 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31398/tid=31405] ppid=31396 vsize=702572 CPUtime=39.41
/proc/31398/task/31405/stat : 31405 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 7188 0 0 0 3477 464 0 0 20 0 17 0 657874684 719433728 142207 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31398/tid=31406] ppid=31396 vsize=702572 CPUtime=33.14
/proc/31398/task/31406/stat : 31406 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 4924 0 0 0 2958 356 0 0 20 0 17 0 657874684 719433728 142207 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31398/tid=31407] ppid=31396 vsize=702572 CPUtime=35.42
/proc/31398/task/31407/stat : 31407 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 4803 0 0 0 3134 408 0 0 20 0 17 0 657874685 719433728 142207 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31398/tid=31408] ppid=31396 vsize=702572 CPUtime=38.36
/proc/31398/task/31408/stat : 31408 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 4951 0 0 0 3392 444 0 0 20 0 17 0 657874685 719433728 142207 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31398/tid=31409] ppid=31396 vsize=702572 CPUtime=41.33
/proc/31398/task/31409/stat : 31409 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 5485 0 0 0 3665 468 0 0 20 0 17 0 657874685 719433728 142207 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31398/tid=31410] ppid=31396 vsize=702572 CPUtime=39.65
/proc/31398/task/31410/stat : 31410 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 5356 0 0 0 3481 484 0 0 20 0 17 0 657874685 719433728 142207 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31398/tid=31411] ppid=31396 vsize=702572 CPUtime=39.42
/proc/31398/task/31411/stat : 31411 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 6791 0 0 0 3490 452 0 0 20 0 17 0 657874685 719433728 142207 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31398/tid=31412] ppid=31396 vsize=702572 CPUtime=33.3
/proc/31398/task/31412/stat : 31412 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 3952 0 0 0 2972 358 0 0 20 0 17 0 657874685 719433728 142207 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31398/tid=31413] ppid=31396 vsize=702572 CPUtime=37.63
/proc/31398/task/31413/stat : 31413 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 5160 0 0 0 3301 462 0 0 20 0 17 0 657874687 719433728 142207 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31398/tid=31414] ppid=31396 vsize=702572 CPUtime=29.88
/proc/31398/task/31414/stat : 31414 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 4413 0 0 0 2680 308 0 0 20 0 17 0 657874688 719433728 142208 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0

################
# More data... #
################

/proc/31398/task/31403/stat : 31403 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 8724 0 0 0 7964 728 0 0 20 0 17 0 657874684 1128726528 237380 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31398/tid=31404] ppid=31396 vsize=1102272 CPUtime=86.39
/proc/31398/task/31404/stat : 31404 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 9747 0 0 0 7911 728 0 0 20 0 17 0 657874684 1128726528 237380 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31398/tid=31405] ppid=31396 vsize=1102272 CPUtime=90.27
/proc/31398/task/31405/stat : 31405 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 12124 0 0 0 8283 744 0 0 20 0 17 0 657874684 1128726528 237380 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134589523 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31398/tid=31406] ppid=31396 vsize=1102272 CPUtime=84.02
/proc/31398/task/31406/stat : 31406 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 9497 0 0 0 7734 668 0 0 20 0 17 0 657874684 1128726528 237380 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31398/tid=31407] ppid=31396 vsize=1102272 CPUtime=86.22
/proc/31398/task/31407/stat : 31407 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 10233 0 0 0 7918 704 0 0 20 0 17 0 657874685 1128726528 237380 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31398/tid=31408] ppid=31396 vsize=1102272 CPUtime=89.25
/proc/31398/task/31408/stat : 31408 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 9121 0 0 0 8191 734 0 0 20 0 17 0 657874685 1128726528 237380 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31398/tid=31409] ppid=31396 vsize=1102272 CPUtime=92.23
/proc/31398/task/31409/stat : 31409 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 11735 0 0 0 8475 748 0 0 20 0 17 0 657874685 1128726528 237380 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31398/tid=31410] ppid=31396 vsize=1102272 CPUtime=89.55
/proc/31398/task/31410/stat : 31410 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 11051 0 0 0 8177 778 0 0 20 0 17 0 657874685 1128726528 237380 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31398/tid=31411] ppid=31396 vsize=1102272 CPUtime=89.26
/proc/31398/task/31411/stat : 31411 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 13573 0 0 0 8200 726 0 0 20 0 17 0 657874685 1128726528 237380 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134592435 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31398/tid=31412] ppid=31396 vsize=1102272 CPUtime=84.2
/proc/31398/task/31412/stat : 31412 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 13871 0 0 0 7748 672 0 0 20 0 17 0 657874685 1128726528 237380 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31398/tid=31413] ppid=31396 vsize=1102272 CPUtime=86.15
/proc/31398/task/31413/stat : 31413 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 13321 0 0 0 7859 756 0 0 20 0 17 0 657874687 1128726528 237381 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31398/tid=31414] ppid=31396 vsize=1102272 CPUtime=80.83
/proc/31398/task/31414/stat : 31414 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 10514 0 0 0 7507 576 0 0 20 0 17 0 657874688 1128726528 237381 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31398/tid=31415] ppid=31396 vsize=1102272 CPUtime=64.62
/proc/31398/task/31415/stat : 31415 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 8244 0 0 0 5920 542 0 0 20 0 17 0 657874688 1128726528 237381 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 1378.2
Current children cumulated vsize (KiB) 1102272

[startup+162.301 s]
/proc/loadavg: 15.62 14.24 10.88 17/204 31415
/proc/meminfo: memFree=17575816/36427776 swapFree=6476/1415076
[pid=31398] ppid=31396 vsize=1588328 CPUtime=2333.14
/proc/31398/stat : 31398 (ttsth-5-0) S 31396 31398 15497 0 -1 4202496 354145 0 0 0 219308 14006 0 0 20 0 17 0 657873768 1626447872 352441 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/31398/statm: 397338 352441 95 177 0 397160 0
[pid=31398/tid=31400] ppid=31396 vsize=1589352 CPUtime=152.17
/proc/31398/task/31400/stat : 31400 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 23058 0 0 0 15163 54 0 0 20 0 17 0 657874684 1627496448 352442 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134562377 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31398/tid=31401] ppid=31396 vsize=1589352 CPUtime=144.65
/proc/31398/task/31401/stat : 31401 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 21155 0 0 0 13537 928 0 0 20 0 17 0 657874684 1627496448 352444 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134590129 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31398/tid=31402] ppid=31396 vsize=1589352 CPUtime=141.67
/proc/31398/task/31402/stat : 31402 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 14144 0 0 0 13321 846 0 0 20 0 17 0 657874684 1627496448 352444 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134732535 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31398/tid=31403] ppid=31396 vsize=1589352 CPUtime=146.73
/proc/31398/task/31403/stat : 31403 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 15988 0 0 0 13769 904 0 0 20 0 17 0 657874684 1627496448 352444 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31398/tid=31404] ppid=31396 vsize=1589352 CPUtime=146.14
/proc/31398/task/31404/stat : 31404 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 15439 0 0 0 13646 968 0 0 20 0 17 0 657874684 1627496448 352444 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31398/tid=31405] ppid=31396 vsize=1589352 CPUtime=150
/proc/31398/task/31405/stat : 31405 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 18460 0 0 0 13996 1004 0 0 20 0 17 0 657874684 1627496448 352444 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31398/tid=31406] ppid=31396 vsize=1589352 CPUtime=143.77
/proc/31398/task/31406/stat : 31406 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 16924 0 0 0 13471 906 0 0 20 0 17 0 657874684 1627496448 352444 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31398/tid=31407] ppid=31396 vsize=1589352 CPUtime=145.89
/proc/31398/task/31407/stat : 31407 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 16721 0 0 0 13615 974 0 0 20 0 17 0 657874685 1627496448 352445 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31398/tid=31408] ppid=31396 vsize=1589352 CPUtime=148.95
/proc/31398/task/31408/stat : 31408 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 16587 0 0 0 13921 974 0 0 20 0 17 0 657874685 1627496448 352445 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31398/tid=31409] ppid=31396 vsize=1589352 CPUtime=151.97
/proc/31398/task/31409/stat : 31409 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 18896 0 0 0 14221 976 0 0 20 0 17 0 657874685 1627496448 352445 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134550989 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31398/tid=31410] ppid=31396 vsize=1589352 CPUtime=148.06
/proc/31398/task/31410/stat : 31410 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 17327 0 0 0 13776 1030 0 0 20 0 17 0 657874685 1627496448 352445 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31398/tid=31411] ppid=31396 vsize=1589352 CPUtime=149
/proc/31398/task/31411/stat : 31411 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 21664 0 0 0 13938 962 0 0 20 0 17 0 657874685 1627496448 352445 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31398/tid=31412] ppid=31396 vsize=1589352 CPUtime=144.01
/proc/31398/task/31412/stat : 31412 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 25497 0 0 0 13543 858 0 0 20 0 17 0 657874685 1627496448 352445 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31398/tid=31413] ppid=31396 vsize=1589352 CPUtime=145.89
/proc/31398/task/31413/stat : 31413 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 20412 0 0 0 13611 978 0 0 20 0 17 0 657874687 1627496448 352445 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31398/tid=31414] ppid=31396 vsize=1589352 CPUtime=140.57
/proc/31398/task/31414/stat : 31414 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 15701 0 0 0 13235 822 0 0 20 0 17 0 657874688 1627496448 352446 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31398/tid=31415] ppid=31396 vsize=1589352 CPUtime=124.37
/proc/31398/task/31415/stat : 31415 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 14707 0 0 0 11649 788 0 0 20 0 17 0 657874688 1627496448 352446 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 2333.14
Current children cumulated vsize (KiB) 1588328

[startup+222.305 s]
/proc/loadavg: 15.93 14.57 11.20 17/204 31415
/proc/meminfo: memFree=17141640/36427776 swapFree=6476/1848340
[pid=31398] ppid=31396 vsize=2042772 CPUtime=3289.32
/proc/31398/stat : 31398 (ttsth-5-0) S 31396 31398 15497 0 -1 4202496 461199 0 0 0 312701 16231 0 0 20 0 17 0 657873768 2091798528 459495 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/31398/statm: 510693 459496 95 177 0 510515 0
[pid=31398/tid=31400] ppid=31396 vsize=2042772 CPUtime=212.15
/proc/31398/task/31400/stat : 31400 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 27606 0 0 0 21151 64 0 0 20 0 17 0 657874684 2091798528 459496 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31398/tid=31401] ppid=31396 vsize=2042772 CPUtime=204.47
/proc/31398/task/31401/stat : 31401 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 26966 0 0 0 19393 1054 0 0 20 0 17 0 657874684 2091798528 459496 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134592435 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31398/tid=31402] ppid=31396 vsize=2042772 CPUtime=201.51
/proc/31398/task/31402/stat : 31402 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 20475 0 0 0 19165 986 0 0 20 0 17 0 657874684 2091798528 459496 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31398/tid=31403] ppid=31396 vsize=2042772 CPUtime=206.61
/proc/31398/task/31403/stat : 31403 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 20841 0 0 0 19655 1006 0 0 20 0 17 0 657874684 2091798528 459496 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31398/tid=31404] ppid=31396 vsize=2042772 CPUtime=205.97
/proc/31398/task/31404/stat : 31404 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 23701 0 0 0 19473 1124 0 0 20 0 17 0 657874684 2091798528 459496 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31398/tid=31405] ppid=31396 vsize=2042772 CPUtime=209.85
/proc/31398/task/31405/stat : 31405 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 24185 0 0 0 19825 1160 0 0 20 0 17 0 657874684 2091798528 459496 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31398/tid=31406] ppid=31396 vsize=2042772 CPUtime=203.62
/proc/31398/task/31406/stat : 31406 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 25897 0 0 0 19294 1068 0 0 20 0 17 0 657874684 2091798528 459496 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31398/tid=31407] ppid=31396 vsize=2042772 CPUtime=205.66
/proc/31398/task/31407/stat : 31407 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 23795 0 0 0 19426 1140 0 0 20 0 17 0 657874685 2091798528 459496 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134749365 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31398/tid=31408] ppid=31396 vsize=2042772 CPUtime=208.76
/proc/31398/task/31408/stat : 31408 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 22912 0 0 0 19744 1132 0 0 20 0 17 0 657874685 2091798528 459496 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134591072 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31398/tid=31409] ppid=31396 vsize=2042772 CPUtime=211.81
/proc/31398/task/31409/stat : 31409 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 27488 0 0 0 20067 1114 0 0 20 0 17 0 657874685 2091798528 459496 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31398/tid=31410] ppid=31396 vsize=2042772 CPUtime=206.65
/proc/31398/task/31410/stat : 31410 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 23621 0 0 0 19481 1184 0 0 20 0 17 0 657874685 2091798528 459496 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31398/tid=31411] ppid=31396 vsize=2042772 CPUtime=208.83
/proc/31398/task/31411/stat : 31411 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 27542 0 0 0 19777 1106 0 0 20 0 17 0 657874685 2091798528 459496 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31398/tid=31412] ppid=31396 vsize=2042772 CPUtime=203.85
/proc/31398/task/31412/stat : 31412 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 34967 0 0 0 19373 1012 0 0 20 0 17 0 657874685 2091798528 459496 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31398/tid=31413] ppid=31396 vsize=2042772 CPUtime=205.7
/proc/31398/task/31413/stat : 31413 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 26496 0 0 0 19442 1128 0 0 20 0 17 0 657874687 2091798528 459496 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31398/tid=31414] ppid=31396 vsize=2042772 CPUtime=200.41
/proc/31398/task/31414/stat : 31414 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 20854 0 0 0 19073 968 0 0 20 0 17 0 657874688 2091798528 459496 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31398/tid=31415] ppid=31396 vsize=2042772 CPUtime=184.19
/proc/31398/task/31415/stat : 31415 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 22385 0 0 0 17471 948 0 0 20 0 17 0 657874688 2091798528 459496 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 3289.32
Current children cumulated vsize (KiB) 2042772



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+228.006 s]
/proc/loadavg: 15.94 14.62 11.25 17/204 31420
/proc/meminfo: memFree=17090160/36427776 swapFree=6476/1899680
[pid=31398] ppid=31396 vsize=2096128 CPUtime=3380.41
/proc/31398/stat : 31398 (ttsth-5-0) S 31396 31398 15497 0 -1 4202496 473794 0 0 0 321660 16381 0 0 20 0 17 0 657873768 2146435072 472090 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/31398/statm: 524032 472091 95 177 0 523854 0
[pid=31398/tid=31400] ppid=31396 vsize=2096128 CPUtime=217.88
/proc/31398/task/31400/stat : 31400 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 28110 0 0 0 21722 66 0 0 20 0 17 0 657874684 2146435072 472093 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31398/tid=31401] ppid=31396 vsize=2096128 CPUtime=210.17
/proc/31398/task/31401/stat : 31401 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 28009 0 0 0 19953 1064 0 0 20 0 17 0 657874684 2146435072 472093 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134562341 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31398/tid=31402] ppid=31396 vsize=2096128 CPUtime=207.23
/proc/31398/task/31402/stat : 31402 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 21125 0 0 0 19727 996 0 0 20 0 17 0 657874684 2146435072 472093 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134549977 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31398/tid=31403] ppid=31396 vsize=2096128 CPUtime=212.32
/proc/31398/task/31403/stat : 31403 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 21313 0 0 0 20218 1014 0 0 20 0 17 0 657874684 2146435072 472093 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31398/tid=31404] ppid=31396 vsize=2096128 CPUtime=211.68
/proc/31398/task/31404/stat : 31404 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 24372 0 0 0 20028 1140 0 0 20 0 17 0 657874684 2146435072 472093 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31398/tid=31405] ppid=31396 vsize=2096128 CPUtime=215.55
/proc/31398/task/31405/stat : 31405 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 24681 0 0 0 20387 1168 0 0 20 0 17 0 657874684 2146435072 472093 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31398/tid=31406] ppid=31396 vsize=2096128 CPUtime=209.33
/proc/31398/task/31406/stat : 31406 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 27048 0 0 0 19859 1074 0 0 20 0 17 0 657874684 2146435072 472093 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134565869 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31398/tid=31407] ppid=31396 vsize=2096128 CPUtime=211.35
/proc/31398/task/31407/stat : 31407 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 25572 0 0 0 19979 1156 0 0 20 0 17 0 657874685 2146435072 472093 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134592308 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31398/tid=31408] ppid=31396 vsize=2096128 CPUtime=214.45
/proc/31398/task/31408/stat : 31408 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 23734 0 0 0 20301 1144 0 0 20 0 17 0 657874685 2146435072 472093 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31398/tid=31409] ppid=31396 vsize=2096128 CPUtime=217.5
/proc/31398/task/31409/stat : 31409 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 28085 0 0 0 20632 1118 0 0 20 0 17 0 657874685 2146435072 472093 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31398/tid=31410] ppid=31396 vsize=2096128 CPUtime=212.22
/proc/31398/task/31410/stat : 31410 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 24054 0 0 0 20028 1194 0 0 20 0 17 0 657874685 2146435072 472093 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134592468 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31398/tid=31411] ppid=31396 vsize=2096128 CPUtime=214.53
/proc/31398/task/31411/stat : 31411 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 28160 0 0 0 20335 1118 0 0 20 0 17 0 657874685 2146435072 472093 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134680502 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31398/tid=31412] ppid=31396 vsize=2096128 CPUtime=209.55
/proc/31398/task/31412/stat : 31412 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 36306 0 0 0 19933 1022 0 0 20 0 17 0 657874685 2146435072 472093 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134562272 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31398/tid=31413] ppid=31396 vsize=2096128 CPUtime=211.39
/proc/31398/task/31413/stat : 31413 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 27302 0 0 0 20003 1136 0 0 20 0 17 0 657874687 2146435072 472093 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31398/tid=31414] ppid=31396 vsize=2096128 CPUtime=206.1
/proc/31398/task/31414/stat : 31414 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 21386 0 0 0 19634 976 0 0 20 0 17 0 657874688 2146435072 472093 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134562363 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31398/tid=31415] ppid=31396 vsize=2096128 CPUtime=189.89
/proc/31398/task/31415/stat : 31415 (ttsth-5-0) R 31396 31398 15497 0 -1 4202560 23071 0 0 0 18033 956 0 0 20 0 17 0 657874688 2146435072 472093 18446744073709551615 134512640 135237372 4289321328 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 3380.41
Current children cumulated vsize (KiB) 2096128

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

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

[startup+228.204 s]
/proc/loadavg: 15.94 14.62 11.25 17/204 31420
/proc/meminfo: memFree=17090160/36427776 swapFree=6476/1899680
[pid=31398] ppid=31396 vsize=0 CPUtime=3380.77
/proc/31398/stat : 31398 (ttsth-5-0) Z 31396 31398 15497 0 -1 4203532 473818 0 0 0 321680 16397 0 0 20 0 2 0 657873768 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/31398/statm: 0 0 0 0 0 0 0
[pid=31398/tid=31403] ppid=31396 vsize=0 CPUtime=212.49
/proc/31398/task/31403/stat : 31403 (ttsth-5-0) R 31396 31398 15497 0 -1 4203588 21313 0 0 0 20219 1030 0 0 20 0 2 0 657874684 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 3380.77
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 228.232
CPU time (s): 3380.8
CPU user time (s): 3216.8
CPU system time (s): 163.998
CPU usage (%): 1481.3
Max. virtual memory (cumulated for all children) (KiB): 2096128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3216.8
system time used= 163.998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 473818
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= 190599
involuntary context switches= 12463

runsolver used 1.16807 second user time and 3.2762 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 15:21:14
IDJOB=1781355
IDBENCH=71731
IDSOLVER=634
FILE ID=xenhost3-49/1781355-1244985674
PBS_JOBID=
Free space on /tmp= 7019 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT_RACE06/velev-live-uns-2.0-ebuf.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1781355-1244985674/watcher-1781355-1244985674 -o /tmp/evaluation-result-1781355-1244985674/solver-1781355-1244985674 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781355-1244985674.cnf

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

MD5SUM BENCH= 67de5cf23f11aa400b48f4451ee5f362
RANDOM SEED= 1756483595

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:      18979292 kB
Buffers:        528460 kB
Cached:       14121248 kB
SwapCached:          0 kB
Active:        4177948 kB
Inactive:     10483168 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            3468 kB
Writeback:           0 kB
AnonPages:       11424 kB
Mapped:           4864 kB
Slab:           734468 kB
SReclaimable:   707552 kB
SUnreclaim:      26916 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    36632 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7019 MiB
End job on xenhost3-49 at 2009-06-14 15:25:04