Trace number 3400651

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 41380.3 1444.06

General information on the benchmark

NameAPPLICATIONS/bitverif/
minxorminand/minxorminand128.cnf
MD5SUMa551844fb6a7f35cf6025d0a525ca14e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1620.42
Satisfiable
(Un)Satisfiability was proved
Number of variables153834
Number of clauses459965
Sum of the clauses size1073249
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2306642
Number of clauses of size 3153321
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.02	c Using 32 threads
0.00/0.03	c This is CryptoMiniSat 3.0.0
0.00/0.03	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03	c Reading file 'HOME/instance-3400651-1306271563.cnf'
1.28/0.06	c -- header says num vars:         153834
1.28/0.06	c -- header says num clauses:      459965
49.97/4.30	c -- clauses added:            0 learnts,       459965 normals,            0 xors
49.97/4.30	c -- vars added     153834
49.97/4.30	c Parsing time:  0.63 s
49.97/4.30	c  N st     0         0    153834    153321    306642         0   1073247         0   no data   no data
73.61/5.06	c asymm  cl-useful: 0/19999/153312 lits-rem:0 time: 0.76
329.29/13.05	c Flit:     0 Blit:      6 bXBeca:    0 bXProp:  890 Bins:      0 BRemL:      0 BRemN:      0 P: 153.8M T:  7.99
333.11/13.15	c Replacing      890 vars Replaced    11442 lits Time:     0.09 s 
336.30/13.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
338.83/13.33	c bin-w-bin subsume rem            0 bins  time:  0.05 s
341.18/13.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.13 s
349.74/14.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done: 122725 time:  0.67 s
355.57/14.77	c Removed useless bin:      54  fixed:     0  props:  20.00M  time:  0.40 s
713.06/30.16	c lits-rem:         0  cl-subs:        0  v-elim:  50976  v-fix:    0  time:  9.24 s
715.32/30.27	c Finding binary XORs  T:     0.08 s  found:       0
719.68/30.41	c Finding non-binary XORs:     0.05 s (found:      22, avg size: 3.0)
719.68/30.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
719.68/30.44	c calculated reachability. Time: 0.00
719.68/30.48	c Calc default polars -  time:   0.03 s pos:     916 undec:   51882 neg:  101036
719.68/30.48	c =========================================================================================
719.68/30.48	c types(t): F = full restart, N = normal restart
719.68/30.48	c types(t): S = simplification begin/end, E = solution found
719.68/30.48	c restart types(rt): st = static, dy = dynamic
719.68/30.48	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
719.68/30.48	c  B st     0         0    101952    104194    250845         0    872786         0   no data   no data
1015.82/40.26	c  N dy    15      4036    101952    104194    251046      3807    872786    164592     21.97     23.17
1218.82/50.23	c  N dy    44      8082    101952    104194    251206      7707    872786    500279     30.63     74.12
1227.28/53.92	c  N dy    76     12110    101952    104194    251267     11604    872786   1090128     41.67     61.38
1573.81/194.72	c  N dy    98     16159    101952    104194    254896     15508    872786   1617480     44.56     60.66
1637.57/198.12	c Finding binary XORs  T:     0.06 s  found:       7
1740.52/201.37	c  N dy   135     20166    101952    104194    256438      9812    872786    406004     60.40     68.08
1957.13/208.13	c  N dy   168     24247    101952    104194    256455     13818    872786   1305422     67.94    101.29
2008.28/209.70	c  F st   176     25002    101951    104194    256963     14555    872786   1523205     69.84   no data
2011.48/209.87	c Replacing        7 vars Replaced    14765 lits Time:     0.14 s 
2174.35/214.92	c  N st   181     28303    101944    104191    256960     17734    872767   2820792     69.84   no data
2260.65/217.61	c  S st   182     30001    101944    104191    256962     19374    872767   3744054     69.84   no data
2279.82/218.23	c  S st   182     30502    101944    104191    257561     19856    872767   3762664     69.84   no data
2279.82/218.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2408.31/222.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   10 Bins: 112528 BRemL:   8176 BRemN:     10 P: 26.6M T:  3.94
2414.07/222.41	c Replacing       10 vars Replaced     4605 lits Time:     0.16 s 
2414.07/222.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
2417.26/222.53	c bin-w-bin subsume rem          521 bins  time:  0.06 s
2423.67/222.77	c subs with bin:      211  lits-rem:         1  v-fix:    0  time:  0.24 s
2430.06/222.96	c Subs w/ non-existent bins:      0 l-rem:   1106 v-fix:     0 done: 101932 time:  0.19 s
2436.44/223.17	c Removed useless bin:       4  fixed:     0  props:   6.89M  time:  0.21 s
2519.40/225.74	c lits-rem:         0  cl-subs:       10  v-elim:  67954  v-fix:    0  time:  2.09 s
2586.53/227.86	c subs with bin:       55  lits-rem:      5489  v-fix:    0  time:  2.04 s
2599.29/228.26	c lits-rem:      2253  cl-subs:      799  v-elim:      0  v-fix:    0  time:  0.34 s
2599.29/228.26	c Added XOR as norm:22
2619.10/228.84	c asymm  cl-useful: 712/2529/108759 lits-rem:727 time: 0.58
2619.10/228.86	c calculated reachability. Time: 0.00
2619.10/228.87	c  N dy   182     30502     33978    108759    173679      9666    881394    853621     69.84   no data
2621.66/228.90	c Finding binary XORs  T:     0.03 s  found:       0
2768.70/233.56	c  N dy   200     34574     33978    108759    173703     13569    881394   1487184     69.73    230.50
2910.41/238.08	c  N dy   219     38643     33977    108759    173974     17469    881394   2211242     70.64    228.78
3018.73/241.89	c  N dy   234     42701     33977    108759    173976     11368    881394    750610     71.04     75.36
3024.80/242.08	c Finding binary XORs  T:     0.03 s  found:       1
3123.38/245.33	c  S st   255     45754     33976    108757    178505     14360    881376   1488202     72.41   no data
3135.46/245.77	c  S st   255     46254     33976    108757    178512     14848    881376   1508286     72.41   no data
3138.66/245.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3225.51/248.60	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    1 Bins:  39952 BRemL:  28669 BRemN:     17 P: 14.6M T:  2.77
3228.74/248.69	c Replacing        2 vars Replaced     1899 lits Time:     0.08 s 
3231.30/248.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3231.30/248.79	c bin-w-bin subsume rem          383 bins  time:  0.03 s
3240.89/249.10	c subs with bin:     4017  lits-rem:         0  v-fix:    0  time:  0.30 s
3247.29/249.25	c Subs w/ non-existent bins:    734 l-rem:  31432 v-fix:     0 done:  33973 time:  0.15 s
3250.48/249.35	c Removed useless bin:      51  fixed:     0  props:   3.15M  time:  0.10 s
3279.23/250.22	c lits-rem:         2  cl-subs:       54  v-elim:  21842  v-fix:    0  time:  0.81 s
3339.93/252.12	c subs with bin:       48  lits-rem:      2028  v-fix:    0  time:  1.86 s
3346.33/252.35	c lits-rem:       871  cl-subs:      537  v-elim:      0  v-fix:    0  time:  0.17 s
3349.53/252.45	c vivif2 --  cl tried   105489 cl shrink    11396 lits rem      11400 time: 0.09
3349.53/252.49	c vivif2 --  cl tried    10475 cl shrink     2544 lits rem      45157 time: 0.04
3369.34/253.04	c asymm  cl-useful: 53/4258/104081 lits-rem:76 time: 0.55
3369.34/253.06	c calculated reachability. Time: 0.01
3369.34/253.07	c  N dy   255     46254     12131    104081    132492     10408    838804    666350     72.41   no data
3371.89/253.11	c Finding binary XORs  T:     0.05 s  found:       0
3467.70/256.12	c  N dy   260     50490     12130    104081    133204     14553    838803   1367072     69.18     76.93
3630.71/261.26	c  N dy   270     55369     12130    104081    133233     19288    838803   2345084     66.28     71.63
3729.73/264.35	c  N dy   281     59467     12130    104081    134437     23270    838803   3228140     64.60     69.42
3893.34/269.47	c  N dy   299     63502     12129    104081    135813     27187    838803   4301775     64.43     93.85
3937.49/270.80	c Finding binary XORs  T:     0.05 s  found:       1
4052.56/274.46	c  N dy   315     68009     12129    104079    135830     17802    838777   1677956     63.68     67.16
4084.53/275.41	c  S st   320     69381     12129    104079    137421     19120    838777   1971853     63.45     56.32
4097.31/275.80	c  S st   320     69883     12128    104079    137422     19621    838777   2008753     63.45   no data
4097.31/275.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4174.62/278.32	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  14308 BRemL:  12341 BRemN:      0 P: 13.5M T:  2.47
4177.83/278.39	c Replacing        1 vars Replaced       12 lits Time:     0.07 s 
4180.39/278.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4180.39/278.49	c bin-w-bin subsume rem         1580 bins  time:  0.02 s
4189.99/278.76	c subs with bin:       99  lits-rem:         0  v-fix:    0  time:  0.27 s
4193.19/278.87	c Subs w/ non-existent bins:      5 l-rem:      0 v-fix:     0 done:  12126 time:  0.10 s
4196.39/278.94	c Removed useless bin:      13  fixed:     0  props:   2.58M  time:  0.07 s
4199.58/279.06	c lits-rem:         0  cl-subs:        3  v-elim:     47  v-fix:    0  time:  0.12 s
4273.08/281.32	c subs with bin:       22  lits-rem:      1660  v-fix:    0  time:  2.14 s
4318.42/282.74	c lits-rem:     14106  cl-subs:     1171  v-elim:      0  v-fix:    0  time:  1.36 s
4320.99/282.83	c vivif2 --  cl tried   103806 cl shrink        6 lits rem          6 time: 0.10
4324.19/282.95	c vivif2 --  cl tried    17243 cl shrink     2882 lits rem      84339 time: 0.11
4343.35/283.53	c asymm  cl-useful: 100/6357/103806 lits-rem:286 time: 0.58
4343.35/283.55	c calculated reachability. Time: 0.01
4343.35/283.55	c  N dy   320     69883     12079    103794    137207     17235    838484   1466367     63.45   no data
4346.55/283.60	c Finding binary XORs  T:     0.05 s  found:       0
4442.42/286.61	c  N dy   330     74558     12079    103794    137215     21763    838484   2136165     62.18     65.75
4535.05/289.60	c  N dy   342     79489     12075    103794    137324     26550    838484   3625397     61.24     65.14
4650.09/293.14	c  N dy   368     84572     12075    103794    137779     31528    838484   4762187     62.13     66.34
4688.44/294.35	c  F st   374     87500     12075    103794    137787     34413    838484   5114991     60.90      8.80
4740.22/295.96	c  N st   379     90799     12073    103789    139701     19459    838383   1693555     60.90   no data
4886.59/300.52	c  N dy   388     97396     12073    103789    139730     25985    838383   4435679     60.23     64.12
4960.10/302.83	c Finding binary XORs  T:     0.05 s  found:       4
4995.26/303.93	c  N dy   412    103817     12072    103786    139964     32233    838332   5623804     60.08     64.00
5014.45/304.56	c  S st   420    104824     12072    103786    139966     33225    838332   5894724     60.55     38.65
5027.23/304.95	c  S st   420    105327     12072    103786    139967     33724    838332   5914747     60.55   no data
5027.23/305.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
5110.30/307.52	c Flit:     3 Blit:      0 bXBeca:    0 bXProp:    1 Bins:   2466 BRemL:   4961 BRemN:     14 P: 15.5M T:  2.52
5113.47/307.63	c Replacing        5 vars Replaced      496 lits Time:     0.11 s 
5116.66/307.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5116.66/307.74	c bin-w-bin subsume rem          128 bins  time:  0.02 s
5123.65/308.00	c subs with bin:        2  lits-rem:        14  v-fix:    0  time:  0.26 s
5126.88/308.09	c Subs w/ non-existent bins:     96 l-rem:      2 v-fix:     0 done:  12064 time:  0.09 s
5129.44/308.16	c Removed useless bin:      13  fixed:     0  props:   2.65M  time:  0.07 s
5132.64/308.28	c lits-rem:         0  cl-subs:        2  v-elim:     26  v-fix:    0  time:  0.12 s
5209.36/310.68	c subs with bin:        6  lits-rem:        76  v-fix:    0  time:  2.09 s
5433.05/317.67	c lits-rem:     32896  cl-subs:     1536  v-elim:      0  v-fix:    0  time:  6.91 s
5436.24/317.77	c vivif2 --  cl tried   103442 cl shrink        4 lits rem          4 time: 0.10
5449.01/318.11	c vivif2 --  cl tried    28431 cl shrink     9667 lits rem     462232 time: 0.33
5468.19/318.71	c asymm  cl-useful: 117/4205/103442 lits-rem:240 time: 0.61
5468.19/318.74	c calculated reachability. Time: 0.01
5468.19/318.74	c  N dy   420    105327     12038    103442    137138     28411    835928   3189191     60.55   no data
5727.05/326.86	c  N dy   461    112123     12034    103442    140647     35017    835928   5160316     61.18     65.29
5752.60/327.69	c Finding binary XORs  T:     0.05 s  found:       0
5992.11/335.17	c  N dy   489    119676     12032    103437    142086     24123    835855   2488386     60.41     64.55
6139.12/339.77	c  N dy   526    127967     12032    103437    142655     32201    835855   3925417     60.22     67.04
6305.24/344.95	c  N dy   565    136170     12031    103437    142917     40246    835855   5790202     60.70     65.21
6327.60/345.68	c Finding binary XORs  T:     0.05 s  found:       5
6497.59/350.93	c  N dy   613    145145     12028    103427    143619     27390    835542   2639449     61.22     64.52
6736.64/358.42	c  N dy   663    154930     12028    103427    144982     36980    835542   5203151     61.37     65.06
6794.13/360.26	c  S st   676    157990     12028    103427    145018     39909    835542   5703482     61.36     14.69
6806.83/360.69	c  S st   676    158494     12028    103427    145020     40411    835542   5748987     61.36   no data
6810.64/360.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
6896.28/363.46	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   4316 BRemL:   2993 BRemN:      8 P: 20.0M T:  2.72
6899.48/363.59	c Replacing        5 vars Replaced     1247 lits Time:     0.12 s 
6902.67/363.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
6902.67/363.70	c bin-w-bin subsume rem         1006 bins  time:  0.03 s
6912.27/364.00	c subs with bin:        2  lits-rem:        42  v-fix:    0  time:  0.31 s
6916.09/364.11	c Subs w/ non-existent bins:    107 l-rem:      0 v-fix:     0 done:  12021 time:  0.11 s
6919.29/364.17	c Removed useless bin:       7  fixed:     0  props:   2.12M  time:  0.06 s
6925.04/364.32	c lits-rem:         0  cl-subs:      177  v-elim:     43  v-fix:    0  time:  0.15 s
7004.67/366.90	c subs with bin:        6  lits-rem:        53  v-fix:    0  time:  2.24 s
7321.06/376.77	c lits-rem:     69301  cl-subs:     2506  v-elim:      0  v-fix:    0  time:  9.80 s
7324.25/376.88	c vivif2 --  cl tried   103088 cl shrink        0 lits rem          0 time: 0.11
7337.63/377.31	c vivif2 --  cl tried    35564 cl shrink    13136 lits rem     538047 time: 0.43
7359.38/377.91	c asymm  cl-useful: 57/2167/103088 lits-rem:106 time: 0.60
7359.38/377.94	c calculated reachability. Time: 0.01
7359.38/377.94	c  N dy   676    158494     11978    103088    145204     35491    846829   3962205     61.36   no data
7359.38/377.99	c Finding binary XORs  T:     0.05 s  found:       0
7794.60/391.58	c  N dy   743    171277     11973    103088    146150     26312    846829   1728510     61.59     65.95
8327.62/408.27	c  N dy   779    182247     11967    103088    146407     37054    846829   4478681     61.02     64.42
8439.49/411.75	c Finding binary XORs  T:     0.05 s  found:       2
8606.30/416.99	c  N dy   836    193888     11959    103063    149345     45713    846423   7496295     61.57     83.14
8849.20/424.59	c  N dy   876    206331     11955    103063    149547     35198    846423   4107198     61.17     66.30
9084.95/431.99	c  N dy   927    220009     11952    103063    149651     48565    846423   6534963     60.86     64.39
9104.11/432.59	c Finding binary XORs  T:     0.05 s  found:       2
9376.35/441.02	c  N dy   973    235712     11948    103054    150602     38481    846266   3914427     60.06     64.15
9430.05/442.77	c  S st   983    237748     11947    103054    150724     40481    846266   4385303     59.96   no data
9446.66/443.28	c  S st   983    238248     11947    103054    150726     40978    846266   4412231     59.96   no data
9449.85/443.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
9538.73/446.19	c Flit:     3 Blit:      0 bXBeca:    0 bXProp:    5 Bins:   3084 BRemL:   2643 BRemN:     22 P: 22.7M T:  2.86
9545.13/446.39	c Replacing        9 vars Replaced     8783 lits Time:     0.20 s 
9548.33/446.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9548.33/446.50	c bin-w-bin subsume rem          529 bins  time:  0.03 s
9561.11/446.82	c subs with bin:       10  lits-rem:        52  v-fix:    0  time:  0.32 s
9564.31/446.93	c Subs w/ non-existent bins:     77 l-rem:      6 v-fix:     0 done:  11935 time:  0.11 s
9564.31/446.98	c Removed useless bin:      13  fixed:     0  props:   1.61M  time:  0.05 s
9570.70/447.12	c lits-rem:         0  cl-subs:      157  v-elim:     50  v-fix:    0  time:  0.14 s
9650.58/449.61	c subs with bin:        9  lits-rem:      1289  v-fix:    0  time:  2.21 s
9925.16/458.26	c lits-rem:     43897  cl-subs:     2493  v-elim:      0  v-fix:    0  time:  8.58 s
9928.35/458.37	c vivif2 --  cl tried   102785 cl shrink        8 lits rem          8 time: 0.11
9941.80/458.75	c vivif2 --  cl tried    36813 cl shrink    12916 lits rem     514358 time: 0.37
9960.32/459.36	c asymm  cl-useful: 74/2033/102785 lits-rem:144 time: 0.61
9960.32/459.38	c calculated reachability. Time: 0.01
9960.32/459.39	c  N dy   983    238248     11885    102785    150123     36732    855114   3265771     59.96   no data
9963.52/459.44	c Finding binary XORs  T:     0.05 s  found:       0
10536.23/477.39	c Finding binary XORs  T:     0.05 s  found:       3
10561.18/478.16	c  N dy  1074    253456     11880    102776    154157     25843    854982   1251788     60.48    129.50
11075.60/494.29	c  N dy  1153    271544     11872    102776    155901     43491    854976   5188744     60.48     64.70
11324.78/502.04	c Finding binary XORs  T:     0.05 s  found:       4
11551.72/509.17	c  N dy  1225    289536     11868    102744    155497     32180    853883   2804215     60.52     63.85
11928.72/520.92	c  F st  1280    306250     11866    102744    155861     48561    853883   6320428     60.36   no data
11931.92/521.09	c Replacing        7 vars Replaced     4234 lits Time:     0.11 s 
11986.24/522.79	c  N st  1284    308285     11858    102734    155756     50449    853672   6926142     60.36   no data
12203.55/529.55	c Finding binary XORs  T:     0.05 s  found:       2
12424.07/536.46	c  N dy  1382    327968     11856    102733    157595     41744    853652   4744959     60.90     86.97
12938.49/552.58	c  N dy  1499    348047     11849    102733    157905     31752    853652   1906819     61.40     91.08
13152.57/559.24	c  S st  1548    357372     11847    102733    158109     40889    853652   3773150     61.43   no data
13168.56/559.73	c  S st  1548    357874     11847    102733    158111     41388    853652   3793552     61.43   no data
13168.56/559.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
13264.40/562.79	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    5 Bins:   2396 BRemL:   2988 BRemN:     14 P: 22.1M T:  3.01
13270.81/562.92	c Replacing        7 vars Replaced     1352 lits Time:     0.12 s 
13274.00/563.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
13274.00/563.03	c bin-w-bin subsume rem         1188 bins  time:  0.03 s
13283.57/563.37	c subs with bin:       21  lits-rem:        13  v-fix:    0  time:  0.34 s
13286.78/563.48	c Subs w/ non-existent bins:     80 l-rem:     53 v-fix:     0 done:  11839 time:  0.11 s
13289.97/563.53	c Removed useless bin:      21  fixed:     0  props:   1.44M  time:  0.05 s
13293.18/563.70	c lits-rem:         3  cl-subs:      257  v-elim:     85  v-fix:    0  time:  0.16 s
13373.06/566.11	c subs with bin:       50  lits-rem:       719  v-fix:    0  time:  2.19 s
13510.44/570.42	c lits-rem:     41582  cl-subs:     1582  v-elim:      0  v-fix:    0  time:  4.24 s
13513.63/570.54	c vivif2 --  cl tried   102085 cl shrink       48 lits rem         54 time: 0.12
13523.82/570.87	c vivif2 --  cl tried    37490 cl shrink    10217 lits rem     328025 time: 0.33
13548.77/571.61	c asymm  cl-useful: 100/2628/102083 lits-rem:197 time: 0.73
13548.77/571.64	c calculated reachability. Time: 0.01
13548.77/571.64	c  N dy  1548    357874     11754    102083    155149     37374    866052   2667969     61.43   no data
13548.77/571.69	c Finding binary XORs  T:     0.05 s  found:       0
14315.62/595.63	c  N dy  1647    377906     11745    102083    156494     57061    866052   8897768     61.82     68.70
14753.85/609.38	c Finding binary XORs  T:     0.05 s  found:       6
14925.84/614.81	c  N dy  1749    397954     11745    101928    160631     46192    863993   5941460     62.10     67.18
15443.37/630.92	c Finding binary XORs  T:     0.05 s  found:       2
15478.50/632.03	c  N dy  1865    418212     11738    101916    161598     34577    863566   2444275     62.61     68.35
16047.16/649.85	c  N dy  1978    438318     11731    101916    163467     54292    863566   7740345     63.00     67.97
16328.37/658.65	c Finding binary XORs  T:     0.05 s  found:       2
16532.80/665.02	c  N dy  2063    458327     11728    101904    163304     40896    863357   2863469     62.88     98.20
17043.88/681.05	c  N dy  2150    478386     11725    101904    163510     60564    863357   7525939     62.98    173.23
17542.19/696.63	c  N dy  2257    498549     11723    101904    163707     47056    863357   4431027     63.21     71.94
18057.11/712.72	c  N dy  2347    518584     11723    101904    163972     66828    863357   9462374     63.16    106.58
18503.72/726.73	c Finding binary XORs  T:     0.05 s  found:       7
18564.42/728.64	c  S st  2448    536812     11718    101888    163361     50277    862812   4954057     63.50     93.29
18577.21/729.08	c  S st  2448    537315     11718    101888    163361     50779    862812   5001021     63.50   no data
18580.41/729.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
18682.62/732.35	c Flit:     2 Blit:      1 bXBeca:    0 bXProp:    0 Bins:   5075 BRemL:   3375 BRemN:     20 P: 29.0M T:  3.22
18689.61/732.53	c Replacing       17 vars Replaced     6765 lits Time:     0.17 s 
18689.61/732.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
18692.84/732.64	c bin-w-bin subsume rem          656 bins  time:  0.03 s
18701.79/732.98	c subs with bin:       88  lits-rem:       238  v-fix:    0  time:  0.34 s
18704.99/733.08	c Subs w/ non-existent bins:    187 l-rem:    209 v-fix:     0 done:  11698 time:  0.10 s
18708.19/733.13	c Removed useless bin:      42  fixed:     0  props:   1.39M  time:  0.05 s
18714.58/733.30	c lits-rem:         0  cl-subs:      608  v-elim:    124  v-fix:    0  time:  0.17 s
18804.02/736.19	c subs with bin:      231  lits-rem:      9512  v-fix:    0  time:  2.58 s
19002.09/742.35	c lits-rem:     17830  cl-subs:     1661  v-elim:      0  v-fix:    0  time:  6.09 s
19005.89/742.48	c vivif2 --  cl tried   100862 cl shrink      621 lits rem        621 time: 0.13
19021.24/742.95	c vivif2 --  cl tried    46468 cl shrink    14201 lits rem     581989 time: 0.46
19041.02/743.60	c asymm  cl-useful: 58/2050/100862 lits-rem:116 time: 0.64
19044.25/743.63	c calculated reachability. Time: 0.01
19044.25/743.63	c  N dy  2448    537315     11574    100862    164026     46232    881021   3583681     63.50   no data
19350.25/753.28	c Finding binary XORs  T:     0.06 s  found:       2
19676.67/763.42	c  N dy  2536    558006     11570    100859    164346     66031    880806   8255240     63.24     66.66
20254.39/781.58	c  N dy  2621    578382     11568    100859    166342     51737    880806   5446529     63.25     66.72
20267.14/781.95	c Finding binary XORs  T:     0.05 s  found:       6
20947.59/803.26	c  N dy  2730    598408     11567    100852    165464     71228    880122  11371629     63.73    146.46
21132.89/809.02	c Finding binary XORs  T:     0.06 s  found:       2
21653.62/825.37	c  N dy  2826    618655     11562    100846    167058     54585    879887   6478260     63.87     68.33
22340.51/846.88	c  N dy  2965    638701     11557    100846    167381     74342    879887  12616856     64.63    142.38
22759.07/859.91	c Finding binary XORs  T:     0.06 s  found:       8
23094.55/870.48	c  N dy  3061    658708     11551    100800    175298     56486    878173   6413576     64.74     89.26
23781.36/891.99	c  N dy  3147    678726     11546    100800    175650     76183    878173  11985568     64.79     69.24
24066.34/900.90	c Finding binary XORs  T:     0.06 s  found:      31
24471.31/913.59	c  N dy  3274    698813     11537    100516    178383     56620    873652   6653386     65.29    109.95
25115.63/933.73	c  N dy  3344    719248     11527    100516    178810     76747    873652  11870169     65.11     69.87
25246.60/937.86	c Finding binary XORs  T:     0.06 s  found:      15
25834.31/956.24	c  N dy  3401    739325     11518    100110    179926     56670    867702   5404764     64.77     73.59
26399.85/973.98	c Finding binary XORs  T:     0.06 s  found:      16
26508.39/977.39	c  N dy  3523    759778     11515    100092    178154     76548    866264  10821256     65.09     68.82
26856.58/988.28	c Finding binary XORs  T:     0.06 s  found:       4
27393.24/1005.06	c  N dy  3614    780398     11509    100088    183654     56595    866128   6584305     65.13     70.40
27802.15/1017.89	c Finding binary XORs  T:     0.06 s  found:      10
28006.58/1024.28	c  N dy  3703    800800     11504    100076    182344     76409    864879  10957567     65.05     69.84
28188.62/1029.95	c  S st  3729    805973     11502    100076    182501     81468    864879  12200336     65.09     27.75
28207.82/1030.52	c  S st  3729    806477     11502    100076    182501     81972    864879  12249373     65.09   no data
28207.82/1030.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
28335.64/1034.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    6 Bins:   5628 BRemL:  14081 BRemN:     41 P: 39.2M T:  3.94
28361.21/1035.40	c Replacing      100 vars Replaced   144590 lits Time:     0.85 s 
28364.41/1035.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28367.61/1035.52	c bin-w-bin subsume rem         3486 bins  time:  0.03 s
28377.17/1035.85	c subs with bin:      438  lits-rem:       650  v-fix:    0  time:  0.34 s
28380.38/1035.95	c Subs w/ non-existent bins:    221 l-rem:    224 v-fix:     0 done:  11403 time:  0.10 s
28380.38/1035.99	c Removed useless bin:      53  fixed:     0  props:   1.12M  time:  0.04 s
28393.15/1036.31	c lits-rem:        29  cl-subs:     1898  v-elim:    277  v-fix:    0  time:  0.31 s
28508.20/1039.93	c subs with bin:      223  lits-rem:     16237  v-fix:    0  time:  3.08 s
28894.79/1052.08	c lits-rem:      4303  cl-subs:     3793  v-elim:      0  v-fix:    0  time: 12.08 s
28901.19/1052.22	c vivif2 --  cl tried    97418 cl shrink      396 lits rem        587 time: 0.14
28926.72/1053.06	c vivif2 --  cl tried    61517 cl shrink    26040 lits rem    1080575 time: 0.81
28961.80/1054.12	c asymm  cl-useful: 123/1650/97365 lits-rem:364 time: 1.06
28961.80/1054.15	c calculated reachability. Time: 0.01
28961.80/1054.15	c  N dy  3729    806477     11126     97347    165262     61041    901880   5346299     65.09   no data
28965.03/1054.21	c Finding binary XORs  T:     0.06 s  found:       0
29424.94/1068.70	c Finding binary XORs  T:     0.06 s  found:      24
29582.10/1073.55	c  N dy  3801    826605     11114     97208    164750     51412    898722   4104596     64.84     68.62
30022.41/1087.32	c Finding binary XORs  T:     0.06 s  found:       8
30265.07/1094.91	c  N dy  3868    847797     11110     97200    165384     70471    897775   9045908     64.66     68.98
30661.19/1107.40	c Finding binary XORs  T:     0.06 s  found:      16
30808.11/1111.99	c  N dy  3924    868161     11101     97183    167267     49991    896868   3226941     64.34     67.86
31475.56/1132.83	c  N dy  4014    888192     11092     97183    168638     69579    896868   7943676     64.28     73.01
31785.36/1142.56	c Finding binary XORs  T:     0.06 s  found:      36
32187.87/1155.17	c  N dy  4096    908645     11071     97144    161360     46429    893284   2232849     64.16     68.39
32717.86/1171.77	c  N dy  4175    928676     11065     97144    161987     66121    893284   6293888     63.99     67.71
33066.02/1182.68	c Finding binary XORs  T:     0.06 s  found:      32
33078.76/1183.04	c Replacing      116 vars Replaced    59644 lits Time:     0.36 s 
33436.62/1194.27	c  N dy  4243    948795     10932     97014    153147     84734    888091  10954438     63.83     67.75
34084.88/1214.56	c  N dy  4332    968895     10922     97014    153725     61236    888089   5398248     63.77     69.02
34333.83/1222.39	c Finding binary XORs  T:     0.06 s  found:      52
34679.44/1233.16	c  N dy  4421    989038     10898     96910    144179     79636    882675   9682547     63.71     67.91
35288.91/1252.29	c  N dy  4525   1009047     10878     96910    144726     55382    882674   3724735     63.85     97.38
35403.92/1255.85	c Finding binary XORs  T:     0.06 s  found:      67
35410.30/1256.05	c Replacing      119 vars Replaced    37308 lits Time:     0.21 s 
35898.91/1271.36	c  N dy  4611   1029140     10741     96778    134252     74080    874785   8360123     63.81    105.82
36390.78/1286.73	c Finding binary XORs  T:     0.06 s  found:      54
36528.15/1291.06	c  N dy  4707   1049244     10717     96724    124922     90291    869962  12753825     63.78     68.05
37045.70/1307.27	c  N dy  4795   1069397     10703     96724    125315     67591    869962   5680881     63.79     73.43
37115.99/1309.46	c  F st  4803   1071876     10699     96724    125382     70022    869962   6076135     63.74     48.50
37125.55/1309.78	c Replacing       54 vars Replaced    28128 lits Time:     0.26 s 
37428.95/1319.24	c Finding binary XORs  T:     0.06 s  found:      75
37550.34/1323.05	c  N dy  4831   1089487     10629     96129    118437     84178    860424   8285999     63.50    125.68
38042.33/1338.44	c  N dy  4916   1109514     10610     96129    119671     59508    860424   3323719     63.53     67.42
38147.71/1341.72	c Finding binary XORs  T:     0.06 s  found:      48
38150.90/1341.92	c Replacing      123 vars Replaced    39066 lits Time:     0.20 s 
38492.84/1352.54	c  N dy  4977   1129545     10439     95566    110521     77695    848973   6204903     63.38     87.76
38840.99/1363.44	c Finding binary XORs  T:     0.06 s  found:      60
39013.55/1368.81	c  N dy  5065   1150072     10425     93322     99899     91982    823525   9333172     63.38     69.00
39160.57/1373.41	c Finding binary XORs  T:     0.06 s  found:      19
39486.54/1383.68	c  N dy  5122   1170157     10406     93110    115861     68143    820471   4969246     63.25     66.86
39591.98/1386.93	c Finding binary XORs  T:     0.06 s  found:      34
39601.55/1387.25	c Replacing      113 vars Replaced    85903 lits Time:     0.32 s 
40131.87/1403.83	c  N dy  5200   1194146     10258     92921    113670     90063    814749   9007619     63.09     66.82
40202.19/1406.00	c Finding binary XORs  T:     0.06 s  found:      76
40509.58/1415.62	c Finding binary XORs  T:     0.06 s  found:     455
40515.34/1415.80	c Replacing      531 vars Replaced   120421 lits Time:     0.19 s 
40550.48/1416.98	c  S st  5240   1209715      9606     83987     81616     50474    735745   2219828     62.92     24.89
40569.67/1417.51	c  S st  5240   1210217      9591     83987     85150     50966    735745   2274168     62.92   no data
40569.67/1417.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
40662.35/1420.46	c Flit:     1 Blit:      3 bXBeca:    0 bXProp:  177 Bins:   8357 BRemL:   4803 BRemN:     14 P: 44.0M T:  2.91
40668.74/1420.67	c Replacing      177 vars Replaced   124497 lits Time:     0.20 s 
40671.94/1420.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
40671.94/1420.76	c bin-w-bin subsume rem        11373 bins  time:  0.02 s
40675.14/1420.85	c subs with bin:     1584  lits-rem:      1336  v-fix:    0  time:  0.09 s
40678.34/1420.92	c Subs w/ non-existent bins:    294 l-rem:   1322 v-fix:     0 done:   9410 time:  0.06 s
40678.34/1420.95	c Removed useless bin:     126  fixed:     0  props:   0.79M  time:  0.03 s
40694.31/1421.40	c lits-rem:        22  cl-subs:     4575  v-elim:   1486  v-fix:    0  time:  0.45 s
40723.67/1422.36	c subs with bin:     3817  lits-rem:     25408  v-fix:    0  time:  0.88 s
40751.77/1423.31	c lits-rem:     15544  cl-subs:     4165  v-elim:      0  v-fix:    0  time:  0.90 s
40758.81/1423.45	c vivif2 --  cl tried    77418 cl shrink     4485 lits rem       9326 time: 0.13
40761.35/1423.54	c vivif2 --  cl tried    26503 cl shrink     6011 lits rem     115429 time: 0.10
40777.34/1424.07	c asymm  cl-useful: 2/1370/77102 lits-rem:10 time: 0.53
40777.34/1424.09	c calculated reachability. Time: 0.01
40777.34/1424.09	c  N dy  5240   1210217      7924     77100     61318     25211    767903    623222     62.92   no data
40780.53/1424.15	c Finding binary XORs  T:     0.06 s  found:       0
40857.26/1426.50	c Finding binary XORs  T:     0.05 s  found:    1196
40861.07/1426.62	c Replacing     1196 vars Replaced   269067 lits Time:     0.12 s 
40959.52/1429.79	c Finding binary XORs  T:     0.05 s  found:      54
41064.98/1433.07	c Finding binary XORs  T:     0.05 s  found:     249
41068.18/1433.20	c Replacing      303 vars Replaced    40509 lits Time:     0.13 s 
41080.94/1433.51	c  N dy  5282   1230290      6098     54117     51521     33659    522906   2497914     62.61     66.10
41240.65/1438.56	c Finding binary XORs  T:     0.05 s  found:    2362
41243.83/1438.66	c Replacing     2362 vars Replaced    98138 lits Time:     0.09 s 
41339.72/1441.63	c Finding binary XORs  T:     0.05 s  found:     179
41342.91/1441.72	c Replacing      179 vars Replaced    64298 lits Time:     0.10 s 
41378.06/1442.83	c Following stats are for *FIRST FINISHED THREAD ONLY*
41378.06/1442.83	c num threads              : 32         
41378.06/1442.83	c restarts                 : 3104       
41378.06/1442.83	c dynamic restarts         : 3074       
41378.06/1442.83	c static restarts          : 30         
41378.06/1442.83	c full restarts            : 4          
41378.06/1442.83	c total simplify time      : 8.95       
41378.06/1442.83	c learnts DL2              : 0          
41378.06/1442.83	c learnts size 2           : 2939344    
41378.06/1442.83	c learnts size 1           : 2520        (1.64      % of vars)
41378.06/1442.83	c filedLit time            : 19.41       (1.50      % time)
41378.06/1442.83	c v-elim SatELite          : 142575      (92.68     % vars)
41378.06/1442.83	c SatELite time            : 20.92       (1.62      % time)
41378.06/1442.83	c v-elim xor               : 0           (0.00      % vars)
41378.06/1442.83	c xor elim time            : 0.26        (0.02      % time)
41378.06/1442.83	c num binary xor trees     : 2277       
41378.06/1442.83	c binxor trees' crown      : 6405        (2.81      leafs/tree)
41378.06/1442.83	c bin xor find time        : 2.61       
41378.06/1442.83	c OTF clause improved      : 23221       (0.02      clauses/conflict)
41378.06/1442.83	c OTF impr. size diff      : 69360       (2.99       lits/clause)
41378.06/1442.83	c OTF cl watch-shrink      : 987249      (0.83      clauses/conflict)
41378.06/1442.83	c OTF cl watch-sh-lit      : 31378238    (31.78      lits/clause)
41378.06/1442.83	c tried to recurMin cls    : 278659      (23.30      % of conflicts)
41378.06/1442.83	c updated cache            : 14647       (0.05       lits/tried recurMin)
41378.06/1442.83	c unit cls recevied        : 649         (25.75     % of units)
41378.06/1442.83	c unit cls sent            : 18          (0.71      % of units)
41378.06/1442.83	c bin cls recevied         : 491862     
41378.06/1442.83	c bin cls sent             : 8205       
41378.06/1442.83	c clauses over max glue    : 0           (0.00      % of all clauses)
41378.06/1442.83	c conflicts                : 1195865     (926.92    / sec)
41378.06/1442.83	c decisions                : 6623027     (3.30      % random)
41378.06/1442.83	c bogo-props               : 21909620990 (16982229.39 / sec)
41378.06/1442.83	c conflict literals        : 293685387   (34.40     % deleted)
41378.06/1442.83	c Memory used              : 17300.12    MB
41378.06/1442.83	c single-thread CPU time   : 1290.15     s
41378.06/1442.83	c all-threads sum CPU time : 41229.39    s
41378.06/1442.83	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-3400651-1306271563/watcher-3400651-1306271563 -o /tmp/evaluation-result-3400651-1306271563/solver-3400651-1306271563 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400651-1306271563.cnf 

running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31

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


[startup+0 s]
/proc/loadavg: 24.36 29.90 30.44 1/413 11402
/proc/meminfo: memFree=255153220/264257624 swapFree=67111528/67111528
[pid=11402] ppid=11400 vsize=338000 CPUtime=0.83 cores=0-31
/proc/11402/stat : 11402 (strangenight2-m) R 11400 11402 11318 0 -1 4202496 467 0 0 0 83 0 0 0 22 0 32 0 738642791 346112000 407 268435456000 4194304 4580107 140733719012576 18446744073709551615 47376357516825 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11402/statm: 84500 407 300 95 0 79482 0
[pid=11402/tid=11403] ppid=11400 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11402/task/11403/stat : 11403 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 738642792 346112000 407 268435456000 4194304 4580107 140733719012576 18446744073709551615 47376357516819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11402/tid=11404] ppid=11400 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11402/task/11404/stat : 11404 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 4 0 0 0 2 0 0 0 22 0 32 0 738642792 346112000 407 268435456000 4194304 4580107 140733719012576 18446744073709551615 47376357516825 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=11402/tid=11405] ppid=11400 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11402/task/11405/stat : 11405 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 1 0 0 0 3 0 0 0 19 0 32 0 738642792 346112000 407 268435456000 4194304 4580107 140733719012576 18446744073709551615 47376357516825 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11402/tid=11406] ppid=11400 vsize=338000 CPUtime=0 cores=0-31
/proc/11402/task/11406/stat : 11406 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 32 0 738642792 346112000 407 268435456000 4194304 4580107 140733719012576 18446744073709551615 47376357517224 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=11402/tid=11407] ppid=11400 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11402/task/11407/stat : 11407 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 738642792 346112000 407 268435456000 4194304 4580107 140733719012576 18446744073709551615 47376357516825 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=11402/tid=11408] ppid=11400 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11402/task/11408/stat : 11408 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 738642792 346112000 407 268435456000 4194304 4580107 140733719012576 18446744073709551615 47376357516823 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=11402/tid=11409] ppid=11400 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11402/task/11409/stat : 11409 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 738642792 346112000 407 268435456000 4194304 4580107 140733719012576 18446744073709551615 47376357516825 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=11402/tid=11410] ppid=11400 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11402/task/11410/stat : 11410 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 738642792 346112000 407 268435456000 4194304 4580107 140733719012576 18446744073709551615 47376357516819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11402/tid=11411] ppid=11400 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11402/task/11411/stat : 11411 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 738642792 346112000 407 268435456000 4194304 4580107 140733719012576 18446744073709551615 47376357516825 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11402/tid=11412] ppid=11400 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11402/task/11412/stat : 11412 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 738642792 346112000 407 268435456000 4194304 4580107 140733719012576 18446744073709551615 47376357516825 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11402/tid=11413] ppid=11400 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11402/task/11413/stat : 11413 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 738642792 346112000 407 268435456000 4194304 4580107 140733719012576 18446744073709551615 47376357516825 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=11402/tid=11414] ppid=11400 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11402/task/11414/stat : 11414 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 738642792 346112000 407 268435456000 4194304 4580107 140733719012576 18446744073709551615 47376357516816 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=11402/tid=11415] ppid=11400 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11402/task/11415/stat : 11415 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 738642792 346112000 407 268435456000 4194304 4580107 140733719012576 18446744073709551615 47376357516825 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11402/tid=11416] ppid=11400 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11402/task/11416/stat : 11416 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 738642792 346112000 407 268435456000 4194304 4580107 140733719012576 18446744073709551615 47376357516825 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=11402/tid=11417] ppid=11400 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11402/task/11417/stat : 11417 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 738642792 346112000 407 268435456000 4194304 4580107 140733719012576 18446744073709551615 47376357516825 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=11402/tid=11418] ppid=11400 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11402/task/11418/stat : 11418 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 738642792 346112000 407 268435456000 4194304 4580107 140733719012576 18446744073709551615 47376357516825 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=11402/tid=11419] ppid=11400 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11402/task/11419/stat : 11419 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 3 0 0 0 2 0 0 0 21 0 32 0 738642792 346112000 443 268435456000 4194304 4580107 140733719012576 18446744073709551615 4329632 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=11402/tid=11420] ppid=11400 vsize=338000 CPUtime=0 cores=0-31
/proc/11402/task/11420/stat : 11420 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 32 0 738642792 346112000 447 268435456000 4194304 4580107 140733719012576 18446744073709551615 4218478 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=11402/tid=11421] ppid=11400 vsize=338000 CPUtime=0.01 cores=0-31
/proc/11402/task/11421/stat : 11421 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 5 0 0 0 1 0 0 0 22 0 32 0 738642792 346112000 447 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=11402/tid=11422] ppid=11400 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11402/task/11422/stat : 11422 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 5 0 0 0 2 0 0 0 22 0 32 0 738642792 346112000 447 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 18446604506121166304 0 0 -1 28 0 0 0
[pid=11402/tid=11423] ppid=11400 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11402/task/11423/stat : 11423 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 3 0 0 0 2 0 0 0 21 0 32 0 738642792 346112000 447 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11402/tid=11424] ppid=11400 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11402/task/11424/stat : 11424 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 4 0 0 0 2 0 0 0 22 0 32 0 738642792 346112000 447 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 18446604573230652896 0 0 -1 17 0 0 0
[pid=11402/tid=11425] ppid=11400 vsize=469072 CPUtime=0.02 cores=0-31
/proc/11402/task/11425/stat : 11425 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 5 0 0 0 2 0 0 0 23 0 32 0 738642792 480329728 447 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650630728 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=11402/tid=11426] ppid=11400 vsize=469072 CPUtime=0.02 cores=0-31
/proc/11402/task/11426/stat : 11426 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 5 0 0 0 2 0 0 0 22 0 32 0 738642792 480329728 448 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 18446604484643692000 0 0 -1 15 0 0 0
[pid=11402/tid=11427] ppid=11400 vsize=447228 CPUtime=0.02 cores=0-31
/proc/11402/task/11427/stat : 11427 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 4 0 0 0 2 0 0 0 22 0 32 0 738642792 457961472 449 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 18446604501858434528 0 0 -1 21 0 0 0
[pid=11402/tid=11428] ppid=11400 vsize=403536 CPUtime=0.02 cores=0-31
/proc/11402/task/11428/stat : 11428 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 5 0 0 0 2 0 0 0 23 0 32 0 738642792 413220864 450 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 18446604505418038752 0 0 -1 22 0 0 0
[pid=11402/tid=11429] ppid=11400 vsize=403536 CPUtime=0.02 cores=0-31
/proc/11402/task/11429/stat : 11429 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 5 0 0 0 2 0 0 0 22 0 32 0 738642792 413220864 450 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 18446604479213444576 0 0 -1 19 0 0 0
[pid=11402/tid=11430] ppid=11400 vsize=403536 CPUtime=0.02 cores=0-31
/proc/11402/task/11430/stat : 11430 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 6 0 0 0 2 0 0 0 18 0 32 0 738642792 413220864 450 268435456000 4194304 4580107 140733719012576 18446744073709551615 4228112 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=11402/tid=11431] ppid=11400 vsize=403536 CPUtime=0.02 cores=0-31
/proc/11402/task/11431/stat : 11431 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 5 0 0 0 2 0 0 0 24 0 32 0 738642792 413220864 450 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 18446604481609481696 0 0 -1 26 0 0 0
[pid=11402/tid=11432] ppid=11400 vsize=403536 CPUtime=0.02 cores=0-31
/proc/11402/task/11432/stat : 11432 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 6 0 0 0 2 0 0 0 24 0 32 0 738642792 413220864 450 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 18446604491768085984 0 0 -1 23 0 0 0
[pid=11402/tid=11433] ppid=11400 vsize=403536 CPUtime=0.02 cores=0-31
/proc/11402/task/11433/stat : 11433 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 5 0 0 0 2 0 0 0 23 0 32 0 738642792 413220864 450 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 18446604505907338720 0 0 -1 29 0 0 0

[startup+0.062426 s]
/proc/loadavg: 24.36 29.90 30.44 1/413 11402
/proc/meminfo: memFree=255153220/264257624 swapFree=67111528/67111528
[pid=11402] ppid=11400 vsize=798292 CPUtime=1.28 cores=0-31
/proc/11402/stat : 11402 (strangenight2-m) D 11400 11402 11318 0 -1 4202496 7597 0 0 0 90 38 0 0 18 0 32 0 738642791 817451008 7450 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11402/statm: 199573 7469 330 95 0 194555 0
[pid=11402/tid=11403] ppid=11400 vsize=798292 CPUtime=0.04 cores=0-31
/proc/11402/task/11403/stat : 11403 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 253 0 0 0 3 1 0 0 18 0 32 0 738642792 817451008 7501 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11402/tid=11404] ppid=11400 vsize=798292 CPUtime=0.02 cores=0-31
/proc/11402/task/11404/stat : 11404 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 29 0 0 0 2 0 0 0 22 0 32 0 738642792 817451008 7502 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11402/tid=11405] ppid=11400 vsize=798292 CPUtime=0.03 cores=0-31
/proc/11402/task/11405/stat : 11405 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 39 0 0 0 3 0 0 0 19 0 32 0 738642792 817451008 7503 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11402/tid=11406] ppid=11400 vsize=798292 CPUtime=0.01 cores=0-31
/proc/11402/task/11406/stat : 11406 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 209 0 0 0 0 1 0 0 19 0 32 0 738642792 817451008 7504 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=11402/tid=11407] ppid=11400 vsize=798292 CPUtime=0.03 cores=0-31
/proc/11402/task/11407/stat : 11407 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 211 0 0 0 2 1 0 0 19 0 32 0 738642792 817451008 7508 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=11402/tid=11408] ppid=11400 vsize=798292 CPUtime=0.04 cores=0-31
/proc/11402/task/11408/stat : 11408 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 238 0 0 0 3 1 0 0 18 0 32 0 738642792 817451008 7522 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=11402/tid=11409] ppid=11400 vsize=798292 CPUtime=0.04 cores=0-31
/proc/11402/task/11409/stat : 11409 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 214 0 0 0 3 1 0 0 19 0 32 0 738642792 817451008 7522 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=11402/tid=11410] ppid=11400 vsize=798292 CPUtime=0.04 cores=0-31
/proc/11402/task/11410/stat : 11410 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 259 0 0 0 3 1 0 0 18 0 32 0 738642792 817451008 7542 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11402/tid=11411] ppid=11400 vsize=798292 CPUtime=0.04 cores=0-31
/proc/11402/task/11411/stat : 11411 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 262 0 0 0 3 1 0 0 20 0 32 0 738642792 817451008 7561 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11402/tid=11412] ppid=11400 vsize=798292 CPUtime=0.04 cores=0-31
/proc/11402/task/11412/stat : 11412 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 262 0 0 0 3 1 0 0 20 0 32 0 738642792 817451008 7562 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11402/tid=11413] ppid=11400 vsize=798292 CPUtime=0.04 cores=0-31
/proc/11402/task/11413/stat : 11413 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 214 0 0 0 3 1 0 0 20 0 32 0 738642792 817451008 7562 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=11402/tid=11414] ppid=11400 vsize=798292 CPUtime=0.04 cores=0-31
/proc/11402/task/11414/stat : 11414 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 301 0 0 0 3 1 0 0 18 0 32 0 738642792 817451008 7564 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=11402/tid=11415] ppid=11400 vsize=798292 CPUtime=0.04 cores=0-31
/proc/11402/task/11415/stat : 11415 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 290 0 0 0 3 1 0 0 20 0 32 0 738642792 817451008 7577 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11402/tid=11416] ppid=11400 vsize=798292 CPUtime=0.04 cores=0-31
/proc/11402/task/11416/stat : 11416 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 232 0 0 0 3 1 0 0 18 0 32 0 738642792 817451008 7597 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=11402/tid=11417] ppid=11400 vsize=798292 CPUtime=0.04 cores=0-31
/proc/11402/task/11417/stat : 11417 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 260 0 0 0 3 1 0 0 18 0 32 0 738642792 817451008 7635 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=11402/tid=11418] ppid=11400 vsize=798292 CPUtime=0.04 cores=0-31
/proc/11402/task/11418/stat : 11418 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 304 0 0 0 3 1 0 0 18 0 32 0 738642792 817451008 7637 268435456000 4194304 4580107 140733719012576 18446744073709551615 4349442 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=11402/tid=11419] ppid=11400 vsize=798292 CPUtime=0.03 cores=0-31
/proc/11402/task/11419/stat : 11419 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 297 0 0 0 2 1 0 0 18 0 32 0 738642792 817451008 7637 268435456000 4194304 4580107 140733719012576 18446744073709551615 4349457 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=11402/tid=11420] ppid=11400 vsize=798292 CPUtime=0 cores=0-31
/proc/11402/task/11420/stat : 11420 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 25 0 0 0 0 0 0 0 21 0 32 0 738642792 817451008 7639 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11402/tid=11421] ppid=11400 vsize=798292 CPUtime=0.02 cores=0-31
/proc/11402/task/11421/stat : 11421 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 273 0 0 0 1 1 0 0 21 0 32 0 738642792 817451008 7647 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=11402/tid=11422] ppid=11400 vsize=798292 CPUtime=0.03 cores=0-31
/proc/11402/task/11422/stat : 11422 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 217 0 0 0 2 1 0 0 21 0 32 0 738642792 817451008 7663 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=11402/tid=11423] ppid=11400 vsize=798292 CPUtime=0.04 cores=0-31
/proc/11402/task/11423/stat : 11423 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 266 0 0 0 2 2 0 0 18 0 32 0 738642792 817451008 7689 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11402/tid=11424] ppid=11400 vsize=798292 CPUtime=0.03 cores=0-31
/proc/11402/task/11424/stat : 11424 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 228 0 0 0 2 1 0 0 23 0 32 0 738642792 817451008 7690 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=11402/tid=11425] ppid=11400 vsize=798292 CPUtime=0.03 cores=0-31
/proc/11402/task/11425/stat : 11425 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 260 0 0 0 2 1 0 0 23 0 32 0 738642792 817451008 7690 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=11402/tid=11426] ppid=11400 vsize=798292 CPUtime=0.03 cores=0-31
/proc/11402/task/11426/stat : 11426 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 324 0 0 0 2 1 0 0 18 0 32 0 738642792 817451008 7691 268435456000 4194304 4580107 140733719012576 18446744073709551615 4341152 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=11402/tid=11427] ppid=11400 vsize=798292 CPUtime=0.03 cores=0-31
/proc/11402/task/11427/stat : 11427 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 232 0 0 0 2 1 0 0 23 0 32 0 738642792 817451008 7692 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=11402/tid=11428] ppid=11400 vsize=798292 CPUtime=0.02 cores=0-31
/proc/11402/task/11428/stat : 11428 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 262 0 0 0 2 0 0 0 23 0 32 0 738642792 817451008 7700 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=11402/tid=11429] ppid=11400 vsize=798292 CPUtime=0.03 cores=0-31
/proc/11402/task/11429/stat : 11429 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 288 0 0 0 2 1 0 0 18 0 32 0 738642792 817451008 7715 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=11402/tid=11430] ppid=11400 vsize=798292 CPUtime=0.03 cores=0-31
/proc/11402/task/11430/stat : 11430 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 271 0 0 0 2 1 0 0 18 0 32 0 738642792 817451008 7717 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=11402/tid=11431] ppid=11400 vsize=798292 CPUtime=0.03 cores=0-31
/proc/11402/task/11431/stat : 11431 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 272 0 0 0 2 1 0 0 24 0 32 0 738642792 817451008 7718 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 18446744071566926504 0 0 -1 26 0 0 0
[pid=11402/tid=11432] ppid=11400 vsize=798292 CPUtime=0.02 cores=0-31
/proc/11402/task/11432/stat : 11432 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 55 0 0 0 2 0 0 0 23 0 32 0 738642792 817451008 7733 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=11402/tid=11433] ppid=11400 vsize=798292 CPUtime=0.03 cores=0-31
/proc/11402/task/11433/stat : 11433 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 228 0 0 0 2 1 0 0 18 0 32 0 738642792 817451008 7747 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 798292

[startup+0.10349 s]
/proc/loadavg: 24.36 29.90 30.44 1/413 11402
/proc/meminfo: memFree=255153220/264257624 swapFree=67111528/67111528
[pid=11402] ppid=11400 vsize=1327860 CPUtime=1.72 cores=0-31
/proc/11402/stat : 11402 (strangenight2-m) R 11400 11402 11318 0 -1 4202496 12791 0 0 0 102 70 0 0 17 0 32 0 738642791 1359728640 12644 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651061007 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11402/statm: 331965 12663 334 95 0 326947 0
[pid=11402/tid=11403] ppid=11400 vsize=1328008 CPUtime=0.05 cores=0-31
/proc/11402/task/11403/stat : 11403 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 377 0 0 0 3 2 0 0 17 0 32 0 738642792 1359880192 12668 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11402/tid=11404] ppid=11400 vsize=1328008 CPUtime=0.03 cores=0-31
/proc/11402/task/11404/stat : 11404 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 364 0 0 0 2 1 0 0 17 0 32 0 738642792 1359880192 12676 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 18446604499809500640 0 0 -1 24 0 0 0
[pid=11402/tid=11405] ppid=11400 vsize=1328008 CPUtime=0.04 cores=0-31
/proc/11402/task/11405/stat : 11405 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 325 0 0 0 3 1 0 0 17 0 32 0 738642792 1359880192 12702 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 18446604505418038752 0 0 -1 2 0 0 0
[pid=11402/tid=11406] ppid=11400 vsize=1328140 CPUtime=0.03 cores=0-31
/proc/11402/task/11406/stat : 11406 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 398 0 0 0 1 2 0 0 17 0 32 0 738642792 1360015360 12738 268435456000 4194304 4580107 140733719012576 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=11402/tid=11407] ppid=11400 vsize=1328140 CPUtime=0.05 cores=0-31
/proc/11402/task/11407/stat : 11407 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 375 0 0 0 3 2 0 0 17 0 32 0 738642792 1360015360 12755 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 18446604505907338720 0 0 -1 8 0 0 0
[pid=11402/tid=11408] ppid=11400 vsize=1328140 CPUtime=0.05 cores=0-31
/proc/11402/task/11408/stat : 11408 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 422 0 0 0 3 2 0 0 17 0 32 0 738642792 1360015360 12769 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11402/tid=11409] ppid=11400 vsize=1328140 CPUtime=0.05 cores=0-31
/proc/11402/task/11409/stat : 11409 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 331 0 0 0 3 2 0 0 17 0 32 0 738642792 1360015360 12777 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 18446604482220129760 0 0 -1 31 0 0 0
[pid=11402/tid=11410] ppid=11400 vsize=1328140 CPUtime=0.05 cores=0-31
/proc/11402/task/11410/stat : 11410 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 360 0 0 0 3 2 0 0 17 0 32 0 738642792 1360015360 12781 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 18446604493779959264 0 0 -1 5 0 0 0
[pid=11402/tid=11411] ppid=11400 vsize=1328140 CPUtime=0.04 cores=0-31
/proc/11402/task/11411/stat : 11411 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 380 0 0 0 3 1 0 0 17 0 32 0 738642792 1360015360 12796 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 18446604505837092320 0 0 -1 6 0 0 0
[pid=11402/tid=11412] ppid=11400 vsize=1328140 CPUtime=0.05 cores=0-31
/proc/11402/task/11412/stat : 11412 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 391 0 0 0 3 2 0 0 17 0 32 0 738642792 1360015360 12823 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11402/tid=11413] ppid=11400 vsize=1328140 CPUtime=0.05 cores=0-31
/proc/11402/task/11413/stat : 11413 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 369 0 0 0 3 2 0 0 17 0 32 0 738642792 1360015360 12825 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=11402/tid=11414] ppid=11400 vsize=1328140 CPUtime=0.05 cores=0-31
/proc/11402/task/11414/stat : 11414 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 359 0 0 0 3 2 0 0 17 0 32 0 738642792 1360015360 12844 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 18446604481609481696 0 0 -1 10 0 0 0
[pid=11402/tid=11415] ppid=11400 vsize=1328272 CPUtime=0.05 cores=0-31
/proc/11402/task/11415/stat : 11415 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 423 0 0 0 3 2 0 0 17 0 32 0 738642792 1360150528 12845 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11402/tid=11416] ppid=11400 vsize=1328404 CPUtime=0.05 cores=0-31
/proc/11402/task/11416/stat : 11416 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 395 0 0 0 3 2 0 0 17 0 32 0 738642792 1360285696 12853 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 18446604505874030048 0 0 -1 13 0 0 0
[pid=11402/tid=11417] ppid=11400 vsize=1328536 CPUtime=0.05 cores=0-31
/proc/11402/task/11417/stat : 11417 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 388 0 0 0 3 2 0 0 17 0 32 0 738642792 1360420864 12878 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 18446604502285295072 0 0 -1 14 0 0 0
[pid=11402/tid=11418] ppid=11400 vsize=1328536 CPUtime=0.05 cores=0-31
/proc/11402/task/11418/stat : 11418 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 427 0 0 0 3 2 0 0 17 0 32 0 738642792 1360420864 12913 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=11402/tid=11419] ppid=11400 vsize=1328536 CPUtime=0.04 cores=0-31

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

/proc/11402/task/11407/stat : 11407 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 394888 0 0 0 128209 490 0 0 25 0 32 0 738642792 18170441728 3499657 268435456000 4194304 4580107 140733719012576 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11402/tid=11408] ppid=11400 vsize=17744572 CPUtime=1290.89 cores=0-31
/proc/11402/task/11408/stat : 11408 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 414150 0 0 0 128648 441 0 0 25 0 32 0 738642792 18170441728 3499657 268435456000 4194304 4580107 140733719012576 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=11402/tid=11409] ppid=11400 vsize=17744572 CPUtime=1291.12 cores=0-31
/proc/11402/task/11409/stat : 11409 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 388208 0 0 0 128620 492 0 0 25 0 32 0 738642792 18170441728 3499657 268435456000 4194304 4580107 140733719012576 18446744073709551615 4502108 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=11402/tid=11410] ppid=11400 vsize=17744572 CPUtime=1290 cores=0-31
/proc/11402/task/11410/stat : 11410 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 391681 0 0 0 128519 481 0 0 25 0 32 0 738642792 18170441728 3499657 268435456000 4194304 4580107 140733719012576 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=11402/tid=11411] ppid=11400 vsize=17744572 CPUtime=1289.17 cores=0-31
/proc/11402/task/11411/stat : 11411 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 399741 0 0 0 128435 482 0 0 25 0 32 0 738642792 18170441728 3499657 268435456000 4194304 4580107 140733719012576 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=11402/tid=11412] ppid=11400 vsize=17744572 CPUtime=1289.87 cores=0-31
/proc/11402/task/11412/stat : 11412 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 404114 0 0 0 128482 505 0 0 25 0 32 0 738642792 18170441728 3499657 268435456000 4194304 4580107 140733719012576 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11402/tid=11413] ppid=11400 vsize=17744572 CPUtime=1290.21 cores=0-31
/proc/11402/task/11413/stat : 11413 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 356770 0 0 0 128558 463 0 0 25 0 32 0 738642792 18170441728 3499657 268435456000 4194304 4580107 140733719012576 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=11402/tid=11414] ppid=11400 vsize=17744572 CPUtime=1279.91 cores=0-31
/proc/11402/task/11414/stat : 11414 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 353251 0 0 0 127530 461 0 0 25 0 32 0 738642792 18170441728 3499657 268435456000 4194304 4580107 140733719012576 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=11402/tid=11415] ppid=11400 vsize=17744572 CPUtime=1288.38 cores=0-31
/proc/11402/task/11415/stat : 11415 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 359362 0 0 0 128354 484 0 0 25 0 32 0 738642792 18170441728 3499657 268435456000 4194304 4580107 140733719012576 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=11402/tid=11416] ppid=11400 vsize=17744572 CPUtime=1289.41 cores=0-31
/proc/11402/task/11416/stat : 11416 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 378782 0 0 0 128469 472 0 0 25 0 32 0 738642792 18170441728 3499657 268435456000 4194304 4580107 140733719012576 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=11402/tid=11417] ppid=11400 vsize=17744572 CPUtime=1293.03 cores=0-31
/proc/11402/task/11417/stat : 11417 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 381881 0 0 0 128815 488 0 0 25 0 32 0 738642792 18170441728 3499657 268435456000 4194304 4580107 140733719012576 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11402/tid=11418] ppid=11400 vsize=17744572 CPUtime=1287.58 cores=0-31
/proc/11402/task/11418/stat : 11418 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 403552 0 0 0 128261 497 0 0 25 0 32 0 738642792 18170441728 3499657 268435456000 4194304 4580107 140733719012576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=11402/tid=11419] ppid=11400 vsize=17744572 CPUtime=1288.55 cores=0-31
/proc/11402/task/11419/stat : 11419 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 365785 0 0 0 128384 471 0 0 25 0 32 0 738642792 18170441728 3499658 268435456000 4194304 4580107 140733719012576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=11402/tid=11420] ppid=11400 vsize=17744572 CPUtime=1293.65 cores=0-31
/proc/11402/task/11420/stat : 11420 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 370439 0 0 0 128915 450 0 0 25 0 32 0 738642792 18170441728 3499659 268435456000 4194304 4580107 140733719012576 18446744073709551615 4324249 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=11402/tid=11421] ppid=11400 vsize=17744572 CPUtime=1292.07 cores=0-31
/proc/11402/task/11421/stat : 11421 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 357216 0 0 0 128724 483 0 0 25 0 32 0 738642792 18170441728 3499659 268435456000 4194304 4580107 140733719012576 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11402/tid=11422] ppid=11400 vsize=17744572 CPUtime=1291.47 cores=0-31
/proc/11402/task/11422/stat : 11422 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 336299 0 0 0 128721 426 0 0 25 0 32 0 738642792 18170441728 3499660 268435456000 4194304 4580107 140733719012576 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=11402/tid=11423] ppid=11400 vsize=17744572 CPUtime=1292.74 cores=0-31
/proc/11402/task/11423/stat : 11423 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 369062 0 0 0 128808 466 0 0 25 0 32 0 738642792 18170441728 3499660 268435456000 4194304 4580107 140733719012576 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11402/tid=11424] ppid=11400 vsize=17744572 CPUtime=1288.76 cores=0-31
/proc/11402/task/11424/stat : 11424 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 359950 0 0 0 128411 465 0 0 25 0 32 0 738642792 18170441728 3499662 268435456000 4194304 4580107 140733719012576 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11402/tid=11425] ppid=11400 vsize=17744572 CPUtime=1289.58 cores=0-31
/proc/11402/task/11425/stat : 11425 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 377073 0 0 0 128481 477 0 0 25 0 32 0 738642792 18170441728 3499663 268435456000 4194304 4580107 140733719012576 18446744073709551615 4304867 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=11402/tid=11426] ppid=11400 vsize=17744572 CPUtime=1291.86 cores=0-31
/proc/11402/task/11426/stat : 11426 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 378522 0 0 0 128706 480 0 0 25 0 32 0 738642792 18170441728 3499664 268435456000 4194304 4580107 140733719012576 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=11402/tid=11427] ppid=11400 vsize=17744572 CPUtime=1290.55 cores=0-31
/proc/11402/task/11427/stat : 11427 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 386433 0 0 0 128597 458 0 0 25 0 32 0 738642792 18170441728 3499664 268435456000 4194304 4580107 140733719012576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=11402/tid=11428] ppid=11400 vsize=17744572 CPUtime=1295.79 cores=0-31
/proc/11402/task/11428/stat : 11428 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 328409 0 0 0 129134 445 0 0 25 0 32 0 738642792 18170441728 3499664 268435456000 4194304 4580107 140733719012576 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=11402/tid=11429] ppid=11400 vsize=17744572 CPUtime=1286.11 cores=0-31
/proc/11402/task/11429/stat : 11429 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 354189 0 0 0 128132 479 0 0 25 0 32 0 738642792 18170441728 3499666 268435456000 4194304 4580107 140733719012576 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=11402/tid=11430] ppid=11400 vsize=17744572 CPUtime=1289.01 cores=0-31
/proc/11402/task/11430/stat : 11430 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 326999 0 0 0 128431 470 0 0 25 0 32 0 738642792 18170441728 3499666 268435456000 4194304 4580107 140733719012576 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11402/tid=11431] ppid=11400 vsize=17744572 CPUtime=1290.15 cores=0-31
/proc/11402/task/11431/stat : 11431 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 356620 0 0 0 128531 484 0 0 25 0 32 0 738642792 18170441728 3499666 268435456000 4194304 4580107 140733719012576 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11402/tid=11432] ppid=11400 vsize=17744572 CPUtime=1290.9 cores=0-31
/proc/11402/task/11432/stat : 11432 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 360276 0 0 0 128632 458 0 0 25 0 32 0 738642792 18170441728 3499666 268435456000 4194304 4580107 140733719012576 18446744073709551615 4322642 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=11402/tid=11433] ppid=11400 vsize=17744572 CPUtime=1298.68 cores=0-31
/proc/11402/task/11433/stat : 11433 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 162399 0 0 0 129674 194 0 0 25 0 32 0 738642792 18170441728 3499666 268435456000 4194304 4580107 140733719012576 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 41286
Current children cumulated vsize (KiB) 17744572

[startup+1441.5 s]
/proc/loadavg: 32.12 31.95 30.58 33/445 11477
/proc/meminfo: memFree=241109188/264257624 swapFree=67111528/67111528
[pid=11402] ppid=11400 vsize=17841960 CPUtime=41336.5 cores=0-31
/proc/11402/stat : 11402 (strangenight2-m) R 11400 11402 11318 0 -1 4202496 11925649 0 0 0 4118691 14961 0 0 25 0 32 0 738642791 18270167040 3507189 268435456000 4194304 4580107 140733719012576 18446744073709551615 4325732 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/11402/statm: 4460490 3507190 382 95 0 4455472 0
[pid=11402/tid=11403] ppid=11400 vsize=17841960 CPUtime=1292.63 cores=0-31
/proc/11402/task/11403/stat : 11403 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 411562 0 0 0 128723 540 0 0 25 0 32 0 738642792 18270167040 3507191 268435456000 4194304 4580107 140733719012576 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=11402/tid=11404] ppid=11400 vsize=17841960 CPUtime=1291.53 cores=0-31
/proc/11402/task/11404/stat : 11404 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 384533 0 0 0 128694 459 0 0 25 0 32 0 738642792 18270167040 3507191 268435456000 4194304 4580107 140733719012576 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=11402/tid=11405] ppid=11400 vsize=17841960 CPUtime=1293.24 cores=0-31
/proc/11402/task/11405/stat : 11405 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 426084 0 0 0 128831 493 0 0 25 0 32 0 738642792 18270167040 3507191 268435456000 4194304 4580107 140733719012576 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=11402/tid=11406] ppid=11400 vsize=17841960 CPUtime=1284 cores=0-31
/proc/11402/task/11406/stat : 11406 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 416753 0 0 0 127920 480 0 0 25 0 32 0 738642792 18270167040 3507192 268435456000 4194304 4580107 140733719012576 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=11402/tid=11407] ppid=11400 vsize=17841960 CPUtime=1288.57 cores=0-31
/proc/11402/task/11407/stat : 11407 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 394888 0 0 0 128367 490 0 0 25 0 32 0 738642792 18270167040 3507192 268435456000 4194304 4580107 140733719012576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11402/tid=11408] ppid=11400 vsize=17841960 CPUtime=1292.46 cores=0-31
/proc/11402/task/11408/stat : 11408 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 414473 0 0 0 128805 441 0 0 25 0 32 0 738642792 18270167040 3507192 268435456000 4194304 4580107 140733719012576 18446744073709551615 4321636 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=11402/tid=11409] ppid=11400 vsize=17841960 CPUtime=1292.71 cores=0-31
/proc/11402/task/11409/stat : 11409 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 388820 0 0 0 128778 493 0 0 25 0 32 0 738642792 18270167040 3507192 268435456000 4194304 4580107 140733719012576 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=11402/tid=11410] ppid=11400 vsize=17841960 CPUtime=1291.58 cores=0-31
/proc/11402/task/11410/stat : 11410 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 392097 0 0 0 128677 481 0 0 25 0 32 0 738642792 18270167040 3507192 268435456000 4194304 4580107 140733719012576 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=11402/tid=11411] ppid=11400 vsize=17841960 CPUtime=1290.75 cores=0-31
/proc/11402/task/11411/stat : 11411 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 400214 0 0 0 128593 482 0 0 25 0 32 0 738642792 18270167040 3507192 268435456000 4194304 4580107 140733719012576 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=11402/tid=11412] ppid=11400 vsize=17841960 CPUtime=1291.45 cores=0-31
/proc/11402/task/11412/stat : 11412 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 404380 0 0 0 128640 505 0 0 25 0 32 0 738642792 18270167040 3507192 268435456000 4194304 4580107 140733719012576 18446744073709551615 4321152 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11402/tid=11413] ppid=11400 vsize=17841960 CPUtime=1291.79 cores=0-31
/proc/11402/task/11413/stat : 11413 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 357152 0 0 0 128716 463 0 0 25 0 32 0 738642792 18270167040 3507192 268435456000 4194304 4580107 140733719012576 18446744073709551615 4316745 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=11402/tid=11414] ppid=11400 vsize=17841960 CPUtime=1281.48 cores=0-31
/proc/11402/task/11414/stat : 11414 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 353753 0 0 0 127687 461 0 0 25 0 32 0 738642792 18270167040 3507192 268435456000 4194304 4580107 140733719012576 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=11402/tid=11415] ppid=11400 vsize=17841960 CPUtime=1289.97 cores=0-31
/proc/11402/task/11415/stat : 11415 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 359781 0 0 0 128512 485 0 0 25 0 32 0 738642792 18270167040 3507193 268435456000 4194304 4580107 140733719012576 18446744073709551615 4316651 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=11402/tid=11416] ppid=11400 vsize=17841960 CPUtime=1291 cores=0-31
/proc/11402/task/11416/stat : 11416 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 379309 0 0 0 128627 473 0 0 25 0 32 0 738642792 18270167040 3507193 268435456000 4194304 4580107 140733719012576 18446744073709551615 4292913 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=11402/tid=11417] ppid=11400 vsize=17841960 CPUtime=1294.61 cores=0-31
/proc/11402/task/11417/stat : 11417 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 382512 0 0 0 128972 489 0 0 25 0 32 0 738642792 18270167040 3507193 268435456000 4194304 4580107 140733719012576 18446744073709551615 4317008 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11402/tid=11418] ppid=11400 vsize=17841960 CPUtime=1289.16 cores=0-31
/proc/11402/task/11418/stat : 11418 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 404181 0 0 0 128418 498 0 0 25 0 32 0 738642792 18270167040 3507193 268435456000 4194304 4580107 140733719012576 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=11402/tid=11419] ppid=11400 vsize=17841960 CPUtime=1290.13 cores=0-31
/proc/11402/task/11419/stat : 11419 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 366289 0 0 0 128542 471 0 0 25 0 32 0 738642792 18270167040 3507193 268435456000 4194304 4580107 140733719012576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=11402/tid=11420] ppid=11400 vsize=17841960 CPUtime=1295.23 cores=0-31
/proc/11402/task/11420/stat : 11420 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 370675 0 0 0 129073 450 0 0 25 0 32 0 738642792 18270167040 3507193 268435456000 4194304 4580107 140733719012576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=11402/tid=11421] ppid=11400 vsize=17841960 CPUtime=1293.65 cores=0-31
/proc/11402/task/11421/stat : 11421 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 357711 0 0 0 128882 483 0 0 25 0 32 0 738642792 18270167040 3507193 268435456000 4194304 4580107 140733719012576 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11402/tid=11422] ppid=11400 vsize=17841960 CPUtime=1293.05 cores=0-31
/proc/11402/task/11422/stat : 11422 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 336670 0 0 0 128879 426 0 0 25 0 32 0 738642792 18270167040 3507194 268435456000 4194304 4580107 140733719012576 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=11402/tid=11423] ppid=11400 vsize=17841960 CPUtime=1294.33 cores=0-31
/proc/11402/task/11423/stat : 11423 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 369628 0 0 0 128966 467 0 0 25 0 32 0 738642792 18270167040 3507194 268435456000 4194304 4580107 140733719012576 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11402/tid=11424] ppid=11400 vsize=17841960 CPUtime=1290.34 cores=0-31
/proc/11402/task/11424/stat : 11424 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 360118 0 0 0 128569 465 0 0 25 0 32 0 738642792 18270167040 3507196 268435456000 4194304 4580107 140733719012576 18446744073709551615 4423072 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11402/tid=11425] ppid=11400 vsize=17841960 CPUtime=1291.16 cores=0-31
/proc/11402/task/11425/stat : 11425 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 377449 0 0 0 128639 477 0 0 25 0 32 0 738642792 18270167040 3507196 268435456000 4194304 4580107 140733719012576 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=11402/tid=11426] ppid=11400 vsize=17841960 CPUtime=1293.45 cores=0-31
/proc/11402/task/11426/stat : 11426 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 378905 0 0 0 128864 481 0 0 25 0 32 0 738642792 18270167040 3507196 268435456000 4194304 4580107 140733719012576 18446744073709551615 4316807 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=11402/tid=11427] ppid=11400 vsize=17841960 CPUtime=1292.13 cores=0-31
/proc/11402/task/11427/stat : 11427 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 386743 0 0 0 128755 458 0 0 25 0 32 0 738642792 18270167040 3507197 268435456000 4194304 4580107 140733719012576 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=11402/tid=11428] ppid=11400 vsize=17841960 CPUtime=1297.37 cores=0-31
/proc/11402/task/11428/stat : 11428 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 328409 0 0 0 129292 445 0 0 25 0 32 0 738642792 18270167040 3507197 268435456000 4194304 4580107 140733719012576 18446744073709551615 4316555 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=11402/tid=11429] ppid=11400 vsize=17841960 CPUtime=1287.69 cores=0-31
/proc/11402/task/11429/stat : 11429 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 354445 0 0 0 128290 479 0 0 25 0 32 0 738642792 18270167040 3507197 268435456000 4194304 4580107 140733719012576 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=11402/tid=11430] ppid=11400 vsize=17841960 CPUtime=1290.59 cores=0-31
/proc/11402/task/11430/stat : 11430 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 327540 0 0 0 128589 470 0 0 25 0 32 0 738642792 18270167040 3507198 268435456000 4194304 4580107 140733719012576 18446744073709551615 4253214 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11402/tid=11431] ppid=11400 vsize=17841960 CPUtime=1291.72 cores=0-31
/proc/11402/task/11431/stat : 11431 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 357157 0 0 0 128688 484 0 0 25 0 32 0 738642792 18270167040 3507198 268435456000 4194304 4580107 140733719012576 18446744073709551615 4317032 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11402/tid=11432] ppid=11400 vsize=17841960 CPUtime=1292.48 cores=0-31
/proc/11402/task/11432/stat : 11432 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 360276 0 0 0 128790 458 0 0 25 0 32 0 738642792 18270167040 3507198 268435456000 4194304 4580107 140733719012576 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=11402/tid=11433] ppid=11400 vsize=17841960 CPUtime=1300.26 cores=0-31
/proc/11402/task/11433/stat : 11433 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 162550 0 0 0 129832 194 0 0 25 0 32 0 738642792 18270167040 3507198 268435456000 4194304 4580107 140733719012576 18446744073709551615 4317008 0 0 4096 2 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 41336.5
Current children cumulated vsize (KiB) 17841960

[startup+1443.1 s]
/proc/loadavg: 32.12 31.95 30.58 2/415 11477
/proc/meminfo: memFree=243972216/264257624 swapFree=67111528/67111528
[pid=11402] ppid=11400 vsize=0 CPUtime=41379.3 cores=0-31
/proc/11402/stat : 11402 (strangenight2-m) Z 11400 11402 11318 0 -1 4203548 11935985 0 0 0 4122939 14994 0 0 25 0 2 0 738642791 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/11402/statm: 0 0 0 0 0 0 0
[pid=11402/tid=11423] ppid=11400 vsize=0 CPUtime=1295.94 cores=0-31
/proc/11402/task/11423/stat : 11423 (strangenight2-m) R 11400 11402 11318 0 -1 4203588 370029 0 0 0 129098 496 0 0 25 0 2 0 738642792 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 41379.3
Current children cumulated vsize (KiB) 0

[startup+1443.5 s]
/proc/loadavg: 32.12 31.95 30.58 2/415 11477
/proc/meminfo: memFree=243972216/264257624 swapFree=67111528/67111528
[pid=11402] ppid=11400 vsize=0 CPUtime=41379.7 cores=0-31
/proc/11402/stat : 11402 (strangenight2-m) Z 11400 11402 11318 0 -1 4203548 11935985 0 0 0 4122939 15033 0 0 25 0 2 0 738642791 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/11402/statm: 0 0 0 0 0 0 0
[pid=11402/tid=11423] ppid=11400 vsize=0 CPUtime=1296.32 cores=0-31
/proc/11402/task/11423/stat : 11423 (strangenight2-m) R 11400 11402 11318 0 -1 4203588 370029 0 0 0 129098 534 0 0 25 0 2 0 738642792 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 41379.7
Current children cumulated vsize (KiB) 0

[startup+1443.9 s]
/proc/loadavg: 32.12 31.95 30.58 2/415 11477
/proc/meminfo: memFree=243972216/264257624 swapFree=67111528/67111528
[pid=11402] ppid=11400 vsize=0 CPUtime=41380.1 cores=0-31
/proc/11402/stat : 11402 (strangenight2-m) Z 11400 11402 11318 0 -1 4203548 11935985 0 0 0 4122939 15073 0 0 25 0 2 0 738642791 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/11402/statm: 0 0 0 0 0 0 0
[pid=11402/tid=11423] ppid=11400 vsize=0 CPUtime=1296.72 cores=0-31
/proc/11402/task/11423/stat : 11423 (strangenight2-m) R 11400 11402 11318 0 -1 4203588 370029 0 0 0 129098 574 0 0 25 0 2 0 738642792 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 41380.1
Current children cumulated vsize (KiB) 0

[startup+1444 s]
/proc/loadavg: 32.12 31.95 30.58 2/415 11477
/proc/meminfo: memFree=243972216/264257624 swapFree=67111528/67111528
[pid=11402] ppid=11400 vsize=0 CPUtime=41380.2 cores=0-31
/proc/11402/stat : 11402 (strangenight2-m) Z 11400 11402 11318 0 -1 4203548 11935985 0 0 0 4122939 15083 0 0 25 0 2 0 738642791 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/11402/statm: 0 0 0 0 0 0 0
[pid=11402/tid=11423] ppid=11400 vsize=0 CPUtime=1296.82 cores=0-31
/proc/11402/task/11423/stat : 11423 (strangenight2-m) R 11400 11402 11318 0 -1 4203588 370029 0 0 0 129098 584 0 0 25 0 2 0 738642792 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 41380.2
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 1444.06
CPU time (s): 41380.3
CPU user time (s): 41229.4
CPU system time (s): 150.881
CPU usage (%): 2865.56
Max. virtual memory (cumulated for all children) (KiB): 18406480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41229.4
system time used= 150.881
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11935985
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= 4174485
involuntary context switches= 88644

runsolver used 8.64169 second user time and 33.3529 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-24 23:12:44
IDJOB=3400651
IDBENCH=70760
IDSOLVER=1886
FILE ID=node200/3400651-1306271563
RUNJOBID= node200-1306271538-11332
PBS_JOBID= 13411771
Free space on /tmp= 62040 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/minxorminand/minxorminand128.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400651-1306271563/watcher-3400651-1306271563 -o /tmp/evaluation-result-3400651-1306271563/solver-3400651-1306271563 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400651-1306271563.cnf

TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32

MD5SUM BENCH= a551844fb6a7f35cf6025d0a525ca14e
RANDOM SEED=2120947710

node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 32
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 64
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 96
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 34
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 66
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 98
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 36
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 68
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 100
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.02
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 38
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 70
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 102
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 16
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 8
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 17
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 48
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 18
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 80
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 19
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 112
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 20
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 9
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 21
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 50
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 22
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 82
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 23
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 114
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 24
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 10
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 25
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 52
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 26
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 84
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 27
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 116
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 28
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 11
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 29
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 54
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 30
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 86
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 31
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 118
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      255153632 kB
Buffers:        465384 kB
Cached:        8227124 kB
SwapCached:          0 kB
Active:        7777728 kB
Inactive:       984876 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255153632 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           13128 kB
Writeback:           0 kB
AnonPages:       69532 kB
Mapped:          14480 kB
Slab:           255884 kB
PageTables:       4608 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   175568 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62032 MiB
End job on node200 at 2011-05-24 23:36:48