Trace number 1780768

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) 3276.82 821.427

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rpoc_xits_08_UNSAT.cnf
MD5SUM0b7170d33b896e8b879b19b65ac5c517
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 variables1278
Number of clauses74789
Sum of the clauses size222346
Maximum clause length9
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22159
Number of clauses of size 372607
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data 

0.03/0.11	c Command: HOME/ttsth-5-0 -num-threads 4 HOME/instance-1780768-1243683864.cnf 
0.03/0.11	c Using SATTIMEOUT of 10000
0.03/0.11	c Using SATRAM of 2047
0.03/0.11	c Size of subset node = 16
0.03/0.11	c Variables = 1278
0.03/0.11	c Clauses = 74789
0.03/0.11	c Literals = 222346
0.03/0.11	c Reduced size:
0.03/0.11	c Variables = 1278
0.03/0.11	c Clauses = 74789
0.03/0.11	c Literals = 222346
0.03/0.11	c a2
0.22/0.30	c a1
0.62/0.64	c Independent sub-problems = 1
0.62/0.64	c Sub-problem with 1278 variables and 74789 clauses
0.62/0.64	c using permutation method 4
0.62/0.64	c count = 1
0.62/0.64	c Ordering finished 0.610 seconds
0.62/0.64	c mapped 0.640 seconds
0.62/0.64	c permuted 0.640 seconds
0.62/0.64	c about to sort
0.62/0.66	c sorted
1.02/1.04	c clauses now 74789
1.02/1.04	c init finished 0.680 seconds
1.02/1.04	c tree built 1.040 seconds
1.02/1.04	c 
1.02/1.04	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
1.02/1.04	c ---------------------------------|----------------------------------|------------------------------------------------------
1.02/1.04	c ................................ | ..........                       |                        1.0           0.0             
1.02/1.04	c ................................ | ..........                     1 |                        1.0           1.0             
1.02/1.04	c ................................ | ..........                     2 |                        1.0           1.9             
1.02/1.04	c ................................ | ..........                     3 |                        1.0           2.9             
1.02/1.04	c ................................ | ..........                     4 |                        1.0           3.8             
1.02/1.04	c ................................ | ..........                     5 |                        1.0           4.8             
1.02/1.04	c ................................ | ..........                  1000 |                        1.1         952.4          156
200.13/50.95	c ................................ | ..........               1052000 | 154141               200.2        5253.4     18103084
399.97/101.06	c ................................ | ..........               1511000 | 255737               400.2        3775.5     30516048
599.95/151.13	c ................................ | ..........               1854000 | 318500               600.0        3089.8     41047487
800.10/201.30	c ................................ | ..........               2134000 | 371353               800.5        2666.0     49395741
1000.04/251.33	c ................................ | *.........               2402000 | 437718              1000.1        2401.7     56136046
1200.29/301.45	c ................................ | *.........               2646000 | 494259              1200.4        2204.2     62993982
1400.57/351.65	c ................................ | *.........               2925000 | 538069              1400.7        2088.2     70317917
1600.36/401.64	c ................................ | *.........               3127000 | 565738              1600.5        1953.8     77086271
1800.47/451.75	c ................................ | *.........               3352000 | 598356              1800.7        1861.5     83102394
1999.93/501.71	c ................................ | **........               3622000 | 635065              2000.3        1810.7     89855310

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

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


[startup+0 s]
/proc/loadavg: 0.98 0.98 1.19 3/117 17747
/proc/meminfo: memFree=2936412/3368532 swapFree=1941392/1959888
[pid=17747] ppid=17745 vsize=1144 CPUtime=0
/proc/17747/stat : 17747 (ttsth-5-0) R 17745 17747 11443 0 -1 4202496 183 0 0 0 0 0 0 0 18 0 1 0 1133066200 1171456 139 4294967295 134512640 135237372 3216670448 3216668972 134639534 0 0 0 0 0 0 0 17 1 0 0 0
/proc/17747/statm: 286 139 75 177 0 108 0

[startup+0.025273 s]
/proc/loadavg: 0.98 0.98 1.19 3/117 17747
/proc/meminfo: memFree=2936412/3368532 swapFree=1941392/1959888
[pid=17747] ppid=17745 vsize=2068 CPUtime=0.03
/proc/17747/stat : 17747 (ttsth-5-0) R 17745 17747 11443 0 -1 4202496 418 0 0 0 3 0 0 0 18 0 1 0 1133066200 2117632 374 4294967295 134512640 135237372 3216670448 3216669244 134639534 0 0 0 0 0 0 0 17 1 0 0 0
/proc/17747/statm: 517 374 75 177 0 339 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2068

[startup+0.115266 s]
/proc/loadavg: 0.98 0.98 1.19 3/117 17747
/proc/meminfo: memFree=2936412/3368532 swapFree=1941392/1959888
[pid=17747] ppid=17745 vsize=6128 CPUtime=0.12
/proc/17747/stat : 17747 (ttsth-5-0) R 17745 17747 11443 0 -1 4202496 1411 0 0 0 12 0 0 0 18 0 1 0 1133066200 6275072 1367 4294967295 134512640 135237372 3216670448 3216669716 134732614 0 0 0 0 0 0 0 17 1 0 0 0
/proc/17747/statm: 1532 1369 76 177 0 1354 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 6128

[startup+0.315257 s]
/proc/loadavg: 0.98 0.98 1.19 3/117 17747
/proc/meminfo: memFree=2936412/3368532 swapFree=1941392/1959888
[pid=17747] ppid=17745 vsize=11428 CPUtime=0.32
/proc/17747/stat : 17747 (ttsth-5-0) R 17745 17747 11443 0 -1 4202496 2560 0 0 0 32 0 0 0 18 0 1 0 1133066200 11702272 2515 4294967295 134512640 135237372 3216670448 3216669952 134540092 0 0 0 0 0 0 0 17 1 0 0 0
/proc/17747/statm: 2857 2515 76 177 0 2679 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 11428

[startup+0.715242 s]
/proc/loadavg: 0.98 0.98 1.19 3/117 17747
/proc/meminfo: memFree=2936412/3368532 swapFree=1941392/1959888
[pid=17747] ppid=17745 vsize=12864 CPUtime=0.72
/proc/17747/stat : 17747 (ttsth-5-0) R 17745 17747 11443 0 -1 4202496 3348 0 0 0 72 0 0 0 18 0 1 0 1133066200 13172736 3081 4294967295 134512640 135237372 3216670448 3216666168 134732614 0 0 0 0 0 0 0 17 1 0 0 0
/proc/17747/statm: 3216 3081 90 177 0 3038 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 12864

[startup+1.51522 s]
/proc/loadavg: 0.98 0.98 1.19 2/117 17748
/proc/meminfo: memFree=2916976/3368532 swapFree=1941392/1959888
[pid=17747] ppid=17745 vsize=58944 CPUtime=2.87
/proc/17747/stat : 17747 (ttsth-5-0) S 17745 17747 11443 0 -1 4202496 6433 0 0 0 287 0 0 0 19 0 5 0 1133066200 60358656 6166 4294967295 134512640 135237372 3216670448 3216670044 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17747/statm: 14736 6166 95 177 0 14558 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 58944

[startup+3.11515 s]
/proc/loadavg: 0.98 0.98 1.19 5/121 17752
/proc/meminfo: memFree=2907060/3368532 swapFree=1941392/1959888
[pid=17747] ppid=17745 vsize=73812 CPUtime=9.27
/proc/17747/stat : 17747 (ttsth-5-0) S 17745 17747 11443 0 -1 4202496 10168 0 0 0 927 0 0 0 19 0 5 0 1133066200 75583488 9901 4294967295 134512640 135237372 3216670448 3216670044 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17747/statm: 18453 9901 95 177 0 18275 0
[pid=17747/tid=17749] ppid=17745 vsize=73812 CPUtime=2.08
/proc/17747/task/17749/stat : 17749 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 931 0 0 0 208 0 0 0 25 0 5 0 1133066304 75583488 9901 4294967295 134512640 135237372 3216670448 3086072144 134680270 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17747/tid=17750] ppid=17745 vsize=73812 CPUtime=2.05
/proc/17747/task/17750/stat : 17750 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 1108 0 0 0 205 0 0 0 25 0 5 0 1133066304 75583488 9901 4294967295 134512640 135237372 3216670448 3077690380 134519936 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17747/tid=17751] ppid=17745 vsize=73812 CPUtime=2.05
/proc/17747/task/17751/stat : 17751 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 1414 0 0 0 205 0 0 0 25 0 5 0 1133066304 75583488 9901 4294967295 134512640 135237372 3216670448 3069257408 134561428 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17747/tid=17752] ppid=17745 vsize=73812 CPUtime=2.05
/proc/17747/task/17752/stat : 17752 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 1411 0 0 0 205 0 0 0 25 0 5 0 1133066305 75583488 9901 4294967295 134512640 135237372 3216670448 3060903136 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.27
Current children cumulated vsize (KiB) 73812

[startup+6.31503 s]
/proc/loadavg: 0.98 0.98 1.19 5/121 17753
/proc/meminfo: memFree=2878164/3368532 swapFree=1941392/1959888
[pid=17747] ppid=17745 vsize=102364 CPUtime=22.07
/proc/17747/stat : 17747 (ttsth-5-0) S 17745 17747 11443 0 -1 4202496 16799 0 0 0 2202 5 0 0 19 0 5 0 1133066200 104820736 16532 4294967295 134512640 135237372 3216670448 3216670044 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17747/statm: 25591 16532 95 177 0 25413 0
[pid=17747/tid=17749] ppid=17745 vsize=102364 CPUtime=5.28
/proc/17747/task/17749/stat : 17749 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 2159 0 0 0 527 1 0 0 25 0 5 0 1133066304 104820736 16532 4294967295 134512640 135237372 3216670448 3086064256 134562463 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17747/tid=17750] ppid=17745 vsize=102364 CPUtime=5.25
/proc/17747/task/17750/stat : 17750 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 3480 0 0 0 522 3 0 0 25 0 5 0 1133066304 104820736 16532 4294967295 134512640 135237372 3216670448 3077673204 134738956 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17747/tid=17751] ppid=17745 vsize=102364 CPUtime=5.25
/proc/17747/task/17751/stat : 17751 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 3048 0 0 0 525 0 0 0 25 0 5 0 1133066304 104820736 16532 4294967295 134512640 135237372 3216670448 3069273616 134680499 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17747/tid=17752] ppid=17745 vsize=102364 CPUtime=5.25
/proc/17747/task/17752/stat : 17752 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 2808 0 0 0 524 1 0 0 25 0 5 0 1133066305 104820736 16532 4294967295 134512640 135237372 3216670448 3060908928 134562437 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.07
Current children cumulated vsize (KiB) 102364

[startup+12.7148 s]
/proc/loadavg: 1.61 1.12 1.23 5/120 17936
/proc/meminfo: memFree=2829628/3368532 swapFree=1941392/1959888
[pid=17747] ppid=17745 vsize=150508 CPUtime=47.33
/proc/17747/stat : 17747 (ttsth-5-0) S 17745 17747 11443 0 -1 4202496 28110 0 0 0 4727 6 0 0 19 0 5 0 1133066200 154120192 27843 4294967295 134512640 135237372 3216670448 3216670044 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17747/statm: 37627 27843 95 177 0 37449 0
[pid=17747/tid=17749] ppid=17745 vsize=150508 CPUtime=11.68
/proc/17747/task/17749/stat : 17749 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 3792 0 0 0 1167 1 0 0 25 0 5 0 1133066304 154120192 27843 4294967295 134512640 135237372 3216670448 3086065744 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17747/tid=17750] ppid=17745 vsize=150508 CPUtime=11.5
/proc/17747/task/17750/stat : 17750 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 6696 0 0 0 1147 3 0 0 25 0 5 0 1133066304 154120192 27843 4294967295 134512640 135237372 3216670448 3077685200 134562351 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17747/tid=17751] ppid=17745 vsize=150508 CPUtime=11.57
/proc/17747/task/17751/stat : 17751 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 6097 0 0 0 1157 0 0 0 25 0 5 0 1133066304 154120192 27843 4294967295 134512640 135237372 3216670448 3069284016 134680254 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17747/tid=17752] ppid=17745 vsize=150508 CPUtime=11.54
/proc/17747/task/17752/stat : 17752 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 6221 0 0 0 1152 2 0 0 25 0 5 0 1133066305 154120192 27843 4294967295 134512640 135237372 3216670448 3060898400 134749353 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 47.33
Current children cumulated vsize (KiB) 150508

[startup+25.5143 s]
/proc/loadavg: 1.97 1.21 1.26 5/120 17937
/proc/meminfo: memFree=2767856/3368532 swapFree=1941392/1959888
[pid=17747] ppid=17745 vsize=214324 CPUtime=98.53
/proc/17747/stat : 17747 (ttsth-5-0) S 17745 17747 11443 0 -1 4202496 43066 0 0 0 9833 20 0 0 19 0 5 0 1133066200 219467776 42799 4294967295 134512640 135237372 3216670448 3216670044 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17747/statm: 53581 42800 95 177 0 53403 0
[pid=17747/tid=17749] ppid=17745 vsize=214324 CPUtime=24.48
/proc/17747/task/17749/stat : 17749 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 6690 0 0 0 2445 3 0 0 25 0 5 0 1133066304 219467776 42801 4294967295 134512640 135237372 3216670448 3086079104 134546026 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17747/tid=17750] ppid=17745 vsize=214324 CPUtime=24.3
/proc/17747/task/17750/stat : 17750 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 9508 0 0 0 2424 6 0 0 25 0 5 0 1133066304 219467776 42801 4294967295 134512640 135237372 3216670448 3077674272 134546026 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17747/tid=17751] ppid=17745 vsize=214324 CPUtime=24.37
/proc/17747/task/17751/stat : 17751 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 10562 0 0 0 2430 7 0 0 25 0 5 0 1133066304 219467776 42801 4294967295 134512640 135237372 3216670448 3069281056 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17747/tid=17752] ppid=17745 vsize=214324 CPUtime=24.34
/proc/17747/task/17752/stat : 17752 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 11004 0 0 0 2430 4 0 0 25 0 5 0 1133066305 219467776 42801 4294967295 134512640 135237372 3216670448 3060902192 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 98.53
Current children cumulated vsize (KiB) 214324

[startup+51.1132 s]
/proc/loadavg: 2.66 1.43 1.33 5/120 17939
/proc/meminfo: memFree=2634472/3368532 swapFree=1941392/1959888
[pid=17747] ppid=17745 vsize=356828 CPUtime=200.93
/proc/17747/stat : 17747 (ttsth-5-0) S 17745 17747 11443 0 -1 4202496 76897 0 0 0 20052 41 0 0 19 0 5 0 1133066200 365391872 76630 4294967295 134512640 135237372 3216670448 3216670044 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17747/statm: 89207 76630 95 177 0 89029 0
[pid=17747/tid=17749] ppid=17745 vsize=356828 CPUtime=50.08
/proc/17747/task/17749/stat : 17749 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 12289 0 0 0 4999 9 0 0 25 0 5 0 1133066304 365391872 76630 4294967295 134512640 135237372 3216670448 3086062320 134562344 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17747/tid=17750] ppid=17745 vsize=356828 CPUtime=49.9
/proc/17747/task/17750/stat : 17750 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 17610 0 0 0 4978 12 0 0 25 0 5 0 1133066304 365391872 76630 4294967295 134512640 135237372 3216670448 3077672076 134636641 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17747/tid=17751] ppid=17745 vsize=356828 CPUtime=49.97
/proc/17747/task/17751/stat : 17751 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 20842 0 0 0 4985 12 0 0 25 0 5 0 1133066304 365391872 76630 4294967295 134512640 135237372 3216670448 3069254828 134549950 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17747/tid=17752] ppid=17745 vsize=356828 CPUtime=49.94
/proc/17747/task/17752/stat : 17752 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 20852 0 0 0 4986 8 0 0 25 0 5 0 1133066305 365391872 76630 4294967295 134512640 135237372 3216670448 3060888112 134562344 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 200.93
Current children cumulated vsize (KiB) 356828

[startup+102.321 s]
/proc/loadavg: 3.80 1.95 1.52 6/120 18126
/proc/meminfo: memFree=2431968/3368532 swapFree=1941392/1959888
[pid=17747] ppid=17745 vsize=567700 CPUtime=405.25
/proc/17747/stat : 17747 (ttsth-5-0) S 17745 17747 11443 0 -1 4202496 126727 0 0 0 40444 81 0 0 19 0 5 0 1133066200 581324800 126460 4294967295 134512640 135237372 3216670448 3216670044 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17747/statm: 141925 126460 95 177 0 141747 0
[pid=17747/tid=17749] ppid=17745 vsize=567700 CPUtime=101.21
/proc/17747/task/17749/stat : 17749 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 19451 0 0 0 10106 15 0 0 25 0 5 0 1133066304 581324800 126460 4294967295 134512640 135237372 3216670448 3086062656 134562348 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17747/tid=17750] ppid=17745 vsize=567700 CPUtime=101.05
/proc/17747/task/17750/stat : 17750 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 31562 0 0 0 10080 25 0 0 25 0 5 0 1133066304 581324800 126460 4294967295 134512640 135237372 3216670448 3077673856 134562380 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17747/tid=17751] ppid=17745 vsize=567700 CPUtime=101.15
/proc/17747/task/17751/stat : 17751 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 36702 0 0 0 10088 27 0 0 25 0 5 0 1133066304 581324800 126460 4294967295 134512640 135237372 3216670448 3069263360 134562401 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17747/tid=17752] ppid=17745 vsize=567700 CPUtime=100.8
/proc/17747/task/17752/stat : 17752 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 33708 0 0 0 10066 14 0 0 25 0 5 0 1133066305 581324800 126460 4294967295 134512640 135237372 3216670448 3060897888 134562444 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 405.25
Current children cumulated vsize (KiB) 567700

[startup+162.309 s]
/proc/loadavg: 4.19 2.40 1.69 6/120 18318
/proc/meminfo: memFree=2239732/3368532 swapFree=1941392/1959888
[pid=17747] ppid=17745 vsize=772296 CPUtime=644.74
/proc/17747/stat : 17747 (ttsth-5-0) S 17745 17747 11443 0 -1 4202496 175023 0 0 0 64349 125 0 0 19 0 5 0 1133066200 790831104 174756 4294967295 134512640 135237372 3216670448 3216670044 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17747/statm: 193074 174756 95 177 0 192896 0
[pid=17747/tid=17749] ppid=17745 vsize=772296 CPUtime=160.77
/proc/17747/task/17749/stat : 17749 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 24895 0 0 0 16052 25 0 0 25 0 5 0 1133066304 790831104 174756 4294967295 134512640 135237372 3216670448 3086062608 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17747/tid=17750] ppid=17745 vsize=772296 CPUtime=161
/proc/17747/task/17750/stat : 17750 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 43019 0 0 0 16064 36 0 0 25 0 5 0 1133066304 790831104 174756 4294967295 134512640 135237372 3216670448 3077675088 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17747/tid=17751] ppid=17745 vsize=772296 CPUtime=161.14
/proc/17747/task/17751/stat : 17751 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 52843 0 0 0 16073 41 0 0 25 0 5 0 1133066304 790831104 174756 4294967295 134512640 135237372 3216670448 3069281488 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17747/tid=17752] ppid=17745 vsize=772296 CPUtime=160.79
/proc/17747/task/17752/stat : 17752 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 48962 0 0 0 16056 23 0 0 25 0 5 0 1133066305 790831104 174756 4294967295 134512640 135237372 3216670448 3060894320 134591069 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 644.74
Current children cumulated vsize (KiB) 772296

[startup+222.306 s]
/proc/loadavg: 4.47 2.80 1.87 5/120 18508
/proc/meminfo: memFree=2093196/3368532 swapFree=1941392/1959888
[pid=17747] ppid=17745 vsize=926160 CPUtime=884.05
/proc/17747/stat : 17747 (ttsth-5-0) S 17745 17747 11443 0 -1 4202496 211287 0 0 0 88250 155 0 0 19 0 5 0 1133066200 948387840 211020 4294967295 134512640 135237372 3216670448 3216670044 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17747/statm: 231540 211020 95 177 0 231362 0
[pid=17747/tid=17749] ppid=17745 vsize=926160 CPUtime=220.15
/proc/17747/task/17749/stat : 17749 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 29685 0 0 0 21987 28 0 0 25 0 5 0 1133066304 948387840 211020 4294967295 134512640 135237372 3216670448 3086059744 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17747/tid=17750] ppid=17745 vsize=926160 CPUtime=220.96
/proc/17747/task/17750/stat : 17750 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 53543 0 0 0 22046 50 0 0 25 0 5 0 1133066304 948387840 211020 4294967295 134512640 135237372 3216670448 3077680240 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17747/tid=17751] ppid=17745 vsize=926160 CPUtime=221.14
/proc/17747/task/17751/stat : 17751 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 62391 0 0 0 22067 47 0 0 25 0 5 0 1133066304 948387840 211020 4294967295 134512640 135237372 3216670448 3069281456 134562420 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17747/tid=17752] ppid=17745 vsize=926160 CPUtime=220.76
/proc/17747/task/17752/stat : 17752 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 60364 0 0 0 22046 30 0 0 25 0 5 0 1133066305 948387840 211020 4294967295 134512640 135237372 3216670448 3060892656 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 884.05
Current children cumulated vsize (KiB) 926160


################
# More data... #
################


[startup+402.309 s]
/proc/loadavg: 4.50 3.56 2.33 6/121 19017
/proc/meminfo: memFree=1706444/3368532 swapFree=1941392/1959888
[pid=17747] ppid=17745 vsize=1336588 CPUtime=1603.12
/proc/17747/stat : 17747 (ttsth-5-0) S 17745 17747 11443 0 -1 4202496 308287 0 0 0 160097 215 0 0 19 0 5 0 1133066200 1368666112 308020 4294967295 134512640 135237372 3216670448 3216670044 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17747/statm: 334147 308020 95 177 0 333969 0
[pid=17747/tid=17749] ppid=17745 vsize=1336588 CPUtime=399.38
/proc/17747/task/17749/stat : 17749 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 40438 0 0 0 39900 38 0 0 25 0 5 0 1133066304 1368666112 308020 4294967295 134512640 135237372 3216670448 3086057248 134562363 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17747/tid=17750] ppid=17745 vsize=1336588 CPUtime=400.88
/proc/17747/task/17750/stat : 17750 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 75736 0 0 0 40025 63 0 0 25 0 5 0 1133066304 1368666112 308020 4294967295 134512640 135237372 3216670448 3077677008 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17747/tid=17751] ppid=17745 vsize=1336588 CPUtime=401.14
/proc/17747/task/17751/stat : 17751 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 92872 0 0 0 40049 65 0 0 25 0 5 0 1133066304 1368666112 308020 4294967295 134512640 135237372 3216670448 3069271024 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17747/tid=17752] ppid=17745 vsize=1336588 CPUtime=400.68
/proc/17747/task/17752/stat : 17752 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 93937 0 0 0 40019 49 0 0 25 0 5 0 1133066305 1368666112 308020 4294967295 134512640 135237372 3216670448 3060893312 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1603.12
Current children cumulated vsize (KiB) 1336588

[startup+462.307 s]
/proc/loadavg: 4.42 3.70 2.45 6/121 19167
/proc/meminfo: memFree=1586816/3368532 swapFree=1941392/1959888
[pid=17747] ppid=17745 vsize=1462752 CPUtime=1842.85
/proc/17747/stat : 17747 (ttsth-5-0) S 17745 17747 11443 0 -1 4202496 337886 0 0 0 184056 229 0 0 19 0 5 0 1133066200 1497858048 337619 4294967295 134512640 135237372 3216670448 3216670044 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17747/statm: 365688 337619 95 177 0 365510 0
[pid=17747/tid=17749] ppid=17745 vsize=1462752 CPUtime=459.16
/proc/17747/task/17749/stat : 17749 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 45234 0 0 0 45875 41 0 0 25 0 5 0 1133066304 1497858048 337619 4294967295 134512640 135237372 3216670448 3086059328 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17747/tid=17750] ppid=17745 vsize=1462752 CPUtime=460.83
/proc/17747/task/17750/stat : 17750 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 82237 0 0 0 46014 69 0 0 25 0 5 0 1133066304 1497858048 337619 4294967295 134512640 135237372 3216670448 3077683696 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17747/tid=17751] ppid=17745 vsize=1462752 CPUtime=461.14
/proc/17747/task/17751/stat : 17751 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 103238 0 0 0 46044 70 0 0 25 0 5 0 1133066304 1497858048 337619 4294967295 134512640 135237372 3216670448 3069280560 134562341 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17747/tid=17752] ppid=17745 vsize=1462752 CPUtime=460.68
/proc/17747/task/17752/stat : 17752 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 101873 0 0 0 46019 49 0 0 25 0 5 0 1133066305 1497858048 337619 4294967295 134512640 135237372 3216670448 3060892096 134565869 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1842.85
Current children cumulated vsize (KiB) 1462752

[startup+522.314 s]
/proc/loadavg: 4.37 3.81 2.57 6/121 19307
/proc/meminfo: memFree=1464652/3368532 swapFree=1941392/1959888
[pid=17747] ppid=17745 vsize=1592212 CPUtime=2082.65
/proc/17747/stat : 17747 (ttsth-5-0) S 17745 17747 11443 0 -1 4202496 368598 0 0 0 208002 263 0 0 19 0 5 0 1133066200 1630425088 368331 4294967295 134512640 135237372 3216670448 3216670044 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17747/statm: 398053 368331 95 177 0 397875 0
[pid=17747/tid=17749] ppid=17745 vsize=1592212 CPUtime=519.12
/proc/17747/task/17749/stat : 17749 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 49463 0 0 0 51867 45 0 0 25 0 5 0 1133066304 1630425088 368331 4294967295 134512640 135237372 3216670448 3086052864 134562341 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17747/tid=17750] ppid=17745 vsize=1592212 CPUtime=520.68
/proc/17747/task/17750/stat : 17750 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 89214 0 0 0 51986 82 0 0 25 0 5 0 1133066304 1630425088 368331 4294967295 134512640 135237372 3216670448 3077670576 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17747/tid=17751] ppid=17745 vsize=1592212 CPUtime=521.15
/proc/17747/task/17751/stat : 17751 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 115558 0 0 0 52038 77 0 0 25 0 5 0 1133066304 1630425088 368331 4294967295 134512640 135237372 3216670448 3069276848 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17747/tid=17752] ppid=17745 vsize=1592212 CPUtime=520.66
/proc/17747/task/17752/stat : 17752 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 109059 0 0 0 52007 59 0 0 25 0 5 0 1133066305 1630425088 368331 4294967295 134512640 135237372 3216670448 3060892576 134562380 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2082.65
Current children cumulated vsize (KiB) 1592212

[startup+582.312 s]
/proc/loadavg: 4.31 3.90 2.67 5/120 19456
/proc/meminfo: memFree=1361400/3368532 swapFree=1941392/1959888
[pid=17747] ppid=17745 vsize=1701868 CPUtime=2322.55
/proc/17747/stat : 17747 (ttsth-5-0) S 17745 17747 11443 0 -1 4202496 394311 0 0 0 231968 287 0 0 19 0 5 0 1133066200 1742712832 394044 4294967295 134512640 135237372 3216670448 3216670044 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17747/statm: 425467 394044 95 177 0 425289 0
[pid=17747/tid=17749] ppid=17745 vsize=1701868 CPUtime=579.06
/proc/17747/task/17749/stat : 17749 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 53168 0 0 0 57857 49 0 0 25 0 5 0 1133066304 1742712832 394044 4294967295 134512640 135237372 3216670448 3086081872 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17747/tid=17750] ppid=17745 vsize=1701868 CPUtime=580.64
/proc/17747/task/17750/stat : 17750 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 94160 0 0 0 57974 90 0 0 25 0 5 0 1133066304 1742712832 394044 4294967295 134512640 135237372 3216670448 3077674832 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17747/tid=17751] ppid=17745 vsize=1701868 CPUtime=581.15
/proc/17747/task/17751/stat : 17751 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 126200 0 0 0 58031 84 0 0 25 0 5 0 1133066304 1742712832 394044 4294967295 134512640 135237372 3216670448 3069280992 134562380 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17747/tid=17752] ppid=17745 vsize=1701868 CPUtime=580.66
/proc/17747/task/17752/stat : 17752 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 115479 0 0 0 58002 64 0 0 25 0 5 0 1133066305 1742712832 394044 4294967295 134512640 135237372 3216670448 3060893408 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2322.55
Current children cumulated vsize (KiB) 1701868

[startup+642.31 s]
/proc/loadavg: 4.42 4.02 2.79 5/120 19643
/proc/meminfo: memFree=1257012/3368532 swapFree=1941392/1959888
[pid=17747] ppid=17745 vsize=1811164 CPUtime=2562.22
/proc/17747/stat : 17747 (ttsth-5-0) S 17745 17747 11443 0 -1 4202496 420194 0 0 0 255907 315 0 0 19 0 5 0 1133066200 1854631936 419927 4294967295 134512640 135237372 3216670448 3216670044 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17747/statm: 452791 419927 95 177 0 452613 0
[pid=17747/tid=17749] ppid=17745 vsize=1811164 CPUtime=638.77
/proc/17747/task/17749/stat : 17749 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 57917 0 0 0 63821 56 0 0 25 0 5 0 1133066304 1854631936 419927 4294967295 134512640 135237372 3216670448 3086057984 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17747/tid=17750] ppid=17745 vsize=1811164 CPUtime=640.62
/proc/17747/task/17750/stat : 17750 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 98348 0 0 0 63964 98 0 0 25 0 5 0 1133066304 1854631936 419927 4294967295 134512640 135237372 3216670448 3077680272 134562388 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17747/tid=17751] ppid=17745 vsize=1811164 CPUtime=641.14
/proc/17747/task/17751/stat : 17751 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 136192 0 0 0 64025 89 0 0 25 0 5 0 1133066304 1854631936 419927 4294967295 134512640 135237372 3216670448 3069277568 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17747/tid=17752] ppid=17745 vsize=1811164 CPUtime=640.65
/proc/17747/task/17752/stat : 17752 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 122433 0 0 0 63993 72 0 0 25 0 5 0 1133066305 1854631936 419927 4294967295 134512640 135237372 3216670448 3060893872 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2562.22
Current children cumulated vsize (KiB) 1811164

[startup+702.317 s]
/proc/loadavg: 4.44 4.12 2.90 6/120 19831
/proc/meminfo: memFree=1162456/3368532 swapFree=1941392/1959888
[pid=17747] ppid=17745 vsize=1912224 CPUtime=2801.53
/proc/17747/stat : 17747 (ttsth-5-0) S 17745 17747 11443 0 -1 4202496 444247 0 0 0 279806 347 0 0 19 0 5 0 1133066200 1958117376 443980 4294967295 134512640 135237372 3216670448 3216670044 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17747/statm: 478056 443981 95 177 0 477878 0
[pid=17747/tid=17749] ppid=17745 vsize=1912224 CPUtime=698.22
/proc/17747/task/17749/stat : 17749 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 60221 0 0 0 69764 58 0 0 25 0 5 0 1133066304 1958117376 443981 4294967295 134512640 135237372 3216670448 3086058720 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17747/tid=17750] ppid=17745 vsize=1912224 CPUtime=700.48
/proc/17747/task/17750/stat : 17750 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 102017 0 0 0 69936 112 0 0 25 0 5 0 1133066304 1958117376 443981 4294967295 134512640 135237372 3216670448 3077671088 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17747/tid=17751] ppid=17745 vsize=1912224 CPUtime=701.14
/proc/17747/task/17751/stat : 17751 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 146713 0 0 0 70018 96 0 0 25 0 5 0 1133066304 1958117376 443981 4294967295 134512640 135237372 3216670448 3069283888 134546034 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17747/tid=17752] ppid=17745 vsize=1912224 CPUtime=700.65
/proc/17747/task/17752/stat : 17752 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 129993 0 0 0 69984 81 0 0 25 0 5 0 1133066305 1958117376 443981 4294967295 134512640 135237372 3216670448 3060898640 134586999 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2801.53
Current children cumulated vsize (KiB) 1912224

[startup+762.315 s]
/proc/loadavg: 4.84 4.29 3.03 5/120 20019
/proc/meminfo: memFree=1064000/3368532 swapFree=1941392/1959888
[pid=17747] ppid=17745 vsize=2014980 CPUtime=3041.22
/proc/17747/stat : 17747 (ttsth-5-0) S 17745 17747 11443 0 -1 4202496 468492 0 0 0 303753 369 0 0 19 0 5 0 1133066200 2063339520 468225 4294967295 134512640 135237372 3216670448 3216670044 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17747/statm: 503745 468225 95 177 0 503567 0
[pid=17747/tid=17749] ppid=17745 vsize=2014980 CPUtime=758.05
/proc/17747/task/17749/stat : 17749 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 62551 0 0 0 75746 59 0 0 25 0 5 0 1133066304 2063339520 468225 4294967295 134512640 135237372 3216670448 3086060992 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17747/tid=17750] ppid=17745 vsize=2014980 CPUtime=760.36
/proc/17747/task/17750/stat : 17750 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 106766 0 0 0 75913 123 0 0 25 0 5 0 1133066304 2063339520 468225 4294967295 134512640 135237372 3216670448 3077682320 134549888 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17747/tid=17751] ppid=17745 vsize=2014980 CPUtime=761.14
/proc/17747/task/17751/stat : 17751 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 158211 0 0 0 76011 103 0 0 25 0 5 0 1133066304 2063339520 468225 4294967295 134512640 135237372 3216670448 3069273472 134562416 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17747/tid=17752] ppid=17745 vsize=2014980 CPUtime=760.63
/proc/17747/task/17752/stat : 17752 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 135660 0 0 0 75979 84 0 0 25 0 5 0 1133066305 2063339520 468225 4294967295 134512640 135237372 3216670448 3060891456 134562399 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3041.22
Current children cumulated vsize (KiB) 2014980



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+821.302 s]
/proc/loadavg: 4.56 4.31 3.12 5/120 20207
/proc/meminfo: memFree=986048/3368532 swapFree=1941392/1959888
[pid=17747] ppid=17745 vsize=2097036 CPUtime=3276.64
/proc/17747/stat : 17747 (ttsth-5-0) S 17745 17747 11443 0 -1 4202496 487778 0 0 0 327275 389 0 0 19 0 5 0 1133066200 2147364864 487511 4294967295 134512640 135237372 3216670448 3216670044 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17747/statm: 524259 487511 95 177 0 524081 0
[pid=17747/tid=17749] ppid=17745 vsize=2097036 CPUtime=816.7
/proc/17747/task/17749/stat : 17749 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 64183 0 0 0 81608 62 0 0 25 0 5 0 1133066304 2147364864 487511 4294967295 134512640 135237372 3216670448 3086060240 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17747/tid=17750] ppid=17745 vsize=2097036 CPUtime=819.18
/proc/17747/task/17750/stat : 17750 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 110006 0 0 0 81785 133 0 0 25 0 5 0 1133066304 2147364864 487511 4294967295 134512640 135237372 3216670448 3077679504 134562399 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17747/tid=17751] ppid=17745 vsize=2097036 CPUtime=820.12
/proc/17747/task/17751/stat : 17751 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 168064 0 0 0 81903 109 0 0 25 0 5 0 1133066304 2147364864 487511 4294967295 134512640 135237372 3216670448 3069290416 134592291 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17747/tid=17752] ppid=17745 vsize=2097036 CPUtime=819.6
/proc/17747/task/17752/stat : 17752 (ttsth-5-0) R 17745 17747 11443 0 -1 4202560 140221 0 0 0 81875 85 0 0 25 0 5 0 1133066305 2147364864 487511 4294967295 134512640 135237372 3216670448 3060892496 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3276.64
Current children cumulated vsize (KiB) 2097036

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

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

[startup+821.423 s]
/proc/loadavg: 4.56 4.31 3.12 5/120 20207
/proc/meminfo: memFree=986048/3368532 swapFree=1941392/1959888
[pid=17747] ppid=17745 vsize=0 CPUtime=3276.82
/proc/17747/stat : 17747 (ttsth-5-0) Z 17745 17747 11443 0 -1 4203524 487780 0 0 0 327283 399 0 0 18 0 2 0 1133066200 0 0 4294967295 0 0 0 0 0 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17747/statm: 0 0 0 0 0 0 0
[pid=17747/tid=17752] ppid=17745 vsize=0 CPUtime=819.72
/proc/17747/task/17752/stat : 17752 (ttsth-5-0) R 17745 17747 11443 0 -1 4203588 140221 0 0 0 81877 95 0 0 25 0 2 0 1133066305 0 0 4294967295 0 0 0 0 0 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3276.82
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17747 and gives
#  childrusage.ru_utime.tv_sec=3272
#  childrusage.ru_utime.tv_usec=830000
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=990000
# CPU time returned by wait4() is 3276.82
# while last known CPU time is 3276.82
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 821.427
CPU time (s): 3276.82
CPU user time (s): 3272.83
CPU system time (s): 3.99
CPU usage (%): 398.918
Max. virtual memory (cumulated for all children) (KiB): 2097036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3272.83
system time used= 3.99
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 487780
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= 1004
involuntary context switches= 60319

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 13:44:24
IDJOB=1780768
IDBENCH=71065
IDSOLVER=632
FILE ID=/1780768-1243683864
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_08_UNSAT.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1780768-1243683864/watcher-1780768-1243683864 -o /tmp/evaluation-result-1780768-1243683864/solver-1780768-1243683864 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 4 HOME/instance-1780768-1243683864.cnf

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

MD5SUM BENCH= 0b7170d33b896e8b879b19b65ac5c517
RANDOM SEED= 1929319252

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:       2936412 kB
Buffers:        112464 kB
Cached:         212924 kB
SwapCached:       4320 kB
Active:         204968 kB
Inactive:       130760 kB
HighTotal:     2489216 kB
HighFree:      2263872 kB
LowTotal:       879316 kB
LowFree:        672540 kB
SwapTotal:     1959888 kB
SwapFree:      1941392 kB
Dirty:           10160 kB
Writeback:         164 kB
AnonPages:        9324 kB
Mapped:           4276 kB
Slab:            85252 kB
SReclaimable:    75476 kB
SUnreclaim:       9776 kB
PageTables:        760 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   127084 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 13:58:07