Trace number 1780828

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) 1556.06 704.057

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
ndhf_xits_17_UNKNOWN.cnf
MD5SUMd554330e1400d4f25a793413df9abc4e
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 variables3582
Number of clauses395999
Sum of the clauses size1182858
Maximum clause length18
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 25604
Number of clauses of size 3390364
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 531

Solver Data 

0.62/0.62	c Command: HOME/ttsth-5-0 -num-threads 4 HOME/instance-1780828-1243683646.cnf 
0.62/0.62	c Using SATTIMEOUT of 10000
0.62/0.62	c Using SATRAM of 2047
0.62/0.62	c Size of subset node = 16
0.62/0.62	c Variables = 3582
0.62/0.62	c Clauses = 395999
0.62/0.62	c Literals = 1182858
0.62/0.62	c Reduced size:
0.62/0.62	c Variables = 3582
0.62/0.62	c Clauses = 395999
0.62/0.62	c Literals = 1182858
0.62/0.62	c a2
1.62/1.69	c a1
3.93/4.01	c Independent sub-problems = 1
3.93/4.01	c Sub-problem with 3582 variables and 395999 clauses
3.93/4.01	c using permutation method 4
3.93/4.01	c count = 1
3.93/4.01	c Ordering finished 3.840 seconds
3.93/4.01	c mapped 4.020 seconds
3.93/4.01	c permuted 4.020 seconds
3.93/4.01	c about to sort
4.13/4.15	c sorted
7.43/7.49	c clauses now 395999
7.43/7.49	c init finished 4.220 seconds
7.43/7.49	c tree built 7.500 seconds
7.43/7.49	c 
7.43/7.49	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
7.43/7.49	c ---------------------------------|----------------------------------|------------------------------------------------------
7.43/7.49	c ................................ | ..........                       |                        7.5           0.0             
7.43/7.49	c ................................ | ..........                     1 |                        7.5           0.1             
7.43/7.49	c ................................ | ..........                     2 |                        7.5           0.3             
7.43/7.49	c ................................ | ..........                     3 |                        7.5           0.4             
7.43/7.49	c ................................ | ..........                     4 |                        7.5           0.5             
7.43/7.49	c ................................ | ..........                     5 |                        7.5           0.7             
7.43/7.51	c ................................ | ..........                  1000 | 15                     7.5         133.2          246
199.93/91.16	c ................................ | ..........                878000 | 94587                200.1        4388.9     26138692
400.56/188.17	c ................................ | ..........               1201000 | 139882               400.7        2997.3     46750465
600.44/285.51	c ................................ | ..........               1554000 | 192081               600.4        2588.1     62218585
800.12/370.37	c ................................ | ..........               1826000 | 238262               800.2        2281.8     75886484
1000.02/470.37	c ................................ | *.........               2395000 | 267997              1000.1        2394.7     87107405
1200.17/561.83	c ................................ | *.........               2934000 | 300390              1200.2        2444.5    100578202
1400.09/641.34	c ................................ | *.........               3392000 | 329473              1400.2        2422.6    112653039

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-1780828-1243683646/watcher-1780828-1243683646 -o /tmp/evaluation-result-1780828-1243683646/solver-1780828-1243683646 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 4 HOME/instance-1780828-1243683646.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.28 3.14 3.54 4/117 24228
/proc/meminfo: memFree=3053172/3368532 swapFree=1954888/1959888
[pid=24228] ppid=24226 vsize=1008 CPUtime=0.01
/proc/24228/stat : 24228 (ttsth-5-0) R 24226 24228 32205 0 -1 4202496 130 0 0 0 1 0 0 0 20 0 1 0 1133028664 1032192 86 4294967295 134512640 135237372 3218180192 3218179696 134735159 0 0 0 0 0 0 0 17 2 0 0 0
/proc/24228/statm: 252 86 74 177 0 74 0

[startup+0.110331 s]
/proc/loadavg: 3.28 3.14 3.54 4/117 24228
/proc/meminfo: memFree=3053172/3368532 swapFree=1954888/1959888
[pid=24228] ppid=24226 vsize=5596 CPUtime=0.12
/proc/24228/stat : 24228 (ttsth-5-0) R 24226 24228 32205 0 -1 4202496 1265 0 0 0 12 0 0 0 21 0 1 0 1133028664 5730304 1221 4294967295 134512640 135237372 3218180192 3218178788 134887156 0 0 0 0 0 0 0 17 2 0 0 0
/proc/24228/statm: 1399 1221 75 177 0 1221 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 5596

[startup+0.210321 s]
/proc/loadavg: 3.28 3.14 3.54 4/117 24228
/proc/meminfo: memFree=3053172/3368532 swapFree=1954888/1959888
[pid=24228] ppid=24226 vsize=10004 CPUtime=0.22
/proc/24228/stat : 24228 (ttsth-5-0) R 24226 24228 32205 0 -1 4202496 2328 0 0 0 22 0 0 0 21 0 1 0 1133028664 10244096 2284 4294967295 134512640 135237372 3218180192 3218178776 134709492 0 0 0 0 0 0 0 17 2 0 0 0
/proc/24228/statm: 2501 2284 75 177 0 2323 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 10004

[startup+0.310315 s]
/proc/loadavg: 3.28 3.14 3.54 4/117 24228
/proc/meminfo: memFree=3053172/3368532 swapFree=1954888/1959888
[pid=24228] ppid=24226 vsize=14368 CPUtime=0.32
/proc/24228/stat : 24228 (ttsth-5-0) R 24226 24228 32205 0 -1 4202496 3412 0 0 0 31 1 0 0 21 0 1 0 1133028664 14712832 3368 4294967295 134512640 135237372 3218180192 3218179640 134731578 0 0 0 0 0 0 0 17 2 0 0 0
/proc/24228/statm: 3592 3368 75 177 0 3414 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 14368

[startup+0.710285 s]
/proc/loadavg: 3.28 3.14 3.54 4/117 24228
/proc/meminfo: memFree=3053172/3368532 swapFree=1954888/1959888
[pid=24228] ppid=24226 vsize=40528 CPUtime=0.72
/proc/24228/stat : 24228 (ttsth-5-0) R 24226 24228 32205 0 -1 4202496 9867 0 0 0 69 3 0 0 22 0 1 0 1133028664 41500672 9823 4294967295 134512640 135237372 3218180192 3218179776 134517153 0 0 0 0 0 0 0 17 2 0 0 0
/proc/24228/statm: 10132 9823 76 177 0 9954 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 40528

[startup+1.51021 s]
/proc/loadavg: 3.28 3.14 3.54 4/116 24229
/proc/meminfo: memFree=3003444/3368532 swapFree=1954888/1959888
[pid=24228] ppid=24226 vsize=53708 CPUtime=1.52
/proc/24228/stat : 24228 (ttsth-5-0) R 24226 24228 32205 0 -1 4202496 12628 0 0 0 147 5 0 0 25 0 1 0 1133028664 54996992 12583 4294967295 134512640 135237372 3218180192 3218178608 134749353 0 0 0 0 0 0 0 17 2 0 0 0
/proc/24228/statm: 13427 12583 76 177 0 13249 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 53708

[startup+3.12008 s]
/proc/loadavg: 3.26 3.14 3.53 4/116 24229
/proc/meminfo: memFree=3002288/3368532 swapFree=1954888/1959888
[pid=24228] ppid=24226 vsize=56732 CPUtime=3.13
/proc/24228/stat : 24228 (ttsth-5-0) R 24226 24228 32205 0 -1 4202496 14845 0 0 0 307 6 0 0 25 0 1 0 1133028664 58093568 14026 4294967295 134512640 135237372 3218180192 3218179424 134599399 0 0 0 0 0 0 0 17 2 0 0 0
/proc/24228/statm: 14183 14026 77 177 0 14005 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 56732

[startup+6.3198 s]
/proc/loadavg: 3.26 3.14 3.53 4/115 24237
/proc/meminfo: memFree=2991012/3368532 swapFree=1954888/1959888
[pid=24228] ppid=24226 vsize=70668 CPUtime=6.33
/proc/24228/stat : 24228 (ttsth-5-0) R 24226 24228 32205 0 -1 4202496 18458 0 0 0 625 8 0 0 25 0 1 0 1133028664 72364032 17252 4294967295 134512640 135237372 3218180192 3218065344 134551480 0 0 0 0 0 0 0 17 2 0 0 0
/proc/24228/statm: 17667 17252 88 177 0 17489 0
Current children cumulated CPU time (s) 6.33
Current children cumulated vsize (KiB) 70668

[startup+12.7192 s]
/proc/loadavg: 3.46 3.18 3.54 9/119 24273
/proc/meminfo: memFree=2948824/3368532 swapFree=1954888/1959888
[pid=24228] ppid=24226 vsize=141708 CPUtime=17.93
/proc/24228/stat : 24228 (ttsth-5-0) S 24226 24228 32205 0 -1 4202496 28661 0 0 0 1782 11 0 0 25 0 5 0 1133028664 145108992 26939 4294967295 134512640 135237372 3218180192 3218179788 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24228/statm: 35427 26939 95 177 0 35249 0
[pid=24228/tid=24238] ppid=24226 vsize=141708 CPUtime=2.61
/proc/24228/task/24238/stat : 24238 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 1004 0 0 0 260 1 0 0 25 0 5 0 1133029414 145108992 26939 4294967295 134512640 135237372 3218180192 3077549904 134749353 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24228/tid=24239] ppid=24226 vsize=141708 CPUtime=2.62
/proc/24228/task/24239/stat : 24239 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 1528 0 0 0 261 1 0 0 25 0 5 0 1133029414 145108992 26939 4294967295 134512640 135237372 3218180192 3068988176 134589550 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24228/tid=24240] ppid=24226 vsize=141708 CPUtime=2.53
/proc/24228/task/24240/stat : 24240 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 1380 0 0 0 253 0 0 0 25 0 5 0 1133029414 145108992 26939 4294967295 134512640 135237372 3218180192 3060559680 134587016 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24228/tid=24241] ppid=24226 vsize=141708 CPUtime=2.67
/proc/24228/task/24241/stat : 24241 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 1997 0 0 0 267 0 0 0 25 0 5 0 1133029414 145108992 26939 4294967295 134512640 135237372 3218180192 3052190864 134749345 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.93
Current children cumulated vsize (KiB) 141708

[startup+25.5181 s]
/proc/loadavg: 4.16 3.34 3.59 8/119 24405
/proc/meminfo: memFree=2871508/3368532 swapFree=1954888/1959888
[pid=24228] ppid=24226 vsize=220956 CPUtime=48.5
/proc/24228/stat : 24228 (ttsth-5-0) S 24226 24228 32205 0 -1 4202496 48429 0 0 0 4827 23 0 0 25 0 5 0 1133028664 226258944 46707 4294967295 134512640 135237372 3218180192 3218179788 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24228/statm: 55239 46707 95 177 0 55061 0
[pid=24228/tid=24238] ppid=24226 vsize=220956 CPUtime=14.36
/proc/24228/task/24238/stat : 24238 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 10711 0 0 0 1430 6 0 0 25 0 5 0 1133029414 226258944 46707 4294967295 134512640 135237372 3218180192 3077576976 134562348 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24228/tid=24239] ppid=24226 vsize=220956 CPUtime=9.05
/proc/24228/task/24239/stat : 24239 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 4717 0 0 0 903 2 0 0 25 0 5 0 1133029414 226258944 46707 4294967295 134512640 135237372 3218180192 3068994432 134749353 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24228/tid=24240] ppid=24226 vsize=220956 CPUtime=8.78
/proc/24228/task/24240/stat : 24240 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 3788 0 0 0 876 2 0 0 25 0 5 0 1133029414 226258944 46707 4294967295 134512640 135237372 3218180192 3060526128 134590285 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24228/tid=24241] ppid=24226 vsize=220956 CPUtime=8.81
/proc/24228/task/24241/stat : 24241 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 6461 0 0 0 877 4 0 0 25 0 5 0 1133029414 226258944 46707 4294967295 134512640 135237372 3218180192 3052175632 134562351 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 48.5
Current children cumulated vsize (KiB) 220956

[startup+51.1159 s]
/proc/loadavg: 5.05 3.62 3.68 8/118 24492
/proc/meminfo: memFree=2727796/3368532 swapFree=1954888/1959888
[pid=24228] ppid=24226 vsize=363244 CPUtime=108.11
/proc/24228/stat : 24228 (ttsth-5-0) S 24226 24228 32205 0 -1 4202496 84020 0 0 0 10780 31 0 0 25 0 5 0 1133028664 371961856 82298 4294967295 134512640 135237372 3218180192 3218179788 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24228/statm: 90811 82298 95 177 0 90633 0
[pid=24228/tid=24238] ppid=24226 vsize=363244 CPUtime=30.12
/proc/24228/task/24238/stat : 24238 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 24067 0 0 0 3001 11 0 0 25 0 5 0 1133029414 371961856 82298 4294967295 134512640 135237372 3218180192 3077559632 134562461 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24228/tid=24239] ppid=24226 vsize=363244 CPUtime=27.95
/proc/24228/task/24239/stat : 24239 (ttsth-5-0) S 24226 24228 32205 0 -1 4202560 12953 0 0 0 2792 3 0 0 25 0 5 0 1133029414 371961856 82298 4294967295 134512640 135237372 3218180192 3069001100 134636382 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24228/tid=24240] ppid=24226 vsize=363244 CPUtime=21.42
/proc/24228/task/24240/stat : 24240 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 10845 0 0 0 2138 4 0 0 25 0 5 0 1133029414 371961856 82298 4294967295 134512640 135237372 3218180192 3060603232 134562388 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24228/tid=24241] ppid=24226 vsize=363244 CPUtime=21.12
/proc/24228/task/24241/stat : 24241 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 13403 0 0 0 2108 4 0 0 25 0 5 0 1133029414 371961856 82298 4294967295 134512640 135237372 3218180192 3052206892 134636382 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 108.11
Current children cumulated vsize (KiB) 363244

[startup+102.312 s]
/proc/loadavg: 6.17 4.16 3.85 8/118 24754
/proc/meminfo: memFree=2496276/3368532 swapFree=1954888/1959888
[pid=24228] ppid=24226 vsize=593752 CPUtime=227.69
/proc/24228/stat : 24228 (ttsth-5-0) S 24226 24228 32205 0 -1 4202496 141318 0 0 0 22711 58 0 0 25 0 5 0 1133028664 608002048 139596 4294967295 134512640 135237372 3218180192 3218179788 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24228/statm: 148438 139596 95 177 0 148260 0
[pid=24228/tid=24238] ppid=24226 vsize=593752 CPUtime=57.11
/proc/24228/task/24238/stat : 24238 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 42981 0 0 0 5692 19 0 0 25 0 5 0 1133029414 608002048 139596 4294967295 134512640 135237372 3218180192 3077571072 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24228/tid=24239] ppid=24226 vsize=593752 CPUtime=61.8
/proc/24228/task/24239/stat : 24239 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 23609 0 0 0 6173 7 0 0 25 0 5 0 1133029414 608002048 139596 4294967295 134512640 135237372 3218180192 3068980480 134562341 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24228/tid=24240] ppid=24226 vsize=593752 CPUtime=46.23
/proc/24228/task/24240/stat : 24240 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 23693 0 0 0 4613 10 0 0 25 0 5 0 1133029414 608002048 139596 4294967295 134512640 135237372 3218180192 3060579008 134562320 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24228/tid=24241] ppid=24226 vsize=593752 CPUtime=55.05
/proc/24228/task/24241/stat : 24241 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 28283 0 0 0 5492 13 0 0 25 0 5 0 1133029414 608002048 139596 4294967295 134512640 135237372 3218180192 3052186896 134562459 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 227.69
Current children cumulated vsize (KiB) 593752

[startup+162.306 s]
/proc/loadavg: 6.39 4.59 4.02 8/118 25030
/proc/meminfo: memFree=2290300/3368532 swapFree=1954888/1959888
[pid=24228] ppid=24226 vsize=800444 CPUtime=348.97
/proc/24228/stat : 24228 (ttsth-5-0) S 24226 24228 32205 0 -1 4202496 193039 0 0 0 34817 80 0 0 25 0 5 0 1133028664 819654656 191317 4294967295 134512640 135237372 3218180192 3218179788 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24228/statm: 200111 191317 95 177 0 199933 0
[pid=24228/tid=24238] ppid=24226 vsize=800444 CPUtime=87.51
/proc/24228/task/24238/stat : 24238 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 61898 0 0 0 8722 29 0 0 25 0 5 0 1133029414 819654656 191317 4294967295 134512640 135237372 3218180192 3077578240 134562317 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24228/tid=24239] ppid=24226 vsize=800444 CPUtime=93.12
/proc/24228/task/24239/stat : 24239 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 32191 0 0 0 9303 9 0 0 25 0 5 0 1133029414 819654656 191317 4294967295 134512640 135237372 3218180192 3068979824 134546034 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24228/tid=24240] ppid=24226 vsize=800444 CPUtime=75.93
/proc/24228/task/24240/stat : 24240 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 36666 0 0 0 7579 14 0 0 25 0 5 0 1133029414 819654656 191317 4294967295 134512640 135237372 3218180192 3060516736 134561510 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24228/tid=24241] ppid=24226 vsize=800444 CPUtime=84.91
/proc/24228/task/24241/stat : 24241 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 39532 0 0 0 8472 19 0 0 25 0 5 0 1133029414 819654656 191317 4294967295 134512640 135237372 3218180192 3052185904 134591076 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 348.97
Current children cumulated vsize (KiB) 800444

[startup+222.311 s]
/proc/loadavg: 6.74 5.01 4.20 8/118 25307
/proc/meminfo: memFree=2109596/3368532 swapFree=1954888/1959888
[pid=24228] ppid=24226 vsize=979776 CPUtime=473.99
/proc/24228/stat : 24228 (ttsth-5-0) S 24226 24228 32205 0 -1 4202496 237896 0 0 0 47294 105 0 0 25 0 5 0 1133028664 1003290624 236174 4294967295 134512640 135237372 3218180192 3218179788 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24228/statm: 244944 236174 95 177 0 244766 0
[pid=24228/tid=24238] ppid=24226 vsize=979776 CPUtime=117.67
/proc/24228/task/24238/stat : 24238 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 70797 0 0 0 11726 41 0 0 25 0 5 0 1133029414 1003290624 236174 4294967295 134512640 135237372 3218180192 3077566064 134562380 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24228/tid=24239] ppid=24226 vsize=979776 CPUtime=122.85
/proc/24228/task/24239/stat : 24239 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 43079 0 0 0 12271 14 0 0 25 0 5 0 1133029414 1003290624 236175 4294967295 134512640 135237372 3218180192 3068992784 134590224 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24228/tid=24240] ppid=24226 vsize=979776 CPUtime=110.93
/proc/24228/task/24240/stat : 24240 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 51326 0 0 0 11074 19 0 0 25 0 5 0 1133029414 1003290624 236175 4294967295 134512640 135237372 3218180192 3060577024 134562373 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24228/tid=24241] ppid=24226 vsize=979776 CPUtime=115.04
/proc/24228/task/24241/stat : 24241 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 49943 0 0 0 11482 22 0 0 25 0 5 0 1133029414 1003290624 236175 4294967295 134512640 135237372 3218180192 3052173712 134546034 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 473.99
Current children cumulated vsize (KiB) 979776

[startup+282.316 s]
/proc/loadavg: 7.10 5.41 4.38 7/118 25587
/proc/meminfo: memFree=1974900/3368532 swapFree=1954888/1959888
[pid=24228] ppid=24226 vsize=1116256 CPUtime=593.86
/proc/24228/stat : 24228 (ttsth-5-0) S 24226 24228 32205 0 -1 4202496 271968 0 0 0 59259 127 0 0 25 0 5 0 1133028664 1143046144 270246 4294967295 134512640 135237372 3218180192 3218179788 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24228/statm: 279064 270246 95 177 0 278886 0
[pid=24228/tid=24238] ppid=24226 vsize=1116256 CPUtime=147.63
/proc/24228/task/24238/stat : 24238 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 78590 0 0 0 14712 51 0 0 25 0 5 0 1133029414 1143046144 270246 4294967295 134512640 135237372 3218180192 3077563952 134593510 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24228/tid=24239] ppid=24226 vsize=1116256 CPUtime=152.95
/proc/24228/task/24239/stat : 24239 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 52216 0 0 0 15276 19 0 0 25 0 5 0 1133029414 1143046144 270246 4294967295 134512640 135237372 3218180192 3068979196 134680506 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24228/tid=24240] ppid=24226 vsize=1116256 CPUtime=140.83
/proc/24228/task/24240/stat : 24240 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 59512 0 0 0 14059 24 0 0 25 0 5 0 1133029414 1143046144 270246 4294967295 134512640 135237372 3218180192 3060574788 134549878 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24228/tid=24241] ppid=24226 vsize=1116256 CPUtime=144.95
/proc/24228/task/24241/stat : 24241 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 58898 0 0 0 14471 24 0 0 25 0 5 0 1133029414 1143046144 270246 4294967295 134512640 135237372 3218180192 3052175088 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 593.86
Current children cumulated vsize (KiB) 1116256

[startup+342.311 s]
/proc/loadavg: 6.90 5.64 4.52 7/118 25867
/proc/meminfo: memFree=1808324/3368532 swapFree=1954888/1959888
[pid=24228] ppid=24226 vsize=1280388 CPUtime=744.16
/proc/24228/stat : 24228 (ttsth-5-0) S 24226 24228 32205 0 -1 4202496 313016 0 0 0 74272 144 0 0 25 0 5 0 1133028664 1311117312 311294 4294967295 134512640 135237372 3218180192 3218179788 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24228/statm: 320097 311294 95 177 0 319919 0
[pid=24228/tid=24238] ppid=24226 vsize=1280388 CPUtime=177.89
/proc/24228/task/24238/stat : 24238 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 83786 0 0 0 17737 52 0 0 25 0 5 0 1133029414 1311117312 311294 4294967295 134512640 135237372 3218180192 3077559712 134562290 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24228/tid=24239] ppid=24226 vsize=1280388 CPUtime=185.95
/proc/24228/task/24239/stat : 24239 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 63468 0 0 0 18570 25 0 0 25 0 5 0 1133029414 1311117312 311294 4294967295 134512640 135237372 3218180192 3068957088 134749353 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24228/tid=24240] ppid=24226 vsize=1280388 CPUtime=196.33
/proc/24228/task/24240/stat : 24240 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 75235 0 0 0 19602 31 0 0 25 0 5 0 1133029414 1311117312 311294 4294967295 134512640 135237372 3218180192 3060509968 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24228/tid=24241] ppid=24226 vsize=1280388 CPUtime=176.49
/proc/24228/task/24241/stat : 24241 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 67775 0 0 0 17622 27 0 0 25 0 5 0 1133029414 1311117312 311294 4294967295 134512640 135237372 3218180192 3052174640 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 744.16
Current children cumulated vsize (KiB) 1280388

[startup+402.316 s]
/proc/loadavg: 6.84 5.84 4.66 7/118 26145
/proc/meminfo: memFree=1694320/3368532 swapFree=1954888/1959888
[pid=24228] ppid=24226 vsize=1395720 CPUtime=864.09
/proc/24228/stat : 24228 (ttsth-5-0) S 24226 24228 32205 0 -1 4202496 341913 0 0 0 86250 159 0 0 25 0 5 0 1133028664 1429217280 340191 4294967295 134512640 135237372 3218180192 3218179788 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24228/statm: 348930 340191 95 177 0 348752 0
[pid=24228/tid=24238] ppid=24226 vsize=1395720 CPUtime=208.03
/proc/24228/task/24238/stat : 24238 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 87529 0 0 0 20749 54 0 0 25 0 5 0 1133029414 1429217280 340191 4294967295 134512640 135237372 3218180192 3077490248 134562273 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24228/tid=24239] ppid=24226 vsize=1395720 CPUtime=215.72
/proc/24228/task/24239/stat : 24239 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 71698 0 0 0 21545 27 0 0 25 0 5 0 1133029414 1429217280 340191 4294967295 134512640 135237372 3218180192 3068971904 134680499 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24228/tid=24240] ppid=24226 vsize=1395720 CPUtime=226.33
/proc/24228/task/24240/stat : 24240 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 83371 0 0 0 22594 39 0 0 25 0 5 0 1133029414 1429217280 340191 4294967295 134512640 135237372 3218180192 3060564272 134562344 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24228/tid=24241] ppid=24226 vsize=1395720 CPUtime=206.51
/proc/24228/task/24241/stat : 24241 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 76563 0 0 0 20621 30 0 0 25 0 5 0 1133029414 1429217280 340191 4294967295 134512640 135237372 3218180192 3052174208 134562344 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 864.09
Current children cumulated vsize (KiB) 1395720

[startup+462.31 s]
/proc/loadavg: 6.69 5.96 4.77 7/118 26421
/proc/meminfo: memFree=1586000/3368532 swapFree=1954888/1959888
[pid=24228] ppid=24226 vsize=1503240 CPUtime=984.03
/proc/24228/stat : 24228 (ttsth-5-0) S 24226 24228 32205 0 -1 4202496 368749 0 0 0 98228 175 0 0 25 0 5 0 1133028664 1539317760 367027 4294967295 134512640 135237372 3218180192 3218179788 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24228/statm: 375810 367027 95 177 0 375632 0
[pid=24228/tid=24238] ppid=24226 vsize=1503240 CPUtime=238.08
/proc/24228/task/24238/stat : 24238 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 92307 0 0 0 23749 59 0 0 25 0 5 0 1133029414 1539317760 367027 4294967295 134512640 135237372 3218180192 3077536432 134749343 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24228/tid=24239] ppid=24226 vsize=1503240 CPUtime=245.61
/proc/24228/task/24239/stat : 24239 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 79225 0 0 0 24530 31 0 0 25 0 5 0 1133029414 1539317760 367027 4294967295 134512640 135237372 3218180192 3068954176 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24228/tid=24240] ppid=24226 vsize=1503240 CPUtime=256.23
/proc/24228/task/24240/stat : 24240 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 91187 0 0 0 25582 41 0 0 25 0 5 0 1133029414 1539317760 367027 4294967295 134512640 135237372 3218180192 3060534752 134562341 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24228/tid=24241] ppid=24226 vsize=1503240 CPUtime=236.61
/proc/24228/task/24241/stat : 24241 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 83278 0 0 0 23626 35 0 0 25 0 5 0 1133029414 1539317760 367027 4294967295 134512640 135237372 3218180192 3052175408 134562399 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 984.03
Current children cumulated vsize (KiB) 1503240

[startup+522.305 s]
/proc/loadavg: 6.72 6.09 4.89 8/119 26657
/proc/meminfo: memFree=1473452/3368532 swapFree=1954888/1959888
[pid=24228] ppid=24226 vsize=1616784 CPUtime=1103.93
/proc/24228/stat : 24228 (ttsth-5-0) S 24226 24228 32205 0 -1 4202496 397151 0 0 0 110204 189 0 0 25 0 5 0 1133028664 1655586816 395429 4294967295 134512640 135237372 3218180192 3218179788 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24228/statm: 404196 395429 95 177 0 404018 0
[pid=24228/tid=24238] ppid=24226 vsize=1616784 CPUtime=268.11
/proc/24228/task/24238/stat : 24238 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 97517 0 0 0 26750 61 0 0 25 0 5 0 1133029414 1655586816 395429 4294967295 134512640 135237372 3218180192 3077566092 134680502 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24228/tid=24239] ppid=24226 vsize=1616784 CPUtime=275.47
/proc/24228/task/24239/stat : 24239 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 87661 0 0 0 27512 35 0 0 25 0 5 0 1133029414 1655586816 395429 4294967295 134512640 135237372 3218180192 3068967840 134561428 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24228/tid=24240] ppid=24226 vsize=1616784 CPUtime=286.33
/proc/24228/task/24240/stat : 24240 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 97292 0 0 0 28588 45 0 0 25 0 5 0 1133029414 1655586816 395429 4294967295 134512640 135237372 3218180192 3060560244 134588805 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24228/tid=24241] ppid=24226 vsize=1616784 CPUtime=266.52
/proc/24228/task/24241/stat : 24241 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 91929 0 0 0 26613 39 0 0 25 0 5 0 1133029414 1655586816 395429 4294967295 134512640 135237372 3218180192 3052247696 134749353 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1103.93
Current children cumulated vsize (KiB) 1616784

[startup+582.31 s]
/proc/loadavg: 6.72 6.20 5.00 8/119 26919
/proc/meminfo: memFree=1293660/3368532 swapFree=1954888/1959888
[pid=24228] ppid=24226 vsize=1796492 CPUtime=1251.3
/proc/24228/stat : 24228 (ttsth-5-0) S 24226 24228 32205 0 -1 4202496 442018 0 0 0 124917 213 0 0 25 0 5 0 1133028664 1839607808 440296 4294967295 134512640 135237372 3218180192 3218179788 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24228/statm: 449123 440296 95 177 0 448945 0
[pid=24228/tid=24238] ppid=24226 vsize=1796492 CPUtime=314.23
/proc/24228/task/24238/stat : 24238 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 106103 0 0 0 31360 63 0 0 25 0 5 0 1133029414 1839607808 440296 4294967295 134512640 135237372 3218180192 3077550748 134562272 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24228/tid=24239] ppid=24226 vsize=1796492 CPUtime=310.45
/proc/24228/task/24239/stat : 24239 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 98666 0 0 0 31002 43 0 0 25 0 5 0 1133029414 1839607808 440296 4294967295 134512640 135237372 3218180192 3068968784 134749353 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24228/tid=24240] ppid=24226 vsize=1796492 CPUtime=316.09
/proc/24228/task/24240/stat : 24240 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 105042 0 0 0 31559 50 0 0 25 0 5 0 1133029414 1839607808 440296 4294967295 134512640 135237372 3218180192 3060565712 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24228/tid=24241] ppid=24226 vsize=1796492 CPUtime=303.03
/proc/24228/task/24241/stat : 24241 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 109455 0 0 0 30255 48 0 0 25 0 5 0 1133029414 1839607808 440296 4294967295 134512640 135237372 3218180192 3052175184 134562399 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1251.3
Current children cumulated vsize (KiB) 1796492

[startup+642.315 s]
/proc/loadavg: 6.65 6.28 5.10 7/118 27250
/proc/meminfo: memFree=1158476/3368532 swapFree=1954888/1959888
[pid=24228] ppid=24226 vsize=1933132 CPUtime=1402.59
/proc/24228/stat : 24228 (ttsth-5-0) S 24226 24228 32205 0 -1 4202496 476162 0 0 0 140022 237 0 0 25 0 5 0 1133028664 1979527168 474440 4294967295 134512640 135237372 3218180192 3218179788 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24228/statm: 483283 474440 95 177 0 483105 0
[pid=24228/tid=24238] ppid=24226 vsize=1933132 CPUtime=358.86
/proc/24228/task/24238/stat : 24238 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 111451 0 0 0 35821 65 0 0 25 0 5 0 1133029414 1979527168 474440 4294967295 134512640 135237372 3218180192 3077532768 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24228/tid=24239] ppid=24226 vsize=1933132 CPUtime=350
/proc/24228/task/24239/stat : 24239 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 107194 0 0 0 34949 51 0 0 25 0 5 0 1133029414 1979527168 474440 4294967295 134512640 135237372 3218180192 3068972736 134749337 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24228/tid=24240] ppid=24226 vsize=1933132 CPUtime=349.43
/proc/24228/task/24240/stat : 24240 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 116048 0 0 0 34888 55 0 0 25 0 5 0 1133029414 1979527168 474440 4294967295 134512640 135237372 3218180192 3060482608 134561428 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24228/tid=24241] ppid=24226 vsize=1933132 CPUtime=336.8
/proc/24228/task/24241/stat : 24241 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 118717 0 0 0 33623 57 0 0 25 0 5 0 1133029414 1979527168 474440 4294967295 134512640 135237372 3218180192 3052166176 134591687 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1402.59
Current children cumulated vsize (KiB) 1933132

[startup+702.31 s]
/proc/loadavg: 6.43 6.27 5.17 8/119 27497
/proc/meminfo: memFree=998208/3368532 swapFree=1954888/1959888
[pid=24228] ppid=24226 vsize=2092652 CPUtime=1551.93
/proc/24228/stat : 24228 (ttsth-5-0) S 24226 24228 32205 0 -1 4202496 516078 0 0 0 154946 247 0 0 25 0 5 0 1133028664 2142875648 514356 4294967295 134512640 135237372 3218180192 3218179788 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24228/statm: 523163 514356 95 177 0 522985 0
[pid=24228/tid=24238] ppid=24226 vsize=2092652 CPUtime=388.81
/proc/24228/task/24238/stat : 24238 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 113830 0 0 0 38815 66 0 0 25 0 5 0 1133029414 2142875648 514356 4294967295 134512640 135237372 3218180192 3077510160 134749353 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24228/tid=24239] ppid=24226 vsize=2092652 CPUtime=399.87
/proc/24228/task/24239/stat : 24239 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 118587 0 0 0 39934 53 0 0 25 0 5 0 1133029414 2142875648 514356 4294967295 134512640 135237372 3218180192 3069010832 134546034 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24228/tid=24240] ppid=24226 vsize=2092652 CPUtime=385.43
/proc/24228/task/24240/stat : 24240 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 127334 0 0 0 38485 58 0 0 25 0 5 0 1133029414 2142875648 514356 4294967295 134512640 135237372 3218180192 3060492688 134561510 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24228/tid=24241] ppid=24226 vsize=2092652 CPUtime=370.32
/proc/24228/task/24241/stat : 24241 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 133575 0 0 0 36971 61 0 0 25 0 5 0 1133029414 2142875648 514356 4294967295 134512640 135237372 3218180192 3052177504 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1551.93
Current children cumulated vsize (KiB) 2092652



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+703.91 s]
/proc/loadavg: 6.43 6.27 5.17 9/119 27518
/proc/meminfo: memFree=992132/3368532 swapFree=1954888/1959888
[pid=24228] ppid=24226 vsize=2096332 CPUtime=1555.93
/proc/24228/stat : 24228 (ttsth-5-0) S 24226 24228 32205 0 -1 4202496 516994 0 0 0 155345 248 0 0 25 0 5 0 1133028664 2146643968 515272 4294967295 134512640 135237372 3218180192 3218179788 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24228/statm: 524083 515272 95 177 0 523905 0
[pid=24228/tid=24238] ppid=24226 vsize=2096332 CPUtime=389.61
/proc/24228/task/24238/stat : 24238 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 113871 0 0 0 38895 66 0 0 25 0 5 0 1133029414 2146643968 515272 4294967295 134512640 135237372 3218180192 3077556512 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24228/tid=24239] ppid=24226 vsize=2096332 CPUtime=401.47
/proc/24228/task/24239/stat : 24239 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 118830 0 0 0 40094 53 0 0 25 0 5 0 1133029414 2146643968 515272 4294967295 134512640 135237372 3218180192 3068984400 134561428 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24228/tid=24240] ppid=24226 vsize=2096332 CPUtime=386.23
/proc/24228/task/24240/stat : 24240 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 127612 0 0 0 38564 59 0 0 25 0 5 0 1133029414 2146643968 515272 4294967295 134512640 135237372 3218180192 3060507232 134551002 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24228/tid=24241] ppid=24226 vsize=2096332 CPUtime=371.12
/proc/24228/task/24241/stat : 24241 (ttsth-5-0) R 24226 24228 32205 0 -1 4202560 133929 0 0 0 37051 61 0 0 25 0 5 0 1133029414 2146643968 515272 4294967295 134512640 135237372 3218180192 3052177632 134562357 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1555.93
Current children cumulated vsize (KiB) 2096332

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

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

[startup+704.03 s]
/proc/loadavg: 6.43 6.27 5.17 5/116 27533
/proc/meminfo: memFree=2537548/3368532 swapFree=1954888/1959888
[pid=24228] ppid=24226 vsize=0 CPUtime=1556.05
/proc/24228/stat : 24228 (ttsth-5-0) Z 24226 24228 32205 0 -1 4203524 517003 0 0 0 155349 256 0 0 22 0 2 0 1133028664 0 0 4294967295 0 0 0 0 0 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24228/statm: 0 0 0 0 0 0 0
[pid=24228/tid=24238] ppid=24226 vsize=0 CPUtime=389.69
/proc/24228/task/24238/stat : 24238 (ttsth-5-0) R 24226 24228 32205 0 -1 4203588 113871 0 0 0 38895 74 0 0 25 0 2 0 1133029414 0 0 4294967295 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1556.05
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 704.057
CPU time (s): 1556.06
CPU user time (s): 1553.49
CPU system time (s): 2.57
CPU usage (%): 221.013
Max. virtual memory (cumulated for all children) (KiB): 2096332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1553.49
system time used= 2.57
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517003
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= 703
involuntary context switches= 54062

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 13:40:46
IDJOB=1780828
IDBENCH=71069
IDSOLVER=632
FILE ID=/1780828-1243683646
PBS_JOBID=
Free space on /tmp= 15873 MiB

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

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

MD5SUM BENCH= d554330e1400d4f25a793413df9abc4e
RANDOM SEED= 1989242668

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.105
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.43
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.105
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.105
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.105
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:       3053172 kB
Buffers:         77076 kB
Cached:         126544 kB
SwapCached:        720 kB
Active:         147624 kB
Inactive:        72416 kB
HighTotal:     2489216 kB
HighFree:      2342520 kB
LowTotal:       879316 kB
LowFree:        710652 kB
SwapTotal:     1959888 kB
SwapFree:      1954888 kB
Dirty:           17900 kB
Writeback:           0 kB
AnonPages:       15500 kB
Mapped:           6252 kB
Slab:            84588 kB
SReclaimable:    74876 kB
SUnreclaim:       9712 kB
PageTables:        712 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   121472 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15873 MiB
End job on  at 2009-05-30 13:52:33