Trace number 1781160

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) 2831.71 179.023

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rpoc_xits_10_UNKNOWN.cnf
MD5SUM8ece32bbd9e6c3f5c8cdf0e94e0569cd
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1584
Number of clauses100116
Sum of the clauses size297952
Maximum clause length11
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22580
Number of clauses of size 397513
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data 

0.10/0.11	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781160-1244981742.cnf 
0.10/0.11	c Using SATTIMEOUT of 10000
0.10/0.11	c Using SATRAM of 2047
0.10/0.11	c Size of subset node = 16
0.10/0.11	c Variables = 1584
0.10/0.11	c Clauses = 100116
0.10/0.11	c Literals = 297952
0.10/0.11	c Reduced size:
0.10/0.11	c Variables = 1584
0.10/0.11	c Clauses = 100116
0.10/0.11	c Literals = 297952
0.10/0.11	c a2
0.20/0.29	c a1
0.60/0.63	c Independent sub-problems = 1
0.60/0.63	c Sub-problem with 1584 variables and 100116 clauses
0.60/0.63	c using permutation method 4
0.60/0.63	c count = 1
0.60/0.63	c Ordering finished 0.590 seconds
0.60/0.63	c mapped 0.620 seconds
0.60/0.63	c permuted 0.620 seconds
0.60/0.63	c about to sort
0.60/0.65	c sorted
1.00/1.09	c clauses now 100116
1.00/1.09	c init finished 0.680 seconds
1.00/1.09	c tree built 1.080 seconds
1.00/1.09	c 
1.00/1.09	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
1.00/1.09	c ---------------------------------|----------------------------------|------------------------------------------------------
1.00/1.09	c ................................ | ..........                       |                        1.1           0.0             
1.00/1.09	c ................................ | ..........                     1 |                        1.1           0.9             
1.00/1.09	c ................................ | ..........                     2 |                        1.1           1.9             
1.00/1.09	c ................................ | ..........                     3 |                        1.1           2.8             
1.00/1.09	c ................................ | ..........                     4 |                        1.1           3.7             
1.00/1.09	c ................................ | ..........                     5 |                        1.1           4.6             
1.29/1.16	c ................................ | ..........                  1000 | 4                      1.7         602.4         4154
234.09/15.98	c ................................ | ..........                257000 | 24982                200.2        1283.8     11943400
443.59/29.20	c ................................ | ..........                368000 | 36193                401.3         917.0     23118204
648.79/42.07	c ................................ | ..........                440000 | 44670                602.3         730.5     33522596
849.54/54.69	c ................................ | ..........                506000 | 53018                801.2         631.6     42355955
1053.41/67.48	c ................................ | *.........                563000 | 59438               1002.9         561.4     51325526
1255.84/80.13	c ................................ | *.........                619000 | 64468               1203.2         514.5     59507233
1453.59/92.56	c ................................ | *.........                673000 | 68739               1400.6         480.5     67146988
1656.29/105.26	c ................................ | *.........                729000 | 73176               1602.2         455.0     75083581
1857.32/117.88	c ................................ | *.........                774000 | 76797               1803.0         429.3     81925954
2056.88/130.38	c ................................ | **........                822000 | 80132               2002.2         410.5     88397060

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-1781160-1244981742/watcher-1781160-1244981742 -o /tmp/evaluation-result-1781160-1244981742/solver-1781160-1244981742 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781160-1244981742.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: 16.04 15.74 15.29 2/184 30688
/proc/meminfo: memFree=18988160/36427776 swapFree=3676/8228
[pid=30688] ppid=30686 vsize=1540 CPUtime=0
/proc/30688/stat : 30688 (ttsth-5-0) R 30686 30688 15497 0 -1 4202496 280 0 0 0 0 0 0 0 20 0 1 0 657480566 1576960 236 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134732614 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/30688/statm: 385 236 75 177 0 207 0

[startup+0.059121 s]
/proc/loadavg: 16.04 15.74 15.29 2/184 30688
/proc/meminfo: memFree=18988160/36427776 swapFree=3676/8228
[pid=30688] ppid=30686 vsize=4808 CPUtime=0.04
/proc/30688/stat : 30688 (ttsth-5-0) R 30686 30688 15497 0 -1 4202496 1053 0 0 0 4 0 0 0 20 0 1 0 657480566 4923392 1009 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134732614 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/30688/statm: 1202 1010 75 177 0 1024 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4808

[startup+0.10314 s]
/proc/loadavg: 16.04 15.74 15.29 2/184 30688
/proc/meminfo: memFree=18988160/36427776 swapFree=3676/8228
[pid=30688] ppid=30686 vsize=6968 CPUtime=0.1
/proc/30688/stat : 30688 (ttsth-5-0) R 30686 30688 15497 0 -1 4202496 1609 0 0 0 10 0 0 0 20 0 1 0 657480566 7135232 1565 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134522703 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/30688/statm: 1742 1565 75 177 0 1564 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 6968

[startup+0.303154 s]
/proc/loadavg: 16.04 15.74 15.29 2/184 30688
/proc/meminfo: memFree=18988160/36427776 swapFree=3676/8228
[pid=30688] ppid=30686 vsize=14844 CPUtime=0.3
/proc/30688/stat : 30688 (ttsth-5-0) R 30686 30688 15497 0 -1 4202496 3385 0 0 0 30 0 0 0 20 0 1 0 657480566 15200256 3340 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134540092 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/30688/statm: 3711 3340 76 177 0 3533 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 14844

[startup+0.703206 s]
/proc/loadavg: 16.04 15.74 15.29 2/184 30688
/proc/meminfo: memFree=18988160/36427776 swapFree=3676/8228
[pid=30688] ppid=30686 vsize=27456 CPUtime=0.68
/proc/30688/stat : 30688 (ttsth-5-0) R 30686 30688 15497 0 -1 4202496 7906 0 0 0 66 2 0 0 20 0 1 0 657480566 28114944 6661 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134732614 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/30688/statm: 6864 6662 90 177 0 6686 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 27456

[startup+1.5034 s]
/proc/loadavg: 16.04 15.74 15.29 2/185 30689
/proc/meminfo: memFree=18949952/36427776 swapFree=4072/47216
[pid=30688] ppid=30686 vsize=182016 CPUtime=7.3
/proc/30688/stat : 30688 (ttsth-5-0) S 30686 30688 15497 0 -1 4202496 13644 0 0 0 303 427 0 0 20 0 17 0 657480566 186384384 12302 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30688/statm: 45504 12303 95 177 0 45326 0
Current children cumulated CPU time (s) 7.3
Current children cumulated vsize (KiB) 182016

[startup+3.1036 s]
/proc/loadavg: 16.03 15.74 15.30 17/201 30705
/proc/meminfo: memFree=18935804/36427776 swapFree=4692/63168
[pid=30688] ppid=30686 vsize=199640 CPUtime=32.3
/proc/30688/stat : 30688 (ttsth-5-0) S 30686 30688 15497 0 -1 4202496 18036 0 0 0 1398 1832 0 0 20 0 17 0 657480566 204431360 16693 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30688/statm: 49910 16693 95 177 0 49732 0
[pid=30688/tid=30690] ppid=30686 vsize=199640 CPUtime=1.98
/proc/30688/task/30690/stat : 30690 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 781 0 0 0 194 4 0 0 20 0 17 0 657480675 204431360 16693 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30688/tid=30691] ppid=30686 vsize=199640 CPUtime=1.94
/proc/30688/task/30691/stat : 30691 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 388 0 0 0 70 124 0 0 20 0 17 0 657480675 204431360 16693 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30688/tid=30692] ppid=30686 vsize=199640 CPUtime=1.96
/proc/30688/task/30692/stat : 30692 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 254 0 0 0 64 132 0 0 20 0 17 0 657480675 204431360 16693 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30688/tid=30693] ppid=30686 vsize=199640 CPUtime=1.94
/proc/30688/task/30693/stat : 30693 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 376 0 0 0 72 122 0 0 20 0 17 0 657480675 204431360 16693 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30688/tid=30694] ppid=30686 vsize=199640 CPUtime=1.94
/proc/30688/task/30694/stat : 30694 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 299 0 0 0 72 122 0 0 20 0 17 0 657480675 204431360 16693 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30688/tid=30695] ppid=30686 vsize=199640 CPUtime=1.94
/proc/30688/task/30695/stat : 30695 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 317 0 0 0 80 114 0 0 20 0 17 0 657480675 204431360 16693 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30688/tid=30696] ppid=30686 vsize=199640 CPUtime=1.94
/proc/30688/task/30696/stat : 30696 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 403 0 0 0 80 114 0 0 20 0 17 0 657480675 204431360 16693 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134551461 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30688/tid=30697] ppid=30686 vsize=199640 CPUtime=1.94
/proc/30688/task/30697/stat : 30697 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 238 0 0 0 82 112 0 0 20 0 17 0 657480675 204431360 16693 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30688/tid=30698] ppid=30686 vsize=199640 CPUtime=1.94
/proc/30688/task/30698/stat : 30698 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 363 0 0 0 70 124 0 0 20 0 17 0 657480675 204431360 16693 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30688/tid=30699] ppid=30686 vsize=199640 CPUtime=1.94
/proc/30688/task/30699/stat : 30699 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 313 0 0 0 72 122 0 0 20 0 17 0 657480675 204431360 16693 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30688/tid=30700] ppid=30686 vsize=199640 CPUtime=1.94
/proc/30688/task/30700/stat : 30700 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 367 0 0 0 68 126 0 0 20 0 17 0 657480675 204431360 16693 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30688/tid=30701] ppid=30686 vsize=199640 CPUtime=1.94
/proc/30688/task/30701/stat : 30701 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 331 0 0 0 64 130 0 0 20 0 17 0 657480675 204431360 16693 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30688/tid=30702] ppid=30686 vsize=199640 CPUtime=1.94
/proc/30688/task/30702/stat : 30702 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 436 0 0 0 64 130 0 0 20 0 17 0 657480675 204431360 16693 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134519944 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30688/tid=30703] ppid=30686 vsize=199640 CPUtime=1.92
/proc/30688/task/30703/stat : 30703 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 244 0 0 0 82 110 0 0 20 0 17 0 657480675 204431360 16693 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30688/tid=30704] ppid=30686 vsize=199640 CPUtime=1.94
/proc/30688/task/30704/stat : 30704 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 160 0 0 0 74 120 0 0 20 0 17 0 657480675 204431360 16693 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30688/tid=30705] ppid=30686 vsize=199640 CPUtime=1.96
/proc/30688/task/30705/stat : 30705 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 562 0 0 0 82 114 0 0 20 0 17 0 657480675 204431360 16693 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 32.3
Current children cumulated vsize (KiB) 199640

[startup+6.30377 s]
/proc/loadavg: 16.03 15.74 15.30 17/201 30705
/proc/meminfo: memFree=18896900/36427776 swapFree=4692/102300
[pid=30688] ppid=30686 vsize=244064 CPUtime=82.54
/proc/30688/stat : 30688 (ttsth-5-0) S 30686 30688 15497 0 -1 4202496 28547 0 0 0 4637 3617 0 0 20 0 17 0 657480566 249921536 27204 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30688/statm: 61016 27204 95 177 0 60838 0
[pid=30688/tid=30690] ppid=30686 vsize=244064 CPUtime=5.18
/proc/30688/task/30690/stat : 30690 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 1666 0 0 0 512 6 0 0 20 0 17 0 657480675 249921536 27204 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134549694 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30688/tid=30691] ppid=30686 vsize=244064 CPUtime=5.08
/proc/30688/task/30691/stat : 30691 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 1086 0 0 0 264 244 0 0 20 0 17 0 657480675 249921536 27204 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30688/tid=30692] ppid=30686 vsize=244064 CPUtime=5.1
/proc/30688/task/30692/stat : 30692 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 764 0 0 0 268 242 0 0 20 0 17 0 657480675 249921536 27204 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30688/tid=30693] ppid=30686 vsize=244064 CPUtime=5.1
/proc/30688/task/30693/stat : 30693 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 1225 0 0 0 282 228 0 0 20 0 17 0 657480675 249921536 27204 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30688/tid=30694] ppid=30686 vsize=244064 CPUtime=5.1
/proc/30688/task/30694/stat : 30694 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 968 0 0 0 266 244 0 0 20 0 17 0 657480675 249921536 27204 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30688/tid=30695] ppid=30686 vsize=244064 CPUtime=5.06
/proc/30688/task/30695/stat : 30695 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 815 0 0 0 266 240 0 0 20 0 17 0 657480675 249921536 27204 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30688/tid=30696] ppid=30686 vsize=244064 CPUtime=5.06
/proc/30688/task/30696/stat : 30696 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 940 0 0 0 264 242 0 0 20 0 17 0 657480675 249921536 27204 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30688/tid=30697] ppid=30686 vsize=244064 CPUtime=5.08
/proc/30688/task/30697/stat : 30697 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 816 0 0 0 276 232 0 0 20 0 17 0 657480675 249921536 27204 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30688/tid=30698] ppid=30686 vsize=244064 CPUtime=5.08
/proc/30688/task/30698/stat : 30698 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 1047 0 0 0 262 246 0 0 20 0 17 0 657480675 249921536 27204 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134732535 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30688/tid=30699] ppid=30686 vsize=244064 CPUtime=5.1
/proc/30688/task/30699/stat : 30699 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 844 0 0 0 286 224 0 0 20 0 17 0 657480675 249921536 27204 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30688/tid=30700] ppid=30686 vsize=244064 CPUtime=5.08
/proc/30688/task/30700/stat : 30700 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 1060 0 0 0 258 250 0 0 20 0 17 0 657480675 249921536 27204 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30688/tid=30701] ppid=30686 vsize=244064 CPUtime=5.04
/proc/30688/task/30701/stat : 30701 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 1023 0 0 0 242 262 0 0 20 0 17 0 657480675 249921536 27204 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30688/tid=30702] ppid=30686 vsize=244064 CPUtime=5.06
/proc/30688/task/30702/stat : 30702 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 1058 0 0 0 256 250 0 0 20 0 17 0 657480675 249921536 27204 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30688/tid=30703] ppid=30686 vsize=244064 CPUtime=5
/proc/30688/task/30703/stat : 30703 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 945 0 0 0 272 228 0 0 20 0 17 0 657480675 249921536 27204 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134680305 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30688/tid=30704] ppid=30686 vsize=244064 CPUtime=5.08
/proc/30688/task/30704/stat : 30704 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 702 0 0 0 268 240 0 0 20 0 17 0 657480675 249921536 27205 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30688/tid=30705] ppid=30686 vsize=244064 CPUtime=5.1
/proc/30688/task/30705/stat : 30705 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 1384 0 0 0 284 226 0 0 20 0 17 0 657480675 249921536 27205 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 82.54
Current children cumulated vsize (KiB) 244064

[startup+12.7042 s]
/proc/loadavg: 16.03 15.75 15.30 17/201 30705
/proc/meminfo: memFree=18801796/36427776 swapFree=4692/198232
[pid=30688] ppid=30686 vsize=341860 CPUtime=183.45
/proc/30688/stat : 30688 (ttsth-5-0) S 30686 30688 15497 0 -1 4202496 51580 0 0 0 12642 5703 0 0 20 0 17 0 657480566 350064640 50237 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30688/statm: 85465 50237 95 177 0 85287 0
[pid=30688/tid=30690] ppid=30686 vsize=341860 CPUtime=11.6
/proc/30688/task/30690/stat : 30690 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 3457 0 0 0 1148 12 0 0 20 0 17 0 657480675 350064640 50237 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30688/tid=30691] ppid=30686 vsize=341860 CPUtime=11.38
/proc/30688/task/30691/stat : 30691 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 2613 0 0 0 750 388 0 0 20 0 17 0 657480675 350064640 50237 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134562309 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30688/tid=30692] ppid=30686 vsize=341860 CPUtime=11.4
/proc/30688/task/30692/stat : 30692 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 2036 0 0 0 758 382 0 0 20 0 17 0 657480675 350064640 50237 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30688/tid=30693] ppid=30686 vsize=341860 CPUtime=11.44
/proc/30688/task/30693/stat : 30693 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 3029 0 0 0 786 358 0 0 20 0 17 0 657480675 350064640 50237 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30688/tid=30694] ppid=30686 vsize=341860 CPUtime=11.42
/proc/30688/task/30694/stat : 30694 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 2074 0 0 0 766 376 0 0 20 0 17 0 657480675 350064640 50237 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30688/tid=30695] ppid=30686 vsize=341860 CPUtime=11.34
/proc/30688/task/30695/stat : 30695 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 1972 0 0 0 750 384 0 0 20 0 17 0 657480675 350064640 50238 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134592178 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30688/tid=30696] ppid=30686 vsize=341860 CPUtime=11.34
/proc/30688/task/30696/stat : 30696 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 2497 0 0 0 738 396 0 0 20 0 17 0 657480675 350064640 50239 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134593576 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30688/tid=30697] ppid=30686 vsize=341860 CPUtime=11.38
/proc/30688/task/30697/stat : 30697 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 2160 0 0 0 772 366 0 0 20 0 17 0 657480675 350064640 50239 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30688/tid=30698] ppid=30686 vsize=341860 CPUtime=11.38
/proc/30688/task/30698/stat : 30698 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 2562 0 0 0 760 378 0 0 20 0 17 0 657480675 350064640 50239 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30688/tid=30699] ppid=30686 vsize=341860 CPUtime=11.42
/proc/30688/task/30699/stat : 30699 (ttsth-5-0) S 30686 30688 15497 0 -1 4202560 1989 0 0 0 774 368 0 0 20 0 17 0 657480675 350064640 50239 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=30688/tid=30700] ppid=30686 vsize=341860 CPUtime=11.38
/proc/30688/task/30700/stat : 30700 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 2530 0 0 0 742 396 0 0 20 0 17 0 657480675 350064640 50239 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30688/tid=30701] ppid=30686 vsize=341860 CPUtime=11.34
/proc/30688/task/30701/stat : 30701 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 2409 0 0 0 726 408 0 0 20 0 17 0 657480675 350064640 50239 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30688/tid=30702] ppid=30686 vsize=341860 CPUtime=11.36
/proc/30688/task/30702/stat : 30702 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 2253 0 0 0 736 400 0 0 20 0 17 0 657480675 350064640 50239 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30688/tid=30703] ppid=30686 vsize=341860 CPUtime=11.2
/proc/30688/task/30703/stat : 30703 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 2371 0 0 0 774 346 0 0 20 0 17 0 657480675 350064640 50239 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30688/tid=30704] ppid=30686 vsize=341860 CPUtime=11.42
/proc/30688/task/30704/stat : 30704 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 1813 0 0 0 764 378 0 0 20 0 17 0 657480675 350064640 50239 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134546096 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30688/tid=30705] ppid=30686 vsize=341860 CPUtime=11.44
/proc/30688/task/30705/stat : 30705 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 3613 0 0 0 788 356 0 0 20 0 17 0 657480675 350064640 50239 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 183.45
Current children cumulated vsize (KiB) 341860

[startup+25.5054 s]
/proc/loadavg: 16.02 15.76 15.31 17/201 30705
/proc/meminfo: memFree=18618736/36427776 swapFree=4692/379300
[pid=30688] ppid=30686 vsize=528736 CPUtime=386.4
/proc/30688/stat : 30688 (ttsth-5-0) S 30686 30688 15497 0 -1 4202496 95372 0 0 0 30871 7769 0 0 20 0 17 0 657480566 541425664 94029 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30688/statm: 132184 94029 95 177 0 132006 0
[pid=30688/tid=30690] ppid=30686 vsize=528736 CPUtime=24.38
/proc/30688/task/30690/stat : 30690 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 6309 0 0 0 2422 16 0 0 20 0 17 0 657480675 541425664 94029 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30688/tid=30691] ppid=30686 vsize=528736 CPUtime=24.04
/proc/30688/task/30691/stat : 30691 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 5378 0 0 0 1860 544 0 0 20 0 17 0 657480675 541425664 94029 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30688/tid=30692] ppid=30686 vsize=528736 CPUtime=24.1
/proc/30688/task/30692/stat : 30692 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 4493 0 0 0 1890 520 0 0 20 0 17 0 657480675 541425664 94029 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30688/tid=30693] ppid=30686 vsize=528736 CPUtime=24.14

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

/proc/30688/task/30693/stat : 30693 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 13641 0 0 0 4377 588 0 0 20 0 17 0 657480675 895807488 174887 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134562309 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30688/tid=30694] ppid=30686 vsize=874812 CPUtime=49.62
/proc/30688/task/30694/stat : 30694 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 8815 0 0 0 4366 596 0 0 20 0 17 0 657480675 895807488 174887 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30688/tid=30695] ppid=30686 vsize=874812 CPUtime=49.5
/proc/30688/task/30695/stat : 30695 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 7715 0 0 0 4320 630 0 0 20 0 17 0 657480675 895807488 174888 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30688/tid=30696] ppid=30686 vsize=874812 CPUtime=49.5
/proc/30688/task/30696/stat : 30696 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 9792 0 0 0 4336 614 0 0 20 0 17 0 657480675 895807488 174888 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30688/tid=30697] ppid=30686 vsize=874812 CPUtime=49.56
/proc/30688/task/30697/stat : 30697 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 11128 0 0 0 4374 582 0 0 20 0 17 0 657480675 895807488 174888 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30688/tid=30698] ppid=30686 vsize=874812 CPUtime=49.57
/proc/30688/task/30698/stat : 30698 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 11282 0 0 0 4351 606 0 0 20 0 17 0 657480675 895807488 174888 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30688/tid=30699] ppid=30686 vsize=874812 CPUtime=49.6
/proc/30688/task/30699/stat : 30699 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 8258 0 0 0 4366 594 0 0 20 0 17 0 657480675 895807488 174888 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30688/tid=30700] ppid=30686 vsize=874812 CPUtime=49.57
/proc/30688/task/30700/stat : 30700 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 10306 0 0 0 4331 626 0 0 20 0 17 0 657480675 895807488 174888 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30688/tid=30701] ppid=30686 vsize=874812 CPUtime=49.44
/proc/30688/task/30701/stat : 30701 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 8184 0 0 0 4274 670 0 0 20 0 17 0 657480675 895807488 174888 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30688/tid=30702] ppid=30686 vsize=874812 CPUtime=49.48
/proc/30688/task/30702/stat : 30702 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 9767 0 0 0 4286 662 0 0 20 0 17 0 657480675 895807488 174888 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134562363 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30688/tid=30703] ppid=30686 vsize=874812 CPUtime=48.69
/proc/30688/task/30703/stat : 30703 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 12132 0 0 0 4275 594 0 0 20 0 17 0 657480675 895807488 174888 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30688/tid=30704] ppid=30686 vsize=874812 CPUtime=49.63
/proc/30688/task/30704/stat : 30704 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 9182 0 0 0 4405 558 0 0 20 0 17 0 657480675 895807488 174888 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30688/tid=30705] ppid=30686 vsize=874812 CPUtime=49.67
/proc/30688/task/30705/stat : 30705 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 15730 0 0 0 4389 578 0 0 20 0 17 0 657480675 895807488 174888 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 793.66
Current children cumulated vsize (KiB) 874812

[startup+102.314 s]
/proc/loadavg: 15.98 15.80 15.36 17/201 30708
/proc/meminfo: memFree=17751480/36427776 swapFree=4692/1245288
[pid=30688] ppid=30686 vsize=1448236 CPUtime=1610.12
/proc/30688/stat : 30688 (ttsth-5-0) S 30686 30688 15497 0 -1 4202496 310761 0 0 0 150442 10570 0 0 20 0 17 0 657480566 1482993664 309418 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30688/statm: 362059 309420 95 177 0 361881 0
[pid=30688/tid=30690] ppid=30686 vsize=1448236 CPUtime=101.17
/proc/30688/task/30690/stat : 30690 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 15081 0 0 0 10083 34 0 0 20 0 17 0 657480675 1482993664 309420 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30688/tid=30691] ppid=30686 vsize=1448236 CPUtime=100.55
/proc/30688/task/30691/stat : 30691 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 18322 0 0 0 9303 752 0 0 20 0 17 0 657480675 1482993664 309420 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30688/tid=30692] ppid=30686 vsize=1448236 CPUtime=100.66
/proc/30688/task/30692/stat : 30692 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 13231 0 0 0 9374 692 0 0 20 0 17 0 657480675 1482993664 309420 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30688/tid=30693] ppid=30686 vsize=1448236 CPUtime=100.75
/proc/30688/task/30693/stat : 30693 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 24621 0 0 0 9397 678 0 0 20 0 17 0 657480675 1482993664 309420 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30688/tid=30694] ppid=30686 vsize=1448236 CPUtime=100.71
/proc/30688/task/30694/stat : 30694 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 17248 0 0 0 9387 684 0 0 20 0 17 0 657480675 1482993664 309420 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30688/tid=30695] ppid=30686 vsize=1448236 CPUtime=100.53
/proc/30688/task/30695/stat : 30695 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 14862 0 0 0 9329 724 0 0 20 0 17 0 657480675 1482993664 309420 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30688/tid=30696] ppid=30686 vsize=1448236 CPUtime=100.56
/proc/30688/task/30696/stat : 30696 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 17298 0 0 0 9344 712 0 0 20 0 17 0 657480675 1482993664 309420 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30688/tid=30697] ppid=30686 vsize=1448236 CPUtime=100.66
/proc/30688/task/30697/stat : 30697 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 20378 0 0 0 9426 640 0 0 20 0 17 0 657480675 1482993664 309420 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30688/tid=30698] ppid=30686 vsize=1448236 CPUtime=100.68
/proc/30688/task/30698/stat : 30698 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 20370 0 0 0 9360 708 0 0 20 0 17 0 657480675 1482993664 309421 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30688/tid=30699] ppid=30686 vsize=1448236 CPUtime=100.65
/proc/30688/task/30699/stat : 30699 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 17050 0 0 0 9357 708 0 0 20 0 17 0 657480675 1482993664 309421 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134561428 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30688/tid=30700] ppid=30686 vsize=1448236 CPUtime=100.66
/proc/30688/task/30700/stat : 30700 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 21296 0 0 0 9350 716 0 0 20 0 17 0 657480675 1482993664 309421 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134562388 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30688/tid=30701] ppid=30686 vsize=1448236 CPUtime=100.46
/proc/30688/task/30701/stat : 30701 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 14298 0 0 0 9282 764 0 0 20 0 17 0 657480675 1482993664 309421 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30688/tid=30702] ppid=30686 vsize=1448236 CPUtime=100.55
/proc/30688/task/30702/stat : 30702 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 17436 0 0 0 9303 752 0 0 20 0 17 0 657480675 1482993664 309421 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30688/tid=30703] ppid=30686 vsize=1448236 CPUtime=98.81
/proc/30688/task/30703/stat : 30703 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 22487 0 0 0 9205 676 0 0 20 0 17 0 657480675 1482993664 309421 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30688/tid=30704] ppid=30686 vsize=1448236 CPUtime=100.74
/proc/30688/task/30704/stat : 30704 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 15898 0 0 0 9428 646 0 0 20 0 17 0 657480675 1482993664 309421 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30688/tid=30705] ppid=30686 vsize=1448236 CPUtime=100.77
/proc/30688/task/30705/stat : 30705 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 28683 0 0 0 9405 672 0 0 20 0 17 0 657480675 1482993664 309421 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1610.12
Current children cumulated vsize (KiB) 1448236

[startup+162.305 s]
/proc/loadavg: 15.99 15.83 15.40 17/201 30708
/proc/meminfo: memFree=17265276/36427776 swapFree=4692/1731552
[pid=30688] ppid=30686 vsize=1974036 CPUtime=2567.76
/proc/30688/stat : 30688 (ttsth-5-0) S 30686 30688 15497 0 -1 4202496 433660 0 0 0 245314 11462 0 0 20 0 17 0 657480566 2021412864 432317 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30688/statm: 493509 432317 95 177 0 493331 0
[pid=30688/tid=30690] ppid=30686 vsize=1974036 CPUtime=161.17
/proc/30688/task/30690/stat : 30690 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 20187 0 0 0 16063 54 0 0 20 0 17 0 657480675 2021412864 432317 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134562309 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30688/tid=30691] ppid=30686 vsize=1974036 CPUtime=160.45
/proc/30688/task/30691/stat : 30691 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 27080 0 0 0 15229 816 0 0 20 0 17 0 657480675 2021412864 432318 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30688/tid=30692] ppid=30686 vsize=1974036 CPUtime=160.54
/proc/30688/task/30692/stat : 30692 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 19917 0 0 0 15300 754 0 0 20 0 17 0 657480675 2021412864 432318 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30688/tid=30693] ppid=30686 vsize=1974036 CPUtime=160.69
/proc/30688/task/30693/stat : 30693 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 34189 0 0 0 15339 730 0 0 20 0 17 0 657480675 2021412864 432318 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30688/tid=30694] ppid=30686 vsize=1974036 CPUtime=160.61
/proc/30688/task/30694/stat : 30694 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 25423 0 0 0 15325 736 0 0 20 0 17 0 657480675 2021412864 432318 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30688/tid=30695] ppid=30686 vsize=1974036 CPUtime=160.44
/proc/30688/task/30695/stat : 30695 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 21167 0 0 0 15264 780 0 0 20 0 17 0 657480675 2021412864 432318 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30688/tid=30696] ppid=30686 vsize=1974036 CPUtime=160.47
/proc/30688/task/30696/stat : 30696 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 24845 0 0 0 15277 770 0 0 20 0 17 0 657480675 2021412864 432318 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30688/tid=30697] ppid=30686 vsize=1974036 CPUtime=160.6
/proc/30688/task/30697/stat : 30697 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 29837 0 0 0 15372 688 0 0 20 0 17 0 657480675 2021412864 432318 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30688/tid=30698] ppid=30686 vsize=1974036 CPUtime=160.58
/proc/30688/task/30698/stat : 30698 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 30203 0 0 0 15284 774 0 0 20 0 17 0 657480675 2021412864 432318 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30688/tid=30699] ppid=30686 vsize=1974036 CPUtime=160.56
/proc/30688/task/30699/stat : 30699 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 24627 0 0 0 15282 774 0 0 20 0 17 0 657480675 2021412864 432318 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30688/tid=30700] ppid=30686 vsize=1974036 CPUtime=160.58
/proc/30688/task/30700/stat : 30700 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 28693 0 0 0 15284 774 0 0 20 0 17 0 657480675 2021412864 432318 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30688/tid=30701] ppid=30686 vsize=1974036 CPUtime=160.36
/proc/30688/task/30701/stat : 30701 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 20280 0 0 0 15214 822 0 0 20 0 17 0 657480675 2021412864 432318 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30688/tid=30702] ppid=30686 vsize=1974036 CPUtime=160.45
/proc/30688/task/30702/stat : 30702 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 25784 0 0 0 15221 824 0 0 20 0 17 0 657480675 2021412864 432319 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30688/tid=30703] ppid=30686 vsize=1974036 CPUtime=157.58
/proc/30688/task/30703/stat : 30703 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 30441 0 0 0 15020 738 0 0 20 0 17 0 657480675 2021412864 432319 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30688/tid=30704] ppid=30686 vsize=1974036 CPUtime=160.67
/proc/30688/task/30704/stat : 30704 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 20081 0 0 0 15375 692 0 0 20 0 17 0 657480675 2021412864 432319 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30688/tid=30705] ppid=30686 vsize=1974036 CPUtime=160.7
/proc/30688/task/30705/stat : 30705 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 38703 0 0 0 15348 722 0 0 20 0 17 0 657480675 2021412864 432319 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 2567.76
Current children cumulated vsize (KiB) 1974036



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+178.804 s]
/proc/loadavg: 15.99 15.84 15.40 17/201 30708
/proc/meminfo: memFree=17145244/36427776 swapFree=4692/1850772
[pid=30688] ppid=30686 vsize=2096284 CPUtime=2831.29
/proc/30688/stat : 30688 (ttsth-5-0) S 30686 30688 15497 0 -1 4202496 462447 0 0 0 271458 11671 0 0 20 0 17 0 657480566 2146594816 461104 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30688/statm: 524071 461104 95 177 0 523893 0
[pid=30688/tid=30690] ppid=30686 vsize=2096284 CPUtime=177.67
/proc/30688/task/30690/stat : 30690 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 21613 0 0 0 17707 60 0 0 20 0 17 0 657480675 2146594816 461104 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134562413 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30688/tid=30691] ppid=30686 vsize=2096284 CPUtime=176.95
/proc/30688/task/30691/stat : 30691 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 29090 0 0 0 16863 832 0 0 20 0 17 0 657480675 2146594816 461104 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30688/tid=30692] ppid=30686 vsize=2096284 CPUtime=177.03
/proc/30688/task/30692/stat : 30692 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 21639 0 0 0 16935 768 0 0 20 0 17 0 657480675 2146594816 461104 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30688/tid=30693] ppid=30686 vsize=2096284 CPUtime=177.19
/proc/30688/task/30693/stat : 30693 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 36692 0 0 0 16975 744 0 0 20 0 17 0 657480675 2146594816 461104 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30688/tid=30694] ppid=30686 vsize=2096284 CPUtime=177.11
/proc/30688/task/30694/stat : 30694 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 27079 0 0 0 16961 750 0 0 20 0 17 0 657480675 2146594816 461104 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30688/tid=30695] ppid=30686 vsize=2096284 CPUtime=176.95
/proc/30688/task/30695/stat : 30695 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 22904 0 0 0 16903 792 0 0 20 0 17 0 657480675 2146594816 461104 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30688/tid=30696] ppid=30686 vsize=2096284 CPUtime=176.97
/proc/30688/task/30696/stat : 30696 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 26732 0 0 0 16913 784 0 0 20 0 17 0 657480675 2146594816 461104 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134562351 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30688/tid=30697] ppid=30686 vsize=2096284 CPUtime=177.09
/proc/30688/task/30697/stat : 30697 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 32078 0 0 0 17011 698 0 0 20 0 17 0 657480675 2146594816 461105 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30688/tid=30698] ppid=30686 vsize=2096284 CPUtime=177.07
/proc/30688/task/30698/stat : 30698 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 31981 0 0 0 16917 790 0 0 20 0 17 0 657480675 2146594816 461105 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30688/tid=30699] ppid=30686 vsize=2096284 CPUtime=177.07
/proc/30688/task/30699/stat : 30699 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 26364 0 0 0 16917 790 0 0 20 0 17 0 657480675 2146594816 461105 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30688/tid=30700] ppid=30686 vsize=2096284 CPUtime=177.07
/proc/30688/task/30700/stat : 30700 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 30229 0 0 0 16923 784 0 0 20 0 17 0 657480675 2146594816 461105 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30688/tid=30701] ppid=30686 vsize=2096284 CPUtime=176.85
/proc/30688/task/30701/stat : 30701 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 21903 0 0 0 16849 836 0 0 20 0 17 0 657480675 2146594816 461105 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30688/tid=30702] ppid=30686 vsize=2096284 CPUtime=176.97
/proc/30688/task/30702/stat : 30702 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 27469 0 0 0 16861 836 0 0 20 0 17 0 657480675 2146594816 461105 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30688/tid=30703] ppid=30686 vsize=2096284 CPUtime=173.75
/proc/30688/task/30703/stat : 30703 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 32075 0 0 0 16619 756 0 0 20 0 17 0 657480675 2146594816 461105 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30688/tid=30704] ppid=30686 vsize=2096284 CPUtime=177.17
/proc/30688/task/30704/stat : 30704 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 21353 0 0 0 17007 710 0 0 20 0 17 0 657480675 2146594816 461105 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134562363 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30688/tid=30705] ppid=30686 vsize=2096284 CPUtime=177.19
/proc/30688/task/30705/stat : 30705 (ttsth-5-0) R 30686 30688 15497 0 -1 4202560 41043 0 0 0 16989 730 0 0 20 0 17 0 657480675 2146594816 461105 18446744073709551615 134512640 135237372 4290093616 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 2831.29
Current children cumulated vsize (KiB) 2096284

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

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

[startup+179.003 s]
/proc/loadavg: 15.99 15.84 15.40 17/201 30708
/proc/meminfo: memFree=17145244/36427776 swapFree=4692/1850772
[pid=30688] ppid=30686 vsize=0 CPUtime=2831.68
/proc/30688/stat : 30688 (ttsth-5-0) Z 30686 30688 15497 0 -1 4203532 462464 0 0 0 271479 11689 0 0 20 0 2 0 657480566 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30688/statm: 0 0 0 0 0 0 0
[pid=30688/tid=30705] ppid=30686 vsize=0 CPUtime=177.37
/proc/30688/task/30705/stat : 30705 (ttsth-5-0) R 30686 30688 15497 0 -1 4203588 41045 0 0 0 16989 748 0 0 20 0 2 0 657480675 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 2831.68
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 179.023
CPU time (s): 2831.71
CPU user time (s): 2714.79
CPU system time (s): 116.915
CPU usage (%): 1581.76
Max. virtual memory (cumulated for all children) (KiB): 2096284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2714.79
system time used= 116.915
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 462464
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= 101134
involuntary context switches= 6851

runsolver used 0.832052 second user time and 2.64417 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 14:15:42
IDJOB=1781160
IDBENCH=71101
IDSOLVER=634
FILE ID=xenhost3-49/1781160-1244981742
PBS_JOBID=
Free space on /tmp= 7021 MiB

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

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

MD5SUM BENCH= 8ece32bbd9e6c3f5c8cdf0e94e0569cd
RANDOM SEED= 273107552

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:      18988160 kB
Buffers:        524844 kB
Cached:       14119892 kB
SwapCached:          0 kB
Active:        4171720 kB
Inactive:     10481960 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2032 kB
Writeback:           0 kB
AnonPages:        8228 kB
Mapped:           3012 kB
Slab:           733628 kB
SReclaimable:   706760 kB
SUnreclaim:      26868 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29616 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7021 MiB
End job on xenhost3-49 at 2009-06-14 14:18:43