Trace number 1776975

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) 1072.84 70.701

General information on the benchmark

Nameeen-tip-sat-texas-tp-5e.cnf
MD5SUM5bf390b945bda57e276dac6d13ea27f6
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.3
Satisfiable
(Un)Satisfiability was proved
Number of variables17985
Number of clauses52128
Sum of the clauses size123454
Maximum clause length15
Minimum clause length1
Number of clauses of size 115
Number of clauses of size 232912
Number of clauses of size 319200
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51

Solver Data 

0.10/0.18	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776975-1244944062.cnf 
0.10/0.18	c Using SATTIMEOUT of 10000
0.10/0.18	c Using SATRAM of 2047
0.10/0.18	c Size of subset node = 16
0.10/0.18	c Variables = 17985
0.10/0.18	c Clauses = 52128
0.10/0.18	c Literals = 123454
0.10/0.18	c Reduced size:
0.10/0.18	c Variables = 17985
0.10/0.18	c Clauses = 43871
0.10/0.18	c Literals = 101724
0.10/0.18	c a2
0.20/0.23	c a1
1.58/1.69	c Independent sub-problems = 1
1.58/1.69	c Sub-problem with 15165 variables and 43871 clauses
1.58/1.69	c using permutation method 4
1.58/1.69	c count = 1
1.58/1.69	c Ordering finished 1.670 seconds
1.58/1.69	c mapped 1.680 seconds
1.58/1.69	c permuted 1.680 seconds
1.58/1.69	c about to sort
1.68/1.70	c sorted
2.10/2.15	c clauses now 43871
2.10/2.15	c init finished 1.990 seconds
2.10/2.15	c tree built 2.140 seconds
2.10/2.15	c 
2.10/2.15	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
2.10/2.15	c ---------------------------------|----------------------------------|------------------------------------------------------
2.10/2.15	c ................................ | ..........                       |                        2.1           0.0             
2.10/2.15	c ................................ | ..........                     1 |                        2.1           0.5             
2.10/2.15	c ................................ | ..........                     2 |                        2.1           0.9             
2.10/2.15	c ................................ | ..........                     3 |                        2.1           1.4             
2.10/2.15	c ................................ | ..........                     4 |                        2.1           1.9             
2.10/2.15	c ................................ | ..........                     5 |                        2.1           2.3             
2.10/2.16	c ................................ | ..........                  1000 | 2                      2.2         448.4          604
306.43/21.62	c ................................ | ..........               1778000 | 50645                200.2        8881.1     12942031
570.54/38.57	c ................................ | ..........               2216000 | 66793                400.0        5540.0     35930529
809.71/53.87	c ................................ | ..........               2544000 | 79146                600.3        4237.7     61301989
1028.18/67.73	c ................................ | ..........               2814000 | 89312                800.3        3516.0     87982672

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-1776975-1244944062/watcher-1776975-1244944062 -o /tmp/evaluation-result-1776975-1244944062/solver-1776975-1244944062 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776975-1244944062.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: 0.92 1.44 4.49 2/184 21121
/proc/meminfo: memFree=19052280/36427776 swapFree=4312/8456
[pid=21121] ppid=21119 vsize=1672 CPUtime=0
/proc/21121/stat : 21121 (ttsth-5-0) R 21119 21121 15497 0 -1 4202496 297 0 0 0 0 0 0 0 20 0 1 0 653712568 1712128 254 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134732614 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/21121/statm: 418 254 75 177 0 240 0

[startup+0.080527 s]
/proc/loadavg: 0.92 1.44 4.49 2/184 21121
/proc/meminfo: memFree=19052280/36427776 swapFree=4312/8456
[pid=21121] ppid=21119 vsize=4740 CPUtime=0.08
/proc/21121/stat : 21121 (ttsth-5-0) R 21119 21121 15497 0 -1 4202496 1037 0 0 0 8 0 0 0 20 0 1 0 653712568 4853760 994 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134534266 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/21121/statm: 1185 994 75 177 0 1007 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4740

[startup+0.10052 s]
/proc/loadavg: 0.92 1.44 4.49 2/184 21121
/proc/meminfo: memFree=19052280/36427776 swapFree=4312/8456
[pid=21121] ppid=21119 vsize=4740 CPUtime=0.1
/proc/21121/stat : 21121 (ttsth-5-0) R 21119 21121 15497 0 -1 4202496 1037 0 0 0 10 0 0 0 20 0 1 0 653712568 4853760 994 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134534328 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/21121/statm: 1185 994 75 177 0 1007 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 4740

[startup+0.300544 s]
/proc/loadavg: 0.92 1.44 4.49 2/184 21121
/proc/meminfo: memFree=19052280/36427776 swapFree=4312/8456
[pid=21121] ppid=21119 vsize=9720 CPUtime=0.3
/proc/21121/stat : 21121 (ttsth-5-0) R 21119 21121 15497 0 -1 4202496 2387 0 0 0 30 0 0 0 20 0 1 0 653712568 9953280 2249 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134555272 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/21121/statm: 2430 2249 77 177 0 2252 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9720

[startup+0.70056 s]
/proc/loadavg: 0.92 1.44 4.49 2/184 21121
/proc/meminfo: memFree=19052280/36427776 swapFree=4312/8456
[pid=21121] ppid=21119 vsize=10060 CPUtime=0.68
/proc/21121/stat : 21121 (ttsth-5-0) R 21119 21121 15497 0 -1 4202496 2450 0 0 0 68 0 0 0 20 0 1 0 653712568 10301440 2312 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134555272 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/21121/statm: 2515 2312 77 177 0 2337 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10060

[startup+1.5006 s]
/proc/loadavg: 0.92 1.44 4.49 2/185 21122
/proc/meminfo: memFree=19043448/36427776 swapFree=4012/17816
[pid=21121] ppid=21119 vsize=10348 CPUtime=1.48
/proc/21121/stat : 21121 (ttsth-5-0) R 21119 21121 15497 0 -1 4202496 2528 0 0 0 148 0 0 0 20 0 1 0 653712568 10596352 2390 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134600823 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/21121/statm: 2587 2390 77 177 0 2409 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10348

[startup+3.1067 s]
/proc/loadavg: 0.92 1.44 4.49 2/185 21122
/proc/meminfo: memFree=18879572/36427776 swapFree=4620/180560
[pid=21121] ppid=21119 vsize=315228 CPUtime=17.06
/proc/21121/stat : 21121 (ttsth-5-0) S 21119 21121 15497 0 -1 4202496 49779 0 0 0 460 1246 0 0 20 0 17 0 653712568 322793472 49598 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/21121/statm: 78807 49598 95 177 0 78629 0
Current children cumulated CPU time (s) 17.06
Current children cumulated vsize (KiB) 315228

[startup+6.30383 s]
/proc/loadavg: 2.13 1.68 4.55 17/201 21138
/proc/meminfo: memFree=18843996/36427776 swapFree=4692/220604
[pid=21121] ppid=21119 vsize=334640 CPUtime=67.12
/proc/21121/stat : 21121 (ttsth-5-0) S 21119 21121 15497 0 -1 4202496 55110 0 0 0 1842 4870 0 0 20 0 17 0 653712568 342671360 54929 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/21121/statm: 83660 54929 95 177 0 83482 0
[pid=21121/tid=21123] ppid=21119 vsize=334640 CPUtime=4.14
/proc/21121/task/21123/stat : 21123 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 1585 0 0 0 408 6 0 0 20 0 17 0 653712783 342671360 54929 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=21121/tid=21124] ppid=21119 vsize=334640 CPUtime=4.06
/proc/21121/task/21124/stat : 21124 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 513 0 0 0 80 326 0 0 20 0 17 0 653712783 342671360 54929 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21121/tid=21125] ppid=21119 vsize=334640 CPUtime=4.06
/proc/21121/task/21125/stat : 21125 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 683 0 0 0 86 320 0 0 20 0 17 0 653712783 342671360 54929 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=21121/tid=21126] ppid=21119 vsize=334640 CPUtime=4.06
/proc/21121/task/21126/stat : 21126 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 826 0 0 0 98 308 0 0 20 0 17 0 653712783 342671360 54929 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=21121/tid=21127] ppid=21119 vsize=334640 CPUtime=4.06
/proc/21121/task/21127/stat : 21127 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 535 0 0 0 78 328 0 0 20 0 17 0 653712783 342671360 54929 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21121/tid=21128] ppid=21119 vsize=334640 CPUtime=4.06
/proc/21121/task/21128/stat : 21128 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 435 0 0 0 82 324 0 0 20 0 17 0 653712783 342671360 54930 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134591211 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21121/tid=21129] ppid=21119 vsize=334640 CPUtime=4.04
/proc/21121/task/21129/stat : 21129 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 564 0 0 0 66 338 0 0 20 0 17 0 653712783 342671360 54930 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21121/tid=21130] ppid=21119 vsize=334640 CPUtime=4.02
/proc/21121/task/21130/stat : 21130 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 627 0 0 0 78 324 0 0 20 0 17 0 653712783 342671360 54930 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134590497 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21121/tid=21131] ppid=21119 vsize=334640 CPUtime=4.06
/proc/21121/task/21131/stat : 21131 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 799 0 0 0 88 318 0 0 20 0 17 0 653712783 342671360 54930 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21121/tid=21132] ppid=21119 vsize=334640 CPUtime=4.04
/proc/21121/task/21132/stat : 21132 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 426 0 0 0 74 330 0 0 20 0 17 0 653712784 342671360 54931 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21121/tid=21133] ppid=21119 vsize=334640 CPUtime=4.04
/proc/21121/task/21133/stat : 21133 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 547 0 0 0 78 326 0 0 20 0 17 0 653712784 342671360 54931 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21121/tid=21134] ppid=21119 vsize=334640 CPUtime=4.04
/proc/21121/task/21134/stat : 21134 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 520 0 0 0 90 314 0 0 20 0 17 0 653712784 342671360 54931 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134591171 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21121/tid=21135] ppid=21119 vsize=334640 CPUtime=4.06
/proc/21121/task/21135/stat : 21135 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 571 0 0 0 90 316 0 0 20 0 17 0 653712784 342671360 54931 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134732614 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=21121/tid=21136] ppid=21119 vsize=334640 CPUtime=3.98
/proc/21121/task/21136/stat : 21136 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 740 0 0 0 72 326 0 0 20 0 17 0 653712784 342671360 54931 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=21121/tid=21137] ppid=21119 vsize=334640 CPUtime=4.04
/proc/21121/task/21137/stat : 21137 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 529 0 0 0 86 318 0 0 20 0 17 0 653712785 342671360 54931 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21121/tid=21138] ppid=21119 vsize=334640 CPUtime=4.06
/proc/21121/task/21138/stat : 21138 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 503 0 0 0 82 324 0 0 20 0 17 0 653712785 342671360 54931 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 67.12
Current children cumulated vsize (KiB) 334640

[startup+12.7067 s]
/proc/loadavg: 3.16 1.90 4.61 15/201 21138
/proc/meminfo: memFree=18789776/36427776 swapFree=4692/273844
[pid=21121] ppid=21119 vsize=391036 CPUtime=167.49
/proc/21121/stat : 21121 (ttsth-5-0) S 21119 21121 15497 0 -1 4202496 68590 0 0 0 5031 11718 0 0 20 0 17 0 653712568 400420864 68409 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/21121/statm: 97759 68409 95 177 0 97581 0
[pid=21121/tid=21123] ppid=21119 vsize=391036 CPUtime=10.54
/proc/21121/task/21123/stat : 21123 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 2088 0 0 0 1046 8 0 0 20 0 17 0 653712783 400420864 68409 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134592450 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=21121/tid=21124] ppid=21119 vsize=391036 CPUtime=10.34
/proc/21121/task/21124/stat : 21124 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 908 0 0 0 254 780 0 0 20 0 17 0 653712783 400420864 68409 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134592714 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21121/tid=21125] ppid=21119 vsize=391036 CPUtime=10.32
/proc/21121/task/21125/stat : 21125 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 2277 0 0 0 262 770 0 0 20 0 17 0 653712783 400420864 68409 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=21121/tid=21126] ppid=21119 vsize=391036 CPUtime=10.36
/proc/21121/task/21126/stat : 21126 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 1997 0 0 0 314 722 0 0 20 0 17 0 653712783 400420864 68409 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=21121/tid=21127] ppid=21119 vsize=391036 CPUtime=10.34
/proc/21121/task/21127/stat : 21127 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 1956 0 0 0 256 778 0 0 20 0 17 0 653712783 400420864 68409 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21121/tid=21128] ppid=21119 vsize=391036 CPUtime=10.34
/proc/21121/task/21128/stat : 21128 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 838 0 0 0 236 798 0 0 20 0 17 0 653712783 400420864 68410 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21121/tid=21129] ppid=21119 vsize=391036 CPUtime=10.3
/proc/21121/task/21129/stat : 21129 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 1109 0 0 0 230 800 0 0 20 0 17 0 653712783 400420864 68410 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21121/tid=21130] ppid=21119 vsize=391036 CPUtime=10.26
/proc/21121/task/21130/stat : 21130 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 1510 0 0 0 242 784 0 0 20 0 17 0 653712783 400420864 68410 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21121/tid=21131] ppid=21119 vsize=391036 CPUtime=10.34
/proc/21121/task/21131/stat : 21131 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 2422 0 0 0 256 778 0 0 20 0 17 0 653712783 400420864 68411 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21121/tid=21132] ppid=21119 vsize=391036 CPUtime=10.3
/proc/21121/task/21132/stat : 21132 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 654 0 0 0 234 796 0 0 20 0 17 0 653712784 400420864 68411 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134590146 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21121/tid=21133] ppid=21119 vsize=391036 CPUtime=10.3
/proc/21121/task/21133/stat : 21133 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 718 0 0 0 236 794 0 0 20 0 17 0 653712784 400420864 68411 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21121/tid=21134] ppid=21119 vsize=391036 CPUtime=10.34
/proc/21121/task/21134/stat : 21134 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 1594 0 0 0 272 762 0 0 20 0 17 0 653712784 400420864 68411 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21121/tid=21135] ppid=21119 vsize=391036 CPUtime=10.32
/proc/21121/task/21135/stat : 21135 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 1472 0 0 0 250 782 0 0 20 0 17 0 653712784 400420864 68411 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=21121/tid=21136] ppid=21119 vsize=391036 CPUtime=10.12
/proc/21121/task/21136/stat : 21136 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 2473 0 0 0 238 774 0 0 20 0 17 0 653712784 400420864 68411 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=21121/tid=21137] ppid=21119 vsize=391036 CPUtime=10.32
/proc/21121/task/21137/stat : 21137 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 863 0 0 0 258 774 0 0 20 0 17 0 653712785 400420864 68411 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21121/tid=21138] ppid=21119 vsize=391036 CPUtime=10.32
/proc/21121/task/21138/stat : 21138 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 1003 0 0 0 240 792 0 0 20 0 17 0 653712785 400420864 68411 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 167.49
Current children cumulated vsize (KiB) 391036

[startup+25.5056 s]
/proc/loadavg: 6.00 2.59 4.79 17/201 21138
/proc/meminfo: memFree=18530760/36427776 swapFree=4692/534148
[pid=21121] ppid=21119 vsize=667392 CPUtime=367.33
/proc/21121/stat : 21121 (ttsth-5-0) S 21119 21121 15497 0 -1 4202496 133878 0 0 0 14886 21847 0 0 20 0 17 0 653712568 683409408 133697 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/21121/statm: 166848 133699 95 177 0 166670 0
[pid=21121/tid=21123] ppid=21119 vsize=667392 CPUtime=23.34
/proc/21121/task/21123/stat : 21123 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 9486 0 0 0 2314 20 0 0 20 0 17 0 653712783 683409408 133699 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134680245 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=21121/tid=21124] ppid=21119 vsize=667392 CPUtime=22.8
/proc/21121/task/21124/stat : 21124 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 3325 0 0 0 802 1478 0 0 20 0 17 0 653712783 683409408 133699 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21121/tid=21125] ppid=21119 vsize=667392 CPUtime=22.88
/proc/21121/task/21125/stat : 21125 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 6822 0 0 0 852 1436 0 0 20 0 17 0 653712783 683409408 133699 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=21121/tid=21126] ppid=21119 vsize=667392 CPUtime=22.9
/proc/21121/task/21126/stat : 21126 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 5900 0 0 0 906 1384 0 0 20 0 17 0 653712783 683409408 133699 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=21121/tid=21127] ppid=21119 vsize=667392 CPUtime=22.92
/proc/21121/task/21127/stat : 21127 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 9658 0 0 0 914 1378 0 0 20 0 17 0 653712783 683409408 133699 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21121/tid=21128] ppid=21119 vsize=667392 CPUtime=22.82
/proc/21121/task/21128/stat : 21128 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 4441 0 0 0 754 1528 0 0 20 0 17 0 653712783 683409408 133700 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21121/tid=21129] ppid=21119 vsize=667392 CPUtime=22.68
/proc/21121/task/21129/stat : 21129 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 3457 0 0 0 740 1528 0 0 20 0 17 0 653712783 683409408 133700 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21121/tid=21130] ppid=21119 vsize=667392 CPUtime=22.82
/proc/21121/task/21130/stat : 21130 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 7697 0 0 0 912 1370 0 0 20 0 17 0 653712783 683409408 133700 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21121/tid=21131] ppid=21119 vsize=667392 CPUtime=22.86
/proc/21121/task/21131/stat : 21131 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 5610 0 0 0 832 1454 0 0 20 0 17 0 653712783 683409408 133700 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21121/tid=21132] ppid=21119 vsize=667392 CPUtime=22.78
/proc/21121/task/21132/stat : 21132 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 5802 0 0 0 836 1442 0 0 20 0 17 0 653712784 683409408 133700 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21121/tid=21133] ppid=21119 vsize=667392 CPUtime=22.72
/proc/21121/task/21133/stat : 21133 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 3095 0 0 0 758 1514 0 0 20 0 17 0 653712784 683409408 133700 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21121/tid=21134] ppid=21119 vsize=667392 CPUtime=22.84
/proc/21121/task/21134/stat : 21134 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 6543 0 0 0 890 1394 0 0 20 0 17 0 653712784 683409408 133700 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21121/tid=21135] ppid=21119 vsize=667392 CPUtime=22.84
/proc/21121/task/21135/stat : 21135 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 6090 0 0 0 836 1448 0 0 20 0 17 0 653712784 683409408 133701 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=21121/tid=21136] ppid=21119 vsize=667392 CPUtime=22.28
/proc/21121/task/21136/stat : 21136 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 4774 0 0 0 750 1478 0 0 20 0 17 0 653712784 683409408 133701 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=21121/tid=21137] ppid=21119 vsize=667392 CPUtime=22.72
/proc/21121/task/21137/stat : 21137 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 2738 0 0 0 742 1530 0 0 20 0 17 0 653712785 683409408 133701 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21121/tid=21138] ppid=21119 vsize=667392 CPUtime=22.82
/proc/21121/task/21138/stat : 21138 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 3733 0 0 0 844 1438 0 0 20 0 17 0 653712785 683409408 133701 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 367.33
Current children cumulated vsize (KiB) 667392

[startup+51.1044 s]
/proc/loadavg: 9.33 3.65 5.08 16/201 21138
/proc/meminfo: memFree=17868500/36427776 swapFree=4692/1193052
[pid=21121] ppid=21119 vsize=1377616 CPUtime=767.29
/proc/21121/stat : 21121 (ttsth-5-0) S 21119 21121 15497 0 -1 4202496 301274 0 0 0 41227 35502 0 0 20 0 17 0 653712568 1410678784 301093 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/21121/statm: 344404 301094 95 177 0 344226 0
[pid=21121/tid=21123] ppid=21119 vsize=1377616 CPUtime=48.9
/proc/21121/task/21123/stat : 21123 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 21941 0 0 0 4856 34 0 0 20 0 17 0 653712783 1410678784 301094 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=21121/tid=21124] ppid=21119 vsize=1377616 CPUtime=47.76
/proc/21121/task/21124/stat : 21124 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 10683 0 0 0 2350 2426 0 0 20 0 17 0 653712783 1410678784 301094 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21121/tid=21125] ppid=21119 vsize=1377616 CPUtime=47.94
/proc/21121/task/21125/stat : 21125 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 20798 0 0 0 2498 2296 0 0 20 0 17 0 653712783 1410678784 301094 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=21121/tid=21126] ppid=21119 vsize=1377616 CPUtime=48.04
/proc/21121/task/21126/stat : 21126 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 17279 0 0 0 2490 2314 0 0 20 0 17 0 653712783 1410678784 301094 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=21121/tid=21127] ppid=21119 vsize=1377616 CPUtime=48.16
/proc/21121/task/21127/stat : 21127 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 25201 0 0 0 2592 2224 0 0 20 0 17 0 653712783 1410678784 301096 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21121/tid=21128] ppid=21119 vsize=1377616 CPUtime=48.02
/proc/21121/task/21128/stat : 21128 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 20587 0 0 0 2472 2330 0 0 20 0 17 0 653712783 1410678784 301097 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21121/tid=21129] ppid=21119 vsize=1377616 CPUtime=47.2
/proc/21121/task/21129/stat : 21129 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 7639 0 0 0 2096 2624 0 0 20 0 17 0 653712783 1410678784 301097 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21121/tid=21130] ppid=21119 vsize=1377616 CPUtime=47.9
/proc/21121/task/21130/stat : 21130 (ttsth-5-0) S 21119 21121 15497 0 -1 4202560 18005 0 0 0 2548 2242 0 0 20 0 17 0 653712783 1410678784 301097 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=21121/tid=21131] ppid=21119 vsize=1377616 CPUtime=47.92
/proc/21121/task/21131/stat : 21131 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 15033 0 0 0 2490 2302 0 0 20 0 17 0 653712783 1410678784 301097 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21121/tid=21132] ppid=21119 vsize=1377616 CPUtime=47.9
/proc/21121/task/21132/stat : 21132 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 18336 0 0 0 2574 2216 0 0 20 0 17 0 653712784 1410678784 301099 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21121/tid=21133] ppid=21119 vsize=1377616 CPUtime=47.36
/proc/21121/task/21133/stat : 21133 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 7042 0 0 0 2136 2600 0 0 20 0 17 0 653712784 1410678784 301099 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21121/tid=21134] ppid=21119 vsize=1377616 CPUtime=47.92
/proc/21121/task/21134/stat : 21134 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 20255 0 0 0 2564 2228 0 0 20 0 17 0 653712784 1410678784 301099 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21121/tid=21135] ppid=21119 vsize=1377616 CPUtime=47.86
/proc/21121/task/21135/stat : 21135 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 17461 0 0 0 2382 2404 0 0 20 0 17 0 653712784 1410678784 301099 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=21121/tid=21136] ppid=21119 vsize=1377616 CPUtime=46.7
/proc/21121/task/21136/stat : 21136 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 13068 0 0 0 2280 2390 0 0 20 0 17 0 653712784 1410678784 301099 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=21121/tid=21137] ppid=21119 vsize=1377616 CPUtime=47.42
/proc/21121/task/21137/stat : 21137 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 7378 0 0 0 2130 2612 0 0 20 0 17 0 653712785 1410678784 301100 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21121/tid=21138] ppid=21119 vsize=1377616 CPUtime=47.96
/proc/21121/task/21138/stat : 21138 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 15865 0 0 0 2562 2234 0 0 20 0 17 0 653712785 1410678784 301100 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 767.29
Current children cumulated vsize (KiB) 1377616



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+70.5065 s]
/proc/loadavg: 11.16 4.44 5.31 17/201 21138
/proc/meminfo: memFree=17174836/36427776 swapFree=4692/1886668
[pid=21121] ppid=21119 vsize=2098476 CPUtime=1072.5
/proc/21121/stat : 21121 (ttsth-5-0) S 21119 21121 15497 0 -1 4202496 469987 0 0 0 68334 38916 0 0 20 0 17 0 653712568 2148839424 469807 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/21121/statm: 524619 469808 95 177 0 524441 0
[pid=21121/tid=21123] ppid=21119 vsize=2098476 CPUtime=68.29
/proc/21121/task/21123/stat : 21123 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 32944 0 0 0 6775 54 0 0 20 0 17 0 653712783 2148839424 469808 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134751534 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=21121/tid=21124] ppid=21119 vsize=2098476 CPUtime=66.91
/proc/21121/task/21124/stat : 21124 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 22805 0 0 0 4073 2618 0 0 20 0 17 0 653712783 2148839424 469810 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21121/tid=21125] ppid=21119 vsize=2098476 CPUtime=67.1
/proc/21121/task/21125/stat : 21125 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 33135 0 0 0 4208 2502 0 0 20 0 17 0 653712783 2148839424 469810 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=21121/tid=21126] ppid=21119 vsize=2098476 CPUtime=67.2
/proc/21121/task/21126/stat : 21126 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 28771 0 0 0 4174 2546 0 0 20 0 17 0 653712783 2148839424 469810 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=21121/tid=21127] ppid=21119 vsize=2098476 CPUtime=67.34
/proc/21121/task/21127/stat : 21127 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 37508 0 0 0 4288 2446 0 0 20 0 17 0 653712783 2148839424 469810 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21121/tid=21128] ppid=21119 vsize=2098476 CPUtime=67.23
/proc/21121/task/21128/stat : 21128 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 36830 0 0 0 4237 2486 0 0 20 0 17 0 653712783 2148839424 469811 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21121/tid=21129] ppid=21119 vsize=2098476 CPUtime=66.16
/proc/21121/task/21129/stat : 21129 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 16718 0 0 0 3752 2864 0 0 20 0 17 0 653712783 2148839424 469811 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21121/tid=21130] ppid=21119 vsize=2098476 CPUtime=67.04
/proc/21121/task/21130/stat : 21130 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 26962 0 0 0 4240 2464 0 0 20 0 17 0 653712783 2148839424 469811 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21121/tid=21131] ppid=21119 vsize=2098476 CPUtime=67.01
/proc/21121/task/21131/stat : 21131 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 23864 0 0 0 4131 2570 0 0 20 0 17 0 653712783 2148839424 469811 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21121/tid=21132] ppid=21119 vsize=2098476 CPUtime=67
/proc/21121/task/21132/stat : 21132 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 30784 0 0 0 4266 2434 0 0 20 0 17 0 653712784 2148839424 469812 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21121/tid=21133] ppid=21119 vsize=2098476 CPUtime=66.12
/proc/21121/task/21133/stat : 21133 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 12302 0 0 0 3692 2920 0 0 20 0 17 0 653712784 2148839424 469812 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21121/tid=21134] ppid=21119 vsize=2098476 CPUtime=67.08
/proc/21121/task/21134/stat : 21134 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 33402 0 0 0 4282 2426 0 0 20 0 17 0 653712784 2148839424 469812 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21121/tid=21135] ppid=21119 vsize=2098476 CPUtime=67.08
/proc/21121/task/21135/stat : 21135 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 30053 0 0 0 4156 2552 0 0 20 0 17 0 653712784 2148839424 469812 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=21121/tid=21136] ppid=21119 vsize=2098476 CPUtime=65.3
/proc/21121/task/21136/stat : 21136 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 20759 0 0 0 3910 2620 0 0 20 0 17 0 653712784 2148839424 469812 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=21121/tid=21137] ppid=21119 vsize=2098476 CPUtime=66.21
/proc/21121/task/21137/stat : 21137 (ttsth-5-0) S 21119 21121 15497 0 -1 4202560 12815 0 0 0 3653 2968 0 0 20 0 17 0 653712785 2148839424 469812 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=21121/tid=21138] ppid=21119 vsize=2098476 CPUtime=67.15
/proc/21121/task/21138/stat : 21138 (ttsth-5-0) R 21119 21121 15497 0 -1 4202560 25631 0 0 0 4297 2418 0 0 20 0 17 0 653712785 2148839424 469812 18446744073709551615 134512640 135237372 4289923600 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1072.5
Current children cumulated vsize (KiB) 2098476

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

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

[startup+70.6302 s]
/proc/loadavg: 11.16 4.44 5.31 17/201 21138
/proc/meminfo: memFree=17174836/36427776 swapFree=4692/1886668
[pid=21121] ppid=21119 vsize=0 CPUtime=1072.77
/proc/21121/stat : 21121 (ttsth-5-0) Z 21119 21121 15497 0 -1 4203532 470122 0 0 0 68349 38928 0 0 20 0 2 0 653712568 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/21121/statm: 0 0 0 0 0 0 0
[pid=21121/tid=21138] ppid=21119 vsize=0 CPUtime=67.27
/proc/21121/task/21138/stat : 21138 (ttsth-5-0) R 21119 21121 15497 0 -1 4203588 25635 0 0 0 4297 2430 0 0 20 0 2 0 653712785 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1072.77
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 70.701
CPU time (s): 1072.84
CPU user time (s): 683.499
CPU system time (s): 389.34
CPU usage (%): 1517.43
Max. virtual memory (cumulated for all children) (KiB): 2098476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 683.499
system time used= 389.34
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 470122
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= 161615
involuntary context switches= 2271

runsolver used 0.348021 second user time and 1.06807 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 03:47:42
IDJOB=1776975
IDBENCH=69643
IDSOLVER=634
FILE ID=xenhost3-49/1776975-1244944062
PBS_JOBID=
Free space on /tmp= 7024 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT_RACE08/cnf/een-tip-sat-texas-tp-5e.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776975-1244944062/watcher-1776975-1244944062 -o /tmp/evaluation-result-1776975-1244944062/solver-1776975-1244944062 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776975-1244944062.cnf

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

MD5SUM BENCH= 5bf390b945bda57e276dac6d13ea27f6
RANDOM SEED= 2122790596

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:      19052280 kB
Buffers:        478184 kB
Cached:       14116488 kB
SwapCached:          0 kB
Active:        4125004 kB
Inactive:     10478108 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            1336 kB
Writeback:           0 kB
AnonPages:        8456 kB
Mapped:           3648 kB
Slab:           719004 kB
SReclaimable:   692224 kB
SUnreclaim:      26780 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= 7024 MiB
End job on xenhost3-49 at 2009-06-14 03:48:55