Trace number 3249988

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.36 1202.31

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-14-14-unsat.cnf
MD5SUM78a2cc7b74fc3d9947709f16156cc565
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 variables196
Number of clauses1470
Sum of the clauses size5292
Maximum clause length14
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21274
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5196

Solver Data 

0.00/0.00	c Command: HOME/ttsth-5-4 -num-threads 4 HOME/instance-3249988-1304087588.cnf 
0.00/0.00	c Using SATTIMEOUT of 4800
0.00/0.00	c Using SATRAM of 15500
0.00/0.00	c Size of subset node = 32
0.00/0.00	c Variables = 196
0.00/0.00	c Clauses = 1470
0.00/0.00	c Literals = 5292
0.00/0.00	c Reduced size:
0.00/0.00	c Variables = 196
0.00/0.00	c Clauses = 1470
0.00/0.00	c Literals = 5292
0.00/0.00	c a2
0.00/0.00	c a1
0.10/0.10	c Independent sub-problems = 1
0.10/0.10	c Sub-problem with 196 variables and 1470 clauses
0.10/0.10	c using permutation method 4
0.10/0.10	c count = 2
0.10/0.10	c Ordering finished 0.100 seconds
0.10/0.10	c mapped 0.100 seconds
0.10/0.10	c permuted 0.100 seconds
0.10/0.10	c about to sort
0.10/0.10	c sorted
0.10/0.10	c clauses now 1470
0.10/0.10	c init finished 0.100 seconds
0.10/0.10	c tree built 0.100 seconds
0.10/0.10	c 
0.10/0.10	c PA progress                      | CPU progress Partial assignments | improvements                 ucps  CPU time       PA/sec  nodes
0.10/0.10	c ---------------------------------|----------------------------------|--------------------------------------------------------------------
0.10/0.10	c ................................ | ..........                    |                                  0.1         0.0             
0.10/0.10	c ................................ | ..........                  1 |                                  0.1        10.0             
0.10/0.10	c ................................ | ..........                  2 |                                  0.1        20.0             
0.10/0.10	c ................................ | ..........                  3 |                                  0.1        30.0             
0.10/0.10	c ................................ | ..........                  4 |                                  0.1        40.0             
0.10/0.10	c ................................ | ..........                  5 |                                  0.1        50.0             
0.10/0.11	c ................................ | ..........               1000 | 211          102                 0.1      9090.9         1769
95.88/24.13	c ................................ | ..........            1095000 | 371277       51878              96.0     11405.1      7218290
192.09/48.22	c ................................ | ..........            1705000 | 581398       63331             192.2      8871.0     12141080
287.90/72.25	c ................................ | ..........            2072000 | 706606       70761             288.1      7191.7     14981066
383.69/96.28	c ................................ | ..........            2491000 | 849732       76831             384.0      6486.8     17484986
479.92/120.32	c ................................ | *.........            2785000 | 951487       81289             480.0      5802.1     18966661
576.11/144.40	c ................................ | *.........            3053000 | 1045797      84149             576.1      5299.1     22262675
671.91/168.46	c ................................ | *.........            3288000 | 1128605      86273             672.2      4891.5     24579194
768.18/192.53	c ................................ | *.........            3492000 | 1199983      88450             768.3      4545.1     27139025
864.68/216.72	c ................................ | *.........            3751000 | 1288877      91687             864.8      4337.6     29006177
960.09/240.63	c ................................ | **........            3948000 | 1358257      94461             960.2      4111.6     30196713
1055.91/264.64	c ................................ | **........            4109000 | 1415131      96424            1056.1      3890.7     31393415
1152.16/288.73	c ................................ | **........            4279000 | 1475536      97901            1152.3      3713.5     33430260
1248.00/312.72	c ................................ | **........            4484000 | 1546748      100228           1248.1      3592.7     34529415
1344.67/336.91	c ................................ | **........            4621000 | 1594878      101556           1344.7      3436.4     35156954
1440.13/360.82	c ................................ | ***.......            4791000 | 1653108      103765           1440.2      3326.6     37044278
1535.98/384.84	c ................................ | ***.......            4953000 | 1709197      105154           1536.2      3224.3     39026854
1632.22/408.93	c ................................ | ***.......            5110000 | 1763931      106815           1632.4      3130.4     40346778
1728.46/433.00	c ................................ | ***.......            5237000 | 1808669      107833           1728.5      3029.8     41613995
1824.34/457.07	c ................................ | ***.......            5346000 | 1846454      108414           1824.6      2929.9     43205445
1920.21/481.07	c ................................ | ****......            5450000 | 1882511      109088           1920.5      2837.8     44673438
2015.68/504.99	c ................................ | ****......            5589000 | 1930429      109994           2016.0      2772.3     46622703
2111.94/529.03	c ................................ | ****......            5699000 | 1968230      110686           2112.0      2698.3     48487473
2207.79/553.06	c ................................ | ****......            5846000 | 2018347      112103           2208.0      2647.6     50094897
2303.95/577.19	c ................................ | ****......            5941000 | 2050960      112871           2304.3      2578.2     51018063
2400.21/601.20	c ................................ | *****.....            6072000 | 2096943      113910           2400.2      2529.8     51232038
2496.81/625.46	c ................................ | *****.....            6219000 | 2148343      114570           2497.1      2490.5     52014978
2592.26/649.35	c ................................ | *****.....            6324000 | 2184722      115171           2592.5      2439.4     52769796
2688.47/673.46	c ................................ | *****.....            6506000 | 2247410      116809           2688.7      2419.7     52872493
2783.95/697.39	c ................................ | *****.....            6681000 | 2307310      118443           2784.3      2399.5     53241137
2880.19/721.47	c ................................ | ******....            6807000 | 2350949      119266           2880.5      2363.2     54537607
2975.96/745.45	c ................................ | ******....            6964000 | 2405916      120744           2976.2      2339.9     55552563
3072.54/769.60	c ................................ | ******....            7149000 | 2470873      121887           3072.5      2326.7     56088795
3168.77/793.72	c ................................ | ******....            7319000 | 2529853      122692           3168.9      2309.7     56922156
3264.57/817.74	c ................................ | ******....            7505000 | 2594178      123903           3264.8      2298.8     57428476
3360.41/841.74	c ................................ | *******...            7650000 | 2644879      124857           3360.6      2276.4     58725515
3455.91/865.67	c ................................ | *******...            7772000 | 2687435      125839           3456.2      2248.7     60013304
3552.15/889.74	c ................................ | *******...            7920000 | 2739134      126245           3552.3      2229.5     60832772
3647.63/913.69	c ................................ | *******...            8051000 | 2784698      126533           3648.0      2207.0     61522913
3744.29/937.82	c ................................ | *******...            8196000 | 2834392      127248           3744.4      2188.9     62295965
3840.50/961.92	c ................................ | ********..            8330000 | 2880702      128179           3840.6      2168.9     63169135
3935.98/985.87	c ................................ | ********..            8398000 | 2904894      128436           3936.3      2133.5     63559495
4033.45/1010.25	c ................................ | ********..            8450000 | 2923216      128646           4033.7      2094.9     64042417
4128.14/1033.98	c ................................ | ********..            8518000 | 2946998      128986           4128.5      2063.2     64623389
4224.78/1058.13	c ................................ | ********..            8597000 | 2974462      129187           4224.9      2034.8     65366247
4319.84/1081.97	c ................................ | *********.            8695000 | 3007981      129662           4320.1      2012.7     66371819
4416.04/1106.02	c ................................ | *********.            8759000 | 3030208      129945           4416.1      1983.4     66548840
4513.40/1130.43	c ................................ | *********.            8824000 | 3052846      130307           4513.6      1955.0     67044730
4608.47/1154.20	c ................................ | *********.            8882000 | 3073358      130651           4608.5      1927.3     67247208
4703.96/1178.18	c ................................ | *********.            8973000 | 3105326      131143           4704.3      1907.4     67715708

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

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-3249988-1304087588/watcher-3249988-1304087588 -o /tmp/evaluation-result-3249988-1304087588/solver-3249988-1304087588 -C 4800 -W 1300 -M 15500 HOME/ttsth-5-4 -num-threads 4 HOME/instance-3249988-1304087588.cnf 

running on 4 cores: 1,3,5,7

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: 6.37 7.73 7.91 3/176 24219
/proc/meminfo: memFree=25320548/32951124 swapFree=67051468/67111528
[pid=24219] ppid=24217 vsize=9244 CPUtime=0 cores=1,3,5,7
/proc/24219/stat : 24219 (ttsth-5-4) R 24217 24219 24182 0 -1 4202496 393 0 0 0 0 0 0 0 22 0 1 0 520361577 9465856 336 33554432000 4194304 4338100 140735201903712 18446744073709551615 218370352144 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24219/statm: 2311 336 149 36 0 216 0

[startup+0.0667179 s]
/proc/loadavg: 6.37 7.73 7.91 3/176 24219
/proc/meminfo: memFree=25320548/32951124 swapFree=67051468/67111528
[pid=24219] ppid=24217 vsize=9244 CPUtime=0.06 cores=1,3,5,7
/proc/24219/stat : 24219 (ttsth-5-4) R 24217 24219 24182 0 -1 4202496 402 0 0 0 6 0 0 0 22 0 1 0 520361577 9465856 345 33554432000 4194304 4338100 140735201903712 18446744073709551615 4295924 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24219/statm: 2311 345 152 36 0 216 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9244

[startup+0.100715 s]
/proc/loadavg: 6.37 7.73 7.91 3/176 24219
/proc/meminfo: memFree=25320548/32951124 swapFree=67051468/67111528
[pid=24219] ppid=24217 vsize=9380 CPUtime=0.1 cores=1,3,5,7
/proc/24219/stat : 24219 (ttsth-5-4) R 24217 24219 24182 0 -1 4202496 405 0 0 0 10 0 0 0 22 0 1 0 520361577 9605120 348 33554432000 4194304 4338100 140735201903712 18446744073709551615 4245205 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24219/statm: 2345 348 152 36 0 250 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9380

[startup+0.300641 s]
/proc/loadavg: 6.37 7.73 7.91 3/176 24219
/proc/meminfo: memFree=25320548/32951124 swapFree=67051468/67111528
[pid=24219] ppid=24217 vsize=262248 CPUtime=0.86 cores=1,3,5,7
/proc/24219/stat : 24219 (ttsth-5-4) S 24217 24219 24182 0 -1 4202496 2429 0 0 0 86 0 0 0 23 0 5 0 520361577 268541952 2372 33554432000 4194304 4338100 140735201903712 18446744073709551615 218382759909 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/24219/statm: 65562 2372 173 36 0 63467 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 262248

[startup+0.700572 s]
/proc/loadavg: 6.37 7.73 7.91 3/176 24219
/proc/meminfo: memFree=25320548/32951124 swapFree=67051468/67111528
[pid=24219] ppid=24217 vsize=265508 CPUtime=2.46 cores=1,3,5,7
/proc/24219/stat : 24219 (ttsth-5-4) S 24217 24219 24182 0 -1 4202496 4398 0 0 0 245 1 0 0 23 0 5 0 520361577 271880192 4341 33554432000 4194304 4338100 140735201903712 18446744073709551615 218382759909 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/24219/statm: 66377 4341 173 36 0 64282 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 265508

[startup+1.50043 s]
/proc/loadavg: 6.37 7.73 7.91 10/186 24229
/proc/meminfo: memFree=25285668/32951124 swapFree=67051468/67111528
[pid=24219] ppid=24217 vsize=281148 CPUtime=5.64 cores=1,3,5,7
/proc/24219/stat : 24219 (ttsth-5-4) S 24217 24219 24182 0 -1 4202496 8559 0 0 0 560 4 0 0 23 0 5 0 520361577 287895552 8502 33554432000 4194304 4338100 140735201903712 18446744073709551615 218382759909 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/24219/statm: 70287 8502 173 36 0 68192 0
[pid=24219/tid=24222] ppid=24217 vsize=281148 CPUtime=1.38 cores=1,3,5,7
/proc/24219/task/24222/stat : 24222 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 1532 0 0 0 138 0 0 0 20 0 5 0 520361588 287895552 8502 33554432000 4194304 4338100 140735201903712 18446744073709551615 4253954 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=24219/tid=24223] ppid=24217 vsize=281148 CPUtime=1.38 cores=1,3,5,7
/proc/24219/task/24223/stat : 24223 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 1558 0 0 0 137 1 0 0 25 0 5 0 520361588 287895552 8502 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=24219/tid=24224] ppid=24217 vsize=281148 CPUtime=1.38 cores=1,3,5,7
/proc/24219/task/24224/stat : 24224 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 2917 0 0 0 137 1 0 0 20 0 5 0 520361588 287895552 8502 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254404 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=24219/tid=24225] ppid=24217 vsize=281148 CPUtime=1.37 cores=1,3,5,7
/proc/24219/task/24225/stat : 24225 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 1503 0 0 0 136 1 0 0 25 0 5 0 520361588 287895552 8502 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254342 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.64
Current children cumulated vsize (KiB) 281148

[startup+3.10115 s]
/proc/loadavg: 6.37 7.73 7.91 10/186 24229
/proc/meminfo: memFree=25212384/32951124 swapFree=67051468/67111528
[pid=24219] ppid=24217 vsize=307112 CPUtime=12.03 cores=1,3,5,7
/proc/24219/stat : 24219 (ttsth-5-4) S 24217 24219 24182 0 -1 4202496 13950 0 0 0 1192 11 0 0 23 0 5 0 520361577 314482688 13893 33554432000 4194304 4338100 140735201903712 18446744073709551615 218382759909 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/24219/statm: 76778 13894 175 36 0 74683 0
[pid=24219/tid=24222] ppid=24217 vsize=307112 CPUtime=2.98 cores=1,3,5,7
/proc/24219/task/24222/stat : 24222 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 2823 0 0 0 297 1 0 0 25 0 5 0 520361588 314482688 13894 33554432000 4194304 4338100 140735201903712 18446744073709551615 4234407 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=24219/tid=24223] ppid=24217 vsize=307112 CPUtime=2.97 cores=1,3,5,7
/proc/24219/task/24223/stat : 24223 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 2714 0 0 0 294 3 0 0 25 0 5 0 520361588 314482688 13894 33554432000 4194304 4338100 140735201903712 18446744073709551615 4263499 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=24219/tid=24224] ppid=24217 vsize=307112 CPUtime=2.98 cores=1,3,5,7
/proc/24219/task/24224/stat : 24224 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 4443 0 0 0 296 2 0 0 25 0 5 0 520361588 314482688 13894 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254827 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=24219/tid=24225] ppid=24217 vsize=307112 CPUtime=2.96 cores=1,3,5,7
/proc/24219/task/24225/stat : 24225 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 2922 0 0 0 292 4 0 0 25 0 5 0 520361588 314482688 13894 33554432000 4194304 4338100 140735201903712 18446744073709551615 218382783157 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.03
Current children cumulated vsize (KiB) 307112

[startup+6.30058 s]
/proc/loadavg: 6.50 7.73 7.91 10/186 24229
/proc/meminfo: memFree=25088640/32951124 swapFree=67051468/67111528
[pid=24219] ppid=24217 vsize=344912 CPUtime=24.8 cores=1,3,5,7
/proc/24219/stat : 24219 (ttsth-5-4) S 24217 24219 24182 0 -1 4202496 23442 0 0 0 2455 25 0 0 23 0 5 0 520361577 353189888 23385 33554432000 4194304 4338100 140735201903712 18446744073709551615 218382759909 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/24219/statm: 86228 23386 175 36 0 84133 0
[pid=24219/tid=24222] ppid=24217 vsize=344912 CPUtime=6.18 cores=1,3,5,7
/proc/24219/task/24222/stat : 24222 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 5104 0 0 0 613 5 0 0 25 0 5 0 520361588 353189888 23386 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254863 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=24219/tid=24223] ppid=24217 vsize=344912 CPUtime=6.17 cores=1,3,5,7
/proc/24219/task/24223/stat : 24223 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 3860 0 0 0 609 8 0 0 25 0 5 0 520361588 353189888 23387 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=24219/tid=24224] ppid=24217 vsize=344912 CPUtime=6.17 cores=1,3,5,7
/proc/24219/task/24224/stat : 24224 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 9358 0 0 0 614 3 0 0 25 0 5 0 520361588 353189888 23387 33554432000 4194304 4338100 140735201903712 18446744073709551615 4234407 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=24219/tid=24225] ppid=24217 vsize=344912 CPUtime=6.14 cores=1,3,5,7
/proc/24219/task/24225/stat : 24225 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 4072 0 0 0 606 8 0 0 25 0 5 0 520361588 353189888 23387 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254208 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.8
Current children cumulated vsize (KiB) 344912

[startup+12.7004 s]
/proc/loadavg: 6.62 7.74 7.91 10/186 24229
/proc/meminfo: memFree=24941740/32951124 swapFree=67051468/67111528
[pid=24219] ppid=24217 vsize=392124 CPUtime=50.35 cores=1,3,5,7
/proc/24219/stat : 24219 (ttsth-5-4) S 24217 24219 24182 0 -1 4202496 34903 0 0 0 4971 64 0 0 23 0 5 0 520361577 401534976 34846 33554432000 4194304 4338100 140735201903712 18446744073709551615 218382759909 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/24219/statm: 98031 34846 175 36 0 95936 0
[pid=24219/tid=24222] ppid=24217 vsize=392124 CPUtime=12.58 cores=1,3,5,7
/proc/24219/task/24222/stat : 24222 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 9442 0 0 0 1245 13 0 0 25 0 5 0 520361588 401534976 34846 33554432000 4194304 4338100 140735201903712 18446744073709551615 218382783157 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=24219/tid=24223] ppid=24217 vsize=392124 CPUtime=12.53 cores=1,3,5,7
/proc/24219/task/24223/stat : 24223 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 5873 0 0 0 1235 18 0 0 25 0 5 0 520361588 401534976 34846 33554432000 4194304 4338100 140735201903712 18446744073709551615 218370352890 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=24219/tid=24224] ppid=24217 vsize=392124 CPUtime=12.56 cores=1,3,5,7
/proc/24219/task/24224/stat : 24224 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 12729 0 0 0 1246 10 0 0 25 0 5 0 520361588 401534976 34846 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=24219/tid=24225] ppid=24217 vsize=392124 CPUtime=12.54 cores=1,3,5,7
/proc/24219/task/24225/stat : 24225 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 5810 0 0 0 1233 21 0 0 25 0 5 0 520361588 401534976 34846 33554432000 4194304 4338100 140735201903712 18446744073709551615 4234407 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.35
Current children cumulated vsize (KiB) 392124

[startup+25.5012 s]
/proc/loadavg: 6.93 7.75 7.91 10/186 24229
/proc/meminfo: memFree=24706012/32951124 swapFree=67051468/67111528
[pid=24219] ppid=24217 vsize=492996 CPUtime=101.45 cores=1,3,5,7
/proc/24219/stat : 24219 (ttsth-5-4) S 24217 24219 24182 0 -1 4202496 60424 0 0 0 10030 115 0 0 23 0 5 0 520361577 504827904 60367 33554432000 4194304 4338100 140735201903712 18446744073709551615 218382759909 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/24219/statm: 123249 60367 175 36 0 121154 0
[pid=24219/tid=24222] ppid=24217 vsize=492996 CPUtime=25.36 cores=1,3,5,7
/proc/24219/task/24222/stat : 24222 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 15767 0 0 0 2513 23 0 0 25 0 5 0 520361588 504827904 60367 33554432000 4194304 4338100 140735201903712 18446744073709551615 218382783157 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=24219/tid=24223] ppid=24217 vsize=492996 CPUtime=25.25 cores=1,3,5,7
/proc/24219/task/24223/stat : 24223 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 10999 0 0 0 2490 35 0 0 25 0 5 0 520361588 504827904 60369 33554432000 4194304 4338100 140735201903712 18446744073709551615 218370352582 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=24219/tid=24224] ppid=24217 vsize=492996 CPUtime=25.36 cores=1,3,5,7
/proc/24219/task/24224/stat : 24224 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 22201 0 0 0 2519 17 0 0 25 0 5 0 520361588 504827904 60370 33554432000 4194304 4338100 140735201903712 18446744073709551615 4234407 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=24219/tid=24225] ppid=24217 vsize=492996 CPUtime=25.33 cores=1,3,5,7
/proc/24219/task/24225/stat : 24225 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 10410 0 0 0 2496 37 0 0 25 0 5 0 520361588 504827904 60370 33554432000 4194304 4338100 140735201903712 18446744073709551615 4234407 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.45
Current children cumulated vsize (KiB) 492996

[startup+51.1006 s]
/proc/loadavg: 7.36 7.78 7.91 11/186 24230
/proc/meminfo: memFree=24366264/32951124 swapFree=67051468/67111528
[pid=24219] ppid=24217 vsize=653232 CPUtime=203.68 cores=1,3,5,7
/proc/24219/stat : 24219 (ttsth-5-4) S 24217 24219 24182 0 -1 4202496 100714 0 0 0 20177 191 0 0 23 0 5 0 520361577 668909568 100649 33554432000 4194304 4338100 140735201903712 18446744073709551615 218382759909 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/24219/statm: 163308 100649 175 36 0 161213 0
[pid=24219/tid=24222] ppid=24217 vsize=653232 CPUtime=50.96 cores=1,3,5,7
/proc/24219/task/24222/stat : 24222 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 29747 0 0 0 5058 38 0 0 25 0 5 0 520361588 668909568 100649 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=24219/tid=24223] ppid=24217 vsize=653232 CPUtime=50.75 cores=1,3,5,7
/proc/24219/task/24223/stat : 24223 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 16968 0 0 0 5013 62 0 0 25 0 5 0 520361588 668909568 100649 33554432000 4194304 4338100 140735201903712 18446744073709551615 218382783157 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=24219/tid=24224] ppid=24217 vsize=653232 CPUtime=50.92 cores=1,3,5,7
/proc/24219/task/24224/stat : 24224 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 36848 0 0 0 5066 26 0 0 25 0 5 0 520361588 668909568 100649 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254294 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=24219/tid=24225] ppid=24217 vsize=653232 CPUtime=50.92 cores=1,3,5,7
/proc/24219/task/24225/stat : 24225 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 16102 0 0 0 5028 64 0 0 25 0 5 0 520361588 668909568 100649 33554432000 4194304 4338100 140735201903712 18446744073709551615 218382783157 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.68
Current children cumulated vsize (KiB) 653232

[startup+102.306 s]
/proc/loadavg: 7.85 7.85 7.93 10/186 24231
/proc/meminfo: memFree=23878436/32951124 swapFree=67051468/67111528
[pid=24219] ppid=24217 vsize=830432 CPUtime=408.06 cores=1,3,5,7
/proc/24219/stat : 24219 (ttsth-5-4) S 24217 24219 24182 0 -1 4202496 143090 0 0 0 40518 288 0 0 23 0 5 0 520361577 850362368 143024 33554432000 4194304 4338100 140735201903712 18446744073709551615 218382759909 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/24219/statm: 207608 143024 176 36 0 205513 0
[pid=24219/tid=24222] ppid=24217 vsize=830432 CPUtime=102.1 cores=1,3,5,7
/proc/24219/task/24222/stat : 24222 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 46868 0 0 0 10157 53 0 0 25 0 5 0 520361588 850362368 143024 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=24219/tid=24223] ppid=24217 vsize=830432 CPUtime=101.92 cores=1,3,5,7
/proc/24219/task/24223/stat : 24223 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 20132 0 0 0 10095 97 0 0 25 0 5 0 520361588 850362368 143024 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254388 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=24219/tid=24224] ppid=24217 vsize=830432 CPUtime=101.8 cores=1,3,5,7
/proc/24219/task/24224/stat : 24224 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 55415 0 0 0 10145 35 0 0 25 0 5 0 520361588 850362368 143024 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254317 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=24219/tid=24225] ppid=24217 vsize=830432 CPUtime=102.09 cores=1,3,5,7
/proc/24219/task/24225/stat : 24225 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 19626 0 0 0 10109 100 0 0 25 0 5 0 520361588 850362368 143024 33554432000 4194304 4338100 140735201903712 18446744073709551615 218382783157 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.06
Current children cumulated vsize (KiB) 830432

[startup+162.301 s]
/proc/loadavg: 8.08 7.90 7.94 10/186 24233
/proc/meminfo: memFree=23404852/32951124 swapFree=67051468/67111528
[pid=24219] ppid=24217 vsize=1040136 CPUtime=647.58 cores=1,3,5,7
/proc/24219/stat : 24219 (ttsth-5-4) S 24217 24219 24182 0 -1 4202496 195889 0 0 0 64378 380 0 0 23 0 5 0 520361577 1065099264 195823 33554432000 4194304 4338100 140735201903712 18446744073709551615 218382759909 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/24219/statm: 260034 195823 176 36 0 257939 0
[pid=24219/tid=24222] ppid=24217 vsize=1040136 CPUtime=162.05 cores=1,3,5,7
/proc/24219/task/24222/stat : 24222 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 65327 0 0 0 16137 68 0 0 25 0 5 0 520361588 1065099264 195823 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=24219/tid=24223] ppid=24217 vsize=1040136 CPUtime=161.64 cores=1,3,5,7
/proc/24219/task/24223/stat : 24223 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 26520 0 0 0 16033 131 0 0 25 0 5 0 520361588 1065099264 195823 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254329 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=24219/tid=24224] ppid=24217 vsize=1040136 CPUtime=161.69 cores=1,3,5,7
/proc/24219/task/24224/stat : 24224 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 80041 0 0 0 16124 45 0 0 25 0 5 0 520361588 1065099264 195823 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=24219/tid=24225] ppid=24217 vsize=1040136 CPUtime=162.05 cores=1,3,5,7
/proc/24219/task/24225/stat : 24225 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 22952 0 0 0 16071 134 0 0 25 0 5 0 520361588 1065099264 195823 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254384 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 647.58
Current children cumulated vsize (KiB) 1040136


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

[pid=24219/tid=24223] ppid=24217 vsize=2033128 CPUtime=701.34 cores=1,3,5,7
/proc/24219/task/24223/stat : 24223 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 52327 0 0 0 69817 317 0 0 25 0 5 0 520361588 2081923072 438600 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254329 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=24219/tid=24224] ppid=24217 vsize=2033128 CPUtime=701.54 cores=1,3,5,7
/proc/24219/task/24224/stat : 24224 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 216725 0 0 0 70052 102 0 0 25 0 5 0 520361588 2081923072 438600 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=24219/tid=24225] ppid=24217 vsize=2033128 CPUtime=701.16 cores=1,3,5,7
/proc/24219/task/24225/stat : 24225 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 40240 0 0 0 69803 313 0 0 25 0 5 0 520361588 2081923072 438600 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254291 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2803.91
Current children cumulated vsize (KiB) 2033128

[startup+762.307 s]
/proc/loadavg: 8.10 8.07 8.00 10/186 24249
/proc/meminfo: memFree=22189128/32951124 swapFree=67051468/67111528
[pid=24219] ppid=24217 vsize=2119296 CPUtime=3043.42 cores=1,3,5,7
/proc/24219/stat : 24219 (ttsth-5-4) S 24217 24219 24182 0 -1 4202496 459047 0 0 0 303426 916 0 0 23 0 5 0 520361577 2170159104 458981 33554432000 4194304 4338100 140735201903712 18446744073709551615 218382759909 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/24219/statm: 529824 458981 176 36 0 527729 0
[pid=24219/tid=24222] ppid=24217 vsize=2119296 CPUtime=759.66 cores=1,3,5,7
/proc/24219/task/24222/stat : 24222 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 128777 0 0 0 75829 137 0 0 25 0 5 0 520361588 2170159104 458981 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=24219/tid=24223] ppid=24217 vsize=2119296 CPUtime=761.31 cores=1,3,5,7
/proc/24219/task/24223/stat : 24223 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 54067 0 0 0 75796 335 0 0 25 0 5 0 520361588 2170159104 458981 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=24219/tid=24224] ppid=24217 vsize=2119296 CPUtime=761.51 cores=1,3,5,7
/proc/24219/task/24224/stat : 24224 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 232703 0 0 0 76043 108 0 0 25 0 5 0 520361588 2170159104 458981 33554432000 4194304 4338100 140735201903712 18446744073709551615 4286734 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=24219/tid=24225] ppid=24217 vsize=2119296 CPUtime=760.79 cores=1,3,5,7
/proc/24219/task/24225/stat : 24225 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 42451 0 0 0 75746 333 0 0 25 0 5 0 520361588 2170159104 458981 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3043.42
Current children cumulated vsize (KiB) 2119296

[startup+822.301 s]
/proc/loadavg: 8.19 8.10 8.01 10/186 24251
/proc/meminfo: memFree=22040308/32951124 swapFree=67051468/67111528
[pid=24219] ppid=24217 vsize=2205592 CPUtime=3282.92 cores=1,3,5,7
/proc/24219/stat : 24219 (ttsth-5-4) S 24217 24219 24182 0 -1 4202496 479679 0 0 0 327331 961 0 0 23 0 5 0 520361577 2258526208 479613 33554432000 4194304 4338100 140735201903712 18446744073709551615 218382759909 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/24219/statm: 551398 479613 176 36 0 549303 0
[pid=24219/tid=24222] ppid=24217 vsize=2205592 CPUtime=819.4 cores=1,3,5,7
/proc/24219/task/24222/stat : 24222 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 128782 0 0 0 81800 140 0 0 25 0 5 0 520361588 2258526208 479613 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=24219/tid=24223] ppid=24217 vsize=2205592 CPUtime=821.27 cores=1,3,5,7
/proc/24219/task/24223/stat : 24223 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 56104 0 0 0 81775 352 0 0 25 0 5 0 520361588 2258526208 479613 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254388 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=24219/tid=24224] ppid=24217 vsize=2205592 CPUtime=821.44 cores=1,3,5,7
/proc/24219/task/24224/stat : 24224 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 249219 0 0 0 82028 116 0 0 25 0 5 0 520361588 2258526208 479613 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=24219/tid=24225] ppid=24217 vsize=2205592 CPUtime=820.68 cores=1,3,5,7
/proc/24219/task/24225/stat : 24225 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 44525 0 0 0 81717 351 0 0 25 0 5 0 520361588 2258526208 479613 33554432000 4194304 4338100 140735201903712 18446744073709551615 218382783157 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3282.92
Current children cumulated vsize (KiB) 2205592

[startup+882.3 s]
/proc/loadavg: 8.07 8.08 8.00 10/186 24252
/proc/meminfo: memFree=21913440/32951124 swapFree=67051468/67111528
[pid=24219] ppid=24217 vsize=2299432 CPUtime=3522.58 cores=1,3,5,7
/proc/24219/stat : 24219 (ttsth-5-4) S 24217 24219 24182 0 -1 4202496 503120 0 0 0 351247 1011 0 0 23 0 5 0 520361577 2354618368 503054 33554432000 4194304 4338100 140735201903712 18446744073709551615 218382759909 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/24219/statm: 574858 503054 176 36 0 572763 0
[pid=24219/tid=24222] ppid=24217 vsize=2299432 CPUtime=879.4 cores=1,3,5,7
/proc/24219/task/24222/stat : 24222 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 128787 0 0 0 87793 147 0 0 25 0 5 0 520361588 2354618368 503054 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=24219/tid=24223] ppid=24217 vsize=2299432 CPUtime=881.27 cores=1,3,5,7
/proc/24219/task/24223/stat : 24223 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 56106 0 0 0 87758 369 0 0 25 0 5 0 520361588 2354618368 503054 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=24219/tid=24224] ppid=24217 vsize=2299432 CPUtime=881.11 cores=1,3,5,7
/proc/24219/task/24224/stat : 24224 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 272651 0 0 0 87988 123 0 0 25 0 5 0 520361588 2354618368 503054 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254231 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=24219/tid=24225] ppid=24217 vsize=2299432 CPUtime=880.67 cores=1,3,5,7
/proc/24219/task/24225/stat : 24225 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 44527 0 0 0 87696 371 0 0 25 0 5 0 520361588 2354618368 503054 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3522.58
Current children cumulated vsize (KiB) 2299432

[startup+942.301 s]
/proc/loadavg: 8.02 8.06 8.00 10/186 24254
/proc/meminfo: memFree=21825116/32951124 swapFree=67051468/67111528
[pid=24219] ppid=24217 vsize=2355736 CPUtime=3762.27 cores=1,3,5,7
/proc/24219/stat : 24219 (ttsth-5-4) S 24217 24219 24182 0 -1 4202496 517333 0 0 0 375172 1055 0 0 23 0 5 0 520361577 2412273664 517267 33554432000 4194304 4338100 140735201903712 18446744073709551615 218382759909 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/24219/statm: 588934 517267 176 36 0 586839 0
[pid=24219/tid=24222] ppid=24217 vsize=2355736 CPUtime=939.4 cores=1,3,5,7
/proc/24219/task/24222/stat : 24222 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 128790 0 0 0 93788 152 0 0 25 0 5 0 520361588 2412273664 517267 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254388 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=24219/tid=24223] ppid=24217 vsize=2355736 CPUtime=941.26 cores=1,3,5,7
/proc/24219/task/24223/stat : 24223 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 56107 0 0 0 93742 384 0 0 25 0 5 0 520361588 2412273664 517267 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=24219/tid=24224] ppid=24217 vsize=2355736 CPUtime=940.79 cores=1,3,5,7
/proc/24219/task/24224/stat : 24224 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 286859 0 0 0 93948 131 0 0 25 0 5 0 520361588 2412273664 517267 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254285 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=24219/tid=24225] ppid=24217 vsize=2355736 CPUtime=940.67 cores=1,3,5,7
/proc/24219/task/24225/stat : 24225 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 44528 0 0 0 93681 386 0 0 25 0 5 0 520361588 2412273664 517267 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3762.27
Current children cumulated vsize (KiB) 2355736

[startup+1002.3 s]
/proc/loadavg: 8.01 8.05 8.00 10/186 24255
/proc/meminfo: memFree=21764600/32951124 swapFree=67051468/67111528
[pid=24219] ppid=24217 vsize=2399528 CPUtime=4001.9 cores=1,3,5,7
/proc/24219/stat : 24219 (ttsth-5-4) S 24217 24219 24182 0 -1 4202496 528150 0 0 0 399104 1086 0 0 23 0 5 0 520361577 2457116672 528084 33554432000 4194304 4338100 140735201903712 18446744073709551615 218382759909 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/24219/statm: 599882 528084 176 36 0 597787 0
[pid=24219/tid=24222] ppid=24217 vsize=2399528 CPUtime=999.38 cores=1,3,5,7
/proc/24219/task/24222/stat : 24222 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 130164 0 0 0 99783 155 0 0 25 0 5 0 520361588 2457116672 528084 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=24219/tid=24223] ppid=24217 vsize=2399528 CPUtime=1001.26 cores=1,3,5,7
/proc/24219/task/24223/stat : 24223 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 56109 0 0 0 99730 396 0 0 25 0 5 0 520361588 2457116672 528084 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254254 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=24219/tid=24224] ppid=24217 vsize=2399528 CPUtime=1000.47 cores=1,3,5,7
/proc/24219/task/24224/stat : 24224 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 296299 0 0 0 99911 136 0 0 25 0 5 0 520361588 2457116672 528084 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254418 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=24219/tid=24225] ppid=24217 vsize=2399528 CPUtime=1000.65 cores=1,3,5,7
/proc/24219/task/24225/stat : 24225 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 44529 0 0 0 99668 397 0 0 25 0 5 0 520361588 2457116672 528084 33554432000 4194304 4338100 140735201903712 18446744073709551615 218382783157 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4001.9
Current children cumulated vsize (KiB) 2399528

[startup+1062.3 s]
/proc/loadavg: 8.11 8.07 8.01 10/186 24257
/proc/meminfo: memFree=21708160/32951124 swapFree=67051468/67111528
[pid=24219] ppid=24217 vsize=2449576 CPUtime=4241.54 cores=1,3,5,7
/proc/24219/stat : 24219 (ttsth-5-4) S 24217 24219 24182 0 -1 4202496 540840 0 0 0 423034 1120 0 0 23 0 5 0 520361577 2508365824 540774 33554432000 4194304 4338100 140735201903712 18446744073709551615 218382759909 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/24219/statm: 612394 540774 176 36 0 610299 0
[pid=24219/tid=24222] ppid=24217 vsize=2449576 CPUtime=1059.37 cores=1,3,5,7
/proc/24219/task/24222/stat : 24222 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 135604 0 0 0 105774 163 0 0 25 0 5 0 520361588 2508365824 540774 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=24219/tid=24223] ppid=24217 vsize=2449576 CPUtime=1061.23 cores=1,3,5,7
/proc/24219/task/24223/stat : 24223 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 56110 0 0 0 105716 407 0 0 25 0 5 0 520361588 2508365824 540774 33554432000 4194304 4338100 140735201903712 18446744073709551615 218382783157 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=24219/tid=24224] ppid=24217 vsize=2449576 CPUtime=1060.15 cores=1,3,5,7
/proc/24219/task/24224/stat : 24224 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 303547 0 0 0 105874 141 0 0 25 0 5 0 520361588 2508365824 540774 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=24219/tid=24225] ppid=24217 vsize=2449576 CPUtime=1060.64 cores=1,3,5,7
/proc/24219/task/24225/stat : 24225 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 44530 0 0 0 105657 407 0 0 25 0 5 0 520361588 2508365824 540774 33554432000 4194304 4338100 140735201903712 18446744073709551615 218382783157 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4241.54
Current children cumulated vsize (KiB) 2449576

[startup+1122.3 s]
/proc/loadavg: 8.16 8.08 8.01 10/186 24259
/proc/meminfo: memFree=21665612/32951124 swapFree=67051468/67111528
[pid=24219] ppid=24217 vsize=2493368 CPUtime=4481.11 cores=1,3,5,7
/proc/24219/stat : 24219 (ttsth-5-4) S 24217 24219 24182 0 -1 4202496 551350 0 0 0 446962 1149 0 0 23 0 5 0 520361577 2553208832 551284 33554432000 4194304 4338100 140735201903712 18446744073709551615 218382759909 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/24219/statm: 623342 551284 176 36 0 621247 0
[pid=24219/tid=24222] ppid=24217 vsize=2493368 CPUtime=1119.33 cores=1,3,5,7
/proc/24219/task/24222/stat : 24222 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 139443 0 0 0 111766 167 0 0 25 0 5 0 520361588 2553208832 551284 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=24219/tid=24223] ppid=24217 vsize=2493368 CPUtime=1121.21 cores=1,3,5,7
/proc/24219/task/24223/stat : 24223 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 56111 0 0 0 111703 418 0 0 25 0 5 0 520361588 2553208832 551284 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254326 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=24219/tid=24224] ppid=24217 vsize=2493368 CPUtime=1120 cores=1,3,5,7
/proc/24219/task/24224/stat : 24224 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 310216 0 0 0 111856 144 0 0 25 0 5 0 520361588 2553208832 551284 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254254 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=24219/tid=24225] ppid=24217 vsize=2493368 CPUtime=1120.43 cores=1,3,5,7
/proc/24219/task/24225/stat : 24225 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 44531 0 0 0 111625 418 0 0 25 0 5 0 520361588 2553208832 551284 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4481.11
Current children cumulated vsize (KiB) 2493368

[startup+1182.3 s]
/proc/loadavg: 8.06 8.07 8.01 10/186 24260
/proc/meminfo: memFree=21631740/32951124 swapFree=67051468/67111528
[pid=24219] ppid=24217 vsize=2524648 CPUtime=4720.71 cores=1,3,5,7
/proc/24219/stat : 24219 (ttsth-5-4) S 24217 24219 24182 0 -1 4202496 559742 0 0 0 470891 1180 0 0 23 0 5 0 520361577 2585239552 559676 33554432000 4194304 4338100 140735201903712 18446744073709551615 218382759909 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/24219/statm: 631162 559676 176 36 0 629067 0
[pid=24219/tid=24222] ppid=24217 vsize=2524648 CPUtime=1179.31 cores=1,3,5,7
/proc/24219/task/24222/stat : 24222 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 140478 0 0 0 117760 171 0 0 25 0 5 0 520361588 2585239552 559676 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254357 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=24219/tid=24223] ppid=24217 vsize=2524648 CPUtime=1181.19 cores=1,3,5,7
/proc/24219/task/24223/stat : 24223 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 56112 0 0 0 117688 431 0 0 25 0 5 0 520361588 2585239552 559676 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254362 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=24219/tid=24224] ppid=24217 vsize=2524648 CPUtime=1180 cores=1,3,5,7
/proc/24219/task/24224/stat : 24224 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 317571 0 0 0 117853 147 0 0 25 0 5 0 520361588 2585239552 559676 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254388 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=24219/tid=24225] ppid=24217 vsize=2524648 CPUtime=1180.06 cores=1,3,5,7
/proc/24219/task/24225/stat : 24225 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 44532 0 0 0 117577 429 0 0 25 0 5 0 520361588 2585239552 559676 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254462 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4720.71
Current children cumulated vsize (KiB) 2524648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.2 s]
/proc/loadavg: 8.04 8.06 8.00 9/186 24261
/proc/meminfo: memFree=21615852/32951124 swapFree=67051468/67111528
[pid=24219] ppid=24217 vsize=2540288 CPUtime=4800.25 cores=1,3,5,7
/proc/24219/stat : 24219 (ttsth-5-4) S 24217 24219 24182 0 -1 4202496 563331 0 0 0 478834 1191 0 0 23 0 5 0 520361577 2601254912 563265 33554432000 4194304 4338100 140735201903712 18446744073709551615 218382759909 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/24219/statm: 635072 563265 176 36 0 632977 0
[pid=24219/tid=24222] ppid=24217 vsize=2540288 CPUtime=1199.23 cores=1,3,5,7
/proc/24219/task/24222/stat : 24222 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 141447 0 0 0 119750 173 0 0 25 0 5 0 520361588 2601254912 563265 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=24219/tid=24223] ppid=24217 vsize=2540288 CPUtime=1201.1 cores=1,3,5,7
/proc/24219/task/24223/stat : 24223 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 56112 0 0 0 119676 434 0 0 25 0 5 0 520361588 2601254912 563265 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254213 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=24219/tid=24224] ppid=24217 vsize=2540288 CPUtime=1199.92 cores=1,3,5,7
/proc/24219/task/24224/stat : 24224 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 320191 0 0 0 119843 149 0 0 25 0 5 0 520361588 2601254912 563265 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254337 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=24219/tid=24225] ppid=24217 vsize=2540288 CPUtime=1199.86 cores=1,3,5,7
/proc/24219/task/24225/stat : 24225 (ttsth-5-4) R 24217 24219 24182 0 -1 4202560 44532 0 0 0 119553 433 0 0 25 0 5 0 520361588 2601254912 563265 33554432000 4194304 4338100 140735201903712 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 2540288

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.31
CPU time (s): 4800.36
CPU user time (s): 4788.37
CPU system time (s): 11.9972
CPU usage (%): 399.263
Max. virtual memory (cumulated for all children) (KiB): 2540288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4788.37
system time used= 11.9972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 563332
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= 9768
involuntary context switches= 40140

runsolver used 2.08568 second user time and 4.37434 second system time

The end

Launcher Data 

Begin job on node101 at 2011-04-29 16:33:08
IDJOB=3249988
IDBENCH=83211
IDSOLVER=1654
FILE ID=node101/3249988-1304087588
RUNJOBID= node101-1304087588-24201
PBS_JOBID= 13170559
Free space on /tmp= 72024 MiB

SOLVER NAME= ttsth 5-4
BENCH NAME= SAT11/crafted/skvortsov/battleship/battleship-14-14-unsat.cnf
COMMAND LINE= DIR/ttsth-5-4 -num-threads NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3249988-1304087588/watcher-3249988-1304087588 -o /tmp/evaluation-result-3249988-1304087588/solver-3249988-1304087588 -C 4800 -W 1300 -M 15500  HOME/ttsth-5-4 -num-threads 4 HOME/instance-3249988-1304087588.cnf

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

MD5SUM BENCH= 78a2cc7b74fc3d9947709f16156cc565
RANDOM SEED=264554957

node101.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.841
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.68
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.841
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	: 5226.07
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.841
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.77
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.841
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.83
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.841
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.74
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.841
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.83
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.841
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.75
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.841
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25321068 kB
Buffers:       2024852 kB
Cached:        5125508 kB
SwapCached:      30452 kB
Active:        3057712 kB
Inactive:      4126688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25321068 kB
SwapTotal:    67111528 kB
SwapFree:     67051468 kB
Dirty:             196 kB
Writeback:           0 kB
AnonPages:       25632 kB
Mapped:           8648 kB
Slab:           380360 kB
PageTables:       4792 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   185364 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72024 MiB
End job on node101 at 2011-04-29 16:53:12