Trace number 1780933

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) 2718.89 744.736

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
ndhf_xits_10_UNSAT.cnf
MD5SUM54c22a62e5d0a640d4ea8d185b9b1fc7
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 variables2112
Number of clauses191788
Sum of the clauses size572017
Maximum clause length11
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23595
Number of clauses of size 3188162
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 531

Solver Data 

0.22/0.31	c Command: HOME/ttsth-5-0 -num-threads 4 HOME/instance-1780933-1243684559.cnf 
0.22/0.31	c Using SATTIMEOUT of 10000
0.22/0.31	c Using SATRAM of 2047
0.22/0.31	c Size of subset node = 16
0.22/0.31	c Variables = 2112
0.22/0.31	c Clauses = 191788
0.22/0.31	c Literals = 572017
0.22/0.31	c Reduced size:
0.22/0.31	c Variables = 2112
0.22/0.31	c Clauses = 191788
0.22/0.31	c Literals = 572017
0.22/0.31	c a2
0.82/0.82	c a1
1.81/1.81	c Independent sub-problems = 1
1.81/1.81	c Sub-problem with 2112 variables and 191788 clauses
1.81/1.81	c using permutation method 4
1.81/1.81	c count = 1
1.81/1.81	c Ordering finished 1.720 seconds
1.81/1.81	c mapped 1.810 seconds
1.81/1.81	c permuted 1.810 seconds
1.81/1.81	c about to sort
1.81/1.88	c sorted
3.42/3.43	c clauses now 191788
3.42/3.43	c init finished 1.910 seconds
3.42/3.43	c tree built 3.430 seconds
3.42/3.43	c 
3.42/3.43	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
3.42/3.43	c ---------------------------------|----------------------------------|------------------------------------------------------
3.42/3.43	c ................................ | ..........                       |                        3.4           0.0             
3.42/3.43	c ................................ | ..........                     1 |                        3.4           0.3             
3.42/3.43	c ................................ | ..........                     2 |                        3.4           0.6             
3.42/3.43	c ................................ | ..........                     3 |                        3.4           0.9             
3.42/3.43	c ................................ | ..........                     4 |                        3.4           1.2             
3.42/3.43	c ................................ | ..........                     5 |                        3.4           1.5             
3.42/3.44	c ................................ | ..........                  1000 | 10                     3.4         290.7          367
200.05/57.01	c ................................ | ..........                991000 | 68720                200.1        4953.3     20153778
400.22/111.74	c ................................ | ..........               1700000 | 126522               400.3        4246.6     31612822
600.00/166.24	c ................................ | ..........               2344000 | 193394               600.1        3905.8     42849404
800.12/220.91	c ................................ | ..........               2840000 | 265845               800.1        3549.4     54069067
999.89/275.50	c ................................ | *.........               3269000 | 346280              1000.2        3268.2     62856827
1199.94/329.99	c ................................ | *.........               3726000 | 435749              1200.2        3104.4     69601340
1399.93/384.46	c ................................ | *.........               4128000 | 520478              1400.1        2948.3     75140233
1600.29/439.14	c ................................ | *.........               4508000 | 600562              1600.4        2816.8     80679671
1799.85/493.68	c ................................ | *.........               4888000 | 686200              1800.1        2715.4     87872278
1999.87/548.29	c ................................ | **........               5277000 | 772183              2000.2        2638.2     95350158

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-1780933-1243684559/watcher-1780933-1243684559 -o /tmp/evaluation-result-1780933-1243684559/solver-1780933-1243684559 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 4 HOME/instance-1780933-1243684559.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: 5.23 4.91 3.55 3/104 7896
/proc/meminfo: memFree=2989576/3368532 swapFree=1959840/1959888
[pid=7896] ppid=7894 vsize=1008 CPUtime=0.01
/proc/7896/stat : 7896 (ttsth-5-0) R 7894 7896 30226 0 -1 4202496 160 0 0 0 1 0 0 0 25 0 1 0 950032701 1032192 115 4294967295 134512640 135237372 3215363504 3215361984 134685606 0 0 0 0 0 0 0 17 1 0 0 0
/proc/7896/statm: 252 115 74 177 0 74 0

[startup+0.102639 s]
/proc/loadavg: 5.23 4.91 3.55 3/104 7896
/proc/meminfo: memFree=2989576/3368532 swapFree=1959840/1959888
[pid=7896] ppid=7894 vsize=5200 CPUtime=0.11
/proc/7896/stat : 7896 (ttsth-5-0) R 7894 7896 30226 0 -1 4202496 1162 0 0 0 11 0 0 0 25 0 1 0 950032701 5324800 1117 4294967295 134512640 135237372 3215363504 3215362372 134884807 0 0 0 0 0 0 0 17 1 0 0 0
/proc/7896/statm: 1300 1117 75 177 0 1122 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 5200

[startup+0.212629 s]
/proc/loadavg: 5.23 4.91 3.55 3/104 7896
/proc/meminfo: memFree=2989576/3368532 swapFree=1959840/1959888
[pid=7896] ppid=7894 vsize=9872 CPUtime=0.22
/proc/7896/stat : 7896 (ttsth-5-0) R 7894 7896 30226 0 -1 4202496 2314 0 0 0 21 1 0 0 25 0 1 0 950032701 10108928 2269 4294967295 134512640 135237372 3215363504 3215361984 134685161 0 0 0 0 0 0 0 17 1 0 0 0
/proc/7896/statm: 2468 2269 75 177 0 2290 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9872

[startup+0.312624 s]
/proc/loadavg: 5.23 4.91 3.55 3/104 7896
/proc/meminfo: memFree=2989576/3368532 swapFree=1959840/1959888
[pid=7896] ppid=7894 vsize=12520 CPUtime=0.32
/proc/7896/stat : 7896 (ttsth-5-0) R 7894 7896 30226 0 -1 4202496 3017 0 0 0 30 2 0 0 25 0 1 0 950032701 12820480 2972 4294967295 134512640 135237372 3215363504 3215363088 134516184 0 0 0 0 0 0 0 17 1 0 0 0
/proc/7896/statm: 3130 2972 76 177 0 2952 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 12520

[startup+0.712586 s]
/proc/loadavg: 5.23 4.91 3.55 3/104 7896
/proc/meminfo: memFree=2989576/3368532 swapFree=1959840/1959888
[pid=7896] ppid=7894 vsize=25800 CPUtime=0.72
/proc/7896/stat : 7896 (ttsth-5-0) R 7894 7896 30226 0 -1 4202496 6059 0 0 0 70 2 0 0 25 0 1 0 950032701 26419200 6013 4294967295 134512640 135237372 3215363504 3215362408 134519979 0 0 0 0 0 0 0 17 1 0 0 0
/proc/7896/statm: 6450 6013 76 177 0 6272 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 25800

[startup+1.51252 s]
/proc/loadavg: 4.97 4.86 3.54 3/105 7897
/proc/meminfo: memFree=2969152/3368532 swapFree=1959840/1959888
[pid=7896] ppid=7894 vsize=27512 CPUtime=1.51
/proc/7896/stat : 7896 (ttsth-5-0) R 7894 7896 30226 0 -1 4202496 9359 0 0 0 148 3 0 0 25 0 1 0 950032701 28172288 6740 4294967295 134512640 135237372 3215363504 3215362736 134599399 0 0 0 0 0 0 0 17 0 0 0 0
/proc/7896/statm: 6878 6740 77 177 0 6700 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 27512

[startup+3.11239 s]
/proc/loadavg: 4.97 4.86 3.54 4/105 7897
/proc/meminfo: memFree=2959740/3368532 swapFree=1959840/1959888
[pid=7896] ppid=7894 vsize=42572 CPUtime=3.11
/proc/7896/stat : 7896 (ttsth-5-0) R 7894 7896 30226 0 -1 4202496 13405 0 0 0 307 4 0 0 25 0 1 0 950032701 43593728 10312 4294967295 134512640 135237372 3215363504 3215285080 134732614 0 0 0 0 0 0 0 17 0 0 0 0
/proc/7896/statm: 10643 10313 88 177 0 10465 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 42572

[startup+6.31213 s]
/proc/loadavg: 4.97 4.86 3.54 7/110 7924
/proc/meminfo: memFree=2921440/3368532 swapFree=1959840/1959888
[pid=7896] ppid=7894 vsize=112492 CPUtime=13.86
/proc/7896/stat : 7896 (ttsth-5-0) S 7894 7896 30226 0 -1 4202496 22556 0 0 0 1381 5 0 0 25 0 5 0 950032701 115191808 19275 4294967295 134512640 135237372 3215363504 3215363100 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7896/statm: 28123 19275 95 177 0 27945 0
[pid=7896/tid=7899] ppid=7894 vsize=112492 CPUtime=2.86
/proc/7896/task/7899/stat : 7899 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 1041 0 0 0 286 0 0 0 25 0 5 0 950033045 115191808 19275 4294967295 134512640 135237372 3215363504 3081767696 134589526 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7896/tid=7900] ppid=7894 vsize=112492 CPUtime=2.84
/proc/7896/task/7900/stat : 7900 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 1973 0 0 0 283 1 0 0 25 0 5 0 950033045 115191808 19276 4294967295 134512640 135237372 3215363504 3073336352 134680320 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7896/tid=7901] ppid=7894 vsize=112492 CPUtime=2.75
/proc/7896/task/7901/stat : 7901 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 3076 0 0 0 275 0 0 0 25 0 5 0 950033045 115191808 19276 4294967295 134512640 135237372 3215363504 3064945372 134636641 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7896/tid=7902] ppid=7894 vsize=112492 CPUtime=1.99
/proc/7896/task/7902/stat : 7902 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 1520 0 0 0 199 0 0 0 25 0 5 0 950033045 115191808 19276 4294967295 134512640 135237372 3215363504 3056581856 134590497 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 13.86
Current children cumulated vsize (KiB) 112492

[startup+12.7116 s]
/proc/loadavg: 5.29 4.93 3.58 8/110 8014
/proc/meminfo: memFree=2866468/3368532 swapFree=1959840/1959888
[pid=7896] ppid=7894 vsize=166448 CPUtime=37.15
/proc/7896/stat : 7896 (ttsth-5-0) S 7894 7896 30226 0 -1 4202496 35403 0 0 0 3704 11 0 0 25 0 5 0 950032701 170442752 32122 4294967295 134512640 135237372 3215363504 3215363100 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7896/statm: 41612 32122 95 177 0 41434 0
[pid=7896/tid=7899] ppid=7894 vsize=166448 CPUtime=8.55
/proc/7896/task/7899/stat : 7899 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 3338 0 0 0 855 0 0 0 25 0 5 0 950033045 170442752 32122 4294967295 134512640 135237372 3215363504 3081766224 134551002 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7896/tid=7900] ppid=7894 vsize=166448 CPUtime=9.21
/proc/7896/task/7900/stat : 7900 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 5181 0 0 0 918 3 0 0 25 0 5 0 950033045 170442752 32122 4294967295 134512640 135237372 3215363504 3073352640 134545992 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7896/tid=7901] ppid=7894 vsize=166448 CPUtime=8.86
/proc/7896/task/7901/stat : 7901 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 7774 0 0 0 882 4 0 0 25 0 5 0 950033045 170442752 32122 4294967295 134512640 135237372 3215363504 3064929532 134636641 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7896/tid=7902] ppid=7894 vsize=166448 CPUtime=7.11
/proc/7896/task/7902/stat : 7902 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 4163 0 0 0 711 0 0 0 25 0 5 0 950033045 170442752 32122 4294967295 134512640 135237372 3215363504 3056557536 134749353 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 37.15
Current children cumulated vsize (KiB) 166448

[startup+25.5106 s]
/proc/loadavg: 5.25 4.93 3.59 6/109 8086
/proc/meminfo: memFree=2778352/3368532 swapFree=1959840/1959888
[pid=7896] ppid=7894 vsize=255304 CPUtime=84.22
/proc/7896/stat : 7896 (ttsth-5-0) S 7894 7896 30226 0 -1 4202496 56602 0 0 0 8395 27 0 0 25 0 5 0 950032701 261431296 53321 4294967295 134512640 135237372 3215363504 3215363100 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7896/statm: 63826 53321 95 177 0 63648 0
[pid=7896/tid=7899] ppid=7894 vsize=255304 CPUtime=17.3
/proc/7896/task/7899/stat : 7899 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 6640 0 0 0 1728 2 0 0 25 0 5 0 950033045 261431296 53321 4294967295 134512640 135237372 3215363504 3081778064 134590472 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7896/tid=7900] ppid=7894 vsize=255304 CPUtime=21.98
/proc/7896/task/7900/stat : 7900 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 11464 0 0 0 2188 10 0 0 25 0 5 0 950033045 261431296 53321 4294967295 134512640 135237372 3215363504 3073364256 134749353 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7896/tid=7901] ppid=7894 vsize=255304 CPUtime=21.65
/proc/7896/task/7901/stat : 7901 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 13112 0 0 0 2158 7 0 0 25 0 5 0 950033045 261431296 53321 4294967295 134512640 135237372 3215363504 3064942672 134546026 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7896/tid=7902] ppid=7894 vsize=255304 CPUtime=19.87
/proc/7896/task/7902/stat : 7902 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 10439 0 0 0 1983 4 0 0 25 0 5 0 950033045 261431296 53321 4294967295 134512640 135237372 3215363504 3056567648 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 84.22
Current children cumulated vsize (KiB) 255304

[startup+51.1085 s]
/proc/loadavg: 5.16 4.94 3.63 7/109 8088
/proc/meminfo: memFree=2650236/3368532 swapFree=1959840/1959888
[pid=7896] ppid=7894 vsize=391768 CPUtime=178.34
/proc/7896/stat : 7896 (ttsth-5-0) S 7894 7896 30226 0 -1 4202496 88896 0 0 0 17794 40 0 0 25 0 5 0 950032701 401170432 85615 4294967295 134512640 135237372 3215363504 3215363100 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7896/statm: 97942 85615 95 177 0 97764 0
[pid=7896/tid=7899] ppid=7894 vsize=391768 CPUtime=34.64
/proc/7896/task/7899/stat : 7899 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 11512 0 0 0 3456 8 0 0 25 0 5 0 950033045 401170432 85615 4294967295 134512640 135237372 3215363504 3081773440 134680374 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7896/tid=7900] ppid=7894 vsize=391768 CPUtime=47.56
/proc/7896/task/7900/stat : 7900 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 22421 0 0 0 4744 12 0 0 25 0 5 0 950033045 401170432 85615 4294967295 134512640 135237372 3215363504 3073344816 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7896/tid=7901] ppid=7894 vsize=391768 CPUtime=47.25
/proc/7896/task/7901/stat : 7901 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 20653 0 0 0 4717 8 0 0 25 0 5 0 950033045 401170432 85615 4294967295 134512640 135237372 3215363504 3064939036 134636641 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7896/tid=7902] ppid=7894 vsize=391768 CPUtime=45.47
/proc/7896/task/7902/stat : 7902 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 19363 0 0 0 4539 8 0 0 25 0 5 0 950033045 401170432 85615 4294967295 134512640 135237372 3215363504 3056547296 134591429 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 178.34
Current children cumulated vsize (KiB) 391768

[startup+102.314 s]
/proc/loadavg: 5.33 5.03 3.74 6/109 8275
/proc/meminfo: memFree=2475568/3368532 swapFree=1959840/1959888
[pid=7896] ppid=7894 vsize=574096 CPUtime=365.81
/proc/7896/stat : 7896 (ttsth-5-0) S 7894 7896 30226 0 -1 4202496 131915 0 0 0 36509 72 0 0 25 0 5 0 950032701 587874304 128634 4294967295 134512640 135237372 3215363504 3215363100 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7896/statm: 143524 128634 95 177 0 143346 0
[pid=7896/tid=7899] ppid=7894 vsize=574096 CPUtime=68.91
/proc/7896/task/7899/stat : 7899 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 20152 0 0 0 6879 12 0 0 25 0 5 0 950033045 587874304 128634 4294967295 134512640 135237372 3215363504 3081759104 134546034 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7896/tid=7900] ppid=7894 vsize=574096 CPUtime=98.58
/proc/7896/task/7900/stat : 7900 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 34644 0 0 0 9836 22 0 0 25 0 5 0 950033045 587874304 128634 4294967295 134512640 135237372 3215363504 3073343744 134562416 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7896/tid=7901] ppid=7894 vsize=574096 CPUtime=98.41
/proc/7896/task/7901/stat : 7901 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 29726 0 0 0 9824 17 0 0 25 0 5 0 950033045 587874304 128634 4294967295 134512640 135237372 3215363504 3064992748 134636641 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7896/tid=7902] ppid=7894 vsize=574096 CPUtime=96.48
/proc/7896/task/7902/stat : 7902 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 32446 0 0 0 9631 17 0 0 25 0 5 0 950033045 587874304 128634 4294967295 134512640 135237372 3215363504 3056549708 134636641 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 365.81
Current children cumulated vsize (KiB) 574096

[startup+162.309 s]
/proc/loadavg: 5.64 5.18 3.86 6/109 8468
/proc/meminfo: memFree=2280324/3368532 swapFree=1959840/1959888
[pid=7896] ppid=7894 vsize=783124 CPUtime=585.7
/proc/7896/stat : 7896 (ttsth-5-0) S 7894 7896 30226 0 -1 4202496 181268 0 0 0 58469 101 0 0 25 0 5 0 950032701 801918976 177987 4294967295 134512640 135237372 3215363504 3215363100 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7896/statm: 195781 177987 95 177 0 195603 0
[pid=7896/tid=7899] ppid=7894 vsize=783124 CPUtime=109.1
/proc/7896/task/7899/stat : 7899 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 30677 0 0 0 10895 15 0 0 25 0 5 0 950033045 801918976 177987 4294967295 134512640 135237372 3215363504 3081738880 134549905 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7896/tid=7900] ppid=7894 vsize=783124 CPUtime=158.5
/proc/7896/task/7900/stat : 7900 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 50430 0 0 0 15816 34 0 0 25 0 5 0 950033045 801918976 177987 4294967295 134512640 135237372 3215363504 3073344992 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7896/tid=7901] ppid=7894 vsize=783124 CPUtime=158.31
/proc/7896/task/7901/stat : 7901 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 42002 0 0 0 15807 24 0 0 25 0 5 0 950033045 801918976 177987 4294967295 134512640 135237372 3215363504 3064969600 134546026 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7896/tid=7902] ppid=7894 vsize=783124 CPUtime=156.37
/proc/7896/task/7902/stat : 7902 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 43212 0 0 0 15613 24 0 0 25 0 5 0 950033045 801918976 177987 4294967295 134512640 135237372 3215363504 3056567584 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 585.7
Current children cumulated vsize (KiB) 783124

[startup+222.314 s]
/proc/loadavg: 5.57 5.23 3.96 7/109 8654
/proc/meminfo: memFree=2087116/3368532 swapFree=1959840/1959888
[pid=7896] ppid=7894 vsize=985288 CPUtime=805.31
/proc/7896/stat : 7896 (ttsth-5-0) S 7894 7896 30226 0 -1 4202496 229135 0 0 0 80391 140 0 0 25 0 5 0 950032701 1008934912 225854 4294967295 134512640 135237372 3215363504 3215363100 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7896/statm: 246322 225854 95 177 0 246144 0
[pid=7896/tid=7899] ppid=7894 vsize=985288 CPUtime=149.11
/proc/7896/task/7899/stat : 7899 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 43496 0 0 0 14890 21 0 0 25 0 5 0 950033045 1008934912 225854 4294967295 134512640 135237372 3215363504 3081737456 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7896/tid=7900] ppid=7894 vsize=985288 CPUtime=218.41
/proc/7896/task/7900/stat : 7900 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 60063 0 0 0 21803 38 0 0 25 0 5 0 950033045 1008934912 225854 4294967295 134512640 135237372 3215363504 3073345760 134562380 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7896/tid=7901] ppid=7894 vsize=985288 CPUtime=218.29
/proc/7896/task/7901/stat : 7901 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 52375 0 0 0 21797 32 0 0 25 0 5 0 950033045 1008934912 225854 4294967295 134512640 135237372 3215363504 3064957680 134562344 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7896/tid=7902] ppid=7894 vsize=985288 CPUtime=216.08
/proc/7896/task/7902/stat : 7902 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 58254 0 0 0 21563 45 0 0 25 0 5 0 950033045 1008934912 225854 4294967295 134512640 135237372 3215363504 3056564720 134587943 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 805.31
Current children cumulated vsize (KiB) 985288

[startup+282.309 s]
/proc/loadavg: 5.57 5.29 4.06 7/109 8842
/proc/meminfo: memFree=1937376/3368532 swapFree=1959840/1959888
[pid=7896] ppid=7894 vsize=1144688 CPUtime=1025.34
/proc/7896/stat : 7896 (ttsth-5-0) S 7894 7896 30226 0 -1 4202496 266649 0 0 0 102358 176 0 0 25 0 5 0 950032701 1172160512 263368 4294967295 134512640 135237372 3215363504 3215363100 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7896/statm: 286172 263368 95 177 0 285994 0
[pid=7896/tid=7899] ppid=7894 vsize=1144688 CPUtime=197.14
/proc/7896/task/7899/stat : 7899 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 53620 0 0 0 19688 26 0 0 25 0 5 0 950033045 1172160512 263368 4294967295 134512640 135237372 3215363504 3081737488 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7896/tid=7900] ppid=7894 vsize=1144688 CPUtime=270.7
/proc/7896/task/7900/stat : 7900 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 67288 0 0 0 27023 47 0 0 25 0 5 0 950033045 1172160512 263368 4294967295 134512640 135237372 3215363504 3073331568 134587943 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7896/tid=7901] ppid=7894 vsize=1144688 CPUtime=278.11
/proc/7896/task/7901/stat : 7901 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 60341 0 0 0 27769 42 0 0 25 0 5 0 950033045 1172160512 263368 4294967295 134512640 135237372 3215363504 3064956632 134732535 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7896/tid=7902] ppid=7894 vsize=1144688 CPUtime=275.97
/proc/7896/task/7902/stat : 7902 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 70453 0 0 0 27540 57 0 0 25 0 5 0 950033045 1172160512 263368 4294967295 134512640 135237372 3215363504 3056554800 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1025.34
Current children cumulated vsize (KiB) 1144688

[startup+342.315 s]
/proc/loadavg: 5.32 5.27 4.13 6/109 9030
/proc/meminfo: memFree=1824012/3368532 swapFree=1959840/1959888
[pid=7896] ppid=7894 vsize=1263332 CPUtime=1245.41
/proc/7896/stat : 7896 (ttsth-5-0) S 7894 7896 30226 0 -1 4202496 294667 0 0 0 124350 191 0 0 25 0 5 0 950032701 1293651968 291386 4294967295 134512640 135237372 3215363504 3215363100 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7896/statm: 315833 291386 95 177 0 315655 0
[pid=7896/tid=7899] ppid=7894 vsize=1263332 CPUtime=257.05
/proc/7896/task/7899/stat : 7899 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 60867 0 0 0 25676 29 0 0 25 0 5 0 950033045 1293651968 291386 4294967295 134512640 135237372 3215363504 3081732288 134562459 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7896/tid=7900] ppid=7894 vsize=1263332 CPUtime=310.92
/proc/7896/task/7900/stat : 7900 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 71443 0 0 0 31044 48 0 0 25 0 5 0 950033045 1293651968 291386 4294967295 134512640 135237372 3215363504 3073356656 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7896/tid=7901] ppid=7894 vsize=1263332 CPUtime=338.12
/proc/7896/task/7901/stat : 7901 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 66298 0 0 0 33767 45 0 0 25 0 5 0 950033045 1293651968 291386 4294967295 134512640 135237372 3215363504 3064932800 134562341 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7896/tid=7902] ppid=7894 vsize=1263332 CPUtime=335.89
/proc/7896/task/7902/stat : 7902 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 81112 0 0 0 33524 65 0 0 25 0 5 0 950033045 1293651968 291386 4294967295 134512640 135237372 3215363504 3056553776 134591139 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1245.41
Current children cumulated vsize (KiB) 1263332

[startup+402.31 s]
/proc/loadavg: 5.25 5.25 4.19 6/109 9220
/proc/meminfo: memFree=1731540/3368532 swapFree=1959840/1959888
[pid=7896] ppid=7894 vsize=1362500 CPUtime=1465.55
/proc/7896/stat : 7896 (ttsth-5-0) S 7894 7896 30226 0 -1 4202496 317997 0 0 0 146345 210 0 0 25 0 5 0 950032701 1395200000 314716 4294967295 134512640 135237372 3215363504 3215363100 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7896/statm: 340625 314716 95 177 0 340447 0
[pid=7896/tid=7899] ppid=7894 vsize=1362500 CPUtime=316.96
/proc/7896/task/7899/stat : 7899 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 67648 0 0 0 31660 36 0 0 25 0 5 0 950033045 1395200000 314716 4294967295 134512640 135237372 3215363504 3081746896 134550994 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7896/tid=7900] ppid=7894 vsize=1362500 CPUtime=351.22
/proc/7896/task/7900/stat : 7900 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 75011 0 0 0 35072 50 0 0 25 0 5 0 950033045 1395200000 314716 4294967295 134512640 135237372 3215363504 3073344400 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7896/tid=7901] ppid=7894 vsize=1362500 CPUtime=398.1
/proc/7896/task/7901/stat : 7901 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 71310 0 0 0 39758 52 0 0 25 0 5 0 950033045 1395200000 314716 4294967295 134512640 135237372 3215363504 3064950160 134546026 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7896/tid=7902] ppid=7894 vsize=1362500 CPUtime=395.84
/proc/7896/task/7902/stat : 7902 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 89081 0 0 0 39516 68 0 0 25 0 5 0 950033045 1395200000 314716 4294967295 134512640 135237372 3215363504 3056551504 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1465.55
Current children cumulated vsize (KiB) 1362500

[startup+462.315 s]
/proc/loadavg: 5.28 5.25 4.25 6/109 9409
/proc/meminfo: memFree=1632624/3368532 swapFree=1959840/1959888
[pid=7896] ppid=7894 vsize=1466056 CPUtime=1685.25
/proc/7896/stat : 7896 (ttsth-5-0) S 7894 7896 30226 0 -1 4202496 342477 0 0 0 168297 228 0 0 25 0 5 0 950032701 1501241344 339196 4294967295 134512640 135237372 3215363504 3215363100 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7896/statm: 366514 339196 95 177 0 366336 0
[pid=7896/tid=7899] ppid=7894 vsize=1466056 CPUtime=376.9
/proc/7896/task/7899/stat : 7899 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 74462 0 0 0 37652 38 0 0 25 0 5 0 950033045 1501241344 339196 4294967295 134512640 135237372 3215363504 3081737440 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7896/tid=7900] ppid=7894 vsize=1466056 CPUtime=400.36
/proc/7896/task/7900/stat : 7900 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 81347 0 0 0 39982 54 0 0 25 0 5 0 950033045 1501241344 339196 4294967295 134512640 135237372 3215363504 3073358112 134546026 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7896/tid=7901] ppid=7894 vsize=1466056 CPUtime=448.83
/proc/7896/task/7901/stat : 7901 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 76381 0 0 0 44828 55 0 0 25 0 5 0 950033045 1501241344 339196 4294967295 134512640 135237372 3215363504 3064943232 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7896/tid=7902] ppid=7894 vsize=1466056 CPUtime=455.74
/proc/7896/task/7902/stat : 7902 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 95340 0 0 0 45497 77 0 0 25 0 5 0 950033045 1501241344 339196 4294967295 134512640 135237372 3215363504 3056532320 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1685.25
Current children cumulated vsize (KiB) 1466056

[startup+522.31 s]
/proc/loadavg: 5.33 5.27 4.32 6/109 9597
/proc/meminfo: memFree=1498016/3368532 swapFree=1959840/1959888
[pid=7896] ppid=7894 vsize=1610580 CPUtime=1905.08
/proc/7896/stat : 7896 (ttsth-5-0) S 7894 7896 30226 0 -1 4202496 376419 0 0 0 190247 261 0 0 25 0 5 0 950032701 1649233920 373138 4294967295 134512640 135237372 3215363504 3215363100 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7896/statm: 402645 373138 95 177 0 402467 0
[pid=7896/tid=7899] ppid=7894 vsize=1610580 CPUtime=436.84
/proc/7896/task/7899/stat : 7899 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 79824 0 0 0 43639 45 0 0 25 0 5 0 950033045 1649233920 373138 4294967295 134512640 135237372 3215363504 3081740512 134562344 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7896/tid=7900] ppid=7894 vsize=1610580 CPUtime=460.32
/proc/7896/task/7900/stat : 7900 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 98819 0 0 0 45966 66 0 0 25 0 5 0 950033045 1649233920 373138 4294967295 134512640 135237372 3215363504 3073356768 134546034 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7896/tid=7901] ppid=7894 vsize=1610580 CPUtime=488.81
/proc/7896/task/7901/stat : 7901 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 81930 0 0 0 48822 59 0 0 25 0 5 0 950033045 1649233920 373138 4294967295 134512640 135237372 3215363504 3064963760 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7896/tid=7902] ppid=7894 vsize=1610580 CPUtime=515.68
/proc/7896/task/7902/stat : 7902 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 100899 0 0 0 51481 87 0 0 25 0 5 0 950033045 1649233920 373138 4294967295 134512640 135237372 3215363504 3056549696 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1905.08
Current children cumulated vsize (KiB) 1610580

[startup+582.305 s]
/proc/loadavg: 5.20 5.25 4.37 6/109 9787
/proc/meminfo: memFree=1367568/3368532 swapFree=1959840/1959888
[pid=7896] ppid=7894 vsize=1747636 CPUtime=2124.84
/proc/7896/stat : 7896 (ttsth-5-0) S 7894 7896 30226 0 -1 4202496 408823 0 0 0 212199 285 0 0 25 0 5 0 950032701 1789579264 405542 4294967295 134512640 135237372 3215363504 3215363100 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7896/statm: 436909 405542 95 177 0 436731 0
[pid=7896/tid=7899] ppid=7894 vsize=1747636 CPUtime=496.73
/proc/7896/task/7899/stat : 7899 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 85411 0 0 0 49622 51 0 0 25 0 5 0 950033045 1789579264 405542 4294967295 134512640 135237372 3215363504 3081753424 134749345 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7896/tid=7900] ppid=7894 vsize=1747636 CPUtime=520.31
/proc/7896/task/7900/stat : 7900 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 113364 0 0 0 51960 71 0 0 25 0 5 0 950033045 1789579264 405542 4294967295 134512640 135237372 3215363504 3073333504 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7896/tid=7901] ppid=7894 vsize=1747636 CPUtime=528.78
/proc/7896/task/7901/stat : 7901 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 86984 0 0 0 52814 64 0 0 25 0 5 0 950033045 1789579264 405542 4294967295 134512640 135237372 3215363504 3064965792 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7896/tid=7902] ppid=7894 vsize=1747636 CPUtime=575.6
/proc/7896/task/7902/stat : 7902 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 108117 0 0 0 57465 95 0 0 25 0 5 0 950033045 1789579264 405542 4294967295 134512640 135237372 3215363504 3056567744 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2124.84
Current children cumulated vsize (KiB) 1747636

[startup+642.31 s]
/proc/loadavg: 5.19 5.23 4.42 6/109 9975
/proc/meminfo: memFree=1231756/3368532 swapFree=1959840/1959888
[pid=7896] ppid=7894 vsize=1892204 CPUtime=2344.86
/proc/7896/stat : 7896 (ttsth-5-0) S 7894 7896 30226 0 -1 4202496 442993 0 0 0 234161 325 0 0 25 0 5 0 950032701 1937616896 439712 4294967295 134512640 135237372 3215363504 3215363100 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7896/statm: 473051 439712 95 177 0 472873 0
[pid=7896/tid=7899] ppid=7894 vsize=1892204 CPUtime=556.66
/proc/7896/task/7899/stat : 7899 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 93365 0 0 0 55608 58 0 0 25 0 5 0 950033045 1937616896 439712 4294967295 134512640 135237372 3215363504 3081715296 134749353 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7896/tid=7900] ppid=7894 vsize=1892204 CPUtime=580.31
/proc/7896/task/7900/stat : 7900 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 124444 0 0 0 57950 81 0 0 25 0 5 0 950033045 1937616896 439712 4294967295 134512640 135237372 3215363504 3073358016 134546026 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7896/tid=7901] ppid=7894 vsize=1892204 CPUtime=568.94
/proc/7896/task/7901/stat : 7901 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 90918 0 0 0 56825 69 0 0 25 0 5 0 950033045 1937616896 439712 4294967295 134512640 135237372 3215363504 3064942512 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7896/tid=7902] ppid=7894 vsize=1892204 CPUtime=635.53
/proc/7896/task/7902/stat : 7902 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 119319 0 0 0 63440 113 0 0 25 0 5 0 950033045 1937616896 439712 4294967295 134512640 135237372 3215363504 3056567408 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2344.86
Current children cumulated vsize (KiB) 1892204

[startup+702.315 s]
/proc/loadavg: 5.22 5.23 4.47 7/109 10163
/proc/meminfo: memFree=1108432/3368532 swapFree=1959840/1959888
[pid=7896] ppid=7894 vsize=2022488 CPUtime=2564.53
/proc/7896/stat : 7896 (ttsth-5-0) S 7894 7896 30226 0 -1 4202496 473501 0 0 0 256100 353 0 0 25 0 5 0 950032701 2071027712 470220 4294967295 134512640 135237372 3215363504 3215363100 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7896/statm: 505622 470220 95 177 0 505444 0
[pid=7896/tid=7899] ppid=7894 vsize=2022488 CPUtime=616.62
/proc/7896/task/7899/stat : 7899 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 98556 0 0 0 61602 60 0 0 25 0 5 0 950033045 2071027712 470220 4294967295 134512640 135237372 3215363504 3081734176 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7896/tid=7900] ppid=7894 vsize=2022488 CPUtime=640.16
/proc/7896/task/7900/stat : 7900 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 136477 0 0 0 63925 91 0 0 25 0 5 0 950033045 2071027712 470220 4294967295 134512640 135237372 3215363504 3073336464 134546034 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7896/tid=7901] ppid=7894 vsize=2022488 CPUtime=608.97
/proc/7896/task/7901/stat : 7901 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 94101 0 0 0 60825 72 0 0 25 0 5 0 950033045 2071027712 470220 4294967295 134512640 135237372 3215363504 3064982624 134562380 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7896/tid=7902] ppid=7894 vsize=2022488 CPUtime=695.36
/proc/7896/task/7902/stat : 7902 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 129420 0 0 0 69410 126 0 0 25 0 5 0 950033045 2071027712 470220 4294967295 134512640 135237372 3215363504 3056555184 134562328 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2564.53
Current children cumulated vsize (KiB) 2022488



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+744.612 s]
/proc/loadavg: 5.58 5.31 4.53 6/109 10348
/proc/meminfo: memFree=1036716/3368532 swapFree=1959840/1959888
[pid=7896] ppid=7894 vsize=2096852 CPUtime=2718.74
/proc/7896/stat : 7896 (ttsth-5-0) S 7894 7896 30226 0 -1 4202496 491175 0 0 0 271507 367 0 0 25 0 5 0 950032701 2147176448 487894 4294967295 134512640 135237372 3215363504 3215363100 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7896/statm: 524213 487894 95 177 0 524035 0
[pid=7896/tid=7899] ppid=7894 vsize=2096852 CPUtime=658.87
/proc/7896/task/7899/stat : 7899 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 102233 0 0 0 65823 64 0 0 25 0 5 0 950033045 2147176448 487894 4294967295 134512640 135237372 3215363504 3081760400 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7896/tid=7900] ppid=7894 vsize=2096852 CPUtime=680.57
/proc/7896/task/7900/stat : 7900 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 143013 0 0 0 67964 93 0 0 25 0 5 0 950033045 2147176448 487894 4294967295 134512640 135237372 3215363504 3073359628 134562323 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7896/tid=7901] ppid=7894 vsize=2096852 CPUtime=638.28
/proc/7896/task/7901/stat : 7901 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 95763 0 0 0 63756 72 0 0 25 0 5 0 950033045 2147176448 487894 4294967295 134512640 135237372 3215363504 3064970144 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7896/tid=7902] ppid=7894 vsize=2096852 CPUtime=737.59
/proc/7896/task/7902/stat : 7902 (ttsth-5-0) R 7894 7896 30226 0 -1 4202560 135219 0 0 0 73625 134 0 0 25 0 5 0 950033045 2147176448 487894 4294967295 134512640 135237372 3215363504 3056541776 134546034 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2718.74
Current children cumulated vsize (KiB) 2096852

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

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

[startup+744.732 s]
/proc/loadavg: 5.58 5.31 4.53 3/107 10349
/proc/meminfo: memFree=2931264/3368532 swapFree=1959840/1959888
[pid=7896] ppid=7894 vsize=0 CPUtime=2718.89
/proc/7896/stat : 7896 (ttsth-5-0) Z 7894 7896 30226 0 -1 4203524 491185 0 0 0 271513 376 0 0 18 0 1 0 950032701 0 0 4294967295 0 0 0 0 0 0 0 0 0 3222378104 0 0 17 0 0 0 0
/proc/7896/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2718.89
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 744.736
CPU time (s): 2718.89
CPU user time (s): 2715.13
CPU system time (s): 3.76
CPU usage (%): 365.081
Max. virtual memory (cumulated for all children) (KiB): 2096852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2715.13
system time used= 3.76
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 491185
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= 1073
involuntary context switches= 61409

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi39 at 2009-05-30 13:55:59
IDJOB=1780933
IDBENCH=71080
IDSOLVER=632
FILE ID=tipi39/1780933-1243684559
PBS_JOBID=
Free space on /tmp= 5741 MiB

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

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

MD5SUM BENCH= 54c22a62e5d0a640d4ea8d185b9b1fc7
RANDOM SEED= 1054373193

Linux tipi39 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.067
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.41
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.067
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.10
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.067
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.16
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.067
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:       2989576 kB
Buffers:        118592 kB
Cached:         136272 kB
SwapCached:          0 kB
Active:         169772 kB
Inactive:       103848 kB
HighTotal:     2489216 kB
HighFree:      2336552 kB
LowTotal:       879316 kB
LowFree:        653024 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            3840 kB
Writeback:           0 kB
AnonPages:       18764 kB
Mapped:           8032 kB
Slab:            95084 kB
SReclaimable:    84640 kB
SUnreclaim:      10444 kB
PageTables:        588 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   102448 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 5741 MiB
End job on tipi39 at 2009-05-30 14:08:26