Trace number 3400620

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 57347.5 1795.36

General information on the benchmark

Nameindustrial/fuhs/hard/
AProVE07-01.cnf
MD5SUMd2f77e32530988f77dca5112174eee00
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark57347.5
Satisfiable
(Un)Satisfiability was proved
Number of variables7502
Number of clauses28770
Sum of the clauses size76290
Maximum clause length847
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 215814
Number of clauses of size 311119
Number of clauses of size 4733
Number of clauses of size 5172
Number of clauses of size over 5931

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.02	c Using 32 threads
0.00/0.04	c This is CryptoMiniSat 3.0.0
0.00/0.04	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04	c Reading file 'HOME/instance-3400620-1306240774.cnf'
0.00/0.05	c -- header says num vars:           7502
0.00/0.05	c -- header says num clauses:       28770
6.21/0.33	c -- clauses added:            0 learnts,        28770 normals,            0 xors
6.21/0.33	c -- vars added       7502
6.21/0.33	c Parsing time:  0.04 s
6.21/0.33	c  N st     0         0      7502     12844     10393         0     63534         0   no data   no data
8.36/0.44	c asymm  cl-useful: 41/12844/12844 lits-rem:51 time: 0.10
13.44/0.73	c Flit:    18 Blit:    136 bXBeca:    0 bXProp:  896 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
13.44/0.73	c Cleaning up after failed var search:     0.00 s 
13.44/0.75	c Replacing      896 vars Replaced    20711 lits Time:     0.01 s 
15.78/0.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.78/0.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.78/0.88	c subs with bin:       88  lits-rem:        54  v-fix:    0  time:  0.00 s
15.78/0.89	c Subs w/ non-existent bins:     84 l-rem:     56 v-fix:     0 done:   5592 time:  0.01 s
15.78/0.90	c Removed useless bin:      62  fixed:     0  props:   0.27M  time:  0.01 s
19.90/1.05	c lits-rem:      1466  cl-subs:     1702  v-elim:   1864  v-fix:    0  time:  0.07 s
19.90/1.06	c Finding binary XORs  T:     0.01 s  found:      18
19.90/1.06	c Replacing       18 vars Replaced      525 lits Time:     0.00 s 
19.90/1.09	c Finding non-binary XORs:     0.01 s (found:    1714, avg size: 3.0)
19.90/1.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    549 locsubst:    23 time:   0.01
19.90/1.09	c calculated reachability. Time: 0.00
19.90/1.09	c Calc default polars -  time:   0.00 s pos:    1052 undec:    4409 neg:    2041
19.90/1.09	c =========================================================================================
19.90/1.09	c types(t): F = full restart, N = normal restart
19.90/1.09	c types(t): S = simplification begin/end, E = solution found
19.90/1.09	c restart types(rt): st = static, dy = dynamic
19.90/1.09	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
19.90/1.09	c  B st     0         0      3161      5376      4051         0     33269         0   no data   no data
34.96/1.56	c Decided on static restart strategy
50.92/2.06	c  N st     8      4913      3160      5376      4273      4569     33268    212205   no data   no data
63.67/2.43	c Finding binary XORs  T:     0.00 s  found:       8
82.85/3.08	c  N st    10     11295      3159      5360      5816      4680     33185    115399   no data   no data
121.21/4.23	c  N st    11     17038      3159      5360      5827     10267     33185    338302   no data   no data
121.21/4.24	c Finding binary XORs  T:     0.00 s  found:       1
175.53/5.97	c  F st    12     25000      3158      5360      7316     13122     33179    412456   no data   no data
175.53/5.98	c Replacing       20 vars Replaced     1516 lits Time:     0.01 s 
175.53/5.99	c  N st    12     25000      3138      5360      7279     13120     33117    412420   no data   no data
217.09/7.21	c Decided on static restart strategy
217.09/7.21	c  N st    18     30001      3138      5360      7545     11685     33117    336262   no data   no data
217.09/7.21	c  S st    18     30001      3138      5360      7545     11685     33117    336262   no data   no data
217.09/7.29	c  S st    18     30501      3138      5360      7562     12165     33117    342224   no data   no data
217.09/7.30	c x-sub:    10 x-cut:      0 vfix:      0 v-elim:     16 locsubst:     9 time:   0.00
220.28/7.40	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:    4 Bins:  10175 BRemL:   6405 BRemN:      5 P:  1.6M T:  0.10
223.48/7.41	c Replacing        7 vars Replaced     1051 lits Time:     0.01 s 
223.48/7.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
223.48/7.41	c bin-w-bin subsume rem          885 bins  time:  0.00 s
223.48/7.41	c subs with bin:      405  lits-rem:       747  v-fix:    0  time:  0.00 s
223.48/7.42	c Subs w/ non-existent bins:      2 l-rem:      0 v-fix:     0 done:   3114 time:  0.00 s
223.48/7.42	c Removed useless bin:       2  fixed:     0  props:   0.06M  time:  0.00 s
223.48/7.43	c lits-rem:        13  cl-subs:       49  v-elim:    369  v-fix:    0  time:  0.01 s
226.68/7.51	c subs with bin:      121  lits-rem:      4927  v-fix:    0  time:  0.05 s
229.88/7.62	c lits-rem:      1148  cl-subs:      521  v-elim:      0  v-fix:    0  time:  0.11 s
229.88/7.68	c asymm  cl-useful: 73/5264/5264 lits-rem:152 time: 0.06
229.88/7.68	c calculated reachability. Time: 0.00
229.88/7.68	c  N st    18     30501      2745      5258      7961      9634     29826    236294   no data   no data
229.88/7.68	c Finding binary XORs  T:     0.00 s  found:       0
277.80/9.10	c  N st    20     37611      2745      5258      8118     10022     29826    224484   no data   no data
332.12/10.84	c  N st    21     44011      2745      5258      8123     16298     29826    595388   no data   no data
332.12/10.85	c Finding binary XORs  T:     0.00 s  found:       3
342.37/11.16	c  S st    22     45752      2744      5258     16303      9925     29815    151175   no data   no data
344.93/11.22	c  S st    22     46252      2744      5258     16308     10418     29815    156634   no data   no data
344.93/11.23	c x-sub:     3 x-cut:      0 vfix:      0 v-elim:      6 locsubst:     0 time:   0.00
348.09/11.32	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:    0 Bins:   1487 BRemL:   6026 BRemN:      5 P:  1.4M T:  0.09
348.09/11.32	c Replacing        3 vars Replaced      205 lits Time:     0.00 s 
348.09/11.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
348.09/11.33	c bin-w-bin subsume rem         1529 bins  time:  0.00 s
348.09/11.33	c subs with bin:       84  lits-rem:        94  v-fix:    0  time:  0.00 s
348.09/11.33	c Subs w/ non-existent bins:      1 l-rem:      1 v-fix:     0 done:   2734 time:  0.00 s
348.09/11.34	c Removed useless bin:       1  fixed:     0  props:   0.05M  time:  0.00 s
348.09/11.34	c lits-rem:         2  cl-subs:        7  v-elim:      6  v-fix:    0  time:  0.01 s
348.09/11.37	c subs with bin:       33  lits-rem:       659  v-fix:    0  time:  0.02 s
348.09/11.38	c lits-rem:       275  cl-subs:       76  v-elim:      0  v-fix:    0  time:  0.02 s
348.09/11.39	c vivif2 --  cl tried     5184 cl shrink       31 lits rem         37 time: 0.00
348.09/11.39	c vivif2 --  cl tried    10186 cl shrink     1244 lits rem       1965 time: 0.01
351.29/11.46	c asymm  cl-useful: 22/5178/5178 lits-rem:28 time: 0.07
351.29/11.46	c calculated reachability. Time: 0.00
351.29/11.46	c  N st    22     46252      2728      5178     10188     10167     29437    138577   no data   no data
483.01/15.58	c  N st    23     60650      2728      5178     10189     15045     29437    443817   no data   no data
483.01/15.59	c Finding binary XORs  T:     0.00 s  found:      10
559.05/17.91	c  N st    24     69378      2725      5142     12058     13123     29261    204137   no data   no data
559.05/17.91	c  S st    24     69378      2725      5142     12058     13123     29261    204137   no data   no data
559.05/17.92	c Finding binary XORs  T:     0.00 s  found:       0
562.25/18.00	c  S st    24     69880      2725      5142     14367     13617     29261    214815   no data   no data
562.25/18.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
565.45/18.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1066 BRemL:   3358 BRemN:     10 P:  1.7M T:  0.10
565.45/18.11	c Replacing       10 vars Replaced      126 lits Time:     0.00 s 
565.45/18.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
565.45/18.12	c bin-w-bin subsume rem          788 bins  time:  0.00 s
565.45/18.12	c subs with bin:       23  lits-rem:         0  v-fix:    0  time:  0.00 s
565.45/18.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2715 time:  0.00 s
565.45/18.12	c Removed useless bin:       2  fixed:     0  props:   0.05M  time:  0.00 s
565.45/18.13	c lits-rem:         3  cl-subs:        1  v-elim:     11  v-fix:    0  time:  0.01 s
565.45/18.17	c subs with bin:       20  lits-rem:       353  v-fix:    0  time:  0.02 s
568.65/18.21	c lits-rem:       198  cl-subs:      235  v-elim:      0  v-fix:    0  time:  0.04 s
568.65/18.21	c vivif2 --  cl tried     5141 cl shrink       26 lits rem         34 time: 0.00
568.65/18.22	c vivif2 --  cl tried    13326 cl shrink      468 lits rem       1084 time: 0.01
571.84/18.30	c asymm  cl-useful: 38/5133/5133 lits-rem:64 time: 0.08
571.84/18.30	c calculated reachability. Time: 0.00
571.84/18.30	c  N st    24     69880      2704      5121     11171     13325     29214    202075   no data   no data
702.89/22.49	c  F st    25     87501      2704      5121     11172     19134     29213    410797   no data   no data
702.89/22.49	c  N st    25     87501      2704      5121     11172     19134     29213    410797   no data   no data
706.09/22.50	c Finding binary XORs  T:     0.00 s  found:       6
738.05/23.52	c Decided on static restart strategy
761.04/24.31	c  N st    32     95538      2701      5102     14531     27027     29112    804362   no data   no data
764.25/24.33	c Finding binary XORs  T:     0.00 s  found:      17
821.14/26.11	c  N st    34    104820      2696      5053     14790     23319     28878    498967   no data   no data
821.14/26.11	c  S st    34    104820      2696      5053     14790     23319     28878    498967   no data   no data
824.34/26.24	c  S st    34    105323      2695      5053     15665     23817     28878    508382   no data   no data
824.34/26.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     10 locsubst:     0 time:   0.00
827.55/26.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bins:    149 BRemL:   3319 BRemN:      5 P:  2.5M T:  0.13
827.55/26.39	c Replacing       30 vars Replaced     1590 lits Time:     0.01 s 
827.55/26.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
827.55/26.39	c bin-w-bin subsume rem          800 bins  time:  0.00 s
827.55/26.40	c subs with bin:       12  lits-rem:        15  v-fix:    0  time:  0.00 s
827.55/26.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2655 time:  0.00 s
827.55/26.40	c Removed useless bin:       0  fixed:     0  props:   0.05M  time:  0.00 s
827.55/26.41	c lits-rem:         4  cl-subs:        9  v-elim:     26  v-fix:    0  time:  0.01 s
831.36/26.52	c subs with bin:       26  lits-rem:       902  v-fix:    0  time:  0.07 s
840.32/26.74	c lits-rem:      2306  cl-subs:      791  v-elim:      0  v-fix:    0  time:  0.22 s
840.32/26.74	c vivif2 --  cl tried     5052 cl shrink       43 lits rem         51 time: 0.00
840.32/26.78	c vivif2 --  cl tried    22538 cl shrink     2697 lits rem       5999 time: 0.03
843.51/26.89	c asymm  cl-useful: 35/5046/5046 lits-rem:73 time: 0.11
843.51/26.89	c calculated reachability. Time: 0.00
843.51/26.89	c  N st    34    105323      2629      5032     10859     22538     28828    462374   no data   no data
929.80/29.59	c  N st    35    114922      2629      5032     10860     18899     28828    407741   no data   no data
929.80/29.60	c Finding binary XORs  T:     0.00 s  found:       0
1064.01/33.72	c  N st    36    129319      2628      5031     11270     18695     28803    292330   no data   no data
1064.01/33.73	c Finding binary XORs  T:     0.00 s  found:       5
1303.70/41.23	c  N st    37    150914      2626      5014     11235     24347     28711    599203   no data   no data
1303.70/41.24	c Finding binary XORs  T:     0.00 s  found:       5
1377.20/43.52	c  S st    38    157986      2624      4995     12126     31300     28621   1047459   no data   no data
1380.40/43.67	c  S st    38    158488      2622      4995     12201     31798     28621   1055318   no data   no data
1380.40/43.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     27 locsubst:     0 time:   0.01
1386.79/43.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    197 BRemL:   1487 BRemN:      1 P:  2.5M T:  0.14
1386.79/43.83	c Replacing       10 vars Replaced      131 lits Time:     0.02 s 
1386.79/43.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1386.79/43.83	c bin-w-bin subsume rem          326 bins  time:  0.00 s
1386.79/43.83	c subs with bin:        2  lits-rem:         4  v-fix:    0  time:  0.00 s
1386.79/43.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2585 time:  0.00 s
1386.79/43.84	c Removed useless bin:       3  fixed:     0  props:   0.05M  time:  0.00 s
1386.79/43.85	c lits-rem:         6  cl-subs:        7  v-elim:     14  v-fix:    0  time:  0.02 s
1393.80/44.07	c subs with bin:       18  lits-rem:       485  v-fix:    0  time:  0.16 s
1425.15/45.05	c lits-rem:      1251  cl-subs:     2239  v-elim:      0  v-fix:    0  time:  0.97 s
1425.15/45.06	c vivif2 --  cl tried     5012 cl shrink        6 lits rem          8 time: 0.00
1428.96/45.13	c vivif2 --  cl tried    28065 cl shrink     3587 lits rem      11331 time: 0.07
1432.17/45.26	c asymm  cl-useful: 24/5011/5011 lits-rem:33 time: 0.13
1432.17/45.26	c calculated reachability. Time: 0.00
1432.17/45.26	c  N st    38    158488      2571      5008     10257     28065     28705    878366   no data   no data
1891.71/59.67	c  N st    39    207077      2571      5008     10257     24491     28705    411833   no data   no data
1891.71/59.69	c Finding binary XORs  T:     0.00 s  found:       8
2195.24/69.11	c  N st    40    237732      2565      4968     10369     35104     28529    800000   no data   no data
2195.24/69.11	c  S st    40    237732      2565      4968     10369     35104     28529    800000   no data   no data
2195.24/69.12	c Finding binary XORs  T:     0.00 s  found:       2
2198.44/69.26	c  S st    40    238235      2562      4963     10516     35589     28489    804404   no data   no data
2198.44/69.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     10 locsubst:     0 time:   0.01
2202.26/69.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    355 BRemL:    715 BRemN:      5 P:  2.7M T:  0.14
2202.26/69.41	c Replacing       10 vars Replaced      563 lits Time:     0.01 s 
2202.26/69.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2202.26/69.42	c bin-w-bin subsume rem          143 bins  time:  0.00 s
2202.26/69.42	c subs with bin:        6  lits-rem:         1  v-fix:    0  time:  0.00 s
2205.49/69.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2542 time:  0.00 s
2205.49/69.42	c Removed useless bin:       0  fixed:     0  props:   0.05M  time:  0.00 s
2205.49/69.44	c lits-rem:         2  cl-subs:       12  v-elim:      6  v-fix:    0  time:  0.01 s
2211.21/69.60	c subs with bin:       73  lits-rem:      1322  v-fix:    0  time:  0.11 s
2233.58/70.34	c lits-rem:      2077  cl-subs:     1759  v-elim:      0  v-fix:    0  time:  0.74 s
2233.58/70.34	c vivif2 --  cl tried     4952 cl shrink        6 lits rem          7 time: 0.00
2233.58/70.40	c vivif2 --  cl tried    33243 cl shrink     3519 lits rem       8825 time: 0.06
2240.63/70.54	c asymm  cl-useful: 22/4951/4951 lits-rem:31 time: 0.14
2240.63/70.55	c calculated reachability. Time: 0.00
2240.63/70.55	c  N st    40    238235      2536      4949      9921     33242     28442    707470   no data   no data
2313.44/72.81	c Finding binary XORs  T:     0.00 s  found:       0
2994.24/94.10	c  F st    41    306251      2534      4947      9894     36064     28417    668715   no data   no data
2994.24/94.11	c Replacing        2 vars Replaced       97 lits Time:     0.01 s 
2994.24/94.11	c  N st    41    306251      2532      4947      9892     36064     28411    668711   no data   no data
2994.24/94.13	c Finding binary XORs  T:     0.00 s  found:      10
3035.80/95.45	c Decided on static restart strategy
3292.07/103.48	c  N st    51    334554      2518      4916      9797     40549     28196   1000975   no data   no data
3460.86/108.73	c Finding binary XORs  T:     0.00 s  found:      19
3460.86/108.74	c Replacing       29 vars Replaced     1134 lits Time:     0.01 s 
3550.35/111.58	c  N st    53    357353      2489      4861      8900     38613     27837    873379   no data   no data
3550.35/111.58	c  S st    53    357353      2489      4861      8900     38613     27837    873379   no data   no data
3556.75/111.77	c  S st    53    357854      2488      4861      8906     39106     27837    880425   no data   no data
3556.75/111.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     27 locsubst:     0 time:   0.01
3563.15/111.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bins:    113 BRemL:    622 BRemN:      0 P:  2.5M T:  0.13
3563.15/111.92	c Replacing        5 vars Replaced      252 lits Time:     0.01 s 
3563.15/111.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3563.15/111.93	c bin-w-bin subsume rem          143 bins  time:  0.00 s
3563.15/111.93	c subs with bin:       10  lits-rem:         0  v-fix:    0  time:  0.00 s
3563.15/111.93	c Subs w/ non-existent bins:      1 l-rem:      0 v-fix:     0 done:   2456 time:  0.00 s
3563.15/111.93	c Removed useless bin:       0  fixed:     0  props:   0.04M  time:  0.00 s
3563.15/111.95	c lits-rem:        12  cl-subs:        7  v-elim:      6  v-fix:    0  time:  0.02 s
3569.55/112.10	c subs with bin:       42  lits-rem:       557  v-fix:    0  time:  0.10 s
3588.71/112.71	c lits-rem:      1450  cl-subs:      894  v-elim:      0  v-fix:    0  time:  0.61 s
3588.71/112.71	c vivif2 --  cl tried     4830 cl shrink        4 lits rem          4 time: 0.00
3588.71/112.77	c vivif2 --  cl tried    36263 cl shrink     3820 lits rem       9813 time: 0.06
3595.11/112.92	c asymm  cl-useful: 16/4830/4830 lits-rem:29 time: 0.15
3595.11/112.93	c calculated reachability. Time: 0.00
3595.11/112.93	c  N st    53    357854      2450      4824      7862     36263     27547    766262   no data   no data
3963.32/124.43	c  N st    54    390246      2450      4824      7862     43530     27547   1304731   no data   no data
3963.32/124.44	c Finding binary XORs  T:     0.00 s  found:       0
4505.95/141.44	c  N st    55    438835      2448      4814      7708     38003     27511    638086   no data   no data
4505.95/141.45	c Finding binary XORs  T:     0.00 s  found:       2
5391.30/169.18	c  N st    56    511717      2443      4806      7731     51536     27443   1137886   no data   no data
5394.50/169.20	c Finding binary XORs  T:     0.00 s  found:       6
5691.77/178.58	c  N st    57    536783      2439      4805      7947     45902     27410    831097   no data   no data
5691.77/178.58	c  S st    57    536783      2439      4805      7947     45902     27410    831097   no data   no data
5698.17/178.78	c  S st    57    537285      2438      4805      7962     46401     27410    838476   no data   no data
5698.17/178.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      5 locsubst:     0 time:   0.01
5704.56/178.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    6 Bins:     17 BRemL:    309 BRemN:      0 P:  2.9M T:  0.15
5704.56/178.95	c Replacing       14 vars Replaced     1125 lits Time:     0.02 s 
5704.56/178.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5704.56/178.96	c bin-w-bin subsume rem           44 bins  time:  0.00 s
5704.56/178.96	c subs with bin:       13  lits-rem:         6  v-fix:    0  time:  0.00 s
5704.56/178.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2419 time:  0.00 s
5704.56/178.97	c Removed useless bin:       1  fixed:     0  props:   0.04M  time:  0.00 s
5704.56/178.98	c lits-rem:         2  cl-subs:        4  v-elim:      2  v-fix:    0  time:  0.02 s
5710.96/179.13	c subs with bin:       67  lits-rem:       986  v-fix:    0  time:  0.09 s
5746.12/180.21	c lits-rem:      2203  cl-subs:     3271  v-elim:      0  v-fix:    0  time:  1.08 s
5746.12/180.22	c vivif2 --  cl tried     4774 cl shrink        0 lits rem          0 time: 0.00
5746.12/180.27	c vivif2 --  cl tried    42731 cl shrink     3000 lits rem       6129 time: 0.05
5753.11/180.46	c asymm  cl-useful: 15/4774/4774 lits-rem:19 time: 0.19
5753.11/180.46	c calculated reachability. Time: 0.00
5753.11/180.46	c  N st    57    537285      2417      4774      7308     42731     27164    702407   no data   no data
8274.28/259.39	c  N st    58    701271      2417      4774      7308     72802     27164   2047334   no data   no data
8277.48/259.41	c Finding binary XORs  T:     0.00 s  found:       4
9725.92/304.80	c  N st    59    805928      2411      4756      6882     66964     27047   1370479   no data   no data
9725.92/304.80	c  S st    59    805928      2411      4756      6882     66964     27047   1370479   no data   no data
9729.15/304.82	c Finding binary XORs  T:     0.00 s  found:       6
9741.27/305.20	c  S st    59    806430      2406      4745      7225     67454     27001   1378227   no data   no data
9741.27/305.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      5 locsubst:     0 time:   0.01
9747.66/305.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     22 BRemL:    385 BRemN:      0 P:  4.0M T:  0.20
9747.66/305.43	c Replacing       11 vars Replaced     1613 lits Time:     0.01 s 
9747.66/305.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9747.66/305.43	c bin-w-bin subsume rem           44 bins  time:  0.00 s
9747.66/305.44	c subs with bin:       18  lits-rem:         1  v-fix:    0  time:  0.00 s
9747.66/305.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2390 time:  0.00 s
9747.66/305.44	c Removed useless bin:       0  fixed:     0  props:   0.04M  time:  0.00 s
9747.66/305.47	c lits-rem:        12  cl-subs:        8  v-elim:      2  v-fix:    0  time:  0.03 s
9757.24/305.72	c subs with bin:       33  lits-rem:       965  v-fix:    0  time:  0.16 s
9856.32/308.81	c lits-rem:      3165  cl-subs:     4047  v-elim:      0  v-fix:    0  time:  3.09 s
9856.32/308.82	c vivif2 --  cl tried     4721 cl shrink        4 lits rem          4 time: 0.00
9859.52/308.92	c vivif2 --  cl tried    62652 cl shrink     7462 lits rem      13397 time: 0.11
9869.73/309.23	c asymm  cl-useful: 18/4721/4721 lits-rem:20 time: 0.30
9869.73/309.23	c calculated reachability. Time: 0.00
9869.73/309.23	c  N st    59    806430      2388      4720      6775     62651     26798   1244975   no data   no data
10499.33/328.97	c Finding binary XORs  T:     0.00 s  found:       0
13848.40/433.72	c  F st    60   1071875      2384      4714      6733     79819     26750   1692287   no data   no data
13848.40/433.75	c Replacing        1 vars Replaced       35 lits Time:     0.01 s 
13848.40/433.75	c  N st    60   1071875      2383      4711      6704     79812     26737   1692112   no data   no data
13848.40/433.78	c Finding binary XORs  T:     0.00 s  found:       4
13931.51/436.33	c Decided on static restart strategy
14247.94/446.25	c  N st    70   1100179      2374      4694      6800     63356     26636   1319162   no data   no data
14468.50/453.15	c Finding binary XORs  T:     0.00 s  found:       1
14842.46/464.80	c  N st    72   1136174      2373      4689      6816     53612     26600    742101   no data   no data
15331.47/480.12	c  N st    73   1168566      2370      4689      6833     85564     26600   2406939   no data   no data
15331.47/480.15	c Finding binary XORs  T:     0.00 s  found:       6
16063.38/503.03	c  N st    74   1209646      2368      4683      6696     79721     26538   1687779   no data   no data
16063.38/503.03	c  S st    74   1209646      2368      4683      6696     79721     26538   1687779   no data   no data
16063.38/503.05	c Finding binary XORs  T:     0.00 s  found:       4
16079.36/503.50	c  S st    74   1210149      2362      4677      6519     80190     26455   1694649   no data   no data
16079.36/503.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      4 locsubst:     0 time:   0.01
16085.75/503.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     22 BRemL:    427 BRemN:      0 P:  4.2M T:  0.24
16085.75/503.77	c Replacing       18 vars Replaced     1450 lits Time:     0.02 s 
16085.75/503.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16085.75/503.77	c bin-w-bin subsume rem           79 bins  time:  0.00 s
16085.75/503.77	c subs with bin:       31  lits-rem:         9  v-fix:    0  time:  0.00 s
16085.75/503.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2340 time:  0.00 s
16085.75/503.78	c Removed useless bin:       2  fixed:     0  props:   0.04M  time:  0.00 s
16085.75/503.81	c lits-rem:        18  cl-subs:       12  v-elim:      4  v-fix:    0  time:  0.03 s
16098.52/504.15	c subs with bin:       81  lits-rem:      2685  v-fix:    0  time:  0.22 s
16309.48/510.77	c lits-rem:      3766  cl-subs:     7383  v-elim:      0  v-fix:    0  time:  6.62 s
16309.48/510.78	c vivif2 --  cl tried     4637 cl shrink        9 lits rem         10 time: 0.00
16315.88/510.90	c vivif2 --  cl tried    72416 cl shrink     7370 lits rem      12647 time: 0.12
16325.48/511.29	c asymm  cl-useful: 10/4634/4634 lits-rem:14 time: 0.39
16325.48/511.30	c calculated reachability. Time: 0.00
16325.48/511.30	c  N st    74   1210149      2336      4632      5978     72415     26203   1477600   no data   no data
17418.66/545.44	c  N st    75   1283031      2336      4632      5978     97427     26203   3184875   no data   no data
17418.66/545.48	c Finding binary XORs  T:     0.00 s  found:       3
19294.96/604.16	c  N st    76   1392354      2330      4625      6263     57715     26143    762693   no data   no data
19294.96/604.18	c Finding binary XORs  T:     0.00 s  found:      10
21894.26/685.44	c  N st    77   1556338      2318      4582      5764     62694     25903    867403   no data   no data
21894.26/685.46	c Finding binary XORs  T:     0.00 s  found:       4
24754.39/774.98	c  N st    78   1710151      2315      4578      5825    104364     25873   2465137   no data   no data
24754.39/774.98	c  S st    78   1710151      2315      4578      5825    104364     25873   2465137   no data   no data
24757.59/775.01	c Finding binary XORs  T:     0.00 s  found:       5
24783.16/775.87	c  S st    78   1710653      2311      4569      5770    104801     25766   2467247   no data   no data
24783.16/775.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
24795.95/776.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    148 BRemL:    361 BRemN:      7 P:  4.7M T:  0.36
24799.15/776.36	c Replacing       22 vars Replaced    19485 lits Time:     0.11 s 
24799.15/776.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
24799.15/776.37	c bin-w-bin subsume rem          110 bins  time:  0.00 s
24799.15/776.37	c subs with bin:       13  lits-rem:        14  v-fix:    0  time:  0.00 s
24799.15/776.37	c Subs w/ non-existent bins:      2 l-rem:      0 v-fix:     0 done:   2289 time:  0.00 s
24799.15/776.37	c Removed useless bin:       1  fixed:     0  props:   0.04M  time:  0.00 s
24802.34/776.43	c lits-rem:        27  cl-subs:        9  v-elim:     12  v-fix:    0  time:  0.05 s
24824.71/777.10	c subs with bin:      360  lits-rem:      5591  v-fix:    0  time:  0.51 s
25358.49/793.88	c lits-rem:      9370  cl-subs:    12335  v-elim:      0  v-fix:    0  time: 16.77 s
25358.49/793.88	c vivif2 --  cl tried     4561 cl shrink       12 lits rem         14 time: 0.00
25364.88/794.05	c vivif2 --  cl tried    91013 cl shrink     9408 lits rem      16405 time: 0.16
25384.05/794.69	c asymm  cl-useful: 14/4561/4561 lits-rem:15 time: 0.64
25387.25/794.70	c calculated reachability. Time: 0.00
25387.25/794.70	c  N st    78   1710653      2277      4561      5325     91013     25636   2006947   no data   no data
25387.25/794.70	c Finding binary XORs  T:     0.00 s  found:       0
32141.14/1006.05	c  N st    79   2079617      2277      4561      5325    104758     25636   2716140   no data   no data
32141.14/1006.09	c Finding binary XORs  T:     0.00 s  found:      11
34685.42/1085.67	c  N st    80   2210653      2268      4533      6069    108665     25507   2858016   no data   no data
34685.42/1085.67	c  S st    80   2210653      2268      4533      6069    108665     25507   2858016   no data   no data
34685.42/1085.71	c Finding binary XORs  T:     0.00 s  found:       4
34707.79/1086.30	c  S st    80   2211157      2261      4503      5985    107991     25371   2829049   no data   no data
34707.79/1086.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
34717.39/1086.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    535 BRemL:    796 BRemN:      1 P:  5.4M T:  0.33
34717.39/1086.68	c Replacing       19 vars Replaced     3000 lits Time:     0.04 s 
34717.39/1086.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
34717.39/1086.69	c bin-w-bin subsume rem          217 bins  time:  0.00 s
34717.39/1086.69	c subs with bin:       24  lits-rem:        16  v-fix:    0  time:  0.00 s
34717.39/1086.69	c Subs w/ non-existent bins:      4 l-rem:      0 v-fix:     0 done:   2242 time:  0.00 s
34717.39/1086.70	c Removed useless bin:       1  fixed:     0  props:   0.03M  time:  0.00 s
34720.59/1086.75	c lits-rem:         9  cl-subs:       10  v-elim:     10  v-fix:    0  time:  0.05 s
34858.04/1091.07	c subs with bin:     4997  lits-rem:      2468  v-fix:    0  time:  4.14 s
35120.12/1099.21	c lits-rem:     11733  cl-subs:     1783  v-elim:      0  v-fix:    0  time:  8.14 s
35120.12/1099.21	c vivif2 --  cl tried     4483 cl shrink        3 lits rem          3 time: 0.00
35129.72/1099.50	c vivif2 --  cl tried    99772 cl shrink    17404 lits rem      39960 time: 0.28
35146.29/1100.07	c asymm  cl-useful: 9/4253/4481 lits-rem:9 time: 0.57
35146.29/1100.08	c calculated reachability. Time: 0.00
35146.29/1100.08	c  N st    80   2211157      2232      4481      5170     99756     25223   2497198   no data   no data
35146.29/1100.08	c Finding binary XORs  T:     0.00 s  found:       0
44818.51/1402.69	c  N st    81   2711158      2232      4481      5171    125818     25223   3402288   no data   no data
44818.51/1402.69	c  S st    81   2711158      2232      4481      5171    125818     25223   3402288   no data   no data
44821.07/1402.74	c Finding binary XORs  T:     0.00 s  found:      22
44846.67/1403.55	c  S st    81   2711665      2208      4411      4949    124777     24625   3366747   no data   no data
44846.67/1403.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
44859.43/1403.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:     62 BRemL:    406 BRemN:      0 P:  5.8M T:  0.41
44872.22/1404.30	c Replacing       24 vars Replaced    48873 lits Time:     0.31 s 
44872.22/1404.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44872.22/1404.30	c bin-w-bin subsume rem          136 bins  time:  0.00 s
44872.22/1404.31	c subs with bin:       67  lits-rem:         8  v-fix:    0  time:  0.00 s
44872.22/1404.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2184 time:  0.00 s
44872.22/1404.31	c Removed useless bin:       6  fixed:     0  props:   0.03M  time:  0.00 s
44872.22/1404.37	c lits-rem:         2  cl-subs:       19  v-elim:      3  v-fix:    0  time:  0.06 s
44964.92/1407.26	c subs with bin:     1215  lits-rem:     35478  v-fix:    0  time:  2.67 s
45607.40/1427.34	c lits-rem:     34599  cl-subs:    10208  v-elim:      0  v-fix:    0  time: 20.07 s
45607.40/1427.34	c vivif2 --  cl tried     4330 cl shrink        7 lits rem          8 time: 0.00
45617.00/1427.64	c vivif2 --  cl tried   109915 cl shrink    14373 lits rem      25991 time: 0.29
45642.56/1428.42	c asymm  cl-useful: 19/3756/4330 lits-rem:43 time: 0.78
45642.56/1428.43	c calculated reachability. Time: 0.00
45642.56/1428.43	c  N st    81   2711665      2181      4329      4406    109915     24248   2927723   no data   no data
45642.56/1428.43	c Finding binary XORs  T:     0.00 s  found:       0
56714.89/1774.85	c  N st    82   3211665      2181      4329      4407     90210     24248   1234506   no data   no data
56714.89/1774.85	c  S st    82   3211665      2181      4329      4407     90210     24248   1234506   no data   no data
56718.08/1774.99	c Finding binary XORs  T:     0.00 s  found:     144
56721.28/1775.06	c Replacing      147 vars Replaced    47581 lits Time:     0.07 s 
56730.87/1775.36	c  S st    82   3212169      1935      3930      6728     55623     22009    578223   no data   no data
56730.87/1775.38	c x-sub:    13 x-cut:      0 vfix:      0 v-elim:      8 locsubst:     3 time:   0.01
56737.90/1775.58	c Flit:     3 Blit:      1 bXBeca:    0 bXProp:    9 Bins:    272 BRemL:   1598 BRemN:     19 P:  3.5M T:  0.20
56740.42/1775.60	c Replacing       10 vars Replaced      912 lits Time:     0.03 s 
56740.42/1775.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
56740.42/1775.61	c bin-w-bin subsume rem          772 bins  time:  0.00 s
56740.42/1775.61	c subs with bin:      132  lits-rem:        70  v-fix:    0  time:  0.00 s
56740.42/1775.61	c Subs w/ non-existent bins:     11 l-rem:      5 v-fix:     0 done:   1912 time:  0.00 s
56740.42/1775.61	c Removed useless bin:       4  fixed:     0  props:   0.03M  time:  0.00 s
56740.42/1775.64	c lits-rem:         8  cl-subs:       52  v-elim:     19  v-fix:    0  time:  0.03 s
56753.22/1776.07	c subs with bin:     6100  lits-rem:     18966  v-fix:    0  time:  0.38 s
56766.01/1776.49	c lits-rem:      4846  cl-subs:     2635  v-elim:      0  v-fix:    0  time:  0.42 s
56766.01/1776.49	c vivif2 --  cl tried     3729 cl shrink       19 lits rem         23 time: 0.00
56769.79/1776.53	c vivif2 --  cl tried    44884 cl shrink     3834 lits rem       4561 time: 0.04
56775.61/1776.78	c asymm  cl-useful: 64/3726/3726 lits-rem:213 time: 0.24
56775.61/1776.78	c calculated reachability. Time: 0.00
56775.61/1776.78	c  N st    82   3212169      1893      3724      4160     44862     20684    408051   no data   no data
56775.61/1776.78	c Finding binary XORs  T:     0.00 s  found:       0
57028.12/1784.63	c Finding binary XORs  T:     0.00 s  found:       0
57346.88/1794.86	c Following stats are for *FIRST FINISHED THREAD ONLY*
57346.88/1794.86	c num threads              : 32         
57346.88/1794.86	c restarts                 : 81         
57346.88/1794.86	c dynamic restarts         : 0          
57346.88/1794.86	c static restarts          : 81         
57346.88/1794.86	c full restarts            : 4          
57346.88/1794.86	c total simplify time      : 1.88       
57346.88/1794.86	c learnts DL2              : 0          
57346.88/1794.86	c learnts size 2           : 62230      
57346.88/1794.86	c learnts size 1           : 1640        (21.86     % of vars)
57346.88/1794.86	c filedLit time            : 1.68        (0.09      % time)
57346.88/1794.86	c v-elim SatELite          : 2352        (31.35     % vars)
57346.88/1794.86	c SatELite time            : 24.94       (1.39      % time)
57346.88/1794.86	c v-elim xor               : 663         (8.84      % vars)
57346.88/1794.86	c xor elim time            : 0.09        (0.01      % time)
57346.88/1794.86	c num binary xor trees     : 887        
57346.88/1794.86	c binxor trees' crown      : 1452        (1.64      leafs/tree)
57346.88/1794.86	c bin xor find time        : 0.15       
57346.88/1794.86	c OTF clause improved      : 44010       (0.01      clauses/conflict)
57346.88/1794.86	c OTF impr. size diff      : 54208       (1.23       lits/clause)
57346.88/1794.86	c OTF cl watch-shrink      : 2562946     (0.78      clauses/conflict)
57346.88/1794.86	c OTF cl watch-sh-lit      : 12642431    (4.93       lits/clause)
57346.88/1794.86	c tried to recurMin cls    : 1726854     (52.34      % of conflicts)
57346.88/1794.86	c updated cache            : 32981       (0.02       lits/tried recurMin)
57346.88/1794.86	c unit cls recevied        : 193         (11.77     % of units)
57346.88/1794.86	c unit cls sent            : 28          (1.71      % of units)
57346.88/1794.86	c bin cls recevied         : 47641      
57346.88/1794.86	c bin cls sent             : 1054       
57346.88/1794.86	c clauses over max glue    : 0           (0.00      % of all clauses)
57346.88/1794.86	c conflicts                : 3299255     (1840.47   / sec)
57346.88/1794.86	c decisions                : 4646979     (5.64      % random)
57346.88/1794.86	c bogo-props               : 148387573353 (82777088.69 / sec)
57346.88/1794.86	c conflict literals        : 166148224   (55.66     % deleted)
57346.88/1794.86	c Memory used              : 5900.64     MB
57346.88/1794.86	c single-thread CPU time   : 1792.62     s
57346.88/1794.86	c all-threads sum CPU time : 57309.59    s
57346.88/1794.86	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-3400620-1306240774/watcher-3400620-1306240774 -o /tmp/evaluation-result-3400620-1306240774/solver-3400620-1306240774 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400620-1306240774.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: 32.15 31.99 31.87 1/413 8303
/proc/meminfo: memFree=255157608/264257624 swapFree=67111528/67111528
[pid=8303] ppid=8301 vsize=731296 CPUtime=0.64 cores=0-31
/proc/8303/stat : 8303 (strangenight2-m) S 8301 8303 8217 0 -1 4202496 1157 0 0 0 62 2 0 0 25 0 32 0 735563816 748847104 1024 268435456000 4194304 4580107 140734352527056 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/8303/statm: 182824 1032 315 95 0 177806 0
[pid=8303/tid=8304] ppid=8301 vsize=796836 CPUtime=0.02 cores=0-31
/proc/8303/task/8304/stat : 8304 (strangenight2-m) D 8301 8303 8217 0 -1 4202560 37 0 0 0 2 0 0 0 18 0 32 0 735563817 815960064 1043 268435456000 4194304 4580107 140734352527056 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8303/tid=8305] ppid=8301 vsize=796836 CPUtime=0.02 cores=0-31
/proc/8303/task/8305/stat : 8305 (strangenight2-m) D 8301 8303 8217 0 -1 4202560 13 0 0 0 2 0 0 0 25 0 32 0 735563817 815960064 1043 268435456000 4194304 4580107 140734352527056 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8303/tid=8306] ppid=8301 vsize=796836 CPUtime=0.02 cores=0-31
/proc/8303/task/8306/stat : 8306 (strangenight2-m) D 8301 8303 8217 0 -1 4202560 8 0 0 0 2 0 0 0 18 0 32 0 735563817 815960064 1058 268435456000 4194304 4580107 140734352527056 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8303/tid=8307] ppid=8301 vsize=796836 CPUtime=0.01 cores=0-31
/proc/8303/task/8307/stat : 8307 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 8 0 0 0 1 0 0 0 25 0 32 0 735563817 815960064 1065 268435456000 4194304 4580107 140734352527056 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=8303/tid=8308] ppid=8301 vsize=731300 CPUtime=0.02 cores=0-31
/proc/8303/task/8308/stat : 8308 (strangenight2-m) D 8301 8303 8217 0 -1 4202560 48 0 0 0 2 0 0 0 18 0 32 0 735563817 748851200 1065 268435456000 4194304 4580107 140734352527056 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=8303/tid=8309] ppid=8301 vsize=731440 CPUtime=0.02 cores=0-31
/proc/8303/task/8309/stat : 8309 (strangenight2-m) D 8301 8303 8217 0 -1 4202560 13 0 0 0 2 0 0 0 18 0 32 0 735563817 748994560 1069 268435456000 4194304 4580107 140734352527056 18446744073709551615 4514559 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=8303/tid=8310] ppid=8301 vsize=731440 CPUtime=0.02 cores=0-31
/proc/8303/task/8310/stat : 8310 (strangenight2-m) D 8301 8303 8217 0 -1 4202560 31 0 0 0 2 0 0 0 18 0 32 0 735563817 748994560 1077 268435456000 4194304 4580107 140734352527056 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8303/tid=8311] ppid=8301 vsize=731444 CPUtime=0.02 cores=0-31
/proc/8303/task/8311/stat : 8311 (strangenight2-m) D 8301 8303 8217 0 -1 4202560 32 0 0 0 2 0 0 0 25 0 32 0 735563817 748998656 1090 268435456000 4194304 4580107 140734352527056 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8303/tid=8312] ppid=8301 vsize=862516 CPUtime=0.02 cores=0-31
/proc/8303/task/8312/stat : 8312 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 20 0 0 0 2 0 0 0 18 0 32 0 735563817 883216384 1095 268435456000 4194304 4580107 140734352527056 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8303/tid=8313] ppid=8301 vsize=862516 CPUtime=0.02 cores=0-31
/proc/8303/task/8313/stat : 8313 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 6 0 0 0 2 0 0 0 25 0 32 0 735563817 883216384 1103 268435456000 4194304 4580107 140734352527056 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8303/tid=8314] ppid=8301 vsize=862516 CPUtime=0.02 cores=0-31
/proc/8303/task/8314/stat : 8314 (strangenight2-m) D 8301 8303 8217 0 -1 4202560 37 0 0 0 2 0 0 0 18 0 32 0 735563817 883216384 1103 268435456000 4194304 4580107 140734352527056 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=8303/tid=8315] ppid=8301 vsize=862516 CPUtime=0.02 cores=0-31
/proc/8303/task/8315/stat : 8315 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 26 0 0 0 2 0 0 0 18 0 32 0 735563817 883216384 1110 268435456000 4194304 4580107 140734352527056 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=8303/tid=8316] ppid=8301 vsize=862528 CPUtime=0.02 cores=0-31
/proc/8303/task/8316/stat : 8316 (strangenight2-m) D 8301 8303 8217 0 -1 4202560 13 0 0 0 2 0 0 0 25 0 32 0 735563817 883228672 1113 268435456000 4194304 4580107 140734352527056 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8303/tid=8317] ppid=8301 vsize=797016 CPUtime=0.02 cores=0-31
/proc/8303/task/8317/stat : 8317 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 4 0 0 0 2 0 0 0 18 0 32 0 735563817 816144384 1114 268435456000 4194304 4580107 140734352527056 18446744073709551615 258650999159 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=8303/tid=8318] ppid=8301 vsize=797016 CPUtime=0.02 cores=0-31
/proc/8303/task/8318/stat : 8318 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 10 0 0 0 2 0 0 0 25 0 32 0 735563817 816144384 1126 268435456000 4194304 4580107 140734352527056 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=8303/tid=8319] ppid=8301 vsize=797016 CPUtime=0.02 cores=0-31
/proc/8303/task/8319/stat : 8319 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 9 0 0 0 2 0 0 0 25 0 32 0 735563817 816144384 1141 268435456000 4194304 4580107 140734352527056 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=8303/tid=8320] ppid=8301 vsize=797016 CPUtime=0.02 cores=0-31
/proc/8303/task/8320/stat : 8320 (strangenight2-m) D 8301 8303 8217 0 -1 4202560 12 0 0 0 2 0 0 0 25 0 32 0 735563817 816144384 1141 268435456000 4194304 4580107 140734352527056 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=8303/tid=8321] ppid=8301 vsize=796996 CPUtime=0.02 cores=0-31
/proc/8303/task/8321/stat : 8321 (strangenight2-m) D 8301 8303 8217 0 -1 4202560 21 0 0 0 2 0 0 0 25 0 32 0 735563817 816123904 1143 268435456000 4194304 4580107 140734352527056 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=8303/tid=8322] ppid=8301 vsize=796996 CPUtime=0.02 cores=0-31
/proc/8303/task/8322/stat : 8322 (strangenight2-m) D 8301 8303 8217 0 -1 4202560 24 0 0 0 2 0 0 0 25 0 32 0 735563817 816123904 1150 268435456000 4194304 4580107 140734352527056 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=8303/tid=8323] ppid=8301 vsize=796996 CPUtime=0.01 cores=0-31
/proc/8303/task/8323/stat : 8323 (strangenight2-m) D 8301 8303 8217 0 -1 4202560 10 0 0 0 1 0 0 0 25 0 32 0 735563817 816123904 1150 268435456000 4194304 4580107 140734352527056 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=8303/tid=8324] ppid=8301 vsize=797000 CPUtime=0 cores=0-31
/proc/8303/task/8324/stat : 8324 (strangenight2-m) D 8301 8303 8217 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 32 0 735563817 816128000 1166 268435456000 4194304 4580107 140734352527056 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=8303/tid=8325] ppid=8301 vsize=797000 CPUtime=0.02 cores=0-31
/proc/8303/task/8325/stat : 8325 (strangenight2-m) D 8301 8303 8217 0 -1 4202560 32 0 0 0 2 0 0 0 18 0 32 0 735563817 816128000 1168 268435456000 4194304 4580107 140734352527056 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=8303/tid=8326] ppid=8301 vsize=797000 CPUtime=0.01 cores=0-31
/proc/8303/task/8326/stat : 8326 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 23 0 0 0 1 0 0 0 25 0 32 0 735563817 816128000 1185 268435456000 4194304 4580107 140734352527056 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=8303/tid=8327] ppid=8301 vsize=797000 CPUtime=0.01 cores=0-31
/proc/8303/task/8327/stat : 8327 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 82 0 0 0 1 0 0 0 18 0 32 0 735563817 816128000 1214 268435456000 4194304 4580107 140734352527056 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=8303/tid=8328] ppid=8301 vsize=797000 CPUtime=0.01 cores=0-31
/proc/8303/task/8328/stat : 8328 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 44 0 0 0 1 0 0 0 18 0 32 0 735563817 816128000 1232 268435456000 4194304 4580107 140734352527056 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=8303/tid=8329] ppid=8301 vsize=797004 CPUtime=0.01 cores=0-31
/proc/8303/task/8329/stat : 8329 (strangenight2-m) D 8301 8303 8217 0 -1 4202560 102 0 0 0 1 0 0 0 18 0 32 0 735563817 816132096 1233 268435456000 4194304 4580107 140734352527056 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=8303/tid=8330] ppid=8301 vsize=797004 CPUtime=0 cores=0-31
/proc/8303/task/8330/stat : 8330 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 14 0 0 0 0 0 0 0 25 0 32 0 735563817 816132096 1252 268435456000 4194304 4580107 140734352527056 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=8303/tid=8331] ppid=8301 vsize=797004 CPUtime=0 cores=0-31
/proc/8303/task/8331/stat : 8331 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 57 0 0 0 0 0 0 0 18 0 32 0 735563817 816132096 1303 268435456000 4194304 4580107 140734352527056 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=8303/tid=8332] ppid=8301 vsize=797004 CPUtime=0.01 cores=0-31
/proc/8303/task/8332/stat : 8332 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 7 0 0 0 1 0 0 0 25 0 32 0 735563817 816132096 1378 268435456000 4194304 4580107 140734352527056 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=8303/tid=8333] ppid=8301 vsize=797004 CPUtime=0.01 cores=0-31
/proc/8303/task/8333/stat : 8333 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 8 0 0 0 1 0 0 0 25 0 32 0 735563817 816132096 1408 268435456000 4194304 4580107 140734352527056 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=8303/tid=8334] ppid=8301 vsize=797004 CPUtime=0.01 cores=0-31
/proc/8303/task/8334/stat : 8334 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 88 0 0 0 1 0 0 0 18 0 32 0 735563817 816132096 1409 268435456000 4194304 4580107 140734352527056 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0

[startup+0.115056 s]
/proc/loadavg: 32.15 31.99 31.87 1/413 8303
/proc/meminfo: memFree=255157608/264257624 swapFree=67111528/67111528
[pid=8303] ppid=8301 vsize=1137784 CPUtime=1.51 cores=0-31
/proc/8303/stat : 8303 (strangenight2-m) D 8301 8303 8217 0 -1 4202496 12775 0 0 0 71 80 0 0 17 0 32 0 735563816 1165090816 11678 268435456000 4194304 4580107 140734352527056 18446744073709551615 258650999207 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/8303/statm: 284446 11688 331 95 0 279428 0
[pid=8303/tid=8304] ppid=8301 vsize=1137784 CPUtime=0.03 cores=0-31
/proc/8303/task/8304/stat : 8304 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 153 0 0 0 2 1 0 0 17 0 32 0 735563817 1165090816 11705 268435456000 4194304 4580107 140734352527056 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8303/tid=8305] ppid=8301 vsize=1137784 CPUtime=0.04 cores=0-31
/proc/8303/task/8305/stat : 8305 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 359 0 0 0 2 2 0 0 17 0 32 0 735563817 1165090816 11749 268435456000 4194304 4580107 140734352527056 18446744073709551615 258650653097 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8303/tid=8306] ppid=8301 vsize=1137784 CPUtime=0.02 cores=0-31
/proc/8303/task/8306/stat : 8306 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 138 0 0 0 2 0 0 0 17 0 32 0 735563817 1165090816 11789 268435456000 4194304 4580107 140734352527056 18446744073709551615 258651060958 0 0 4096 2 18446604475475500512 0 0 -1 4 0 0 0
[pid=8303/tid=8307] ppid=8301 vsize=1137784 CPUtime=0.04 cores=0-31
/proc/8303/task/8307/stat : 8307 (strangenight2-m) D 8301 8303 8217 0 -1 4202560 590 0 0 0 2 2 0 0 18 0 32 0 735563817 1165090816 11804 268435456000 4194304 4580107 140734352527056 18446744073709551615 258650999159 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8303/tid=8308] ppid=8301 vsize=1137784 CPUtime=0.04 cores=0-31
/proc/8303/task/8308/stat : 8308 (strangenight2-m) D 8301 8303 8217 0 -1 4202560 509 0 0 0 2 2 0 0 17 0 32 0 735563817 1165090816 11739 268435456000 4194304 4580107 140734352527056 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=8303/tid=8309] ppid=8301 vsize=1137524 CPUtime=0.05 cores=0-31
/proc/8303/task/8309/stat : 8309 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 660 0 0 0 2 3 0 0 18 0 32 0 735563817 1164824576 11745 268435456000 4194304 4580107 140734352527056 18446744073709551615 258650653097 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=8303/tid=8310] ppid=8301 vsize=1137524 CPUtime=0.03 cores=0-31
/proc/8303/task/8310/stat : 8310 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 214 0 0 0 2 1 0 0 17 0 32 0 735563817 1164824576 11755 268435456000 4194304 4580107 140734352527056 18446744073709551615 4307681 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8303/tid=8311] ppid=8301 vsize=1137524 CPUtime=0.04 cores=0-31
/proc/8303/task/8311/stat : 8311 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 241 0 0 0 2 2 0 0 17 0 32 0 735563817 1164824576 11758 268435456000 4194304 4580107 140734352527056 18446744073709551615 258650653015 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8303/tid=8312] ppid=8301 vsize=1137524 CPUtime=0.04 cores=0-31
/proc/8303/task/8312/stat : 8312 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 306 0 0 0 2 2 0 0 17 0 32 0 735563817 1164824576 11770 268435456000 4194304 4580107 140734352527056 18446744073709551615 4310274 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8303/tid=8313] ppid=8301 vsize=1137524 CPUtime=0.04 cores=0-31
/proc/8303/task/8313/stat : 8313 (strangenight2-m) D 8301 8303 8217 0 -1 4202560 477 0 0 0 2 2 0 0 17 0 32 0 735563817 1164824576 11770 268435456000 4194304 4580107 140734352527056 18446744073709551615 4306901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8303/tid=8314] ppid=8301 vsize=1137524 CPUtime=0.04 cores=0-31
/proc/8303/task/8314/stat : 8314 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 478 0 0 0 2 2 0 0 17 0 32 0 735563817 1164824576 11782 268435456000 4194304 4580107 140734352527056 18446744073709551615 258651060958 0 0 4096 2 18446744071566927144 0 0 -1 9 0 0 0
[pid=8303/tid=8315] ppid=8301 vsize=1137524 CPUtime=0.03 cores=0-31
/proc/8303/task/8315/stat : 8315 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 143 0 0 0 2 1 0 0 17 0 32 0 735563817 1164824576 11806 268435456000 4194304 4580107 140734352527056 18446744073709551615 258651060958 0 0 4096 2 18446604479136300512 0 0 -1 10 0 0 0
[pid=8303/tid=8316] ppid=8301 vsize=1137524 CPUtime=0.05 cores=0-31
/proc/8303/task/8316/stat : 8316 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 668 0 0 0 2 3 0 0 18 0 32 0 735563817 1164824576 11809 268435456000 4194304 4580107 140734352527056 18446744073709551615 4345288 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8303/tid=8317] ppid=8301 vsize=1138040 CPUtime=0.03 cores=0-31
/proc/8303/task/8317/stat : 8317 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 230 0 0 0 2 1 0 0 17 0 32 0 735563817 1165352960 11812 268435456000 4194304 4580107 140734352527056 18446744073709551615 258651060958 0 0 4096 2 18446604504778980832 0 0 -1 13 0 0 0
[pid=8303/tid=8318] ppid=8301 vsize=1138040 CPUtime=0.05 cores=0-31
/proc/8303/task/8318/stat : 8318 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 609 0 0 0 2 3 0 0 18 0 32 0 735563817 1165352960 11828 268435456000 4194304 4580107 140734352527056 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=8303/tid=8319] ppid=8301 vsize=1138040 CPUtime=0.03 cores=0-31
/proc/8303/task/8319/stat : 8319 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 194 0 0 0 2 1 0 0 17 0 32 0 735563817 1165352960 11845 268435456000 4194304 4580107 140734352527056 18446744073709551615 258651060958 0 0 4096 2 18446604505946684896 0 0 -1 11 0 0 0
[pid=8303/tid=8320] ppid=8301 vsize=1138040 CPUtime=0.03 cores=0-31
/proc/8303/task/8320/stat : 8320 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 123 0 0 0 2 1 0 0 17 0 32 0 735563817 1165352960 11845 268435456000 4194304 4580107 140734352527056 18446744073709551615 258651060958 0 0 4096 2 18446604481882676704 0 0 -1 17 0 0 0
[pid=8303/tid=8321] ppid=8301 vsize=1138040 CPUtime=0.05 cores=0-31
/proc/8303/task/8321/stat : 8321 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 443 0 0 0 2 3 0 0 17 0 32 0 735563817 1165352960 11846 268435456000 4194304 4580107 140734352527056 18446744073709551615 258651060958 0 0 4096 2 18446604504617876960 0 0 -1 18 0 0 0
[pid=8303/tid=8322] ppid=8301 vsize=1138040 CPUtime=0.03 cores=0-31
/proc/8303/task/8322/stat : 8322 (strangenight2-m) D 8301 8303 8217 0 -1 4202560 269 0 0 0 2 1 0 0 17 0 32 0 735563817 1165352960 11852 268435456000 4194304 4580107 140734352527056 18446744073709551615 4349556 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=8303/tid=8323] ppid=8301 vsize=1138040 CPUtime=0.03 cores=0-31
/proc/8303/task/8323/stat : 8323 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 153 0 0 0 2 1 0 0 17 0 32 0 735563817 1165352960 11870 268435456000 4194304 4580107 140734352527056 18446744073709551615 4307681 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=8303/tid=8324] ppid=8301 vsize=1138040 CPUtime=0.01 cores=0-31
/proc/8303/task/8324/stat : 8324 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 144 0 0 0 0 1 0 0 17 0 32 0 735563817 1165352960 11897 268435456000 4194304 4580107 140734352527056 18446744073709551615 4344560 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=8303/tid=8325] ppid=8301 vsize=1138040 CPUtime=0.05 cores=0-31
/proc/8303/task/8325/stat : 8325 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 612 0 0 0 2 3 0 0 17 0 32 0 735563817 1165352960 11948 268435456000 4194304 4580107 140734352527056 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=8303/tid=8326] ppid=8301 vsize=1138040 CPUtime=0.05 cores=0-31
/proc/8303/task/8326/stat : 8326 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 454 0 0 0 2 3 0 0 17 0 32 0 735563817 1165352960 11988 268435456000 4194304 4580107 140734352527056 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=8303/tid=8327] ppid=8301 vsize=1138040 CPUtime=0.04 cores=0-31
/proc/8303/task/8327/stat : 8327 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 480 0 0 0 2 2 0 0 17 0 32 0 735563817 1165352960 12045 268435456000 4194304 4580107 140734352527056 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=8303/tid=8328] ppid=8301 vsize=1138040 CPUtime=0.05 cores=0-31
/proc/8303/task/8328/stat : 8328 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 460 0 0 0 2 3 0 0 17 0 32 0 735563817 1165352960 12068 268435456000 4194304 4580107 140734352527056 18446744073709551615 258651060958 0 0 4096 2 18446744071566929344 0 0 -1 30 0 0 0
[pid=8303/tid=8329] ppid=8301 vsize=1138040 CPUtime=0.04 cores=0-31
/proc/8303/task/8329/stat : 8329 (strangenight2-m) D 8301 8303 8217 0 -1 4202560 620 0 0 0 1 3 0 0 17 0 32 0 735563817 1165352960 12068 268435456000 4194304 4580107 140734352527056 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=8303/tid=8330] ppid=8301 vsize=1138040 CPUtime=0.04 cores=0-31
/proc/8303/task/8330/stat : 8330 (strangenight2-m) D 8301 8303 8217 0 -1 4202560 471 0 0 0 1 3 0 0 17 0 32 0 735563817 1165352960 12074 268435456000 4194304 4580107 140734352527056 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=8303/tid=8331] ppid=8301 vsize=1138040 CPUtime=0.02 cores=0-31
/proc/8303/task/8331/stat : 8331 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 526 0 0 0 0 2 0 0 17 0 32 0 735563817 1165352960 12011 268435456000 4194304 4580107 140734352527056 18446744073709551615 258651060958 0 0 4096 2 18446604474629422560 0 0 -1 28 0 0 0
[pid=8303/tid=8332] ppid=8301 vsize=1137780 CPUtime=0.05 cores=0-31
/proc/8303/task/8332/stat : 8332 (strangenight2-m) D 8301 8303 8217 0 -1 4202560 676 0 0 0 2 3 0 0 18 0 32 0 735563817 1165086720 12015 268435456000 4194304 4580107 140734352527056 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=8303/tid=8333] ppid=8301 vsize=1137780 CPUtime=0.04 cores=0-31
/proc/8303/task/8333/stat : 8333 (strangenight2-m) D 8301 8303 8217 0 -1 4202560 447 0 0 0 2 2 0 0 17 0 32 0 735563817 1165086720 12017 268435456000 4194304 4580107 140734352527056 18446744073709551615 258650653299 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=8303/tid=8334] ppid=8301 vsize=1137780 CPUtime=0.04 cores=0-31
/proc/8303/task/8334/stat : 8334 (strangenight2-m) D 8301 8303 8217 0 -1 4202560 544 0 0 0 2 2 0 0 17 0 32 0 735563817 1165086720 12018 268435456000 4194304 4580107 140734352527056 18446744073709551615 258650653120 0 0 4096 2 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 1137784

[startup+0.204539 s]
/proc/loadavg: 32.15 31.99 31.87 1/413 8303
/proc/meminfo: memFree=255157608/264257624 swapFree=67111528/67111528
[pid=8303] ppid=8301 vsize=1426688 CPUtime=3.38 cores=0-31
/proc/8303/stat : 8303 (strangenight2-m) R 8301 8303 8217 0 -1 4202496 25735 0 0 0 115 223 0 0 17 0 32 0 735563816 1460928512 23347 268435456000 4194304 4580107 140734352527056 18446744073709551615 258651061007 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/8303/statm: 356672 23381 336 95 0 351654 0
[pid=8303/tid=8304] ppid=8301 vsize=1426688 CPUtime=0.09 cores=0-31
/proc/8303/task/8304/stat : 8304 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 637 0 0 0 3 6 0 0 17 0 32 0 735563817 1460928512 23403 268435456000 4194304 4580107 140734352527056 18446744073709551615 258651060958 0 0 4096 2 18446744071566928704 0 0 -1 1 0 0 0
[pid=8303/tid=8305] ppid=8301 vsize=1426688 CPUtime=0.1 cores=0-31
/proc/8303/task/8305/stat : 8305 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 810 0 0 0 3 7 0 0 17 0 32 0 735563817 1460928512 23406 268435456000 4194304 4580107 140734352527056 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8303/tid=8306] ppid=8301 vsize=1426688 CPUtime=0.07 cores=0-31
/proc/8303/task/8306/stat : 8306 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 497 0 0 0 3 4 0 0 17 0 32 0 735563817 1460928512 23412 268435456000 4194304 4580107 140734352527056 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8303/tid=8307] ppid=8301 vsize=1426688 CPUtime=0.1 cores=0-31
/proc/8303/task/8307/stat : 8307 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 812 0 0 0 4 6 0 0 17 0 32 0 735563817 1460928512 23421 268435456000 4194304 4580107 140734352527056 18446744073709551615 258651060958 0 0 4096 2 18446744071566933104 0 0 -1 16 0 0 0
[pid=8303/tid=8308] ppid=8301 vsize=1426688 CPUtime=0.1 cores=0-31
/proc/8303/task/8308/stat : 8308 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 942 0 0 0 3 7 0 0 17 0 32 0 735563817 1460928512 23437 268435456000 4194304 4580107 140734352527056 18446744073709551615 258651060958 0 0 4096 2 18446744071566925944 0 0 -1 12 0 0 0
[pid=8303/tid=8309] ppid=8301 vsize=1426688 CPUtime=0.11 cores=0-31
/proc/8303/task/8309/stat : 8309 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 949 0 0 0 4 7 0 0 17 0 32 0 735563817 1460928512 23445 268435456000 4194304 4580107 140734352527056 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=8303/tid=8310] ppid=8301 vsize=1426688 CPUtime=0.09 cores=0-31
/proc/8303/task/8310/stat : 8310 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 726 0 0 0 3 6 0 0 17 0 32 0 735563817 1460928512 23485 268435456000 4194304 4580107 140734352527056 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8303/tid=8311] ppid=8301 vsize=1426688 CPUtime=0.11 cores=0-31
/proc/8303/task/8311/stat : 8311 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 861 0 0 0 4 7 0 0 17 0 32 0 735563817 1460928512 23492 268435456000 4194304 4580107 140734352527056 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8303/tid=8312] ppid=8301 vsize=1426688 CPUtime=0.11 cores=0-31
/proc/8303/task/8312/stat : 8312 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 702 0 0 0 4 7 0 0 17 0 32 0 735563817 1460928512 23526 268435456000 4194304 4580107 140734352527056 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8303/tid=8313] ppid=8301 vsize=1426688 CPUtime=0.11 cores=0-31
/proc/8303/task/8313/stat : 8313 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 947 0 0 0 3 8 0 0 17 0 32 0 735563817 1460928512 23538 268435456000 4194304 4580107 140734352527056 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8303/tid=8314] ppid=8301 vsize=1426688 CPUtime=0.12 cores=0-31
/proc/8303/task/8314/stat : 8314 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 970 0 0 0 4 8 0 0 17 0 32 0 735563817 1460928512 23545 268435456000 4194304 4580107 140734352527056 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=8303/tid=8315] ppid=8301 vsize=1426688 CPUtime=0.08 cores=0-31
/proc/8303/task/8315/stat : 8315 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 532 0 0 0 3 5 0 0 17 0 32 0 735563817 1460928512 23552 268435456000 4194304 4580107 140734352527056 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=8303/tid=8316] ppid=8301 vsize=1426688 CPUtime=0.11 cores=0-31
/proc/8303/task/8316/stat : 8316 (strangenight2-m) D 8301 8303 8217 0 -1 4202560 909 0 0 0 3 8 0 0 17 0 32 0 735563817 1460928512 23576 268435456000 4194304 4580107 140734352527056 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8303/tid=8317] ppid=8301 vsize=1426688 CPUtime=0.1 cores=0-31
/proc/8303/task/8317/stat : 8317 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 766 0 0 0 4 6 0 0 17 0 32 0 735563817 1460928512 23578 268435456000 4194304 4580107 140734352527056 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=8303/tid=8318] ppid=8301 vsize=1426688 CPUtime=0.12 cores=0-31
/proc/8303/task/8318/stat : 8318 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 826 0 0 0 3 9 0 0 17 0 32 0 735563817 1460928512 23603 268435456000 4194304 4580107 140734352527056 18446744073709551615 258651060958 0 0 4096 2 18446604505360809440 0 0 -1 14 0 0 0
[pid=8303/tid=8319] ppid=8301 vsize=1426688 CPUtime=0.1 cores=0-31
/proc/8303/task/8319/stat : 8319 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 726 0 0 0 3 7 0 0 17 0 32 0 735563817 1460928512 23604 268435456000 4194304 4580107 140734352527056 18446744073709551615 258651060958 0 0 4096 2 18446604506026458592 0 0 -1 11 0 0 0
[pid=8303/tid=8320] ppid=8301 vsize=1426688 CPUtime=0.08 cores=0-31

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

[pid=8303/tid=8333] ppid=8301 vsize=6042256 CPUtime=1792.71 cores=0-31
/proc/8303/task/8333/stat : 8333 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 192619 0 0 0 179133 138 0 0 25 0 32 0 735563817 6187270144 985535 268435456000 4194304 4580107 140734352527056 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=8303/tid=8334] ppid=8301 vsize=6042256 CPUtime=1790.56 cores=0-31
/proc/8303/task/8334/stat : 8334 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 34439 0 0 0 179022 34 0 0 25 0 32 0 735563817 6187270144 985535 268435456000 4194304 4580107 140734352527056 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 57315.8
Current children cumulated vsize (KiB) 6042256

[startup+1794.4 s]
/proc/loadavg: 32.04 32.05 32.00 33/445 8392
/proc/meminfo: memFree=251222784/264257624 swapFree=67111528/67111528
[pid=8303] ppid=8301 vsize=6042256 CPUtime=57341.4 cores=0-31
/proc/8303/stat : 8303 (strangenight2-m) R 8301 8303 8217 0 -1 4202496 5240112 0 0 0 5730395 3742 0 0 25 0 32 0 735563816 6187270144 986909 268435456000 4194304 4580107 140734352527056 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/8303/statm: 1510564 986909 379 95 0 1505546 0
[pid=8303/tid=8304] ppid=8301 vsize=6042256 CPUtime=1793.47 cores=0-31
/proc/8303/task/8304/stat : 8304 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 155894 0 0 0 179236 111 0 0 25 0 32 0 735563817 6187270144 986909 268435456000 4194304 4580107 140734352527056 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=8303/tid=8305] ppid=8301 vsize=6042256 CPUtime=1793.49 cores=0-31
/proc/8303/task/8305/stat : 8305 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 174079 0 0 0 179220 129 0 0 25 0 32 0 735563817 6187270144 986909 268435456000 4194304 4580107 140734352527056 18446744073709551615 4321048 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8303/tid=8306] ppid=8301 vsize=6042256 CPUtime=1793.5 cores=0-31
/proc/8303/task/8306/stat : 8306 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 149607 0 0 0 179247 103 0 0 25 0 32 0 735563817 6187270144 986910 268435456000 4194304 4580107 140734352527056 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=8303/tid=8307] ppid=8301 vsize=6042256 CPUtime=1793.58 cores=0-31
/proc/8303/task/8307/stat : 8307 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 199191 0 0 0 179233 125 0 0 25 0 32 0 735563817 6187270144 986910 268435456000 4194304 4580107 140734352527056 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=8303/tid=8308] ppid=8301 vsize=6042256 CPUtime=1793.54 cores=0-31
/proc/8303/task/8308/stat : 8308 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 115531 0 0 0 179269 85 0 0 25 0 32 0 735563817 6187270144 986910 268435456000 4194304 4580107 140734352527056 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8303/tid=8309] ppid=8301 vsize=6042256 CPUtime=1793.61 cores=0-31
/proc/8303/task/8309/stat : 8309 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 194354 0 0 0 179248 113 0 0 25 0 32 0 735563817 6187270144 986910 268435456000 4194304 4580107 140734352527056 18446744073709551615 4317395 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=8303/tid=8310] ppid=8301 vsize=6042256 CPUtime=1793.49 cores=0-31
/proc/8303/task/8310/stat : 8310 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 160644 0 0 0 179244 105 0 0 25 0 32 0 735563817 6187270144 986910 268435456000 4194304 4580107 140734352527056 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8303/tid=8311] ppid=8301 vsize=6042256 CPUtime=1793.52 cores=0-31
/proc/8303/task/8311/stat : 8311 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 168832 0 0 0 179233 119 0 0 25 0 32 0 735563817 6187270144 986910 268435456000 4194304 4580107 140734352527056 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=8303/tid=8312] ppid=8301 vsize=6042256 CPUtime=1793.54 cores=0-31
/proc/8303/task/8312/stat : 8312 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 152182 0 0 0 179249 105 0 0 25 0 32 0 735563817 6187270144 986911 268435456000 4194304 4580107 140734352527056 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8303/tid=8313] ppid=8301 vsize=6042256 CPUtime=1783.79 cores=0-31
/proc/8303/task/8313/stat : 8313 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 180828 0 0 0 178240 139 0 0 25 0 32 0 735563817 6187270144 986911 268435456000 4194304 4580107 140734352527056 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=8303/tid=8314] ppid=8301 vsize=6042256 CPUtime=1793.52 cores=0-31
/proc/8303/task/8314/stat : 8314 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 189111 0 0 0 179223 129 0 0 25 0 32 0 735563817 6187270144 986911 268435456000 4194304 4580107 140734352527056 18446744073709551615 4316428 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=8303/tid=8315] ppid=8301 vsize=6042256 CPUtime=1793.45 cores=0-31
/proc/8303/task/8315/stat : 8315 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 185869 0 0 0 179211 134 0 0 25 0 32 0 735563817 6187270144 986911 268435456000 4194304 4580107 140734352527056 18446744073709551615 4294360 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=8303/tid=8316] ppid=8301 vsize=6042256 CPUtime=1793.04 cores=0-31
/proc/8303/task/8316/stat : 8316 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 163042 0 0 0 179183 121 0 0 25 0 32 0 735563817 6187270144 986911 268435456000 4194304 4580107 140734352527056 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=8303/tid=8317] ppid=8301 vsize=6042256 CPUtime=1793.56 cores=0-31
/proc/8303/task/8317/stat : 8317 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 146111 0 0 0 179250 106 0 0 25 0 32 0 735563817 6187270144 986911 268435456000 4194304 4580107 140734352527056 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=8303/tid=8318] ppid=8301 vsize=6042256 CPUtime=1793.54 cores=0-31
/proc/8303/task/8318/stat : 8318 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 134975 0 0 0 179246 108 0 0 25 0 32 0 735563817 6187270144 986912 268435456000 4194304 4580107 140734352527056 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=8303/tid=8319] ppid=8301 vsize=6042256 CPUtime=1760.94 cores=0-31
/proc/8303/task/8319/stat : 8319 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 174281 0 0 0 175961 133 0 0 25 0 32 0 735563817 6187270144 986912 268435456000 4194304 4580107 140734352527056 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=8303/tid=8320] ppid=8301 vsize=6042256 CPUtime=1793.5 cores=0-31
/proc/8303/task/8320/stat : 8320 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 147125 0 0 0 179242 108 0 0 25 0 32 0 735563817 6187270144 986912 268435456000 4194304 4580107 140734352527056 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=8303/tid=8321] ppid=8301 vsize=6042256 CPUtime=1793.53 cores=0-31
/proc/8303/task/8321/stat : 8321 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 168661 0 0 0 179222 131 0 0 25 0 32 0 735563817 6187270144 986912 268435456000 4194304 4580107 140734352527056 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=8303/tid=8322] ppid=8301 vsize=6042256 CPUtime=1792.3 cores=0-31
/proc/8303/task/8322/stat : 8322 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 136398 0 0 0 179133 97 0 0 25 0 32 0 735563817 6187270144 986912 268435456000 4194304 4580107 140734352527056 18446744073709551615 4294144 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=8303/tid=8323] ppid=8301 vsize=6042256 CPUtime=1793.52 cores=0-31
/proc/8303/task/8323/stat : 8323 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 185349 0 0 0 179232 120 0 0 25 0 32 0 735563817 6187270144 986912 268435456000 4194304 4580107 140734352527056 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=8303/tid=8324] ppid=8301 vsize=6042256 CPUtime=1789.21 cores=0-31
/proc/8303/task/8324/stat : 8324 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 164205 0 0 0 178813 108 0 0 25 0 32 0 735563817 6187270144 986912 268435456000 4194304 4580107 140734352527056 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8303/tid=8325] ppid=8301 vsize=6042256 CPUtime=1793.58 cores=0-31
/proc/8303/task/8325/stat : 8325 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 178051 0 0 0 179236 122 0 0 25 0 32 0 735563817 6187270144 986913 268435456000 4194304 4580107 140734352527056 18446744073709551615 4304864 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=8303/tid=8326] ppid=8301 vsize=6042256 CPUtime=1793.59 cores=0-31
/proc/8303/task/8326/stat : 8326 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 133552 0 0 0 179253 106 0 0 25 0 32 0 735563817 6187270144 986913 268435456000 4194304 4580107 140734352527056 18446744073709551615 4487400 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=8303/tid=8327] ppid=8301 vsize=6042256 CPUtime=1793.52 cores=0-31
/proc/8303/task/8327/stat : 8327 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 187572 0 0 0 179215 137 0 0 25 0 32 0 735563817 6187270144 986913 268435456000 4194304 4580107 140734352527056 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=8303/tid=8328] ppid=8301 vsize=6042256 CPUtime=1793.6 cores=0-31
/proc/8303/task/8328/stat : 8328 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 160372 0 0 0 179236 124 0 0 25 0 32 0 735563817 6187270144 986913 268435456000 4194304 4580107 140734352527056 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=8303/tid=8329] ppid=8301 vsize=6042256 CPUtime=1793.61 cores=0-31
/proc/8303/task/8329/stat : 8329 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 171246 0 0 0 179249 112 0 0 25 0 32 0 735563817 6187270144 986913 268435456000 4194304 4580107 140734352527056 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=8303/tid=8330] ppid=8301 vsize=6042256 CPUtime=1793.48 cores=0-31
/proc/8303/task/8330/stat : 8330 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 168553 0 0 0 179230 118 0 0 25 0 32 0 735563817 6187270144 986913 268435456000 4194304 4580107 140734352527056 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8303/tid=8331] ppid=8301 vsize=6042256 CPUtime=1793.51 cores=0-31
/proc/8303/task/8331/stat : 8331 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 181317 0 0 0 179220 131 0 0 25 0 32 0 735563817 6187270144 986914 268435456000 4194304 4580107 140734352527056 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=8303/tid=8332] ppid=8301 vsize=6042256 CPUtime=1792.17 cores=0-31
/proc/8303/task/8332/stat : 8332 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 193142 0 0 0 179071 146 0 0 25 0 32 0 735563817 6187270144 986914 268435456000 4194304 4580107 140734352527056 18446744073709551615 4294743 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8303/tid=8333] ppid=8301 vsize=6042256 CPUtime=1793.51 cores=0-31
/proc/8303/task/8333/stat : 8333 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 192619 0 0 0 179213 138 0 0 25 0 32 0 735563817 6187270144 986914 268435456000 4194304 4580107 140734352527056 18446744073709551615 4318494 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=8303/tid=8334] ppid=8301 vsize=6042256 CPUtime=1791.36 cores=0-31
/proc/8303/task/8334/stat : 8334 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 34439 0 0 0 179102 34 0 0 25 0 32 0 735563817 6187270144 986914 268435456000 4194304 4580107 140734352527056 18446744073709551615 4317025 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 57341.4
Current children cumulated vsize (KiB) 6042256

[startup+1794.8 s]
/proc/loadavg: 32.04 32.05 32.00 33/445 8392
/proc/meminfo: memFree=251222784/264257624 swapFree=67111528/67111528
[pid=8303] ppid=8301 vsize=6042256 CPUtime=57346.9 cores=0-31
/proc/8303/stat : 8303 (strangenight2-m) S 8301 8303 8217 0 -1 4202496 5240499 0 0 0 5730946 3742 0 0 25 0 32 0 735563816 6187270144 987296 268435456000 4194304 4580107 140734352527056 18446744073709551615 47323084035636 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/8303/statm: 1510564 987296 379 95 0 1505546 0
[pid=8303/tid=8304] ppid=8301 vsize=6042256 CPUtime=1793.62 cores=0-31
/proc/8303/task/8304/stat : 8304 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 155894 0 0 0 179251 111 0 0 25 0 32 0 735563817 6187270144 987296 268435456000 4194304 4580107 140734352527056 18446744073709551615 47323084035636 0 0 4096 2 18446604479136300512 0 0 -1 29 0 0 0
[pid=8303/tid=8305] ppid=8301 vsize=6042256 CPUtime=1793.64 cores=0-31
/proc/8303/task/8305/stat : 8305 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 174080 0 0 0 179235 129 0 0 25 0 32 0 735563817 6187270144 987296 268435456000 4194304 4580107 140734352527056 18446744073709551615 47323084035636 0 0 4096 2 18446604501984280032 0 0 -1 2 0 0 0
[pid=8303/tid=8306] ppid=8301 vsize=6042256 CPUtime=1793.65 cores=0-31
/proc/8303/task/8306/stat : 8306 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 149608 0 0 0 179262 103 0 0 25 0 32 0 735563817 6187270144 987296 268435456000 4194304 4580107 140734352527056 18446744073709551615 47323084035636 0 0 4096 2 18446604480534044128 0 0 -1 13 0 0 0
[pid=8303/tid=8307] ppid=8301 vsize=6042256 CPUtime=1793.73 cores=0-31
/proc/8303/task/8307/stat : 8307 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 199191 0 0 0 179248 125 0 0 25 0 32 0 735563817 6187270144 987296 268435456000 4194304 4580107 140734352527056 18446744073709551615 47323084035636 0 0 4096 2 18446604505364168160 0 0 -1 16 0 0 0
[pid=8303/tid=8308] ppid=8301 vsize=6042256 CPUtime=1793.69 cores=0-31
/proc/8303/task/8308/stat : 8308 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 115531 0 0 0 179284 85 0 0 25 0 32 0 735563817 6187270144 987296 268435456000 4194304 4580107 140734352527056 18446744073709551615 47323084035636 0 0 4096 2 18446604505946684896 0 0 -1 1 0 0 0
[pid=8303/tid=8309] ppid=8301 vsize=6042256 CPUtime=1793.76 cores=0-31
/proc/8303/task/8309/stat : 8309 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 194354 0 0 0 179263 113 0 0 25 0 32 0 735563817 6187270144 987296 268435456000 4194304 4580107 140734352527056 18446744073709551615 47323084035636 0 0 4096 2 18446604481882676704 0 0 -1 8 0 0 0
[pid=8303/tid=8310] ppid=8301 vsize=6042256 CPUtime=1793.64 cores=0-31
/proc/8303/task/8310/stat : 8310 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 160646 0 0 0 179259 105 0 0 25 0 32 0 735563817 6187270144 987296 268435456000 4194304 4580107 140734352527056 18446744073709551615 47323084035636 0 0 4096 2 18446604505118399968 0 0 -1 0 0 0 0
[pid=8303/tid=8311] ppid=8301 vsize=6042256 CPUtime=1793.67 cores=0-31
/proc/8303/task/8311/stat : 8311 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 168833 0 0 0 179248 119 0 0 25 0 32 0 735563817 6187270144 987296 268435456000 4194304 4580107 140734352527056 18446744073709551615 47323084035636 0 0 4096 2 18446604477818691040 0 0 -1 12 0 0 0
[pid=8303/tid=8312] ppid=8301 vsize=6042256 CPUtime=1793.69 cores=0-31
/proc/8303/task/8312/stat : 8312 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 152182 0 0 0 179264 105 0 0 25 0 32 0 735563817 6187270144 987296 268435456000 4194304 4580107 140734352527056 18446744073709551615 47323084035636 0 0 4096 2 18446604493679107552 0 0 -1 6 0 0 0
[pid=8303/tid=8313] ppid=8301 vsize=6042256 CPUtime=1783.94 cores=0-31
/proc/8303/task/8313/stat : 8313 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 180828 0 0 0 178255 139 0 0 25 0 32 0 735563817 6187270144 987296 268435456000 4194304 4580107 140734352527056 18446744073709551615 47323084035636 0 0 4096 2 18446604476091055584 0 0 -1 23 0 0 0
[pid=8303/tid=8314] ppid=8301 vsize=6042256 CPUtime=1793.67 cores=0-31
/proc/8303/task/8314/stat : 8314 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 189112 0 0 0 179238 129 0 0 25 0 32 0 735563817 6187270144 987296 268435456000 4194304 4580107 140734352527056 18446744073709551615 47323084035636 0 0 4096 2 18446744071566927024 0 0 -1 21 0 0 0
[pid=8303/tid=8315] ppid=8301 vsize=6042256 CPUtime=1793.6 cores=0-31
/proc/8303/task/8315/stat : 8315 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 185871 0 0 0 179226 134 0 0 25 0 32 0 735563817 6187270144 987296 268435456000 4194304 4580107 140734352527056 18446744073709551615 47323084035636 0 0 4096 2 18446604503932575200 0 0 -1 10 0 0 0
[pid=8303/tid=8316] ppid=8301 vsize=6042256 CPUtime=1793.19 cores=0-31
/proc/8303/task/8316/stat : 8316 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 163042 0 0 0 179198 121 0 0 25 0 32 0 735563817 6187270144 987296 268435456000 4194304 4580107 140734352527056 18446744073709551615 47323084035636 0 0 4096 2 18446604504829795808 0 0 -1 19 0 0 0
[pid=8303/tid=8317] ppid=8301 vsize=6042256 CPUtime=1793.93 cores=0-31
/proc/8303/task/8317/stat : 8317 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 146479 0 0 0 179287 106 0 0 25 0 32 0 735563817 6187270144 987296 268435456000 4194304 4580107 140734352527056 18446744073709551615 47323084035636 0 0 4096 2 18446604499399065056 0 0 -1 22 0 0 0
[pid=8303/tid=8318] ppid=8301 vsize=6042256 CPUtime=1793.69 cores=0-31
/proc/8303/task/8318/stat : 8318 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 134976 0 0 0 179261 108 0 0 25 0 32 0 735563817 6187270144 987296 268435456000 4194304 4580107 140734352527056 18446744073709551615 47323084035636 0 0 4096 2 18446604504239955424 0 0 -1 14 0 0 0
[pid=8303/tid=8319] ppid=8301 vsize=6042256 CPUtime=1761.09 cores=0-31
/proc/8303/task/8319/stat : 8319 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 174281 0 0 0 175976 133 0 0 25 0 32 0 735563817 6187270144 987296 268435456000 4194304 4580107 140734352527056 18446744073709551615 47323084035636 0 0 4096 2 18446604506026458592 0 0 -1 31 0 0 0
[pid=8303/tid=8320] ppid=8301 vsize=6042256 CPUtime=1793.65 cores=0-31
/proc/8303/task/8320/stat : 8320 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 147126 0 0 0 179257 108 0 0 25 0 32 0 735563817 6187270144 987296 268435456000 4194304 4580107 140734352527056 18446744073709551615 47323084035636 0 0 4096 2 18446604504357502432 0 0 -1 17 0 0 0
[pid=8303/tid=8321] ppid=8301 vsize=6042256 CPUtime=1793.68 cores=0-31
/proc/8303/task/8321/stat : 8321 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 168662 0 0 0 179237 131 0 0 25 0 32 0 735563817 6187270144 987296 268435456000 4194304 4580107 140734352527056 18446744073709551615 47323084035636 0 0 4096 2 18446604477911719392 0 0 -1 18 0 0 0
[pid=8303/tid=8322] ppid=8301 vsize=6042256 CPUtime=1792.45 cores=0-31
/proc/8303/task/8322/stat : 8322 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 136399 0 0 0 179148 97 0 0 25 0 32 0 735563817 6187270144 987296 268435456000 4194304 4580107 140734352527056 18446744073709551615 47323084035636 0 0 4096 2 18446604505915735520 0 0 -1 15 0 0 0
[pid=8303/tid=8323] ppid=8301 vsize=6042256 CPUtime=1793.67 cores=0-31
/proc/8303/task/8323/stat : 8323 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 185349 0 0 0 179247 120 0 0 25 0 32 0 735563817 6187270144 987296 268435456000 4194304 4580107 140734352527056 18446744073709551615 47323084035636 0 0 4096 2 18446604474629422560 0 0 -1 20 0 0 0
[pid=8303/tid=8324] ppid=8301 vsize=6042256 CPUtime=1789.36 cores=0-31
/proc/8303/task/8324/stat : 8324 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 164205 0 0 0 178828 108 0 0 25 0 32 0 735563817 6187270144 987296 268435456000 4194304 4580107 140734352527056 18446744073709551615 47323084035636 0 0 4096 2 18446604484753956320 0 0 -1 7 0 0 0
[pid=8303/tid=8325] ppid=8301 vsize=6042256 CPUtime=1793.98 cores=0-31
/proc/8303/task/8325/stat : 8325 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 178051 0 0 0 179276 122 0 0 25 0 32 0 735563817 6187270144 987296 268435456000 4194304 4580107 140734352527056 18446744073709551615 4305136 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=8303/tid=8326] ppid=8301 vsize=6042256 CPUtime=1793.74 cores=0-31
/proc/8303/task/8326/stat : 8326 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 133552 0 0 0 179268 106 0 0 25 0 32 0 735563817 6187270144 987296 268435456000 4194304 4580107 140734352527056 18446744073709551615 47323084035636 0 0 4096 2 18446604484539694560 0 0 -1 26 0 0 0
[pid=8303/tid=8327] ppid=8301 vsize=6042256 CPUtime=1793.92 cores=0-31
/proc/8303/task/8327/stat : 8327 (strangenight2-m) R 8301 8303 8217 0 -1 4202560 187574 0 0 0 179255 137 0 0 25 0 32 0 735563817 6187270144 987296 268435456000 4194304 4580107 140734352527056 18446744073709551615 47323084011204 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=8303/tid=8328] ppid=8301 vsize=6042256 CPUtime=1793.75 cores=0-31
/proc/8303/task/8328/stat : 8328 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 160373 0 0 0 179251 124 0 0 25 0 32 0 735563817 6187270144 987296 268435456000 4194304 4580107 140734352527056 18446744073709551615 47323084035636 0 0 4096 2 18446604503051828704 0 0 -1 30 0 0 0
[pid=8303/tid=8329] ppid=8301 vsize=6042256 CPUtime=1793.76 cores=0-31
/proc/8303/task/8329/stat : 8329 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 171246 0 0 0 179264 112 0 0 25 0 32 0 735563817 6187270144 987296 268435456000 4194304 4580107 140734352527056 18446744073709551615 47323084035636 0 0 4096 2 18446604504479817184 0 0 -1 24 0 0 0
[pid=8303/tid=8330] ppid=8301 vsize=6042256 CPUtime=1793.63 cores=0-31
/proc/8303/task/8330/stat : 8330 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 168554 0 0 0 179245 118 0 0 25 0 32 0 735563817 6187270144 987296 268435456000 4194304 4580107 140734352527056 18446744073709551615 47323084035636 0 0 4096 2 18446604496637189600 0 0 -1 5 0 0 0
[pid=8303/tid=8331] ppid=8301 vsize=6042256 CPUtime=1793.66 cores=0-31
/proc/8303/task/8331/stat : 8331 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 181318 0 0 0 179235 131 0 0 25 0 32 0 735563817 6187270144 987296 268435456000 4194304 4580107 140734352527056 18446744073709551615 47323084035636 0 0 4096 2 18446604537882181088 0 0 -1 27 0 0 0
[pid=8303/tid=8332] ppid=8301 vsize=6042256 CPUtime=1792.32 cores=0-31
/proc/8303/task/8332/stat : 8332 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 193142 0 0 0 179086 146 0 0 25 0 32 0 735563817 6187270144 987296 268435456000 4194304 4580107 140734352527056 18446744073709551615 47323084035636 0 0 4096 2 18446604504778980832 0 0 -1 4 0 0 0
[pid=8303/tid=8333] ppid=8301 vsize=6042256 CPUtime=1793.66 cores=0-31
/proc/8303/task/8333/stat : 8333 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 192619 0 0 0 179228 138 0 0 25 0 32 0 735563817 6187270144 987296 268435456000 4194304 4580107 140734352527056 18446744073709551615 47323084035636 0 0 4096 2 18446604504617876960 0 0 -1 22 0 0 0
[pid=8303/tid=8334] ppid=8301 vsize=6042256 CPUtime=1791.51 cores=0-31
/proc/8303/task/8334/stat : 8334 (strangenight2-m) S 8301 8303 8217 0 -1 4202560 34439 0 0 0 179117 34 0 0 25 0 32 0 735563817 6187270144 987296 268435456000 4194304 4580107 140734352527056 18446744073709551615 47323084035636 0 0 4096 2 18446604475633810912 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 57346.9
Current children cumulated vsize (KiB) 6042256

[startup+1795.2 s]
/proc/loadavg: 32.04 32.05 32.00 2/415 8392
/proc/meminfo: memFree=253847360/264257624 swapFree=67111528/67111528
[pid=8303] ppid=8301 vsize=0 CPUtime=57347.4 cores=0-31
/proc/8303/stat : 8303 (strangenight2-m) Z 8301 8303 8217 0 -1 4203548 5240503 0 0 0 5730959 3780 0 0 22 0 2 0 735563816 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/8303/statm: 0 0 0 0 0 0 0
[pid=8303/tid=8317] ppid=8301 vsize=0 CPUtime=1794.3 cores=0-31
/proc/8303/task/8317/stat : 8317 (strangenight2-m) R 8301 8303 8217 0 -1 4203588 146479 0 0 0 179287 143 0 0 25 0 2 0 735563817 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 57347.4
Current children cumulated vsize (KiB) 0

[startup+1795.33 s]
/proc/loadavg: 32.04 32.05 32.00 2/415 8392
/proc/meminfo: memFree=253847360/264257624 swapFree=67111528/67111528
[pid=8303] ppid=8301 vsize=0 CPUtime=57347.5 cores=0-31
/proc/8303/stat : 8303 (strangenight2-m) Z 8301 8303 8217 0 -1 4203548 5240503 0 0 0 5730959 3790 0 0 22 0 2 0 735563816 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/8303/statm: 0 0 0 0 0 0 0
[pid=8303/tid=8317] ppid=8301 vsize=0 CPUtime=1794.4 cores=0-31
/proc/8303/task/8317/stat : 8317 (strangenight2-m) R 8301 8303 8217 0 -1 4203588 146479 0 0 0 179287 153 0 0 25 0 2 0 735563817 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 57347.5
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 1795.36
CPU time (s): 57347.5
CPU user time (s): 57309.6
CPU system time (s): 37.9372
CPU usage (%): 3194.2
Max. virtual memory (cumulated for all children) (KiB): 6327340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 57309.6
system time used= 37.9372
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5240503
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= 189526
involuntary context switches= 107770

runsolver used 10.6274 second user time and 40.1269 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-24 14:39:34
IDJOB=3400620
IDBENCH=20399
IDSOLVER=1886
FILE ID=node200/3400620-1306240774
RUNJOBID= node200-1306240742-8231
PBS_JOBID= 13411754
Free space on /tmp= 62044 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT07/industrial/fuhs/hard/AProVE07-01.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400620-1306240774/watcher-3400620-1306240774 -o /tmp/evaluation-result-3400620-1306240774/solver-3400620-1306240774 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400620-1306240774.cnf

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

MD5SUM BENCH= d2f77e32530988f77dca5112174eee00
RANDOM SEED=1950333846

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:      255158012 kB
Buffers:        463092 kB
Cached:        8214012 kB
SwapCached:          0 kB
Active:        7765864 kB
Inactive:       980404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255158012 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6216 kB
Writeback:           0 kB
AnonPages:       66692 kB
Mapped:          14720 kB
Slab:           254568 kB
PageTables:       5416 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   189916 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= 62040 MiB
End job on node200 at 2011-05-24 15:09:29