Trace number 3394182

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
CryptoMiniSat Strange-Night-2-mt (fixed)UNSAT 6950.46 875.507

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
blocks-blocks-36-0.120-NOTKNOWN.cnf
MD5SUM8d94c04f870c828c80bd9a45ae3dedff
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark549.042
Satisfiable
(Un)Satisfiability was proved
Number of variables489685
Number of clauses8779920
Sum of the clauses size19139520
Maximum clause length1334
Minimum clause length1
Number of clauses of size 11440
Number of clauses of size 28441280
Number of clauses of size 3319680
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 517520

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.03	c Using 8 threads
0.00/0.04	c This is CryptoMiniSat 3.0.0
0.00/0.04	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04	c Reading file 'HOME/instance-3394182-1306092493.cnf'
0.00/0.04	c -- header says num vars:         489685
0.00/0.04	c -- header says num clauses:     8779920
33.78/6.97	c -- clauses added:            0 learnts,      8779920 normals,            0 xors
33.78/6.97	c -- vars added     489685
33.78/6.97	c Parsing time:  2.53 s
33.78/6.97	c  N st     0         0    489685    304437   7524558         0  17087371         0   no data   no data
50.22/9.09	c asymm  cl-useful: 564/719/235695 lits-rem:2242 time: 1.06
173.18/24.44	c Flit:   285 Blit:  87855 bXBeca:    0 bXProp:  933 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 16.31
174.78/24.60	c Cleaning up after failed var search:     0.15 s 
176.38/24.81	c Replacing      934 vars Replaced    31458 lits Time:     0.20 s 
177.98/25.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
181.96/25.50	c bin-w-bin subsume rem         1059 bins  time:  0.41 s
210.69/29.18	c subs with bin:        0  lits-rem:      4096  v-fix:    0  time:  3.68 s
231.42/31.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  23930 time:  2.48 s
233.08/31.95	c Removed useless bin:    1704  fixed:     0  props:  20.00M  time:  0.23 s
239.38/32.74	c lits-rem:         0  cl-subs:        0  v-elim:      4  v-fix:    0  time:  0.79 s
240.18/32.87	c Finding binary XORs  T:     0.13 s  found:    1972
241.84/33.07	c Replacing     1972 vars Replaced   241227 lits Time:     0.20 s 
243.35/33.23	c Finding non-binary XORs:     0.06 s (found:       0, avg size: nan)
243.35/33.23	c calculated reachability. Time: 0.01
244.15/33.31	c Calc default polars -  time:   0.08 s pos:    2914 undec:  237434 neg:  249337
244.15/33.31	c =========================================================================================
244.15/33.31	c types(t): F = full restart, N = normal restart
244.15/33.31	c types(t): S = simplification begin/end, E = solution found
244.15/33.31	c restart types(rt): st = static, dy = dynamic
244.15/33.31	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
244.15/33.31	c  B st     0         0    252251    174928   4072585         0   9307708         0   no data   no data
349.52/46.55	c  N dy    10      4013    207607    143367   3108046      3569   7163751   1682130     10.67     11.40
435.89/57.34	c  N dy    28      8091    206672    143367   3108751      7438   7163751   3114636      9.24     11.28
530.00/69.15	c  N dy    47     12520    206667    143367   3108877     11696   7163751   4823423      9.15     11.45
632.19/81.93	c  N dy    66     16859    206566    143367   3110378     15892   7163751   6755797      9.22      9.79
739.98/95.45	c  N dy    89     20969    206446    143367   3111701     10422   7163751    975345      9.56     10.09
838.19/107.70	c  F st   108     25001    206437    143367   3111760     14366   7163751   2765322      9.50      6.59
844.59/108.53	c  N st   108     25001    206437    142440   3083019     14341   7099938   2759149      9.50      6.59
996.29/127.53	c  N dy   114     30002    206315    142440   3083748     19246   7099938   6832146      9.50   no data
996.29/127.53	c  S st   114     30002    206315    142440   3083748     19246   7099938   6832146      9.50   no data
1014.73/129.87	c  S st   114     30504    206313    142440   3083772     19707   7099938   7069469      9.50   no data
1016.24/130.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
1290.13/164.36	c Flit:   284 Blit:   2811 bXBeca:    0 bXProp:   65 Bins: 602215 BRemL:      3 BRemN:    220 P: 200.0M T: 34.35
1290.92/164.48	c Cleaning up after failed var search:     0.12 s 
1294.12/164.80	c Replacing       66 vars Replaced     7983 lits Time:     0.31 s 
1295.79/165.07	c blocked clauses removed:        0 vars:      0 tried:      202793 T: 0.14 s
1298.10/165.32	c bin-w-bin subsume rem          970 bins  time:  0.25 s
1321.27/168.28	c subs with bin:        0  lits-rem:         2  v-fix:    0  time:  2.95 s
1345.23/171.23	c Subs w/ non-existent bins:      0 l-rem:     64 v-fix:   463 done:  27066 time:  2.95 s
1348.49/171.68	c Removed useless bin:    5780  fixed:     0  props:  20.00M  time:  0.45 s
1354.80/172.41	c lits-rem:         0  cl-subs:        4  v-elim:      5  v-fix:    0  time:  0.73 s
1391.54/177.04	c subs with bin:      364  lits-rem:      8019  v-fix:    0  time:  3.82 s
1409.11/179.21	c lits-rem:      1721  cl-subs:     1039  v-elim:      0  v-fix:    0  time:  2.07 s
1416.29/180.18	c asymm  cl-useful: 93/968/139544 lits-rem:266 time: 0.97
1417.09/180.27	c calculated reachability. Time: 0.01
1417.09/180.28	c  N dy   114     30504    202325    139544   3563897     18154   6893267   7836811      9.50   no data
1417.89/180.41	c Finding binary XORs  T:     0.13 s  found:    2033
1421.87/180.84	c Replacing     2033 vars Replaced   217352 lits Time:     0.43 s 
1551.35/197.07	c  N dy   138     34651    200048    139544   3561519     22216   6885111  10012321      9.67     10.19
1668.58/211.72	c  N dy   159     38674    199989    139544   3568556     26165   6885111  12523884      9.76     25.87
1761.27/223.35	c  N dy   177     42969    199983    139544   3568594     15511   6885111   2195787      9.75     10.27
1827.46/231.67	c  S st   187     45756    199890    139544   3569380     18249   6885111   3523373      9.73      6.98
1845.82/233.93	c  S st   187     46257    199889    139544   3569409     18713   6885111   3705645      9.73   no data
1846.62/234.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
2024.58/256.59	c Flit:   186 Blit:    509 bXBeca:    0 bXProp:    9 Bins: 255208 BRemL:    763 BRemN:     91 P: 200.2M T: 22.52
2025.38/256.60	c Cleaning up after failed var search:     0.00 s 
2027.78/256.91	c Replacing       10 vars Replaced     1288 lits Time:     0.30 s 
2028.59/257.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
2030.99/257.36	c bin-w-bin subsume rem        10657 bins  time:  0.29 s
2056.53/260.52	c subs with bin:        2  lits-rem:       195  v-fix:    0  time:  3.16 s
2083.67/263.94	c Subs w/ non-existent bins:      1 l-rem:    104 v-fix:   145 done:  25408 time:  3.40 s
2086.85/264.39	c Removed useless bin:    3819  fixed:   154  props:  20.01M  time:  0.45 s
2093.32/265.17	c lits-rem:         0  cl-subs:       52  v-elim:      6  v-fix:    0  time:  0.78 s
2108.41/267.00	c subs with bin:       96  lits-rem:       344  v-fix:    0  time:  1.58 s
2114.81/267.88	c lits-rem:       393  cl-subs:      479  v-elim:      0  v-fix:    0  time:  0.81 s
2124.39/269.05	c asymm  cl-useful: 171/654/138221 lits-rem:773 time: 1.17
2125.19/269.15	c calculated reachability. Time: 0.01
2125.19/269.15	c  N dy   187     46257    198927    138221   3758108     18083   6803260   4080190      9.73   no data
2125.99/269.29	c Finding binary XORs  T:     0.14 s  found:     424
2236.14/283.04	c Finding binary XORs  T:     0.14 s  found:     674
2239.35/283.46	c  N dy   205     50344    195400    135567   4018982     21886   6621381   6074597      9.66     13.48
2340.07/296.10	c  N dy   226     54403    195388    135567   4019015     25880   6621381   7947169      9.65     11.20
2464.32/311.99	c  N dy   240     58992    194455    135567   4028723     30412   6621381   9600307      9.60     10.38
2564.12/324.49	c  N dy   256     63085    193911    135567   4033030     34427   6621381  11306640      9.56     18.31
2662.44/336.76	c  N dy   279     67526    193910    135567   4033063     20702   6621381   3723485      9.56     10.15
2695.06/340.80	c  S st   285     69386    193307    134072   3867190     22454   6504902   4044613      9.54      7.37
2709.42/342.69	c  S st   285     69887    193307    134072   3867213     22926   6504902   4154915      9.54   no data
2711.02/342.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.15
2904.59/367.19	c Flit:   164 Blit:    270 bXBeca:    0 bXProp:   35 Bins: 326886 BRemL:   1253 BRemN:    136 P: 200.1M T: 24.36
2905.39/367.20	c Cleaning up after failed var search:     0.00 s 
2907.91/367.59	c Replacing     1134 vars Replaced    79178 lits Time:     0.38 s 
2909.38/367.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
2911.78/368.09	c bin-w-bin subsume rem        15851 bins  time:  0.33 s
2937.73/371.38	c subs with bin:        5  lits-rem:        10  v-fix:    0  time:  3.29 s
2963.29/374.52	c Subs w/ non-existent bins:      0 l-rem:      6 v-fix:     9 done:  24604 time:  3.13 s
2965.68/374.89	c Removed useless bin:    9079  fixed:     0  props:  20.00M  time:  0.38 s
2972.06/375.66	c lits-rem:         0  cl-subs:       24  v-elim:      1  v-fix:    0  time:  0.77 s
2985.72/377.38	c subs with bin:       74  lits-rem:       821  v-fix:    0  time:  1.50 s
2992.83/378.23	c lits-rem:       670  cl-subs:      480  v-elim:      0  v-fix:    0  time:  0.79 s
3002.41/379.40	c asymm  cl-useful: 57/615/133634 lits-rem:89 time: 1.17
3002.41/379.50	c calculated reachability. Time: 0.01
3002.41/379.51	c  N dy   285     69887    192071    133634   4137595     22353   6456062   4696374      9.54   no data
3004.14/379.65	c Finding binary XORs  T:     0.14 s  found:     464
3100.79/391.87	c Finding binary XORs  T:     0.14 s  found:     289
3105.05/392.48	c  N dy   304     74380    190932    132791   4446115     26772   6398416   6757182      9.53     10.49
3224.01/407.38	c  N dy   327     79195    190929    132791   4446148     31530   6398416   8944628      9.50     10.08
3332.80/421.07	c  N dy   350     84341    190915    132791   4448716     36602   6398416  10458252      9.46      9.97
3403.07/429.82	c  F st   370     87501    190899    132791   4582075     39721   6398416  11764822      9.48      7.82
3407.85/430.44	c Replacing      753 vars Replaced   109988 lits Time:     0.49 s 
3429.42/433.11	c Finding binary XORs  T:     0.14 s  found:      86
3486.07/440.28	c  N st   375     90798    190010    132537   4556400     22629   6377474   4775948      9.48   no data
3620.20/457.00	c  N dy   400     96760    189986    132537   4556681     28547   6377474   7203310      9.50     10.10
3767.12/475.43	c  N dy   431    102986    189977    132537   4556911     34714   6377474   9762580      9.52     10.31
3812.63/481.17	c  S st   443    104830    189977    132537   4556913     36544   6377474  10729157      9.53      9.00
3828.61/483.17	c  S st   443    105330    189977    132537   4557150     37022   6377474  10891605      9.53   no data
3830.21/483.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.17
4024.23/507.62	c Flit:   180 Blit:    156 bXBeca:    0 bXProp:    6 Bins: 143225 BRemL:   2944 BRemN:     99 P: 200.2M T: 24.28
4024.23/507.63	c Cleaning up after failed var search:     0.00 s 
4028.22/508.19	c Replacing       93 vars Replaced    22361 lits Time:     0.55 s 
4029.94/508.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
4033.01/508.74	c bin-w-bin subsume rem        30753 bins  time:  0.38 s
4061.76/512.30	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  3.56 s
4089.71/515.83	c Subs w/ non-existent bins:      1 l-rem:      1 v-fix:     1 done:  36251 time:  3.51 s
4093.69/516.30	c Removed useless bin:    6446  fixed:     0  props:  20.00M  time:  0.47 s
4099.36/517.09	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time:  0.80 s
4116.92/519.26	c subs with bin:       15  lits-rem:       169  v-fix:    0  time:  1.55 s
4143.27/522.59	c lits-rem:      2126  cl-subs:      791  v-elim:      0  v-fix:    0  time:  3.26 s
4152.90/523.76	c asymm  cl-useful: 33/514/132101 lits-rem:47 time: 1.17
4153.56/523.88	c calculated reachability. Time: 0.01
4153.56/523.88	c  N dy   443    105330    189449    132101   4625714     36188   6338638  10835506      9.53   no data
4155.16/524.03	c Finding binary XORs  T:     0.15 s  found:     132
4302.74/542.59	c  N dy   488    112153    187374    130212   4465905     42664   6248983  12665955      9.65     10.69
4430.49/558.55	c  N dy   507    119498    187366    130212   4500070     28431   6248983   5678470      9.53     10.26
4532.12/572.14	c Finding binary XORs  T:     0.14 s  found:     663
4596.92/580.51	c  N dy   537    128017    186845    129795   4834668     36827   6216605   8451146      9.48     10.36
4779.76/603.46	c  N dy   587    136460    186414    129795   4847097     45170   6216605  11256523      9.55     10.33
4951.56/624.95	c  N dy   620    145179    183493    128062   4760534     32476   6136119   6457659      9.50     10.23
5143.06/648.98	c  N dy   666    154597    183416    128062   4760949     41793   6136119   9068365      9.49     10.00
5171.80/652.51	c Finding binary XORs  T:     0.15 s  found:     780
5210.92/657.47	c  S st   682    157995    182265    126338   4550823     44830   5998181   9399688      9.48      5.60
5230.10/659.80	c  S st   682    158495    182265    126338   4550842     45308   5998181   9520337      9.48   no data
5230.89/659.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.17
5432.10/685.14	c Flit:   288 Blit:    854 bXBeca:    0 bXProp:   52 Bins: 161676 BRemL:   1866 BRemN:     79 P: 200.0M T: 25.17
5432.10/685.14	c Cleaning up after failed var search:     0.00 s 
5436.88/685.71	c Replacing     1627 vars Replaced   179001 lits Time:     0.56 s 
5437.68/685.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
5440.89/686.24	c bin-w-bin subsume rem        32685 bins  time:  0.37 s
5467.22/689.59	c subs with bin:        0  lits-rem:         2  v-fix:    0  time:  3.35 s
5496.10/693.16	c Subs w/ non-existent bins:      0 l-rem:     31 v-fix:    61 done:  31196 time:  3.57 s
5499.96/693.64	c Removed useless bin:    4174  fixed:     0  props:  20.01M  time:  0.48 s
5506.34/694.44	c lits-rem:         0  cl-subs:        8  v-elim:      7  v-fix:    0  time:  0.80 s
5522.44/696.45	c subs with bin:       27  lits-rem:       340  v-fix:    0  time:  1.54 s
5545.47/699.36	c lits-rem:      2974  cl-subs:     1414  v-elim:      0  v-fix:    0  time:  2.84 s
5555.06/700.53	c asymm  cl-useful: 82/505/125127 lits-rem:157 time: 1.17
5555.86/700.64	c calculated reachability. Time: 0.01
5555.86/700.65	c  N dy   682    158495    179474    125126   4437820     43203   5902494   9050544      9.48   no data
5624.53/709.26	c Finding binary XORs  T:     0.14 s  found:     402
5775.42/728.15	c  N dy   738    168768    178147    124175   4371537     30639   5835239   5329225      9.52     10.04
6009.30/757.42	c  N dy   793    180801    178130    124175   4371961     42540   5835239   7948380      9.51     10.17
6012.50/757.89	c Finding binary XORs  T:     0.14 s  found:     181
6248.03/787.39	c  N dy   849    192631    177359    123577   4408529     54166   5794977  11064433      9.49     10.58
6403.73/806.83	c Finding binary XORs  T:     0.14 s  found:     145
6506.72/819.78	c  N dy   911    205160    176813    123156   4463167     43109   5766312   7521861      9.49     10.00
6760.77/851.54	c  N dy   983    218418    172885    120230   4358819     52221   5588776   9763843      9.51     10.07
6949.86/875.24	c Following stats are for *FIRST FINISHED THREAD ONLY*
6949.86/875.24	c num threads              : 8          
6949.86/875.24	c restarts                 : 931        
6949.86/875.24	c dynamic restarts         : 913        
6949.86/875.24	c static restarts          : 18         
6949.86/875.24	c full restarts            : 2          
6949.86/875.24	c total simplify time      : 5.12       
6949.86/875.24	c learnts DL2              : 0          
6949.86/875.24	c learnts size 2           : 10564106   
6949.86/875.24	c learnts size 1           : 364815      (74.50     % of vars)
6949.86/875.24	c filedLit time            : 78.76       (9.07      % time)
6949.86/875.24	c v-elim SatELite          : 13          (0.00      % vars)
6949.86/875.24	c SatELite time            : 15.86       (1.83      % time)
6949.86/875.24	c v-elim xor               : 0           (0.00      % vars)
6949.86/875.24	c xor elim time            : 0.34        (0.04      % time)
6949.86/875.24	c num binary xor trees     : 8135       
6949.86/875.24	c binxor trees' crown      : 9190        (1.13      leafs/tree)
6949.86/875.24	c bin xor find time        : 1.86       
6949.86/875.24	c OTF clause improved      : 1867        (0.01      clauses/conflict)
6949.86/875.24	c OTF impr. size diff      : 6016        (3.22       lits/clause)
6949.86/875.24	c OTF cl watch-shrink      : 135853      (0.53      clauses/conflict)
6949.86/875.24	c OTF cl watch-sh-lit      : 2771682     (20.40      lits/clause)
6949.86/875.24	c tried to recurMin cls    : 0           (0.00       % of conflicts)
6949.86/875.24	c updated cache            : 0           (nan        lits/tried recurMin)
6949.86/875.24	c unit cls recevied        : 10080       (2.76      % of units)
6949.86/875.24	c unit cls sent            : 10801       (2.96      % of units)
6949.86/875.24	c bin cls recevied         : 2983868    
6949.86/875.24	c bin cls sent             : 42043      
6949.86/875.24	c clauses over max glue    : 0           (0.00      % of all clauses)
6949.86/875.24	c conflicts                : 255284      (294.11    / sec)
6949.86/875.24	c decisions                : 901616      (1.24      % random)
6949.86/875.24	c bogo-props               : 10098320103 (11634182.98 / sec)
6949.86/875.24	c conflict literals        : 88848783    (39.27     % deleted)
6949.86/875.24	c Memory used              : 5994.79     MB
6949.86/875.24	c single-thread CPU time   : 867.99      s
6949.86/875.24	c all-threads sum CPU time : 6931.75     s
6949.86/875.24	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3394182-1306092493/watcher-3394182-1306092493 -o /tmp/evaluation-result-3394182-1306092493/solver-3394182-1306092493 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394182-1306092493.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.98 2.51 2.13 1/446 13648
/proc/meminfo: memFree=12106996/32951124 swapFree=67056836/67111528
[pid=13648] ppid=13646 vsize=92144 CPUtime=0.03 cores=0-7
/proc/13648/stat : 13648 (strangenight2-m) R 13646 13648 13586 0 -1 4202496 412 0 0 0 3 0 0 0 22 0 8 0 720847707 94355456 353 33554432000 4194304 4580107 140733916393520 18446744073709551615 47540960729010 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13648/statm: 23036 353 299 95 0 18018 0
[pid=13648/tid=13649] ppid=13646 vsize=92144 CPUtime=0.01 cores=0-7
/proc/13648/task/13649/stat : 13649 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 8 0 720847707 94355456 353 33554432000 4194304 4580107 140733916393520 18446744073709551615 47540960729010 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13648/tid=13650] ppid=13646 vsize=92144 CPUtime=0.01 cores=0-7
/proc/13648/task/13650/stat : 13650 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 720847707 94355456 353 33554432000 4194304 4580107 140733916393520 18446744073709551615 47540960729004 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13648/tid=13651] ppid=13646 vsize=92144 CPUtime=0.01 cores=0-7
/proc/13648/task/13651/stat : 13651 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 720847707 94355456 353 33554432000 4194304 4580107 140733916393520 18446744073709551615 47540960729000 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13648/tid=13652] ppid=13646 vsize=92144 CPUtime=0 cores=0-7
/proc/13648/task/13652/stat : 13652 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 720847707 94355456 353 33554432000 4194304 4580107 140733916393520 18446744073709551615 47540960729010 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13648/tid=13653] ppid=13646 vsize=92144 CPUtime=0 cores=0-7
/proc/13648/task/13653/stat : 13653 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 720847707 94355456 353 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550594033 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13648/tid=13654] ppid=13646 vsize=92144 CPUtime=0 cores=0-7
/proc/13648/task/13654/stat : 13654 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 720847707 94355456 353 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550594033 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13648/tid=13655] ppid=13646 vsize=92144 CPUtime=0.01 cores=0-7
/proc/13648/task/13655/stat : 13655 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 720847707 94355456 353 33554432000 4194304 4580107 140733916393520 18446744073709551615 47540960729014 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.108987 s]
/proc/loadavg: 4.98 2.51 2.13 1/446 13648
/proc/meminfo: memFree=12106996/32951124 swapFree=67056836/67111528
[pid=13648] ppid=13646 vsize=520328 CPUtime=0.66 cores=0-7
/proc/13648/stat : 13648 (strangenight2-m) R 13646 13648 13586 0 -1 4202496 20418 0 0 0 62 4 0 0 17 0 8 0 720847707 532815872 16764 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550642719 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13648/statm: 130082 17292 338 95 0 125064 0
[pid=13648/tid=13649] ppid=13646 vsize=520328 CPUtime=0.09 cores=0-7
/proc/13648/task/13649/stat : 13649 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 2489 0 0 0 9 0 0 0 18 0 8 0 720847707 532815872 17300 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550642719 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13648/tid=13650] ppid=13646 vsize=520328 CPUtime=0.09 cores=0-7
/proc/13648/task/13650/stat : 13650 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 2699 0 0 0 9 0 0 0 18 0 8 0 720847707 532815872 17307 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550642719 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13648/tid=13651] ppid=13646 vsize=520328 CPUtime=0.08 cores=0-7
/proc/13648/task/13651/stat : 13651 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 2847 0 0 0 8 0 0 0 18 0 8 0 720847707 532815872 17323 33554432000 4194304 4580107 140733916393520 18446744073709551615 4511053 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13648/tid=13652] ppid=13646 vsize=520328 CPUtime=0.07 cores=0-7
/proc/13648/task/13652/stat : 13652 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 2550 0 0 0 7 0 0 0 18 0 8 0 720847707 532815872 17343 33554432000 4194304 4580107 140733916393520 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13648/tid=13653] ppid=13646 vsize=520328 CPUtime=0.04 cores=0-7
/proc/13648/task/13653/stat : 13653 (strangenight2-m) S 13646 13648 13586 0 -1 4202560 2346 0 0 0 4 0 0 0 18 0 8 0 720847707 532815872 17361 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550642670 0 0 4096 2 18446604469001602176 0 0 -1 7 0 0 0
[pid=13648/tid=13654] ppid=13646 vsize=520328 CPUtime=0.07 cores=0-7
/proc/13648/task/13654/stat : 13654 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 2536 0 0 0 7 0 0 0 18 0 8 0 720847707 532815872 17381 33554432000 4194304 4580107 140733916393520 18446744073709551615 4353234 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13648/tid=13655] ppid=13646 vsize=520328 CPUtime=0.09 cores=0-7
/proc/13648/task/13655/stat : 13655 (strangenight2-m) S 13646 13648 13586 0 -1 4202560 2537 0 0 0 9 0 0 0 18 0 8 0 720847707 532815872 17394 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550642670 0 0 4096 2 18446604469001602176 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 520328

[startup+0.203942 s]
/proc/loadavg: 4.98 2.51 2.13 1/446 13648
/proc/meminfo: memFree=12106996/32951124 swapFree=67056836/67111528
[pid=13648] ppid=13646 vsize=549156 CPUtime=1.27 cores=0-7
/proc/13648/stat : 13648 (strangenight2-m) R 13646 13648 13586 0 -1 4202496 38782 0 0 0 109 18 0 0 17 0 8 0 720847707 562335744 30924 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550642719 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13648/statm: 137469 30933 338 95 0 132451 0
[pid=13648/tid=13649] ppid=13646 vsize=549876 CPUtime=0.17 cores=0-7
/proc/13648/task/13649/stat : 13649 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 4614 0 0 0 15 2 0 0 17 0 8 0 720847707 563073024 30933 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550206112 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13648/tid=13650] ppid=13646 vsize=549876 CPUtime=0.16 cores=0-7
/proc/13648/task/13650/stat : 13650 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 5048 0 0 0 14 2 0 0 17 0 8 0 720847707 563073024 30933 33554432000 4194304 4580107 140733916393520 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13648/tid=13651] ppid=13646 vsize=549876 CPUtime=0.16 cores=0-7
/proc/13648/task/13651/stat : 13651 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 5158 0 0 0 14 2 0 0 17 0 8 0 720847707 563073024 30933 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550642719 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13648/tid=13652] ppid=13646 vsize=549876 CPUtime=0.14 cores=0-7
/proc/13648/task/13652/stat : 13652 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 4928 0 0 0 12 2 0 0 17 0 8 0 720847707 563073024 30933 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550595498 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13648/tid=13653] ppid=13646 vsize=549876 CPUtime=0.13 cores=0-7
/proc/13648/task/13653/stat : 13653 (strangenight2-m) D 13646 13648 13586 0 -1 4202560 4905 0 0 0 11 2 0 0 17 0 8 0 720847707 563073024 30933 33554432000 4194304 4580107 140733916393520 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13648/tid=13654] ppid=13646 vsize=549876 CPUtime=0.15 cores=0-7
/proc/13648/task/13654/stat : 13654 (strangenight2-m) D 13646 13648 13586 0 -1 4202560 5040 0 0 0 13 2 0 0 17 0 8 0 720847707 563073024 30933 33554432000 4194304 4580107 140733916393520 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13648/tid=13655] ppid=13646 vsize=549876 CPUtime=0.17 cores=0-7
/proc/13648/task/13655/stat : 13655 (strangenight2-m) S 13646 13648 13586 0 -1 4202560 4681 0 0 0 15 2 0 0 17 0 8 0 720847707 563073024 30933 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550642670 0 0 4096 2 18446604469001602176 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 549156

[startup+0.303082 s]
/proc/loadavg: 4.98 2.51 2.13 1/446 13648
/proc/meminfo: memFree=12106996/32951124 swapFree=67056836/67111528
[pid=13648] ppid=13646 vsize=632704 CPUtime=1.85 cores=0-7
/proc/13648/stat : 13648 (strangenight2-m) R 13646 13648 13586 0 -1 4202496 48465 0 0 0 148 37 0 0 17 0 8 0 720847707 647888896 40558 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550642670 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13648/statm: 158176 40566 338 95 0 153158 0
[pid=13648/tid=13649] ppid=13646 vsize=632704 CPUtime=0.24 cores=0-7
/proc/13648/task/13649/stat : 13649 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 5693 0 0 0 20 4 0 0 17 0 8 0 720847707 647888896 40570 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550642670 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13648/tid=13650] ppid=13646 vsize=632704 CPUtime=0.22 cores=0-7
/proc/13648/task/13650/stat : 13650 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 5945 0 0 0 18 4 0 0 17 0 8 0 720847707 647888896 40576 33554432000 4194304 4580107 140733916393520 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13648/tid=13651] ppid=13646 vsize=632704 CPUtime=0.25 cores=0-7
/proc/13648/task/13651/stat : 13651 (strangenight2-m) D 13646 13648 13586 0 -1 4202560 6922 0 0 0 20 5 0 0 17 0 8 0 720847707 647888896 40579 33554432000 4194304 4580107 140733916393520 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13648/tid=13652] ppid=13646 vsize=632704 CPUtime=0.21 cores=0-7
/proc/13648/task/13652/stat : 13652 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 5951 0 0 0 17 4 0 0 17 0 8 0 720847707 647888896 40582 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550642670 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13648/tid=13653] ppid=13646 vsize=632704 CPUtime=0.19 cores=0-7
/proc/13648/task/13653/stat : 13653 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 6069 0 0 0 15 4 0 0 17 0 8 0 720847707 647888896 40589 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550642670 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13648/tid=13654] ppid=13646 vsize=632704 CPUtime=0.22 cores=0-7
/proc/13648/task/13654/stat : 13654 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 6104 0 0 0 18 4 0 0 17 0 8 0 720847707 647888896 40599 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550642719 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13648/tid=13655] ppid=13646 vsize=632704 CPUtime=0.24 cores=0-7
/proc/13648/task/13655/stat : 13655 (strangenight2-m) S 13646 13648 13586 0 -1 4202560 5847 0 0 0 20 4 0 0 17 0 8 0 720847707 647888896 40604 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550642670 0 0 4096 2 18446604469001602176 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 632704

[startup+0.700838 s]
/proc/loadavg: 4.98 2.51 2.13 1/446 13648
/proc/meminfo: memFree=12106996/32951124 swapFree=67056836/67111528
[pid=13648] ppid=13646 vsize=701180 CPUtime=4.1 cores=0-7
/proc/13648/stat : 13648 (strangenight2-m) R 13646 13648 13586 0 -1 4202496 96727 0 0 0 290 120 0 0 17 0 8 0 720847707 718008320 80253 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550642719 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13648/statm: 175295 80254 338 95 0 170277 0
[pid=13648/tid=13649] ppid=13646 vsize=701180 CPUtime=0.52 cores=0-7
/proc/13648/task/13649/stat : 13649 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 12892 0 0 0 38 14 0 0 17 0 8 0 720847707 718008320 80255 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550642719 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13648/tid=13650] ppid=13646 vsize=701180 CPUtime=0.52 cores=0-7
/proc/13648/task/13650/stat : 13650 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 11821 0 0 0 39 13 0 0 17 0 8 0 720847707 718008320 80257 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550642719 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13648/tid=13651] ppid=13646 vsize=701180 CPUtime=0.51 cores=0-7
/proc/13648/task/13651/stat : 13651 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 12564 0 0 0 36 15 0 0 17 0 8 0 720847707 718008320 80258 33554432000 4194304 4580107 140733916393520 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13648/tid=13652] ppid=13646 vsize=701180 CPUtime=0.49 cores=0-7
/proc/13648/task/13652/stat : 13652 (strangenight2-m) S 13646 13648 13586 0 -1 4202560 12592 0 0 0 34 15 0 0 17 0 8 0 720847707 718008320 80259 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550642670 0 0 4096 2 18446604469001602176 0 0 -1 2 0 0 0
[pid=13648/tid=13653] ppid=13646 vsize=701180 CPUtime=0.47 cores=0-7
/proc/13648/task/13653/stat : 13653 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 11852 0 0 0 34 13 0 0 17 0 8 0 720847707 718008320 80260 33554432000 4194304 4580107 140733916393520 18446744073709551615 4510992 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13648/tid=13654] ppid=13646 vsize=701180 CPUtime=0.51 cores=0-7
/proc/13648/task/13654/stat : 13654 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 12106 0 0 0 35 16 0 0 17 0 8 0 720847707 718008320 80262 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550642719 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13648/tid=13655] ppid=13646 vsize=701180 CPUtime=0.52 cores=0-7
/proc/13648/task/13655/stat : 13655 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 11119 0 0 0 37 15 0 0 17 0 8 0 720847707 718008320 80264 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550642719 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.1
Current children cumulated vsize (KiB) 701180

[startup+1.50071 s]
/proc/loadavg: 4.98 2.51 2.13 2/454 13656
/proc/meminfo: memFree=11641188/32951124 swapFree=67056836/67111528
[pid=13648] ppid=13646 vsize=1109496 CPUtime=8.34 cores=0-7
/proc/13648/stat : 13648 (strangenight2-m) R 13646 13648 13586 0 -1 4202496 187992 0 0 0 541 293 0 0 15 0 8 0 720847707 1136123904 154652 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550642670 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13648/statm: 277374 154654 338 95 0 272356 0
[pid=13648/tid=13649] ppid=13646 vsize=1109496 CPUtime=1.04 cores=0-7
/proc/13648/task/13649/stat : 13649 (strangenight2-m) S 13646 13648 13586 0 -1 4202560 23490 0 0 0 68 36 0 0 16 0 8 0 720847707 1136123904 154655 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550642670 0 0 4096 2 18446604469001602176 0 0 -1 4 0 0 0
[pid=13648/tid=13650] ppid=13646 vsize=1109496 CPUtime=1.06 cores=0-7
/proc/13648/task/13650/stat : 13650 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 23884 0 0 0 73 33 0 0 16 0 8 0 720847707 1136123904 154656 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550642670 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13648/tid=13651] ppid=13646 vsize=1109496 CPUtime=1.03 cores=0-7
/proc/13648/task/13651/stat : 13651 (strangenight2-m) S 13646 13648 13586 0 -1 4202560 24143 0 0 0 66 37 0 0 15 0 8 0 720847707 1136123904 154657 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550642670 0 0 4096 2 18446604469001602176 0 0 -1 1 0 0 0
[pid=13648/tid=13652] ppid=13646 vsize=1109496 CPUtime=1.03 cores=0-7
/proc/13648/task/13652/stat : 13652 (strangenight2-m) S 13646 13648 13586 0 -1 4202560 23001 0 0 0 64 39 0 0 15 0 8 0 720847707 1136123904 154657 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550642670 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13648/tid=13653] ppid=13646 vsize=1109496 CPUtime=0.99 cores=0-7
/proc/13648/task/13653/stat : 13653 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 23085 0 0 0 66 33 0 0 16 0 8 0 720847707 1136123904 154659 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550642670 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13648/tid=13654] ppid=13646 vsize=1109496 CPUtime=1.03 cores=0-7
/proc/13648/task/13654/stat : 13654 (strangenight2-m) S 13646 13648 13586 0 -1 4202560 24372 0 0 0 66 37 0 0 15 0 8 0 720847707 1136123904 154659 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550642670 0 0 4096 2 18446604469001602176 0 0 -1 5 0 0 0
[pid=13648/tid=13655] ppid=13646 vsize=1109496 CPUtime=1.06 cores=0-7
/proc/13648/task/13655/stat : 13655 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 22400 0 0 0 68 38 0 0 15 0 8 0 720847707 1136123904 154664 33554432000 4194304 4580107 140733916393520 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8.34
Current children cumulated vsize (KiB) 1109496

[startup+3.1004 s]
/proc/loadavg: 5.14 2.59 2.15 5/454 13656
/proc/meminfo: memFree=11273096/32951124 swapFree=67056836/67111528
[pid=13648] ppid=13646 vsize=1532564 CPUtime=15.62 cores=0-7
/proc/13648/stat : 13648 (strangenight2-m) R 13646 13648 13586 0 -1 4202496 310108 0 0 0 947 615 0 0 15 0 8 0 720847707 1569345536 276090 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550642670 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13648/statm: 383141 276090 338 95 0 378123 0
[pid=13648/tid=13649] ppid=13646 vsize=1532564 CPUtime=1.95 cores=0-7
/proc/13648/task/13649/stat : 13649 (strangenight2-m) S 13646 13648 13586 0 -1 4202560 39031 0 0 0 120 75 0 0 16 0 8 0 720847707 1569345536 276090 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550642670 0 0 4096 2 18446604469001602176 0 0 -1 5 0 0 0
[pid=13648/tid=13650] ppid=13646 vsize=1532564 CPUtime=2.01 cores=0-7
/proc/13648/task/13650/stat : 13650 (strangenight2-m) S 13646 13648 13586 0 -1 4202560 39567 0 0 0 126 75 0 0 15 0 8 0 720847707 1569345536 276091 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550642670 0 0 4096 2 18446604469001602176 0 0 -1 0 0 0 0
[pid=13648/tid=13651] ppid=13646 vsize=1532564 CPUtime=1.88 cores=0-7
/proc/13648/task/13651/stat : 13651 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 38144 0 0 0 114 74 0 0 16 0 8 0 720847707 1569345536 276092 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550642670 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13648/tid=13652] ppid=13646 vsize=1532564 CPUtime=1.99 cores=0-7
/proc/13648/task/13652/stat : 13652 (strangenight2-m) S 13646 13648 13586 0 -1 4202560 38462 0 0 0 117 82 0 0 15 0 8 0 720847707 1569345536 276092 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550642670 0 0 4096 2 18446604469001602176 0 0 -1 6 0 0 0
[pid=13648/tid=13653] ppid=13646 vsize=1532564 CPUtime=1.9 cores=0-7
/proc/13648/task/13653/stat : 13653 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 38625 0 0 0 117 73 0 0 16 0 8 0 720847707 1569345536 276093 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550198817 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13648/tid=13654] ppid=13646 vsize=1532564 CPUtime=1.89 cores=0-7
/proc/13648/task/13654/stat : 13654 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 40218 0 0 0 115 74 0 0 16 0 8 0 720847707 1569345536 276093 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550580919 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13648/tid=13655] ppid=13646 vsize=1532564 CPUtime=2.01 cores=0-7
/proc/13648/task/13655/stat : 13655 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 37641 0 0 0 119 82 0 0 16 0 8 0 720847707 1569345536 276094 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550642719 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 15.62
Current children cumulated vsize (KiB) 1532564

[startup+6.30082 s]
/proc/loadavg: 5.14 2.59 2.15 7/454 13656
/proc/meminfo: memFree=10172248/32951124 swapFree=67056836/67111528
[pid=13648] ppid=13646 vsize=2755440 CPUtime=30.91 cores=0-7
/proc/13648/stat : 13648 (strangenight2-m) S 13646 13648 13586 0 -1 4202496 616950 0 0 0 1865 1226 0 0 16 0 8 0 720847707 2821570560 547808 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550642670 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13648/statm: 688860 547833 338 95 0 683842 0
[pid=13648/tid=13649] ppid=13646 vsize=2755440 CPUtime=3.79 cores=0-7
/proc/13648/task/13649/stat : 13649 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 77648 0 0 0 230 149 0 0 16 0 8 0 720847707 2821570560 547833 33554432000 4194304 4580107 140733916393520 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13648/tid=13650] ppid=13646 vsize=2755440 CPUtime=4.12 cores=0-7
/proc/13648/task/13650/stat : 13650 (strangenight2-m) S 13646 13648 13586 0 -1 4202560 79266 0 0 0 258 154 0 0 16 0 8 0 720847707 2821570560 547833 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550642670 0 0 4096 2 18446604469001602176 0 0 -1 0 0 0 0
[pid=13648/tid=13651] ppid=13646 vsize=2755440 CPUtime=3.57 cores=0-7
/proc/13648/task/13651/stat : 13651 (strangenight2-m) S 13646 13648 13586 0 -1 4202560 74147 0 0 0 216 141 0 0 16 0 8 0 720847707 2821570560 547833 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550642670 0 0 4096 2 18446604469001602176 0 0 -1 1 0 0 0
[pid=13648/tid=13652] ppid=13646 vsize=2755440 CPUtime=4.06 cores=0-7
/proc/13648/task/13652/stat : 13652 (strangenight2-m) D 13646 13648 13586 0 -1 4202560 79020 0 0 0 235 171 0 0 15 0 8 0 720847707 2821570560 547833 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550580919 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13648/tid=13653] ppid=13646 vsize=2755440 CPUtime=3.76 cores=0-7
/proc/13648/task/13653/stat : 13653 (strangenight2-m) D 13646 13648 13586 0 -1 4202560 76111 0 0 0 228 148 0 0 15 0 8 0 720847707 2821570560 547833 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550580919 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13648/tid=13654] ppid=13646 vsize=2755440 CPUtime=3.68 cores=0-7
/proc/13648/task/13654/stat : 13654 (strangenight2-m) D 13646 13648 13586 0 -1 4202560 78365 0 0 0 227 141 0 0 16 0 8 0 720847707 2821570560 547833 33554432000 4194304 4580107 140733916393520 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13648/tid=13655] ppid=13646 vsize=2755440 CPUtime=4.1 cores=0-7
/proc/13648/task/13655/stat : 13655 (strangenight2-m) S 13646 13648 13586 0 -1 4202560 76705 0 0 0 240 170 0 0 16 0 8 0 720847707 2821570560 547833 33554432000 4194304 4580107 140733916393520 18446744073709551615 271550642670 0 0 4096 2 18446604469001602176 0 0 -1 4 0 0 0

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

[pid=13648/tid=13652] ppid=13646 vsize=6311620 CPUtime=840.13 cores=0-7
/proc/13648/task/13652/stat : 13652 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 270018 0 0 0 83758 255 0 0 25 0 8 0 720847707 6463098880 1334657 33554432000 4194304 4580107 140733916393520 18446744073709551615 4320813 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13648/tid=13653] ppid=13646 vsize=6311620 CPUtime=840.45 cores=0-7
/proc/13648/task/13653/stat : 13653 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 216584 0 0 0 83836 209 0 0 25 0 8 0 720847707 6463098880 1334657 33554432000 4194304 4580107 140733916393520 18446744073709551615 4293244 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13648/tid=13654] ppid=13646 vsize=6311620 CPUtime=837.52 cores=0-7
/proc/13648/task/13654/stat : 13654 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 253917 0 0 0 83525 227 0 0 25 0 8 0 720847707 6463098880 1334657 33554432000 4194304 4580107 140733916393520 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13648/tid=13655] ppid=13646 vsize=6311620 CPUtime=833.8 cores=0-7
/proc/13648/task/13655/stat : 13655 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 298914 0 0 0 83125 255 0 0 25 0 8 0 720847707 6463098880 1334657 33554432000 4194304 4580107 140733916393520 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6707.23
Current children cumulated vsize (KiB) 6311620

[startup+857.601 s]
/proc/loadavg: 8.14 7.81 5.72 9/454 13678
/proc/meminfo: memFree=6739580/32951124 swapFree=67056836/67111528
[pid=13648] ppid=13646 vsize=6387156 CPUtime=6809.34 cores=0-7
/proc/13648/stat : 13648 (strangenight2-m) R 13646 13648 13586 0 -1 4202496 1970893 0 0 0 679098 1836 0 0 25 0 8 0 720847707 6540447744 1340645 33554432000 4194304 4580107 140733916393520 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13648/statm: 1596789 1340645 380 95 0 1591771 0
[pid=13648/tid=13649] ppid=13646 vsize=6387156 CPUtime=853.51 cores=0-7
/proc/13648/task/13649/stat : 13649 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 248986 0 0 0 85126 225 0 0 25 0 8 0 720847707 6540447744 1340645 33554432000 4194304 4580107 140733916393520 18446744073709551615 4447732 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13648/tid=13650] ppid=13646 vsize=6387156 CPUtime=851.12 cores=0-7
/proc/13648/task/13650/stat : 13650 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 222447 0 0 0 84892 220 0 0 25 0 8 0 720847707 6540447744 1340645 33554432000 4194304 4580107 140733916393520 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13648/tid=13651] ppid=13646 vsize=6387156 CPUtime=850.21 cores=0-7
/proc/13648/task/13651/stat : 13651 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 226958 0 0 0 84807 214 0 0 25 0 8 0 720847707 6540447744 1340645 33554432000 4194304 4580107 140733916393520 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13648/tid=13652] ppid=13646 vsize=6387156 CPUtime=852.9 cores=0-7
/proc/13648/task/13652/stat : 13652 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 270720 0 0 0 85035 255 0 0 25 0 8 0 720847707 6540447744 1340645 33554432000 4194304 4580107 140733916393520 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13648/tid=13653] ppid=13646 vsize=6387156 CPUtime=853.24 cores=0-7
/proc/13648/task/13653/stat : 13653 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 217418 0 0 0 85114 210 0 0 25 0 8 0 720847707 6540447744 1340645 33554432000 4194304 4580107 140733916393520 18446744073709551615 4222027 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13648/tid=13654] ppid=13646 vsize=6387156 CPUtime=850.29 cores=0-7
/proc/13648/task/13654/stat : 13654 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 254857 0 0 0 84802 227 0 0 25 0 8 0 720847707 6540447744 1340645 33554432000 4194304 4580107 140733916393520 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13648/tid=13655] ppid=13646 vsize=6387156 CPUtime=846.58 cores=0-7
/proc/13648/task/13655/stat : 13655 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 299463 0 0 0 84403 255 0 0 25 0 8 0 720847707 6540447744 1340645 33554432000 4194304 4580107 140733916393520 18446744073709551615 4321874 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6809.34
Current children cumulated vsize (KiB) 6387156

[startup+864.001 s]
/proc/loadavg: 8.12 7.81 5.74 9/454 13679
/proc/meminfo: memFree=6778140/32951124 swapFree=67056836/67111528
[pid=13648] ppid=13646 vsize=6214000 CPUtime=6860.44 cores=0-7
/proc/13648/stat : 13648 (strangenight2-m) R 13646 13648 13586 0 -1 4202496 1986332 0 0 0 684203 1841 0 0 25 0 8 0 720847707 6363136000 1332790 33554432000 4194304 4580107 140733916393520 18446744073709551615 4321036 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13648/statm: 1553500 1332790 380 95 0 1548482 0
[pid=13648/tid=13649] ppid=13646 vsize=6214000 CPUtime=859.91 cores=0-7
/proc/13648/task/13649/stat : 13649 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 254750 0 0 0 85765 226 0 0 25 0 8 0 720847707 6363136000 1332790 33554432000 4194304 4580107 140733916393520 18446744073709551615 4515303 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13648/tid=13650] ppid=13646 vsize=6214000 CPUtime=857.51 cores=0-7
/proc/13648/task/13650/stat : 13650 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 225025 0 0 0 85531 220 0 0 25 0 8 0 720847707 6363136000 1332790 33554432000 4194304 4580107 140733916393520 18446744073709551615 4484453 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13648/tid=13651] ppid=13646 vsize=6214000 CPUtime=856.51 cores=0-7
/proc/13648/task/13651/stat : 13651 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 227476 0 0 0 85436 215 0 0 25 0 8 0 720847707 6363136000 1332790 33554432000 4194304 4580107 140733916393520 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13648/tid=13652] ppid=13646 vsize=6214000 CPUtime=859.31 cores=0-7
/proc/13648/task/13652/stat : 13652 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 273345 0 0 0 85675 256 0 0 25 0 8 0 720847707 6363136000 1332790 33554432000 4194304 4580107 140733916393520 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13648/tid=13653] ppid=13646 vsize=6214000 CPUtime=859.64 cores=0-7
/proc/13648/task/13653/stat : 13653 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 217874 0 0 0 85754 210 0 0 25 0 8 0 720847707 6363136000 1332790 33554432000 4194304 4580107 140733916393520 18446744073709551615 4294305 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13648/tid=13654] ppid=13646 vsize=6214000 CPUtime=856.7 cores=0-7
/proc/13648/task/13654/stat : 13654 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 255381 0 0 0 85442 228 0 0 25 0 8 0 720847707 6363136000 1332790 33554432000 4194304 4580107 140733916393520 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13648/tid=13655] ppid=13646 vsize=6214000 CPUtime=852.99 cores=0-7
/proc/13648/task/13655/stat : 13655 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 299853 0 0 0 85043 256 0 0 25 0 8 0 720847707 6363136000 1332790 33554432000 4194304 4580107 140733916393520 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6860.44
Current children cumulated vsize (KiB) 6214000

[startup+870.401 s]
/proc/loadavg: 8.11 7.82 5.75 9/454 13679
/proc/meminfo: memFree=6785456/32951124 swapFree=67056836/67111528
[pid=13648] ppid=13646 vsize=6138664 CPUtime=6911.53 cores=0-7
/proc/13648/stat : 13648 (strangenight2-m) R 13646 13648 13586 0 -1 4202496 1988967 0 0 0 689310 1843 0 0 25 0 8 0 720847707 6285991936 1328755 33554432000 4194304 4580107 140733916393520 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13648/statm: 1534666 1328755 380 95 0 1529648 0
[pid=13648/tid=13649] ppid=13646 vsize=6138664 CPUtime=866.31 cores=0-7
/proc/13648/task/13649/stat : 13649 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 254783 0 0 0 86405 226 0 0 25 0 8 0 720847707 6285991936 1328755 33554432000 4194304 4580107 140733916393520 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13648/tid=13650] ppid=13646 vsize=6138664 CPUtime=863.91 cores=0-7
/proc/13648/task/13650/stat : 13650 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 225432 0 0 0 86171 220 0 0 25 0 8 0 720847707 6285991936 1328755 33554432000 4194304 4580107 140733916393520 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13648/tid=13651] ppid=13646 vsize=6138664 CPUtime=862.8 cores=0-7
/proc/13648/task/13651/stat : 13651 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 228013 0 0 0 86065 215 0 0 25 0 8 0 720847707 6285991936 1328755 33554432000 4194304 4580107 140733916393520 18446744073709551615 4293308 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13648/tid=13652] ppid=13646 vsize=6138664 CPUtime=865.7 cores=0-7
/proc/13648/task/13652/stat : 13652 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 273688 0 0 0 86314 256 0 0 25 0 8 0 720847707 6285991936 1328755 33554432000 4194304 4580107 140733916393520 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13648/tid=13653] ppid=13646 vsize=6138664 CPUtime=866.04 cores=0-7
/proc/13648/task/13653/stat : 13653 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 217874 0 0 0 86394 210 0 0 25 0 8 0 720847707 6285991936 1328755 33554432000 4194304 4580107 140733916393520 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13648/tid=13654] ppid=13646 vsize=6138664 CPUtime=863.1 cores=0-7
/proc/13648/task/13654/stat : 13654 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 255807 0 0 0 86082 228 0 0 25 0 8 0 720847707 6285991936 1328755 33554432000 4194304 4580107 140733916393520 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13648/tid=13655] ppid=13646 vsize=6138664 CPUtime=859.38 cores=0-7
/proc/13648/task/13655/stat : 13655 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 300136 0 0 0 85682 256 0 0 25 0 8 0 720847707 6285991936 1328755 33554432000 4194304 4580107 140733916393520 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6911.53
Current children cumulated vsize (KiB) 6138664

[startup+873.601 s]
/proc/loadavg: 8.10 7.82 5.76 9/454 13679
/proc/meminfo: memFree=6780000/32951124 swapFree=67056836/67111528
[pid=13648] ppid=13646 vsize=6138664 CPUtime=6937.08 cores=0-7
/proc/13648/stat : 13648 (strangenight2-m) R 13646 13648 13586 0 -1 4202496 1990439 0 0 0 691864 1844 0 0 25 0 8 0 720847707 6285991936 1330227 33554432000 4194304 4580107 140733916393520 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13648/statm: 1534666 1330227 380 95 0 1529648 0
[pid=13648/tid=13649] ppid=13646 vsize=6138664 CPUtime=869.51 cores=0-7
/proc/13648/task/13649/stat : 13649 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 254978 0 0 0 86725 226 0 0 25 0 8 0 720847707 6285991936 1330227 33554432000 4194304 4580107 140733916393520 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13648/tid=13650] ppid=13646 vsize=6138664 CPUtime=867.11 cores=0-7
/proc/13648/task/13650/stat : 13650 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 225640 0 0 0 86491 220 0 0 25 0 8 0 720847707 6285991936 1330227 33554432000 4194304 4580107 140733916393520 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13648/tid=13651] ppid=13646 vsize=6138664 CPUtime=865.96 cores=0-7
/proc/13648/task/13651/stat : 13651 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 228241 0 0 0 86380 216 0 0 25 0 8 0 720847707 6285991936 1330227 33554432000 4194304 4580107 140733916393520 18446744073709551615 4325657 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13648/tid=13652] ppid=13646 vsize=6138664 CPUtime=868.9 cores=0-7
/proc/13648/task/13652/stat : 13652 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 273865 0 0 0 86634 256 0 0 25 0 8 0 720847707 6285991936 1330227 33554432000 4194304 4580107 140733916393520 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13648/tid=13653] ppid=13646 vsize=6138664 CPUtime=869.24 cores=0-7
/proc/13648/task/13653/stat : 13653 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 217874 0 0 0 86714 210 0 0 25 0 8 0 720847707 6285991936 1330227 33554432000 4194304 4580107 140733916393520 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13648/tid=13654] ppid=13646 vsize=6138664 CPUtime=866.3 cores=0-7
/proc/13648/task/13654/stat : 13654 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 256079 0 0 0 86401 229 0 0 25 0 8 0 720847707 6285991936 1330227 33554432000 4194304 4580107 140733916393520 18446744073709551615 4293241 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13648/tid=13655] ppid=13646 vsize=6138664 CPUtime=862.58 cores=0-7
/proc/13648/task/13655/stat : 13655 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 300276 0 0 0 86002 256 0 0 25 0 8 0 720847707 6285991936 1330227 33554432000 4194304 4580107 140733916393520 18446744073709551615 4317040 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6937.08
Current children cumulated vsize (KiB) 6138664

[startup+874.401 s]
/proc/loadavg: 8.10 7.82 5.76 9/454 13679
/proc/meminfo: memFree=6780000/32951124 swapFree=67056836/67111528
[pid=13648] ppid=13646 vsize=6138664 CPUtime=6943.48 cores=0-7
/proc/13648/stat : 13648 (strangenight2-m) R 13646 13648 13586 0 -1 4202496 1990815 0 0 0 692504 1844 0 0 25 0 8 0 720847707 6285991936 1330603 33554432000 4194304 4580107 140733916393520 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13648/statm: 1534666 1330603 380 95 0 1529648 0
[pid=13648/tid=13649] ppid=13646 vsize=6138664 CPUtime=870.31 cores=0-7
/proc/13648/task/13649/stat : 13649 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 255019 0 0 0 86805 226 0 0 25 0 8 0 720847707 6285991936 1330603 33554432000 4194304 4580107 140733916393520 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13648/tid=13650] ppid=13646 vsize=6138664 CPUtime=867.91 cores=0-7
/proc/13648/task/13650/stat : 13650 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 225707 0 0 0 86571 220 0 0 25 0 8 0 720847707 6285991936 1330603 33554432000 4194304 4580107 140733916393520 18446744073709551615 4316490 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13648/tid=13651] ppid=13646 vsize=6138664 CPUtime=866.75 cores=0-7
/proc/13648/task/13651/stat : 13651 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 228290 0 0 0 86459 216 0 0 25 0 8 0 720847707 6285991936 1330603 33554432000 4194304 4580107 140733916393520 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13648/tid=13652] ppid=13646 vsize=6138664 CPUtime=869.7 cores=0-7
/proc/13648/task/13652/stat : 13652 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 273878 0 0 0 86714 256 0 0 25 0 8 0 720847707 6285991936 1330603 33554432000 4194304 4580107 140733916393520 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13648/tid=13653] ppid=13646 vsize=6138664 CPUtime=870.04 cores=0-7
/proc/13648/task/13653/stat : 13653 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 217874 0 0 0 86794 210 0 0 25 0 8 0 720847707 6285991936 1330603 33554432000 4194304 4580107 140733916393520 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13648/tid=13654] ppid=13646 vsize=6138664 CPUtime=867.1 cores=0-7
/proc/13648/task/13654/stat : 13654 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 256154 0 0 0 86481 229 0 0 25 0 8 0 720847707 6285991936 1330603 33554432000 4194304 4580107 140733916393520 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13648/tid=13655] ppid=13646 vsize=6138664 CPUtime=863.38 cores=0-7
/proc/13648/task/13655/stat : 13655 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 300320 0 0 0 86082 256 0 0 25 0 8 0 720847707 6285991936 1330603 33554432000 4194304 4580107 140733916393520 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6943.48
Current children cumulated vsize (KiB) 6138664

[startup+875.201 s]
/proc/loadavg: 8.10 7.82 5.76 9/454 13679
/proc/meminfo: memFree=6778016/32951124 swapFree=67056836/67111528
[pid=13648] ppid=13646 vsize=6138664 CPUtime=6949.86 cores=0-7
/proc/13648/stat : 13648 (strangenight2-m) R 13646 13648 13586 0 -1 4202496 1991135 0 0 0 693142 1844 0 0 25 0 8 0 720847707 6285991936 1330923 33554432000 4194304 4580107 140733916393520 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13648/statm: 1534666 1330923 380 95 0 1529648 0
[pid=13648/tid=13649] ppid=13646 vsize=6138664 CPUtime=871.11 cores=0-7
/proc/13648/task/13649/stat : 13649 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 255045 0 0 0 86885 226 0 0 25 0 8 0 720847707 6285991936 1330923 33554432000 4194304 4580107 140733916393520 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13648/tid=13650] ppid=13646 vsize=6138664 CPUtime=868.71 cores=0-7
/proc/13648/task/13650/stat : 13650 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 225762 0 0 0 86651 220 0 0 25 0 8 0 720847707 6285991936 1330923 33554432000 4194304 4580107 140733916393520 18446744073709551615 4301867 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13648/tid=13651] ppid=13646 vsize=6138664 CPUtime=867.54 cores=0-7
/proc/13648/task/13651/stat : 13651 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 228356 0 0 0 86538 216 0 0 25 0 8 0 720847707 6285991936 1330923 33554432000 4194304 4580107 140733916393520 18446744073709551615 4320650 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13648/tid=13652] ppid=13646 vsize=6138664 CPUtime=870.5 cores=0-7
/proc/13648/task/13652/stat : 13652 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 273889 0 0 0 86794 256 0 0 25 0 8 0 720847707 6285991936 1330923 33554432000 4194304 4580107 140733916393520 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13648/tid=13653] ppid=13646 vsize=6138664 CPUtime=870.84 cores=0-7
/proc/13648/task/13653/stat : 13653 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 217874 0 0 0 86874 210 0 0 25 0 8 0 720847707 6285991936 1330923 33554432000 4194304 4580107 140733916393520 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13648/tid=13654] ppid=13646 vsize=6138664 CPUtime=867.9 cores=0-7
/proc/13648/task/13654/stat : 13654 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 256188 0 0 0 86561 229 0 0 25 0 8 0 720847707 6285991936 1330923 33554432000 4194304 4580107 140733916393520 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13648/tid=13655] ppid=13646 vsize=6138664 CPUtime=864.18 cores=0-7
/proc/13648/task/13655/stat : 13655 (strangenight2-m) R 13646 13648 13586 0 -1 4202560 300367 0 0 0 86162 256 0 0 25 0 8 0 720847707 6285991936 1330923 33554432000 4194304 4580107 140733916393520 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6949.86
Current children cumulated vsize (KiB) 6138664

[startup+875.401 s]
/proc/loadavg: 8.10 7.82 5.76 9/454 13679
/proc/meminfo: memFree=6778016/32951124 swapFree=67056836/67111528
[pid=13648] ppid=13646 vsize=0 CPUtime=6950.34 cores=0-7
/proc/13648/stat : 13648 (strangenight2-m) Z 13646 13648 13586 0 -1 4203548 1991149 0 0 0 693174 1860 0 0 25 0 2 0 720847707 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13648/statm: 0 0 0 0 0 0 0
[pid=13648/tid=13649] ppid=13646 vsize=0 CPUtime=871.31 cores=0-7
/proc/13648/task/13649/stat : 13649 (strangenight2-m) R 13646 13648 13586 0 -1 4203588 255046 0 0 0 86889 242 0 0 25 0 2 0 720847707 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6950.34
Current children cumulated vsize (KiB) 0

[startup+875.501 s]
/proc/loadavg: 8.10 7.82 5.76 9/454 13679
/proc/meminfo: memFree=6778016/32951124 swapFree=67056836/67111528
[pid=13648] ppid=13646 vsize=0 CPUtime=6950.44 cores=0-7
/proc/13648/stat : 13648 (strangenight2-m) Z 13646 13648 13586 0 -1 4203548 1991149 0 0 0 693174 1870 0 0 25 0 2 0 720847707 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13648/statm: 0 0 0 0 0 0 0
[pid=13648/tid=13649] ppid=13646 vsize=0 CPUtime=871.41 cores=0-7
/proc/13648/task/13649/stat : 13649 (strangenight2-m) R 13646 13648 13586 0 -1 4203588 255046 0 0 0 86889 252 0 0 25 0 2 0 720847707 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6950.44
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 875.507
CPU time (s): 6950.46
CPU user time (s): 6931.75
CPU system time (s): 18.7142
CPU usage (%): 793.878
Max. virtual memory (cumulated for all children) (KiB): 6471264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6931.75
system time used= 18.7142
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1991149
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= 1849836
involuntary context switches= 85821

runsolver used 3.73443 second user time and 9.70053 second system time

The end

Launcher Data 

Begin job on node133 at 2011-05-22 21:28:18
IDJOB=3394182
IDBENCH=82371
IDSOLVER=1878
FILE ID=node133/3394182-1306092493
RUNJOBID= node133-1306092438-13600
PBS_JOBID= 13387943
Free space on /tmp= 72876 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.120-NOTKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394182-1306092493/watcher-3394182-1306092493 -o /tmp/evaluation-result-3394182-1306092493/solver-3394182-1306092493 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3394182-1306092493.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 8d94c04f870c828c80bd9a45ae3dedff
RANDOM SEED=1336540826

node133.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.834
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.834
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.834
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.82
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.834
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	: 6741.12
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.834
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.834
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.834
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.74
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.834
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:      12107276 kB
Buffers:        339548 kB
Cached:        8737164 kB
SwapCached:       7668 kB
Active:       15064772 kB
Inactive:      5450160 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      12107276 kB
SwapTotal:    67111528 kB
SwapFree:     67056836 kB
Dirty:          164792 kB
Writeback:           0 kB
AnonPages:    11436332 kB
Mapped:          37416 kB
Slab:           206844 kB
PageTables:      52976 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 114889468 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72868 MiB
End job on node133 at 2011-05-22 21:42:54