Trace number 1780888

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) 1607.68 717.74

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rpoc_xits_13_UNKNOWN.cnf
MD5SUM57b85ec7870f670f13b00667a6315c05
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 variables2058
Number of clauses144294
Sum of the clauses size429916
Maximum clause length14
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23219
Number of clauses of size 3141052
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data 

0.21/0.22	c Command: HOME/ttsth-5-0 -num-threads 4 HOME/instance-1780888-1243684480.cnf 
0.21/0.22	c Using SATTIMEOUT of 10000
0.21/0.22	c Using SATRAM of 2047
0.21/0.22	c Size of subset node = 16
0.21/0.22	c Variables = 2058
0.21/0.22	c Clauses = 144294
0.21/0.22	c Literals = 429916
0.21/0.22	c Reduced size:
0.21/0.22	c Variables = 2058
0.21/0.22	c Clauses = 144294
0.21/0.22	c Literals = 429916
0.21/0.22	c a2
0.51/0.60	c a1
1.31/1.32	c Independent sub-problems = 1
1.31/1.32	c Sub-problem with 2058 variables and 144294 clauses
1.31/1.32	c using permutation method 4
1.31/1.32	c count = 1
1.31/1.32	c Ordering finished 1.250 seconds
1.31/1.32	c mapped 1.320 seconds
1.31/1.32	c permuted 1.320 seconds
1.31/1.32	c about to sort
1.31/1.37	c sorted
2.11/2.19	c clauses now 144294
2.11/2.19	c init finished 1.390 seconds
2.11/2.19	c tree built 2.190 seconds
2.11/2.19	c 
2.11/2.19	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
2.11/2.19	c ---------------------------------|----------------------------------|------------------------------------------------------
2.11/2.19	c ................................ | ..........                       |                        2.2           0.0             
2.11/2.19	c ................................ | ..........                     1 |                        2.2           0.5             
2.11/2.19	c ................................ | ..........                     2 |                        2.2           0.9             
2.11/2.19	c ................................ | ..........                     3 |                        2.2           1.4             
2.11/2.19	c ................................ | ..........                     4 |                        2.2           1.8             
2.11/2.19	c ................................ | ..........                     5 |                        2.2           2.3             
2.21/2.21	c ................................ | ..........                  1000 | 8                      2.2         452.5          892
200.22/97.01	c ................................ | ..........                974000 | 120422               200.2        4864.6     25111649
400.22/195.74	c ................................ | ..........               1530000 | 229347               400.3        3822.3     45057426
600.36/280.75	c ................................ | ..........               1981000 | 324246               600.5        3299.2     61451646
800.09/361.60	c ................................ | ..........               2452000 | 415597               800.3        3063.9     73515223
1000.58/447.02	c ................................ | *.........               2970000 | 514042              1000.6        2968.2     86613641
1200.23/537.41	c ................................ | *.........               3474000 | 619867              1200.2        2894.4    100187570
1400.06/637.44	c ................................ | *.........               3905000 | 714299              1400.1        2789.0    113149961
1600.32/715.28	c ................................ | *.........               4238000 | 778913              1600.6        2647.8    122382528

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-1780888-1243684480/watcher-1780888-1243684480 -o /tmp/evaluation-result-1780888-1243684480/solver-1780888-1243684480 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 4 HOME/instance-1780888-1243684480.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: 3.22 3.06 3.15 4/118 4457
/proc/meminfo: memFree=2981392/3368532 swapFree=1959840/1959888
[pid=4457] ppid=4455 vsize=1140 CPUtime=0
/proc/4457/stat : 4457 (ttsth-5-0) R 4455 4457 10612 0 -1 4202496 171 0 0 0 0 0 0 0 18 0 1 0 1133110774 1167360 127 4294967295 134512640 135237372 3217190768 3217190216 134732614 0 0 0 0 0 0 0 17 0 0 0 0
/proc/4457/statm: 285 128 75 177 0 107 0

[startup+0.040281 s]
/proc/loadavg: 3.22 3.06 3.15 4/118 4457
/proc/meminfo: memFree=2981392/3368532 swapFree=1959840/1959888
[pid=4457] ppid=4455 vsize=2756 CPUtime=0.04
/proc/4457/stat : 4457 (ttsth-5-0) R 4455 4457 10612 0 -1 4202496 570 0 0 0 4 0 0 0 18 0 1 0 1133110774 2822144 526 4294967295 134512640 135237372 3217190768 3217189292 134639534 0 0 0 0 0 0 0 17 0 0 0 0
/proc/4457/statm: 689 526 75 177 0 511 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2756

[startup+0.110277 s]
/proc/loadavg: 3.22 3.06 3.15 4/118 4457
/proc/meminfo: memFree=2981392/3368532 swapFree=1959840/1959888
[pid=4457] ppid=4455 vsize=5728 CPUtime=0.11
/proc/4457/stat : 4457 (ttsth-5-0) R 4455 4457 10612 0 -1 4202496 1332 0 0 0 11 0 0 0 18 0 1 0 1133110774 5865472 1288 4294967295 134512640 135237372 3217190768 3217190400 134536395 0 0 0 0 0 0 0 17 0 0 0 0
/proc/4457/statm: 1432 1288 75 177 0 1254 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 5728

[startup+0.310267 s]
/proc/loadavg: 3.22 3.06 3.15 4/118 4457
/proc/meminfo: memFree=2981392/3368532 swapFree=1959840/1959888
[pid=4457] ppid=4455 vsize=19540 CPUtime=0.31
/proc/4457/stat : 4457 (ttsth-5-0) R 4455 4457 10612 0 -1 4202496 4669 0 0 0 30 1 0 0 18 0 1 0 1133110774 20008960 4624 4294967295 134512640 135237372 3217190768 3217189200 134680326 0 0 0 0 0 0 0 17 0 0 0 0
/proc/4457/statm: 4885 4624 76 177 0 4707 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 19540

[startup+0.710246 s]
/proc/loadavg: 3.22 3.06 3.15 4/118 4457
/proc/meminfo: memFree=2981392/3368532 swapFree=1959840/1959888
[pid=4457] ppid=4455 vsize=19292 CPUtime=0.71
/proc/4457/stat : 4457 (ttsth-5-0) R 4455 4457 10612 0 -1 4202496 4960 0 0 0 70 1 0 0 19 0 1 0 1133110774 19755008 4633 4294967295 134512640 135237372 3217190768 3217190096 134555272 0 0 0 0 0 0 0 17 0 0 0 0
/proc/4457/statm: 4823 4633 77 177 0 4645 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 19292

[startup+1.5102 s]
/proc/loadavg: 3.20 3.06 3.15 4/119 4458
/proc/meminfo: memFree=2961412/3368532 swapFree=1959840/1959888
[pid=4457] ppid=4455 vsize=23936 CPUtime=1.51
/proc/4457/stat : 4457 (ttsth-5-0) R 4455 4457 10612 0 -1 4202496 6311 0 0 0 150 1 0 0 20 0 1 0 1133110774 24510464 5843 4294967295 134512640 135237372 3217190768 3217175104 134547185 0 0 0 0 0 0 0 17 0 0 0 0
/proc/4457/statm: 5984 5843 88 177 0 5806 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 23936

[startup+3.11013 s]
/proc/loadavg: 3.20 3.06 3.15 4/119 4462
/proc/meminfo: memFree=2949620/3368532 swapFree=1959840/1959888
[pid=4457] ppid=4455 vsize=73924 CPUtime=3.98
/proc/4457/stat : 4457 (ttsth-5-0) S 4455 4457 10612 0 -1 4202496 10457 0 0 0 395 3 0 0 22 0 5 0 1133110774 75698176 9924 4294967295 134512640 135237372 3217190768 3217190364 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4457/statm: 18481 9924 95 177 0 18303 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 73924

[startup+6.30996 s]
/proc/loadavg: 3.20 3.06 3.15 8/122 4470
/proc/meminfo: memFree=2927624/3368532 swapFree=1959840/1959888
[pid=4457] ppid=4455 vsize=95216 CPUtime=10.81
/proc/4457/stat : 4457 (ttsth-5-0) S 4455 4457 10612 0 -1 4202496 15612 0 0 0 1077 4 0 0 22 0 5 0 1133110774 97501184 15079 4294967295 134512640 135237372 3217190768 3217190364 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4457/statm: 23804 15080 95 177 0 23626 0
[pid=4457/tid=4463] ppid=4455 vsize=95216 CPUtime=2.52
/proc/4457/task/4463/stat : 4463 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 1920 0 0 0 252 0 0 0 25 0 5 0 1133110994 97501184 15080 4294967295 134512640 135237372 3217190768 3083965408 134546026 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4457/tid=4464] ppid=4455 vsize=95216 CPUtime=1.93
/proc/4457/task/4464/stat : 4464 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 1548 0 0 0 193 0 0 0 25 0 5 0 1133110994 97501184 15080 4294967295 134512640 135237372 3217190768 3075550756 134634454 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4457/tid=4465] ppid=4455 vsize=95216 CPUtime=2.35
/proc/4457/task/4465/stat : 4465 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 1801 0 0 0 232 3 0 0 25 0 5 0 1133110995 97501184 15080 4294967295 134512640 135237372 3217190768 3067193376 134749343 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4457/tid=4466] ppid=4455 vsize=95216 CPUtime=1.82
/proc/4457/task/4466/stat : 4466 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 1328 0 0 0 182 0 0 0 25 0 5 0 1133110995 97501184 15081 4294967295 134512640 135237372 3217190768 3058766372 134683894 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 10.81
Current children cumulated vsize (KiB) 95216

[startup+12.7096 s]
/proc/loadavg: 3.71 3.17 3.19 7/122 4478
/proc/meminfo: memFree=2891396/3368532 swapFree=1959840/1959888
[pid=4457] ppid=4455 vsize=129380 CPUtime=23.6
/proc/4457/stat : 4457 (ttsth-5-0) S 4455 4457 10612 0 -1 4202496 23975 0 0 0 2354 6 0 0 22 0 5 0 1133110774 132485120 23442 4294967295 134512640 135237372 3217190768 3217190364 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4457/statm: 32345 23442 95 177 0 32167 0
[pid=4457/tid=4463] ppid=4455 vsize=129380 CPUtime=5.64
/proc/4457/task/4463/stat : 4463 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 3933 0 0 0 564 0 0 0 25 0 5 0 1133110994 132485120 23442 4294967295 134512640 135237372 3217190768 3083949952 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4457/tid=4464] ppid=4455 vsize=129380 CPUtime=5.21
/proc/4457/task/4464/stat : 4464 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 4180 0 0 0 520 1 0 0 25 0 5 0 1133110994 132485120 23442 4294967295 134512640 135237372 3217190768 3075572256 134562351 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4457/tid=4465] ppid=4455 vsize=129380 CPUtime=5.73
/proc/4457/task/4465/stat : 4465 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 3696 0 0 0 569 4 0 0 25 0 5 0 1133110995 132485120 23442 4294967295 134512640 135237372 3217190768 3067146656 134562309 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4457/tid=4466] ppid=4455 vsize=129380 CPUtime=4.83
/proc/4457/task/4466/stat : 4466 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 3150 0 0 0 483 0 0 0 25 0 5 0 1133110995 132485120 23442 4294967295 134512640 135237372 3217190768 3058780880 134562344 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 23.6
Current children cumulated vsize (KiB) 129380

[startup+25.509 s]
/proc/loadavg: 4.21 3.30 3.23 8/123 4605
/proc/meminfo: memFree=2827788/3368532 swapFree=1959840/1959888
[pid=4457] ppid=4455 vsize=193324 CPUtime=49.12
/proc/4457/stat : 4457 (ttsth-5-0) S 4455 4457 10612 0 -1 4202496 39364 0 0 0 4905 7 0 0 22 0 5 0 1133110774 197963776 38831 4294967295 134512640 135237372 3217190768 3217190364 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4457/statm: 48331 38831 95 177 0 48153 0
[pid=4457/tid=4463] ppid=4455 vsize=193324 CPUtime=12.2
/proc/4457/task/4463/stat : 4463 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 7478 0 0 0 1220 0 0 0 25 0 5 0 1133110994 197963776 38831 4294967295 134512640 135237372 3217190768 3083967712 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4457/tid=4464] ppid=4455 vsize=193324 CPUtime=11.41
/proc/4457/task/4464/stat : 4464 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 8720 0 0 0 1139 2 0 0 25 0 5 0 1133110994 197963776 38831 4294967295 134512640 135237372 3217190768 3075523568 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4457/tid=4465] ppid=4455 vsize=193324 CPUtime=11.95
/proc/4457/task/4465/stat : 4465 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 6868 0 0 0 1191 4 0 0 25 0 5 0 1133110995 197963776 38831 4294967295 134512640 135237372 3217190768 3067136208 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4457/tid=4466] ppid=4455 vsize=193324 CPUtime=11.37
/proc/4457/task/4466/stat : 4466 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 7282 0 0 0 1137 0 0 0 25 0 5 0 1133110995 197963776 38831 4294967295 134512640 135237372 3217190768 3058781968 134587943 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 49.12
Current children cumulated vsize (KiB) 193324

[startup+51.1076 s]
/proc/loadavg: 5.00 3.56 3.32 7/122 4722
/proc/meminfo: memFree=2726040/3368532 swapFree=1959840/1959888
[pid=4457] ppid=4455 vsize=300940 CPUtime=102.86
/proc/4457/stat : 4457 (ttsth-5-0) S 4455 4457 10612 0 -1 4202496 64815 0 0 0 10268 18 0 0 22 0 5 0 1133110774 308162560 64282 4294967295 134512640 135237372 3217190768 3217190364 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4457/statm: 75235 64282 95 177 0 75057 0
[pid=4457/tid=4463] ppid=4455 vsize=300940 CPUtime=25.01
/proc/4457/task/4463/stat : 4463 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 12224 0 0 0 2501 0 0 0 25 0 5 0 1133110994 308162560 64282 4294967295 134512640 135237372 3217190768 3083935856 134680737 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4457/tid=4464] ppid=4455 vsize=300940 CPUtime=24.01
/proc/4457/task/4464/stat : 4464 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 15717 0 0 0 2396 5 0 0 25 0 5 0 1133110994 308162560 64282 4294967295 134512640 135237372 3217190768 3075501952 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4457/tid=4465] ppid=4455 vsize=300940 CPUtime=24.73
/proc/4457/task/4465/stat : 4465 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 12364 0 0 0 2464 9 0 0 25 0 5 0 1133110995 308162560 64282 4294967295 134512640 135237372 3217190768 3067173568 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4457/tid=4466] ppid=4455 vsize=300940 CPUtime=26.92
/proc/4457/task/4466/stat : 4466 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 15494 0 0 0 2689 3 0 0 25 0 5 0 1133110995 308162560 64282 4294967295 134512640 135237372 3217190768 3058760384 134562344 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.86
Current children cumulated vsize (KiB) 300940

[startup+102.315 s]
/proc/loadavg: 5.82 4.03 3.49 7/124 4986
/proc/meminfo: memFree=2530304/3368532 swapFree=1959840/1959888
[pid=4457] ppid=4455 vsize=503436 CPUtime=212.74
/proc/4457/stat : 4457 (ttsth-5-0) S 4455 4457 10612 0 -1 4202496 113219 0 0 0 21238 36 0 0 22 0 5 0 1133110774 515518464 112686 4294967295 134512640 135237372 3217190768 3217190364 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4457/statm: 125859 112686 95 177 0 125681 0
[pid=4457/tid=4463] ppid=4455 vsize=503436 CPUtime=53.11
/proc/4457/task/4463/stat : 4463 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 21516 0 0 0 5303 8 0 0 25 0 5 0 1133110994 515518464 112686 4294967295 134512640 135237372 3217190768 3083961760 134562351 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4457/tid=4464] ppid=4455 vsize=503436 CPUtime=50.01
/proc/4457/task/4464/stat : 4464 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 26469 0 0 0 4994 7 0 0 25 0 5 0 1133110994 515518464 112686 4294967295 134512640 135237372 3217190768 3075550080 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4457/tid=4465] ppid=4455 vsize=503436 CPUtime=51.95
/proc/4457/task/4465/stat : 4465 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 24959 0 0 0 5182 13 0 0 25 0 5 0 1133110995 515518464 112686 4294967295 134512640 135237372 3217190768 3067167696 134590241 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4457/tid=4466] ppid=4455 vsize=503436 CPUtime=55.48
/proc/4457/task/4466/stat : 4466 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 31259 0 0 0 5541 7 0 0 25 0 5 0 1133110995 515518464 112686 4294967295 134512640 135237372 3217190768 3058799920 134551736 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 212.74
Current children cumulated vsize (KiB) 503436

[startup+162.312 s]
/proc/loadavg: 6.37 4.51 3.68 7/122 5259
/proc/meminfo: memFree=2330988/3368532 swapFree=1959840/1959888
[pid=4457] ppid=4455 vsize=716024 CPUtime=333.46
/proc/4457/stat : 4457 (ttsth-5-0) S 4455 4457 10612 0 -1 4202496 163619 0 0 0 33286 60 0 0 22 0 5 0 1133110774 733208576 163086 4294967295 134512640 135237372 3217190768 3217190364 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4457/statm: 179006 163086 95 177 0 178828 0
[pid=4457/tid=4463] ppid=4455 vsize=716024 CPUtime=83.61
/proc/4457/task/4463/stat : 4463 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 31380 0 0 0 8343 18 0 0 25 0 5 0 1133110994 733208576 163086 4294967295 134512640 135237372 3217190768 3083962192 134562388 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4457/tid=4464] ppid=4455 vsize=716024 CPUtime=80.49
/proc/4457/task/4464/stat : 4464 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 40215 0 0 0 8041 8 0 0 25 0 5 0 1133110994 733208576 163086 4294967295 134512640 135237372 3217190768 3075539344 134562351 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4457/tid=4465] ppid=4455 vsize=716024 CPUtime=81.64
/proc/4457/task/4465/stat : 4465 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 37110 0 0 0 8147 17 0 0 25 0 5 0 1133110995 733208576 163086 4294967295 134512640 135237372 3217190768 3067175984 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4457/tid=4466] ppid=4455 vsize=716024 CPUtime=85.53
/proc/4457/task/4466/stat : 4466 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 45898 0 0 0 8537 16 0 0 25 0 5 0 1133110995 733208576 163086 4294967295 134512640 135237372 3217190768 3058780544 134562281 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 333.46
Current children cumulated vsize (KiB) 716024

[startup+222.309 s]
/proc/loadavg: 6.81 4.96 3.89 8/125 5491
/proc/meminfo: memFree=2163728/3368532 swapFree=1959840/1959888
[pid=4457] ppid=4455 vsize=889212 CPUtime=455.73
/proc/4457/stat : 4457 (ttsth-5-0) S 4455 4457 10612 0 -1 4202496 205026 0 0 0 45490 83 0 0 22 0 5 0 1133110774 910553088 204493 4294967295 134512640 135237372 3217190768 3217190364 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4457/statm: 222303 204493 95 177 0 222125 0
[pid=4457/tid=4463] ppid=4455 vsize=889212 CPUtime=116.07
/proc/4457/task/4463/stat : 4463 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 42152 0 0 0 11584 23 0 0 25 0 5 0 1133110994 910553088 204493 4294967295 134512640 135237372 3217190768 3083956592 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4457/tid=4464] ppid=4455 vsize=889212 CPUtime=110.21
/proc/4457/task/4464/stat : 4464 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 52442 0 0 0 11006 15 0 0 25 0 5 0 1133110994 910553088 204493 4294967295 134512640 135237372 3217190768 3075562336 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4457/tid=4465] ppid=4455 vsize=889212 CPUtime=111.65
/proc/4457/task/4465/stat : 4465 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 48376 0 0 0 11139 26 0 0 25 0 5 0 1133110995 910553088 204493 4294967295 134512640 135237372 3217190768 3067173696 134562317 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4457/tid=4466] ppid=4455 vsize=889212 CPUtime=115.61
/proc/4457/task/4466/stat : 4466 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 53040 0 0 0 11543 18 0 0 25 0 5 0 1133110995 910553088 204493 4294967295 134512640 135237372 3217190768 3058790944 134562416 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 455.73
Current children cumulated vsize (KiB) 889212

[startup+282.316 s]
/proc/loadavg: 6.45 5.18 4.03 8/123 5746
/proc/meminfo: memFree=1979668/3368532 swapFree=1959840/1959888
[pid=4457] ppid=4455 vsize=1087552 CPUtime=604.26
/proc/4457/stat : 4457 (ttsth-5-0) S 4455 4457 10612 0 -1 4202496 251841 0 0 0 60323 103 0 0 22 0 5 0 1133110774 1113653248 251308 4294967295 134512640 135237372 3217190768 3217190364 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4457/statm: 271888 251308 95 177 0 271710 0
[pid=4457/tid=4463] ppid=4455 vsize=1087552 CPUtime=147.11
/proc/4457/task/4463/stat : 4463 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 50699 0 0 0 14683 28 0 0 25 0 5 0 1133110994 1113653248 251308 4294967295 134512640 135237372 3217190768 3083961424 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4457/tid=4464] ppid=4455 vsize=1087552 CPUtime=140.11
/proc/4457/task/4464/stat : 4464 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 62187 0 0 0 13992 19 0 0 25 0 5 0 1133110994 1113653248 251308 4294967295 134512640 135237372 3217190768 3075530032 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4457/tid=4465] ppid=4455 vsize=1087552 CPUtime=154.54
/proc/4457/task/4465/stat : 4465 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 61991 0 0 0 15422 32 0 0 25 0 5 0 1133110995 1113653248 251308 4294967295 134512640 135237372 3217190768 3067169104 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4457/tid=4466] ppid=4455 vsize=1087552 CPUtime=160.32
/proc/4457/task/4466/stat : 4466 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 67948 0 0 0 16009 23 0 0 25 0 5 0 1133110995 1113653248 251308 4294967295 134512640 135237372 3217190768 3058772816 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 604.26
Current children cumulated vsize (KiB) 1087552

[startup+342.312 s]
/proc/loadavg: 6.53 5.43 4.19 8/125 5972
/proc/meminfo: memFree=1835436/3368532 swapFree=1959840/1959888
[pid=4457] ppid=4455 vsize=1236136 CPUtime=752.91
/proc/4457/stat : 4457 (ttsth-5-0) S 4455 4457 10612 0 -1 4202496 286845 0 0 0 75171 120 0 0 22 0 5 0 1133110774 1265803264 286312 4294967295 134512640 135237372 3217190768 3217190364 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4457/statm: 309034 286312 95 177 0 308856 0
[pid=4457/tid=4463] ppid=4455 vsize=1236136 CPUtime=185.51
/proc/4457/task/4463/stat : 4463 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 60848 0 0 0 18517 34 0 0 25 0 5 0 1133110994 1265803264 286312 4294967295 134512640 135237372 3217190768 3083958716 134550041 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4457/tid=4464] ppid=4455 vsize=1236136 CPUtime=183.44
/proc/4457/task/4464/stat : 4464 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 71198 0 0 0 18321 23 0 0 25 0 5 0 1133110994 1265803264 286312 4294967295 134512640 135237372 3217190768 3075559680 134749343 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4457/tid=4465] ppid=4455 vsize=1236136 CPUtime=184.55
/proc/4457/task/4465/stat : 4465 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 71203 0 0 0 18420 35 0 0 25 0 5 0 1133110995 1265803264 286312 4294967295 134512640 135237372 3217190768 3067181760 134680474 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4457/tid=4466] ppid=4455 vsize=1236136 CPUtime=197.23
/proc/4457/task/4466/stat : 4466 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 74580 0 0 0 19696 27 0 0 25 0 5 0 1133110995 1265803264 286312 4294967295 134512640 135237372 3217190768 3058752112 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 752.91
Current children cumulated vsize (KiB) 1236136

[startup+402.309 s]
/proc/loadavg: 6.51 5.62 4.33 7/122 6186
/proc/meminfo: memFree=1689196/3368532 swapFree=1959840/1959888
[pid=4457] ppid=4455 vsize=1391544 CPUtime=901.77
/proc/4457/stat : 4457 (ttsth-5-0) S 4455 4457 10612 0 -1 4202496 323763 0 0 0 90038 139 0 0 22 0 5 0 1133110774 1424941056 323230 4294967295 134512640 135237372 3217190768 3217190364 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4457/statm: 347886 323230 95 177 0 347708 0
[pid=4457/tid=4463] ppid=4455 vsize=1391544 CPUtime=219.75
/proc/4457/task/4463/stat : 4463 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 72808 0 0 0 21934 41 0 0 25 0 5 0 1133110994 1424941056 323230 4294967295 134512640 135237372 3217190768 3083958160 134593530 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4457/tid=4464] ppid=4455 vsize=1391544 CPUtime=234.81
/proc/4457/task/4464/stat : 4464 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 81009 0 0 0 23451 30 0 0 25 0 5 0 1133110994 1424941056 323230 4294967295 134512640 135237372 3217190768 3075550604 134562323 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4457/tid=4465] ppid=4455 vsize=1391544 CPUtime=214.45
/proc/4457/task/4465/stat : 4465 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 79812 0 0 0 21407 38 0 0 25 0 5 0 1133110995 1424941056 323230 4294967295 134512640 135237372 3217190768 3067171568 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4457/tid=4466] ppid=4455 vsize=1391544 CPUtime=230.58
/proc/4457/task/4466/stat : 4466 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 81118 0 0 0 23029 29 0 0 25 0 5 0 1133110995 1424941056 323230 4294967295 134512640 135237372 3217190768 3058761328 134562351 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 901.77
Current children cumulated vsize (KiB) 1391544

[startup+462.316 s]
/proc/loadavg: 6.56 5.80 4.47 7/124 6469
/proc/meminfo: memFree=1548696/3368532 swapFree=1959840/1959888
[pid=4457] ppid=4455 vsize=1539856 CPUtime=1035.67
/proc/4457/stat : 4457 (ttsth-5-0) S 4455 4457 10612 0 -1 4202496 358537 0 0 0 103409 158 0 0 22 0 5 0 1133110774 1576812544 358004 4294967295 134512640 135237372 3217190768 3217190364 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4457/statm: 384964 358004 95 177 0 384786 0
[pid=4457/tid=4463] ppid=4455 vsize=1539856 CPUtime=253.95
/proc/4457/task/4463/stat : 4463 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 84919 0 0 0 25348 47 0 0 25 0 5 0 1133110994 1576812544 358004 4294967295 134512640 135237372 3217190768 3083986760 134732535 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4457/tid=4464] ppid=4455 vsize=1539856 CPUtime=266.56
/proc/4457/task/4464/stat : 4464 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 87045 0 0 0 26622 34 0 0 25 0 5 0 1133110994 1576812544 358004 4294967295 134512640 135237372 3217190768 3075539824 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4457/tid=4465] ppid=4455 vsize=1539856 CPUtime=252.34
/proc/4457/task/4465/stat : 4465 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 87195 0 0 0 25193 41 0 0 25 0 5 0 1133110995 1576812544 358004 4294967295 134512640 135237372 3217190768 3067170208 134562413 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4457/tid=4466] ppid=4455 vsize=1539856 CPUtime=260.63
/proc/4457/task/4466/stat : 4466 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 90362 0 0 0 26028 35 0 0 25 0 5 0 1133110995 1576812544 358004 4294967295 134512640 135237372 3217190768 3058771952 134562380 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1035.67
Current children cumulated vsize (KiB) 1539856

[startup+522.313 s]
/proc/loadavg: 6.56 5.94 4.60 9/122 6744
/proc/meminfo: memFree=1409240/3368532 swapFree=1959840/1959888
[pid=4457] ppid=4455 vsize=1686896 CPUtime=1168.77
/proc/4457/stat : 4457 (ttsth-5-0) S 4455 4457 10612 0 -1 4202496 393636 0 0 0 116695 182 0 0 22 0 5 0 1133110774 1727381504 393103 4294967295 134512640 135237372 3217190768 3217190364 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4457/statm: 421724 393103 95 177 0 421546 0
[pid=4457/tid=4463] ppid=4455 vsize=1686896 CPUtime=284.21
/proc/4457/task/4463/stat : 4463 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 96636 0 0 0 28364 57 0 0 25 0 5 0 1133110994 1727381504 393103 4294967295 134512640 135237372 3217190768 3083958208 134562341 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4457/tid=4464] ppid=4455 vsize=1686896 CPUtime=301.01
/proc/4457/task/4464/stat : 4464 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 95568 0 0 0 30060 41 0 0 25 0 5 0 1133110994 1727381504 393104 4294967295 134512640 135237372 3217190768 3075528080 134546026 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4457/tid=4465] ppid=4455 vsize=1686896 CPUtime=291.05
/proc/4457/task/4465/stat : 4465 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 92887 0 0 0 29063 42 0 0 25 0 5 0 1133110995 1727381504 393104 4294967295 134512640 135237372 3217190768 3067171856 134562351 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4457/tid=4466] ppid=4455 vsize=1686896 CPUtime=290.31
/proc/4457/task/4466/stat : 4466 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 99530 0 0 0 28990 41 0 0 25 0 5 0 1133110995 1727381504 393104 4294967295 134512640 135237372 3217190768 3058770732 134680506 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1168.77
Current children cumulated vsize (KiB) 1686896

[startup+582.31 s]
/proc/loadavg: 6.64 6.07 4.72 9/124 7024
/proc/meminfo: memFree=1287336/3368532 swapFree=1959840/1959888
[pid=4457] ppid=4455 vsize=1814680 CPUtime=1289.95
/proc/4457/stat : 4457 (ttsth-5-0) S 4455 4457 10612 0 -1 4202496 423829 0 0 0 128795 200 0 0 22 0 5 0 1133110774 1858232320 423296 4294967295 134512640 135237372 3217190768 3217190364 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4457/statm: 453670 423296 95 177 0 453492 0
[pid=4457/tid=4463] ppid=4455 vsize=1814680 CPUtime=314.14
/proc/4457/task/4463/stat : 4463 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 108094 0 0 0 31348 66 0 0 25 0 5 0 1133110994 1858232320 423296 4294967295 134512640 135237372 3217190768 3083976300 134550976 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4457/tid=4464] ppid=4455 vsize=1814680 CPUtime=332.01
/proc/4457/task/4464/stat : 4464 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 102621 0 0 0 33159 42 0 0 25 0 5 0 1133110994 1858232320 423296 4294967295 134512640 135237372 3217190768 3075538128 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4457/tid=4465] ppid=4455 vsize=1814680 CPUtime=321.58
/proc/4457/task/4465/stat : 4465 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 97753 0 0 0 32112 46 0 0 25 0 5 0 1133110995 1858232320 423296 4294967295 134512640 135237372 3217190768 3067184448 134749355 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4457/tid=4466] ppid=4455 vsize=1814680 CPUtime=320.03
/proc/4457/task/4466/stat : 4466 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 106345 0 0 0 31958 45 0 0 25 0 5 0 1133110995 1858232320 423296 4294967295 134512640 135237372 3217190768 3058784896 134562344 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1289.95
Current children cumulated vsize (KiB) 1814680

[startup+642.307 s]
/proc/loadavg: 6.80 6.22 4.86 7/122 7300
/proc/meminfo: memFree=1162272/3368532 swapFree=1959840/1959888
[pid=4457] ppid=4455 vsize=1946808 CPUtime=1410.95
/proc/4457/stat : 4457 (ttsth-5-0) S 4455 4457 10612 0 -1 4202496 455005 0 0 0 140877 218 0 0 22 0 5 0 1133110774 1993531392 454472 4294967295 134512640 135237372 3217190768 3217190364 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4457/statm: 486702 454472 95 177 0 486524 0
[pid=4457/tid=4463] ppid=4455 vsize=1946808 CPUtime=343.97
/proc/4457/task/4463/stat : 4463 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 117401 0 0 0 34327 70 0 0 25 0 5 0 1133110994 1993531392 454472 4294967295 134512640 135237372 3217190768 3083958736 134546026 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4457/tid=4464] ppid=4455 vsize=1946808 CPUtime=363
/proc/4457/task/4464/stat : 4464 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 111895 0 0 0 36250 50 0 0 25 0 5 0 1133110994 1993531392 454472 4294967295 134512640 135237372 3217190768 3075536928 134562416 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4457/tid=4465] ppid=4455 vsize=1946808 CPUtime=351.76
/proc/4457/task/4465/stat : 4465 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 101941 0 0 0 35128 48 0 0 25 0 5 0 1133110995 1993531392 454472 4294967295 134512640 135237372 3217190768 3067173888 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4457/tid=4466] ppid=4455 vsize=1946808 CPUtime=350.03
/proc/4457/task/4466/stat : 4466 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 114752 0 0 0 34954 49 0 0 25 0 5 0 1133110995 1993531392 454472 4294967295 134512640 135237372 3217190768 3058797312 134562363 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1410.95
Current children cumulated vsize (KiB) 1946808

[startup+702.304 s]
/proc/loadavg: 6.53 6.25 4.95 7/124 7577
/proc/meminfo: memFree=1046276/3368532 swapFree=1959840/1959888
[pid=4457] ppid=4455 vsize=2068608 CPUtime=1565.48
/proc/4457/stat : 4457 (ttsth-5-0) S 4455 4457 10612 0 -1 4202496 483877 0 0 0 156311 237 0 0 22 0 5 0 1133110774 2118254592 483344 4294967295 134512640 135237372 3217190768 3217190364 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4457/statm: 517152 483344 95 177 0 516974 0
[pid=4457/tid=4463] ppid=4455 vsize=2068608 CPUtime=374.01
/proc/4457/task/4463/stat : 4463 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 126022 0 0 0 37322 79 0 0 25 0 5 0 1133110994 2118254592 483344 4294967295 134512640 135237372 3217190768 3083947264 134562331 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4457/tid=4464] ppid=4455 vsize=2068608 CPUtime=415.9
/proc/4457/task/4464/stat : 4464 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 120856 0 0 0 41536 54 0 0 25 0 5 0 1133110994 2118254592 483344 4294967295 134512640 135237372 3217190768 3075547984 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4457/tid=4465] ppid=4455 vsize=2068608 CPUtime=391.16
/proc/4457/task/4465/stat : 4465 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 107333 0 0 0 39066 50 0 0 25 0 5 0 1133110995 2118254592 483344 4294967295 134512640 135237372 3217190768 3067181468 134562272 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4457/tid=4466] ppid=4455 vsize=2068608 CPUtime=382.23
/proc/4457/task/4466/stat : 4466 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 120650 0 0 0 38170 53 0 0 25 0 5 0 1133110995 2118254592 483344 4294967295 134512640 135237372 3217190768 3058768448 134562344 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1565.48
Current children cumulated vsize (KiB) 2068608



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+717.613 s]
/proc/loadavg: 6.48 6.25 4.97 7/122 7601
/proc/meminfo: memFree=1021228/3368532 swapFree=1959840/1959888
[pid=4457] ppid=4455 vsize=2096900 CPUtime=1607.51
/proc/4457/stat : 4457 (ttsth-5-0) S 4455 4457 10612 0 -1 4202496 490300 0 0 0 160508 243 0 0 22 0 5 0 1133110774 2147225600 489767 4294967295 134512640 135237372 3217190768 3217190364 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4457/statm: 524225 489767 95 177 0 524047 0
[pid=4457/tid=4463] ppid=4455 vsize=2096900 CPUtime=381.53
/proc/4457/task/4463/stat : 4463 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 127247 0 0 0 38074 79 0 0 25 0 5 0 1133110994 2147225600 489767 4294967295 134512640 135237372 3217190768 3083938928 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4457/tid=4464] ppid=4455 vsize=2096900 CPUtime=423.46
/proc/4457/task/4464/stat : 4464 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 121932 0 0 0 42292 54 0 0 25 0 5 0 1133110994 2147225600 489767 4294967295 134512640 135237372 3217190768 3075554640 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4457/tid=4465] ppid=4455 vsize=2096900 CPUtime=404.48
/proc/4457/task/4465/stat : 4465 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 109597 0 0 0 40393 55 0 0 25 0 5 0 1133110995 2147225600 489767 4294967295 134512640 135237372 3217190768 3067187424 134546034 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4457/tid=4466] ppid=4455 vsize=2096900 CPUtime=395.85
/proc/4457/task/4466/stat : 4466 (ttsth-5-0) R 4455 4457 10612 0 -1 4202560 122508 0 0 0 39531 54 0 0 25 0 5 0 1133110995 2147225600 489767 4294967295 134512640 135237372 3217190768 3058780768 134546034 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1607.51
Current children cumulated vsize (KiB) 2096900

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

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

[startup+717.723 s]
/proc/loadavg: 6.48 6.25 4.97 7/122 7601
/proc/meminfo: memFree=1021228/3368532 swapFree=1959840/1959888
[pid=4457] ppid=4455 vsize=0 CPUtime=1607.67
/proc/4457/stat : 4457 (ttsth-5-0) Z 4455 4457 10612 0 -1 4203524 490301 0 0 0 160515 252 0 0 18 0 2 0 1133110774 0 0 4294967295 0 0 0 0 0 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4457/statm: 0 0 0 0 0 0 0
[pid=4457/tid=4463] ppid=4455 vsize=0 CPUtime=381.64
/proc/4457/task/4463/stat : 4463 (ttsth-5-0) R 4455 4457 10612 0 -1 4203588 127248 0 0 0 38076 88 0 0 25 0 2 0 1133110994 0 0 4294967295 0 0 0 0 0 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1607.67
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 717.74
CPU time (s): 1607.68
CPU user time (s): 1605.15
CPU system time (s): 2.53
CPU usage (%): 223.992
Max. virtual memory (cumulated for all children) (KiB): 2096900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1605.15
system time used= 2.53
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 490301
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= 799
involuntary context switches= 51614

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 13:54:40
IDJOB=1780888
IDBENCH=71076
IDSOLVER=632
FILE ID=/1780888-1243684480
PBS_JOBID=
Free space on /tmp= 7979 MiB

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

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

MD5SUM BENCH= 57b85ec7870f670f13b00667a6315c05
RANDOM SEED= 1205209077

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.073
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.073
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.12
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.073
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.14
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.073
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.14
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       2981268 kB
Buffers:        138212 kB
Cached:         121840 kB
SwapCached:          0 kB
Active:         176348 kB
Inactive:       105864 kB
HighTotal:     2489216 kB
HighFree:      2345148 kB
LowTotal:       879316 kB
LowFree:        636120 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:           12236 kB
Writeback:          24 kB
AnonPages:       22280 kB
Mapped:           8232 kB
Slab:            94888 kB
SReclaimable:    82576 kB
SUnreclaim:      12312 kB
PageTables:        792 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   123552 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 7979 MiB
End job on  at 2009-05-30 14:06:39