Trace number 1781265

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 (16 threads)? (MO) 2210.98 197.135

General information on the benchmark

Nameeen-tip-uns-nusmv-t5.B.cnf
MD5SUM5a0032960b52c5fb367771f030675e6c
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2.18
Satisfiable
(Un)Satisfiability was proved
Number of variables59265
Number of clauses170983
Sum of the clauses size413505
Maximum clause length23
Minimum clause length1
Number of clauses of size 123
Number of clauses of size 299418
Number of clauses of size 371541
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51

Solver Data 

1.28/1.39	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781265-1244984337.cnf 
1.28/1.39	c Using SATTIMEOUT of 10000
1.28/1.39	c Using SATRAM of 2047
1.28/1.39	c Size of subset node = 16
1.28/1.39	c Variables = 59265
1.28/1.39	c Clauses = 170983
1.28/1.39	c Literals = 413505
1.28/1.39	c Reduced size:
1.28/1.39	c Variables = 59265
1.28/1.39	c Clauses = 143241
1.28/1.39	c Literals = 340315
1.28/1.39	c a2
1.48/1.55	c a1
12.30/12.33	c Independent sub-problems = 1
12.30/12.33	c Sub-problem with 49161 variables and 143241 clauses
12.30/12.33	c using permutation method 4
12.30/12.33	c count = 1
12.30/12.33	c Ordering finished 12.290 seconds
12.30/12.33	c mapped 12.320 seconds
12.30/12.33	c permuted 12.320 seconds
12.30/12.33	c about to sort
12.30/12.36	c sorted
13.78/13.87	c clauses now 143241
13.78/13.87	c init finished 13.290 seconds
13.78/13.87	c tree built 13.850 seconds
13.78/13.87	c 
13.78/13.87	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
13.78/13.87	c ---------------------------------|----------------------------------|------------------------------------------------------
13.78/13.87	c ................................ | ..........                       |                       13.9           0.0             
13.78/13.87	c ................................ | ..........                     1 |                       13.9           0.1             
13.78/13.87	c ................................ | ..........                     2 |                       13.9           0.1             
13.78/13.87	c ................................ | ..........                     3 |                       13.9           0.2             
13.78/13.87	c ................................ | ..........                     4 |                       13.9           0.3             
13.78/13.87	c ................................ | ..........                     5 |                       13.9           0.4             
13.78/13.88	c ................................ | ..........                  1000 |                       14.0          71.6           63
321.08/33.49	c ................................ | ..........               1893000 | 55077                200.0        9463.1      5706149
650.37/54.36	c ................................ | ..........               4039000 | 118697               400.1       10096.0     10334004
965.62/75.91	c ................................ | ..........               5873000 | 174254               600.9        9773.7     14606113
1233.24/98.06	c ................................ | ..........               7441000 | 227029               800.1        9299.7     20847311
1452.18/120.69	c ................................ | *.........               9092000 | 278524              1001.0        9082.5     29620367
1669.49/144.03	c ................................ | *.........              10293000 | 315445              1200.3        8575.4     41690299
1875.98/167.76	c ................................ | *.........              12073000 | 371618              1400.0        8623.4     55534250
2108.07/187.82	c ................................ | *.........              13191000 | 408915              1600.1        8243.7     67154090

Verifier Data 

sh: BIN/SAT-verifier: No such file or directory

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1781265-1244984337/watcher-1781265-1244984337 -o /tmp/evaluation-result-1781265-1244984337/solver-1781265-1244984337 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781265-1244984337.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: 1.00 1.00 2.55 2/187 31074
/proc/meminfo: memFree=18981272/36427776 swapFree=5472/11360
[pid=31074] ppid=31072 vsize=1672 CPUtime=0
/proc/31074/stat : 31074 (ttsth-5-0) R 31072 31074 15497 0 -1 4202496 316 0 0 0 0 0 0 0 20 0 1 0 657740101 1712128 273 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134749343 0 0 1 0 0 0 0 17 3 0 0 0 0 0
/proc/31074/statm: 418 278 75 177 0 240 0

[startup+0.108831 s]
/proc/loadavg: 1.00 1.00 2.55 2/187 31074
/proc/meminfo: memFree=18981272/36427776 swapFree=5472/11360
[pid=31074] ppid=31072 vsize=8684 CPUtime=0.1
/proc/31074/stat : 31074 (ttsth-5-0) R 31072 31074 15497 0 -1 4202496 2057 0 0 0 10 0 0 0 20 0 1 0 657740101 8892416 2014 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134732614 0 0 1 0 0 0 0 17 3 0 0 0 0 0
/proc/31074/statm: 2171 2015 75 177 0 1993 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 8684

[startup+0.200857 s]
/proc/loadavg: 1.00 1.00 2.55 2/187 31074
/proc/meminfo: memFree=18981272/36427776 swapFree=5472/11360
[pid=31074] ppid=31072 vsize=13384 CPUtime=0.2
/proc/31074/stat : 31074 (ttsth-5-0) R 31072 31074 15497 0 -1 4202496 3101 0 0 0 20 0 0 0 20 0 1 0 657740101 13705216 3058 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134534291 0 0 1 0 0 0 0 17 3 0 0 0 0 0
/proc/31074/statm: 3346 3058 75 177 0 3168 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 13384

[startup+0.300857 s]
/proc/loadavg: 1.00 1.00 2.55 2/187 31074
/proc/meminfo: memFree=18981272/36427776 swapFree=5472/11360
[pid=31074] ppid=31072 vsize=13384 CPUtime=0.3
/proc/31074/stat : 31074 (ttsth-5-0) R 31072 31074 15497 0 -1 4202496 3101 0 0 0 30 0 0 0 20 0 1 0 657740101 13705216 3058 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134534291 0 0 1 0 0 0 0 17 3 0 0 0 0 0
/proc/31074/statm: 3346 3058 75 177 0 3168 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 13384

[startup+0.700902 s]
/proc/loadavg: 1.00 1.00 2.55 2/187 31074
/proc/meminfo: memFree=18981272/36427776 swapFree=5472/11360
[pid=31074] ppid=31072 vsize=13384 CPUtime=0.68
/proc/31074/stat : 31074 (ttsth-5-0) R 31072 31074 15497 0 -1 4202496 3101 0 0 0 68 0 0 0 20 0 1 0 657740101 13705216 3058 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134534064 0 0 1 0 0 0 0 17 3 0 0 0 0 0
/proc/31074/statm: 3346 3058 75 177 0 3168 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13384

[startup+1.50095 s]
/proc/loadavg: 1.00 1.00 2.55 2/188 31075
/proc/meminfo: memFree=18969836/36427776 swapFree=6080/23532
[pid=31074] ppid=31072 vsize=23348 CPUtime=1.48
/proc/31074/stat : 31074 (ttsth-5-0) R 31072 31074 15497 0 -1 4202496 5596 0 0 0 148 0 0 0 20 0 1 0 657740101 23908352 5552 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134680470 0 0 1 0 0 0 0 17 3 0 0 0 0 0
/proc/31074/statm: 5837 5552 76 177 0 5659 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 23348

[startup+3.10109 s]
/proc/loadavg: 1.00 1.00 2.55 2/188 31075
/proc/meminfo: memFree=18953836/36427776 swapFree=6396/40344
[pid=31074] ppid=31072 vsize=29876 CPUtime=3.1
/proc/31074/stat : 31074 (ttsth-5-0) R 31072 31074 15497 0 -1 4202496 7787 0 0 0 308 2 0 0 20 0 1 0 657740101 30593024 7164 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134600972 0 0 1 0 0 0 0 17 3 0 0 0 0 0
/proc/31074/statm: 7469 7164 77 177 0 7291 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 29876

[startup+6.30137 s]
/proc/loadavg: 1.00 1.00 2.54 2/188 31075
/proc/meminfo: memFree=18952696/36427776 swapFree=6404/41068
[pid=31074] ppid=31072 vsize=30884 CPUtime=6.3
/proc/31074/stat : 31074 (ttsth-5-0) R 31072 31074 15497 0 -1 4202496 8002 0 0 0 628 2 0 0 20 0 1 0 657740101 31625216 7379 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134555272 0 0 1 0 0 0 0 17 3 0 0 0 0 0
/proc/31074/statm: 7721 7379 77 177 0 7543 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 30884

[startup+12.702 s]
/proc/loadavg: 1.00 1.00 2.53 2/188 31075
/proc/meminfo: memFree=18950984/36427776 swapFree=6404/42900
[pid=31074] ppid=31072 vsize=195932 CPUtime=12.68
/proc/31074/stat : 31074 (ttsth-5-0) R 31072 31074 15497 0 -1 4202496 49469 0 0 0 1252 16 0 0 20 0 1 0 657740101 200634368 48707 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134732614 0 0 1 0 0 0 0 17 3 0 0 0 0 0
/proc/31074/statm: 48983 48714 88 177 0 48805 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 195932

[startup+25.5034 s]
/proc/loadavg: 3.31 1.49 2.67 17/204 31091
/proc/meminfo: memFree=18287392/36427776 swapFree=6476/708896
[pid=31074] ppid=31072 vsize=799132 CPUtime=196.75
/proc/31074/stat : 31074 (ttsth-5-0) S 31072 31074 15497 0 -1 4202496 176196 0 0 0 5673 14002 0 0 20 0 17 0 657740101 818311168 175100 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31074/statm: 199783 175100 95 177 0 199605 0
[pid=31074/tid=31076] ppid=31072 vsize=799132 CPUtime=11.58
/proc/31074/task/31076/stat : 31076 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 5183 0 0 0 1144 14 0 0 20 0 17 0 657741487 818311168 175101 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31074/tid=31077] ppid=31072 vsize=799132 CPUtime=11.42
/proc/31074/task/31077/stat : 31077 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 1751 0 0 0 188 954 0 0 20 0 17 0 657741487 818311168 175101 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31074/tid=31078] ppid=31072 vsize=799132 CPUtime=11.4
/proc/31074/task/31078/stat : 31078 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 1896 0 0 0 194 946 0 0 20 0 17 0 657741487 818311168 175101 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31074/tid=31079] ppid=31072 vsize=799132 CPUtime=11.44
/proc/31074/task/31079/stat : 31079 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 1152 0 0 0 268 876 0 0 20 0 17 0 657741487 818311168 175101 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31074/tid=31080] ppid=31072 vsize=799132 CPUtime=11.44
/proc/31074/task/31080/stat : 31080 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 1589 0 0 0 202 942 0 0 20 0 17 0 657741487 818311168 175101 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31074/tid=31081] ppid=31072 vsize=799132 CPUtime=11.42
/proc/31074/task/31081/stat : 31081 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 1886 0 0 0 198 944 0 0 20 0 17 0 657741487 818311168 175102 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31074/tid=31082] ppid=31072 vsize=799132 CPUtime=11.42
/proc/31074/task/31082/stat : 31082 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 1696 0 0 0 232 910 0 0 20 0 17 0 657741487 818311168 175102 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31074/tid=31083] ppid=31072 vsize=799132 CPUtime=11.44
/proc/31074/task/31083/stat : 31083 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 1917 0 0 0 210 934 0 0 20 0 17 0 657741487 818311168 175102 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31074/tid=31084] ppid=31072 vsize=799132 CPUtime=11.42
/proc/31074/task/31084/stat : 31084 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 1891 0 0 0 218 924 0 0 20 0 17 0 657741488 818311168 175102 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31074/tid=31085] ppid=31072 vsize=799132 CPUtime=11.46
/proc/31074/task/31085/stat : 31085 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 1843 0 0 0 220 926 0 0 20 0 17 0 657741488 818311168 175102 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31074/tid=31086] ppid=31072 vsize=799132 CPUtime=11.42
/proc/31074/task/31086/stat : 31086 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 1303 0 0 0 208 934 0 0 20 0 17 0 657741488 818311168 175102 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31074/tid=31087] ppid=31072 vsize=799132 CPUtime=11.44
/proc/31074/task/31087/stat : 31087 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 1748 0 0 0 218 926 0 0 20 0 17 0 657741488 818311168 175103 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31074/tid=31088] ppid=31072 vsize=799132 CPUtime=11.42
/proc/31074/task/31088/stat : 31088 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 1672 0 0 0 190 952 0 0 20 0 17 0 657741488 818311168 175103 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31074/tid=31089] ppid=31072 vsize=799132 CPUtime=11.2
/proc/31074/task/31089/stat : 31089 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 1436 0 0 0 226 894 0 0 20 0 17 0 657741488 818311168 175103 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31074/tid=31090] ppid=31072 vsize=799132 CPUtime=11.42
/proc/31074/task/31090/stat : 31090 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 1932 0 0 0 224 918 0 0 20 0 17 0 657741489 818311168 175103 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31074/tid=31091] ppid=31072 vsize=799132 CPUtime=11.44
/proc/31074/task/31091/stat : 31091 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 1903 0 0 0 198 946 0 0 20 0 17 0 657741489 818311168 175103 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 196.75
Current children cumulated vsize (KiB) 799132

[startup+51.1071 s]
/proc/loadavg: 7.64 2.66 3.02 17/204 31091
/proc/meminfo: memFree=18165704/36427776 swapFree=6476/829692
[pid=31074] ppid=31072 vsize=916172 CPUtime=600.07
/proc/31074/stat : 31074 (ttsth-5-0) S 31072 31074 15497 0 -1 4202496 206050 0 0 0 16259 43748 0 0 20 0 17 0 657740101 938160128 204953 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31074/statm: 229043 204953 95 177 0 228865 0
[pid=31074/tid=31076] ppid=31072 vsize=916172 CPUtime=37.18
/proc/31074/task/31076/stat : 31076 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 7648 0 0 0 3696 22 0 0 20 0 17 0 657741487 938160128 204953 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134551008 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31074/tid=31077] ppid=31072 vsize=916172 CPUtime=36.64
/proc/31074/task/31077/stat : 31077 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 4005 0 0 0 740 2924 0 0 20 0 17 0 657741487 938160128 204953 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31074/tid=31078] ppid=31072 vsize=916172 CPUtime=36.58
/proc/31074/task/31078/stat : 31078 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 3352 0 0 0 730 2928 0 0 20 0 17 0 657741487 938160128 204953 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134588158 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31074/tid=31079] ppid=31072 vsize=916172 CPUtime=36.64
/proc/31074/task/31079/stat : 31079 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 3144 0 0 0 836 2828 0 0 20 0 17 0 657741487 938160128 204953 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31074/tid=31080] ppid=31072 vsize=916172 CPUtime=36.62
/proc/31074/task/31080/stat : 31080 (ttsth-5-0) S 31072 31074 15497 0 -1 4202560 3022 0 0 0 734 2928 0 0 20 0 17 0 657741487 938160128 204953 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=31074/tid=31081] ppid=31072 vsize=916172 CPUtime=36.64
/proc/31074/task/31081/stat : 31081 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 4082 0 0 0 740 2924 0 0 20 0 17 0 657741487 938160128 204953 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31074/tid=31082] ppid=31072 vsize=916172 CPUtime=36.62
/proc/31074/task/31082/stat : 31082 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 3300 0 0 0 760 2902 0 0 20 0 17 0 657741487 938160128 204953 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31074/tid=31083] ppid=31072 vsize=916172 CPUtime=36.66
/proc/31074/task/31083/stat : 31083 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 3513 0 0 0 790 2876 0 0 20 0 17 0 657741487 938160128 204953 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31074/tid=31084] ppid=31072 vsize=916172 CPUtime=36.68
/proc/31074/task/31084/stat : 31084 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 3512 0 0 0 752 2916 0 0 20 0 17 0 657741488 938160128 204953 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31074/tid=31085] ppid=31072 vsize=916172 CPUtime=36.7
/proc/31074/task/31085/stat : 31085 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 4185 0 0 0 718 2952 0 0 20 0 17 0 657741488 938160128 204953 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31074/tid=31086] ppid=31072 vsize=916172 CPUtime=36.66
/proc/31074/task/31086/stat : 31086 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 3340 0 0 0 744 2922 0 0 20 0 17 0 657741488 938160128 204953 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31074/tid=31087] ppid=31072 vsize=916172 CPUtime=36.68
/proc/31074/task/31087/stat : 31087 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 2957 0 0 0 694 2974 0 0 20 0 17 0 657741488 938160128 204953 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31074/tid=31088] ppid=31072 vsize=916172 CPUtime=36.6
/proc/31074/task/31088/stat : 31088 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 3289 0 0 0 682 2978 0 0 20 0 17 0 657741488 938160128 204953 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31074/tid=31089] ppid=31072 vsize=916172 CPUtime=35.88
/proc/31074/task/31089/stat : 31089 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 3629 0 0 0 768 2820 0 0 20 0 17 0 657741488 938160128 204953 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31074/tid=31090] ppid=31072 vsize=916172 CPUtime=36.62
/proc/31074/task/31090/stat : 31090 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 3629 0 0 0 790 2872 0 0 20 0 17 0 657741489 938160128 204953 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31074/tid=31091] ppid=31072 vsize=916172 CPUtime=36.66
/proc/31074/task/31091/stat : 31091 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 4043 0 0 0 750 2916 0 0 20 0 17 0 657741489 938160128 204953 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 600.07
Current children cumulated vsize (KiB) 916172

[startup+102.307 s]
/proc/loadavg: 12.29 4.68 3.69 17/204 31096
/proc/meminfo: memFree=17900108/36427776 swapFree=6476/1095380
[pid=31074] ppid=31072 vsize=1182260 CPUtime=1277.83
/proc/31074/stat : 31074 (ttsth-5-0) S 31072 31074 15497 0 -1 4202496 271744 0 0 0 45292 82491 0 0 20 0 17 0 657740101 1210634240 270647 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31074/statm: 295565 270647 95 177 0 295387 0
[pid=31074/tid=31076] ppid=31072 vsize=1182260 CPUtime=88.35
/proc/31074/task/31076/stat : 31076 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 16534 0 0 0 8799 36 0 0 20 0 17 0 657741487 1210634240 270647 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134751534 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31074/tid=31077] ppid=31072 vsize=1182260 CPUtime=77.88
/proc/31074/task/31077/stat : 31077 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 7467 0 0 0 2246 5542 0 0 20 0 17 0 657741487 1210634240 270647 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31074/tid=31078] ppid=31072 vsize=1182260 CPUtime=76.85
/proc/31074/task/31078/stat : 31078 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 6450 0 0 0 2246 5439 0 0 20 0 17 0 657741487 1210634240 270647 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31074/tid=31079] ppid=31072 vsize=1182260 CPUtime=77.95
/proc/31074/task/31079/stat : 31079 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 5950 0 0 0 2358 5437 0 0 20 0 17 0 657741487 1210634240 270647 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31074/tid=31080] ppid=31072 vsize=1182260 CPUtime=78.03
/proc/31074/task/31080/stat : 31080 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 7194 0 0 0 2336 5467 0 0 20 0 17 0 657741487 1210634240 270647 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31074/tid=31081] ppid=31072 vsize=1182260 CPUtime=78.56
/proc/31074/task/31081/stat : 31081 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 8100 0 0 0 2278 5578 0 0 20 0 17 0 657741487 1210634240 270647 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134549872 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31074/tid=31082] ppid=31072 vsize=1182260 CPUtime=78.62
/proc/31074/task/31082/stat : 31082 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 6229 0 0 0 2220 5642 0 0 20 0 17 0 657741487 1210634240 270647 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134592199 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31074/tid=31083] ppid=31072 vsize=1182260 CPUtime=86.17
/proc/31074/task/31083/stat : 31083 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 7963 0 0 0 2902 5715 0 0 20 0 17 0 657741487 1210634240 270647 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31074/tid=31084] ppid=31072 vsize=1182260 CPUtime=70.77
/proc/31074/task/31084/stat : 31084 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 6647 0 0 0 2098 4979 0 0 20 0 17 0 657741488 1210634240 270647 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134590301 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31074/tid=31085] ppid=31072 vsize=1182260 CPUtime=73.31
/proc/31074/task/31085/stat : 31085 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 7530 0 0 0 2166 5165 0 0 20 0 17 0 657741488 1210634240 270647 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134592217 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31074/tid=31086] ppid=31072 vsize=1182260 CPUtime=76.49
/proc/31074/task/31086/stat : 31086 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 5863 0 0 0 2100 5549 0 0 20 0 17 0 657741488 1210634240 270647 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31074/tid=31087] ppid=31072 vsize=1182260 CPUtime=81.99
/proc/31074/task/31087/stat : 31087 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 9637 0 0 0 2500 5699 0 0 20 0 17 0 657741488 1210634240 270647 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31074/tid=31088] ppid=31072 vsize=1182260 CPUtime=80.07
/proc/31074/task/31088/stat : 31088 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 9740 0 0 0 2280 5727 0 0 20 0 17 0 657741488 1210634240 270647 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31074/tid=31089] ppid=31072 vsize=1182260 CPUtime=80.95
/proc/31074/task/31089/stat : 31089 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 6449 0 0 0 2520 5575 0 0 20 0 17 0 657741488 1210634240 270647 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31074/tid=31090] ppid=31072 vsize=1182260 CPUtime=82.23
/proc/31074/task/31090/stat : 31090 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 6795 0 0 0 2760 5463 0 0 20 0 17 0 657741489 1210634240 270647 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134591177 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31074/tid=31091] ppid=31072 vsize=1182260 CPUtime=75.62
/proc/31074/task/31091/stat : 31091 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 7796 0 0 0 2144 5418 0 0 20 0 17 0 657741489 1210634240 270647 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134749314 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 1277.83
Current children cumulated vsize (KiB) 1182260

[startup+162.304 s]
/proc/loadavg: 14.63 6.74 4.46 17/204 31096
/proc/meminfo: memFree=17390924/36427776 swapFree=6476/1603088
[pid=31074] ppid=31072 vsize=1725940 CPUtime=1823.61
/proc/31074/stat : 31074 (ttsth-5-0) S 31072 31074 15497 0 -1 4202496 400604 0 0 0 96571 85790 0 0 20 0 17 0 657740101 1767362560 399507 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31074/statm: 431485 399507 95 177 0 431307 0
[pid=31074/tid=31076] ppid=31072 vsize=1725940 CPUtime=135.1
/proc/31074/task/31076/stat : 31076 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 21887 0 0 0 13458 52 0 0 20 0 17 0 657741487 1767362560 399507 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134680208 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31074/tid=31077] ppid=31072 vsize=1725940 CPUtime=109.29
/proc/31074/task/31077/stat : 31077 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 11999 0 0 0 5113 5816 0 0 20 0 17 0 657741487 1767362560 399507 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31074/tid=31078] ppid=31072 vsize=1725940 CPUtime=110.94
/proc/31074/task/31078/stat : 31078 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 13334 0 0 0 5360 5734 0 0 20 0 17 0 657741487 1767362560 399507 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31074/tid=31079] ppid=31072 vsize=1725940 CPUtime=111.63
/proc/31074/task/31079/stat : 31079 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 21492 0 0 0 5557 5606 0 0 20 0 17 0 657741487 1767362560 399507 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31074/tid=31080] ppid=31072 vsize=1725940 CPUtime=109.31
/proc/31074/task/31080/stat : 31080 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 15430 0 0 0 5262 5669 0 0 20 0 17 0 657741487 1767362560 399507 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31074/tid=31081] ppid=31072 vsize=1725940 CPUtime=109.32
/proc/31074/task/31081/stat : 31081 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 16333 0 0 0 5156 5776 0 0 20 0 17 0 657741487 1767362560 399507 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31074/tid=31082] ppid=31072 vsize=1725940 CPUtime=109.25
/proc/31074/task/31082/stat : 31082 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 12525 0 0 0 5062 5863 0 0 20 0 17 0 657741487 1767362560 399507 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31074/tid=31083] ppid=31072 vsize=1725940 CPUtime=120.99
/proc/31074/task/31083/stat : 31083 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 14953 0 0 0 6136 5963 0 0 20 0 17 0 657741487 1767362560 399507 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31074/tid=31084] ppid=31072 vsize=1725940 CPUtime=103.67
/proc/31074/task/31084/stat : 31084 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 15533 0 0 0 5277 5090 0 0 20 0 17 0 657741488 1767362560 399507 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31074/tid=31085] ppid=31072 vsize=1725940 CPUtime=108.51
/proc/31074/task/31085/stat : 31085 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 15951 0 0 0 5503 5348 0 0 20 0 17 0 657741488 1767362560 399507 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31074/tid=31086] ppid=31072 vsize=1725940 CPUtime=108.53
/proc/31074/task/31086/stat : 31086 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 11156 0 0 0 5018 5835 0 0 20 0 17 0 657741488 1767362560 399507 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31074/tid=31087] ppid=31072 vsize=1725940 CPUtime=117.61
/proc/31074/task/31087/stat : 31087 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 21753 0 0 0 5862 5899 0 0 20 0 17 0 657741488 1767362560 399507 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134680502 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31074/tid=31088] ppid=31072 vsize=1725940 CPUtime=116.52
/proc/31074/task/31088/stat : 31088 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 22760 0 0 0 5722 5930 0 0 20 0 17 0 657741488 1767362560 399507 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134561510 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31074/tid=31089] ppid=31072 vsize=1725940 CPUtime=116.28
/proc/31074/task/31089/stat : 31089 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 12487 0 0 0 5803 5825 0 0 20 0 17 0 657741488 1767362560 399508 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31074/tid=31090] ppid=31072 vsize=1725940 CPUtime=113.92
/proc/31074/task/31090/stat : 31090 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 11119 0 0 0 5767 5625 0 0 20 0 17 0 657741489 1767362560 399508 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31074/tid=31091] ppid=31072 vsize=1725940 CPUtime=108.81
/proc/31074/task/31091/stat : 31091 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 16492 0 0 0 5183 5698 0 0 20 0 17 0 657741489 1767362560 399508 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1823.61
Current children cumulated vsize (KiB) 1725940



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+196.902 s]
/proc/loadavg: 15.09 7.73 4.87 14/204 31096
/proc/meminfo: memFree=17035548/36427776 swapFree=6476/1957724
[pid=31074] ppid=31072 vsize=2097204 CPUtime=2210.71
/proc/31074/stat : 31074 (ttsth-5-0) S 31072 31074 15497 0 -1 4202496 487726 0 0 0 126027 95044 0 0 20 0 17 0 657740101 2147536896 486629 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31074/statm: 524301 486629 95 177 0 524123 0
[pid=31074/tid=31076] ppid=31072 vsize=2097204 CPUtime=169.25
/proc/31074/task/31076/stat : 31076 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 42542 0 0 0 16851 74 0 0 20 0 17 0 657741487 2147536896 486630 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31074/tid=31077] ppid=31072 vsize=2097204 CPUtime=133.79
/proc/31074/task/31077/stat : 31077 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 15008 0 0 0 6815 6564 0 0 20 0 17 0 657741487 2147536896 486630 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134590241 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31074/tid=31078] ppid=31072 vsize=2097204 CPUtime=142.92
/proc/31074/task/31078/stat : 31078 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 19217 0 0 0 7686 6606 0 0 20 0 17 0 657741487 2147536896 486630 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134590528 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31074/tid=31079] ppid=31072 vsize=2097204 CPUtime=129.22
/proc/31074/task/31079/stat : 31079 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 30251 0 0 0 6951 5971 0 0 20 0 17 0 657741487 2147536896 486631 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31074/tid=31080] ppid=31072 vsize=2097204 CPUtime=131.15
/proc/31074/task/31080/stat : 31080 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 19990 0 0 0 6929 6186 0 0 20 0 17 0 657741487 2147536896 486631 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31074/tid=31081] ppid=31072 vsize=2097204 CPUtime=128.32
/proc/31074/task/31081/stat : 31081 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 17618 0 0 0 6483 6349 0 0 20 0 17 0 657741487 2147536896 486631 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31074/tid=31082] ppid=31072 vsize=2097204 CPUtime=133.55
/proc/31074/task/31082/stat : 31082 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 20481 0 0 0 6959 6396 0 0 20 0 17 0 657741487 2147536896 486631 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31074/tid=31083] ppid=31072 vsize=2097204 CPUtime=143.74
/proc/31074/task/31083/stat : 31083 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 18402 0 0 0 7915 6459 0 0 20 0 17 0 657741487 2147536896 486631 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31074/tid=31084] ppid=31072 vsize=2097204 CPUtime=131.12
/proc/31074/task/31084/stat : 31084 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 22708 0 0 0 7515 5597 0 0 20 0 17 0 657741488 2147536896 486632 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31074/tid=31085] ppid=31072 vsize=2097204 CPUtime=134.92
/proc/31074/task/31085/stat : 31085 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 20695 0 0 0 7418 6074 0 0 20 0 17 0 657741488 2147536896 486632 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134588451 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31074/tid=31086] ppid=31072 vsize=2097204 CPUtime=134.29
/proc/31074/task/31086/stat : 31086 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 13822 0 0 0 6780 6649 0 0 20 0 17 0 657741488 2147536896 486632 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31074/tid=31087] ppid=31072 vsize=2097204 CPUtime=142.28
/proc/31074/task/31087/stat : 31087 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 24772 0 0 0 7560 6668 0 0 20 0 17 0 657741488 2147536896 486633 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31074/tid=31088] ppid=31072 vsize=2097204 CPUtime=139.63
/proc/31074/task/31088/stat : 31088 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 29936 0 0 0 7384 6579 0 0 20 0 17 0 657741488 2147536896 486633 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31074/tid=31089] ppid=31072 vsize=2097204 CPUtime=141.19
/proc/31074/task/31089/stat : 31089 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 15031 0 0 0 7621 6498 0 0 20 0 17 0 657741488 2147536896 486633 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31074/tid=31090] ppid=31072 vsize=2097204 CPUtime=133.84
/proc/31074/task/31090/stat : 31090 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 13591 0 0 0 7242 6142 0 0 20 0 17 0 657741489 2147536896 486633 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31074/tid=31091] ppid=31072 vsize=2097204 CPUtime=127.54
/proc/31074/task/31091/stat : 31091 (ttsth-5-0) R 31072 31074 15497 0 -1 4202560 18264 0 0 0 6583 6171 0 0 20 0 17 0 657741489 2147536896 486633 18446744073709551615 134512640 135237372 4287133536 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 2210.71
Current children cumulated vsize (KiB) 2097204

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

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

[startup+197.103 s]
/proc/loadavg: 15.09 7.73 4.87 14/204 31096
/proc/meminfo: memFree=17035548/36427776 swapFree=6476/1957724
[pid=31074] ppid=31072 vsize=0 CPUtime=2210.94
/proc/31074/stat : 31074 (ttsth-5-0) Z 31072 31074 15497 0 -1 4203532 487736 0 0 0 126032 95062 0 0 20 0 2 0 657740101 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31074/statm: 0 0 0 0 0 0 0
[pid=31074/tid=31080] ppid=31072 vsize=0 CPUtime=131.3
/proc/31074/task/31080/stat : 31080 (ttsth-5-0) R 31072 31074 15497 0 -1 4203588 19990 0 0 0 6929 6201 0 0 20 0 2 0 657741487 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2210.94
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 197.135
CPU time (s): 2210.98
CPU user time (s): 1260.33
CPU system time (s): 950.655
CPU usage (%): 1121.56
Max. virtual memory (cumulated for all children) (KiB): 2098228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1260.33
system time used= 950.655
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 487736
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= 469899
involuntary context switches= 79609

runsolver used 0.880055 second user time and 2.88018 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 14:58:57
IDJOB=1781265
IDBENCH=71697
IDSOLVER=634
FILE ID=xenhost3-49/1781265-1244984337
PBS_JOBID=
Free space on /tmp= 7019 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT_RACE06/een-tip-uns-nusmv-t5.B.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1781265-1244984337/watcher-1781265-1244984337 -o /tmp/evaluation-result-1781265-1244984337/solver-1781265-1244984337 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781265-1244984337.cnf

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

MD5SUM BENCH= 5a0032960b52c5fb367771f030675e6c
RANDOM SEED= 1755513969

Linux xenhost3-49 2.6.27.5 #1 SMP Mon Mar 30 10:34:22 CEST 2009 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 8
initial apicid	: 8
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 24
initial apicid	: 24
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 10
initial apicid	: 10
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 26
initial apicid	: 26
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 9
initial apicid	: 9
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 25
initial apicid	: 25
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 11
initial apicid	: 11
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 27
initial apicid	: 27
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:     36427776 kB
MemFree:      18981720 kB
Buffers:        525044 kB
Cached:       14121316 kB
SwapCached:          0 kB
Active:        4174192 kB
Inactive:     10482728 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            3956 kB
Writeback:           0 kB
AnonPages:       11360 kB
Mapped:           5472 kB
Slab:           733932 kB
SReclaimable:   706976 kB
SUnreclaim:      26956 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    36272 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7019 MiB
End job on xenhost3-49 at 2009-06-14 15:02:16