Trace number 1780993

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 (4 threads)? (MO) 2671.73 669.728

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rpoc_xits_07_UNSAT.cnf
MD5SUMa30111c778b4a83ebe950f77b63a1b33
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark710.19
Satisfiable
(Un)Satisfiability was proved
Number of variables1128
Number of clauses63345
Sum of the clauses size188200
Maximum clause length8
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21950
Number of clauses of size 361372
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data 

0.09/0.09	c Command: HOME/ttsth-5-0 -num-threads 4 HOME/instance-1780993-1243685084.cnf 
0.09/0.09	c Using SATTIMEOUT of 10000
0.09/0.09	c Using SATRAM of 2047
0.09/0.09	c Size of subset node = 16
0.09/0.09	c Variables = 1128
0.09/0.09	c Clauses = 63345
0.09/0.09	c Literals = 188200
0.09/0.09	c Reduced size:
0.09/0.09	c Variables = 1128
0.09/0.09	c Clauses = 63345
0.09/0.09	c Literals = 188200
0.09/0.09	c a2
0.22/0.25	c a1
0.52/0.53	c Independent sub-problems = 1
0.52/0.53	c Sub-problem with 1128 variables and 63345 clauses
0.52/0.53	c using permutation method 4
0.52/0.53	c count = 1
0.52/0.53	c Ordering finished 0.500 seconds
0.52/0.53	c mapped 0.530 seconds
0.52/0.53	c permuted 0.530 seconds
0.52/0.53	c about to sort
0.52/0.55	c sorted
0.82/0.85	c clauses now 63345
0.82/0.85	c init finished 0.560 seconds
0.82/0.85	c tree built 0.850 seconds
0.82/0.85	c 
0.82/0.85	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
0.82/0.85	c ---------------------------------|----------------------------------|------------------------------------------------------
0.82/0.85	c ................................ | ..........                       |                        0.8           0.0             
0.82/0.85	c ................................ | ..........                     1 |                        0.8           1.2             
0.82/0.85	c ................................ | ..........                     2 |                        0.8           2.4             
0.82/0.85	c ................................ | ..........                     3 |                        0.8           3.5             
0.82/0.85	c ................................ | ..........                     4 |                        0.8           4.7             
0.82/0.85	c ................................ | ..........                     5 |                        0.8           5.9             
0.82/0.85	c ................................ | ..........                  1000 |                        0.8        1176.5           75
199.79/50.67	c ................................ | ..........               1454000 | 76166                200.0        7270.0     21715299
400.28/100.81	c ................................ | ..........               1906000 | 133168               400.3        4761.5     33458121
599.86/150.79	c ................................ | ..........               2217000 | 169522               600.2        3693.8     44832323
800.10/200.99	c ................................ | ..........               2509000 | 207911               800.4        3134.6     54336865
1000.36/251.04	c ................................ | *.........               2765000 | 234396              1000.5        2763.6     62222214
1200.39/301.11	c ................................ | *.........               3049000 | 271133              1200.4        2540.0     69897721
1400.12/351.29	c ................................ | *.........               3314000 | 310745              1400.5        2366.4     78098302
1600.05/401.37	c ................................ | *.........               3678000 | 373216              1600.3        2298.3     85963235
1800.21/451.41	c ................................ | *.........               3912000 | 414114              1800.2        2173.1     93057951
2000.44/501.55	c ................................ | **........               4235000 | 452680              2000.6        2116.9    100377332

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1780993-1243685084/watcher-1780993-1243685084 -o /tmp/evaluation-result-1780993-1243685084/solver-1780993-1243685084 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 4 HOME/instance-1780993-1243685084.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: 4.47 4.36 3.53 3/115 21615
/proc/meminfo: memFree=2935684/3368532 swapFree=1941392/1959888
[pid=21615] ppid=21613 vsize=1144 CPUtime=0.01
/proc/21615/stat : 21615 (ttsth-5-0) R 21613 21615 11443 0 -1 4202496 182 0 0 0 0 1 0 0 18 0 1 0 1133188184 1171456 137 4294967295 134512640 135237372 3218335888 3218335336 134732614 0 0 0 0 0 0 0 17 0 0 0 0
/proc/21615/statm: 286 137 74 177 0 108 0

[startup+0.080368 s]
/proc/loadavg: 4.47 4.36 3.53 3/115 21615
/proc/meminfo: memFree=2935684/3368532 swapFree=1941392/1959888
[pid=21615] ppid=21613 vsize=4424 CPUtime=0.09
/proc/21615/stat : 21615 (ttsth-5-0) R 21613 21615 11443 0 -1 4202496 1013 0 0 0 8 1 0 0 18 0 1 0 1133188184 4530176 968 4294967295 134512640 135237372 3218335888 3218335336 134732614 0 0 0 0 0 0 0 17 0 0 0 0
/proc/21615/statm: 1106 969 75 177 0 928 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4424

[startup+0.110358 s]
/proc/loadavg: 4.47 4.36 3.53 3/115 21615
/proc/meminfo: memFree=2935684/3368532 swapFree=1941392/1959888
[pid=21615] ppid=21613 vsize=9004 CPUtime=0.12
/proc/21615/stat : 21615 (ttsth-5-0) R 21613 21615 11443 0 -1 4202496 2040 0 0 0 10 2 0 0 18 0 1 0 1133188184 9220096 1995 4294967295 134512640 135237372 3218335888 3218335156 134732614 0 0 0 0 0 0 0 17 0 0 0 0
/proc/21615/statm: 2251 1996 76 177 0 2073 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 9004

[startup+0.310348 s]
/proc/loadavg: 4.47 4.36 3.53 3/115 21615
/proc/meminfo: memFree=2935684/3368532 swapFree=1941392/1959888
[pid=21615] ppid=21613 vsize=7108 CPUtime=0.32
/proc/21615/stat : 21615 (ttsth-5-0) R 21613 21615 11443 0 -1 4202496 2576 0 0 0 30 2 0 0 18 0 1 0 1133188184 7278592 1640 4294967295 134512640 135237372 3218335888 3218334932 134732614 0 0 0 0 0 0 0 17 0 0 0 0
/proc/21615/statm: 1777 1641 77 177 0 1599 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 7108

[startup+0.710331 s]
/proc/loadavg: 4.47 4.36 3.53 3/115 21615
/proc/meminfo: memFree=2935684/3368532 swapFree=1941392/1959888
[pid=21615] ppid=21613 vsize=14440 CPUtime=0.72
/proc/21615/stat : 21615 (ttsth-5-0) R 21613 21615 11443 0 -1 4202496 4439 0 0 0 69 3 0 0 18 0 1 0 1133188184 14786560 3441 4294967295 134512640 135237372 3218335888 3218306744 134732614 0 0 0 0 0 0 0 17 0 0 0 0
/proc/21615/statm: 3610 3441 90 177 0 3432 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 14440

[startup+1.51031 s]
/proc/loadavg: 4.43 4.35 3.53 5/120 21620
/proc/meminfo: memFree=2917620/3368532 swapFree=1941392/1959888
[pid=21615] ppid=21613 vsize=58512 CPUtime=3.39
/proc/21615/stat : 21615 (ttsth-5-0) S 21613 21615 11443 0 -1 4202496 7146 0 0 0 334 5 0 0 20 0 5 0 1133188184 59916288 6148 4294967295 134512640 135237372 3218335888 3218335484 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21615/statm: 14628 6149 95 177 0 14450 0
[pid=21615/tid=21617] ppid=21613 vsize=58512 CPUtime=0.66
/proc/21615/task/21617/stat : 21617 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 490 0 0 0 66 0 0 0 22 0 5 0 1133188269 59916288 6149 4294967295 134512640 135237372 3218335888 3085786440 134732535 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21615/tid=21618] ppid=21613 vsize=58512 CPUtime=0.63
/proc/21615/task/21618/stat : 21618 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 392 0 0 0 62 1 0 0 21 0 5 0 1133188269 59916288 6149 4294967295 134512640 135237372 3218335888 3077372496 134546034 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21615/tid=21619] ppid=21613 vsize=58512 CPUtime=0.62
/proc/21615/task/21619/stat : 21619 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 474 0 0 0 62 0 0 0 21 0 5 0 1133188269 59916288 6149 4294967295 134512640 135237372 3218335888 3068987920 134546034 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21615/tid=21620] ppid=21613 vsize=58512 CPUtime=0.62
/proc/21615/task/21620/stat : 21620 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 347 0 0 0 61 1 0 0 22 0 5 0 1133188270 59916288 6149 4294967295 134512640 135237372 3218335888 3060603936 134680720 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 58512

[startup+3.11024 s]
/proc/loadavg: 4.43 4.35 3.53 5/120 21620
/proc/meminfo: memFree=2906076/3368532 swapFree=1941392/1959888
[pid=21615] ppid=21613 vsize=77296 CPUtime=9.79
/proc/21615/stat : 21615 (ttsth-5-0) S 21613 21615 11443 0 -1 4202496 11544 0 0 0 971 8 0 0 20 0 5 0 1133188184 79151104 10546 4294967295 134512640 135237372 3218335888 3218335484 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21615/statm: 19324 10546 95 177 0 19146 0
[pid=21615/tid=21617] ppid=21613 vsize=77296 CPUtime=2.26
/proc/21615/task/21617/stat : 21617 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 1468 0 0 0 226 0 0 0 25 0 5 0 1133188269 79151104 10546 4294967295 134512640 135237372 3218335888 3085785936 134561521 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21615/tid=21618] ppid=21613 vsize=77296 CPUtime=2.23
/proc/21615/task/21618/stat : 21618 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 1822 0 0 0 220 3 0 0 25 0 5 0 1133188269 79151104 10546 4294967295 134512640 135237372 3218335888 3077366592 134546034 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21615/tid=21619] ppid=21613 vsize=77296 CPUtime=2.22
/proc/21615/task/21619/stat : 21619 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 1664 0 0 0 222 0 0 0 25 0 5 0 1133188269 79151104 10546 4294967295 134512640 135237372 3218335888 3068997664 134546034 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21615/tid=21620] ppid=21613 vsize=77296 CPUtime=2.22
/proc/21615/task/21620/stat : 21620 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 1146 0 0 0 220 2 0 0 25 0 5 0 1133188270 79151104 10546 4294967295 134512640 135237372 3218335888 3060600384 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 9.79
Current children cumulated vsize (KiB) 77296

[startup+6.31012 s]
/proc/loadavg: 4.43 4.35 3.53 5/120 21620
/proc/meminfo: memFree=2868400/3368532 swapFree=1941392/1959888
[pid=21615] ppid=21613 vsize=116160 CPUtime=22.59
/proc/21615/stat : 21615 (ttsth-5-0) S 21613 21615 11443 0 -1 4202496 20840 0 0 0 2250 9 0 0 20 0 5 0 1133188184 118947840 19842 4294967295 134512640 135237372 3218335888 3218335484 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21615/statm: 29040 19842 95 177 0 28862 0
[pid=21615/tid=21617] ppid=21613 vsize=116160 CPUtime=5.46
/proc/21615/task/21617/stat : 21617 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 4264 0 0 0 546 0 0 0 25 0 5 0 1133188269 118947840 19842 4294967295 134512640 135237372 3218335888 3085775632 134680503 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21615/tid=21618] ppid=21613 vsize=116160 CPUtime=5.43
/proc/21615/task/21618/stat : 21618 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 4129 0 0 0 540 3 0 0 25 0 5 0 1133188269 118947840 19842 4294967295 134512640 135237372 3218335888 3077375664 134546026 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21615/tid=21619] ppid=21613 vsize=116160 CPUtime=5.42
/proc/21615/task/21619/stat : 21619 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 3844 0 0 0 541 1 0 0 25 0 5 0 1133188269 118947840 19842 4294967295 134512640 135237372 3218335888 3068986816 134546026 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21615/tid=21620] ppid=21613 vsize=116160 CPUtime=5.42
/proc/21615/task/21620/stat : 21620 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 3159 0 0 0 540 2 0 0 25 0 5 0 1133188270 118947840 19842 4294967295 134512640 135237372 3218335888 3060621376 134749302 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 22.59
Current children cumulated vsize (KiB) 116160

[startup+12.7099 s]
/proc/loadavg: 4.52 4.38 3.55 5/120 21620
/proc/meminfo: memFree=2806420/3368532 swapFree=1941392/1959888
[pid=21615] ppid=21613 vsize=176804 CPUtime=48.18
/proc/21615/stat : 21615 (ttsth-5-0) S 21613 21615 11443 0 -1 4202496 34986 0 0 0 4803 15 0 0 20 0 5 0 1133188184 181047296 33988 4294967295 134512640 135237372 3218335888 3218335484 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21615/statm: 44201 33988 95 177 0 44023 0
[pid=21615/tid=21617] ppid=21613 vsize=176804 CPUtime=11.86
/proc/21615/task/21617/stat : 21617 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 8629 0 0 0 1184 2 0 0 25 0 5 0 1133188269 181047296 33988 4294967295 134512640 135237372 3218335888 3085779808 134749353 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21615/tid=21618] ppid=21613 vsize=176804 CPUtime=11.82
/proc/21615/task/21618/stat : 21618 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 6909 0 0 0 1179 3 0 0 25 0 5 0 1133188269 181047296 33989 4294967295 134512640 135237372 3218335888 3077385936 134546026 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21615/tid=21619] ppid=21613 vsize=176804 CPUtime=11.82
/proc/21615/task/21619/stat : 21619 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 7726 0 0 0 1179 3 0 0 25 0 5 0 1133188269 181047296 33989 4294967295 134512640 135237372 3218335888 3068997136 134546034 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21615/tid=21620] ppid=21613 vsize=176804 CPUtime=11.82
/proc/21615/task/21620/stat : 21620 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 6279 0 0 0 1178 4 0 0 25 0 5 0 1133188270 181047296 33989 4294967295 134512640 135237372 3218335888 3060601056 134749353 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 48.18
Current children cumulated vsize (KiB) 176804

[startup+25.5093 s]
/proc/loadavg: 4.44 4.36 3.55 5/120 21621
/proc/meminfo: memFree=2720592/3368532 swapFree=1941392/1959888
[pid=21615] ppid=21613 vsize=264104 CPUtime=99.37
/proc/21615/stat : 21615 (ttsth-5-0) S 21613 21615 11443 0 -1 4202496 55598 0 0 0 9911 26 0 0 20 0 5 0 1133188184 270442496 54600 4294967295 134512640 135237372 3218335888 3218335484 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21615/statm: 66026 54600 95 177 0 65848 0
[pid=21615/tid=21617] ppid=21613 vsize=264104 CPUtime=24.65
/proc/21615/task/21617/stat : 21617 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 13469 0 0 0 2457 8 0 0 25 0 5 0 1133188269 270442496 54600 4294967295 134512640 135237372 3218335888 3085788992 134588414 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21615/tid=21618] ppid=21613 vsize=264104 CPUtime=24.63
/proc/21615/task/21618/stat : 21618 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 10745 0 0 0 2458 5 0 0 25 0 5 0 1133188269 270442496 54600 4294967295 134512640 135237372 3218335888 3077375952 134562380 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21615/tid=21619] ppid=21613 vsize=264104 CPUtime=24.62
/proc/21615/task/21619/stat : 21619 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 14913 0 0 0 2457 5 0 0 25 0 5 0 1133188269 270442496 54600 4294967295 134512640 135237372 3218335888 3068988160 134546026 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21615/tid=21620] ppid=21613 vsize=264104 CPUtime=24.62
/proc/21615/task/21620/stat : 21620 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 11027 0 0 0 2457 5 0 0 25 0 5 0 1133188270 270442496 54600 4294967295 134512640 135237372 3218335888 3060590128 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 99.37
Current children cumulated vsize (KiB) 264104

[startup+51.1083 s]
/proc/loadavg: 4.37 4.35 3.56 5/120 21624
/proc/meminfo: memFree=2577252/3368532 swapFree=1941392/1959888
[pid=21615] ppid=21613 vsize=416936 CPUtime=201.75
/proc/21615/stat : 21615 (ttsth-5-0) S 21613 21615 11443 0 -1 4202496 91585 0 0 0 20130 45 0 0 20 0 5 0 1133188184 426942464 90587 4294967295 134512640 135237372 3218335888 3218335484 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21615/statm: 104234 90587 95 177 0 104056 0
[pid=21615/tid=21617] ppid=21613 vsize=416936 CPUtime=50.23
/proc/21615/task/21617/stat : 21617 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 21649 0 0 0 5007 16 0 0 25 0 5 0 1133188269 426942464 90587 4294967295 134512640 135237372 3218335888 3085778288 134680499 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21615/tid=21618] ppid=21613 vsize=416936 CPUtime=50.22
/proc/21615/task/21618/stat : 21618 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 20053 0 0 0 5014 8 0 0 25 0 5 0 1133188269 426942464 90587 4294967295 134512640 135237372 3218335888 3077376624 134546034 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21615/tid=21619] ppid=21613 vsize=416936 CPUtime=50.22
/proc/21615/task/21619/stat : 21619 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 24799 0 0 0 5011 11 0 0 25 0 5 0 1133188269 426942464 90587 4294967295 134512640 135237372 3218335888 3068988556 134636641 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21615/tid=21620] ppid=21613 vsize=416936 CPUtime=50.22
/proc/21615/task/21620/stat : 21620 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 19640 0 0 0 5015 7 0 0 25 0 5 0 1133188270 426942464 90587 4294967295 134512640 135237372 3218335888 3060599552 134589520 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 201.75
Current children cumulated vsize (KiB) 416936

[startup+102.316 s]
/proc/loadavg: 4.65 4.45 3.64 5/120 21814
/proc/meminfo: memFree=2387616/3368532 swapFree=1941392/1959888
[pid=21615] ppid=21613 vsize=614060 CPUtime=406.32
/proc/21615/stat : 21615 (ttsth-5-0) S 21613 21615 11443 0 -1 4202496 138454 0 0 0 40553 79 0 0 20 0 5 0 1133188184 628797440 137456 4294967295 134512640 135237372 3218335888 3218335484 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21615/statm: 153515 137456 95 177 0 153337 0
[pid=21615/tid=21617] ppid=21613 vsize=614060 CPUtime=101.41
/proc/21615/task/21617/stat : 21617 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 30608 0 0 0 10119 22 0 0 25 0 5 0 1133188269 628797440 137456 4294967295 134512640 135237372 3218335888 3085784608 134562344 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21615/tid=21618] ppid=21613 vsize=614060 CPUtime=101.24
/proc/21615/task/21618/stat : 21618 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 30261 0 0 0 10108 16 0 0 25 0 5 0 1133188269 628797440 137456 4294967295 134512640 135237372 3218335888 3077384736 134680285 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21615/tid=21619] ppid=21613 vsize=614060 CPUtime=101.4
/proc/21615/task/21619/stat : 21619 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 41748 0 0 0 10115 25 0 0 25 0 5 0 1133188269 628797440 137457 4294967295 134512640 135237372 3218335888 3068986144 134546034 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21615/tid=21620] ppid=21613 vsize=614060 CPUtime=101.42
/proc/21615/task/21620/stat : 21620 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 30393 0 0 0 10129 13 0 0 25 0 5 0 1133188270 628797440 137457 4294967295 134512640 135237372 3218335888 3060600512 134562344 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 406.32
Current children cumulated vsize (KiB) 614060

[startup+162.314 s]
/proc/loadavg: 4.43 4.43 3.68 5/120 22002
/proc/meminfo: memFree=2179456/3368532 swapFree=1941392/1959888
[pid=21615] ppid=21613 vsize=836636 CPUtime=646.26
/proc/21615/stat : 21615 (ttsth-5-0) S 21613 21615 11443 0 -1 4202496 190903 0 0 0 64517 109 0 0 20 0 5 0 1133188184 856715264 189905 4294967295 134512640 135237372 3218335888 3218335484 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21615/statm: 209159 189905 95 177 0 208981 0
[pid=21615/tid=21617] ppid=21613 vsize=836636 CPUtime=161.37
/proc/21615/task/21617/stat : 21617 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 38135 0 0 0 16108 29 0 0 25 0 5 0 1133188269 856715264 189905 4294967295 134512640 135237372 3218335888 3085788320 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21615/tid=21618] ppid=21613 vsize=836636 CPUtime=161.24
/proc/21615/task/21618/stat : 21618 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 48080 0 0 0 16099 25 0 0 25 0 5 0 1133188269 856715264 189905 4294967295 134512640 135237372 3218335888 3077376208 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21615/tid=21619] ppid=21613 vsize=836636 CPUtime=161.38
/proc/21615/task/21619/stat : 21619 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 55909 0 0 0 16106 32 0 0 25 0 5 0 1133188269 856715264 189905 4294967295 134512640 135237372 3218335888 3068998000 134546034 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21615/tid=21620] ppid=21613 vsize=836636 CPUtime=161.42
/proc/21615/task/21620/stat : 21620 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 43335 0 0 0 16122 20 0 0 25 0 5 0 1133188270 856715264 189905 4294967295 134512640 135237372 3218335888 3060620544 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 646.26
Current children cumulated vsize (KiB) 836636

[startup+222.311 s]
/proc/loadavg: 4.55 4.47 3.74 5/120 22191
/proc/meminfo: memFree=2011384/3368532 swapFree=1941392/1959888
[pid=21615] ppid=21613 vsize=1012364 CPUtime=885.63
/proc/21615/stat : 21615 (ttsth-5-0) S 21613 21615 11443 0 -1 4202496 232358 0 0 0 88414 149 0 0 20 0 5 0 1133188184 1036660736 231360 4294967295 134512640 135237372 3218335888 3218335484 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21615/statm: 253091 231360 95 177 0 252913 0
[pid=21615/tid=21617] ppid=21613 vsize=1012364 CPUtime=221.29
/proc/21615/task/21617/stat : 21617 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 46007 0 0 0 22089 40 0 0 25 0 5 0 1133188269 1036660736 231360 4294967295 134512640 135237372 3218335888 3085784384 134546034 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21615/tid=21618] ppid=21613 vsize=1012364 CPUtime=220.71
/proc/21615/task/21618/stat : 21618 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 61450 0 0 0 22038 33 0 0 25 0 5 0 1133188269 1036660736 231360 4294967295 134512640 135237372 3218335888 3077385024 134546026 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21615/tid=21619] ppid=21613 vsize=1012364 CPUtime=221.37
/proc/21615/task/21619/stat : 21619 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 65563 0 0 0 22096 41 0 0 25 0 5 0 1133188269 1036660736 231360 4294967295 134512640 135237372 3218335888 3068995072 134546026 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21615/tid=21620] ppid=21613 vsize=1012364 CPUtime=221.4
/proc/21615/task/21620/stat : 21620 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 53894 0 0 0 22108 32 0 0 25 0 5 0 1133188270 1036660736 231360 4294967295 134512640 135237372 3218335888 3060589328 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 885.63
Current children cumulated vsize (KiB) 1012364

[startup+282.309 s]
/proc/loadavg: 4.42 4.44 3.78 5/120 22378
/proc/meminfo: memFree=1867428/3368532 swapFree=1941392/1959888
[pid=21615] ppid=21613 vsize=1167056 CPUtime=1125.2
/proc/21615/stat : 21615 (ttsth-5-0) S 21613 21615 11443 0 -1 4202496 268793 0 0 0 112336 184 0 0 20 0 5 0 1133188184 1195065344 267795 4294967295 134512640 135237372 3218335888 3218335484 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21615/statm: 291764 267795 95 177 0 291586 0
[pid=21615/tid=21617] ppid=21613 vsize=1167056 CPUtime=281.14
/proc/21615/task/21617/stat : 21617 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 52791 0 0 0 28057 57 0 0 25 0 5 0 1133188269 1195065344 267795 4294967295 134512640 135237372 3218335888 3085786816 134562328 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21615/tid=21618] ppid=21613 vsize=1167056 CPUtime=280.55
/proc/21615/task/21618/stat : 21618 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 71130 0 0 0 28019 36 0 0 25 0 5 0 1133188269 1195065344 267795 4294967295 134512640 135237372 3218335888 3077365776 134562403 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21615/tid=21619] ppid=21613 vsize=1167056 CPUtime=281.34
/proc/21615/task/21619/stat : 21619 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 75003 0 0 0 28087 47 0 0 25 0 5 0 1133188269 1195065344 267795 4294967295 134512640 135237372 3218335888 3068992320 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21615/tid=21620] ppid=21613 vsize=1167056 CPUtime=281.32
/proc/21615/task/21620/stat : 21620 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 64425 0 0 0 28091 41 0 0 25 0 5 0 1133188270 1195065344 267795 4294967295 134512640 135237372 3218335888 3060598976 134590275 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1125.2
Current children cumulated vsize (KiB) 1167056

[startup+342.317 s]
/proc/loadavg: 4.53 4.45 3.82 5/120 22569
/proc/meminfo: memFree=1713772/3368532 swapFree=1941392/1959888
[pid=21615] ppid=21613 vsize=1328720 CPUtime=1364.52
/proc/21615/stat : 21615 (ttsth-5-0) S 21613 21615 11443 0 -1 4202496 306974 0 0 0 136240 212 0 0 20 0 5 0 1133188184 1360609280 305976 4294967295 134512640 135237372 3218335888 3218335484 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21615/statm: 332180 305976 95 177 0 332002 0
[pid=21615/tid=21617] ppid=21613 vsize=1328720 CPUtime=341.11
/proc/21615/task/21617/stat : 21617 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 59232 0 0 0 34050 61 0 0 25 0 5 0 1133188269 1360609280 305976 4294967295 134512640 135237372 3218335888 3085784640 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21615/tid=21618] ppid=21613 vsize=1328720 CPUtime=339.92
/proc/21615/task/21618/stat : 21618 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 77958 0 0 0 33952 40 0 0 25 0 5 0 1133188269 1360609280 305976 4294967295 134512640 135237372 3218335888 3077375952 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21615/tid=21619] ppid=21613 vsize=1328720 CPUtime=341.34
/proc/21615/task/21619/stat : 21619 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 87513 0 0 0 34077 57 0 0 25 0 5 0 1133188269 1360609280 305976 4294967295 134512640 135237372 3218335888 3068985760 134546026 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21615/tid=21620] ppid=21613 vsize=1328720 CPUtime=341.3
/proc/21615/task/21620/stat : 21620 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 76827 0 0 0 34079 51 0 0 25 0 5 0 1133188270 1360609280 305976 4294967295 134512640 135237372 3218335888 3060599216 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1364.52
Current children cumulated vsize (KiB) 1328720

[startup+402.314 s]
/proc/loadavg: 4.37 4.41 3.84 5/120 22755
/proc/meminfo: memFree=1568184/3368532 swapFree=1941392/1959888
[pid=21615] ppid=21613 vsize=1483116 CPUtime=1604.05
/proc/21615/stat : 21615 (ttsth-5-0) S 21613 21615 11443 0 -1 4202496 343424 0 0 0 160166 239 0 0 20 0 5 0 1133188184 1518710784 342426 4294967295 134512640 135237372 3218335888 3218335484 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21615/statm: 370779 342426 95 177 0 370601 0
[pid=21615/tid=21617] ppid=21613 vsize=1483116 CPUtime=400.99
/proc/21615/task/21617/stat : 21617 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 67433 0 0 0 40029 70 0 0 25 0 5 0 1133188269 1518710784 342426 4294967295 134512640 135237372 3218335888 3085764352 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21615/tid=21618] ppid=21613 vsize=1483116 CPUtime=399.65
/proc/21615/task/21618/stat : 21618 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 87430 0 0 0 39919 46 0 0 25 0 5 0 1133188269 1518710784 342426 4294967295 134512640 135237372 3218335888 3077367552 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21615/tid=21619] ppid=21613 vsize=1483116 CPUtime=401.28
/proc/21615/task/21619/stat : 21619 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 97897 0 0 0 40067 61 0 0 25 0 5 0 1133188269 1518710784 342426 4294967295 134512640 135237372 3218335888 3069000400 134749343 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21615/tid=21620] ppid=21613 vsize=1483116 CPUtime=401.28
/proc/21615/task/21620/stat : 21620 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 85220 0 0 0 40069 59 0 0 25 0 5 0 1133188270 1518710784 342426 4294967295 134512640 135237372 3218335888 3060598668 134562272 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1604.05
Current children cumulated vsize (KiB) 1483116

[startup+462.312 s]
/proc/loadavg: 4.13 4.34 3.85 5/120 22947
/proc/meminfo: memFree=1432848/3368532 swapFree=1941392/1959888
[pid=21615] ppid=21613 vsize=1625176 CPUtime=1843.81
/proc/21615/stat : 21615 (ttsth-5-0) S 21613 21615 11443 0 -1 4202496 376826 0 0 0 184102 279 0 0 20 0 5 0 1133188184 1664180224 375828 4294967295 134512640 135237372 3218335888 3218335484 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21615/statm: 406294 375828 95 177 0 406116 0
[pid=21615/tid=21617] ppid=21613 vsize=1625176 CPUtime=460.88
/proc/21615/task/21617/stat : 21617 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 72604 0 0 0 46014 74 0 0 25 0 5 0 1133188269 1664180224 375828 4294967295 134512640 135237372 3218335888 3085764608 134546026 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21615/tid=21618] ppid=21613 vsize=1625176 CPUtime=459.58
/proc/21615/task/21618/stat : 21618 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 97197 0 0 0 45901 57 0 0 25 0 5 0 1133188269 1664180224 375828 4294967295 134512640 135237372 3218335888 3077375200 134562380 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21615/tid=21619] ppid=21613 vsize=1625176 CPUtime=461.21
/proc/21615/task/21619/stat : 21619 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 107632 0 0 0 46049 72 0 0 25 0 5 0 1133188269 1664180224 375828 4294967295 134512640 135237372 3218335888 3068996720 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21615/tid=21620] ppid=21613 vsize=1625176 CPUtime=461.28
/proc/21615/task/21620/stat : 21620 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 93949 0 0 0 46055 73 0 0 25 0 5 0 1133188270 1664180224 375828 4294967295 134512640 135237372 3218335888 3060601584 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1843.81
Current children cumulated vsize (KiB) 1625176

[startup+522.32 s]
/proc/loadavg: 4.27 4.33 3.87 6/120 23136
/proc/meminfo: memFree=1292852/3368532 swapFree=1941392/1959888
[pid=21615] ppid=21613 vsize=1773980 CPUtime=2083.54
/proc/21615/stat : 21615 (ttsth-5-0) S 21613 21615 11443 0 -1 4202496 412158 0 0 0 208043 311 0 0 20 0 5 0 1133188184 1816555520 411160 4294967295 134512640 135237372 3218335888 3218335484 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21615/statm: 443495 411161 95 177 0 443317 0
[pid=21615/tid=21617] ppid=21613 vsize=1773980 CPUtime=520.68
/proc/21615/task/21617/stat : 21617 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 79248 0 0 0 51987 81 0 0 25 0 5 0 1133188269 1816555520 411161 4294967295 134512640 135237372 3218335888 3085774192 134562344 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21615/tid=21618] ppid=21613 vsize=1773980 CPUtime=519.57
/proc/21615/task/21618/stat : 21618 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 105404 0 0 0 51893 64 0 0 25 0 5 0 1133188269 1816555520 411161 4294967295 134512640 135237372 3218335888 3077371120 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21615/tid=21619] ppid=21613 vsize=1773980 CPUtime=521.16
/proc/21615/task/21619/stat : 21619 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 121232 0 0 0 52031 85 0 0 25 0 5 0 1133188269 1816555520 411161 4294967295 134512640 135237372 3218335888 3069007952 134562290 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21615/tid=21620] ppid=21613 vsize=1773980 CPUtime=521.28
/proc/21615/task/21620/stat : 21620 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 100831 0 0 0 52050 78 0 0 25 0 5 0 1133188270 1816555520 411161 4294967295 134512640 135237372 3218335888 3060605392 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2083.54
Current children cumulated vsize (KiB) 1773980

[startup+582.307 s]
/proc/loadavg: 4.34 4.33 3.90 5/120 23323
/proc/meminfo: memFree=1158592/3368532 swapFree=1941392/1959888
[pid=21615] ppid=21613 vsize=1916296 CPUtime=2322.77
/proc/21615/stat : 21615 (ttsth-5-0) S 21613 21615 11443 0 -1 4202496 445452 0 0 0 231949 328 0 0 20 0 5 0 1133188184 1962287104 444454 4294967295 134512640 135237372 3218335888 3218335484 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21615/statm: 479074 444454 95 177 0 478896 0
[pid=21615/tid=21617] ppid=21613 vsize=1916296 CPUtime=580.51
/proc/21615/task/21617/stat : 21617 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 84801 0 0 0 57964 87 0 0 25 0 5 0 1133188269 1962287104 444454 4294967295 134512640 135237372 3218335888 3085785632 134546034 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21615/tid=21618] ppid=21613 vsize=1916296 CPUtime=579.56
/proc/21615/task/21618/stat : 21618 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 111631 0 0 0 57887 69 0 0 25 0 5 0 1133188269 1962287104 444454 4294967295 134512640 135237372 3218335888 3077383760 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21615/tid=21619] ppid=21613 vsize=1916296 CPUtime=580.59
/proc/21615/task/21619/stat : 21619 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 136337 0 0 0 57969 90 0 0 25 0 5 0 1133188269 1962287104 444454 4294967295 134512640 135237372 3218335888 3068997120 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21615/tid=21620] ppid=21613 vsize=1916296 CPUtime=581.25
/proc/21615/task/21620/stat : 21620 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 107239 0 0 0 58046 79 0 0 25 0 5 0 1133188270 1962287104 444454 4294967295 134512640 135237372 3218335888 3060599760 134562341 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2322.77
Current children cumulated vsize (KiB) 1916296

[startup+642.305 s]
/proc/loadavg: 4.38 4.35 3.93 5/120 23512
/proc/meminfo: memFree=1036664/3368532 swapFree=1941392/1959888
[pid=21615] ppid=21613 vsize=2044696 CPUtime=2562.48
/proc/21615/stat : 21615 (ttsth-5-0) S 21613 21615 11443 0 -1 4202496 475752 0 0 0 255899 349 0 0 20 0 5 0 1133188184 2093768704 474754 4294967295 134512640 135237372 3218335888 3218335484 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21615/statm: 511174 474754 95 177 0 510996 0
[pid=21615/tid=21617] ppid=21613 vsize=2044696 CPUtime=640.42
/proc/21615/task/21617/stat : 21617 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 91572 0 0 0 63950 92 0 0 25 0 5 0 1133188269 2093768704 474754 4294967295 134512640 135237372 3218335888 3085784576 134546026 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21615/tid=21618] ppid=21613 vsize=2044696 CPUtime=639.57
/proc/21615/task/21618/stat : 21618 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 117670 0 0 0 63882 75 0 0 25 0 5 0 1133188269 2093768704 474754 4294967295 134512640 135237372 3218335888 3077375408 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21615/tid=21619] ppid=21613 vsize=2044696 CPUtime=640.41
/proc/21615/task/21619/stat : 21619 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 148621 0 0 0 63942 99 0 0 25 0 5 0 1133188269 2093768704 474754 4294967295 134512640 135237372 3218335888 3069006784 134546034 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21615/tid=21620] ppid=21613 vsize=2044696 CPUtime=641.22
/proc/21615/task/21620/stat : 21620 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 112445 0 0 0 64042 80 0 0 25 0 5 0 1133188270 2093768704 474754 4294967295 134512640 135237372 3218335888 3060598496 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2562.48
Current children cumulated vsize (KiB) 2044696



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+669.604 s]
/proc/loadavg: 4.33 4.33 3.94 5/120 23513
/proc/meminfo: memFree=988480/3368532 swapFree=1941392/1959888
[pid=21615] ppid=21613 vsize=2096160 CPUtime=2671.57
/proc/21615/stat : 21615 (ttsth-5-0) S 21613 21615 11443 0 -1 4202496 487891 0 0 0 266801 356 0 0 20 0 5 0 1133188184 2146467840 486893 4294967295 134512640 135237372 3218335888 3218335484 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21615/statm: 524040 486893 95 177 0 523862 0
[pid=21615/tid=21617] ppid=21613 vsize=2096160 CPUtime=667.72
/proc/21615/task/21617/stat : 21617 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 93588 0 0 0 66679 93 0 0 25 0 5 0 1133188269 2146467840 486893 4294967295 134512640 135237372 3218335888 3085783040 134546034 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21615/tid=21618] ppid=21613 vsize=2096160 CPUtime=666.87
/proc/21615/task/21618/stat : 21618 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 121230 0 0 0 66612 75 0 0 25 0 5 0 1133188269 2146467840 486893 4294967295 134512640 135237372 3218335888 3077376912 134562320 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21615/tid=21619] ppid=21613 vsize=2096160 CPUtime=667.6
/proc/21615/task/21619/stat : 21619 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 152630 0 0 0 66657 103 0 0 25 0 5 0 1133188269 2146467840 486893 4294967295 134512640 135237372 3218335888 3068985888 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21615/tid=21620] ppid=21613 vsize=2096160 CPUtime=668.52
/proc/21615/task/21620/stat : 21620 (ttsth-5-0) R 21613 21615 11443 0 -1 4202560 114999 0 0 0 66770 82 0 0 25 0 5 0 1133188270 2146467840 486893 4294967295 134512640 135237372 3218335888 3060598800 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2671.57
Current children cumulated vsize (KiB) 2096160

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

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

[startup+669.724 s]
/proc/loadavg: 4.33 4.33 3.94 5/120 23513
/proc/meminfo: memFree=988480/3368532 swapFree=1941392/1959888
[pid=21615] ppid=21613 vsize=0 CPUtime=2671.73
/proc/21615/stat : 21615 (ttsth-5-0) Z 21613 21615 11443 0 -1 4203524 487906 0 0 0 266807 366 0 0 18 0 2 0 1133188184 0 0 4294967295 0 0 0 0 0 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21615/statm: 0 0 0 0 0 0 0
[pid=21615/tid=21620] ppid=21613 vsize=0 CPUtime=668.64
/proc/21615/task/21620/stat : 21620 (ttsth-5-0) R 21613 21615 11443 0 -1 4203588 115003 0 0 0 66772 92 0 0 25 0 2 0 1133188270 0 0 4294967295 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2671.73
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 669.728
CPU time (s): 2671.73
CPU user time (s): 2668.07
CPU system time (s): 3.66
CPU usage (%): 398.928
Max. virtual memory (cumulated for all children) (KiB): 2096160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2668.07
system time used= 3.66
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 487906
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= 1116
involuntary context switches= 48707

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 14:04:44
IDJOB=1780993
IDBENCH=71086
IDSOLVER=632
FILE ID=/1780993-1243685084
PBS_JOBID=
Free space on /tmp= 15729 MiB

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

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

MD5SUM BENCH= a30111c778b4a83ebe950f77b63a1b33
RANDOM SEED= 1030238476

Linux (none) 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.143
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3992.42
clflush size	: 64

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.143
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.11
clflush size	: 64

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.143
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.17
clflush size	: 64

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.143
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.15
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       2935684 kB
Buffers:        112464 kB
Cached:         213364 kB
SwapCached:       4320 kB
Active:         205092 kB
Inactive:       131276 kB
HighTotal:     2489216 kB
HighFree:      2263136 kB
LowTotal:       879316 kB
LowFree:        672548 kB
SwapTotal:     1959888 kB
SwapFree:      1941392 kB
Dirty:            1856 kB
Writeback:           0 kB
AnonPages:        9136 kB
Mapped:           4296 kB
Slab:            85780 kB
SReclaimable:    75488 kB
SUnreclaim:      10292 kB
PageTables:        748 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   127080 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15729 MiB
End job on  at 2009-05-30 14:15:56