Trace number 3400819

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)? (TO) 160006 5030.43

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom22.cnf
MD5SUM808b4b06b3dea960876e6772f0b9c207
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables53118
Number of clauses178062
Sum of the clauses size454634
Maximum clause length1670
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 290658
Number of clauses of size 386491
Number of clauses of size 4252
Number of clauses of size 520
Number of clauses of size over 5640

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.04	c Using 32 threads
0.00/0.05	c This is CryptoMiniSat 3.0.0
0.00/0.05	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05	c Reading file 'HOME/instance-3400819-1306836687.cnf'
1.28/0.08	c -- header says num vars:          53118
1.28/0.08	c -- header says num clauses:      178062
27.91/1.57	c -- clauses added:            0 learnts,       178062 normals,            0 xors
27.91/1.57	c -- vars added      53118
27.91/1.57	c Parsing time:  0.25 s
27.91/1.57	c  N st     0         0     53118     86249     80791         0    429076         0   no data   no data
77.46/3.15	c asymm  cl-useful: 8/42159/86249 lits-rem:82 time: 1.58
436.95/22.70	c Flit:    86 Blit:   4640 bXBeca:    0 bXProp: 8639 Bins:      0 BRemL:      0 BRemN:      0 P: 74.5M T:  9.97
439.72/22.72	c Cleaning up after failed var search:     0.02 s 
442.00/22.88	c Replacing     8639 vars Replaced   243622 lits Time:     0.06 s 
447.39/23.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
447.39/23.18	c bin-w-bin subsume rem          941 bins  time:  0.02 s
449.02/23.21	c subs with bin:        0  lits-rem:        12  v-fix:    0  time:  0.04 s
451.49/23.31	c Subs w/ non-existent bins:      0 l-rem:      4 v-fix:     0 done:  37418 time:  0.09 s
454.16/23.40	c Removed useless bin:      47  fixed:     0  props:   5.90M  time:  0.09 s
471.56/24.22	c lits-rem:         0  cl-subs:      285  v-elim:  12472  v-fix:    0  time:  0.42 s
482.35/24.51	c Finding binary XORs  T:     0.29 s  found:      22
482.35/24.53	c Replacing       22 vars Replaced      265 lits Time:     0.02 s 
488.71/24.73	c Finding non-binary XORs:     0.11 s (found:   12221, avg size: 3.0)
488.71/24.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   1980 locsubst:  7812 time:   0.07
488.71/24.75	c Replacing     3906 vars Replaced    23436 lits Time:     0.02 s 
488.71/24.78	c calculated reachability. Time: 0.01
488.71/24.79	c Calc default polars -  time:   0.01 s pos:    2181 undec:   34144 neg:   16793
488.71/24.79	c =========================================================================================
488.71/24.79	c types(t): F = full restart, N = normal restart
488.71/24.79	c types(t): S = simplification begin/end, E = solution found
488.71/24.79	c restart types(rt): st = static, dy = dynamic
488.71/24.79	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
488.71/24.79	c  B st     0         0     19038     31316     24316         0    206409         0   no data   no data
505.52/25.30	c Decided on static restart strategy
523.73/25.88	c  N st     8      4921     19037     31316     24420      4749    206409    184027   no data   no data
578.68/27.55	c  N st    10     11303     19006     31316     25957     10966    206409    614748   no data   no data
581.27/27.68	c Finding binary XORs  T:     0.11 s  found:       3
622.79/28.94	c  N st    11     17047     19006     31310     25605     16524    205594    863853   no data   no data
731.41/32.36	c  F st    12     25001     18998     31310     27011     14864    205594   1720060   no data   no data
731.41/32.39	c Replacing        3 vars Replaced       22 lits Time:     0.02 s 
734.61/32.42	c  N st    12     25001     18996     31308     26907     14706    205416   1717680   no data   no data
737.81/32.56	c Finding binary XORs  T:     0.11 s  found:       2
779.36/33.83	c Decided on static restart strategy
779.36/33.83	c  N st    18     30000     18992     31307     27600     19592    205353   1928746   no data   no data
779.36/33.83	c  S st    18     30000     18992     31307     27600     19592    205353   1928746   no data   no data
786.34/34.10	c  S st    18     30504     18992     31307     27634     20054    205353   1935768   no data   no data
789.58/34.14	c x-sub:  3906 x-cut:      0 vfix:      0 v-elim:    990 locsubst:     0 time:   0.04
856.62/36.32	c Flit:    43 Blit:      0 bXBeca:    0 bXProp:    6 Bins: 362433 BRemL:  77238 BRemN:      5 P: 14.1M T:  2.14
859.84/36.36	c Replacing        8 vars Replaced      450 lits Time:     0.04 s 
859.84/36.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
862.40/36.44	c bin-w-bin subsume rem          646 bins  time:  0.05 s
865.60/36.50	c subs with bin:      471  lits-rem:       525  v-fix:    0  time:  0.05 s
865.60/36.56	c Subs w/ non-existent bins:    146 l-rem:    144 v-fix:     0 done:  17951 time:  0.05 s
865.60/36.58	c Removed useless bin:       9  fixed:     0  props:   0.91M  time:  0.03 s
871.99/36.70	c lits-rem:       402  cl-subs:      129  v-elim:   2384  v-fix:    0  time:  0.11 s
871.99/36.78	c subs with bin:      106  lits-rem:       548  v-fix:    0  time:  0.05 s
875.19/36.84	c lits-rem:       156  cl-subs:      232  v-elim:      0  v-fix:    0  time:  0.05 s
891.76/37.33	c asymm  cl-useful: 298/18866/31058 lits-rem:1300 time: 0.50
891.76/37.36	c calculated reachability. Time: 0.01
891.76/37.36	c  N st    18     30504     15567     31058    274080      5028    183982    617827   no data   no data
894.99/37.48	c Finding binary XORs  T:     0.13 s  found:       0
956.36/39.77	c  N st    20     37615     15566     31058    274319     12041    183982    928395   no data   no data
972.77/41.04	c  N st    21     44014     15565     31058    274322     10589    183982    912980   no data   no data
1087.14/51.45	c Finding binary XORs  T:     0.10 s  found:       1
1092.87/51.81	c  S st    22     45756     15528     30967    315856     12299    183262   1063174   no data   no data
1094.25/51.98	c  S st    22     46258     15528     30967    315862     12789    183262   1073307   no data   no data
1095.78/52.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    485 locsubst:     0 time:   0.03
1112.99/53.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  14702 BRemL:  71293 BRemN:      0 P:  8.4M T:  1.01
1112.99/53.05	c Replacing        1 vars Replaced      362 lits Time:     0.02 s 
1112.99/53.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1114.60/53.12	c bin-w-bin subsume rem        47481 bins  time:  0.05 s
1114.60/53.16	c subs with bin:      125  lits-rem:       104  v-fix:    0  time:  0.04 s
1114.60/53.20	c Subs w/ non-existent bins:     11 l-rem:     34 v-fix:     0 done:  15042 time:  0.04 s
1116.19/53.21	c Removed useless bin:     109  fixed:     0  props:   0.60M  time:  0.02 s
1116.19/53.26	c lits-rem:         7  cl-subs:       59  v-elim:     49  v-fix:    0  time:  0.04 s
1117.71/53.35	c subs with bin:        3  lits-rem:       134  v-fix:    0  time:  0.07 s
1119.27/53.45	c lits-rem:       349  cl-subs:      222  v-elim:      0  v-fix:    0  time:  0.09 s
1119.27/53.46	c vivif2 --  cl tried    30778 cl shrink      143 lits rem        382 time: 0.01
1119.27/53.48	c vivif2 --  cl tried     8414 cl shrink      633 lits rem       2848 time: 0.01
1124.35/53.81	c asymm  cl-useful: 0/11890/30756 lits-rem:0 time: 0.33
1126.37/53.83	c calculated reachability. Time: 0.01
1126.37/53.83	c  N st    22     46258     14993     30756    207628      8414    181204    579750   no data   no data
1214.65/57.62	c  N st    23     60655     14993     30756    207638     22499    181204   1741762   no data   no data
1221.05/57.80	c Finding binary XORs  T:     0.10 s  found:      19
1348.89/61.83	c  N st    24     69387     14989     30734    224026     18965    181039   1644153   no data   no data
1348.89/61.83	c  S st    24     69387     14989     30734    224026     18965    181039   1644153   no data   no data
1358.48/62.12	c  S st    24     69887     14988     30734    230184     19459    181039   1665990   no data   no data
1358.48/62.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    234 locsubst:     0 time:   0.04
1400.03/63.42	c Flit:     5 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      7 BRemL:  53968 BRemN:      0 P:  8.8M T:  1.26
1400.03/63.47	c Replacing       19 vars Replaced     1107 lits Time:     0.04 s 
1400.03/63.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1403.23/63.51	c bin-w-bin subsume rem         6645 bins  time:  0.02 s
1403.23/63.55	c subs with bin:       69  lits-rem:        51  v-fix:    0  time:  0.04 s
1403.23/63.59	c Subs w/ non-existent bins:      3 l-rem:      6 v-fix:     0 done:  14730 time:  0.04 s
1406.42/63.61	c Removed useless bin:      19  fixed:     0  props:   0.56M  time:  0.02 s
1406.42/63.66	c lits-rem:         1  cl-subs:       70  v-elim:     47  v-fix:    0  time:  0.05 s
1419.20/64.00	c subs with bin:       14  lits-rem:       117  v-fix:    0  time:  0.29 s
1425.60/64.21	c lits-rem:       609  cl-subs:      362  v-elim:      0  v-fix:    0  time:  0.19 s
1425.60/64.22	c vivif2 --  cl tried    30570 cl shrink       59 lits rem         84 time: 0.01
1425.60/64.26	c vivif2 --  cl tried    13753 cl shrink     1392 lits rem      15962 time: 0.04
1445.36/64.84	c asymm  cl-useful: 221/19659/30568 lits-rem:541 time: 0.57
1445.36/64.86	c calculated reachability. Time: 0.01
1445.36/64.86	c  N st    24     69887     14683     30550    159412     13752    179211    770118   no data   no data
1607.76/69.90	c  F st    25     87504     14683     30550    159420     16141    179211    669099   no data   no data
1607.76/69.94	c  N st    25     87504     14683     30549    158361     16140    179197    666982   no data   no data
1610.96/70.06	c Finding binary XORs  T:     0.10 s  found:      11
1656.30/71.46	c  N dy    33     93086     14673     30540    155560     21604    178844   1133840     11.26     15.33
1703.65/72.91	c  N dy    64     99122     14664     30540    155813     27566    178844   1555003     10.95     16.34
1754.80/74.52	c  S st    95    104830     14662     30540    155846     33203    178844   1845335     11.27      6.43
1765.02/74.83	c  S st    95    105332     14662     30540    155855     33693    178844   1859439     11.27   no data
1765.02/74.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     90 locsubst:     0 time:   0.03
1815.53/76.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   39 Bins:   9218 BRemL:  71820 BRemN:     45 P: 14.3M T:  1.59
1818.72/76.51	c Replacing       50 vars Replaced     2207 lits Time:     0.05 s 
1818.72/76.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1818.72/76.54	c bin-w-bin subsume rem          175 bins  time:  0.01 s
1818.72/76.57	c subs with bin:      251  lits-rem:       170  v-fix:    0  time:  0.03 s
1821.92/76.60	c Subs w/ non-existent bins:      0 l-rem:     22 v-fix:     0 done:  14522 time:  0.04 s
1821.92/76.62	c Removed useless bin:       3  fixed:     0  props:   0.57M  time:  0.02 s
1821.92/76.68	c lits-rem:        14  cl-subs:      152  v-elim:     77  v-fix:    0  time:  0.06 s
1879.43/78.40	c subs with bin:       10  lits-rem:       330  v-fix:    0  time:  1.53 s
1908.20/79.36	c lits-rem:      1456  cl-subs:      747  v-elim:      0  v-fix:    0  time:  0.94 s
1908.20/79.37	c vivif2 --  cl tried    30083 cl shrink       33 lits rem         51 time: 0.01
1911.39/79.49	c vivif2 --  cl tried    31897 cl shrink     4815 lits rem      38694 time: 0.12
1924.19/79.82	c asymm  cl-useful: 166/10424/30083 lits-rem:498 time: 0.33
1924.19/79.83	c calculated reachability. Time: 0.01
1924.19/79.83	c  N dy    95    105332     14445     29917     75271     31897    176887   1569570     11.27   no data
1927.38/79.93	c Finding binary XORs  T:     0.10 s  found:      68
1997.67/82.18	c  N dy   131    112129     14434     29917     80850     19544    176885    468124     11.53     12.18
2032.83/83.23	c Finding binary XORs  T:     0.10 s  found:       0
2071.19/84.48	c  N dy   160    120971     14434     29908     78339     28179    176622   1043491     11.17     11.83
2148.52/86.86	c  N dy   203    128745     14431     29908     78356     35840    176621   1605043     11.58     18.22
2240.58/89.78	c  N dy   241    137841     14427     29908     78834     23001    176620    583311     11.55     12.19
2324.28/92.35	c  N dy   281    146671     14426     29908     79063     31727    176619   1079851     11.73     16.54
2422.77/95.48	c  N dy   329    157576     14426     29908     79142     42410    176618   1586506     11.64     12.37
2429.75/95.62	c  S st   330    157998     14425     29908     79160     42821    176618   1649466     11.62      7.64
2438.73/95.99	c  S st   330    158498     14425     29908     79161     43318    176618   1666965     11.62   no data
2441.94/96.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2486.69/97.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   20 Bins:   7006 BRemL:  17868 BRemN:     61 P: 15.6M T:  1.39
2486.69/97.47	c Replacing       88 vars Replaced     2697 lits Time:     0.05 s 
2486.69/97.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2489.89/97.50	c bin-w-bin subsume rem         1604 bins  time:  0.01 s
2489.89/97.53	c subs with bin:      126  lits-rem:       186  v-fix:    0  time:  0.02 s
2489.89/97.56	c Subs w/ non-existent bins:      0 l-rem:      2 v-fix:     0 done:  14337 time:  0.04 s
2489.89/97.58	c Removed useless bin:       2  fixed:     0  props:   0.50M  time:  0.02 s
2493.09/97.65	c lits-rem:        19  cl-subs:      175  v-elim:     50  v-fix:    0  time:  0.06 s
2531.45/98.90	c subs with bin:       37  lits-rem:      1382  v-fix:    0  time:  1.14 s
2576.18/100.29	c lits-rem:      2551  cl-subs:     1229  v-elim:      0  v-fix:    0  time:  1.38 s
2579.39/100.30	c vivif2 --  cl tried    29597 cl shrink        4 lits rem          4 time: 0.01
2582.59/100.43	c vivif2 --  cl tried    41004 cl shrink     5745 lits rem      45315 time: 0.13
2601.77/101.09	c asymm  cl-useful: 68/18023/29596 lits-rem:151 time: 0.66
2601.77/101.11	c calculated reachability. Time: 0.01
2601.77/101.11	c  N dy   330    158498     14287     29593     57338     41004    174658   1478280     11.62   no data
2605.56/101.21	c Finding binary XORs  T:     0.10 s  found:       0
2714.24/104.59	c Finding binary XORs  T:     0.10 s  found:       0
2729.62/105.05	c  N dy   374    169724     14283     29581     60199     28880    174593    797144     11.55     12.16
2838.30/108.44	c  N dy   414    180697     14282     29581     63022     39722    174593   2071584     11.47     12.14
2844.71/108.60	c Finding binary XORs  T:     0.10 s  found:       0
2953.33/112.09	c  N dy   456    192285     14281     29580     63146     26264    174578    540870     11.40     12.04
3077.99/115.93	c  N dy   489    205224     14281     29580     63211     38941    174578   1069913     11.30     11.99
3125.94/117.42	c Finding binary XORs  T:     0.10 s  found:       1
3218.63/120.35	c  N dy   548    218593     14279     29571     63135     51988    174448   1746824     11.30     12.84
3308.73/123.21	c Finding binary XORs  T:     0.10 s  found:       8
3356.08/124.66	c  N dy   627    232856     14277     29562     63871     39427    174381   1139252     11.33     11.98
3407.23/126.22	c  S st   638    237747     14277     29562     63886     44266    174381   1323581     11.29     10.13
3417.45/126.55	c  S st   638    238252     14277     29562     63887     44766    174381   1338830     11.29   no data
3417.45/126.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3452.61/127.68	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    7 Bins:   2044 BRemL:  12902 BRemN:      0 P: 14.1M T:  1.11
3455.17/127.73	c Replacing       17 vars Replaced      484 lits Time:     0.04 s 
3455.17/127.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3455.17/127.76	c bin-w-bin subsume rem         1305 bins  time:  0.01 s
3455.17/127.78	c subs with bin:       54  lits-rem:        34  v-fix:    0  time:  0.02 s
3458.37/127.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14259 time:  0.03 s
3458.37/127.83	c Removed useless bin:       4  fixed:     0  props:   0.50M  time:  0.02 s
3458.37/127.88	c lits-rem:         0  cl-subs:       36  v-elim:     25  v-fix:    0  time:  0.05 s
3484.55/128.67	c subs with bin:       28  lits-rem:       546  v-fix:    0  time:  0.70 s
3509.52/129.49	c lits-rem:      1922  cl-subs:     1065  v-elim:      0  v-fix:    0  time:  0.81 s
3512.72/129.50	c vivif2 --  cl tried    29427 cl shrink        1 lits rem          1 time: 0.01
3515.92/129.62	c vivif2 --  cl tried    43446 cl shrink     7526 lits rem      56007 time: 0.12
3528.70/130.08	c asymm  cl-useful: 1/11404/29427 lits-rem:3 time: 0.45
3528.70/130.09	c calculated reachability. Time: 0.01
3528.70/130.09	c  N dy   638    238252     14234     29426     48992     43446    173821   1210066     11.29   no data
3558.07/130.93	c Finding binary XORs  T:     0.10 s  found:       0
3701.29/135.44	c  N dy   707    253939     14232     29424     49036     31905    173795    637626     11.27     12.06
3758.84/137.24	c Finding binary XORs  T:     0.10 s  found:       0
3874.50/140.86	c  N dy   738    271124     14232     29424     49516     48841    173795   2261978     11.12     11.73
3957.02/143.47	c Finding binary XORs  T:     0.10 s  found:       0
4062.46/146.77	c  N dy   830    289035     14232     29424     50537     38206    173795   1153073     11.18     11.98
4254.26/152.74	c  F st   922    306251     14232     29424     52868     55253    173795   2134968     11.25      9.57
4258.06/152.89	c Finding binary XORs  T:     0.10 s  found:       0
4283.04/153.68	c  N st   926    308283     14231     29423     52769     57132    173742   2328661     11.25   no data
4321.40/154.86	c Decided on static restart strategy
4618.66/164.11	c  N st   932    334553     14230     29423     52834     53661    173741   3810218     11.25   no data
5015.01/176.53	c  N st   934    357378     14229     29423     52884     47056    173741   5126463     11.25   no data
5015.01/176.53	c  S st   934    357378     14229     29423     52884     47056    173741   5126463     11.25   no data
5027.80/176.97	c  S st   934    357880     14229     29423     52890     47558    173741   5144389     11.25   no data
5027.80/177.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
5062.96/178.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:    373 BRemL:   7868 BRemN:      0 P: 12.9M T:  1.08
5066.74/178.17	c Replacing        1 vars Replaced       28 lits Time:     0.08 s 
5066.74/178.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5066.74/178.20	c bin-w-bin subsume rem          244 bins  time:  0.01 s
5069.97/178.22	c subs with bin:       16  lits-rem:        14  v-fix:    0  time:  0.02 s
5069.97/178.26	c Subs w/ non-existent bins:      0 l-rem:      2 v-fix:     0 done:  14228 time:  0.04 s
5069.97/178.28	c Removed useless bin:       0  fixed:     0  props:   0.49M  time:  0.02 s
5072.53/178.37	c lits-rem:         0  cl-subs:        4  v-elim:      6  v-fix:    0  time:  0.10 s
5152.43/180.81	c subs with bin:       17  lits-rem:       343  v-fix:    0  time:  2.06 s
5348.01/186.92	c lits-rem:      1958  cl-subs:      866  v-elim:      0  v-fix:    0  time:  6.10 s
5348.01/186.94	c vivif2 --  cl tried    29393 cl shrink        0 lits rem          0 time: 0.01
5360.20/187.33	c vivif2 --  cl tried    45578 cl shrink    11408 lits rem     153258 time: 0.39
5379.38/188.01	c asymm  cl-useful: 44/17330/29393 lits-rem:56 time: 0.68
5383.20/188.03	c calculated reachability. Time: 0.01
5383.20/188.03	c  N st   934    357880     14222     29393     44170     45578    173482   4476943     11.25   no data
5386.40/188.12	c Finding binary XORs  T:     0.10 s  found:       0
5743.70/199.36	c  N st   935    390274     14222     29393     44173     47425    173482   4071750     11.25   no data
6587.49/225.77	c  N st   936    438864     14220     29393     44739     63574    173482   4263665     11.25   no data
6593.88/225.92	c Finding binary XORs  T:     0.10 s  found:       0
8588.02/288.35	c  N st   937    511746     14219     29390     44043     68393    173367  13805715     11.25   no data
8594.41/288.56	c Finding binary XORs  T:     0.10 s  found:      10
8898.67/298.11	c  N st   938    536820     14215     29387     44896     57384    173289   3436311     11.25   no data
8898.67/298.11	c  S st   938    536820     14215     29387     44896     57384    173289   3436311     11.25   no data
8917.25/298.61	c  S st   938    537322     14214     29387     45017     57884    173289   3459893     11.25   no data
8917.25/298.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
8952.41/299.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:     52 BRemL:   3190 BRemN:      0 P: 14.9M T:  1.12
8955.61/299.84	c Replacing       11 vars Replaced      479 lits Time:     0.07 s 
8955.61/299.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8955.61/299.87	c bin-w-bin subsume rem           97 bins  time:  0.01 s
8955.61/299.89	c subs with bin:       40  lits-rem:        22  v-fix:    0  time:  0.02 s
8958.81/299.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14203 time:  0.03 s
8958.81/299.94	c Removed useless bin:       1  fixed:     0  props:   0.48M  time:  0.02 s
8962.00/300.03	c lits-rem:         0  cl-subs:       24  v-elim:      2  v-fix:    0  time:  0.09 s
9029.12/302.19	c subs with bin:       83  lits-rem:      1446  v-fix:    0  time:  1.91 s
9166.57/306.48	c lits-rem:      2906  cl-subs:     1573  v-elim:      0  v-fix:    0  time:  4.28 s
9166.57/306.49	c vivif2 --  cl tried    29309 cl shrink        0 lits rem          0 time: 0.01
9176.16/306.77	c vivif2 --  cl tried    56148 cl shrink    14465 lits rem      91442 time: 0.27
9192.14/307.29	c asymm  cl-useful: 0/9756/29309 lits-rem:0 time: 0.52
9195.34/307.30	c calculated reachability. Time: 0.01
9195.34/307.30	c  N st   938    537322     14201     29309     41457     56148    173006   3243148     11.25   no data
15276.49/497.69	c  N st   939    701309     14201     29309     41457     67162    173006  12225738     11.25   no data
15286.09/497.90	c Finding binary XORs  T:     0.10 s  found:       6
19246.75/621.98	c  N st   940    805986     14198     29297     42021     88611    172945  15482301     11.25   no data
19246.75/621.98	c  S st   940    805986     14198     29297     42021     88611    172945  15482301     11.25   no data
19269.75/622.68	c  S st   940    806490     14197     29297     42303     89109    172945  15496360     11.25   no data
19272.31/622.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
19313.81/624.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      6 BRemL:   1762 BRemN:      0 P: 16.8M T:  1.32
19320.21/624.29	c Replacing        7 vars Replaced     3119 lits Time:     0.23 s 
19323.41/624.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
19323.41/624.32	c bin-w-bin subsume rem          215 bins  time:  0.01 s
19323.41/624.34	c subs with bin:       19  lits-rem:         6  v-fix:    0  time:  0.02 s
19323.41/624.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14190 time:  0.03 s
19323.41/624.40	c Removed useless bin:       1  fixed:     0  props:   0.47M  time:  0.02 s
19329.70/624.59	c lits-rem:         0  cl-subs:        8  v-elim:      4  v-fix:    0  time:  0.20 s
19445.26/628.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.40 s
20578.73/663.69	c lits-rem:       114  cl-subs:     1486  v-elim:      0  v-fix:    0  time: 35.53 s
20581.93/663.71	c vivif2 --  cl tried    29252 cl shrink        0 lits rem          0 time: 0.01
20623.49/665.04	c vivif2 --  cl tried    83225 cl shrink    36913 lits rem     325025 time: 1.30
20629.82/665.21	c asymm  cl-useful: 0/2166/29252 lits-rem:0 time: 0.17
20629.82/665.23	c calculated reachability. Time: 0.01
20629.82/665.23	c  N st   940    806490     14186     29252     40274     83221    172732  13688789     11.25   no data
22622.81/727.61	c Finding binary XORs  T:     0.10 s  found:       0
27801.44/889.78	c  F st   941   1071878     14185     29251     40049     80379    172717  11215174     11.25   no data
27801.44/889.81	c  N st   941   1071878     14185     29251     40049     80379    172717  11215174     11.25   no data
27805.23/889.91	c Finding binary XORs  T:     0.10 s  found:       5
27900.53/892.89	c Decided on static restart strategy
28325.43/906.19	c  N st   951   1100182     14185     29251     40364     59723    172717   4573607     11.25   no data
29210.87/933.83	c  N st   953   1136175     14185     29251     40376     95394    172717  12359702     11.25   no data
29657.42/947.83	c  N st   954   1168567     14185     29251     40444     77886    172717   8179913     11.25   no data
30663.60/979.37	c  N st   955   1209737     14185     29251     40450     68381    172717   8994632     11.25   no data
30663.60/979.37	c  S st   955   1209737     14185     29251     40450     68381    172717   8994632     11.25   no data
30682.76/979.95	c  S st   955   1210240     14185     29251     40452     68879    172717   9016114     11.25   no data
30682.76/980.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
30721.71/981.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     36 BRemL:    412 BRemN:      0 P: 14.9M T:  1.20
30724.94/981.27	c Replacing        5 vars Replaced      476 lits Time:     0.06 s 
30724.94/981.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
30724.94/981.30	c bin-w-bin subsume rem           28 bins  time:  0.01 s
30727.50/981.32	c subs with bin:       16  lits-rem:         9  v-fix:    0  time:  0.02 s
30727.50/981.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14180 time:  0.03 s
30727.50/981.37	c Removed useless bin:       0  fixed:     0  props:   0.47M  time:  0.02 s
30733.90/981.51	c lits-rem:         2  cl-subs:        6  v-elim:      3  v-fix:    0  time:  0.14 s
30816.97/984.19	c subs with bin:       10  lits-rem:       166  v-fix:    0  time:  2.06 s
31120.42/993.65	c lits-rem:      8602  cl-subs:      838  v-elim:      0  v-fix:    0  time:  9.45 s
31120.42/993.67	c vivif2 --  cl tried    29221 cl shrink        0 lits rem          0 time: 0.01
31139.61/994.26	c vivif2 --  cl tried    67260 cl shrink    10099 lits rem     256649 time: 0.59
31165.17/995.04	c asymm  cl-useful: 30/9861/29221 lits-rem:36 time: 0.77
31165.17/995.05	c calculated reachability. Time: 0.01
31165.17/995.06	c  N st   955   1210240     14177     29221     40041     67259    172588   8450571     11.25   no data
33196.72/1058.69	c  N st   956   1283123     14177     29221     40041     88565    172588  16564344     11.25   no data
35560.09/1132.64	c  N st   957   1392446     14177     29221     40060     90158    172587   7342123     11.25   no data
39465.90/1254.94	c  N st   958   1556432     14177     29221     40104     87260    172587   9551451     11.25   no data
45585.08/1446.50	c  N st   959   1710240     14176     29221     40139     63813    172587   3762023     11.25   no data
45585.08/1446.50	c  S st   959   1710240     14176     29221     40139     63813    172587   3762023     11.25   no data
45590.90/1446.64	c Finding binary XORs  T:     0.10 s  found:       0
45603.67/1447.09	c  S st   959   1710744     14176     29220     39903     64313    172575   3779652     11.25   no data
45606.86/1447.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
45645.23/1448.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     53 BRemL:    178 BRemN:      0 P: 15.4M T:  1.19
45645.23/1448.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45645.23/1448.35	c bin-w-bin subsume rem           45 bins  time:  0.01 s
45645.23/1448.37	c subs with bin:        5  lits-rem:         1  v-fix:    0  time:  0.02 s
45648.42/1448.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14176 time:  0.04 s
45648.42/1448.43	c Removed useless bin:       0  fixed:     0  props:   0.47M  time:  0.02 s
45651.62/1448.54	c lits-rem:         0  cl-subs:        2  v-elim:      1  v-fix:    0  time:  0.11 s
45725.68/1450.89	c subs with bin:       13  lits-rem:        97  v-fix:    0  time:  2.08 s
45852.87/1454.87	c lits-rem:      1574  cl-subs:     1025  v-elim:      0  v-fix:    0  time:  3.97 s
45852.87/1454.89	c vivif2 --  cl tried    29212 cl shrink        0 lits rem          0 time: 0.01
45859.27/1455.07	c vivif2 --  cl tried    63275 cl shrink     2226 lits rem      29049 time: 0.18
45881.64/1455.79	c asymm  cl-useful: 46/13658/29212 lits-rem:46 time: 0.72
45884.84/1455.81	c calculated reachability. Time: 0.01
45884.84/1455.81	c  N st   959   1710744     14175     29212     39732     63275    172491   3706950     11.25   no data
60948.19/1927.39	c  N st   960   2079708     14175     29212     39732    116726    172491  11801956     11.25   no data
60951.39/1927.49	c Finding binary XORs  T:     0.10 s  found:       0
65839.30/2080.48	c  N st   961   2210744     14175     29212     39966    115662    172491  18590918     11.25   no data
65839.30/2080.48	c  S st   961   2210744     14175     29212     39966    115662    172491  18590918     11.25   no data
65865.51/2081.28	c  S st   961   2211244     14174     29212     39995    116159    172491  18605827     11.25   no data
65868.05/2081.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
65919.19/2082.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:     13 BRemL:    257 BRemN:      0 P: 20.3M T:  1.61
65925.59/2083.19	c Replacing        1 vars Replaced       32 lits Time:     0.23 s 
65928.79/2083.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
65928.79/2083.22	c bin-w-bin subsume rem           12 bins  time:  0.01 s
65928.79/2083.25	c subs with bin:        8  lits-rem:         3  v-fix:    0  time:  0.02 s
65928.79/2083.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14173 time:  0.04 s
65928.79/2083.30	c Removed useless bin:       0  fixed:     0  props:   0.47M  time:  0.02 s
65938.36/2083.54	c lits-rem:         1  cl-subs:        6  v-elim:      1  v-fix:    0  time:  0.24 s
66050.23/2087.07	c subs with bin:        6  lits-rem:      1513  v-fix:    0  time:  2.25 s
66785.07/2110.03	c lits-rem:     10434  cl-subs:     1315  v-elim:      0  v-fix:    0  time: 22.94 s
66785.07/2110.04	c vivif2 --  cl tried    29195 cl shrink        0 lits rem          0 time: 0.01
66833.02/2111.55	c vivif2 --  cl tried   110978 cl shrink    32099 lits rem     472941 time: 1.50
66846.40/2112.01	c asymm  cl-useful: 0/5676/29195 lits-rem:0 time: 0.46
66849.64/2112.03	c calculated reachability. Time: 0.01
66849.64/2112.03	c  N st   961   2211244     14172     29195     39491    110976    172432  16539692     11.25   no data
84672.20/2669.97	c  N st   962   2711245     14172     29195     39491    118485    172432  20592788     11.25   no data
84672.20/2669.97	c  S st   962   2711245     14172     29195     39491    118485    172432  20592788     11.25   no data
84681.78/2670.22	c Finding binary XORs  T:     0.10 s  found:       1
84707.36/2671.06	c  S st   962   2711745     14170     29192     39763    118766    172402  20503466     11.25   no data
84710.55/2671.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
84764.91/2672.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      9 BRemL:    366 BRemN:      0 P: 20.5M T:  1.68
84768.66/2672.95	c Replacing        1 vars Replaced     2794 lits Time:     0.11 s 
84768.66/2672.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
84768.66/2672.98	c bin-w-bin subsume rem           55 bins  time:  0.01 s
84768.66/2673.00	c subs with bin:        6  lits-rem:         4  v-fix:    0  time:  0.02 s
84771.89/2673.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14169 time:  0.04 s
84771.89/2673.06	c Removed useless bin:       0  fixed:     0  props:   0.47M  time:  0.02 s
84780.85/2673.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.26 s
84899.12/2677.10	c subs with bin:        6  lits-rem:       654  v-fix:    0  time:  2.21 s
86097.18/2714.55	c lits-rem:       147  cl-subs:     1066  v-elim:      0  v-fix:    0  time: 37.44 s
86097.18/2714.57	c vivif2 --  cl tried    29177 cl shrink        0 lits rem          0 time: 0.01
86145.04/2716.06	c vivif2 --  cl tried   117643 cl shrink    22741 lits rem     572131 time: 1.46
86170.62/2716.91	c asymm  cl-useful: 5/1774/29177 lits-rem:6 time: 0.85
86174.41/2716.93	c calculated reachability. Time: 0.01
86174.41/2716.93	c  N st   962   2711745     14169     29177     39352    117643    172353  19655827     11.25   no data
103140.70/3248.18	c  N st   963   3211745     14169     29177     39352    152468    172353  26446535     11.25   no data
103140.70/3248.18	c  S st   963   3211745     14169     29177     39352    152468    172353  26446535     11.25   no data
103175.87/3249.21	c  S st   963   3212246     14168     29177     39439    152969    172353  26463604     11.25   no data
103175.87/3249.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
103239.80/3251.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     22 BRemL:     89 BRemN:      0 P: 23.2M T:  1.89
103239.80/3251.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
103239.80/3251.23	c bin-w-bin subsume rem           10 bins  time:  0.01 s
103239.80/3251.26	c subs with bin:        3  lits-rem:         2  v-fix:    0  time:  0.02 s
103239.80/3251.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14168 time:  0.04 s
103243.00/3251.31	c Removed useless bin:       0  fixed:     0  props:   0.47M  time:  0.02 s
103253.21/3251.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.32 s
103396.39/3256.14	c subs with bin:        1  lits-rem:         5  v-fix:    0  time:  2.38 s
105543.14/3323.39	c lits-rem:       138  cl-subs:     3492  v-elim:      0  v-fix:    0  time: 67.22 s
105546.34/3323.41	c vivif2 --  cl tried    29173 cl shrink        0 lits rem          0 time: 0.01
105613.38/3325.56	c vivif2 --  cl tried   149454 cl shrink    38364 lits rem    1049613 time: 2.11
105642.78/3326.49	c asymm  cl-useful: 23/8331/29173 lits-rem:23 time: 0.92
105645.34/3326.51	c calculated reachability. Time: 0.01
105645.34/3326.51	c  N st   963   3212246     14168     29173     38897    149452    172313  25038729     11.25   no data
126645.97/3984.00	c  N st   964   3712247     14168     29173     38897    148213    172312  23470296     11.25   no data
126645.97/3984.01	c  S st   964   3712247     14168     29173     38897    148213    172312  23470296     11.25   no data
126645.97/3984.12	c Finding binary XORs  T:     0.11 s  found:       0
126684.92/3985.27	c  S st   964   3712748     14168     29173     39157    148713    172312  23488231     11.25   no data
126688.12/3985.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
126751.45/3987.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      4 BRemL:    213 BRemN:      0 P: 24.1M T:  2.02
126751.45/3987.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
126755.25/3987.42	c bin-w-bin subsume rem           12 bins  time:  0.01 s
126755.25/3987.45	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.02 s
126755.25/3987.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14168 time:  0.04 s
126755.25/3987.51	c Removed useless bin:       0  fixed:     0  props:   0.47M  time:  0.02 s
126764.23/3987.78	c lits-rem:         0  cl-subs:       21  v-elim:      7  v-fix:    0  time:  0.28 s
126904.86/3992.18	c subs with bin:       15  lits-rem:       111  v-fix:    0  time:  2.91 s
128444.84/4040.37	c lits-rem:      7555  cl-subs:     3944  v-elim:      0  v-fix:    0  time: 48.17 s
128444.84/4040.38	c vivif2 --  cl tried    29153 cl shrink        0 lits rem          0 time: 0.01
128492.02/4041.88	c vivif2 --  cl tried   137869 cl shrink    24386 lits rem     411173 time: 1.45
128520.78/4042.79	c asymm  cl-useful: 7/10154/29153 lits-rem:7 time: 0.91
128523.98/4042.81	c calculated reachability. Time: 0.01
128523.98/4042.81	c  N st   964   3712748     14161     29153     38880    137869    172204  19009486     11.25   no data
129571.76/4075.65	c  F st   965   3751563     14161     29153     38880     93738    172204   6050322     11.25   no data
129571.76/4075.69	c  N st   965   3751563     14161     29153     38880     93738    172204   6050322     11.25   no data
129699.60/4079.62	c Decided on static restart strategy
130143.72/4093.50	c  N st   975   3779870     14161     29153     38912    121401    172204   9045178     11.25   no data
131121.36/4124.11	c  N st   977   3815862     14161     29153     38916    156783    172204  15072136     11.25   no data
132362.89/4163.08	c  N st   978   3848254     14161     29153     38917    103964    172204   9380617     11.25   no data
134257.36/4222.30	c  N st   979   3896844     14161     29153     38920    151699    172204  21950578     11.25   no data
137317.67/4318.15	c  N st   980   3969726     14161     29153     38935    136934    172204  17997969     11.25   no data
141617.92/4452.74	c  N st   981   4079051     14161     29153     38938    156428    172204  25419300     11.25   no data
146964.80/4620.12	c  N st   982   4212749     14161     29153     38954    108328    172204   9072487     11.25   no data
146964.80/4620.12	c  S st   982   4212749     14161     29153     38954    108328    172204   9072487     11.25   no data
146987.19/4620.86	c  S st   982   4213251     14161     29153     38966    108826    172204   9089523     11.25   no data
146990.39/4620.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
147041.52/4622.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      6 BRemL:     81 BRemN:      0 P: 19.7M T:  1.60
147041.52/4622.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
147041.52/4622.56	c bin-w-bin subsume rem           10 bins  time:  0.01 s
147041.52/4622.59	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.02 s
147044.73/4622.62	c Subs w/ non-existent bins:      0 l-rem:      1 v-fix:     0 done:  14161 time:  0.03 s
147044.73/4622.64	c Removed useless bin:       0  fixed:     0  props:   0.47M  time:  0.02 s
147051.12/4622.83	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.18 s
147143.80/4625.74	c subs with bin:       18  lits-rem:        70  v-fix:    0  time:  2.23 s
147587.73/4639.69	c lits-rem:     13177  cl-subs:     1640  v-elim:      0  v-fix:    0  time: 13.92 s
147587.73/4639.70	c vivif2 --  cl tried    29154 cl shrink        0 lits rem          0 time: 0.02
147606.84/4640.25	c vivif2 --  cl tried   107168 cl shrink     6360 lits rem     198896 time: 0.53
147632.41/4641.07	c asymm  cl-useful: 0/8895/29154 lits-rem:0 time: 0.82
147632.41/4641.09	c calculated reachability. Time: 0.01
147632.41/4641.09	c  N st   982   4213251     14160     29154     38878    107167    172209   8796311     11.25   no data
156102.14/4906.29	c  N st   983   4459227     14160     29154     38878    166142    172209  21217908     11.25   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3400819-1306836687/watcher-3400819-1306836687 -o /tmp/evaluation-result-3400819-1306836687/solver-3400819-1306836687 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400819-1306836687.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: 29.61 31.57 31.90 1/413 23734
/proc/meminfo: memFree=263535480/264257624 swapFree=67044764/67111528
[pid=23734] ppid=23732 vsize=338000 CPUtime=0.81 cores=0-31
/proc/23734/stat : 23734 (strangenight2-m) R 23732 23734 23708 0 -1 4202496 437 0 0 0 81 0 0 0 25 0 32 0 9634699 346112000 376 268435456000 4194304 4580107 140734789483952 18446744073709551615 48005991385014 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/23734/statm: 84500 376 297 95 0 79482 0
[pid=23734/tid=23735] ppid=23732 vsize=338000 CPUtime=0.03 cores=0-31
/proc/23734/task/23735/stat : 23735 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 9634700 346112000 376 268435456000 4194304 4580107 140734789483952 18446744073709551615 48005991385008 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23734/tid=23736] ppid=23732 vsize=338000 CPUtime=0.03 cores=0-31
/proc/23734/task/23736/stat : 23736 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 9634700 346112000 376 268435456000 4194304 4580107 140734789483952 18446744073709551615 48005991385004 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23734/tid=23737] ppid=23732 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23734/task/23737/stat : 23737 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 9634700 346112000 376 268435456000 4194304 4580107 140734789483952 18446744073709551615 48005991385004 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=23734/tid=23738] ppid=23732 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23734/task/23738/stat : 23738 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 9634700 346112000 376 268435456000 4194304 4580107 140734789483952 18446744073709551615 48005991385010 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=23734/tid=23739] ppid=23732 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23734/task/23739/stat : 23739 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 9634700 346112000 376 268435456000 4194304 4580107 140734789483952 18446744073709551615 48005991385014 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=23734/tid=23740] ppid=23732 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23734/task/23740/stat : 23740 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 9634700 346112000 376 268435456000 4194304 4580107 140734789483952 18446744073709551615 48005991385010 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=23734/tid=23741] ppid=23732 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23734/task/23741/stat : 23741 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 9634700 346112000 376 268435456000 4194304 4580107 140734789483952 18446744073709551615 48005991385010 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23734/tid=23742] ppid=23732 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23734/task/23742/stat : 23742 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 9634700 346112000 376 268435456000 4194304 4580107 140734789483952 18446744073709551615 48005991385000 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23734/tid=23743] ppid=23732 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23734/task/23743/stat : 23743 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 9634700 346112000 376 268435456000 4194304 4580107 140734789483952 18446744073709551615 48005991385004 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=23734/tid=23744] ppid=23732 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23734/task/23744/stat : 23744 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 9634700 346112000 376 268435456000 4194304 4580107 140734789483952 18446744073709551615 48005991385010 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=23734/tid=23745] ppid=23732 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23734/task/23745/stat : 23745 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 9634700 346112000 376 268435456000 4194304 4580107 140734789483952 18446744073709551615 48005991385010 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23734/tid=23746] ppid=23732 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23734/task/23746/stat : 23746 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 9634700 346112000 376 268435456000 4194304 4580107 140734789483952 18446744073709551615 48005991385010 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23734/tid=23747] ppid=23732 vsize=338000 CPUtime=0.01 cores=0-31
/proc/23734/task/23747/stat : 23747 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 0 0 0 0 1 0 0 0 24 0 32 0 9634700 346112000 376 268435456000 4194304 4580107 140734789483952 18446744073709551615 48005991385010 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=23734/tid=23748] ppid=23732 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23734/task/23748/stat : 23748 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 9634700 346112000 376 268435456000 4194304 4580107 140734789483952 18446744073709551615 48005991385010 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=23734/tid=23749] ppid=23732 vsize=338000 CPUtime=0 cores=0-31
/proc/23734/task/23749/stat : 23749 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 9634700 346112000 376 268435456000 4194304 4580107 140734789483952 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=23734/tid=23750] ppid=23732 vsize=338000 CPUtime=0.01 cores=0-31
/proc/23734/task/23750/stat : 23750 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 9634700 346112000 376 268435456000 4194304 4580107 140734789483952 18446744073709551615 48005991385008 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=23734/tid=23751] ppid=23732 vsize=338000 CPUtime=0 cores=0-31
/proc/23734/task/23751/stat : 23751 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 9634700 346112000 376 268435456000 4194304 4580107 140734789483952 18446744073709551615 48005991385004 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=23734/tid=23752] ppid=23732 vsize=338000 CPUtime=0.01 cores=0-31
/proc/23734/task/23752/stat : 23752 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 9634700 346112000 376 268435456000 4194304 4580107 140734789483952 18446744073709551615 48005991385004 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=23734/tid=23753] ppid=23732 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23734/task/23753/stat : 23753 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 9634700 346112000 376 268435456000 4194304 4580107 140734789483952 18446744073709551615 48005991385010 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23734/tid=23754] ppid=23732 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23734/task/23754/stat : 23754 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 9634700 346112000 376 268435456000 4194304 4580107 140734789483952 18446744073709551615 48005991385010 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=23734/tid=23755] ppid=23732 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23734/task/23755/stat : 23755 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 9634700 346112000 376 268435456000 4194304 4580107 140734789483952 18446744073709551615 48005991385010 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=23734/tid=23756] ppid=23732 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23734/task/23756/stat : 23756 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 9634700 346112000 376 268435456000 4194304 4580107 140734789483952 18446744073709551615 48005991385008 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=23734/tid=23757] ppid=23732 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23734/task/23757/stat : 23757 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 9634700 346112000 376 268435456000 4194304 4580107 140734789483952 18446744073709551615 48005991385004 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23734/tid=23758] ppid=23732 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23734/task/23758/stat : 23758 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 9634700 346112000 376 268435456000 4194304 4580107 140734789483952 18446744073709551615 48005991385010 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=23734/tid=23759] ppid=23732 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23734/task/23759/stat : 23759 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 9634700 346112000 376 268435456000 4194304 4580107 140734789483952 18446744073709551615 48005991385008 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=23734/tid=23760] ppid=23732 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23734/task/23760/stat : 23760 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 9634700 346112000 376 268435456000 4194304 4580107 140734789483952 18446744073709551615 48005991385004 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=23734/tid=23761] ppid=23732 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23734/task/23761/stat : 23761 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 9634700 346112000 376 268435456000 4194304 4580107 140734789483952 18446744073709551615 48005991385008 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=23734/tid=23762] ppid=23732 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23734/task/23762/stat : 23762 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 9634700 346112000 376 268435456000 4194304 4580107 140734789483952 18446744073709551615 48005991385008 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=23734/tid=23763] ppid=23732 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23734/task/23763/stat : 23763 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 9634700 346112000 376 268435456000 4194304 4580107 140734789483952 18446744073709551615 48005991385010 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=23734/tid=23764] ppid=23732 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23734/task/23764/stat : 23764 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 9634700 346112000 376 268435456000 4194304 4580107 140734789483952 18446744073709551615 48005991385010 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=23734/tid=23765] ppid=23732 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23734/task/23765/stat : 23765 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 9634700 346112000 376 268435456000 4194304 4580107 140734789483952 18446744073709551615 48005991385010 0 0 4096 2 0 0 0 -1 26 0 0 0

[startup+0.056512 s]
/proc/loadavg: 29.61 31.57 31.90 1/413 23734
/proc/meminfo: memFree=263535480/264257624 swapFree=67044764/67111528
[pid=23734] ppid=23732 vsize=797776 CPUtime=1.28 cores=0-31
/proc/23734/stat : 23734 (strangenight2-m) D 23732 23734 23708 0 -1 4202496 1086 0 0 0 124 4 0 0 18 0 32 0 9634699 816922624 926 268435456000 4194304 4580107 140734789483952 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/23734/statm: 199444 926 322 95 0 194426 0
[pid=23734/tid=23735] ppid=23732 vsize=797776 CPUtime=0.04 cores=0-31
/proc/23734/task/23735/stat : 23735 (strangenight2-m) D 23732 23734 23708 0 -1 4202560 41 0 0 0 4 0 0 0 24 0 32 0 9634700 816922624 926 268435456000 4194304 4580107 140734789483952 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23734/tid=23736] ppid=23732 vsize=797776 CPUtime=0.04 cores=0-31
/proc/23734/task/23736/stat : 23736 (strangenight2-m) D 23732 23734 23708 0 -1 4202560 15 0 0 0 4 0 0 0 18 0 32 0 9634700 816922624 926 268435456000 4194304 4580107 140734789483952 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23734/tid=23737] ppid=23732 vsize=797912 CPUtime=0.04 cores=0-31
/proc/23734/task/23737/stat : 23737 (strangenight2-m) S 23732 23734 23708 0 -1 4202560 6 0 0 0 4 0 0 0 24 0 32 0 9634700 817061888 929 268435456000 4194304 4580107 140734789483952 18446744073709551615 258651060958 0 0 4096 2 18446744071566925024 0 0 -1 24 0 0 0
[pid=23734/tid=23738] ppid=23732 vsize=797912 CPUtime=0.04 cores=0-31
/proc/23734/task/23738/stat : 23738 (strangenight2-m) S 23732 23734 23708 0 -1 4202560 5 0 0 0 4 0 0 0 24 0 32 0 9634700 817061888 931 268435456000 4194304 4580107 140734789483952 18446744073709551615 258651060958 0 0 4096 2 18446604505295166944 0 0 -1 20 0 0 0
[pid=23734/tid=23739] ppid=23732 vsize=732376 CPUtime=0.04 cores=0-31
/proc/23734/task/23739/stat : 23739 (strangenight2-m) S 23732 23734 23708 0 -1 4202560 5 0 0 0 4 0 0 0 24 0 32 0 9634700 749953024 932 268435456000 4194304 4580107 140734789483952 18446744073709551615 258651060958 0 0 4096 2 18446604491816213984 0 0 -1 16 0 0 0
[pid=23734/tid=23740] ppid=23732 vsize=732376 CPUtime=0.04 cores=0-31
/proc/23734/task/23740/stat : 23740 (strangenight2-m) D 23732 23734 23708 0 -1 4202560 18 0 0 0 4 0 0 0 24 0 32 0 9634700 749953024 932 268435456000 4194304 4580107 140734789483952 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=23734/tid=23741] ppid=23732 vsize=732376 CPUtime=0.04 cores=0-31
/proc/23734/task/23741/stat : 23741 (strangenight2-m) D 23732 23734 23708 0 -1 4202560 56 0 0 0 4 0 0 0 18 0 32 0 9634700 749953024 933 268435456000 4194304 4580107 140734789483952 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23734/tid=23742] ppid=23732 vsize=732376 CPUtime=0.04 cores=0-31
/proc/23734/task/23742/stat : 23742 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 44 0 0 0 4 0 0 0 25 0 32 0 9634700 749953024 939 268435456000 4194304 4580107 140734789483952 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23734/tid=23743] ppid=23732 vsize=732376 CPUtime=0.04 cores=0-31
/proc/23734/task/23743/stat : 23743 (strangenight2-m) D 23732 23734 23708 0 -1 4202560 7 0 0 0 4 0 0 0 25 0 32 0 9634700 749953024 945 268435456000 4194304 4580107 140734789483952 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=23734/tid=23744] ppid=23732 vsize=732376 CPUtime=0.04 cores=0-31
/proc/23734/task/23744/stat : 23744 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 47 0 0 0 4 0 0 0 25 0 32 0 9634700 749953024 951 268435456000 4194304 4580107 140734789483952 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=23734/tid=23745] ppid=23732 vsize=732376 CPUtime=0.04 cores=0-31
/proc/23734/task/23745/stat : 23745 (strangenight2-m) D 23732 23734 23708 0 -1 4202560 11 0 0 0 4 0 0 0 25 0 32 0 9634700 749953024 952 268435456000 4194304 4580107 140734789483952 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23734/tid=23746] ppid=23732 vsize=732376 CPUtime=0.04 cores=0-31
/proc/23734/task/23746/stat : 23746 (strangenight2-m) S 23732 23734 23708 0 -1 4202560 5 0 0 0 4 0 0 0 25 0 32 0 9634700 749953024 952 268435456000 4194304 4580107 140734789483952 18446744073709551615 258651060958 0 0 4096 2 18446604451537968608 0 0 -1 4 0 0 0
[pid=23734/tid=23747] ppid=23732 vsize=732376 CPUtime=0.02 cores=0-31
/proc/23734/task/23747/stat : 23747 (strangenight2-m) D 23732 23734 23708 0 -1 4202560 18 0 0 0 2 0 0 0 25 0 32 0 9634700 749953024 952 268435456000 4194304 4580107 140734789483952 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=23734/tid=23748] ppid=23732 vsize=732376 CPUtime=0.04 cores=0-31
/proc/23734/task/23748/stat : 23748 (strangenight2-m) S 23732 23734 23708 0 -1 4202560 8 0 0 0 4 0 0 0 25 0 32 0 9634700 749953024 959 268435456000 4194304 4580107 140734789483952 18446744073709551615 258651060958 0 0 4096 2 18446604454837509600 0 0 -1 28 0 0 0
[pid=23734/tid=23749] ppid=23732 vsize=732380 CPUtime=0 cores=0-31
/proc/23734/task/23749/stat : 23749 (strangenight2-m) D 23732 23734 23708 0 -1 4202560 61 0 0 0 0 0 0 0 18 0 32 0 9634700 749957120 959 268435456000 4194304 4580107 140734789483952 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=23734/tid=23750] ppid=23732 vsize=732384 CPUtime=0.03 cores=0-31
/proc/23734/task/23750/stat : 23750 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 17 0 0 0 3 0 0 0 25 0 32 0 9634700 749961216 970 268435456000 4194304 4580107 140734789483952 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=23734/tid=23751] ppid=23732 vsize=732388 CPUtime=0.02 cores=0-31
/proc/23734/task/23751/stat : 23751 (strangenight2-m) D 23732 23734 23708 0 -1 4202560 25 0 0 0 2 0 0 0 25 0 32 0 9634700 749965312 970 268435456000 4194304 4580107 140734789483952 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=23734/tid=23752] ppid=23732 vsize=732392 CPUtime=0.02 cores=0-31
/proc/23734/task/23752/stat : 23752 (strangenight2-m) D 23732 23734 23708 0 -1 4202560 37 0 0 0 2 0 0 0 25 0 32 0 9634700 749969408 981 268435456000 4194304 4580107 140734789483952 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=23734/tid=23753] ppid=23732 vsize=732392 CPUtime=0.04 cores=0-31
/proc/23734/task/23753/stat : 23753 (strangenight2-m) D 23732 23734 23708 0 -1 4202560 22 0 0 0 4 0 0 0 25 0 32 0 9634700 749969408 982 268435456000 4194304 4580107 140734789483952 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23734/tid=23754] ppid=23732 vsize=732392 CPUtime=0.04 cores=0-31
/proc/23734/task/23754/stat : 23754 (strangenight2-m) D 23732 23734 23708 0 -1 4202560 9 0 0 0 4 0 0 0 25 0 32 0 9634700 749969408 987 268435456000 4194304 4580107 140734789483952 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=23734/tid=23755] ppid=23732 vsize=797932 CPUtime=0.04 cores=0-31
/proc/23734/task/23755/stat : 23755 (strangenight2-m) D 23732 23734 23708 0 -1 4202560 4 0 0 0 4 0 0 0 25 0 32 0 9634700 817082368 1010 268435456000 4194304 4580107 140734789483952 18446744073709551615 258650999159 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=23734/tid=23756] ppid=23732 vsize=797932 CPUtime=0.04 cores=0-31
/proc/23734/task/23756/stat : 23756 (strangenight2-m) D 23732 23734 23708 0 -1 4202560 10 0 0 0 4 0 0 0 25 0 32 0 9634700 817082368 1010 268435456000 4194304 4580107 140734789483952 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=23734/tid=23757] ppid=23732 vsize=797932 CPUtime=0.04 cores=0-31
/proc/23734/task/23757/stat : 23757 (strangenight2-m) D 23732 23734 23708 0 -1 4202560 41 0 0 0 4 0 0 0 25 0 32 0 9634700 817082368 1011 268435456000 4194304 4580107 140734789483952 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23734/tid=23758] ppid=23732 vsize=797932 CPUtime=0.04 cores=0-31
/proc/23734/task/23758/stat : 23758 (strangenight2-m) D 23732 23734 23708 0 -1 4202560 58 0 0 0 4 0 0 0 25 0 32 0 9634700 817082368 1020 268435456000 4194304 4580107 140734789483952 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=23734/tid=23759] ppid=23732 vsize=797932 CPUtime=0.04 cores=0-31
/proc/23734/task/23759/stat : 23759 (strangenight2-m) D 23732 23734 23708 0 -1 4202560 5 0 0 0 4 0 0 0 25 0 32 0 9634700 817082368 1037 268435456000 4194304 4580107 140734789483952 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=23734/tid=23760] ppid=23732 vsize=797932 CPUtime=0.04 cores=0-31
/proc/23734/task/23760/stat : 23760 (strangenight2-m) D 23732 23734 23708 0 -1 4202560 7 0 0 0 4 0 0 0 25 0 32 0 9634700 817082368 1037 268435456000 4194304 4580107 140734789483952 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=23734/tid=23761] ppid=23732 vsize=732396 CPUtime=0.04 cores=0-31
/proc/23734/task/23761/stat : 23761 (strangenight2-m) D 23732 23734 23708 0 -1 4202560 11 0 0 0 4 0 0 0 25 0 32 0 9634700 749973504 1047 268435456000 4194304 4580107 140734789483952 18446744073709551615 4514559 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=23734/tid=23762] ppid=23732 vsize=732396 CPUtime=0.04 cores=0-31
/proc/23734/task/23762/stat : 23762 (strangenight2-m) D 23732 23734 23708 0 -1 4202560 8 0 0 0 4 0 0 0 25 0 32 0 9634700 749973504 1047 268435456000 4194304 4580107 140734789483952 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=23734/tid=23763] ppid=23732 vsize=732396 CPUtime=0.04 cores=0-31
/proc/23734/task/23763/stat : 23763 (strangenight2-m) D 23732 23734 23708 0 -1 4202560 10 0 0 0 4 0 0 0 25 0 32 0 9634700 749973504 1048 268435456000 4194304 4580107 140734789483952 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=23734/tid=23764] ppid=23732 vsize=732396 CPUtime=0.04 cores=0-31
/proc/23734/task/23764/stat : 23764 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 10 0 0 0 4 0 0 0 25 0 32 0 9634700 749973504 1064 268435456000 4194304 4580107 140734789483952 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=23734/tid=23765] ppid=23732 vsize=732396 CPUtime=0.04 cores=0-31
/proc/23734/task/23765/stat : 23765 (strangenight2-m) D 23732 23734 23708 0 -1 4202560 42 0 0 0 4 0 0 0 18 0 32 0 9634700 749973504 1065 268435456000 4194304 4580107 140734789483952 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 797776

[startup+0.104484 s]
/proc/loadavg: 29.61 31.57 31.90 1/413 23734
/proc/meminfo: memFree=263535480/264257624 swapFree=67044764/67111528
[pid=23734] ppid=23732 vsize=1062476 CPUtime=2.17 cores=0-31
/proc/23734/stat : 23734 (strangenight2-m) R 23732 23734 23708 0 -1 4202496 10903 0 0 0 129 88 0 0 17 0 32 0 9634699 1087975424 10740 268435456000 4194304 4580107 140734789483952 18446744073709551615 4309730 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/23734/statm: 265619 10749 331 95 0 260601 0
[pid=23734/tid=23735] ppid=23732 vsize=1062476 CPUtime=0.06 cores=0-31
/proc/23734/task/23735/stat : 23735 (strangenight2-m) D 23732 23734 23708 0 -1 4202560 320 0 0 0 4 2 0 0 17 0 32 0 9634700 1087975424 10752 268435456000 4194304 4580107 140734789483952 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23734/tid=23736] ppid=23732 vsize=1062476 CPUtime=0.06 cores=0-31
/proc/23734/task/23736/stat : 23736 (strangenight2-m) S 23732 23734 23708 0 -1 4202560 363 0 0 0 4 2 0 0 17 0 32 0 9634700 1087975424 10774 268435456000 4194304 4580107 140734789483952 18446744073709551615 258651060958 0 0 4096 2 18446604454837509600 0 0 -1 2 0 0 0
[pid=23734/tid=23737] ppid=23732 vsize=1062476 CPUtime=0.06 cores=0-31
/proc/23734/task/23737/stat : 23737 (strangenight2-m) S 23732 23734 23708 0 -1 4202560 274 0 0 0 4 2 0 0 17 0 32 0 9634700 1087975424 10796 268435456000 4194304 4580107 140734789483952 18446744073709551615 258651060958 0 0 4096 2 18446604488468495840 0 0 -1 24 0 0 0
[pid=23734/tid=23738] ppid=23732 vsize=1062476 CPUtime=0.06 cores=0-31
/proc/23734/task/23738/stat : 23738 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 349 0 0 0 4 2 0 0 17 0 32 0 9634700 1087975424 10797 268435456000 4194304 4580107 140734789483952 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=23734/tid=23739] ppid=23732 vsize=1062476 CPUtime=0.06 cores=0-31
/proc/23734/task/23739/stat : 23739 (strangenight2-m) S 23732 23734 23708 0 -1 4202560 294 0 0 0 4 2 0 0 17 0 32 0 9634700 1087975424 10803 268435456000 4194304 4580107 140734789483952 18446744073709551615 258651060958 0 0 4096 2 18446604488471338464 0 0 -1 16 0 0 0
[pid=23734/tid=23740] ppid=23732 vsize=1062476 CPUtime=0.06 cores=0-31
/proc/23734/task/23740/stat : 23740 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 377 0 0 0 4 2 0 0 18 0 32 0 9634700 1087975424 10817 268435456000 4194304 4580107 140734789483952 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=23734/tid=23741] ppid=23732 vsize=1062476 CPUtime=0.06 cores=0-31
/proc/23734/task/23741/stat : 23741 (strangenight2-m) S 23732 23734 23708 0 -1 4202560 377 0 0 0 4 2 0 0 17 0 32 0 9634700 1087975424 10825 268435456000 4194304 4580107 140734789483952 18446744073709551615 258651060958 0 0 4096 2 18446604462978104800 0 0 -1 5 0 0 0
[pid=23734/tid=23742] ppid=23732 vsize=1062476 CPUtime=0.07 cores=0-31
/proc/23734/task/23742/stat : 23742 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 385 0 0 0 4 3 0 0 17 0 32 0 9634700 1087975424 10843 268435456000 4194304 4580107 140734789483952 18446744073709551615 258650621087 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23734/tid=23743] ppid=23732 vsize=1062476 CPUtime=0.06 cores=0-31
/proc/23734/task/23743/stat : 23743 (strangenight2-m) S 23732 23734 23708 0 -1 4202560 267 0 0 0 4 2 0 0 17 0 32 0 9634700 1087975424 10853 268435456000 4194304 4580107 140734789483952 18446744073709551615 258651060958 0 0 4096 2 18446604489510714848 0 0 -1 9 0 0 0
[pid=23734/tid=23744] ppid=23732 vsize=1062608 CPUtime=0.06 cores=0-31
/proc/23734/task/23744/stat : 23744 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 378 0 0 0 4 2 0 0 17 0 32 0 9634700 1088110592 10872 268435456000 4194304 4580107 140734789483952 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=23734/tid=23745] ppid=23732 vsize=1062608 CPUtime=0.07 cores=0-31
/proc/23734/task/23745/stat : 23745 (strangenight2-m) D 23732 23734 23708 0 -1 4202560 339 0 0 0 4 3 0 0 25 0 32 0 9634700 1088110592 10872 268435456000 4194304 4580107 140734789483952 18446744073709551615 4344560 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23734/tid=23746] ppid=23732 vsize=1062608 CPUtime=0.06 cores=0-31
/proc/23734/task/23746/stat : 23746 (strangenight2-m) S 23732 23734 23708 0 -1 4202560 267 0 0 0 4 2 0 0 17 0 32 0 9634700 1088110592 10877 268435456000 4194304 4580107 140734789483952 18446744073709551615 258651060958 0 0 4096 2 18446744071566926704 0 0 -1 4 0 0 0
[pid=23734/tid=23747] ppid=23732 vsize=1062608 CPUtime=0.05 cores=0-31
/proc/23734/task/23747/stat : 23747 (strangenight2-m) S 23732 23734 23708 0 -1 4202560 354 0 0 0 3 2 0 0 17 0 32 0 9634700 1088110592 10897 268435456000 4194304 4580107 140734789483952 18446744073709551615 258651060958 0 0 4096 2 18446604506067410400 0 0 -1 30 0 0 0
[pid=23734/tid=23748] ppid=23732 vsize=1062608 CPUtime=0.06 cores=0-31
/proc/23734/task/23748/stat : 23748 (strangenight2-m) D 23732 23734 23708 0 -1 4202560 335 0 0 0 4 2 0 0 17 0 32 0 9634700 1088110592 10897 268435456000 4194304 4580107 140734789483952 18446744073709551615 4309673 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=23734/tid=23749] ppid=23732 vsize=1062608 CPUtime=0.02 cores=0-31
/proc/23734/task/23749/stat : 23749 (strangenight2-m) S 23732 23734 23708 0 -1 4202560 283 0 0 0 0 2 0 0 17 0 32 0 9634700 1088110592 10899 268435456000 4194304 4580107 140734789483952 18446744073709551615 258651060958 0 0 4096 2 18446604506269498848 0 0 -1 31 0 0 0
[pid=23734/tid=23750] ppid=23732 vsize=1062608 CPUtime=0.05 cores=0-31
/proc/23734/task/23750/stat : 23750 (strangenight2-m) D 23732 23734 23708 0 -1 4202560 268 0 0 0 3 2 0 0 17 0 32 0 9634700 1088110592 10910 268435456000 4194304 4580107 140734789483952 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=23734/tid=23751] ppid=23732 vsize=1062608 CPUtime=0.05 cores=0-31

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

[pid=23734/tid=23746] ppid=23732 vsize=37241144 CPUtime=4994.95 cores=0-31
/proc/23734/task/23746/stat : 23746 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1002395 0 0 0 498821 674 0 0 25 0 32 0 9634700 38134931456 7461768 268435456000 4194304 4580107 140734789483952 18446744073709551615 4294347 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=23734/tid=23747] ppid=23732 vsize=37241144 CPUtime=4998.93 cores=0-31
/proc/23734/task/23747/stat : 23747 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1062279 0 0 0 499226 667 0 0 25 0 32 0 9634700 38134931456 7461768 268435456000 4194304 4580107 140734789483952 18446744073709551615 4406483 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=23734/tid=23748] ppid=23732 vsize=37241144 CPUtime=4997.18 cores=0-31
/proc/23734/task/23748/stat : 23748 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1018762 0 0 0 499048 670 0 0 25 0 32 0 9634700 38134931456 7461768 268435456000 4194304 4580107 140734789483952 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23734/tid=23749] ppid=23732 vsize=37241144 CPUtime=4993.27 cores=0-31
/proc/23734/task/23749/stat : 23749 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1151778 0 0 0 498557 770 0 0 25 0 32 0 9634700 38134931456 7461769 268435456000 4194304 4580107 140734789483952 18446744073709551615 4295625 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=23734/tid=23750] ppid=23732 vsize=37241144 CPUtime=5000.7 cores=0-31
/proc/23734/task/23750/stat : 23750 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1057712 0 0 0 499389 681 0 0 25 0 32 0 9634700 38134931456 7461769 268435456000 4194304 4580107 140734789483952 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=23734/tid=23751] ppid=23732 vsize=37241144 CPUtime=4991.05 cores=0-31
/proc/23734/task/23751/stat : 23751 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1530515 0 0 0 498219 886 0 0 25 0 32 0 9634700 38134931456 7461769 268435456000 4194304 4580107 140734789483952 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=23734/tid=23752] ppid=23732 vsize=37241144 CPUtime=4999.01 cores=0-31
/proc/23734/task/23752/stat : 23752 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 956956 0 0 0 499262 639 0 0 25 0 32 0 9634700 38134931456 7461769 268435456000 4194304 4580107 140734789483952 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=23734/tid=23753] ppid=23732 vsize=37241144 CPUtime=4992.53 cores=0-31
/proc/23734/task/23753/stat : 23753 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 922988 0 0 0 498641 612 0 0 25 0 32 0 9634700 38134931456 7461769 268435456000 4194304 4580107 140734789483952 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23734/tid=23754] ppid=23732 vsize=37241144 CPUtime=4990.85 cores=0-31
/proc/23734/task/23754/stat : 23754 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1259565 0 0 0 498288 797 0 0 25 0 32 0 9634700 38134931456 7461769 268435456000 4194304 4580107 140734789483952 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=23734/tid=23755] ppid=23732 vsize=37241144 CPUtime=4984.73 cores=0-31
/proc/23734/task/23755/stat : 23755 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1419927 0 0 0 497653 820 0 0 25 0 32 0 9634700 38134931456 7461769 268435456000 4194304 4580107 140734789483952 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=23734/tid=23756] ppid=23732 vsize=37241144 CPUtime=4993.8 cores=0-31
/proc/23734/task/23756/stat : 23756 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1062338 0 0 0 498709 671 0 0 25 0 32 0 9634700 38134931456 7461770 268435456000 4194304 4580107 140734789483952 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=23734/tid=23757] ppid=23732 vsize=37241144 CPUtime=4991.92 cores=0-31
/proc/23734/task/23757/stat : 23757 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1065605 0 0 0 498493 699 0 0 25 0 32 0 9634700 38134931456 7461770 268435456000 4194304 4580107 140734789483952 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23734/tid=23758] ppid=23732 vsize=37241144 CPUtime=4994.47 cores=0-31
/proc/23734/task/23758/stat : 23758 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1198296 0 0 0 498679 768 0 0 25 0 32 0 9634700 38134931456 7461770 268435456000 4194304 4580107 140734789483952 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=23734/tid=23759] ppid=23732 vsize=37241144 CPUtime=4996.08 cores=0-31
/proc/23734/task/23759/stat : 23759 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1374350 0 0 0 498750 858 0 0 25 0 32 0 9634700 38134931456 7461770 268435456000 4194304 4580107 140734789483952 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=23734/tid=23760] ppid=23732 vsize=37241144 CPUtime=4992.14 cores=0-31
/proc/23734/task/23760/stat : 23760 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1327403 0 0 0 498395 819 0 0 25 0 32 0 9634700 38134931456 7461771 268435456000 4194304 4580107 140734789483952 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=23734/tid=23761] ppid=23732 vsize=37241144 CPUtime=4999.75 cores=0-31
/proc/23734/task/23761/stat : 23761 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1245953 0 0 0 499202 773 0 0 25 0 32 0 9634700 38134931456 7461771 268435456000 4194304 4580107 140734789483952 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=23734/tid=23762] ppid=23732 vsize=37241144 CPUtime=4981.61 cores=0-31
/proc/23734/task/23762/stat : 23762 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1446844 0 0 0 497313 848 0 0 25 0 32 0 9634700 38134931456 7461771 268435456000 4194304 4580107 140734789483952 18446744073709551615 4406476 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23734/tid=23763] ppid=23732 vsize=37241144 CPUtime=4993.23 cores=0-31
/proc/23734/task/23763/stat : 23763 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1158811 0 0 0 498566 757 0 0 25 0 32 0 9634700 38134931456 7461771 268435456000 4194304 4580107 140734789483952 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23734/tid=23764] ppid=23732 vsize=37241144 CPUtime=4993.64 cores=0-31
/proc/23734/task/23764/stat : 23764 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1511006 0 0 0 498478 886 0 0 25 0 32 0 9634700 38134931456 7461771 268435456000 4194304 4580107 140734789483952 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=23734/tid=23765] ppid=23732 vsize=37241144 CPUtime=5003.95 cores=0-31
/proc/23734/task/23765/stat : 23765 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 197824 0 0 0 500216 179 0 0 25 0 32 0 9634700 38134931456 7461771 268435456000 4194304 4580107 140734789483952 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 159811
Current children cumulated vsize (KiB) 37241144



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5028.3 s]
/proc/loadavg: 32.06 32.08 32.02 33/445 23915
/proc/meminfo: memFree=233609860/264257624 swapFree=67044764/67111528
[pid=23734] ppid=23732 vsize=37361272 CPUtime=160003 cores=0-31
/proc/23734/stat : 23734 (strangenight2-m) R 23732 23734 23708 0 -1 4202496 37062684 0 0 0 15976955 23370 0 0 25 0 32 0 9634699 38257942528 7467172 268435456000 4194304 4580107 140734789483952 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 23 0 0 0
/proc/23734/statm: 9340318 7467172 444 95 0 9335300 0
[pid=23734/tid=23735] ppid=23732 vsize=37361272 CPUtime=4998.84 cores=0-31
/proc/23734/task/23735/stat : 23735 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1077812 0 0 0 499179 705 0 0 25 0 32 0 9634700 38257942528 7467173 268435456000 4194304 4580107 140734789483952 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=23734/tid=23736] ppid=23732 vsize=37361272 CPUtime=5002.87 cores=0-31
/proc/23734/task/23736/stat : 23736 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1315715 0 0 0 499472 815 0 0 25 0 32 0 9634700 38257942528 7467175 268435456000 4194304 4580107 140734789483952 18446744073709551615 4451900 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=23734/tid=23737] ppid=23732 vsize=37361272 CPUtime=5006.94 cores=0-31
/proc/23734/task/23737/stat : 23737 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1523576 0 0 0 499825 869 0 0 25 0 32 0 9634700 38257942528 7467176 268435456000 4194304 4580107 140734789483952 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23734/tid=23738] ppid=23732 vsize=37361272 CPUtime=4992 cores=0-31
/proc/23734/task/23738/stat : 23738 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1124988 0 0 0 498487 713 0 0 25 0 32 0 9634700 38257942528 7467176 268435456000 4194304 4580107 140734789483952 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=23734/tid=23739] ppid=23732 vsize=37361272 CPUtime=4992.36 cores=0-31
/proc/23734/task/23739/stat : 23739 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1087941 0 0 0 498523 713 0 0 25 0 32 0 9634700 38257942528 7467176 268435456000 4194304 4580107 140734789483952 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=23734/tid=23740] ppid=23732 vsize=37361272 CPUtime=4987.82 cores=0-31
/proc/23734/task/23740/stat : 23740 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1620422 0 0 0 497851 931 0 0 25 0 32 0 9634700 38257942528 7467176 268435456000 4194304 4580107 140734789483952 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=23734/tid=23741] ppid=23732 vsize=37361272 CPUtime=5000.38 cores=0-31
/proc/23734/task/23741/stat : 23741 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1165565 0 0 0 499276 762 0 0 25 0 32 0 9634700 38257942528 7467176 268435456000 4194304 4580107 140734789483952 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23734/tid=23742] ppid=23732 vsize=37361272 CPUtime=5007.08 cores=0-31
/proc/23734/task/23742/stat : 23742 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 945438 0 0 0 500089 619 0 0 25 0 32 0 9634700 38257942528 7467176 268435456000 4194304 4580107 140734789483952 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=23734/tid=23743] ppid=23732 vsize=37361272 CPUtime=5000.75 cores=0-31
/proc/23734/task/23743/stat : 23743 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 941973 0 0 0 499417 658 0 0 25 0 32 0 9634700 38257942528 7467176 268435456000 4194304 4580107 140734789483952 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=23734/tid=23744] ppid=23732 vsize=37361272 CPUtime=5004.4 cores=0-31
/proc/23734/task/23744/stat : 23744 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 764099 0 0 0 499896 544 0 0 25 0 32 0 9634700 38257942528 7467176 268435456000 4194304 4580107 140734789483952 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=23734/tid=23745] ppid=23732 vsize=37361272 CPUtime=5004.49 cores=0-31
/proc/23734/task/23745/stat : 23745 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1031364 0 0 0 499762 687 0 0 25 0 32 0 9634700 38257942528 7467176 268435456000 4194304 4580107 140734789483952 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23734/tid=23746] ppid=23732 vsize=37361272 CPUtime=5000.97 cores=0-31
/proc/23734/task/23746/stat : 23746 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1003809 0 0 0 499422 675 0 0 25 0 32 0 9634700 38257942528 7467176 268435456000 4194304 4580107 140734789483952 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=23734/tid=23747] ppid=23732 vsize=37361272 CPUtime=5004.95 cores=0-31
/proc/23734/task/23747/stat : 23747 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1062279 0 0 0 499828 667 0 0 25 0 32 0 9634700 38257942528 7467176 268435456000 4194304 4580107 140734789483952 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=23734/tid=23748] ppid=23732 vsize=37361272 CPUtime=5003.19 cores=0-31
/proc/23734/task/23748/stat : 23748 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1019695 0 0 0 499649 670 0 0 25 0 32 0 9634700 38257942528 7467176 268435456000 4194304 4580107 140734789483952 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23734/tid=23749] ppid=23732 vsize=37361272 CPUtime=4999.29 cores=0-31
/proc/23734/task/23749/stat : 23749 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1153005 0 0 0 499158 771 0 0 25 0 32 0 9634700 38257942528 7467176 268435456000 4194304 4580107 140734789483952 18446744073709551615 4316555 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=23734/tid=23750] ppid=23732 vsize=37361272 CPUtime=5006.73 cores=0-31
/proc/23734/task/23750/stat : 23750 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1058885 0 0 0 499991 682 0 0 25 0 32 0 9634700 38257942528 7467177 268435456000 4194304 4580107 140734789483952 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=23734/tid=23751] ppid=23732 vsize=37361272 CPUtime=4997.06 cores=0-31
/proc/23734/task/23751/stat : 23751 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1531718 0 0 0 498820 886 0 0 25 0 32 0 9634700 38257942528 7467177 268435456000 4194304 4580107 140734789483952 18446744073709551615 4316823 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=23734/tid=23752] ppid=23732 vsize=37361272 CPUtime=5005.02 cores=0-31
/proc/23734/task/23752/stat : 23752 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 957331 0 0 0 499863 639 0 0 25 0 32 0 9634700 38257942528 7467178 268435456000 4194304 4580107 140734789483952 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=23734/tid=23753] ppid=23732 vsize=37361272 CPUtime=4998.54 cores=0-31
/proc/23734/task/23753/stat : 23753 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 923445 0 0 0 499242 612 0 0 25 0 32 0 9634700 38257942528 7467178 268435456000 4194304 4580107 140734789483952 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23734/tid=23754] ppid=23732 vsize=37361272 CPUtime=4996.87 cores=0-31
/proc/23734/task/23754/stat : 23754 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1260588 0 0 0 498890 797 0 0 25 0 32 0 9634700 38257942528 7467178 268435456000 4194304 4580107 140734789483952 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=23734/tid=23755] ppid=23732 vsize=37361272 CPUtime=4990.74 cores=0-31
/proc/23734/task/23755/stat : 23755 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1420582 0 0 0 498254 820 0 0 25 0 32 0 9634700 38257942528 7467178 268435456000 4194304 4580107 140734789483952 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=23734/tid=23756] ppid=23732 vsize=37361272 CPUtime=4999.81 cores=0-31
/proc/23734/task/23756/stat : 23756 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1063845 0 0 0 499310 671 0 0 25 0 32 0 9634700 38257942528 7467178 268435456000 4194304 4580107 140734789483952 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=23734/tid=23757] ppid=23732 vsize=37361272 CPUtime=4997.93 cores=0-31
/proc/23734/task/23757/stat : 23757 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1066329 0 0 0 499094 699 0 0 25 0 32 0 9634700 38257942528 7467178 268435456000 4194304 4580107 140734789483952 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23734/tid=23758] ppid=23732 vsize=37361272 CPUtime=5000.49 cores=0-31
/proc/23734/task/23758/stat : 23758 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1199096 0 0 0 499281 768 0 0 25 0 32 0 9634700 38257942528 7467178 268435456000 4194304 4580107 140734789483952 18446744073709551615 4295149 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=23734/tid=23759] ppid=23732 vsize=37361272 CPUtime=5002.1 cores=0-31
/proc/23734/task/23759/stat : 23759 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1375506 0 0 0 499351 859 0 0 25 0 32 0 9634700 38257942528 7467178 268435456000 4194304 4580107 140734789483952 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=23734/tid=23760] ppid=23732 vsize=37361272 CPUtime=4998.16 cores=0-31
/proc/23734/task/23760/stat : 23760 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1327403 0 0 0 498997 819 0 0 25 0 32 0 9634700 38257942528 7467178 268435456000 4194304 4580107 140734789483952 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=23734/tid=23761] ppid=23732 vsize=37361272 CPUtime=5005.77 cores=0-31
/proc/23734/task/23761/stat : 23761 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1247699 0 0 0 499802 775 0 0 25 0 32 0 9634700 38257942528 7467178 268435456000 4194304 4580107 140734789483952 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=23734/tid=23762] ppid=23732 vsize=37361272 CPUtime=4987.63 cores=0-31
/proc/23734/task/23762/stat : 23762 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1446844 0 0 0 497915 848 0 0 25 0 32 0 9634700 38257942528 7467178 268435456000 4194304 4580107 140734789483952 18446744073709551615 4406395 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23734/tid=23763] ppid=23732 vsize=37361272 CPUtime=4999.24 cores=0-31
/proc/23734/task/23763/stat : 23763 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1165332 0 0 0 499165 759 0 0 25 0 32 0 9634700 38257942528 7467178 268435456000 4194304 4580107 140734789483952 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23734/tid=23764] ppid=23732 vsize=37361272 CPUtime=4999.67 cores=0-31
/proc/23734/task/23764/stat : 23764 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 1511611 0 0 0 499080 887 0 0 25 0 32 0 9634700 38257942528 7467178 268435456000 4194304 4580107 140734789483952 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=23734/tid=23765] ppid=23732 vsize=37361272 CPUtime=5009.77 cores=0-31
/proc/23734/task/23765/stat : 23765 (strangenight2-m) R 23732 23734 23708 0 -1 4202560 198006 0 0 0 500798 179 0 0 25 0 32 0 9634700 38257942528 7467178 268435456000 4194304 4580107 140734789483952 18446744073709551615 4292913 0 0 4096 2 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 37361272

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -23734

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

[startup+5028.6 s]
/proc/loadavg: 32.06 32.08 32.02 33/445 23915
/proc/meminfo: memFree=233609860/264257624 swapFree=67044764/67111528
[pid=23734] ppid=23732 vsize=0 CPUtime=160004 cores=0-31
/proc/23734/stat : 23734 (strangenight2-m) Z 23732 23734 23708 0 -1 4203548 37062711 0 0 0 15976974 23397 0 0 25 0 2 0 9634699 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 23 0 0 0
/proc/23734/statm: 0 0 0 0 0 0 0
[pid=23734/tid=23765] ppid=23732 vsize=0 CPUtime=5010.06 cores=0-31
/proc/23734/task/23765/stat : 23765 (strangenight2-m) R 23732 23734 23708 0 -1 4203588 198006 0 0 0 500799 207 0 0 25 0 2 0 9634700 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0

[startup+5029.4 s]
/proc/loadavg: 32.06 32.08 32.02 2/416 23916
/proc/meminfo: memFree=245075492/264257624 swapFree=67044764/67111528
[pid=23734] ppid=23732 vsize=0 CPUtime=160005 cores=0-31
/proc/23734/stat : 23734 (strangenight2-m) Z 23732 23734 23708 0 -1 4203548 37062711 0 0 0 15976974 23477 0 0 25 0 2 0 9634699 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 23 0 0 0
/proc/23734/statm: 0 0 0 0 0 0 0
[pid=23734/tid=23765] ppid=23732 vsize=0 CPUtime=5010.86 cores=0-31
/proc/23734/task/23765/stat : 23765 (strangenight2-m) R 23732 23734 23708 0 -1 4203588 198006 0 0 0 500799 287 0 0 25 0 2 0 9634700 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0

[startup+5030.2 s]
/proc/loadavg: 32.06 32.08 32.02 2/416 23916
/proc/meminfo: memFree=261062436/264257624 swapFree=67044764/67111528
[pid=23734] ppid=23732 vsize=0 CPUtime=160005 cores=0-31
/proc/23734/stat : 23734 (strangenight2-m) Z 23732 23734 23708 0 -1 4203548 37062711 0 0 0 15976974 23559 0 0 25 0 2 0 9634699 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 23 0 0 0
/proc/23734/statm: 0 0 0 0 0 0 0
[pid=23734/tid=23765] ppid=23732 vsize=0 CPUtime=5011.67 cores=0-31
/proc/23734/task/23765/stat : 23765 (strangenight2-m) R 23732 23734 23708 0 -1 4203588 198006 0 0 0 500799 368 0 0 25 0 2 0 9634700 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0

[startup+5030.4 s]
/proc/loadavg: 32.06 32.08 32.02 2/416 23916
/proc/meminfo: memFree=261062436/264257624 swapFree=67044764/67111528
[pid=23734] ppid=23732 vsize=0 CPUtime=160006 cores=0-31
/proc/23734/stat : 23734 (strangenight2-m) Z 23732 23734 23708 0 -1 4203548 37062711 0 0 0 15976974 23577 0 0 25 0 2 0 9634699 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 23 0 0 0
/proc/23734/statm: 0 0 0 0 0 0 0
[pid=23734/tid=23765] ppid=23732 vsize=0 CPUtime=5011.86 cores=0-31
/proc/23734/task/23765/stat : 23765 (strangenight2-m) R 23732 23734 23708 0 -1 4203588 198006 0 0 0 500799 387 0 0 25 0 2 0 9634700 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 160006
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5030.43
CPU time (s): 160006
CPU user time (s): 159770
CPU system time (s): 235.801
CPU usage (%): 3180.76
Max. virtual memory (cumulated for all children) (KiB): 37375648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159770
system time used= 235.801
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37062711
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= 1798434
involuntary context switches= 292758

runsolver used 27.1189 second user time and 114.435 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-31 12:11:27
IDJOB=3400819
IDBENCH=83133
IDSOLVER=1886
FILE ID=node200/3400819-1306836687
RUNJOBID= node200-1306836687-23722
PBS_JOBID= 13471343
Free space on /tmp= 61576 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom22.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400819-1306836687/watcher-3400819-1306836687 -o /tmp/evaluation-result-3400819-1306836687/solver-3400819-1306836687 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400819-1306836687.cnf

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

MD5SUM BENCH= 808b4b06b3dea960876e6772f0b9c207
RANDOM SEED=1980069506

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.042
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.08
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.042
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.042
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.12
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.042
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.14
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.042
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.04
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.042
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.042
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.09
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.042
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.042
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.05
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.042
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.14
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.042
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.11
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.042
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.12
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.042
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.02
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.042
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.08
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.042
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	: 3990.06
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.042
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.10
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.042
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.07
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.042
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.13
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.042
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.042
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	: 3989.95
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.042
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.06
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.042
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.08
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.042
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.07
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.042
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.09
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.042
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.042
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.06
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.042
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.09
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.042
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.05
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.042
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	: 3996.76
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.042
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.08
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.042
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.042
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.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      263535884 kB
Buffers:        121560 kB
Cached:         408520 kB
SwapCached:      29992 kB
Active:         131104 kB
Inactive:       431244 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263535884 kB
SwapTotal:    67111528 kB
SwapFree:     67044764 kB
Dirty:            8708 kB
Writeback:           4 kB
AnonPages:       29592 kB
Mapped:           8044 kB
Slab:            73568 kB
PageTables:       5184 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   187160 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= 61572 MiB
End job on node200 at 2011-05-31 13:35:18