Trace number 3249240

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.28 1202.69

General information on the benchmark

Namecrafted/mosoi/289/
289-unsat-6x30.cnf
MD5SUMb4a3233c98b6a02fd9143f926d90025d
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.182971
Satisfiable
(Un)Satisfiability was proved
Number of variables720
Number of clauses27360
Sum of the clauses size107280
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21080
Number of clauses of size 30
Number of clauses of size 426280
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.02	c Command: HOME/ttsth-5-4 -num-threads 4 HOME/instance-3249240-1304060966.cnf 
0.00/0.02	c Using SATTIMEOUT of 4800
0.00/0.02	c Using SATRAM of 15500
0.00/0.02	c Size of subset node = 32
0.00/0.02	c Variables = 720
0.00/0.02	c Clauses = 27360
0.00/0.02	c Literals = 107280
0.00/0.02	c Reduced size:
0.00/0.02	c Variables = 720
0.00/0.02	c Clauses = 27360
0.00/0.02	c Literals = 107280
0.00/0.02	c a2
0.06/0.08	c a1
0.09/0.15	c Independent sub-problems = 1
0.09/0.15	c Sub-problem with 720 variables and 27360 clauses
0.09/0.15	c using permutation method 4
0.09/0.15	c count = 1
0.09/0.15	c Ordering finished 0.140 seconds
0.09/0.15	c mapped 0.150 seconds
0.09/0.15	c permuted 0.150 seconds
0.09/0.15	c about to sort
0.09/0.16	c sorted
0.19/0.21	c clauses now 27360
0.19/0.21	c init finished 0.160 seconds
0.19/0.21	c tree built 0.200 seconds
0.19/0.21	c 
0.19/0.21	c PA progress                      | CPU progress Partial assignments | improvements                 ucps  CPU time       PA/sec  nodes
0.19/0.21	c ---------------------------------|----------------------------------|--------------------------------------------------------------------
0.19/0.21	c ................................ | ..........                    |                                  0.2         0.0             
0.19/0.21	c ................................ | ..........                  1 |                                  0.2         5.0             
0.19/0.21	c ................................ | ..........                  2 |                                  0.2        10.0             
0.19/0.21	c ................................ | ..........                  3 |                                  0.2        15.0             
0.19/0.21	c ................................ | ..........                  4 |                                  0.2        20.0             
0.19/0.21	c ................................ | ..........                  5 |                                  0.2        25.0             
0.19/0.22	c ................................ | ..........               1000 | 21           1150                0.2      4545.5         2001
95.86/24.25	c ................................ | ..........            1049000 | 106595       1177045            96.0     10927.1      4770279
191.95/48.34	c ................................ | ..........            1657000 | 162692       1720118           192.1      8625.3      7164022
288.05/72.41	c ................................ | ..........            2239000 | 220979       2232801           288.1      7771.9     10042106
383.79/96.47	c ................................ | ..........            2695000 | 268233       2571781           384.1      7017.0     12250335
479.97/120.52	c ................................ | *.........            2969000 | 296669       2781249           480.1      6184.8     13189695
576.14/144.60	c ................................ | *.........            3347000 | 329005       3073349           576.2      5808.9     14710626
672.31/168.71	c ................................ | *.........            3692000 | 365247       3306225           672.1      5492.9     16373382
768.10/192.71	c ................................ | *.........            4068000 | 416669       3508719           768.2      5295.8     19106952
863.94/216.77	c ................................ | *.........            4348000 | 453233       3670286           864.2      5031.1     20380844
960.14/240.80	c ................................ | **........            4800000 | 502433       3885518           960.2      4999.2     22172963
1056.39/264.90	c ................................ | **........            4979000 | 522216       3998893          1056.4      4713.2     22907050
1152.20/288.93	c ................................ | **........            5122000 | 535884       4095157          1152.3      4444.9     23422322
1247.64/312.89	c ................................ | **........            5302000 | 553515       4180129          1248.0      4248.3     24011461
1344.29/337.00	c ................................ | **........            5449000 | 569001       4250153          1344.3      4053.4     24455387
1440.11/361.07	c ................................ | ***.......            5631000 | 589194       4363207          1440.4      3909.3     24990031
1535.90/385.03	c ................................ | ***.......            5836000 | 611178       4524543          1536.0      3799.4     25814090
1632.10/409.14	c ................................ | ***.......            5997000 | 627407       4668888          1632.3      3674.0     26111771
1727.91/433.16	c ................................ | ***.......            6211000 | 647144       4856150          1728.2      3594.0     26997704
1824.10/457.23	c ................................ | ***.......            6393000 | 664554       5015752          1824.2      3504.5     27868818
1919.93/481.25	c ................................ | ****......            6581000 | 693209       5133672          1920.1      3427.4     29697342
2016.56/505.42	c ................................ | ****......            6844000 | 731872       5272529          2016.4      3394.2     31886584
2112.36/529.48	c ................................ | ****......            7082000 | 765668       5427604          2112.7      3352.2     32407191
2208.19/553.41	c ................................ | ****......            7289000 | 793011       5574178          2208.1      3301.0     33467126
2304.01/577.44	c ................................ | ****......            7475000 | 819596       5686232          2304.1      3244.2     34514561
2400.24/601.56	c ................................ | *****.....            7696000 | 848505       5817602          2400.4      3206.1     35636269
2496.47/625.60	c ................................ | *****.....            7875000 | 870019       5926572          2496.4      3154.6     36259229
2592.31/649.62	c ................................ | *****.....            7990000 | 884135       5998429          2592.1      3082.5     36794622
2688.52/673.74	c ................................ | *****.....            8213000 | 907150       6133240          2688.4      3054.9     37740474
2784.31/697.72	c ................................ | *****.....            8456000 | 933711       6287152          2784.3      3037.1     38807028
2880.14/721.71	c ................................ | ******....            8612000 | 949523       6392655          2880.2      2990.1     39299376
2975.94/745.77	c ................................ | ******....            8695000 | 960332       6458216          2976.0      2921.7     39728208
3072.18/769.88	c ................................ | ******....            8794000 | 970548       6526773          3072.5      2862.2     40202802
3168.81/794.04	c ................................ | ******....            8899000 | 982132       6593716          3169.0      2808.2     40728432
3263.79/817.85	c ................................ | ******....            8997000 | 993390       6657910          3264.0      2756.4     41115718
3360.43/842.09	c ................................ | *******...            9092000 | 1001913      6713342          3360.8      2705.3     41544497
3456.28/866.07	c ................................ | *******...            9187000 | 1010711      6768857          3456.6      2657.8     42038166
3552.11/890.00	c ................................ | *******...            9351000 | 1027707      6876456          3552.1      2632.5     42790091
3648.72/914.21	c ................................ | *******...            9571000 | 1053964      7015438          3648.8      2623.1     43308016
3744.13/938.20	c ................................ | *******...            9716000 | 1071445      7118699          3744.5      2594.7     43308016
3840.33/962.26	c ................................ | ********..            9861000 | 1085142      7219504          3840.5      2567.6     43562738
3936.12/986.26	c ................................ | ********..           10032000 | 1101999      7342171          3936.3      2548.6     44202034
4032.33/1010.32	c ................................ | ********..           10189000 | 1115706      7448869          4032.4      2526.8     44727231
4128.15/1034.33	c ................................ | ********..           10353000 | 1136112      7543928          4128.1      2508.0     45636407
4224.38/1058.43	c ................................ | ********..           10530000 | 1158718      7649510          4224.4      2492.7     46194126
4320.23/1082.49	c ................................ | *********.           10691000 | 1178628      7735951          4320.2      2474.6     46742923
4416.45/1106.56	c ................................ | *********.           10848000 | 1197315      7820794          4416.7      2456.1     47502518
4512.29/1130.53	c ................................ | *********.           11009000 | 1214088      7903120          4512.1      2439.9     48164359
4608.48/1154.60	c ................................ | *********.           11166000 | 1229480      7991680          4608.4      2423.0     48515968
4703.91/1178.53	c ................................ | *********.           11255000 | 1237950      8049368          4704.1      2392.6     48582139

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-3249240-1304060966/watcher-3249240-1304060966 -o /tmp/evaluation-result-3249240-1304060966/solver-3249240-1304060966 -C 4800 -W 1300 -M 15500 HOME/ttsth-5-4 -num-threads 4 HOME/instance-3249240-1304060966.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: 4.91 7.22 7.45 2/174 15746
/proc/meminfo: memFree=17916564/32951124 swapFree=67111528/67111528
[pid=15746] ppid=15744 vsize=9408 CPUtime=0 cores=0,2,4,6
/proc/15746/stat : 15746 (ttsth-5-4) R 15744 15746 12737 0 -1 4202496 403 0 0 0 0 0 0 0 23 0 1 0 517699262 9633792 345 33554432000 4194304 4338100 140734537578160 18446744073709551615 216634515200 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/15746/statm: 2352 345 147 36 0 257 0

[startup+0.074248 s]
/proc/loadavg: 4.91 7.22 7.45 2/174 15746
/proc/meminfo: memFree=17916564/32951124 swapFree=67111528/67111528
[pid=15746] ppid=15744 vsize=18088 CPUtime=0.06 cores=0,2,4,6
/proc/15746/stat : 15746 (ttsth-5-4) R 15744 15746 12737 0 -1 4202496 2581 0 0 0 6 0 0 0 23 0 1 0 517699262 18522112 2522 33554432000 4194304 4338100 140734537578160 18446744073709551615 4245786 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/15746/statm: 4522 2522 153 36 0 2427 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 18088

[startup+0.100193 s]
/proc/loadavg: 4.91 7.22 7.45 2/174 15746
/proc/meminfo: memFree=17916564/32951124 swapFree=67111528/67111528
[pid=15746] ppid=15744 vsize=13908 CPUtime=0.09 cores=0,2,4,6
/proc/15746/stat : 15746 (ttsth-5-4) R 15744 15746 12737 0 -1 4202496 2691 0 0 0 9 0 0 0 23 0 1 0 517699262 14241792 1516 33554432000 4194304 4338100 140734537578160 18446744073709551615 4245205 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/15746/statm: 3477 1516 155 36 0 1382 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13908

[startup+0.30212 s]
/proc/loadavg: 4.91 7.22 7.45 2/174 15746
/proc/meminfo: memFree=17916564/32951124 swapFree=67111528/67111528
[pid=15746] ppid=15744 vsize=214328 CPUtime=0.54 cores=0,2,4,6
/proc/15746/stat : 15746 (ttsth-5-4) S 15744 15746 12737 0 -1 4202496 7056 0 0 0 54 0 0 0 25 0 5 0 517699262 219471872 5827 33554432000 4194304 4338100 140734537578160 18446744073709551615 216646318053 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/15746/statm: 53648 6066 176 36 0 51553 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 214328

[startup+0.85918 s]
/proc/loadavg: 4.91 7.22 7.45 2/174 15746
/proc/meminfo: memFree=17916564/32951124 swapFree=67111528/67111528
[pid=15746] ppid=15744 vsize=281184 CPUtime=2.97 cores=0,2,4,6
/proc/15746/stat : 15746 (ttsth-5-4) S 15744 15746 12737 0 -1 4202496 8584 0 0 0 294 3 0 0 25 0 5 0 517699262 287932416 7355 33554432000 4194304 4338100 140734537578160 18446744073709551615 216646318053 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/15746/statm: 70362 7988 176 36 0 68267 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 281184

[startup+1.75191 s]
/proc/loadavg: 4.91 7.22 7.45 2/174 15746
/proc/meminfo: memFree=17916564/32951124 swapFree=67111528/67111528
[pid=15746] ppid=15744 vsize=291492 CPUtime=6.38 cores=0,2,4,6
/proc/15746/stat : 15746 (ttsth-5-4) S 15744 15746 12737 0 -1 4202496 11789 0 0 0 634 4 0 0 25 0 5 0 517699262 298487808 10560 33554432000 4194304 4338100 140734537578160 18446744073709551615 216646318053 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/15746/statm: 72873 10560 176 36 0 70778 0
Current children cumulated CPU time (s) 6.38
Current children cumulated vsize (KiB) 291492

[startup+3.10062 s]
/proc/loadavg: 4.91 7.22 7.45 10/186 15761
/proc/meminfo: memFree=17796272/32951124 swapFree=67111528/67111528
[pid=15746] ppid=15744 vsize=301404 CPUtime=11.68 cores=0,2,4,6
/proc/15746/stat : 15746 (ttsth-5-4) S 15744 15746 12737 0 -1 4202496 15216 0 0 0 1161 7 0 0 25 0 5 0 517699262 308637696 13987 33554432000 4194304 4338100 140734537578160 18446744073709551615 216646318053 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/15746/statm: 75351 13987 176 36 0 73256 0
[pid=15746/tid=15754] ppid=15744 vsize=301404 CPUtime=2.85 cores=0,2,4,6
/proc/15746/task/15754/stat : 15754 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 2438 0 0 0 283 2 0 0 22 0 5 0 517699283 308637696 13987 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254289 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=15746/tid=15755] ppid=15744 vsize=301404 CPUtime=2.85 cores=0,2,4,6
/proc/15746/task/15755/stat : 15755 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 4102 0 0 0 284 1 0 0 21 0 5 0 517699283 308637696 13987 33554432000 4194304 4338100 140734537578160 18446744073709551615 216646341301 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=15746/tid=15756] ppid=15744 vsize=301404 CPUtime=2.85 cores=0,2,4,6
/proc/15746/task/15756/stat : 15756 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 1160 0 0 0 284 1 0 0 20 0 5 0 517699283 308637696 13987 33554432000 4194304 4338100 140734537578160 18446744073709551615 216646341301 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=15746/tid=15757] ppid=15744 vsize=301404 CPUtime=2.87 cores=0,2,4,6
/proc/15746/task/15757/stat : 15757 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 909 0 0 0 286 1 0 0 25 0 5 0 517699283 308637696 13987 33554432000 4194304 4338100 140734537578160 18446744073709551615 216646341301 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.68
Current children cumulated vsize (KiB) 301404

[startup+6.30106 s]
/proc/loadavg: 5.15 7.23 7.45 10/186 15761
/proc/meminfo: memFree=17735512/32951124 swapFree=67111528/67111528
[pid=15746] ppid=15744 vsize=333740 CPUtime=24.45 cores=0,2,4,6
/proc/15746/stat : 15746 (ttsth-5-4) S 15744 15746 12737 0 -1 4202496 24000 0 0 0 2433 12 0 0 25 0 5 0 517699262 341749760 22771 33554432000 4194304 4338100 140734537578160 18446744073709551615 216646318053 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/15746/statm: 83435 22771 176 36 0 81340 0
[pid=15746/tid=15754] ppid=15744 vsize=333740 CPUtime=6.03 cores=0,2,4,6
/proc/15746/task/15754/stat : 15754 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 5442 0 0 0 600 3 0 0 18 0 5 0 517699283 341749760 22771 33554432000 4194304 4338100 140734537578160 18446744073709551615 4240516 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=15746/tid=15755] ppid=15744 vsize=333740 CPUtime=6.06 cores=0,2,4,6
/proc/15746/task/15755/stat : 15755 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 8381 0 0 0 602 4 0 0 25 0 5 0 517699283 341749760 22771 33554432000 4194304 4338100 140734537578160 18446744073709551615 4256139 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=15746/tid=15756] ppid=15744 vsize=333740 CPUtime=6.05 cores=0,2,4,6
/proc/15746/task/15756/stat : 15756 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 1734 0 0 0 603 2 0 0 18 0 5 0 517699283 341749760 22771 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254254 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=15746/tid=15757] ppid=15744 vsize=333740 CPUtime=6.07 cores=0,2,4,6
/proc/15746/task/15757/stat : 15757 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 1836 0 0 0 606 1 0 0 25 0 5 0 517699283 341749760 22771 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254418 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.45
Current children cumulated vsize (KiB) 333740

[startup+12.7009 s]
/proc/loadavg: 5.38 7.25 7.45 10/186 15761
/proc/meminfo: memFree=17661200/32951124 swapFree=67111528/67111528
[pid=15746] ppid=15744 vsize=378588 CPUtime=49.98 cores=0,2,4,6
/proc/15746/stat : 15746 (ttsth-5-4) S 15744 15746 12737 0 -1 4202496 35861 0 0 0 4967 31 0 0 25 0 5 0 517699262 387674112 34632 33554432000 4194304 4338100 140734537578160 18446744073709551615 216646318053 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/15746/statm: 94647 34632 176 36 0 92552 0
[pid=15746/tid=15754] ppid=15744 vsize=378588 CPUtime=12.39 cores=0,2,4,6
/proc/15746/task/15754/stat : 15754 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 9794 0 0 0 1230 9 0 0 19 0 5 0 517699283 387674112 34632 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=15746/tid=15755] ppid=15744 vsize=378588 CPUtime=12.45 cores=0,2,4,6
/proc/15746/task/15755/stat : 15755 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 13341 0 0 0 1235 10 0 0 25 0 5 0 517699283 387674112 34632 33554432000 4194304 4338100 140734537578160 18446744073709551615 216646341301 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=15746/tid=15756] ppid=15744 vsize=378588 CPUtime=12.43 cores=0,2,4,6
/proc/15746/task/15756/stat : 15756 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 2771 0 0 0 1237 6 0 0 19 0 5 0 517699283 387674112 34632 33554432000 4194304 4338100 140734537578160 18446744073709551615 216646341301 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=15746/tid=15757] ppid=15744 vsize=378588 CPUtime=12.47 cores=0,2,4,6
/proc/15746/task/15757/stat : 15757 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 3348 0 0 0 1243 4 0 0 25 0 5 0 517699283 387674112 34632 33554432000 4194304 4338100 140734537578160 18446744073709551615 216646341301 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (KiB) 378588

[startup+25.5007 s]
/proc/loadavg: 5.96 7.28 7.46 11/186 15761
/proc/meminfo: memFree=17543784/32951124 swapFree=67111528/67111528
[pid=15746] ppid=15744 vsize=430632 CPUtime=101.02 cores=0,2,4,6
/proc/15746/stat : 15746 (ttsth-5-4) S 15744 15746 12737 0 -1 4202496 50671 0 0 0 10023 79 0 0 25 0 5 0 517699262 440967168 49442 33554432000 4194304 4338100 140734537578160 18446744073709551615 216646318053 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/15746/statm: 107658 49442 176 36 0 105563 0
[pid=15746/tid=15754] ppid=15744 vsize=430632 CPUtime=25.1 cores=0,2,4,6
/proc/15746/task/15754/stat : 15754 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 15204 0 0 0 2485 25 0 0 19 0 5 0 517699283 440967168 49442 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254259 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=15746/tid=15755] ppid=15744 vsize=430632 CPUtime=25.23 cores=0,2,4,6
/proc/15746/task/15755/stat : 15755 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 19341 0 0 0 2496 27 0 0 23 0 5 0 517699283 440967168 49442 33554432000 4194304 4338100 140734537578160 18446744073709551615 216646341301 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=15746/tid=15756] ppid=15744 vsize=430632 CPUtime=25.19 cores=0,2,4,6
/proc/15746/task/15756/stat : 15756 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 4278 0 0 0 2503 16 0 0 18 0 5 0 517699283 440967168 49442 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254388 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=15746/tid=15757] ppid=15744 vsize=430632 CPUtime=25.26 cores=0,2,4,6
/proc/15746/task/15757/stat : 15757 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 5241 0 0 0 2516 10 0 0 25 0 5 0 517699283 440967168 49442 33554432000 4194304 4338100 140734537578160 18446744073709551615 216646341301 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.02
Current children cumulated vsize (KiB) 430632

[startup+51.1012 s]
/proc/loadavg: 6.66 7.34 7.47 10/186 15762
/proc/meminfo: memFree=17370304/32951124 swapFree=67111528/67111528
[pid=15746] ppid=15744 vsize=515684 CPUtime=203.12 cores=0,2,4,6
/proc/15746/stat : 15746 (ttsth-5-4) S 15744 15746 12737 0 -1 4202496 73658 0 0 0 20134 178 0 0 25 0 5 0 517699262 528060416 72429 33554432000 4194304 4338100 140734537578160 18446744073709551615 216646318053 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/15746/statm: 128921 72429 176 36 0 126826 0
[pid=15746/tid=15754] ppid=15744 vsize=515684 CPUtime=50.58 cores=0,2,4,6
/proc/15746/task/15754/stat : 15754 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 24478 0 0 0 5002 56 0 0 23 0 5 0 517699283 528060416 72429 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254221 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=15746/tid=15755] ppid=15744 vsize=515684 CPUtime=50.79 cores=0,2,4,6
/proc/15746/task/15755/stat : 15755 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 28507 0 0 0 5019 60 0 0 22 0 5 0 517699283 528060416 72429 33554432000 4194304 4338100 140734537578160 18446744073709551615 216646341301 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=15746/tid=15756] ppid=15744 vsize=515684 CPUtime=50.65 cores=0,2,4,6
/proc/15746/task/15756/stat : 15756 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 6290 0 0 0 5030 35 0 0 19 0 5 0 517699283 528060416 72429 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254326 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=15746/tid=15757] ppid=15744 vsize=515684 CPUtime=50.86 cores=0,2,4,6
/proc/15746/task/15757/stat : 15757 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 7776 0 0 0 5061 25 0 0 25 0 5 0 517699283 528060416 72429 33554432000 4194304 4338100 140734537578160 18446744073709551615 216646341301 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.12
Current children cumulated vsize (KiB) 515684

[startup+102.301 s]
/proc/loadavg: 7.41 7.44 7.50 10/186 15763
/proc/meminfo: memFree=17074416/32951124 swapFree=67111528/67111528
[pid=15746] ppid=15744 vsize=682724 CPUtime=407.35 cores=0,2,4,6
/proc/15746/stat : 15746 (ttsth-5-4) S 15744 15746 12737 0 -1 4202496 118299 0 0 0 40382 353 0 0 25 0 5 0 517699262 699109376 117070 33554432000 4194304 4338100 140734537578160 18446744073709551615 216646318053 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/15746/statm: 170681 117070 176 36 0 168586 0
[pid=15746/tid=15754] ppid=15744 vsize=682724 CPUtime=101.65 cores=0,2,4,6
/proc/15746/task/15754/stat : 15754 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 42623 0 0 0 10049 116 0 0 18 0 5 0 517699283 699109376 117070 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254433 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=15746/tid=15755] ppid=15744 vsize=682724 CPUtime=101.92 cores=0,2,4,6
/proc/15746/task/15755/stat : 15755 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 47021 0 0 0 10074 118 0 0 19 0 5 0 517699283 699109376 117070 33554432000 4194304 4338100 140734537578160 18446744073709551615 216646341301 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=15746/tid=15756] ppid=15744 vsize=682724 CPUtime=101.49 cores=0,2,4,6
/proc/15746/task/15756/stat : 15756 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 10822 0 0 0 10083 66 0 0 25 0 5 0 517699283 699109376 117070 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254342 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15746/tid=15757] ppid=15744 vsize=682724 CPUtime=102.03 cores=0,2,4,6
/proc/15746/task/15757/stat : 15757 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 11226 0 0 0 10153 50 0 0 18 0 5 0 517699283 699109376 117070 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254388 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 407.35
Current children cumulated vsize (KiB) 682724

[startup+162.301 s]
/proc/loadavg: 7.78 7.54 7.53 7/186 15765
/proc/meminfo: memFree=16836680/32951124 swapFree=67111528/67111528
[pid=15746] ppid=15744 vsize=780504 CPUtime=646.74 cores=0,2,4,6
/proc/15746/stat : 15746 (ttsth-5-4) S 15744 15746 12737 0 -1 4202496 144536 0 0 0 64170 504 0 0 25 0 5 0 517699262 799236096 143307 33554432000 4194304 4338100 140734537578160 18446744073709551615 216646318053 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/15746/statm: 195126 143307 176 36 0 193031 0
[pid=15746/tid=15754] ppid=15744 vsize=780504 CPUtime=161.27 cores=0,2,4,6
/proc/15746/task/15754/stat : 15754 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 53559 0 0 0 15961 166 0 0 21 0 5 0 517699283 799236096 143307 33554432000 4194304 4338100 140734537578160 18446744073709551615 216633910706 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=15746/tid=15755] ppid=15744 vsize=780504 CPUtime=161.86 cores=0,2,4,6
/proc/15746/task/15755/stat : 15755 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 56883 0 0 0 16018 168 0 0 19 0 5 0 517699283 799236096 143307 33554432000 4194304 4338100 140734537578160 18446744073709551615 216633911010 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=15746/tid=15756] ppid=15744 vsize=780504 CPUtime=161.48 cores=0,2,4,6
/proc/15746/task/15756/stat : 15756 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 13309 0 0 0 16060 88 0 0 25 0 5 0 517699283 799236096 143307 33554432000 4194304 4338100 140734537578160 18446744073709551615 4242476 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15746/tid=15757] ppid=15744 vsize=780504 CPUtime=161.89 cores=0,2,4,6
/proc/15746/task/15757/stat : 15757 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 14178 0 0 0 16110 79 0 0 19 0 5 0 517699283 799236096 143307 33554432000 4194304 4338100 140734537578160 18446744073709551615 216634211866 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 646.74
Current children cumulated vsize (KiB) 780504

[startup+222.306 s]
/proc/loadavg: 7.97 7.63 7.56 10/186 15767
/proc/meminfo: memFree=16535456/32951124 swapFree=67111528/67111528
[pid=15746] ppid=15744 vsize=955560 CPUtime=886.3 cores=0,2,4,6
/proc/15746/stat : 15746 (ttsth-5-4) S 15744 15746 12737 0 -1 4202496 190749 0 0 0 88018 612 0 0 25 0 5 0 517699262 978493440 189520 33554432000 4194304 4338100 140734537578160 18446744073709551615 216646318053 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/15746/statm: 238890 189520 176 36 0 236795 0
[pid=15746/tid=15754] ppid=15744 vsize=955560 CPUtime=220.93 cores=0,2,4,6
/proc/15746/task/15754/stat : 15754 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 71521 0 0 0 21884 209 0 0 25 0 5 0 517699283 978493440 189520 33554432000 4194304 4338100 140734537578160 18446744073709551615 216633910515 0 0 4096 0 0 0 0 -1 6 0 0 0

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

[pid=15746/tid=15755] ppid=15744 vsize=1544880 CPUtime=701.38 cores=0,2,4,6
/proc/15746/task/15755/stat : 15755 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 143463 0 0 0 69749 389 0 0 18 0 5 0 517699283 1581957120 344369 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254407 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=15746/tid=15756] ppid=15744 vsize=1544880 CPUtime=700.31 cores=0,2,4,6
/proc/15746/task/15756/stat : 15756 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 27386 0 0 0 69769 262 0 0 25 0 5 0 517699283 1581957120 344369 33554432000 4194304 4338100 140734537578160 18446744073709551615 216634211808 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=15746/tid=15757] ppid=15744 vsize=1544880 CPUtime=701.42 cores=0,2,4,6
/proc/15746/task/15757/stat : 15757 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 33570 0 0 0 69905 237 0 0 25 0 5 0 517699283 1581957120 344369 33554432000 4194304 4338100 140734537578160 18446744073709551615 216634211883 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2802.68
Current children cumulated vsize (KiB) 1544880

[startup+762.301 s]
/proc/loadavg: 8.04 8.03 7.80 10/186 15781
/proc/meminfo: memFree=15280652/32951124 swapFree=67111528/67111528
[pid=15746] ppid=15744 vsize=1590188 CPUtime=3042.24 cores=0,2,4,6
/proc/15746/stat : 15746 (ttsth-5-4) S 15744 15746 12737 0 -1 4202496 355515 0 0 0 302843 1381 0 0 25 0 5 0 517699262 1628352512 354286 33554432000 4194304 4338100 140734537578160 18446744073709551615 216646318053 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/15746/statm: 397547 354286 176 36 0 395452 0
[pid=15746/tid=15754] ppid=15744 vsize=1590188 CPUtime=759.33 cores=0,2,4,6
/proc/15746/task/15754/stat : 15754 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 138792 0 0 0 75497 436 0 0 25 0 5 0 517699283 1628352512 354286 33554432000 4194304 4338100 140734537578160 18446744073709551615 216646341301 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15746/tid=15755] ppid=15744 vsize=1590188 CPUtime=761.31 cores=0,2,4,6
/proc/15746/task/15755/stat : 15755 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 147766 0 0 0 75730 401 0 0 21 0 5 0 517699283 1628352512 354287 33554432000 4194304 4338100 140734537578160 18446744073709551615 4253966 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=15746/tid=15756] ppid=15744 vsize=1590188 CPUtime=759.96 cores=0,2,4,6
/proc/15746/task/15756/stat : 15756 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 27553 0 0 0 75712 284 0 0 25 0 5 0 517699283 1628352512 354287 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254388 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=15746/tid=15757] ppid=15744 vsize=1590188 CPUtime=761.4 cores=0,2,4,6
/proc/15746/task/15757/stat : 15757 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 34797 0 0 0 75882 258 0 0 19 0 5 0 517699283 1628352512 354288 33554432000 4194304 4338100 140734537578160 18446744073709551615 216633911034 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3042.24
Current children cumulated vsize (KiB) 1590188

[startup+822.3 s]
/proc/loadavg: 8.12 8.05 7.82 10/186 15783
/proc/meminfo: memFree=15213552/32951124 swapFree=67111528/67111528
[pid=15746] ppid=15744 vsize=1627856 CPUtime=3281.75 cores=0,2,4,6
/proc/15746/stat : 15746 (ttsth-5-4) S 15744 15746 12737 0 -1 4202496 364869 0 0 0 326739 1436 0 0 25 0 5 0 517699262 1666924544 363640 33554432000 4194304 4338100 140734537578160 18446744073709551615 216646318053 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/15746/statm: 406964 363640 176 36 0 404869 0
[pid=15746/tid=15754] ppid=15744 vsize=1627856 CPUtime=819.3 cores=0,2,4,6
/proc/15746/task/15754/stat : 15754 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 143014 0 0 0 81482 448 0 0 25 0 5 0 517699283 1666924544 363640 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254421 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15746/tid=15755] ppid=15744 vsize=1627856 CPUtime=821.22 cores=0,2,4,6
/proc/15746/task/15755/stat : 15755 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 152306 0 0 0 81713 409 0 0 25 0 5 0 517699283 1666924544 363640 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=15746/tid=15756] ppid=15744 vsize=1627856 CPUtime=819.61 cores=0,2,4,6
/proc/15746/task/15756/stat : 15756 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 27983 0 0 0 81659 302 0 0 25 0 5 0 517699283 1666924544 363640 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254275 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=15746/tid=15757] ppid=15744 vsize=1627856 CPUtime=821.38 cores=0,2,4,6
/proc/15746/task/15757/stat : 15757 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 34959 0 0 0 81863 275 0 0 25 0 5 0 517699283 1666924544 363640 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254254 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3281.75
Current children cumulated vsize (KiB) 1627856

[startup+882.307 s]
/proc/loadavg: 8.10 8.05 7.83 10/186 15784
/proc/meminfo: memFree=15151284/32951124 swapFree=67111528/67111528
[pid=15746] ppid=15744 vsize=1665524 CPUtime=3521.38 cores=0,2,4,6
/proc/15746/stat : 15746 (ttsth-5-4) S 15744 15746 12737 0 -1 4202496 374361 0 0 0 350650 1488 0 0 25 0 5 0 517699262 1705496576 373132 33554432000 4194304 4338100 140734537578160 18446744073709551615 216646318053 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/15746/statm: 416381 373132 176 36 0 414286 0
[pid=15746/tid=15754] ppid=15744 vsize=1665524 CPUtime=879.31 cores=0,2,4,6
/proc/15746/task/15754/stat : 15754 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 147009 0 0 0 87471 460 0 0 25 0 5 0 517699283 1705496576 373132 33554432000 4194304 4338100 140734537578160 18446744073709551615 216646341301 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15746/tid=15755] ppid=15744 vsize=1665524 CPUtime=881.17 cores=0,2,4,6
/proc/15746/task/15755/stat : 15755 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 156580 0 0 0 87703 414 0 0 18 0 5 0 517699283 1705496576 373132 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=15746/tid=15756] ppid=15744 vsize=1665524 CPUtime=879.28 cores=0,2,4,6
/proc/15746/task/15756/stat : 15756 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 29164 0 0 0 87607 321 0 0 25 0 5 0 517699283 1705496576 373132 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254326 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=15746/tid=15757] ppid=15744 vsize=1665524 CPUtime=881.37 cores=0,2,4,6
/proc/15746/task/15757/stat : 15757 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 35001 0 0 0 87846 291 0 0 18 0 5 0 517699283 1705496576 373132 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3521.38
Current children cumulated vsize (KiB) 1665524

[startup+942.3 s]
/proc/loadavg: 8.09 8.06 7.84 10/186 15786
/proc/meminfo: memFree=15073272/32951124 swapFree=67111528/67111528
[pid=15746] ppid=15744 vsize=1707928 CPUtime=3760.89 cores=0,2,4,6
/proc/15746/stat : 15746 (ttsth-5-4) S 15744 15746 12737 0 -1 4202496 385203 0 0 0 374521 1568 0 0 25 0 5 0 517699262 1748918272 383974 33554432000 4194304 4338100 140734537578160 18446744073709551615 216646318053 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/15746/statm: 426982 383974 176 36 0 424887 0
[pid=15746/tid=15754] ppid=15744 vsize=1707928 CPUtime=939.3 cores=0,2,4,6
/proc/15746/task/15754/stat : 15754 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 151236 0 0 0 93452 478 0 0 25 0 5 0 517699283 1748918272 383974 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254388 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15746/tid=15755] ppid=15744 vsize=1707928 CPUtime=941.07 cores=0,2,4,6
/proc/15746/task/15755/stat : 15755 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 161177 0 0 0 93682 425 0 0 20 0 5 0 517699283 1748918272 383974 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254362 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=15746/tid=15756] ppid=15744 vsize=1707928 CPUtime=938.93 cores=0,2,4,6
/proc/15746/task/15756/stat : 15756 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 30808 0 0 0 93546 347 0 0 25 0 5 0 517699283 1748918272 383974 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=15746/tid=15757] ppid=15744 vsize=1707928 CPUtime=941.35 cores=0,2,4,6
/proc/15746/task/15757/stat : 15757 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 35375 0 0 0 93819 316 0 0 18 0 5 0 517699283 1748918272 383974 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254337 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3760.89
Current children cumulated vsize (KiB) 1707928

[startup+1002.3 s]
/proc/loadavg: 8.13 8.08 7.86 10/186 15787
/proc/meminfo: memFree=14994396/32951124 swapFree=67111528/67111528
[pid=15746] ppid=15744 vsize=1746916 CPUtime=4000.39 cores=0,2,4,6
/proc/15746/stat : 15746 (ttsth-5-4) S 15744 15746 12737 0 -1 4202496 395859 0 0 0 398384 1655 0 0 25 0 5 0 517699262 1788841984 394630 33554432000 4194304 4338100 140734537578160 18446744073709551615 216646318053 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/15746/statm: 436729 394630 176 36 0 434634 0
[pid=15746/tid=15754] ppid=15744 vsize=1746916 CPUtime=999.29 cores=0,2,4,6
/proc/15746/task/15754/stat : 15754 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 155484 0 0 0 99433 496 0 0 25 0 5 0 517699283 1788841984 394630 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254321 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15746/tid=15755] ppid=15744 vsize=1746916 CPUtime=1000.96 cores=0,2,4,6
/proc/15746/task/15755/stat : 15755 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 166849 0 0 0 99658 438 0 0 18 0 5 0 517699283 1788841984 394630 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254291 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=15746/tid=15756] ppid=15744 vsize=1746916 CPUtime=998.57 cores=0,2,4,6
/proc/15746/task/15756/stat : 15756 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 31175 0 0 0 99481 376 0 0 25 0 5 0 517699283 1788841984 394630 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=15746/tid=15757] ppid=15744 vsize=1746916 CPUtime=1001.32 cores=0,2,4,6
/proc/15746/task/15757/stat : 15757 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 35744 0 0 0 99789 343 0 0 25 0 5 0 517699283 1788841984 394630 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4000.39
Current children cumulated vsize (KiB) 1746916

[startup+1062.3 s]
/proc/loadavg: 8.13 8.09 7.87 10/186 15789
/proc/meminfo: memFree=14919220/32951124 swapFree=67111528/67111528
[pid=15746] ppid=15744 vsize=1801412 CPUtime=4239.95 cores=0,2,4,6
/proc/15746/stat : 15746 (ttsth-5-4) S 15744 15746 12737 0 -1 4202496 410826 0 0 0 422267 1728 0 0 25 0 5 0 517699262 1844645888 409597 33554432000 4194304 4338100 140734537578160 18446744073709551615 216646318053 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/15746/statm: 450353 409597 176 36 0 448258 0
[pid=15746/tid=15754] ppid=15744 vsize=1801412 CPUtime=1059.29 cores=0,2,4,6
/proc/15746/task/15754/stat : 15754 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 163058 0 0 0 105417 512 0 0 25 0 5 0 517699283 1844645888 409597 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254388 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15746/tid=15755] ppid=15744 vsize=1801412 CPUtime=1060.88 cores=0,2,4,6
/proc/15746/task/15755/stat : 15755 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 173632 0 0 0 105639 449 0 0 18 0 5 0 517699283 1844645888 409597 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=15746/tid=15756] ppid=15744 vsize=1801412 CPUtime=1058.23 cores=0,2,4,6
/proc/15746/task/15756/stat : 15756 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 31479 0 0 0 105424 399 0 0 25 0 5 0 517699283 1844645888 409597 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254439 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=15746/tid=15757] ppid=15744 vsize=1801412 CPUtime=1061.3 cores=0,2,4,6
/proc/15746/task/15757/stat : 15757 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 36050 0 0 0 105765 365 0 0 25 0 5 0 517699283 1844645888 409597 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4239.95
Current children cumulated vsize (KiB) 1801412

[startup+1122.3 s]
/proc/loadavg: 8.13 8.10 7.89 10/186 15791
/proc/meminfo: memFree=14837476/32951124 swapFree=67111528/67111528
[pid=15746] ppid=15744 vsize=1855512 CPUtime=4479.55 cores=0,2,4,6
/proc/15746/stat : 15746 (ttsth-5-4) S 15744 15746 12737 0 -1 4202496 424458 0 0 0 446167 1788 0 0 25 0 5 0 517699262 1900044288 423229 33554432000 4194304 4338100 140734537578160 18446744073709551615 216646318053 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/15746/statm: 463878 423229 176 36 0 461783 0
[pid=15746/tid=15754] ppid=15744 vsize=1855512 CPUtime=1119.3 cores=0,2,4,6
/proc/15746/task/15754/stat : 15754 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 169780 0 0 0 111402 528 0 0 25 0 5 0 517699283 1900044288 423229 33554432000 4194304 4338100 140734537578160 18446744073709551615 216646341301 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15746/tid=15755] ppid=15744 vsize=1855512 CPUtime=1120.81 cores=0,2,4,6
/proc/15746/task/15755/stat : 15755 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 179841 0 0 0 111625 456 0 0 18 0 5 0 517699283 1900044288 423229 33554432000 4194304 4338100 140734537578160 18446744073709551615 216646341301 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=15746/tid=15756] ppid=15744 vsize=1855512 CPUtime=1117.9 cores=0,2,4,6
/proc/15746/task/15756/stat : 15756 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 31947 0 0 0 111372 418 0 0 25 0 5 0 517699283 1900044288 423229 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=15746/tid=15757] ppid=15744 vsize=1855512 CPUtime=1121.3 cores=0,2,4,6
/proc/15746/task/15757/stat : 15757 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 36283 0 0 0 111746 384 0 0 25 0 5 0 517699283 1900044288 423229 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4479.55
Current children cumulated vsize (KiB) 1855512

[startup+1182.3 s]
/proc/loadavg: 8.05 8.08 7.90 10/186 15792
/proc/meminfo: memFree=14773228/32951124 swapFree=67111528/67111528
[pid=15746] ppid=15744 vsize=1878068 CPUtime=4719.08 cores=0,2,4,6
/proc/15746/stat : 15746 (ttsth-5-4) S 15744 15746 12737 0 -1 4202496 430779 0 0 0 470058 1850 0 0 25 0 5 0 517699262 1923141632 429550 33554432000 4194304 4338100 140734537578160 18446744073709551615 216646318053 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/15746/statm: 469517 429550 176 36 0 467422 0
[pid=15746/tid=15754] ppid=15744 vsize=1878068 CPUtime=1179.01 cores=0,2,4,6
/proc/15746/task/15754/stat : 15754 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 173061 0 0 0 117352 549 0 0 20 0 5 0 517699283 1923141632 429550 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254239 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=15746/tid=15755] ppid=15744 vsize=1878068 CPUtime=1180.76 cores=0,2,4,6
/proc/15746/task/15755/stat : 15755 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 182558 0 0 0 117602 474 0 0 25 0 5 0 517699283 1923141632 429550 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254388 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=15746/tid=15756] ppid=15744 vsize=1878068 CPUtime=1177.83 cores=0,2,4,6
/proc/15746/task/15756/stat : 15756 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 32109 0 0 0 117353 430 0 0 25 0 5 0 517699283 1923141632 429550 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254384 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15746/tid=15757] ppid=15744 vsize=1878068 CPUtime=1181.24 cores=0,2,4,6
/proc/15746/task/15757/stat : 15757 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 36444 0 0 0 117729 395 0 0 22 0 5 0 517699283 1923141632 429550 33554432000 4194304 4338100 140734537578160 18446744073709551615 216646341301 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4719.08
Current children cumulated vsize (KiB) 1878068



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.6 s]
/proc/loadavg: 8.03 8.07 7.90 9/186 15793
/proc/meminfo: memFree=14755604/32951124 swapFree=67111528/67111528
[pid=15746] ppid=15744 vsize=1884324 CPUtime=4800.17 cores=0,2,4,6
/proc/15746/stat : 15746 (ttsth-5-4) S 15744 15746 12737 0 -1 4202496 432708 0 0 0 478150 1867 0 0 25 0 5 0 517699262 1929547776 431479 33554432000 4194304 4338100 140734537578160 18446744073709551615 216646318053 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/15746/statm: 471081 431479 176 36 0 468986 0
[pid=15746/tid=15754] ppid=15744 vsize=1884324 CPUtime=1199.19 cores=0,2,4,6
/proc/15746/task/15754/stat : 15754 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 174299 0 0 0 119364 555 0 0 18 0 5 0 517699283 1929547776 431479 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254311 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=15746/tid=15755] ppid=15744 vsize=1884324 CPUtime=1201.07 cores=0,2,4,6
/proc/15746/task/15755/stat : 15755 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 183219 0 0 0 119627 480 0 0 25 0 5 0 517699283 1929547776 431479 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=15746/tid=15756] ppid=15744 vsize=1884324 CPUtime=1198.13 cores=0,2,4,6
/proc/15746/task/15756/stat : 15756 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 32124 0 0 0 119381 432 0 0 25 0 5 0 517699283 1929547776 431479 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15746/tid=15757] ppid=15744 vsize=1884324 CPUtime=1201.53 cores=0,2,4,6
/proc/15746/task/15757/stat : 15757 (ttsth-5-4) R 15744 15746 12737 0 -1 4202560 36459 0 0 0 119756 397 0 0 18 0 5 0 517699283 1929547776 431479 33554432000 4194304 4338100 140734537578160 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 1884324

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.69
CPU time (s): 4800.28
CPU user time (s): 4781.53
CPU system time (s): 18.7521
CPU usage (%): 399.128
Max. virtual memory (cumulated for all children) (KiB): 1884324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4781.53
system time used= 18.7521
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 432708
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= 60419
involuntary context switches= 31086

runsolver used 1.9587 second user time and 4.6033 second system time

The end

Launcher Data 

Begin job on node103 at 2011-04-29 09:09:26
IDJOB=3249240
IDBENCH=83160
IDSOLVER=1654
FILE ID=node103/3249240-1304060966
RUNJOBID= node103-1304060966-15732
PBS_JOBID= 13170359
Free space on /tmp= 71520 MiB

SOLVER NAME= ttsth 5-4
BENCH NAME= SAT11/crafted/mosoi/289/289-unsat-6x30.cnf
COMMAND LINE= DIR/ttsth-5-4 -num-threads NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3249240-1304060966/watcher-3249240-1304060966 -o /tmp/evaluation-result-3249240-1304060966/solver-3249240-1304060966 -C 4800 -W 1300 -M 15500  HOME/ttsth-5-4 -num-threads 4 HOME/instance-3249240-1304060966.cnf

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

MD5SUM BENCH= b4a3233c98b6a02fd9143f926d90025d
RANDOM SEED=1796088102

node103.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.858
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.71
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.858
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.75
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.858
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.75
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.858
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.77
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.858
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.75
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.858
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.75
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.858
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.83
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.858
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:      17916968 kB
Buffers:       2146040 kB
Cached:       12239612 kB
SwapCached:          0 kB
Active:        5564524 kB
Inactive:      8888224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17916968 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1236 kB
Writeback:           0 kB
AnonPages:       66416 kB
Mapped:          14392 kB
Slab:           518184 kB
PageTables:       4580 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   188112 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= 71516 MiB
End job on node103 at 2011-04-29 09:29:31