Trace number 3257558

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-4? (TO) 4800.16 1204.67

General information on the benchmark

NameCRAFTED/modcircuits/
mod4block_3vars_7gates.cnf
MD5SUMcc925e6de728ca79f6f89379842f14b0
Bench CategoryCRAFTED (crafted 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 variables574
Number of clauses118394
Sum of the clauses size692282
Maximum clause length24
Minimum clause length1
Number of clauses of size 1160
Number of clauses of size 21597
Number of clauses of size 30
Number of clauses of size 41923
Number of clauses of size 57170
Number of clauses of size over 5107544

Solver Data 

0.09/0.18	c Command: HOME/ttsth-5-4 -num-threads 4 HOME/instance-3257558-1304046443.cnf 
0.09/0.18	c Using SATTIMEOUT of 4800
0.09/0.18	c Using SATRAM of 15500
0.09/0.18	c Size of subset node = 32
0.09/0.18	c Variables = 574
0.09/0.18	c Clauses = 118394
0.09/0.18	c Literals = 692282
0.09/0.18	c Reduced size:
0.09/0.18	c Variables = 574
0.09/0.18	c Clauses = 61794
0.09/0.18	c Literals = 309482
0.09/0.18	c a2
0.29/0.38	c a1
0.79/0.82	c Independent sub-problems = 1
0.79/0.82	c Sub-problem with 378 variables and 61794 clauses
0.79/0.82	c using permutation method 4
0.79/0.82	c count = 1
0.79/0.82	c Ordering finished 0.800 seconds
0.79/0.82	c mapped 0.820 seconds
0.79/0.82	c permuted 0.820 seconds
0.79/0.82	c about to sort
0.79/0.83	c sorted
0.89/0.95	c clauses now 61794
0.89/0.95	c init finished 0.840 seconds
0.89/0.95	c tree built 0.940 seconds
0.89/0.95	c 
0.89/0.95	c PA progress                      | CPU progress Partial assignments | improvements                 ucps  CPU time       PA/sec  nodes
0.89/0.95	c ---------------------------------|----------------------------------|--------------------------------------------------------------------
0.89/0.95	c ................................ | ..........                    |                                  0.9         0.0             
0.89/0.95	c ................................ | ..........                  1 |                                  0.9         1.1             
0.89/0.95	c ................................ | ..........                  2 |                                  0.9         2.1             
0.89/0.95	c ................................ | ..........                  3 |                                  0.9         3.2             
0.89/0.95	c ................................ | ..........                  4 |                                  0.9         4.3             
0.89/0.95	c ................................ | ..........                  5 |                                  0.9         5.3             
0.89/0.96	c ................................ | ..........               1000 | 66           925                 1.0      1020.4         4383
96.01/24.80	c ................................ | ..........             866000 | 141971       964241             96.0      9018.0      9655542
191.96/48.92	c ................................ | ..........            1385000 | 230090       1589849           192.1      7211.3     15203433
287.96/73.03	c ................................ | ..........            1797000 | 299905       2149993           288.1      6237.6     19134403
383.63/97.09	c ................................ | ..........            2201000 | 364776       2664449           384.0      5731.6     22481835
480.10/121.21	c ................................ | *.........            2514000 | 431007       3092514           480.2      5235.8     26603807
576.18/145.32	c ................................ | *.........            2772000 | 486166       3422717           576.3      4810.3     28624811
671.89/169.40	c ................................ | *.........            3032000 | 545906       3778821           672.3      4510.0     30703765
768.32/193.53	c ................................ | *.........            3254000 | 600263       4064808           768.4      4234.7     32183827
863.98/217.53	c ................................ | *.........            3462000 | 651279       4307469           864.1      4006.4     34340778
960.40/241.73	c ................................ | **........            3667000 | 702139       4513839           960.5      3817.7     36104204
1056.07/265.71	c ................................ | **........            3863000 | 749652       4723859          1056.1      3657.7     37740004
1151.77/289.79	c ................................ | **........            4118000 | 796294       4999173          1152.2      3574.2     40077088
1248.30/313.91	c ................................ | **........            4401000 | 839007       5299938          1248.3      3525.5     41825647
1343.96/337.92	c ................................ | **........            4666000 | 887026       5565298          1344.0      3471.6     43357845
1440.36/362.17	c ................................ | ***.......            4925000 | 932756       5814949          1440.7      3418.6     45026371
1536.12/386.13	c ................................ | ***.......            5180000 | 977625       6056319          1536.2      3371.9     46378054
1631.86/410.18	c ................................ | ***.......            5432000 | 1022000      6287548          1632.2      3328.0     48316888
1728.01/434.21	c ................................ | ***.......            5612000 | 1062577      6457859          1728.1      3247.5     49464566
1824.17/458.32	c ................................ | ***.......            5793000 | 1103176      6632405          1824.3      3175.5     49638085
1919.93/482.36	c ................................ | ****......            5960000 | 1144044      6835184          1920.2      3103.9     50818981
2016.11/506.49	c ................................ | ****......            6116000 | 1182856      6974704          2016.5      3033.0     51899261
2111.92/530.43	c ................................ | ****......            6269000 | 1220239      7144828          2112.1      2968.2     53257373
2207.95/554.56	c ................................ | ****......            6512000 | 1274296      7336839          2208.2      2949.0     53904746
2303.98/578.66	c ................................ | ****......            6849000 | 1348529      7569256          2304.2      2972.4     54861375
2400.09/602.73	c ................................ | *****.....            7142000 | 1410630      7801605          2400.2      2975.6     55876170
2496.10/626.87	c ................................ | *****.....            7442000 | 1468790      8037652          2496.4      2981.1     56593018
2592.19/650.92	c ................................ | *****.....            7694000 | 1521954      8248690          2592.3      2968.0     57815599
2688.27/675.03	c ................................ | *****.....            7939000 | 1573790      8447009          2688.4      2953.0     59098341
2783.93/699.03	c ................................ | *****.....            8195000 | 1627768      8654522          2784.1      2943.6     59383054
2880.06/723.12	c ................................ | ******....            8439000 | 1679245      8850813          2880.2      2930.1     59568384
2976.16/747.20	c ................................ | ******....            8661000 | 1724579      9041552          2976.2      2910.1     59970555
3071.86/771.29	c ................................ | ******....            8879000 | 1772404      9205230          3072.2      2890.1     60518246
3168.07/795.31	c ................................ | ******....            9099000 | 1821480      9353500          3168.1      2872.1     61525198
3263.77/819.37	c ................................ | ******....            9287000 | 1865364      9501299          3264.1      2845.2     62761616
3360.24/843.53	c ................................ | *******...            9486000 | 1912937      9652213          3360.4      2822.9     63850657
3456.39/867.66	c ................................ | *******...            9657000 | 1955288      9794731          3456.6      2793.8     64612691
3552.17/891.66	c ................................ | *******...            9838000 | 1998841      9936559          3552.4      2769.4     66118277
3647.90/915.66	c ................................ | *******...           10016000 | 2040426      10081387         3648.2      2745.5     66269574
3744.00/939.74	c ................................ | *******...           10193000 | 2078599      10240979         3744.2      2722.4     66413024
3840.15/963.81	c ................................ | ********..           10368000 | 2122957      10392922         3840.2      2699.9     67118811
3936.27/987.93	c ................................ | ********..           10522000 | 2161528      10538465         3936.4      2673.0     68112902
4032.04/1011.94	c ................................ | ********..           10683000 | 2197591      10689065         4032.2      2649.4     68540444
4128.10/1036.06	c ................................ | ********..           10849000 | 2235276      10841889         4128.4      2627.9     69464645
4223.78/1060.06	c ................................ | ********..           10998000 | 2273680      10968537         4224.0      2603.7     69940368
4319.90/1084.16	c ................................ | *********.           11158000 | 2313238      11118741         4320.2      2582.8     70070262
4416.30/1108.31	c ................................ | *********.           11316000 | 2353384      11286940         4416.4      2562.3     70830989
4511.94/1132.33	c ................................ | *********.           11475000 | 2392233      11467363         4512.1      2543.2     70830989
4607.97/1156.41	c ................................ | *********.           11624000 | 2429362      11643993         4608.0      2522.6     71204255
4704.05/1180.50	c ................................ | *********.           11772000 | 2467171      11799312         4704.1      2502.5     71815570
4799.84/1204.55	c CPU limit (4800) reached
4799.84/1204.55	c Time = 4800.04 seconds
4799.84/1204.55	s UNKNOWN

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: UNKNOWN

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3257558-1304046443/watcher-3257558-1304046443 -o /tmp/evaluation-result-3257558-1304046443/solver-3257558-1304046443 -C 4800 -W 1300 -M 15500 HOME/ttsth-5-4 -num-threads 4 HOME/instance-3257558-1304046443.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.78 8.18 8.08 5/185 18424
/proc/meminfo: memFree=24969148/32951124 swapFree=67111524/67111528
[pid=18424] ppid=18422 vsize=9244 CPUtime=0 cores=0,2,4,6
/proc/18424/stat : 18424 (ttsth-5-4) R 18422 18424 18211 0 -1 4202496 384 0 0 0 0 0 0 0 25 0 1 0 516242515 9465856 326 33554432000 4194304 4338100 140734125963936 18446744073709551615 232335553221 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/18424/statm: 2311 326 147 36 0 216 0

[startup+0.06544 s]
/proc/loadavg: 7.78 8.18 8.08 5/185 18424
/proc/meminfo: memFree=24969148/32951124 swapFree=67111524/67111528
[pid=18424] ppid=18422 vsize=14464 CPUtime=0.06 cores=0,2,4,6
/proc/18424/stat : 18424 (ttsth-5-4) R 18422 18424 18211 0 -1 4202496 1676 0 0 0 6 0 0 0 25 0 1 0 516242515 14811136 1618 33554432000 4194304 4338100 140734125963936 18446744073709551615 232335892224 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/18424/statm: 3616 1619 148 36 0 1521 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 14464

[startup+0.100416 s]
/proc/loadavg: 7.78 8.18 8.08 5/185 18424
/proc/meminfo: memFree=24969148/32951124 swapFree=67111524/67111528
[pid=18424] ppid=18422 vsize=17608 CPUtime=0.09 cores=0,2,4,6
/proc/18424/stat : 18424 (ttsth-5-4) R 18422 18424 18211 0 -1 4202496 2442 0 0 0 9 0 0 0 25 0 1 0 516242515 18030592 2384 33554432000 4194304 4338100 140734125963936 18446744073709551615 232335553221 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/18424/statm: 4402 2385 148 36 0 2307 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17608

[startup+0.300384 s]
/proc/loadavg: 7.78 8.18 8.08 5/185 18424
/proc/meminfo: memFree=24969148/32951124 swapFree=67111524/67111528
[pid=18424] ppid=18422 vsize=43028 CPUtime=0.29 cores=0,2,4,6
/proc/18424/stat : 18424 (ttsth-5-4) R 18422 18424 18211 0 -1 4202496 7660 0 0 0 28 1 0 0 25 0 1 0 516242515 44060672 7307 33554432000 4194304 4338100 140734125963936 18446744073709551615 232335287490 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/18424/statm: 10757 7307 473 36 0 8662 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43028

[startup+0.700312 s]
/proc/loadavg: 7.78 8.18 8.08 5/185 18424
/proc/meminfo: memFree=24969148/32951124 swapFree=67111524/67111528
[pid=18424] ppid=18422 vsize=29392 CPUtime=0.69 cores=0,2,4,6
/proc/18424/stat : 18424 (ttsth-5-4) R 18422 18424 18211 0 -1 4202496 8993 0 0 0 68 1 0 0 25 0 1 0 516242515 30097408 5343 33554432000 4194304 4338100 140734125963936 18446744073709551615 4245205 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/18424/statm: 7348 5343 155 36 0 5253 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29392

[startup+1.50113 s]
/proc/loadavg: 7.78 8.18 8.08 9/190 18429
/proc/meminfo: memFree=24930552/32951124 swapFree=67111524/67111528
[pid=18424] ppid=18422 vsize=231048 CPUtime=3.13 cores=0,2,4,6
/proc/18424/stat : 18424 (ttsth-5-4) S 18422 18424 18211 0 -1 4202496 15729 0 0 0 310 3 0 0 25 0 5 0 516242515 236593152 11957 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347695077 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/18424/statm: 57762 11957 178 36 0 55667 0
[pid=18424/tid=18426] ppid=18422 vsize=231048 CPUtime=0.54 cores=0,2,4,6
/proc/18424/task/18426/stat : 18426 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 709 0 0 0 54 0 0 0 18 0 5 0 516242610 236593152 11957 33554432000 4194304 4338100 140734125963936 18446744073709551615 4254311 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=18424/tid=18427] ppid=18422 vsize=231048 CPUtime=0.54 cores=0,2,4,6
/proc/18424/task/18427/stat : 18427 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 1167 0 0 0 54 0 0 0 18 0 5 0 516242610 236593152 11957 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347718325 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=18424/tid=18428] ppid=18422 vsize=231048 CPUtime=0.53 cores=0,2,4,6
/proc/18424/task/18428/stat : 18428 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 852 0 0 0 53 0 0 0 25 0 5 0 516242610 236593152 11957 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347706627 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=18424/tid=18429] ppid=18422 vsize=231048 CPUtime=0.54 cores=0,2,4,6
/proc/18424/task/18429/stat : 18429 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 602 0 0 0 54 0 0 0 18 0 5 0 516242610 236593152 11957 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347718325 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 231048

[startup+3.10085 s]
/proc/loadavg: 7.80 8.18 8.08 9/190 18429
/proc/meminfo: memFree=24902032/32951124 swapFree=67111524/67111528
[pid=18424] ppid=18422 vsize=262988 CPUtime=9.51 cores=0,2,4,6
/proc/18424/stat : 18424 (ttsth-5-4) S 18422 18424 18211 0 -1 4202496 23433 0 0 0 944 7 0 0 25 0 5 0 516242515 269299712 19661 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347695077 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/18424/statm: 65747 19661 178 36 0 63652 0
[pid=18424/tid=18426] ppid=18422 vsize=262988 CPUtime=2.14 cores=0,2,4,6
/proc/18424/task/18426/stat : 18426 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 2122 0 0 0 213 1 0 0 21 0 5 0 516242610 269299712 19661 33554432000 4194304 4338100 140734125963936 18446744073709551615 4254342 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=18424/tid=18427] ppid=18422 vsize=262988 CPUtime=2.13 cores=0,2,4,6
/proc/18424/task/18427/stat : 18427 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 3832 0 0 0 212 1 0 0 18 0 5 0 516242610 269299712 19661 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347718325 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=18424/tid=18428] ppid=18422 vsize=262988 CPUtime=2.12 cores=0,2,4,6
/proc/18424/task/18428/stat : 18428 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 3202 0 0 0 211 1 0 0 25 0 5 0 516242610 269299712 19661 33554432000 4194304 4338100 140734125963936 18446744073709551615 4254285 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=18424/tid=18429] ppid=18422 vsize=262988 CPUtime=2.14 cores=0,2,4,6
/proc/18424/task/18429/stat : 18429 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 1878 0 0 0 213 1 0 0 21 0 5 0 516242610 269299712 19661 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347718325 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.51
Current children cumulated vsize (KiB) 262988

[startup+6.30028 s]
/proc/loadavg: 7.80 8.18 8.08 9/190 18429
/proc/meminfo: memFree=24829072/32951124 swapFree=67111524/67111528
[pid=18424] ppid=18422 vsize=320612 CPUtime=22.27 cores=0,2,4,6
/proc/18424/stat : 18424 (ttsth-5-4) S 18422 18424 18211 0 -1 4202496 38138 0 0 0 2209 18 0 0 25 0 5 0 516242515 328306688 34366 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347695077 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/18424/statm: 80153 34367 178 36 0 78058 0
[pid=18424/tid=18426] ppid=18422 vsize=320612 CPUtime=5.34 cores=0,2,4,6
/proc/18424/task/18426/stat : 18426 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 5192 0 0 0 528 6 0 0 25 0 5 0 516242610 328306688 34367 33554432000 4194304 4338100 140734125963936 18446744073709551615 232335553569 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=18424/tid=18427] ppid=18422 vsize=320612 CPUtime=5.31 cores=0,2,4,6
/proc/18424/task/18427/stat : 18427 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 8353 0 0 0 529 2 0 0 18 0 5 0 516242610 328306688 34367 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347718325 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=18424/tid=18428] ppid=18422 vsize=320612 CPUtime=5.3 cores=0,2,4,6
/proc/18424/task/18428/stat : 18428 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 7208 0 0 0 526 4 0 0 25 0 5 0 516242610 328306688 34367 33554432000 4194304 4338100 140734125963936 18446744073709551615 4284177 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=18424/tid=18429] ppid=18422 vsize=320612 CPUtime=5.34 cores=0,2,4,6
/proc/18424/task/18429/stat : 18429 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 4987 0 0 0 531 3 0 0 22 0 5 0 516242610 328306688 34367 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347718325 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.27
Current children cumulated vsize (KiB) 320612

[startup+12.7011 s]
/proc/loadavg: 7.83 8.17 8.08 9/190 18429
/proc/meminfo: memFree=24697284/32951124 swapFree=67111524/67111528
[pid=18424] ppid=18422 vsize=475340 CPUtime=47.8 cores=0,2,4,6
/proc/18424/stat : 18424 (ttsth-5-4) S 18422 18424 18211 0 -1 4202496 61875 0 0 0 4735 45 0 0 25 0 5 0 516242515 486748160 58103 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347695077 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/18424/statm: 118835 58103 178 36 0 116740 0
[pid=18424/tid=18426] ppid=18422 vsize=475340 CPUtime=11.73 cores=0,2,4,6
/proc/18424/task/18426/stat : 18426 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 9964 0 0 0 1158 15 0 0 25 0 5 0 516242610 486748160 58103 33554432000 4194304 4338100 140734125963936 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=18424/tid=18427] ppid=18422 vsize=475340 CPUtime=11.67 cores=0,2,4,6
/proc/18424/task/18427/stat : 18427 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 15416 0 0 0 1161 6 0 0 18 0 5 0 516242610 486748160 58103 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347718325 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=18424/tid=18428] ppid=18422 vsize=475340 CPUtime=11.67 cores=0,2,4,6
/proc/18424/task/18428/stat : 18428 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 13005 0 0 0 1155 12 0 0 25 0 5 0 516242610 486748160 58103 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347706627 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=18424/tid=18429] ppid=18422 vsize=475340 CPUtime=11.74 cores=0,2,4,6
/proc/18424/task/18429/stat : 18429 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 11091 0 0 0 1166 8 0 0 25 0 5 0 516242610 486748160 58104 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347718325 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 47.8
Current children cumulated vsize (KiB) 475340

[startup+25.5009 s]
/proc/loadavg: 7.85 8.17 8.08 9/190 18430
/proc/meminfo: memFree=24516108/32951124 swapFree=67111524/67111528
[pid=18424] ppid=18422 vsize=602120 CPUtime=98.8 cores=0,2,4,6
/proc/18424/stat : 18424 (ttsth-5-4) S 18422 18424 18211 0 -1 4202496 93808 0 0 0 9769 111 0 0 25 0 5 0 516242515 616570880 90036 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347695077 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/18424/statm: 150530 90036 178 36 0 148435 0
[pid=18424/tid=18426] ppid=18422 vsize=602120 CPUtime=24.53 cores=0,2,4,6
/proc/18424/task/18426/stat : 18426 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 16834 0 0 0 2415 38 0 0 25 0 5 0 516242610 616570880 90036 33554432000 4194304 4338100 140734125963936 18446744073709551615 4239484 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=18424/tid=18427] ppid=18422 vsize=602120 CPUtime=24.35 cores=0,2,4,6
/proc/18424/task/18427/stat : 18427 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 24440 0 0 0 2423 12 0 0 18 0 5 0 516242610 616570880 90036 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347718325 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=18424/tid=18428] ppid=18422 vsize=602120 CPUtime=24.39 cores=0,2,4,6
/proc/18424/task/18428/stat : 18428 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 20748 0 0 0 2404 35 0 0 25 0 5 0 516242610 616570880 90036 33554432000 4194304 4338100 140734125963936 18446744073709551615 4239476 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=18424/tid=18429] ppid=18422 vsize=602120 CPUtime=24.54 cores=0,2,4,6
/proc/18424/task/18429/stat : 18429 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 19387 0 0 0 2433 21 0 0 25 0 5 0 516242610 616570880 90036 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347718325 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 98.8
Current children cumulated vsize (KiB) 602120

[startup+51.1003 s]
/proc/loadavg: 8.03 8.18 8.08 9/190 18430
/proc/meminfo: memFree=24240972/32951124 swapFree=67111524/67111528
[pid=18424] ppid=18422 vsize=784604 CPUtime=200.73 cores=0,2,4,6
/proc/18424/stat : 18424 (ttsth-5-4) S 18422 18424 18211 0 -1 4202496 142813 0 0 0 19859 214 0 0 25 0 5 0 516242515 803434496 139041 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347695077 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/18424/statm: 196151 139041 178 36 0 194056 0
[pid=18424/tid=18426] ppid=18422 vsize=784604 CPUtime=50.11 cores=0,2,4,6
/proc/18424/task/18426/stat : 18426 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 27665 0 0 0 4937 74 0 0 25 0 5 0 516242610 803434496 139041 33554432000 4194304 4338100 140734125963936 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=18424/tid=18427] ppid=18422 vsize=784604 CPUtime=49.69 cores=0,2,4,6
/proc/18424/task/18427/stat : 18427 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 36687 0 0 0 4948 21 0 0 18 0 5 0 516242610 803434496 139041 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347718325 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=18424/tid=18428] ppid=18422 vsize=784604 CPUtime=49.83 cores=0,2,4,6
/proc/18424/task/18428/stat : 18428 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 33178 0 0 0 4911 72 0 0 25 0 5 0 516242610 803434496 139041 33554432000 4194304 4338100 140734125963936 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=18424/tid=18429] ppid=18422 vsize=784604 CPUtime=50.12 cores=0,2,4,6
/proc/18424/task/18429/stat : 18429 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 32884 0 0 0 4968 44 0 0 25 0 5 0 516242610 803434496 139041 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347718325 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 200.73
Current children cumulated vsize (KiB) 784604

[startup+102.306 s]
/proc/loadavg: 8.12 8.19 8.09 9/190 18432
/proc/meminfo: memFree=23816256/32951124 swapFree=67111524/67111528
[pid=18424] ppid=18422 vsize=1046512 CPUtime=404.78 cores=0,2,4,6
/proc/18424/stat : 18424 (ttsth-5-4) S 18422 18424 18211 0 -1 4202496 211850 0 0 0 40079 399 0 0 25 0 5 0 516242515 1071628288 208078 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347695077 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/18424/statm: 261628 208078 178 36 0 259533 0
[pid=18424/tid=18426] ppid=18422 vsize=1046512 CPUtime=101.27 cores=0,2,4,6
/proc/18424/task/18426/stat : 18426 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 43865 0 0 0 9986 141 0 0 25 0 5 0 516242610 1071628288 208078 33554432000 4194304 4338100 140734125963936 18446744073709551615 4263499 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=18424/tid=18427] ppid=18422 vsize=1046512 CPUtime=100.49 cores=0,2,4,6
/proc/18424/task/18427/stat : 18427 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 57570 0 0 0 10013 36 0 0 18 0 5 0 516242610 1071628288 208078 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347718325 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=18424/tid=18428] ppid=18422 vsize=1046512 CPUtime=100.73 cores=0,2,4,6
/proc/18424/task/18428/stat : 18428 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 49339 0 0 0 9934 139 0 0 25 0 5 0 516242610 1071628288 208078 33554432000 4194304 4338100 140734125963936 18446744073709551615 232335287742 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=18424/tid=18429] ppid=18422 vsize=1046512 CPUtime=101.3 cores=0,2,4,6
/proc/18424/task/18429/stat : 18429 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 48677 0 0 0 10051 79 0 0 25 0 5 0 516242610 1071628288 208078 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347718325 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 404.78
Current children cumulated vsize (KiB) 1046512

[startup+162.301 s]
/proc/loadavg: 8.26 8.22 8.10 9/190 18433
/proc/meminfo: memFree=23395884/32951124 swapFree=67111524/67111528
[pid=18424] ppid=18422 vsize=1289184 CPUtime=643.95 cores=0,2,4,6
/proc/18424/stat : 18424 (ttsth-5-4) S 18422 18424 18211 0 -1 4202496 274132 0 0 0 63782 613 0 0 25 0 5 0 516242515 1320124416 270360 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347695077 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/18424/statm: 322296 270360 178 36 0 320201 0
[pid=18424/tid=18426] ppid=18422 vsize=1289184 CPUtime=161.01 cores=0,2,4,6
/proc/18424/task/18426/stat : 18426 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 59340 0 0 0 15875 226 0 0 25 0 5 0 516242610 1320124416 270360 33554432000 4194304 4338100 140734125963936 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=18424/tid=18427] ppid=18422 vsize=1289184 CPUtime=160.05 cores=0,2,4,6
/proc/18424/task/18427/stat : 18427 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 75286 0 0 0 15958 47 0 0 18 0 5 0 516242610 1320124416 270360 33554432000 4194304 4338100 140734125963936 18446744073709551615 4254315 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=18424/tid=18428] ppid=18422 vsize=1289184 CPUtime=160.62 cores=0,2,4,6
/proc/18424/task/18428/stat : 18428 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 62329 0 0 0 15841 221 0 0 25 0 5 0 516242610 1320124416 270360 33554432000 4194304 4338100 140734125963936 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=18424/tid=18429] ppid=18422 vsize=1289184 CPUtime=161.28 cores=0,2,4,6
/proc/18424/task/18429/stat : 18429 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 64778 0 0 0 16014 114 0 0 25 0 5 0 516242610 1320124416 270360 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347718325 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 643.95
Current children cumulated vsize (KiB) 1289184


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

/proc/meminfo: memFree=21603884/32951124 swapFree=67111524/67111528
[pid=18424] ppid=18422 vsize=2239396 CPUtime=2797.11 cores=0,2,4,6
/proc/18424/stat : 18424 (ttsth-5-4) S 18422 18424 18211 0 -1 4202496 527932 0 0 0 277435 2276 0 0 25 0 5 0 516242515 2293141504 524160 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347695077 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/18424/statm: 559849 524160 178 36 0 557754 0
[pid=18424/tid=18426] ppid=18422 vsize=2239396 CPUtime=698.52 cores=0,2,4,6
/proc/18424/task/18426/stat : 18426 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 114284 0 0 0 69214 638 0 0 25 0 5 0 516242610 2293141504 524160 33554432000 4194304 4338100 140734125963936 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=18424/tid=18427] ppid=18422 vsize=2239396 CPUtime=698.88 cores=0,2,4,6
/proc/18424/task/18427/stat : 18427 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 153576 0 0 0 69400 488 0 0 25 0 5 0 516242610 2293141504 524160 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347718325 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=18424/tid=18428] ppid=18422 vsize=2239396 CPUtime=699.58 cores=0,2,4,6
/proc/18424/task/18428/stat : 18428 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 113354 0 0 0 69302 656 0 0 18 0 5 0 516242610 2293141504 524160 33554432000 4194304 4338100 140734125963936 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=18424/tid=18429] ppid=18422 vsize=2239396 CPUtime=699.16 cores=0,2,4,6
/proc/18424/task/18429/stat : 18429 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 134319 0 0 0 69425 491 0 0 25 0 5 0 516242610 2293141504 524160 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347718325 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2797.11
Current children cumulated vsize (KiB) 2239396

[startup+762.307 s]
/proc/loadavg: 8.15 8.20 8.17 9/190 18449
/proc/meminfo: memFree=21490784/32951124 swapFree=67111524/67111528
[pid=18424] ppid=18422 vsize=2269660 CPUtime=3036.4 cores=0,2,4,6
/proc/18424/stat : 18424 (ttsth-5-4) S 18422 18424 18211 0 -1 4202496 538139 0 0 0 301200 2440 0 0 25 0 5 0 516242515 2324131840 534367 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347695077 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/18424/statm: 567415 534367 178 36 0 565320 0
[pid=18424/tid=18426] ppid=18422 vsize=2269660 CPUtime=758.47 cores=0,2,4,6
/proc/18424/task/18426/stat : 18426 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 119568 0 0 0 75180 667 0 0 25 0 5 0 516242610 2324131840 534367 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347718325 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=18424/tid=18427] ppid=18422 vsize=2269660 CPUtime=758.84 cores=0,2,4,6
/proc/18424/task/18427/stat : 18427 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 154278 0 0 0 75334 550 0 0 25 0 5 0 516242610 2324131840 534367 33554432000 4194304 4338100 140734125963936 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=18424/tid=18428] ppid=18422 vsize=2269660 CPUtime=759.07 cores=0,2,4,6
/proc/18424/task/18428/stat : 18428 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 116432 0 0 0 75244 663 0 0 18 0 5 0 516242610 2324131840 534367 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347718325 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=18424/tid=18429] ppid=18422 vsize=2269660 CPUtime=759.03 cores=0,2,4,6
/proc/18424/task/18429/stat : 18429 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 135462 0 0 0 75347 556 0 0 25 0 5 0 516242610 2324131840 534367 33554432000 4194304 4338100 140734125963936 18446744073709551615 4263499 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3036.4
Current children cumulated vsize (KiB) 2269660

[startup+822.3 s]
/proc/loadavg: 8.13 8.18 8.16 9/190 18451
/proc/meminfo: memFree=21333664/32951124 swapFree=67111524/67111528
[pid=18424] ppid=18422 vsize=2349312 CPUtime=3275.75 cores=0,2,4,6
/proc/18424/stat : 18424 (ttsth-5-4) S 18422 18424 18211 0 -1 4202496 559016 0 0 0 324941 2634 0 0 25 0 5 0 516242515 2405695488 555244 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347695077 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/18424/statm: 587328 555244 178 36 0 585233 0
[pid=18424/tid=18426] ppid=18422 vsize=2349312 CPUtime=818.43 cores=0,2,4,6
/proc/18424/task/18426/stat : 18426 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 125990 0 0 0 81149 694 0 0 25 0 5 0 516242610 2405695488 555244 33554432000 4194304 4338100 140734125963936 18446744073709551615 4254388 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=18424/tid=18427] ppid=18422 vsize=2349312 CPUtime=818.8 cores=0,2,4,6
/proc/18424/task/18427/stat : 18427 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 158983 0 0 0 81250 630 0 0 25 0 5 0 516242610 2405695488 555244 33554432000 4194304 4338100 140734125963936 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=18424/tid=18428] ppid=18422 vsize=2349312 CPUtime=818.84 cores=0,2,4,6
/proc/18424/task/18428/stat : 18428 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 120010 0 0 0 81216 668 0 0 18 0 5 0 516242610 2405695488 555244 33554432000 4194304 4338100 140734125963936 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=18424/tid=18429] ppid=18422 vsize=2349312 CPUtime=818.68 cores=0,2,4,6
/proc/18424/task/18429/stat : 18429 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 141634 0 0 0 81230 638 0 0 25 0 5 0 516242610 2405695488 555244 33554432000 4194304 4338100 140734125963936 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3275.75
Current children cumulated vsize (KiB) 2349312

[startup+882.301 s]
/proc/loadavg: 8.08 8.16 8.15 9/190 18453
/proc/meminfo: memFree=21153088/32951124 swapFree=67111524/67111528
[pid=18424] ppid=18422 vsize=2431828 CPUtime=3515.05 cores=0,2,4,6
/proc/18424/stat : 18424 (ttsth-5-4) S 18422 18424 18211 0 -1 4202496 581228 0 0 0 348688 2817 0 0 25 0 5 0 516242515 2490191872 577456 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347695077 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/18424/statm: 607957 577456 178 36 0 605862 0
[pid=18424/tid=18426] ppid=18422 vsize=2431828 CPUtime=878.28 cores=0,2,4,6
/proc/18424/task/18426/stat : 18426 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 134524 0 0 0 87117 711 0 0 18 0 5 0 516242610 2490191872 577456 33554432000 4194304 4338100 140734125963936 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=18424/tid=18427] ppid=18422 vsize=2431828 CPUtime=878.5 cores=0,2,4,6
/proc/18424/task/18427/stat : 18427 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 161283 0 0 0 87144 706 0 0 25 0 5 0 516242610 2490191872 577456 33554432000 4194304 4338100 140734125963936 18446744073709551615 4239520 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=18424/tid=18428] ppid=18422 vsize=2431828 CPUtime=878.74 cores=0,2,4,6
/proc/18424/task/18428/stat : 18428 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 127279 0 0 0 87188 686 0 0 25 0 5 0 516242610 2490191872 577456 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347718325 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=18424/tid=18429] ppid=18422 vsize=2431828 CPUtime=878.56 cores=0,2,4,6
/proc/18424/task/18429/stat : 18429 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 145743 0 0 0 87145 711 0 0 25 0 5 0 516242610 2490191872 577456 33554432000 4194304 4338100 140734125963936 18446744073709551615 4206896 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3515.05
Current children cumulated vsize (KiB) 2431828

[startup+942.301 s]
/proc/loadavg: 8.13 8.16 8.15 9/190 18454
/proc/meminfo: memFree=21013456/32951124 swapFree=67111524/67111528
[pid=18424] ppid=18422 vsize=2458700 CPUtime=3754.38 cores=0,2,4,6
/proc/18424/stat : 18424 (ttsth-5-4) S 18422 18424 18211 0 -1 4202496 589958 0 0 0 372470 2968 0 0 25 0 5 0 516242515 2517708800 586186 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347695077 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/18424/statm: 614675 586186 178 36 0 612580 0
[pid=18424/tid=18426] ppid=18422 vsize=2458700 CPUtime=937.98 cores=0,2,4,6
/proc/18424/task/18426/stat : 18426 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 138869 0 0 0 93078 720 0 0 18 0 5 0 516242610 2517708800 586186 33554432000 4194304 4338100 140734125963936 18446744073709551615 4254388 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=18424/tid=18427] ppid=18422 vsize=2458700 CPUtime=938.23 cores=0,2,4,6
/proc/18424/task/18427/stat : 18427 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 161744 0 0 0 93060 763 0 0 25 0 5 0 516242610 2517708800 586186 33554432000 4194304 4338100 140734125963936 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=18424/tid=18428] ppid=18422 vsize=2458700 CPUtime=938.72 cores=0,2,4,6
/proc/18424/task/18428/stat : 18428 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 129685 0 0 0 93160 712 0 0 25 0 5 0 516242610 2517708800 586186 33554432000 4194304 4338100 140734125963936 18446744073709551615 4254289 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=18424/tid=18429] ppid=18422 vsize=2458700 CPUtime=938.47 cores=0,2,4,6
/proc/18424/task/18429/stat : 18429 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 147261 0 0 0 93078 769 0 0 25 0 5 0 516242610 2517708800 586186 33554432000 4194304 4338100 140734125963936 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3754.38
Current children cumulated vsize (KiB) 2458700

[startup+1002.3 s]
/proc/loadavg: 8.18 8.17 8.16 9/190 18456
/proc/meminfo: memFree=20861668/32951124 swapFree=67111524/67111528
[pid=18424] ppid=18422 vsize=2526236 CPUtime=3993.73 cores=0,2,4,6
/proc/18424/stat : 18424 (ttsth-5-4) S 18422 18424 18211 0 -1 4202496 606608 0 0 0 396257 3116 0 0 25 0 5 0 516242515 2586865664 602836 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347695077 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/18424/statm: 631559 602836 178 36 0 629464 0
[pid=18424/tid=18426] ppid=18422 vsize=2526236 CPUtime=997.82 cores=0,2,4,6
/proc/18424/task/18426/stat : 18426 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 145336 0 0 0 99043 739 0 0 25 0 5 0 516242610 2586865664 602836 33554432000 4194304 4338100 140734125963936 18446744073709551615 4254388 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=18424/tid=18427] ppid=18422 vsize=2526236 CPUtime=997.98 cores=0,2,4,6
/proc/18424/task/18427/stat : 18427 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 162509 0 0 0 98984 814 0 0 25 0 5 0 516242610 2586865664 602836 33554432000 4194304 4338100 140734125963936 18446744073709551615 4254404 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=18424/tid=18428] ppid=18422 vsize=2526236 CPUtime=998.67 cores=0,2,4,6
/proc/18424/task/18428/stat : 18428 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 138027 0 0 0 99121 746 0 0 25 0 5 0 516242610 2586865664 602836 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347718325 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=18424/tid=18429] ppid=18422 vsize=2526236 CPUtime=998.29 cores=0,2,4,6
/proc/18424/task/18429/stat : 18429 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 148337 0 0 0 99015 814 0 0 18 0 5 0 516242610 2586865664 602836 33554432000 4194304 4338100 140734125963936 18446744073709551615 4254208 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3993.73
Current children cumulated vsize (KiB) 2526236

[startup+1062.3 s]
/proc/loadavg: 8.46 8.23 8.18 9/190 18457
/proc/meminfo: memFree=20732316/32951124 swapFree=67111524/67111528
[pid=18424] ppid=18422 vsize=2593228 CPUtime=4232.95 cores=0,2,4,6
/proc/18424/stat : 18424 (ttsth-5-4) S 18422 18424 18211 0 -1 4202496 622467 0 0 0 420032 3263 0 0 25 0 5 0 516242515 2655465472 618695 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347695077 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/18424/statm: 648307 618695 178 36 0 646212 0
[pid=18424/tid=18426] ppid=18422 vsize=2593228 CPUtime=1057.75 cores=0,2,4,6
/proc/18424/task/18426/stat : 18426 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 150975 0 0 0 104979 796 0 0 25 0 5 0 516242610 2655465472 618695 33554432000 4194304 4338100 140734125963936 18446744073709551615 4254437 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=18424/tid=18427] ppid=18422 vsize=2593228 CPUtime=1057.87 cores=0,2,4,6
/proc/18424/task/18427/stat : 18427 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 164813 0 0 0 104951 836 0 0 18 0 5 0 516242610 2655465472 618695 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347718325 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=18424/tid=18428] ppid=18422 vsize=2593228 CPUtime=1058.42 cores=0,2,4,6
/proc/18424/task/18428/stat : 18428 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 144744 0 0 0 105040 802 0 0 25 0 5 0 516242610 2655465472 618695 33554432000 4194304 4338100 140734125963936 18446744073709551615 4254321 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=18424/tid=18429] ppid=18422 vsize=2593228 CPUtime=1057.94 cores=0,2,4,6
/proc/18424/task/18429/stat : 18429 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 149536 0 0 0 104968 826 0 0 25 0 5 0 516242610 2655465472 618695 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347718325 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4232.95
Current children cumulated vsize (KiB) 2593228

[startup+1122.3 s]
/proc/loadavg: 8.18 8.20 8.17 9/190 18491
/proc/meminfo: memFree=22614392/32951124 swapFree=67111524/67111528
[pid=18424] ppid=18422 vsize=2623756 CPUtime=4472.08 cores=0,2,4,6
/proc/18424/stat : 18424 (ttsth-5-4) S 18422 18424 18211 0 -1 4202496 632643 0 0 0 443790 3418 0 0 25 0 5 0 516242515 2686726144 628871 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347695077 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/18424/statm: 655939 628871 178 36 0 653844 0
[pid=18424/tid=18426] ppid=18422 vsize=2623756 CPUtime=1117.66 cores=0,2,4,6
/proc/18424/task/18426/stat : 18426 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 153499 0 0 0 110912 854 0 0 25 0 5 0 516242610 2686726144 628871 33554432000 4194304 4338100 140734125963936 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=18424/tid=18427] ppid=18422 vsize=2623756 CPUtime=1117.26 cores=0,2,4,6
/proc/18424/task/18427/stat : 18427 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 165525 0 0 0 110884 842 0 0 18 0 5 0 516242610 2686726144 628871 33554432000 4194304 4338100 140734125963936 18446744073709551615 4287708 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=18424/tid=18428] ppid=18422 vsize=2623756 CPUtime=1118.3 cores=0,2,4,6
/proc/18424/task/18428/stat : 18428 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 149983 0 0 0 110968 862 0 0 25 0 5 0 516242610 2686726144 628871 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347718325 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=18424/tid=18429] ppid=18422 vsize=2623756 CPUtime=1117.9 cores=0,2,4,6
/proc/18424/task/18429/stat : 18429 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 151237 0 0 0 110933 857 0 0 25 0 5 0 516242610 2686726144 628871 33554432000 4194304 4338100 140734125963936 18446744073709551615 4287662 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4472.08
Current children cumulated vsize (KiB) 2623756

[startup+1182.3 s]
/proc/loadavg: 8.31 8.22 8.18 9/190 18493
/proc/meminfo: memFree=21450280/32951124 swapFree=67111524/67111528
[pid=18424] ppid=18422 vsize=2657808 CPUtime=4711.23 cores=0,2,4,6
/proc/18424/stat : 18424 (ttsth-5-4) S 18422 18424 18211 0 -1 4202496 643124 0 0 0 467568 3555 0 0 25 0 5 0 516242515 2721595392 639352 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347695077 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/18424/statm: 664452 639352 178 36 0 662357 0
[pid=18424/tid=18426] ppid=18422 vsize=2657808 CPUtime=1177.39 cores=0,2,4,6
/proc/18424/task/18426/stat : 18426 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 155002 0 0 0 116841 898 0 0 25 0 5 0 516242610 2721595392 639352 33554432000 4194304 4338100 140734125963936 18446744073709551615 4254208 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=18424/tid=18427] ppid=18422 vsize=2657808 CPUtime=1176.76 cores=0,2,4,6
/proc/18424/task/18427/stat : 18427 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 173423 0 0 0 116823 853 0 0 19 0 5 0 516242610 2721595392 639352 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347718325 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=18424/tid=18428] ppid=18422 vsize=2657808 CPUtime=1178.26 cores=0,2,4,6
/proc/18424/task/18428/stat : 18428 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 150364 0 0 0 116916 910 0 0 25 0 5 0 516242610 2721595392 639352 33554432000 4194304 4338100 140734125963936 18446744073709551615 4254289 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=18424/tid=18429] ppid=18422 vsize=2657808 CPUtime=1177.84 cores=0,2,4,6
/proc/18424/task/18429/stat : 18429 (ttsth-5-4) R 18422 18424 18211 0 -1 4202560 151936 0 0 0 116894 890 0 0 25 0 5 0 516242610 2721595392 639353 33554432000 4194304 4338100 140734125963936 18446744073709551615 232347718325 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4711.23
Current children cumulated vsize (KiB) 2657808



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.6 s]
/proc/loadavg: 8.22 8.21 8.18 6/187 18493
/proc/meminfo: memFree=22067684/32951124 swapFree=67111524/67111528
[pid=18424] ppid=18422 vsize=0 CPUtime=4800.09 cores=0,2,4,6
/proc/18424/stat : 18424 (ttsth-5-4) Z 18422 18424 18211 0 -1 4203548 657256 0 0 0 476384 3625 0 0 18 0 2 0 516242515 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/18424/statm: 0 0 0 0 0 0 0
[pid=18424/tid=18429] ppid=18422 vsize=0 CPUtime=1200.14 cores=0,2,4,6
/proc/18424/task/18429/stat : 18429 (ttsth-5-4) R 18422 18424 18211 0 -1 4203588 154717 0 0 0 119104 910 0 0 25 0 2 0 516242610 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.09
Current children cumulated vsize (KiB) 0

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

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

Child status: 0
Real time (s): 1204.67
CPU time (s): 4800.16
CPU user time (s): 4763.84
CPU system time (s): 36.3215
CPU usage (%): 398.463
Max. virtual memory (cumulated for all children) (KiB): 2715036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4763.84
system time used= 36.3215
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 657256
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= 20041
involuntary context switches= 80955

runsolver used 2.03769 second user time and 4.54631 second system time

The end

Launcher Data 

Begin job on node132 at 2011-04-29 05:07:24
IDJOB=3257558
IDBENCH=71139
IDSOLVER=1654
FILE ID=node132/3257558-1304046443
RUNJOBID= node132-1304045149-18229
PBS_JOBID= 13170396
Free space on /tmp= 71868 MiB

SOLVER NAME= ttsth 5-4
BENCH NAME= SAT09/CRAFTED/modcircuits/mod4block_3vars_7gates.cnf
COMMAND LINE= DIR/ttsth-5-4 -num-threads NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3257558-1304046443/watcher-3257558-1304046443 -o /tmp/evaluation-result-3257558-1304046443/solver-3257558-1304046443 -C 4800 -W 1300 -M 15500  HOME/ttsth-5-4 -num-threads 4 HOME/instance-3257558-1304046443.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= cc925e6de728ca79f6f89379842f14b0
RANDOM SEED=2095877861

node132.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24969304 kB
Buffers:        760376 kB
Cached:        6210864 kB
SwapCached:          4 kB
Active:        2309584 kB
Inactive:      5174444 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24969304 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            3456 kB
Writeback:           0 kB
AnonPages:      512632 kB
Mapped:          15308 kB
Slab:           435060 kB
PageTables:       5440 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   706336 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71868 MiB
End job on node132 at 2011-04-29 05:27:30