Trace number 1779480

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) 1447.37 96.4967

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-34-s100.cnf
MD5SUMd33264afbb7fa6f88a24b97cfc468c5a
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 variables32465
Number of clauses97748
Sum of the clauses size230766
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 262350
Number of clauses of size 335334
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.10/0.12	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779480-1244953551.cnf 
0.10/0.12	c Using SATTIMEOUT of 10000
0.10/0.12	c Using SATRAM of 2047
0.10/0.12	c Size of subset node = 16
0.10/0.12	c Variables = 32465
0.10/0.12	c Clauses = 97748
0.10/0.12	c Literals = 230766
0.10/0.12	c Reduced size:
0.10/0.12	c Variables = 32465
0.10/0.12	c Clauses = 97492
0.10/0.12	c Literals = 230058
0.10/0.12	c a2
0.18/0.23	c a1
3.70/3.79	c Independent sub-problems = 1
3.70/3.79	c Sub-problem with 32370 variables and 97492 clauses
3.70/3.79	c using permutation method 4
3.70/3.79	c count = 1
3.70/3.79	c Ordering finished 3.750 seconds
3.70/3.79	c mapped 3.780 seconds
3.70/3.79	c permuted 3.780 seconds
3.70/3.79	c about to sort
3.80/3.81	c sorted
4.68/4.78	c clauses now 97492
4.68/4.78	c init finished 4.420 seconds
4.68/4.78	c tree built 4.760 seconds
4.68/4.78	c 
4.68/4.78	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
4.68/4.78	c ---------------------------------|----------------------------------|------------------------------------------------------
4.68/4.78	c ................................ | ..........                       |                        4.8           0.0             
4.68/4.78	c ................................ | ..........                     1 |                        4.8           0.2             
4.68/4.78	c ................................ | ..........                     2 |                        4.8           0.4             
4.68/4.78	c ................................ | ..........                     3 |                        4.8           0.6             
4.68/4.78	c ................................ | ..........                     4 |                        4.8           0.8             
4.68/4.78	c ................................ | ..........                     5 |                        4.8           1.0             
4.68/4.79	c ................................ | ..........                  1000 | 4                      4.9         205.3          103
285.94/22.89	c ................................ | ..........                552000 | 14925                200.2        2756.7     15130255
505.20/36.72	c ................................ | ..........                782000 | 21143                401.2        1949.2     29992208
714.50/50.09	c ................................ | ..........               1038000 | 27867                600.7        1728.0     43282902
925.92/63.41	c ................................ | ..........               1256000 | 33622                800.2        1569.6     56435015
1131.82/76.48	c ................................ | *.........               1458000 | 39052               1000.6        1457.1     69368417
1338.98/89.56	c ................................ | *.........               1657000 | 45327               1200.4        1380.4     81160969

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-1779480-1244953551/watcher-1779480-1244953551 -o /tmp/evaluation-result-1779480-1244953551/solver-1779480-1244953551 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779480-1244953551.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: 14.68 14.51 13.35 2/189 24094
/proc/meminfo: memFree=19043764/36427776 swapFree=4460/8836
[pid=24094] ppid=24092 vsize=1540 CPUtime=0
/proc/24094/stat : 24094 (ttsth-5-0) R 24092 24094 15497 0 -1 4202496 271 0 0 0 0 0 0 0 20 0 1 0 654661458 1576960 228 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134732614 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/24094/statm: 385 230 75 177 0 207 0

[startup+0.07585 s]
/proc/loadavg: 14.68 14.51 13.35 2/189 24094
/proc/meminfo: memFree=19043764/36427776 swapFree=4460/8836
[pid=24094] ppid=24092 vsize=5864 CPUtime=0.06
/proc/24094/stat : 24094 (ttsth-5-0) R 24092 24094 15497 0 -1 4202496 1350 0 0 0 6 0 0 0 20 0 1 0 654661458 6004736 1307 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134732614 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/24094/statm: 1466 1308 75 177 0 1288 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5864

[startup+0.103864 s]
/proc/loadavg: 14.68 14.51 13.35 2/189 24094
/proc/meminfo: memFree=19043764/36427776 swapFree=4460/8836
[pid=24094] ppid=24092 vsize=8044 CPUtime=0.1
/proc/24094/stat : 24094 (ttsth-5-0) R 24092 24094 15497 0 -1 4202496 1817 0 0 0 10 0 0 0 20 0 1 0 654661458 8237056 1774 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134534215 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/24094/statm: 2011 1774 75 177 0 1833 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 8044

[startup+0.303906 s]
/proc/loadavg: 14.68 14.51 13.35 2/189 24094
/proc/meminfo: memFree=19043764/36427776 swapFree=4460/8836
[pid=24094] ppid=24092 vsize=15856 CPUtime=0.28
/proc/24094/stat : 24094 (ttsth-5-0) R 24092 24094 15497 0 -1 4202496 3978 0 0 0 28 0 0 0 20 0 1 0 654661458 16236544 3742 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134732614 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/24094/statm: 3964 3743 77 177 0 3786 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 15856

[startup+0.703896 s]
/proc/loadavg: 14.68 14.51 13.35 2/189 24094
/proc/meminfo: memFree=19043764/36427776 swapFree=4460/8836
[pid=24094] ppid=24092 vsize=19172 CPUtime=0.68
/proc/24094/stat : 24094 (ttsth-5-0) R 24092 24094 15497 0 -1 4202496 4800 0 0 0 68 0 0 0 20 0 1 0 654661458 19632128 4564 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134550999 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/24094/statm: 4793 4564 77 177 0 4615 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 19172

[startup+1.50396 s]
/proc/loadavg: 14.68 14.51 13.35 2/190 24095
/proc/meminfo: memFree=19026352/36427776 swapFree=4816/26988
[pid=24094] ppid=24092 vsize=19616 CPUtime=1.5
/proc/24094/stat : 24094 (ttsth-5-0) R 24092 24094 15497 0 -1 4202496 4895 0 0 0 148 2 0 0 20 0 1 0 654661458 20086784 4659 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134600794 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/24094/statm: 4904 4659 77 177 0 4726 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 19616

[startup+3.10409 s]
/proc/loadavg: 14.68 14.51 13.35 2/190 24095
/proc/meminfo: memFree=19024072/36427776 swapFree=4948/28376
[pid=24094] ppid=24092 vsize=20324 CPUtime=3.1
/proc/24094/stat : 24094 (ttsth-5-0) R 24092 24094 15497 0 -1 4202496 5088 0 0 0 308 2 0 0 20 0 1 0 654661458 20811776 4852 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134553906 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/24094/statm: 5081 4852 77 177 0 4903 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 20324

[startup+6.30324 s]
/proc/loadavg: 13.58 14.29 13.28 17/206 24111
/proc/meminfo: memFree=18647316/36427776 swapFree=4808/407332
[pid=24094] ppid=24092 vsize=541972 CPUtime=28.24
/proc/24094/stat : 24094 (ttsth-5-0) S 24092 24094 15497 0 -1 4202496 104423 0 0 0 953 1871 0 0 20 0 17 0 654661458 554979328 103995 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/24094/statm: 135493 103995 95 177 0 135315 0
[pid=24094/tid=24096] ppid=24092 vsize=541972 CPUtime=1.48
/proc/24094/task/24096/stat : 24096 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 3231 0 0 0 136 12 0 0 20 0 17 0 654661935 554979328 103995 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134732535 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24094/tid=24097] ppid=24092 vsize=541972 CPUtime=1.46
/proc/24094/task/24097/stat : 24097 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 367 0 0 0 24 122 0 0 20 0 17 0 654661935 554979328 103995 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=24094/tid=24098] ppid=24092 vsize=541972 CPUtime=1.46
/proc/24094/task/24098/stat : 24098 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 496 0 0 0 20 126 0 0 20 0 17 0 654661935 554979328 103996 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24094/tid=24099] ppid=24092 vsize=541972 CPUtime=1.46
/proc/24094/task/24099/stat : 24099 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 396 0 0 0 30 116 0 0 20 0 17 0 654661935 554979328 103996 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=24094/tid=24100] ppid=24092 vsize=541972 CPUtime=1.46
/proc/24094/task/24100/stat : 24100 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 289 0 0 0 28 118 0 0 20 0 17 0 654661935 554979328 103996 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=24094/tid=24101] ppid=24092 vsize=541972 CPUtime=1.46
/proc/24094/task/24101/stat : 24101 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 363 0 0 0 22 124 0 0 20 0 17 0 654661935 554979328 103996 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=24094/tid=24102] ppid=24092 vsize=541972 CPUtime=1.46
/proc/24094/task/24102/stat : 24102 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 324 0 0 0 24 122 0 0 20 0 17 0 654661935 554979328 103996 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24094/tid=24103] ppid=24092 vsize=541972 CPUtime=1.46
/proc/24094/task/24103/stat : 24103 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 348 0 0 0 28 118 0 0 20 0 17 0 654661935 554979328 103996 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24094/tid=24104] ppid=24092 vsize=541972 CPUtime=1.46
/proc/24094/task/24104/stat : 24104 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 355 0 0 0 28 118 0 0 20 0 17 0 654661935 554979328 103996 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24094/tid=24105] ppid=24092 vsize=541972 CPUtime=1.46
/proc/24094/task/24105/stat : 24105 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 343 0 0 0 22 124 0 0 20 0 17 0 654661936 554979328 103996 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24094/tid=24106] ppid=24092 vsize=541972 CPUtime=1.46
/proc/24094/task/24106/stat : 24106 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 289 0 0 0 22 124 0 0 20 0 17 0 654661936 554979328 103996 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24094/tid=24107] ppid=24092 vsize=541972 CPUtime=1.46
/proc/24094/task/24107/stat : 24107 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 374 0 0 0 26 120 0 0 20 0 17 0 654661936 554979328 103996 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=24094/tid=24108] ppid=24092 vsize=541972 CPUtime=1.46
/proc/24094/task/24108/stat : 24108 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 418 0 0 0 28 118 0 0 20 0 17 0 654661936 554979328 103996 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24094/tid=24109] ppid=24092 vsize=541972 CPUtime=1.44
/proc/24094/task/24109/stat : 24109 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 310 0 0 0 20 124 0 0 20 0 17 0 654661936 554979328 103996 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=24094/tid=24110] ppid=24092 vsize=541972 CPUtime=1.44
/proc/24094/task/24110/stat : 24110 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 525 0 0 0 24 120 0 0 20 0 17 0 654661936 554979328 103996 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24094/tid=24111] ppid=24092 vsize=541972 CPUtime=1.46
/proc/24094/task/24111/stat : 24111 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 296 0 0 0 20 126 0 0 20 0 17 0 654661937 554979328 103996 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 28.24
Current children cumulated vsize (KiB) 541972

[startup+12.7035 s]
/proc/loadavg: 13.78 14.31 13.30 17/206 24111
/proc/meminfo: memFree=18522632/36427776 swapFree=4836/531596
[pid=24094] ppid=24092 vsize=661236 CPUtime=127.8
/proc/24094/stat : 24094 (ttsth-5-0) S 24092 24094 15497 0 -1 4202496 134709 0 0 0 4730 8050 0 0 20 0 17 0 654661458 677105664 134281 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/24094/statm: 165309 134281 95 177 0 165131 0
[pid=24094/tid=24096] ppid=24092 vsize=661236 CPUtime=7.86
/proc/24094/task/24096/stat : 24096 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 9854 0 0 0 768 18 0 0 20 0 17 0 654661935 677105664 134281 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134680226 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24094/tid=24097] ppid=24092 vsize=661236 CPUtime=7.64
/proc/24094/task/24097/stat : 24097 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 2500 0 0 0 242 522 0 0 20 0 17 0 654661935 677105664 134281 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=24094/tid=24098] ppid=24092 vsize=661236 CPUtime=7.7
/proc/24094/task/24098/stat : 24098 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 2214 0 0 0 238 532 0 0 20 0 17 0 654661935 677105664 134281 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24094/tid=24099] ppid=24092 vsize=661236 CPUtime=7.72
/proc/24094/task/24099/stat : 24099 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 2289 0 0 0 256 516 0 0 20 0 17 0 654661935 677105664 134281 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=24094/tid=24100] ppid=24092 vsize=661236 CPUtime=7.68
/proc/24094/task/24100/stat : 24100 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 2193 0 0 0 266 502 0 0 20 0 17 0 654661935 677105664 134281 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=24094/tid=24101] ppid=24092 vsize=661236 CPUtime=7.7
/proc/24094/task/24101/stat : 24101 (ttsth-5-0) S 24092 24094 15497 0 -1 4202560 1648 0 0 0 226 544 0 0 20 0 17 0 654661935 677105664 134281 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=24094/tid=24102] ppid=24092 vsize=661236 CPUtime=7.72
/proc/24094/task/24102/stat : 24102 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 1225 0 0 0 204 568 0 0 20 0 17 0 654661935 677105664 134281 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24094/tid=24103] ppid=24092 vsize=661236 CPUtime=7.7
/proc/24094/task/24103/stat : 24103 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 2731 0 0 0 250 520 0 0 20 0 17 0 654661935 677105664 134281 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24094/tid=24104] ppid=24092 vsize=661236 CPUtime=7.68
/proc/24094/task/24104/stat : 24104 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 2048 0 0 0 256 512 0 0 20 0 17 0 654661935 677105664 134281 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24094/tid=24105] ppid=24092 vsize=661236 CPUtime=7.62
/proc/24094/task/24105/stat : 24105 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 1778 0 0 0 208 554 0 0 20 0 17 0 654661936 677105664 134281 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24094/tid=24106] ppid=24092 vsize=661236 CPUtime=7.7
/proc/24094/task/24106/stat : 24106 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 1936 0 0 0 238 532 0 0 20 0 17 0 654661936 677105664 134281 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24094/tid=24107] ppid=24092 vsize=661236 CPUtime=7.68
/proc/24094/task/24107/stat : 24107 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 2109 0 0 0 242 526 0 0 20 0 17 0 654661936 677105664 134281 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134590129 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=24094/tid=24108] ppid=24092 vsize=661236 CPUtime=7.68
/proc/24094/task/24108/stat : 24108 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 1464 0 0 0 224 544 0 0 20 0 17 0 654661936 677105664 134281 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24094/tid=24109] ppid=24092 vsize=661236 CPUtime=7.5
/proc/24094/task/24109/stat : 24109 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 1782 0 0 0 220 530 0 0 20 0 17 0 654661936 677105664 134281 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=24094/tid=24110] ppid=24092 vsize=661236 CPUtime=7.62
/proc/24094/task/24110/stat : 24110 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 1855 0 0 0 226 536 0 0 20 0 17 0 654661936 677105664 134281 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24094/tid=24111] ppid=24092 vsize=661236 CPUtime=7.68
/proc/24094/task/24111/stat : 24111 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 1384 0 0 0 212 556 0 0 20 0 17 0 654661937 677105664 134281 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 127.8
Current children cumulated vsize (KiB) 661236

[startup+25.5062 s]
/proc/loadavg: 14.27 14.40 13.34 18/206 24111
/proc/meminfo: memFree=18314320/36427776 swapFree=4836/740740
[pid=24094] ppid=24092 vsize=872448 CPUtime=328.5
/proc/24094/stat : 24094 (ttsth-5-0) S 24092 24094 15497 0 -1 4202496 184915 0 0 0 16799 16051 0 0 20 0 17 0 654661458 893386752 184487 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/24094/statm: 218112 184487 95 177 0 217934 0
[pid=24094/tid=24096] ppid=24092 vsize=872448 CPUtime=20.66
/proc/24094/task/24096/stat : 24096 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 17258 0 0 0 2040 26 0 0 20 0 17 0 654661935 893386752 184487 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134591221 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24094/tid=24097] ppid=24092 vsize=872448 CPUtime=20.24
/proc/24094/task/24097/stat : 24097 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 6373 0 0 0 1066 958 0 0 20 0 17 0 654661935 893386752 184488 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=24094/tid=24098] ppid=24092 vsize=872448 CPUtime=20.22
/proc/24094/task/24098/stat : 24098 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 5136 0 0 0 938 1084 0 0 20 0 17 0 654661935 893386752 184488 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24094/tid=24099] ppid=24092 vsize=872448 CPUtime=20.26
/proc/24094/task/24099/stat : 24099 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 4363 0 0 0 990 1036 0 0 20 0 17 0 654661935 893386752 184488 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=24094/tid=24100] ppid=24092 vsize=872448 CPUtime=20.2
/proc/24094/task/24100/stat : 24100 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 4838 0 0 0 912 1108 0 0 20 0 17 0 654661935 893386752 184488 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=24094/tid=24101] ppid=24092 vsize=872448 CPUtime=20.22
/proc/24094/task/24101/stat : 24101 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 4492 0 0 0 920 1102 0 0 20 0 17 0 654661935 893386752 184488 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=24094/tid=24102] ppid=24092 vsize=872448 CPUtime=20.26
/proc/24094/task/24102/stat : 24102 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 4942 0 0 0 902 1124 0 0 20 0 17 0 654661935 893386752 184488 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24094/tid=24103] ppid=24092 vsize=872448 CPUtime=20.32
/proc/24094/task/24103/stat : 24103 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 6230 0 0 0 1002 1030 0 0 20 0 17 0 654661935 893386752 184488 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24094/tid=24104] ppid=24092 vsize=872448 CPUtime=20.24
/proc/24094/task/24104/stat : 24104 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 4745 0 0 0 924 1100 0 0 20 0 17 0 654661935 893386752 184488 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24094/tid=24105] ppid=24092 vsize=872448 CPUtime=20.12
/proc/24094/task/24105/stat : 24105 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 4466 0 0 0 902 1110 0 0 20 0 17 0 654661936 893386752 184488 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24094/tid=24106] ppid=24092 vsize=872448 CPUtime=20.22
/proc/24094/task/24106/stat : 24106 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 3979 0 0 0 1016 1006 0 0 20 0 17 0 654661936 893386752 184489 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24094/tid=24107] ppid=24092 vsize=872448 CPUtime=20.24
/proc/24094/task/24107/stat : 24107 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 6327 0 0 0 996 1028 0 0 20 0 17 0 654661936 893386752 184489 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134519962 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=24094/tid=24108] ppid=24092 vsize=872448 CPUtime=20.22
/proc/24094/task/24108/stat : 24108 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 3739 0 0 0 936 1086 0 0 20 0 17 0 654661936 893386752 184489 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24094/tid=24109] ppid=24092 vsize=872448 CPUtime=19.72
/proc/24094/task/24109/stat : 24109 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 4406 0 0 0 872 1100 0 0 20 0 17 0 654661936 893386752 184489 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=24094/tid=24110] ppid=24092 vsize=872448 CPUtime=20.14
/proc/24094/task/24110/stat : 24110 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 4129 0 0 0 920 1094 0 0 20 0 17 0 654661936 893386752 184490 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24094/tid=24111] ppid=24092 vsize=872448 CPUtime=20.3
/proc/24094/task/24111/stat : 24111 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 3795 0 0 0 1008 1022 0 0 20 0 17 0 654661937 893386752 184490 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134549877 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 328.5
Current children cumulated vsize (KiB) 872448

[startup+51.1025 s]
/proc/loadavg: 14.86 14.52 13.41 16/206 24111
/proc/meminfo: memFree=17881488/36427776 swapFree=4836/1172256
[pid=24094] ppid=24092 vsize=1332944 CPUtime=731.75
/proc/24094/stat : 24094 (ttsth-5-0) S 24092 24094 15497 0 -1 4202496 293560 0 0 0 54844 18331 0 0 20 0 17 0 654661458 1364934656 293132 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/24094/statm: 333236 293132 95 177 0 333058 0
[pid=24094/tid=24096] ppid=24092 vsize=1332944 CPUtime=46.25
/proc/24094/task/24096/stat : 24096 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 26022 0 0 0 4585 40 0 0 20 0 17 0 654661935 1364934656 293132 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24094/tid=24097] ppid=24092 vsize=1332944 CPUtime=45.46
/proc/24094/task/24097/stat : 24097 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 14615 0 0 0 3412 1134 0 0 20 0 17 0 654661935 1364934656 293134 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=24094/tid=24098] ppid=24092 vsize=1332944 CPUtime=45.46
/proc/24094/task/24098/stat : 24098 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 12475 0 0 0 3346 1200 0 0 20 0 17 0 654661935 1364934656 293134 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24094/tid=24099] ppid=24092 vsize=1332944 CPUtime=45.46
/proc/24094/task/24099/stat : 24099 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 12705 0 0 0 3338 1208 0 0 20 0 17 0 654661935 1364934656 293134 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=24094/tid=24100] ppid=24092 vsize=1332944 CPUtime=45.44
/proc/24094/task/24100/stat : 24100 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 14073 0 0 0 3290 1254 0 0 20 0 17 0 654661935 1364934656 293134 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=24094/tid=24101] ppid=24092 vsize=1332944 CPUtime=45.44
/proc/24094/task/24101/stat : 24101 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 10535 0 0 0 3246 1298 0 0 20 0 17 0 654661935 1364934656 293134 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=24094/tid=24102] ppid=24092 vsize=1332944 CPUtime=45.48
/proc/24094/task/24102/stat : 24102 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 13285 0 0 0 3220 1328 0 0 20 0 17 0 654661935 1364934656 293135 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24094/tid=24103] ppid=24092 vsize=1332944 CPUtime=45.6
/proc/24094/task/24103/stat : 24103 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 13585 0 0 0 3372 1188 0 0 20 0 17 0 654661935 1364934656 293135 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24094/tid=24104] ppid=24092 vsize=1332944 CPUtime=45.54
/proc/24094/task/24104/stat : 24104 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 10428 0 0 0 3324 1230 0 0 20 0 17 0 654661935 1364934656 293136 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134590278 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24094/tid=24105] ppid=24092 vsize=1332944 CPUtime=45.25
/proc/24094/task/24105/stat : 24105 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 9850 0 0 0 3301 1224 0 0 20 0 17 0 654661936 1364934656 293136 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24094/tid=24106] ppid=24092 vsize=1332944 CPUtime=45.35
/proc/24094/task/24106/stat : 24106 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 8080 0 0 0 3345 1190 0 0 20 0 17 0 654661936 1364934656 293136 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24094/tid=24107] ppid=24092 vsize=1332944 CPUtime=45.56
/proc/24094/task/24107/stat : 24107 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 15735 0 0 0 3420 1136 0 0 20 0 17 0 654661936 1364934656 293136 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=24094/tid=24108] ppid=24092 vsize=1332944 CPUtime=45.38
/proc/24094/task/24108/stat : 24108 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 6894 0 0 0 3312 1226 0 0 20 0 17 0 654661936 1364934656 293136 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24094/tid=24109] ppid=24092 vsize=1332944 CPUtime=44.36
/proc/24094/task/24109/stat : 24109 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 10459 0 0 0 3178 1258 0 0 20 0 17 0 654661936 1364934656 293136 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=24094/tid=24110] ppid=24092 vsize=1332944 CPUtime=45.33
/proc/24094/task/24110/stat : 24110 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 10755 0 0 0 3289 1244 0 0 20 0 17 0 654661936 1364934656 293137 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24094/tid=24111] ppid=24092 vsize=1332944 CPUtime=45.54
/proc/24094/task/24111/stat : 24111 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 8368 0 0 0 3418 1136 0 0 20 0 17 0 654661937 1364934656 293137 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 731.75
Current children cumulated vsize (KiB) 1332944



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+96.3027 s]
/proc/loadavg: 15.46 14.73 13.53 18/206 24111
/proc/meminfo: memFree=17151812/36427776 swapFree=4836/1899712
[pid=24094] ppid=24092 vsize=2097520 CPUtime=1447.02
/proc/24094/stat : 24094 (ttsth-5-0) S 24092 24094 15497 0 -1 4202496 473661 0 0 0 121977 22725 0 0 20 0 17 0 654661458 2147860480 473233 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/24094/statm: 524380 473233 95 177 0 524202 0
[pid=24094/tid=24096] ppid=24092 vsize=2097520 CPUtime=91.45
/proc/24094/task/24096/stat : 24096 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 41915 0 0 0 9085 60 0 0 20 0 17 0 654661935 2147860480 473233 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134590275 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24094/tid=24097] ppid=24092 vsize=2097520 CPUtime=90.17
/proc/24094/task/24097/stat : 24097 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 26633 0 0 0 7581 1436 0 0 20 0 17 0 654661935 2147860480 473233 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134592184 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=24094/tid=24098] ppid=24092 vsize=2097520 CPUtime=90.21
/proc/24094/task/24098/stat : 24098 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 21897 0 0 0 7539 1482 0 0 20 0 17 0 654661935 2147860480 473233 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134552720 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24094/tid=24099] ppid=24092 vsize=2097520 CPUtime=90.17
/proc/24094/task/24099/stat : 24099 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 28182 0 0 0 7497 1520 0 0 20 0 17 0 654661935 2147860480 473233 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134591529 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=24094/tid=24100] ppid=24092 vsize=2097520 CPUtime=90.21
/proc/24094/task/24100/stat : 24100 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 31479 0 0 0 7495 1526 0 0 20 0 17 0 654661935 2147860480 473233 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=24094/tid=24101] ppid=24092 vsize=2097520 CPUtime=90.28
/proc/24094/task/24101/stat : 24101 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 20234 0 0 0 7462 1566 0 0 20 0 17 0 654661935 2147860480 473233 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=24094/tid=24102] ppid=24092 vsize=2097520 CPUtime=90.29
/proc/24094/task/24102/stat : 24102 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 27843 0 0 0 7417 1612 0 0 20 0 17 0 654661935 2147860480 473233 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24094/tid=24103] ppid=24092 vsize=2097520 CPUtime=90.34
/proc/24094/task/24103/stat : 24103 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 25514 0 0 0 7568 1466 0 0 20 0 17 0 654661935 2147860480 473233 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134749351 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24094/tid=24104] ppid=24092 vsize=2097520 CPUtime=90.31
/proc/24094/task/24104/stat : 24104 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 21935 0 0 0 7475 1556 0 0 20 0 17 0 654661935 2147860480 473233 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134552748 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24094/tid=24105] ppid=24092 vsize=2097520 CPUtime=89.94
/proc/24094/task/24105/stat : 24105 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 19421 0 0 0 7510 1484 0 0 20 0 17 0 654661936 2147860480 473233 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24094/tid=24106] ppid=24092 vsize=2097520 CPUtime=89.91
/proc/24094/task/24106/stat : 24106 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 16482 0 0 0 7467 1524 0 0 20 0 17 0 654661936 2147860480 473233 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134593369 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24094/tid=24107] ppid=24092 vsize=2097520 CPUtime=90.34
/proc/24094/task/24107/stat : 24107 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 26614 0 0 0 7632 1402 0 0 20 0 17 0 654661936 2147860480 473233 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=24094/tid=24108] ppid=24092 vsize=2097520 CPUtime=90
/proc/24094/task/24108/stat : 24108 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 10417 0 0 0 7478 1522 0 0 20 0 17 0 654661936 2147860480 473233 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24094/tid=24109] ppid=24092 vsize=2097520 CPUtime=88.09
/proc/24094/task/24109/stat : 24109 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 20265 0 0 0 7275 1534 0 0 20 0 17 0 654661936 2147860480 473233 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=24094/tid=24110] ppid=24092 vsize=2097520 CPUtime=90.09
/proc/24094/task/24110/stat : 24110 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 21248 0 0 0 7479 1530 0 0 20 0 17 0 654661936 2147860480 473233 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24094/tid=24111] ppid=24092 vsize=2097520 CPUtime=90.28
/proc/24094/task/24111/stat : 24111 (ttsth-5-0) R 24092 24094 15497 0 -1 4202560 17883 0 0 0 7566 1462 0 0 20 0 17 0 654661937 2147860480 473233 18446744073709551615 134512640 135237372 4289798640 18446744073709551615 134519962 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1447.02
Current children cumulated vsize (KiB) 2097520

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

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

[startup+96.424 s]
/proc/loadavg: 15.46 14.73 13.53 18/206 24111
/proc/meminfo: memFree=17151812/36427776 swapFree=4836/1899712
[pid=24094] ppid=24092 vsize=0 CPUtime=1447.3
/proc/24094/stat : 24094 (ttsth-5-0) Z 24092 24094 15497 0 -1 4203532 473689 0 0 0 121995 22735 0 0 20 0 2 0 654661458 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/24094/statm: 0 0 0 0 0 0 0
[pid=24094/tid=24111] ppid=24092 vsize=0 CPUtime=90.38
/proc/24094/task/24111/stat : 24111 (ttsth-5-0) R 24092 24094 15497 0 -1 4203588 17883 0 0 0 7566 1472 0 0 20 0 2 0 654661937 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1447.3
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 96.4967
CPU time (s): 1447.37
CPU user time (s): 1219.96
CPU system time (s): 227.414
CPU usage (%): 1499.92
Max. virtual memory (cumulated for all children) (KiB): 2097520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1219.96
system time used= 227.414
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 473689
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= 192676
involuntary context switches= 3363

runsolver used 0.560035 second user time and 1.32808 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 06:25:51
IDJOB=1779480
IDBENCH=70864
IDSOLVER=634
FILE ID=xenhost3-49/1779480-1244953551
PBS_JOBID=
Free space on /tmp= 7023 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-34-s100.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1779480-1244953551/watcher-1779480-1244953551 -o /tmp/evaluation-result-1779480-1244953551/solver-1779480-1244953551 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779480-1244953551.cnf

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

MD5SUM BENCH= d33264afbb7fa6f88a24b97cfc468c5a
RANDOM SEED= 120937205

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:      19043764 kB
Buffers:        482616 kB
Cached:       14118132 kB
SwapCached:          0 kB
Active:        4129316 kB
Inactive:     10480276 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2028 kB
Writeback:           0 kB
AnonPages:        8836 kB
Mapped:           3796 kB
Slab:           721596 kB
SReclaimable:   694796 kB
SUnreclaim:      26800 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    31204 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

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