Trace number 1775925

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) 1040.24 70.1892

General information on the benchmark

Nameindustrial/fuhs/hard/
AProVE07-26.cnf
MD5SUM0cf155110f71a43081221b427d368ee8
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 variables21734
Number of clauses79766
Sum of the clauses size211276
Maximum clause length225
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 236916
Number of clauses of size 338055
Number of clauses of size 43077
Number of clauses of size 5748
Number of clauses of size over 5969

Solver Data 

0.10/0.11	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1775925-1244922614.cnf 
0.10/0.11	c Using SATTIMEOUT of 10000
0.10/0.11	c Using SATRAM of 2047
0.10/0.11	c Size of subset node = 16
0.10/0.11	c Variables = 21734
0.10/0.11	c Clauses = 79766
0.10/0.11	c Literals = 211276
0.10/0.11	c Reduced size:
0.10/0.11	c Variables = 21734
0.10/0.11	c Clauses = 78817
0.10/0.11	c Literals = 208932
0.10/0.11	c a2
0.18/0.22	c a1
2.90/2.99	c Independent sub-problems = 1
2.90/2.99	c Sub-problem with 21508 variables and 78817 clauses
2.90/2.99	c using permutation method 4
2.90/2.99	c count = 1
2.90/2.99	c Ordering finished 2.960 seconds
2.90/2.99	c mapped 2.980 seconds
2.90/2.99	c permuted 2.980 seconds
2.90/2.99	c about to sort
3.00/3.01	c sorted
3.68/3.76	c clauses now 78817
3.68/3.76	c init finished 3.410 seconds
3.68/3.76	c tree built 3.750 seconds
3.68/3.76	c 
3.68/3.76	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
3.68/3.76	c ---------------------------------|----------------------------------|------------------------------------------------------
3.68/3.76	c ................................ | ..........                       |                        3.8           0.0             
3.68/3.76	c ................................ | ..........                     1 |                        3.8           0.3             
3.68/3.76	c ................................ | ..........                     2 |                        3.8           0.5             
3.68/3.76	c ................................ | ..........                     3 |                        3.8           0.8             
3.68/3.76	c ................................ | ..........                     4 |                        3.8           1.1             
3.68/3.76	c ................................ | ..........                     5 |                        3.8           1.3             
3.68/3.78	c ................................ | ..........                  1000 | 10                     3.9         259.7          334
297.09/22.59	c ................................ | ..........               1354000 | 92840                200.0        6768.6     20017315
553.36/38.92	c ................................ | ..........               2156000 | 142386               400.1        5388.7     46200218
820.85/56.11	c ................................ | ..........               2915000 | 189155               600.2        4856.5     69601671

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-1775925-1244922614/watcher-1775925-1244922614 -o /tmp/evaluation-result-1775925-1244922614/solver-1775925-1244922614 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1775925-1244922614.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 15.79 14.28 9.15 2/184 16962
/proc/meminfo: memFree=19080524/36427776 swapFree=3056/8112
[pid=16962] ppid=16960 vsize=1548 CPUtime=0
/proc/16962/stat : 16962 (ttsth-5-0) R 16960 16962 15497 0 -1 4202496 273 0 0 0 0 0 0 0 20 0 1 0 651567756 1585152 230 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134732614 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/16962/statm: 387 232 75 177 0 209 0

[startup+0.060223 s]
/proc/loadavg: 15.79 14.28 9.15 2/184 16962
/proc/meminfo: memFree=19080524/36427776 swapFree=3056/8112
[pid=16962] ppid=16960 vsize=4820 CPUtime=0.04
/proc/16962/stat : 16962 (ttsth-5-0) R 16960 16962 15497 0 -1 4202496 1070 0 0 0 4 0 0 0 20 0 1 0 651567756 4935680 1027 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134732614 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/16962/statm: 1205 1028 75 177 0 1027 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4820

[startup+0.104251 s]
/proc/loadavg: 15.79 14.28 9.15 2/184 16962
/proc/meminfo: memFree=19080524/36427776 swapFree=3056/8112
[pid=16962] ppid=16960 vsize=6604 CPUtime=0.1
/proc/16962/stat : 16962 (ttsth-5-0) R 16960 16962 15497 0 -1 4202496 1497 0 0 0 10 0 0 0 20 0 1 0 651567756 6762496 1454 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134534282 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/16962/statm: 1651 1454 75 177 0 1473 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 6604

[startup+0.300281 s]
/proc/loadavg: 15.79 14.28 9.15 2/184 16962
/proc/meminfo: memFree=19080524/36427776 swapFree=3056/8112
[pid=16962] ppid=16960 vsize=14216 CPUtime=0.28
/proc/16962/stat : 16962 (ttsth-5-0) R 16960 16962 15497 0 -1 4202496 3549 0 0 0 28 0 0 0 20 0 1 0 651567756 14557184 3350 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134732614 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/16962/statm: 3554 3351 77 177 0 3376 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 14216

[startup+0.700293 s]
/proc/loadavg: 15.79 14.28 9.15 2/184 16962
/proc/meminfo: memFree=19080524/36427776 swapFree=3056/8112
[pid=16962] ppid=16960 vsize=15404 CPUtime=0.68
/proc/16962/stat : 16962 (ttsth-5-0) R 16960 16962 15497 0 -1 4202496 3868 0 0 0 68 0 0 0 20 0 1 0 651567756 15773696 3669 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134600911 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/16962/statm: 3851 3669 77 177 0 3673 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 15404

[startup+1.50035 s]
/proc/loadavg: 15.79 14.28 9.15 2/185 16963
/proc/meminfo: memFree=19065972/36427776 swapFree=4320/22864
[pid=16962] ppid=16960 vsize=15944 CPUtime=1.5
/proc/16962/stat : 16962 (ttsth-5-0) R 16960 16962 15497 0 -1 4202496 3966 0 0 0 148 2 0 0 20 0 1 0 651567756 16326656 3767 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134555299 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/16962/statm: 3986 3767 77 177 0 3808 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 15944

[startup+3.10052 s]
/proc/loadavg: 14.61 14.06 9.11 2/185 16963
/proc/meminfo: memFree=19064032/36427776 swapFree=4608/24088
[pid=16962] ppid=16960 vsize=55024 CPUtime=3.08
/proc/16962/stat : 16962 (ttsth-5-0) R 16960 16962 15497 0 -1 4202496 13746 0 0 0 302 6 0 0 20 0 1 0 651567756 56344576 13470 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134732614 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/16962/statm: 13789 13481 85 177 0 13611 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 55024

[startup+6.3038 s]
/proc/loadavg: 14.61 14.06 9.11 17/201 16979
/proc/meminfo: memFree=18793012/36427776 swapFree=4692/298080
[pid=16962] ppid=16960 vsize=427956 CPUtime=43.39
/proc/16962/stat : 16962 (ttsth-5-0) S 16960 16962 15497 0 -1 4202496 76249 0 0 0 1287 3052 0 0 20 0 17 0 651567756 438226944 75972 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16962/statm: 106989 75973 95 177 0 106811 0
[pid=16962/tid=16964] ppid=16960 vsize=427956 CPUtime=2.52
/proc/16962/task/16964/stat : 16964 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 2957 0 0 0 244 8 0 0 20 0 17 0 651568132 438226944 75973 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134592238 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=16962/tid=16965] ppid=16960 vsize=427956 CPUtime=2.46
/proc/16962/task/16965/stat : 16965 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 671 0 0 0 66 180 0 0 20 0 17 0 651568132 438226944 75973 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=16962/tid=16966] ppid=16960 vsize=427956 CPUtime=2.46
/proc/16962/task/16966/stat : 16966 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 503 0 0 0 54 192 0 0 20 0 17 0 651568132 438226944 75973 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=16962/tid=16967] ppid=16960 vsize=427956 CPUtime=2.46
/proc/16962/task/16967/stat : 16967 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 375 0 0 0 40 206 0 0 20 0 17 0 651568132 438226944 75973 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=16962/tid=16968] ppid=16960 vsize=427956 CPUtime=2.46
/proc/16962/task/16968/stat : 16968 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 514 0 0 0 44 202 0 0 20 0 17 0 651568132 438226944 75973 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=16962/tid=16969] ppid=16960 vsize=427956 CPUtime=2.48
/proc/16962/task/16969/stat : 16969 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 660 0 0 0 46 202 0 0 20 0 17 0 651568132 438226944 75973 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=16962/tid=16970] ppid=16960 vsize=427956 CPUtime=2.46
/proc/16962/task/16970/stat : 16970 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 490 0 0 0 46 200 0 0 20 0 17 0 651568132 438226944 75973 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=16962/tid=16971] ppid=16960 vsize=427956 CPUtime=2.48
/proc/16962/task/16971/stat : 16971 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 791 0 0 0 44 204 0 0 20 0 17 0 651568132 438226944 75973 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=16962/tid=16972] ppid=16960 vsize=427956 CPUtime=2.48
/proc/16962/task/16972/stat : 16972 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 454 0 0 0 46 202 0 0 20 0 17 0 651568132 438226944 75973 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=16962/tid=16973] ppid=16960 vsize=427956 CPUtime=2.46
/proc/16962/task/16973/stat : 16973 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 464 0 0 0 36 210 0 0 20 0 17 0 651568133 438226944 75973 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=16962/tid=16974] ppid=16960 vsize=427956 CPUtime=2.48
/proc/16962/task/16974/stat : 16974 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 679 0 0 0 48 200 0 0 20 0 17 0 651568133 438226944 75973 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=16962/tid=16975] ppid=16960 vsize=427956 CPUtime=2.46
/proc/16962/task/16975/stat : 16975 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 477 0 0 0 44 202 0 0 20 0 17 0 651568133 438226944 75973 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=16962/tid=16976] ppid=16960 vsize=427956 CPUtime=2.48
/proc/16962/task/16976/stat : 16976 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 341 0 0 0 40 208 0 0 20 0 17 0 651568133 438226944 75973 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=16962/tid=16977] ppid=16960 vsize=427956 CPUtime=2.42
/proc/16962/task/16977/stat : 16977 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 398 0 0 0 44 198 0 0 20 0 17 0 651568133 438226944 75973 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=16962/tid=16978] ppid=16960 vsize=427956 CPUtime=2.46
/proc/16962/task/16978/stat : 16978 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 369 0 0 0 44 202 0 0 20 0 17 0 651568133 438226944 75973 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=16962/tid=16979] ppid=16960 vsize=427956 CPUtime=2.48
/proc/16962/task/16979/stat : 16979 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 986 0 0 0 42 206 0 0 20 0 17 0 651568134 438226944 75973 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 43.39
Current children cumulated vsize (KiB) 427956

[startup+12.7053 s]
/proc/loadavg: 14.72 14.09 9.14 17/201 16979
/proc/meminfo: memFree=18685284/36427776 swapFree=4692/403412
[pid=16962] ppid=16960 vsize=535356 CPUtime=143.76
/proc/16962/stat : 16962 (ttsth-5-0) S 16960 16962 15497 0 -1 4202496 101827 0 0 0 4577 9799 0 0 20 0 17 0 651567756 548204544 101550 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16962/statm: 133839 101550 95 177 0 133661 0
[pid=16962/tid=16964] ppid=16960 vsize=535356 CPUtime=8.92
/proc/16962/task/16964/stat : 16964 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 10056 0 0 0 874 18 0 0 20 0 17 0 651568132 548204544 101550 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=16962/tid=16965] ppid=16960 vsize=535356 CPUtime=8.74
/proc/16962/task/16965/stat : 16965 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 2180 0 0 0 264 610 0 0 20 0 17 0 651568132 548204544 101550 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=16962/tid=16966] ppid=16960 vsize=535356 CPUtime=8.74
/proc/16962/task/16966/stat : 16966 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 3247 0 0 0 248 626 0 0 20 0 17 0 651568132 548204544 101550 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=16962/tid=16967] ppid=16960 vsize=535356 CPUtime=8.76
/proc/16962/task/16967/stat : 16967 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 2113 0 0 0 250 626 0 0 20 0 17 0 651568132 548204544 101550 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=16962/tid=16968] ppid=16960 vsize=535356 CPUtime=8.7
/proc/16962/task/16968/stat : 16968 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 1222 0 0 0 210 660 0 0 20 0 17 0 651568132 548204544 101551 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=16962/tid=16969] ppid=16960 vsize=535356 CPUtime=8.74
/proc/16962/task/16969/stat : 16969 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 2895 0 0 0 190 684 0 0 20 0 17 0 651568132 548204544 101551 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=16962/tid=16970] ppid=16960 vsize=535356 CPUtime=8.72
/proc/16962/task/16970/stat : 16970 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 906 0 0 0 204 668 0 0 20 0 17 0 651568132 548204544 101551 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134591214 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=16962/tid=16971] ppid=16960 vsize=535356 CPUtime=8.76
/proc/16962/task/16971/stat : 16971 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 1573 0 0 0 226 650 0 0 20 0 17 0 651568132 548204544 101552 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=16962/tid=16972] ppid=16960 vsize=535356 CPUtime=8.74
/proc/16962/task/16972/stat : 16972 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 907 0 0 0 212 662 0 0 20 0 17 0 651568132 548204544 101552 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=16962/tid=16973] ppid=16960 vsize=535356 CPUtime=8.74
/proc/16962/task/16973/stat : 16973 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 1180 0 0 0 224 650 0 0 20 0 17 0 651568133 548204544 101552 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=16962/tid=16974] ppid=16960 vsize=535356 CPUtime=8.74
/proc/16962/task/16974/stat : 16974 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 2078 0 0 0 258 616 0 0 20 0 17 0 651568133 548204544 101552 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=16962/tid=16975] ppid=16960 vsize=535356 CPUtime=8.74
/proc/16962/task/16975/stat : 16975 (ttsth-5-0) S 16960 16962 15497 0 -1 4202560 1062 0 0 0 208 666 0 0 20 0 17 0 651568133 548204544 101552 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=16962/tid=16976] ppid=16960 vsize=535356 CPUtime=8.74
/proc/16962/task/16976/stat : 16976 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 1117 0 0 0 162 712 0 0 20 0 17 0 651568133 548204544 101553 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=16962/tid=16977] ppid=16960 vsize=535356 CPUtime=8.6
/proc/16962/task/16977/stat : 16977 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 1967 0 0 0 254 606 0 0 20 0 17 0 651568133 548204544 101554 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=16962/tid=16978] ppid=16960 vsize=535356 CPUtime=8.74
/proc/16962/task/16978/stat : 16978 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 1375 0 0 0 230 644 0 0 20 0 17 0 651568133 548204544 101554 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=16962/tid=16979] ppid=16960 vsize=535356 CPUtime=8.74
/proc/16962/task/16979/stat : 16979 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 2829 0 0 0 204 670 0 0 20 0 17 0 651568134 548204544 101554 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 143.76
Current children cumulated vsize (KiB) 535356

[startup+25.5056 s]
/proc/loadavg: 15.00 14.18 9.25 17/201 16979
/proc/meminfo: memFree=18374968/36427776 swapFree=4692/715664
[pid=16962] ppid=16960 vsize=865392 CPUtime=343.96
/proc/16962/stat : 16962 (ttsth-5-0) S 16960 16962 15497 0 -1 4202496 179412 0 0 0 14152 20244 0 0 20 0 17 0 651567756 886161408 179135 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16962/statm: 216348 179135 95 177 0 216170 0
[pid=16962/tid=16964] ppid=16960 vsize=865392 CPUtime=21.7
/proc/16962/task/16964/stat : 16964 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 19526 0 0 0 2138 32 0 0 20 0 17 0 651568132 886161408 179136 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134561481 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=16962/tid=16965] ppid=16960 vsize=865392 CPUtime=21.22
/proc/16962/task/16965/stat : 16965 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 7425 0 0 0 800 1322 0 0 20 0 17 0 651568132 886161408 179136 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=16962/tid=16966] ppid=16960 vsize=865392 CPUtime=21.12
/proc/16962/task/16966/stat : 16966 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 7324 0 0 0 666 1446 0 0 20 0 17 0 651568132 886161408 179136 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134552745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=16962/tid=16967] ppid=16960 vsize=865392 CPUtime=21.34
/proc/16962/task/16967/stat : 16967 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 6278 0 0 0 840 1294 0 0 20 0 17 0 651568132 886161408 179136 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=16962/tid=16968] ppid=16960 vsize=865392 CPUtime=21.28
/proc/16962/task/16968/stat : 16968 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 7530 0 0 0 824 1304 0 0 20 0 17 0 651568132 886161408 179136 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=16962/tid=16969] ppid=16960 vsize=865392 CPUtime=21.14
/proc/16962/task/16969/stat : 16969 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 6280 0 0 0 688 1426 0 0 20 0 17 0 651568132 886161408 179136 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=16962/tid=16970] ppid=16960 vsize=865392 CPUtime=21.3
/proc/16962/task/16970/stat : 16970 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 7132 0 0 0 846 1284 0 0 20 0 17 0 651568132 886161408 179136 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=16962/tid=16971] ppid=16960 vsize=865392 CPUtime=21.36
/proc/16962/task/16971/stat : 16971 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 6865 0 0 0 852 1284 0 0 20 0 17 0 651568132 886161408 179136 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=16962/tid=16972] ppid=16960 vsize=865392 CPUtime=21.36
/proc/16962/task/16972/stat : 16972 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 6403 0 0 0 904 1232 0 0 20 0 17 0 651568132 886161408 179136 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=16962/tid=16973] ppid=16960 vsize=865392 CPUtime=21.36
/proc/16962/task/16973/stat : 16973 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 7415 0 0 0 868 1268 0 0 20 0 17 0 651568133 886161408 179137 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=16962/tid=16974] ppid=16960 vsize=865392 CPUtime=21.22
/proc/16962/task/16974/stat : 16974 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 6723 0 0 0 820 1302 0 0 20 0 17 0 651568133 886161408 179137 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=16962/tid=16975] ppid=16960 vsize=865392 CPUtime=21.3
/proc/16962/task/16975/stat : 16975 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 4578 0 0 0 808 1322 0 0 20 0 17 0 651568133 886161408 179137 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=16962/tid=16976] ppid=16960 vsize=865392 CPUtime=21.18
/proc/16962/task/16976/stat : 16976 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 3952 0 0 0 636 1482 0 0 20 0 17 0 651568133 886161408 179137 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=16962/tid=16977] ppid=16960 vsize=865392 CPUtime=20.84
/proc/16962/task/16977/stat : 16977 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 5357 0 0 0 672 1412 0 0 20 0 17 0 651568133 886161408 179137 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134680208 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=16962/tid=16978] ppid=16960 vsize=865392 CPUtime=21.1
/proc/16962/task/16978/stat : 16978 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 3296 0 0 0 682 1428 0 0 20 0 17 0 651568133 886161408 179137 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=16962/tid=16979] ppid=16960 vsize=865392 CPUtime=21.24
/proc/16962/task/16979/stat : 16979 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 8209 0 0 0 748 1376 0 0 20 0 17 0 651568134 886161408 179138 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 343.96
Current children cumulated vsize (KiB) 865392

[startup+51.1045 s]
/proc/loadavg: 15.34 14.33 9.43 17/201 16979
/proc/meminfo: memFree=17692628/36427776 swapFree=4692/1396292
[pid=16962] ppid=16960 vsize=1592256 CPUtime=744.15
/proc/16962/stat : 16962 (ttsth-5-0) S 16960 16962 15497 0 -1 4202496 350283 0 0 0 36995 37420 0 0 20 0 17 0 651567756 1630470144 350006 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16962/statm: 398064 350006 95 177 0 397886 0
[pid=16962/tid=16964] ppid=16960 vsize=1592256 CPUtime=47.27
/proc/16962/task/16964/stat : 16964 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 36602 0 0 0 4671 56 0 0 20 0 17 0 651568132 1630470144 350006 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134590365 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=16962/tid=16965] ppid=16960 vsize=1592256 CPUtime=46.02
/proc/16962/task/16965/stat : 16965 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 16053 0 0 0 1966 2636 0 0 20 0 17 0 651568132 1630470144 350007 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=16962/tid=16966] ppid=16960 vsize=1592256 CPUtime=46.14
/proc/16962/task/16966/stat : 16966 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 23296 0 0 0 2006 2608 0 0 20 0 17 0 651568132 1630470144 350007 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=16962/tid=16967] ppid=16960 vsize=1592256 CPUtime=46.32
/proc/16962/task/16967/stat : 16967 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 13908 0 0 0 2112 2520 0 0 20 0 17 0 651568132 1630470144 350007 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=16962/tid=16968] ppid=16960 vsize=1592256 CPUtime=46.48
/proc/16962/task/16968/stat : 16968 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 25465 0 0 0 2324 2324 0 0 20 0 17 0 651568132 1630470144 350007 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=16962/tid=16969] ppid=16960 vsize=1592256 CPUtime=45.78
/proc/16962/task/16969/stat : 16969 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 12964 0 0 0 1918 2660 0 0 20 0 17 0 651568132 1630470144 350007 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=16962/tid=16970] ppid=16960 vsize=1592256 CPUtime=46.5
/proc/16962/task/16970/stat : 16970 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 19428 0 0 0 2364 2286 0 0 20 0 17 0 651568132 1630470144 350009 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=16962/tid=16971] ppid=16960 vsize=1592256 CPUtime=46.42
/proc/16962/task/16971/stat : 16971 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 15705 0 0 0 2248 2394 0 0 20 0 17 0 651568132 1630470144 350010 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=16962/tid=16972] ppid=16960 vsize=1592256 CPUtime=46.82
/proc/16962/task/16972/stat : 16972 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 16145 0 0 0 2800 1882 0 0 20 0 17 0 651568132 1630470144 350010 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=16962/tid=16973] ppid=16960 vsize=1592256 CPUtime=46.56
/proc/16962/task/16973/stat : 16973 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 18781 0 0 0 2424 2232 0 0 20 0 17 0 651568133 1630470144 350010 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=16962/tid=16974] ppid=16960 vsize=1592256 CPUtime=46.12
/proc/16962/task/16974/stat : 16974 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 14512 0 0 0 2036 2576 0 0 20 0 17 0 651568133 1630470144 350010 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=16962/tid=16975] ppid=16960 vsize=1592256 CPUtime=46.44
/proc/16962/task/16975/stat : 16975 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 14677 0 0 0 2222 2422 0 0 20 0 17 0 651568133 1630470144 350010 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=16962/tid=16976] ppid=16960 vsize=1592256 CPUtime=46.02
/proc/16962/task/16976/stat : 16976 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 10776 0 0 0 1774 2828 0 0 20 0 17 0 651568133 1630470144 350010 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=16962/tid=16977] ppid=16960 vsize=1592256 CPUtime=45.3
/proc/16962/task/16977/stat : 16977 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 15716 0 0 0 1824 2706 0 0 20 0 17 0 651568133 1630470144 350010 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=16962/tid=16978] ppid=16960 vsize=1592256 CPUtime=46
/proc/16962/task/16978/stat : 16978 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 13925 0 0 0 1964 2636 0 0 20 0 17 0 651568133 1630470144 350010 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=16962/tid=16979] ppid=16960 vsize=1592256 CPUtime=46.06
/proc/16962/task/16979/stat : 16979 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 17212 0 0 0 1982 2624 0 0 20 0 17 0 651568134 1630470144 350010 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 744.15
Current children cumulated vsize (KiB) 1592256



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+70.0077 s]
/proc/loadavg: 15.53 14.43 9.57 18/201 16979
/proc/meminfo: memFree=17207020/36427776 swapFree=4692/1879896
[pid=16962] ppid=16960 vsize=2097284 CPUtime=1039.88
/proc/16962/stat : 16962 (ttsth-5-0) S 16960 16962 15497 0 -1 4202496 468516 0 0 0 53482 50506 0 0 20 0 17 0 651567756 2147618816 468239 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16962/statm: 524321 468240 95 177 0 524143 0
[pid=16962/tid=16964] ppid=16960 vsize=2097284 CPUtime=66.17
/proc/16962/task/16964/stat : 16964 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 48511 0 0 0 6539 78 0 0 20 0 17 0 651568132 2147618816 468241 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134751534 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=16962/tid=16965] ppid=16960 vsize=2097284 CPUtime=64.25
/proc/16962/task/16965/stat : 16965 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 19323 0 0 0 2732 3693 0 0 20 0 17 0 651568132 2147618816 468241 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=16962/tid=16966] ppid=16960 vsize=2097284 CPUtime=64.46
/proc/16962/task/16966/stat : 16966 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 28198 0 0 0 2864 3582 0 0 20 0 17 0 651568132 2147618816 468241 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=16962/tid=16967] ppid=16960 vsize=2097284 CPUtime=64.86
/proc/16962/task/16967/stat : 16967 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 20159 0 0 0 3140 3346 0 0 20 0 17 0 651568132 2147618816 468243 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=16962/tid=16968] ppid=16960 vsize=2097284 CPUtime=65.09
/proc/16962/task/16968/stat : 16968 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 41237 0 0 0 3361 3148 0 0 20 0 17 0 651568132 2147618816 468243 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=16962/tid=16969] ppid=16960 vsize=2097284 CPUtime=64.18
/proc/16962/task/16969/stat : 16969 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 17490 0 0 0 2950 3468 0 0 20 0 17 0 651568132 2147618816 468243 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=16962/tid=16970] ppid=16960 vsize=2097284 CPUtime=65.08
/proc/16962/task/16970/stat : 16970 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 26515 0 0 0 3408 3100 0 0 20 0 17 0 651568132 2147618816 468243 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=16962/tid=16971] ppid=16960 vsize=2097284 CPUtime=64.97
/proc/16962/task/16971/stat : 16971 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 23705 0 0 0 3303 3194 0 0 20 0 17 0 651568132 2147618816 468243 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=16962/tid=16972] ppid=16960 vsize=2097284 CPUtime=65.59
/proc/16962/task/16972/stat : 16972 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 23244 0 0 0 4129 2430 0 0 20 0 17 0 651568132 2147618816 468243 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=16962/tid=16973] ppid=16960 vsize=2097284 CPUtime=65.26
/proc/16962/task/16973/stat : 16973 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 28989 0 0 0 3622 2904 0 0 20 0 17 0 651568133 2147618816 468243 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=16962/tid=16974] ppid=16960 vsize=2097284 CPUtime=64.6
/proc/16962/task/16974/stat : 16974 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 21841 0 0 0 2942 3518 0 0 20 0 17 0 651568133 2147618816 468243 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=16962/tid=16975] ppid=16960 vsize=2097284 CPUtime=64.95
/proc/16962/task/16975/stat : 16975 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 22393 0 0 0 3142 3353 0 0 20 0 17 0 651568133 2147618816 468243 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=16962/tid=16976] ppid=16960 vsize=2097284 CPUtime=64.44
/proc/16962/task/16976/stat : 16976 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 14130 0 0 0 2634 3810 0 0 20 0 17 0 651568133 2147618816 468243 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=16962/tid=16977] ppid=16960 vsize=2097284 CPUtime=63.44
/proc/16962/task/16977/stat : 16977 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 23609 0 0 0 2730 3614 0 0 20 0 17 0 651568133 2147618816 468243 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134592483 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=16962/tid=16978] ppid=16960 vsize=2097284 CPUtime=64.25
/proc/16962/task/16978/stat : 16978 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 17305 0 0 0 2796 3629 0 0 20 0 17 0 651568133 2147618816 468243 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134590241 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=16962/tid=16979] ppid=16960 vsize=2097284 CPUtime=64.4
/proc/16962/task/16979/stat : 16979 (ttsth-5-0) R 16960 16962 15497 0 -1 4202560 26750 0 0 0 2832 3608 0 0 20 0 17 0 651568134 2147618816 468243 18446744073709551615 134512640 135237372 4289231200 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1039.88
Current children cumulated vsize (KiB) 2097284

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

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

[startup+70.1299 s]
/proc/loadavg: 15.53 14.43 9.57 18/201 16979
/proc/meminfo: memFree=17207020/36427776 swapFree=4692/1879896
[pid=16962] ppid=16960 vsize=0 CPUtime=1040.17
/proc/16962/stat : 16962 (ttsth-5-0) Z 16960 16962 15497 0 -1 4203532 468603 0 0 0 53497 50520 0 0 20 0 2 0 651567756 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16962/statm: 0 0 0 0 0 0 0
[pid=16962/tid=16979] ppid=16960 vsize=0 CPUtime=64.5
/proc/16962/task/16979/stat : 16979 (ttsth-5-0) R 16960 16962 15497 0 -1 4203588 26750 0 0 0 2832 3618 0 0 20 0 2 0 651568134 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1040.17
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 70.1892
CPU time (s): 1040.24
CPU user time (s): 534.977
CPU system time (s): 505.268
CPU usage (%): 1482.06
Max. virtual memory (cumulated for all children) (KiB): 2097284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 534.977
system time used= 505.268
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 468603
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= 146371
involuntary context switches= 2422

runsolver used 0.288018 second user time and 1.10807 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-13 21:50:14
IDJOB=1775925
IDBENCH=20403
IDSOLVER=634
FILE ID=xenhost3-49/1775925-1244922614
PBS_JOBID=
Free space on /tmp= 7025 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT07/industrial/fuhs/hard/AProVE07-26.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1775925-1244922614/watcher-1775925-1244922614 -o /tmp/evaluation-result-1775925-1244922614/solver-1775925-1244922614 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1775925-1244922614.cnf

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

MD5SUM BENCH= 0cf155110f71a43081221b427d368ee8
RANDOM SEED= 797095963

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:      19080524 kB
Buffers:        460100 kB
Cached:       14115628 kB
SwapCached:          0 kB
Active:        4106312 kB
Inactive:     10478180 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2040 kB
Writeback:           0 kB
AnonPages:        8112 kB
Mapped:           3056 kB
Slab:           711668 kB
SReclaimable:   684724 kB
SUnreclaim:      26944 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29496 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7025 MiB
End job on xenhost3-49 at 2009-06-13 21:51:26